[論文レビュー] Aperiodic Subshifts on Polycyclic Groups

Emmanuel Jeandel|arXiv (Cornell University)|Oct 8, 2015

Cellular Automata and Applications参考文献 8被引用数 6

ひとこと要約

本稿では、非線形成長を示す多可解群のすべてが強周期的でない有限型の部分符号（SFT）を許容し、ドミノ問題が決定不能であることを確立している。正規部分群と商群を用いた群論的構成を活用することで、前記の結果をノルム群および自由アーベル群に関する先行研究に一般化し、ヒルシュ数に関する構造的帰納法により、このような群が周期的でないタイル張りと決定不能なタイル張り問題を有することを証明している。

ABSTRACT

We prove that every polycyclic group of nonlinear growth admits a strongly aperiodic SFT and has an undecidable domino problem. This answers a question of [4] and generalizes the result of [2].

研究の動機と目的

• 非線形成長を示す多可解群が強周期的でないSFTを許容するかどうかを特定すること。
• このような群におけるドミノ問題の決定可能性を調査すること。
• ノルム群および自由アーベル群に関する先行結果を、より広範な多可解群のクラスに一般化すること。
• カーラルとペングランドが提起した、非バーチャル・サイクリックな多可解群における強周期的でないSFTの存在に関する問いを解決すること。

提案手法

• 多可解群のヒルシュ数に関する帰納法を用いて、正規部分群の逐次拡張を通じて強周期的でないSFTを構成する。
• 命題2.1を適用して、商群 $ G/H $ からのSFTを $ G $ に持ち上げる。適切な条件下で、有限性と周期的でなさが保たれる。
• 命題2.2を用いて、部分群 $ H $ からのSFTをより大きな群 $ G $ に拡張する。点の安定化部分群が元のものから引き継がれる場合に、それが有限であることを保証する。
• 任意のヒルシュ数 ≥ 2 の多可解群が、$ \mathbb{Z}^2 $ にマッピングする有限指数部分群を含むことを利用し、その部分群がドミノ問題の決定不能性を引き継ぐことを利用している。
• $ G_1/H_1 \cong \mathbb{Z} $ となる有限指数部分群 $ G_1 $ を構成し、$ \mathbb{Z} $-拡張に関する既知の結果への適用を可能にする。
• ドミノ問題が共役性およびクアイジアイソメトリーのもとで不変であることを利用して、クアイジアイソメトリックな群間で決定不能性の結果を転送する。

実験結果

リサーチクエスチョン

• RQ1 非線形成長を示すすべての多可解群が強周期的でないSFTを許容するか？
• RQ2 バーチャル・サイクリックでないすべての多可解群におけるドミノ問題は決定不能か？
• RQ3 強周期的でないSFTの存在は、ノルム群からより広範な多可解群のクラスへ拡張可能か？
• RQ4 群の構造的条件として、周期的でないSFTの存在とドミノ問題の決定不能性を両立させる条件は何か？

主な発見

• 非線形成長を示すすべての多可解群が強周期的でないSFTを許容する。これはカーラルとペングランドによる未解決の問いを解決する。
• バーチャル・サイクリックでないすべてのバーチャル多可解群においてドミノ問題は決定不能である。これはボールヤーとシュタインのノルム群に関する結果を多可解群へ一般化したものである。
• ヒルシュ数 ≥ 2 の群は、$ \mathbb{Z}^2 $ にマッピングする有限指数部分群を含み、これにより決定不能性の結果を転送可能である。
• 周期的でないSFTの構成は、正規部分群および商群による帰納的持ち上げに依存しており、有限生成性を用いて一貫性を強制する。
• 構成されたSFTの任意の点の安定化部分群は有限である。これは強周期的でない性質を満たす。
• 共役性のもとでドミノ問題およびSFTの存在が不変であることから、このような多可解群と可換なすべての有限生成群に対しても結果が拡張可能である。