关于 sofic 翻转系统不动点数目的研究

在 $X$ 为 sofic 位移且 $\phi : X \to X$ 为满足 $\phi^2 = \text{id}_X$ 与 $\phi \sigma_X = \sigma_X^{-1} \phi$ 的同胚映射的情况下，$X$ 中被 $\sigma_X^m$ 和 $\sigma_X^n \phi$（$m=1,2,...$，$n\in\Bbb Z$）固定的点的数目可由有限个方阵表示：这些方阵由与 $X$ 共轭的 sofic 位移的 Krieger 联合状态链得到。