[論文レビュー] Substitutions and Möbius disjointness

S. Ferenczi, Joanna Kułaga-Przymus+2 more|arXiv (Cornell University)|Jul 4, 2015

semigroups and automata theory参考文献 8被引用数 5

ひとこと要約

この論文は、トーペリッツ拡張を介したコンパクト群拡張と位相的同相性を活用することで、双射的置換によって生成される符号号系および関連する系（例：ルディン＝シャピロ型系列）に対して、サルナックのモービウス非共通性予想を証明する。主な貢献は、モービウスコサイクルの不連続性にかかわらず、記号的拡張を用いて連続的モデルを構築することで、エルゴディック理論的道具を用いてこれらの系に対して予想を確立することにある。

ABSTRACT

We show that Sarnak's conjecture on Möbius disjointness holds for all subshifts given by bijective substitutions and some other similar dynamical systems, e.g.\ those generated by Rudin-Shapiro type sequences.

研究の動機と目的

• 双射的置換から生じる符号号系に対して、サルナックのモービウス非共通性予想を確立すること。
• 一般化されたモービウス系列やルディン＝シャピロ型系列を含む数論的起源の系へ、予想の有効性を拡張すること。
• 位相的力学における不連続なモービウスコサイクルの課題を、トーペリッツ系を介した連続的群拡張の構築によって克服すること。
• コサイクルが位相的因子上で連続である場合に、オドメータの有限群拡張に対してサルナックの予想が成り立つことを示すこと。
• セミコサイクルおよびカクタニ型系に関するヴィエシュの研究と比較・対比し、より広範な適用可能性を示すこと。

提案手法

• 特定の相関条件の下で有界系列のモービウス非共通性を検証するためのカタイ・ブルーグァン・サルナック・ツィーグラー基準の使用。
• オドメータのほぼ1対1拡張であるトーペリッツ系列を介して位相的因子の構築により、連続的群拡張を可能にする。
• オドメータからトーペリッツ系への一般点のリフトにより、エルゴディック性質を保持し、位相的解析を可能にする。
• 置換群上の群被覆置換を特定し、系を連続コサイクルを持つコンパクト群拡張としてモデル化すること。
• モービウス系が測度論的にコンパクト群拡張と同型であるのに対し、トーペリッツ系は連続コサイクルを持つ位相的同相モデルを提供することの活用。
• スペクトル理論およびジョインング技術を用いて動的構造を解析し、位相的設定下での予想の検証を実施すること。

実験結果

リサーチクエスチョン

• RQ1 双射的置換によって生成される符号号系に対して、サルナックのモービウス非共通性予想は成立するか？
• RQ2 トポロジー的手法を用いて、ルディン＝シャピロ型系列によって生成される系に対しても予想を拡張できるか？
• RQ3 不連続コサイクルを持つモービウス系に対して、連続的群拡張モデルを構築することで、予想の位相的検証が可能になるか？
• RQ4 ヴィエシュのセミコサイクルおよびカクタニ系に関する研究と比較すると、結果はどのように異なるか？
• RQ5 トーペリッツ拡張は、モービウス非共通性の測度論的モデルから位相的モデルへの移行をどのように可能にするか？

主な発見

• 双射的置換によって生成されるすべての符号号系に対して、サルナックの予想が成立する。これは、トーペリッツ拡張による連続コサイクルを持つ位相的モデルが存在するためである。
• 一般化されたモービウス系列（ルディン＝シャピロ型を含む）に対して、予想が検証される。問題はオドメータの連続的群拡張に還元される。
• 元のモービウスコサイクル ψ が不連続であるにもかかわらず、トーペリッツ系上で連続コサイクル φ を構築し、関連するスケュー積がサルナックの予想を満たすことを示した。
• モービウス系列 x に対する動的系 (S, X(x)) が、連続的コンパクト群拡張 (Sφ, X(ŵ) × G) と位相的同型であることが示され、これにより予想の位相的検証が可能になった。
• 結果として、ヴィエシュの定理が一般のコンパクト群へ拡張され、局所定数コサイクルを持つより広いクラスのカクタニ型系に対しても、サルナックの予想が成り立つことが示された。
• 証明は、集合 D²₀ の特性関数が有限個の座標に依存し、連続であるという事実に依拠しており、これによりウォルシュ基底とカタイ基準を用いて予想の検証が可能になった。