[论文解读] Invariant Measures on Stationary Bratteli Diagrams

Sergey Bezuglyi, Jan Kwiatkowski+2 more|ArXiv.org|Dec 5, 2008

Mathematical Dynamics and Fractals参考文献 28被引用 7

一句话总结

本文對非簡並靜態布雷特利圖的路徑空間上的遍歷不變概率測度進行了完整特徵分析，表明它們與係數矩陣的特徵分量一一對應，其依據為佩龍-弗羅貝尼烏斯理論。關鍵結果是提出了一種明確的算法，利用矩陣的譜性質計算非最小、非週期性替換系統的不變測度。

ABSTRACT

We study dynamical systems acting on the path space of a stationary (non-simple) Bratteli diagram. For such systems we explicitly describe all ergodic probability measures invariant with respect to the tail equivalence relation (or the Vershik map). These measures are completely described by the incidence matrix of the diagram. Since such diagrams correspond to substitution dynamical systems, this description gives an algorithm for finding invariant probability measures for aperiodic non-minimal substitution systems. Several corollaries of these results are obtained. In particular, we show that the invariant measures are not mixing and give a criterion for a complex number to be an eigenvalue for the Vershik map.

研究动机与目标

• 明確描述非簡並靜態布雷特利圖的路徑空間上，所有在尾等價關係下不變的遍歷概率測度。
• 建立遍歷不變概率測度與係數矩陣譜分解中特徵分量之間的對應關係。
• 將不變測度理論從本質上「單純」（簡並）靜態圖推廣至非簡並情形。
• 提供一種算法化方法，用於計算非週期性非最小替換動力系統中的不變測度。
• 特徵化維舍克映射的特徵值，並確定其弱混合或純離散譜的條件。

提出的方法

• 利用靜態布雷特利圖的係數矩陣 $ F $ 定義其轉置矩陣 $ A = F^T $，其譜性質決定了不變測度。
• 應用佩龍-弗羅貝尼烏斯理論分析 $ A $ 的非負特徵向量，專注於不可約分量及其佩龍-弗羅貝尼烏斯特徵值。
• 將 $ A $ 的「核心」定義為 $ \bigcap_{n=0}^\infty A^n(\mathbb{R}_+^N) $，其參數化有限不變測度。
• 透過不可約分量的非負特徵向量生成的核心的極射線，識別遍歷不變概率測度。
• 引入「特徵分量」的概念——即其佩龍-弗羅貝尼烏斯特徵值嚴格大於所有可達分量的分量——並證明其與遍歷概率測度一一對應。
• 利用維舍克映射與軌道等價關係，將測度論結構與動力譜聯繫起來，並應用 Körneyi 對模整數指數和的研究結果，以檢驗特徵值條件。

实验结果

研究问题

• RQ1 如何顯式分類非簡並靜態布雷特利圖的路徑空間上所有遍歷不變概率測度？
• RQ2 係數矩陣的譜結構與不變測度存在性之間的精確關係為何？
• RQ3 在非最小、非週期性結構下，替換動力系統在何種條件下是唯一遍歷的或非唯一遍歷的？
• RQ4 何時此類系統上的維舍克映射是弱混合的或譜為純離散的？
• RQ5 哪些複數 $ \gamma = e^{2\pi i\theta} $ 會成為維舍克映射的特徵值？如何以算法方式確定？

主要发现

• 靜態布雷特利圖的路徑空間上，遍歷不變概率測度與係數矩陣不可約分解中的特徵分量一一對應。
• 有限不變測度由轉置係數矩陣 $ A = F^T $ 的核心參數化，該核心為一單純錐體，其極射線由 $ A $ 的非負特徵向量生成。
• 非特徵分量對應於在某些開集上有限的遍歷 $ \sigma $-有限測度，從而實現對所有不變測度的完整分類。
• 系統非混合，且維舍克映射的譜為純離散，當且僅當對所有 $ n $，條件 $ \theta \cdot \lambda^n \to 0 \mod \mathbb{Z} $ 成立，其中 $ \lambda $ 為佩龍-弗羅貝尼烏斯特徵值。
• 複數 $ \gamma = e^{2\pi i\theta} $ 是維舍克映射的特徵值，當且僅當當 $ n \to \infty $ 時，有 $ \theta \cdot h^{(n)} \to 0 \mod \mathbb{Z} $，其中 $ h^{(n)} $ 由特徵向量分量導出。
• 當特徵向量分解包含多個增長速率不可公度的分量時，出現弱混合現象；如例 6.11 所示，當且僅當 $ \theta $ 為整數時，特徵值條件成立，意味著僅有 $ \gamma = 1 $ 成立。