2025-11-17T12:07:13.634535

On Kemeny's Constant for Markov Processes

Fitzsimmons

The mean time taken by an irreducible Markov chain on a finite state space to hit a target chosen at random according to the stationary distribution does not depend on the initial state of the chain. This mean time is known as Kemeny's constant. I present a new approach, based on time reversal and a mean occupation time formula. The method is used to prove a similar result for continuous-time Markov processes. In this generality, the constancy holds only almost surely with respect to the stationary distribution of the process, but with extra effort the exceptional set can be made to disappear in certain situations. Some examples are provided.

academic

On Kemeny's Constant for Markov Processes

基本信息

论文ID: 2509.19273
标题: On Kemeny's Constant for Markov Processes
作者: P.J. Fitzsimmons (UC San Diego)
分类: math.PR (概率论)
发表时间: 2025年10月15日
论文链接: https://arxiv.org/abs/2509.19273

摘要

不可约有限状态空间马尔可夫链到达按平稳分布随机选择的目标状态的平均时间不依赖于链的初始状态，这个平均时间被称为Kemeny常数。本文提出了一种基于时间反转和平均占用时间公式的新方法，并将其用于证明连续时间马尔可夫过程的类似结果。在这种一般性下，常数性仅在过程平稳分布的几乎处处意义下成立，但通过额外的努力，在许多情况下可以消除例外集。文中提供了一些例子。

研究背景与动机

核心问题: Kemeny常数是马尔可夫过程理论中的一个重要概念，定义为从任意初始状态出发，到达按平稳分布随机选择的目标状态的期望时间。经典结果表明，对于有限状态空间的不可约马尔可夫链，这个期望时间不依赖于初始状态。
问题重要性:
- Kemeny常数在马尔可夫链理论中具有基础性地位
- 与混合时间、有效阻抗等概念密切相关
- 在随机游走、网络分析等领域有重要应用
现有方法局限性:
- 经典结果主要针对离散时间有限状态马尔可夫链
- 连续时间情况和无限状态空间的处理缺乏统一方法
- 现有证明方法难以推广到更一般的情形
研究动机:
- 发展适用于连续时间马尔可夫过程的新证明方法
- 处理无限状态空间情况下的技术困难
- 提供基于时间反转和占用时间的统一框架

核心贡献

提出新的证明方法: 基于时间反转和平均占用时间公式的创新证明技术
推广到连续时间: 将Kemeny常数的恒定性结果扩展到连续时间Hunt过程
处理例外集问题: 在一般情况下识别并在特定条件下消除恒定性的例外集
提供充分条件: 给出确保Kemeny函数处处恒定的两类充分条件
构建具体例子: 通过三个具体例子验证理论结果

方法详解

任务定义

对于马尔可夫过程 $X = (X_t)_{t \geq 0}$ ，定义Kemeny函数： $K(x) := E^x[T_Z] = \int_E E^x[T_y] \pi(dy)$ 其中 $T_y$ 是到达状态 $y$ 的首达时间， $Z$ 是按平稳分布 $\pi$ 随机选择的目标状态。

模型架构

1. 时间反转对偶性

构造对偶过程 $\hat{X}$ 满足对偶关系： $\int_E f(x)P_t g(x)\pi(dx) = \int_E \hat{P}_t f(y)g(y)\pi(dy)$

2. 平均占用时间公式 (引理3.12) 对于停时 $S$ 和初始分布 $\mu$ ，如果 $P^\mu[X_S \in \cdot] = \mu$ ，则： $E^\mu\left[\int_0^S f(X_t)dt\right] = \pi(f)E^\mu[S]$

3. Hunt切换恒等式 利用Hunt的切换恒等式建立原过程和对偶过程的联系： $E^f[g(X_t); t < T_z] = \hat{E}^g[f(\hat{X}_t); t < \hat{T}_z]$

技术创新点

1. 统一的证明框架

将离散时间和连续时间情况统一在同一框架下
避免了传统方法中复杂的组合论证

2. 对偶性的巧妙运用

通过时间反转建立原过程和对偶过程的深层联系
利用对偶性将问题转化为更易处理的形式

3. 精细连续性分析

引入精细拓扑分析Kemeny函数的连续性
通过 $\alpha$ -过度函数的性质证明精细下半连续性

实验设置

理论验证例子

例子1: 三维Bessel过程

状态空间: $E = ]0,1]$
生成算子: $Lf(x) = \frac{1}{2}f''(x) + \frac{1}{x}f'(x)$
平稳分布: $\pi(dx) = 3x^2 dx$

例子2: Ornstein-Uhlenbeck过程

状态空间: $E = \mathbb{R}$
生成算子: $Lf(x) = \frac{1}{2}f''(x) - \frac{x}{2}f'(x)$
平稳分布: 标准正态分布

例子3: Walsh布朗运动

状态空间: 星形图结构
$n$ 个分支的轮辐状结构
反射边界条件

评价指标

Kemeny常数的精确计算值
有效阻抗距离 $\gamma$ 的计算
理论预测与计算结果的一致性

实验结果

主要结果

定理3.9 (主要结果) 设 $K(x) := E^x[T_Z]$ ， $\hat{\kappa} := \hat{E}^\pi[\hat{T}_Z]$ 。若 $\hat{\kappa} < \infty$ ，则：

$K(x) \leq \hat{\kappa}$ 对所有 $x \in E$ 成立
$K(x) = \hat{\kappa}$ 对 $\pi$ -几乎所有 $x \in E$ 成立

定理4.18 (充分条件1) 若存在可测函数 $C: E \to ]0,\infty[$ 使得 $E^x[T_z] \leq C(z)$ 对所有 $x,z$ 成立，则 $K$ 是精细连续的，从而 $K(x) = \hat{\kappa}$ 对所有 $x$ 成立。

定理5.9 (充分条件2)
假设所有点都是正则的，若 $\gamma := \int_E \int_E h(x,y)\pi(dx)\pi(dy) < \infty$ ，则 $K(x) = \hat{K}(x) = \kappa = \hat{\kappa} = \gamma/2$ 对所有 $x \in E$ 成立。