5,443
个编辑
更改
跳到导航
跳到搜索
第589行：
第589行： + + + + + + + + + + + + + + + + +
→连续时间马尔科夫链
显然若细致平衡条件有解，这个方程就有解；那这个方程有解时，细致平衡条件是否有解呢？事实上，若<math>\{X(t)\}</math>互通，有转移速率矩阵<math>Q</math>和平稳分布，则细致平衡条件和这个方程有相同的的非负解，满足这个方程的概率分布<math>\mathbf{p}</math>是<math>\{X(t)\}</math>的平稳可逆分布。所以我们也称<math>p_iq_{ij}=p_jq_{ji}</math>为细致平衡条件。
显然若细致平衡条件有解，这个方程就有解；那这个方程有解时，细致平衡条件是否有解呢？事实上，若<math>\{X(t)\}</math>互通，有转移速率矩阵<math>Q</math>和平稳分布，则细致平衡条件和这个方程有相同的的非负解，满足这个方程的概率分布<math>\mathbf{p}</math>是<math>\{X(t)\}</math>的平稳可逆分布。所以我们也称<math>p_iq_{ij}=p_jq_{ji}</math>为细致平衡条件。
===连续时间马尔科夫链的粗粒化与度量===
====连续时间马尔科夫链的粗粒化====
在连续时间马尔科夫链中粗粒化的本质是构造映射<math>\Phi:S \rightarrow S'</math>，将原始状态空间<math>S</math>划分为互不相交的区块<math>\{B_1,B_2,\dots,B_m\}</math>，并定义新的转移速率矩阵<math>Q'</math>描述区块间的转移动力学。理想的粗粒化需要满足三个要求：维度压缩（<math>|S'|<|S|</math>），信息保留（关键统计量与动力学特征不变）和结构一致性（粗粒度过程仍然为CTMC）。具体实现中，不同方法侧重不同目标，形成多样化的技术路线。
====强成块性====
当CTMC满足'''强成块性'''时，即存在状态划分是的任意区块<math>B_k</math>内的状态对外的集体转移速率一致。数学上，划分<math>\{B_k\}</math>需满足：
<math>\sum_{j\in B_l}Q^{ij}=\sum_{j\in B_l}Q^{i'j},\forall i,i'\in B_k,\forall l\neq k</math>
此时粗粒化后的转移速率矩阵<math>Q'</math>的元素为：
<math>Q'_{kl}=\sum_{j\in B_l}Q^{ij},i\in B_k</math>
强成块性确保了区块内状态的不可区分性，粗粒化过程严格保持瞬态与稳态分布。
==参考文献==
==参考文献==
<references />
<references />