97
个编辑
更改
→Lumpability
这两个公式描述了：
这两个公式描述了：
# 系统在时间<math>t</math>的微观状态<math>s_i</math>属于某个宏观状态<math>A_k</math>的概率；
# 系统在时间<math>t</math>的微观状态<math>s^{(t)}</math>属于某个宏观状态<math>A_k</math>的概率；
# 假设在时间<math>t</math>系统处于微观状态<math>s_i</math>，并且这个状态属于宏观状态 <math>A_k</math>，那么在时间<math>t+1</math>系统处于某个宏观状态<math>A_m</math>的概率；
# 假设在时间<math>t</math>的微观状态<math>s^{(t)}</math>属于某个宏观状态<math>A_k</math>，那么在时间<math>t+1</math>的微观状态<math>s^{(t+1)}</math>属于某个宏观状态<math>A_m</math>的概率；
# 马尔可夫性。
# 马尔可夫性。
这两个公式暗示了两种不同的从微观状态到宏观状态的路径：(1) 微观状态->聚类->宏观动力学->宏观状态 和 (2) 微观状态->微观动力学->聚类->宏观状态
这两个公式暗示了两种不同的从微观状态到宏观状态的路径：(1) 微观状态->聚类->宏观动力学->宏观状态 和 (2) 微观状态->微观动力学->聚类->宏观状态
首先，公式整体可以看作是路径1的宏观动力学，描述了系统的宏观状态的转移概率。
系统的微观状态<math>s^{(t)}</math>属于<math>A_k</math>这个概念里包含了系统的宏观状态<math>A^{(t)}</math>等于<math>A_k</math>这个概念，所以<math>Pr_{\pi}[s^{(t)} \in A_m | s^{(t-1)} \in A_k] = Pr_{\pi}[A^{(t)} = A_m | A^{(t-1)} = A_k]</math>。
同时，这个表达式也表达了，当<math>s^{(t)}</math>属于某个宏观状态<math>A_k</math>时，<math>s^{(t+1)}</math>属于哪个宏观状态的意思。从这个角度来看，它走的是路径2的微观动力学，其中<math>\pi</math>为微观初始状态，<math>\{s^{(0)},\ s^{(1)},\ ...\ ,\ s^{(t)}\}</math>为微观动力学（微观动力学的演化过程在这里被省略了），而<math>s^{(t)} \in A_m</math>代表了从微观状态到宏观状态的聚类过程。
强调考虑所有初始状态<math>\pi</math>的目的是确保这两种路径在任何时间点给出的微观状态和宏观状态之间的关系是一致的。
强调考虑所有初始状态<math>\pi</math>的目的是确保这两种路径在任何时间点给出的微观状态和宏观状态之间的关系是一致的。
无论我们从哪个微观状态开始，无论是走宏观动力学(路径1)还是微观动力学(路径2)，系统在任何时间点的微观状态和宏观状态的对应关系都是相同的，也会到达相同的宏观状态，也就是满足了交换律。
无论我们从哪个微观状态开始，无论是走宏观动力学(路径1)还是微观动力学(路径2)，系统在任何时间点的微观状态和宏观状态的对应关系都是相同的，也会到达相同的宏观状态，也就是满足了交换律。
下一个小节我们会给出反例，说明non-lumpable的情况下，式子(3)并不是对所有的<math>\pi</math>都成立。