[論文レビュー] Shift Radix Systems - A Survey

Peter Kirschenhofer, Jörg Μ. Thuswaldner|arXiv (Cornell University)|Dec 2, 2013

semigroups and automata theory参考文献 59被引用数 7

ひとこと要約

本調査は、整数値線形変換と床関数を用いて定義される動的システムであるシフトラディックスシステム（SRS）を検討し、β展開、正規数体系、およびセイモント数やピゾット数に基づく周期的展開と関連付ける。主な貢献は、SRS、タイリング理論、ディオファントス近似の間の包括的で体系的な関係の洗い出しであり、SRSが有限性性質を示すパラメータの特定と、SRSタイルの幾何的構造の解明を含む。

ABSTRACT

Let $d\ge 1$ be an integer and ${\bf r}=(r_0,\dots,r_{d-1}) \in \mathbf{R}^d$. The {\em shift radix system} $τ_\mathbf{r}: \mathbb{Z}^d o \mathbb{Z}^d$ is defined by $$ τ_{\bf r}({\bf z})=(z_1,\dots,z_{d-1},-\lfloor {\bf r} {\bf z} floor)^t \qquad ({\bf z}=(z_0,\dots,z_{d-1})^t). $$ $τ_\mathbf{r}$ has the {\em finiteness property} if each ${\bf z} \in \mathbb{Z}^d$ is eventually mapped to ${\bf 0}$ under iterations of $τ_\mathbf{r}$. In the present survey we summarize results on these nearly linear mappings. We discuss how these mappings are related to well-known numeration systems, to rotations with round-offs, and to a conjecture on periodic expansions w.r.t.\ Salem numbers. Moreover, we review the behavior of the orbits of points under iterations of $τ_\mathbf{r}$ with special emphasis on ultimately periodic orbits and on the finiteness property. We also describe a geometric theory related to shift radix systems.

研究の動機と目的

• シフトラディックスシステム（SRS）に関する既知の結果を統合し、要約すること。特に、数体系、動的システム、代数的数論との関連を対象とする。
• SRSの有限性性質、すなわちすべての整数ベクトルが反復的に写像されると最終的にゼロに到達するかどうかを調査すること。
• SRSタイルの幾何的構造とそのタイリング性質を調査し、特にβタイルや自己相似タイルととの関係を強調すること。
• SRSが離散化された回転をモデル化する役割を果たし、セイモント数に基づく周期的展開と関連する点を検討すること。スミットとボーイドの予想とも関連する。
• 対称SRSや整数環上のSRSなどのSRSの変種を提示し、高次元における未解決問題を議論すること。

提案手法

• SRSを τ_r: ℤ^d → ℤ^d として定義する。τ_r(z) = (z₁,…,z_{d-1}, -⌊rz⌋)^t であり、r ∈ ℝ^d および z ∈ ℤ^d である。
• 有限性性質を用いて、τ_r のすべての軌道が最終的にゼロに到達するようなパラメータ r を特徴付ける。
• SRSをβ変換および逆方向除法写像との共役性を通じて、β展開と正規数体系に関連付ける。
• シュール＝コーン領域を用いて周期的軌道を分析し、SRSパラメータ r に関連する収縮的多項式を特徴付ける。
• タイリング理論をSRSタイル T_r(x) に適用し、特定の条件下で {T_r(x) : x ∈ ℤ^d} が ℝ^d の弱タイリングを形成することを示す。
• 自己相似タイルやアフィン変換などの幾何的・代数的道具を用いて、SRSタイルを既知のフラクタルタイリング（例：ツインドレイングタイル、ブリュノットタイル）と関連付ける。

実験結果

リサーチクエスチョン

• RQ1 どのパラメータ r ∈ ℝ^d に対して、シフトラディックスシステム τ_r が有限性性質を有するか？
• RQ2 SRSは、動的共役性の観点から、β展開と正規数体系とどのように関連しているか？
• RQ3 τ_r のすべての軌道が最終的に周期的になるパラメータの集合 𝒟_d はどのような構造を持つのか？
• RQ4 SRSタイルは自己相似タイルとどのように関連し、どのようなタイリング性質を示すか？
• RQ5 SRSとセイモント数に基づく周期的展開との関係は何か。特にスミットの予想の文脈で。

主な発見

• τ_r が有限性性質を有するパラメータの集合、すなわち 𝒟_d^(0) は、有限性性質に基づき特徴付けられ、シュール＝コーン領域に含まれる。
• r = (1/2, 1) の場合、τ_r は有限性性質を有し、多項式 X² + 2X + 2 に関連するツインドレイングタイルのアフィン写像として得られる ℝ^2 のタイリングを誘導する。
• r = (2/3, 1) は、非モニック多項式 2X² + 3X + 3 に対応し、ブリュノットタイリングを生成する。非モニック多項式に対してもタイリングが成立することを示しており、その性質を裏付ける。
• r = -2/3 の場合、SRSタイルは無限に多くの異なる長さを持つ区間の族を形成する。区間 T_r(N_k) に対して ℓ_k ∈ [(2/3)^k, 3(2/3)^k] が成り立つため、非一様なタイリング構造が示される。
• 対称SRS（-⌊rz⌋ を -⌊rz + 1/2⌋ に置き換えたもの）は、常に弱タイリングを形成するとは限らない。カレとシュタイナーは、重複タイリングを示す例を発見しており、標準SRSとは本質的に異なる性質を示す。
• クラウス・スミットのセイモント数に基づく周期的展開に関する予想は、SRSと関連している。もし予想が真であれば、β がセイモント数で、r が β から導かれる場合、ℚ(β) のすべての元が、τ_r 展開で最終的に周期的になることが示唆される。