[論文レビュー] Some monoids of Pisot matrices

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

semigroups and automata theory被引用数 4

ひとこと要約

本稿では、完全減算的およびブルン連分数アルゴリズムから生じる非負整数行列のモノイドが、Pisotであることを証明している。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性と力学系およびリャプノフ指数を結びつけ、多次元連分数展開における指数的収束を示すこと。

提案手法

• Perron-Frobenius固有ベクトル $ v $ を用いて、第二固有値の上界を $ \lambda_2 \leq \sup_{x \in v^\perp \setminus \{0\}} \frac{\|Ax\|}{\|x\|} $ で与える不等式を用いる。
• 完全減算的およびブルン連分数アルゴリズムの力学的性質を活用し、支配的固有ベクトルを不変錐 $ D \subset \mathbb{P}(\mathbb{R}^d_+) $ の内側に局所化する。
• 各行列 $ A^{(i)} $ に対して $ A^{(i)}D \subset D $ を満たす適切な集合 $ D $ を定義し、すべての行列積に対して支配的固有空間を含む一様な錐の存在を保証する。
• 行列積の長期的成長とスペクトル挙動を分析するため、コサイクル性 $ A_{m+n}(x) = A_m(x) A_n(T^m x) $ を適用する。
• 対数可積分性条件とBirkhoffのエルゴード定理を用いてリャプノフ指数を解析し、$ \gamma_1 > 0 > \gamma_2 $ を導出し、Pisotスペクトルの確認を行う。
• ある特定の部分語（例：$ A_{Br}^{(3)} $）を含む行列積に対して $ \|A^3\| < 1 $ が成り立つことを示し、スペクトル優位性を示唆する。

実験結果

リサーチクエスチョン

• RQ1 完全減算的行列の積がいつPisot行列を形成するか。
• RQ2 連分数アルゴリズムから生じる行列モノイドのスペクトル的性質を、幾何的および力学的制約を用いてどのように特徴づけられるか。
• RQ3 Perron-Frobenius固有ベクトルおよびその関連する錐が、第二固有値の上界評価に果たす役割は何か。
• RQ4 特性多項式への帰納法に依存せず、ノルムに基づくスペクトル推定を用いてPisot性を確立できるか。
• RQ5 シフト空間上の行列コサイクルの文脈において、リャプノフ指数はPisotスペクトルとどのように関係するか。

主な発見

• 完全減算的行列 $ A_{FS,d}^{(k)} $ のすべての原始的積はPisotであり、原始的条件は積の列にすべてのインデックス $ 1, \dots, d $ が現れることと同値である。
• 3×3ブルン行列に関しては、積が原始的であるための必要十分条件は $ A_{Br}^{(3)} $ が積に現れることであり、このような積もPisotである。
• 絶対値で第二に大きな固有値は、Perron-Frobenius固有ベクトルの直交補空間上の作用素ノルムによって上から抑えられ、スペクトルの制御が可能になる。
• ある語 $ w $ に対して $ \|A^{(w)}\|_{D^{(w)}} < 1 $ が成り立つならば、$ \gamma_2 < 0 $ が導かれ、リャプノフの意味でPisotスペクトルが確認される。
• 本手法は、$ d=3 $ の次元において、[ArIt01]で示された帰納法に基づく証明とは異なる、新たな素朴な証明を提供する。
• 結果はリャプノフスペクトルへと拡張され、やや弱いエルゴード性および対数可積分性の仮定のもとで $ \gamma_1 > 0 > \gamma_2 $ が成り立つことが示され、多次元連分数における指数的収束と関連づけられる。