[论文解读] Projection of Markov measures may be Gibbsian

Jean-René Chazottes, Edgardo Ugalde|arXiv (Cornell University)|Nov 29, 2002

Mathematical Dynamics and Fractals参考文献 8被引用 4

一句话总结

本文研究在何种条件下，通过因子映射投影的1步马尔可夫测度在Bowen意义下仍为吉布斯测度。通过基于矩阵的方法，结合非方阵的无穷乘积与射影度量，作者建立了充分条件，使得在原系统存在禁止块的情况下，因子系统上的诱导测度仍为吉布斯测度。关键结果是，在这些条件下，诱导势存在且为赫尔德连续，从而确保投影测度为吉布斯测度。

ABSTRACT

We study the induced measure obtained from a 1-step Markov measure, supported by a topological Markov chain, after the mapping of the original alphabet onto another one. We give sufficient conditions for the induced measure to be a Gibbs measure (in the sense of Bowen) when the factor system is again a topological Markov chain. This amounts to constructing, when it does exist, the induced potential and proving its Holder continuity. This is achieved through a matrix method. We provide examples and counterexamples to illustrate our results.

研究动机与目标

• 确定1步马尔可夫测度在拓扑马尔可夫链上经因子映射投影后仍为吉布斯测度的条件。
• 在因子系统亦为拓扑马尔可夫链时，构造投影系统上的诱导势并证明其赫尔德连续性。
• 解决原系统中存在禁止块所引入的强拓扑相关性对投影过程的影响。
• 阐明原马尔可夫测度的结构与诱导测度性质之间的关系，尤其在无限范围势的情形下。
• 提供实例与反例，说明诱导测度在全移位与周期点背景下的吉布斯性。

提出的方法

• 作者采用矩阵方法分析由因子映射产生的非方阵无穷乘积，以建模投影系统中的转移概率。
• 引入射影度量以控制这些矩阵乘积的收敛性，从而在特定点上构造诱导势。
• 通过证明正非方阵在单纯形上的压缩性，利用Perron-Frobenius理论，确立诱导势的存在性。
• 通过矩阵幂的渐近分析与谱性质，证明诱导势的赫尔德连续性，从而将其延拓至整个投影系统。
• 该方法依赖于从吉布斯性质推导出的诱导势的假设形式，利用原转移矩阵与投影动力学之间的关系。
• 分析包括通过矩阵迭代与谱分解显式计算周期点处的势。

实验结果

研究问题

• RQ1 在何种条件下，拓扑马尔可夫链上1步马尔可夫测度的因子映射投影为吉布斯测度？
• RQ2 投影系统上的诱导势能否显式构造？其是否为赫尔德连续？
• RQ3 原系统中的禁止块如何影响投影测度的吉布斯性？
• RQ4 诱导势是否必为有限范围？即使原系统为全移位，其是否仍可为无限范围？
• RQ5 诱导势定义良好的点集的特征是什么？其与周期轨道有何关联？

主要发现

• 在涉及转移矩阵结构与因子映射的充分条件下，诱导势存在且为赫尔德连续，从而确保投影测度为吉布斯测度。
• 即使原系统为全移位，诱导势仍可能为无限范围，但其仍保持吉布斯性。
• 诱导势不一定是有限范围，如一显式例子所示：尽管原系统为全移位，诱导势仍具有无限范围。
• 对于周期点，诱导势可通过涉及矩阵幂与谱半径的极限计算，以主特征值及其关联投影表示为闭式表达。
• 若矩阵乘积适当收敛，则诱导势在投影系统的所有点上均有定义，此条件在所述假设下可保证。
• 反例表明，若不满足必要的矩阵条件（尤其是转移矩阵缺乏足够秩或谱性质），诱导测度可能不为吉布斯测度。