107
个编辑
更改
跳到导航
跳到搜索
第1行：
第1行： − + − + 第17行：
第17行： − + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +
无编辑摘要
[[基于可逆性的因果涌现理论]]是一种量化[[因果涌现 Causal Emergence|因果涌现]]的新框架，该方法基于[[奇异值分解]]和近似动力学可逆性的概念，与基于[[有效信息]](EI)的因果涌现理论不同。
[[基于可逆性的因果涌现理论]]是一种量化[[因果涌现 Causal Emergence|因果涌现]]强度的新框架，该方法基于[[奇异值分解]]和近似动力学可逆性的概念，与基于[[有效信息]](EI)的因果涌现理论不同。
==动力学可逆性==
==近似动力学可逆性==
下面将定义马尔科夫链上的动力学可逆性，并提出一个量化指标来衡量一般马尔可夫链对动力学可逆性的接近程度。
下面将定义马尔科夫链上的动力学可逆性，并提出一个量化指标来衡量一般马尔可夫链对动力学可逆性的接近程度。
</math>的有效TPM，则<math>
</math>的有效TPM，则<math>
\chi
\chi
</math>和P 可以称为动态可逆。
</math>和P 可以称为动力学可逆。
可以证明：对于一个给定的马尔科夫链<math>
\chi
</math>和对应的TPM P，当且仅当P是[[置换矩阵]]的时候，P是动力学可逆的。
=== 近似动力学可逆性 ===
纯粹的[[置换矩阵]]在所有可能的TPM中非常稀少，所以大多数的TPM并不是严格动力学可逆的。因此，需要一个指标来刻画任意一个TPM接近动力学可逆的程度。
考虑P的秩r，当且仅当r<N的时候，P是不可逆的；且P越退化对应着越小的r。然而，非退化（满秩）的矩阵P并不总是动力学可逆的，因为：1. 尽管<math>
P^{-1}
</math>存在，但<math>
P^{-1}
</math>并不一定是满足归一化条件（P的第i行向量<math>
P_{i}
</math>的第一范数应该为1）的合法TPM。2. 如前所述，若P满足动力学可逆性，则P必为置换矩阵。
一个重要的观察是：所有置换矩阵的行向量都是[[one-hot向量]]（即只有一个元素是1，其余元素均为零）。这一特性可以被矩阵P的弗罗贝尼乌斯范数（Frobenius norm）刻画。事实上，当且仅当P的行向量是one-hot向量的时候，矩阵P的弗罗贝尼乌斯范数取最大值。
因此，我们可以借由矩阵P的秩r和矩阵的弗罗贝尼乌斯范数共同定义P的近似动力学可逆性：
首先，矩阵的秩可以被写作：
<math>
r=\sum_{i=1}^{N}\sigma_{i}^{0}
</math>
其中<math>
\sigma_{i}
</math>是矩阵P的第i个奇异值。紧接着，矩阵的弗罗贝尼乌斯范数可以被写作：
<math>
{||P||}_{F}^{2}=\sum_{i=1}^{N}\sigma_{i}^{2}
</math>
这也是所有奇异值的平方和。可以看出矩阵的秩和弗罗贝尼乌斯范数都与奇异值相联系。
=== 定义矩阵P的近似动力学可逆性： ===
假设马尔科夫链的概率转移矩阵为P，奇异值为<math>
(\sigma_{1}\ge\sigma_{2}\ge...\ge\sigma_{N}\ge0)
</math>，那么矩阵P的<math>
\alpha
</math>阶近似动力学可逆性定义为：
<math>
\Gamma_{\alpha}=\sum_{i=1}^{N}\sigma_{i}^{\alpha}
</math>
其中<math>
\alpha\in(0,2)
</math>