[論文レビュー] Weakly and Strongly Aperiodic Subshifts of Finite Type on Baumslag-Solitar Groups.

Julien Esnay, Etienne Moutot|arXiv (Cornell University)|Apr 6, 2020

Cellular Automata and Applications参考文献 17被引用数 4

ひとこと要約

本稿は、バウムスラッグ＝ショルラー群上の有限型部分符号系（SFT）における周期性を調査し、残留有限性を満たすBS群では、強く非周期的で、弱くは非周期的だが強くは非周期的でないSFTが両方存在することを示している。また、オーブルンとカリが$BS(m,n)$に構築した弱く非周期的なSFTは、実際には$BS(1,n)$上では強く非周期的であることが示され、$BS(1,n)$上では弱くは非周期的だが強くは非周期的でない別のSFTが構成されている。さらに、$BS(n,n)$上に強く非周期的なSFTが存在することを証明し、これらの群における弱い周期性と強い周期性の違いを明らかにした。

ABSTRACT

We study the periodicity of subshifts of finite type (SFT) on Baumslag-Solitar groups. We show that for residually finite Baumslag-Solitar groups there exist both strongly and weakly-but-not-strongly aperiodic SFTs. In particular, this shows that unlike $\mathbb{Z}^2$, but as $\mathbb{Z}^3$, the notions of strong and weak periodicity are different for residually finite BS groups. More precisely, we prove that the weakly aperiodic SFT on $BS(m,n)$ presented by Aubrun and Kari is in fact strongly aperiodic on $BS(1,n)$. In addition, we exhibit an SFT which is weakly but not strongly aperiodic on $BS(1,n)$. Finally, we show that there exists a strongly aperiodic SFT on $BS(n,n)$.

研究の動機と目的

• バウムスラッグ＝ショルラー群上の非周期的有限型部分符号系（SFT）の存在と性質を調査すること。
• 残留有限性を満たすバウムスラッグ＝ショルラー群上のSFTにおける弱い周期性と強い周期性の違いを明確にすること。
• 弱く非周期的なSFTが$BS(m,n)$上で常に強く非周期的であるかどうか、特に$BS(1,n)$上でそうであるかを特定すること。
• $BS(1,n)$上で弱く非周期的だが強く非周期的でないSFTの明示的例を構成すること。
• $BS(n,n)$上に強く非周期的なSFTが存在することを確立すること。

提案手法

• 残留有限性を満たすバウムスラッグ＝ショルラー群$BS(m,n)$の構造を分析し、SFTの周期性特性を評価すること。
• オーブルンとカリが$BS(m,n)$に構築した弱く非周期的なSFTの構成を再評価し、特に$BS(1,n)$に対して適用すること。
• $BS(1,n)$の群論的性質（例えば、半直積としての構造）を応用し、周期性を分析すること。
• 特定のタイル集合と制約を用いて、$BS(1,n)$上で弱く非周期的だが強く非周期的でないSFTを新たに構成すること。
• 組合せ論的および群論的議論を用いて、$BS(n,n)$上に強く非周期的なSFTが存在することを証明すること。
• $\mathbb{Z}^2$および$\mathbb{Z}^3$における既知の結果と比較することで、$BS(1,n)$上におけるSFTの振る舞いの違いを強調すること。

実験結果

リサーチクエスチョン

• RQ1 弱く非周期的なSFTが$BS(m,n)$上で常に強く非周期的であるのか、特に$BS(1,n)$上でそうであるか？
• RQ2 $\mathbb{Z}^3$で観察された弱い周期性と強い周期性の違いが、残留有限性を満たすバウムスラッグ＝ショルラー群に対しても成立するか？
• RQ3 $BS(1,n)$上に弱く非周期的だが強く非周期的でない部分符号系の有限型（SFT）が存在するか？
• RQ4 $BS(n,n)$上に強く非周期的なSFTが存在するのか。もし存在するならば、どのように構成されるか？
• RQ5 $BS(1,n)$上におけるSFTの周期性特性は、$\mathbb{Z}^2$および$\mathbb{Z}^3$上におけるそれらとどのように比較できるか？

主な発見

• オーブルンとカリが$BS(m,n)$に構築した弱く非周期的なSFTは、実際には$BS(1,n)$上では強く非周期的であることが示され、この文脈における周期性に関する核心的問題が解決された。
• $BS(1,n)$上に、弱く非周期的だが強く非周期的でないSFTを明示的に構成した。これにより、この群における弱い周期性と強い周期性の厳密な分離が実証された。
• $BS(1,n)$では、弱い周期性と強い周期性の概念が明確に異なることが確認され、$\mathbb{Z}^2$とは異なるが、$\mathbb{Z}^3$とより類似した振る舞いを示した。
• $BS(n,n)$上に強く非周期的なSFTが存在することが立証され、このクラスの群においてもそのような系が存在することを示した。
• 結果として、残留有限性を満たすバウムスラッグ＝ショルラー群は、強く非周期的で、かつ弱くは非周期的だが強くは非周期的でないSFTを両方支持しており、動的挙動における構造的多様性が浮き彫りになった。