[论文解读] Some monoids of Pisot matrices

Artur Avila, Vincent Delecroix|arXiv (Cornell University)|Jun 11, 2015

semigroups and automata theory被引用 4

一句话总结

本文证明了某些非负整数矩阵的幺半群——具体而言，来自完全减法和 Brun 连分数算法的幺半群——是 Pisot 型的，即除主导特征值外，所有其他特征值的模均小于 1。通过利用由 Perron-Frobenius 特征向量和在不变锥上的矩阵范数导出的谱界，作者证明了这些矩阵的本原积满足 Pisot 性质，并将其应用于多维连分数中的指数收敛性以及具有离散谱的动力系统。

ABSTRACT

We show that several monoids of non-negative integer matrices enjoy a Pisot property: each matrix in that monoid has only one eigenvalue with absolute value larger than one. These monoids come from multidimensional continued fractions, namely the fully subtractive and Brun continued fractions.

研究动机与目标

• 建立由连分数算法产生的特定非负整数矩阵幺半群为 Pisot 矩阵。
• 证明这些矩阵的所有本原积的谱半径均由一个单特征值主导，其余所有特征值均位于单位圆内。
• 提出一种基于矩阵范数和不变锥的新颖、初等的证明技术，区别于以往基于归纳法的方法。
• 将 Pisot 性质与动力系统及 Lyapunov 指数联系起来，表明连分数展开中存在指数收敛性。

提出的方法

• 使用不等式 $ \lambda_2 \leq \sup_{x \in v^\perp \setminus \{0\}} \frac{\|Ax\|}{\|x\|} $，通过 Perron-Frobenius 特征向量 $ v $ 来界定第二大特征值。
• 利用完全减法和 Brun 连分数算法的动力学性质，将主导特征向量局部化于不变锥 $ D \subset \mathbb{P}(\mathbb{R}^d_+) $ 内。
• 定义适当的集合 $ D $，使得 $ A^{(i)}D \subset D $，从而保证所有矩阵积的主导特征空间均包含于一个统一的锥中。
• 应用上链性质 $ A_{m+n}(x) = A_m(x) A_n(T^m x) $ 来分析矩阵积的长期增长和谱行为。
• 利用对数可积性条件和 Birkhoff 混沌定理分析 Lyapunov 指数，推导出 $ \gamma_1 > 0 > \gamma_2 $，从而确认了 Pisot 谱。
• 证明若某类矩阵积包含特定子词（例如 $ A_{Br}^{(3)} $），则 $ \|A^3\| < 1 $，意味着谱主导性。

实验结果

研究问题

• RQ1 在何种条件下，完全减法矩阵的积构成 Pisot 矩阵？
• RQ2 如何利用几何与动力学约束刻画连分数算法中矩阵幺半群的谱性质？
• RQ3 Perron-Frobenius 特征向量及其相关锥在界定第二特征值中的作用是什么？
• RQ4 能否不依赖特征多项式的归纳法，而通过基于范数的谱估计来建立 Pisot 性质？
• RQ5 在位移空间上的矩阵上链背景下，Lyapunov 指数如何与 Pisot 谱相关联？

主要发现

• 所有完全减法矩阵 $ A_{FS,d}^{(k)} $ 的本原积均为 Pisot 矩阵，其中本原性条件等价于乘积序列中包含所有索引 $ 1, \dots, d $。
• 对于 3×3 的 Brun 矩阵，当且仅当 $ A_{Br}^{(3)} $ 出现在乘积中时，该乘积为本原的，且此类乘积亦为 Pisot 矩阵。
• 模最大的第二特征值被限制在 Perron-Frobenius 特征向量正交补上的算子范数之上，从而实现谱控制。
• 若存在一词 $ w $ 使得 $ \|A^{(w)}\|_{D^{(w)}} < 1 $，则可推出 $ \gamma_2 < 0 $，从而在 Lyapunov 意义下确认了 Pisot 谱。
• 该方法为 $ d=3 $ 维情形提供了新的、初等的 Pisot 性质证明，与 [ArIt01] 中早期基于归纳法的证明不同。
• 结果可推广至 Lyapunov 谱，证明在较弱的遍历性和对数可积性假设下有 $ \gamma_1 > 0 > \gamma_2 $，并将其与多维连分数中的指数收敛性联系起来。