[論文レビュー] A counterexample to the periodic tiling conjecture

Rachel Greenfeld|arXiv (Cornell University)|Nov 29, 2022

graph theory and CDMA systems被引用数 3

ひとこと要約

本稿は、有限アーベル2-群 G₀ に対して、群 Z² × G₀ 内の単一のタイルを用いて非周期的タイル張りを構成することにより、周期的タイル張り予想の反例を構成している。著者らは2進的構造を持つ数独パズルをタイル張り方程式に符号化し、解が存在するがすべて非周期的であることを証明することで、高次元における予想の反証および R^d における連続的類似予想の反証を達成した。

ABSTRACT

A d-dimensional configuration is a coloring of the infinite grid ℤ^d using a finite number of colors. For a finite subset D ⊆ ℤ^d, the D-patterns of a configuration are the patterns of shape D that appear in the configuration. A configuration is said to be admitted by these patterns. The number of distinct D-patterns in a configuration is a natural measure of its complexity. We focus on low complexity configurations, where the number of distinct D-patterns is at most |D|, the size of the shape. This framework includes the notorious open Nivat’s conjecture and the recently solved Periodic Tiling problem. We use algebraic tools to study the periodicity of low complexity configurations. In the two-dimensional case, if D ⊆ ℤ² is a rectangle or any convex shape, we establish an algorithm to determine if a given collection of |D| patterns admits any configuration. This is based on the fact that if the given patterns admit a configuration, then they admit a periodic configuration. We also demonstrate that a two-dimensional low complexity configuration must be periodic if it originates from the well-known Ledrappier subshift or from several other algebraically defined subshifts.

研究の動機と目的

• ラティス Z^d 内の任意の有限タイルが周期的タイル張りを許容すると主張する周期的タイル張り予想を反証すること。
• この反証を連続的設定に拡張し、高次元ユークリッド空間 R^d においても連続的周期的タイル張り予想が成立しないことを示すこと。
• 有限アーベル2-群 G₀ に対して、Z² × G₀ の形の群内に単一のタイルを用いた明示的な非周期的タイル張りを構成すること。
• タイルが有限で群がアーベルであっても、タイル張り方程式の解が周期的構造を持たないことを示すこと。

提案手法

• 2進的構造を持つ行と非水平線を有する数独パズルを関数方程式系として符号化すること。
• 数独の制約条項を群 Z² × G₀ 内の単一のタイル張り方程式 A ⊕ F = G として表現すること。
• 2進的解析を用いて、局所的整合性条件を満たしてもすべての数独パズルの解が非周期的であることを保証すること。
• Z² × G₀ 内に存在する有限タイル F を構成し、タイル張り方程式 A ⊕ F = Z² × G₀ が解を持つが、すべての解が非周期的であることを示すこと。
• 2進的構造を持つ関数の構造を活用して、グローバルな非周期性を強制しながらも、局所的タイル張りルールを維持すること。
• 任意の有限指数部分群の陪集合の有限和集合として表せないことを示すことにより、結果として得られるタイル集合 A が周期的でないことを証明すること。

実験結果

リサーチクエスチョン

• RQ1 d ≥ 3 に対して、タイル張りは可能だが周期的タイル張りを許容しない Z^d 内の有限タイルが存在するか？
• RQ2 Z² × G₀ のような離散アーベル群内に、単一のタイルが非周期的に群をタイル張りできるか？
• RQ3 十分に大きな d に対して、R^d における連続的周期的タイル張り予想は誤りであるか？
• RQ4 2進的構造を持つ制約条件を有する数独パズルを、非周期的解を有するタイル張り方程式として符号化できるか？
• RQ5 d ≥ 3 に対して、Z^d の非周期的タイル張りにおける最大の弱周期的レベルは何か？

主な発見

• 十分に大きな d に対して、Z^d 内の周期的タイル張り予想は誤りであることが示された。これは、Z² × G₀ 内に非周期的にタイル張り可能な単一のタイル F を構成することで裏付けられた。
• 有限アーベル2-群 G₀ に対して、Z² × G₀ 内に明示的な反例が構成され、この設定における離散的周期的タイル張り予想が反証された。
• 連続的周期的タイル張り予想も、十分に大きな d に対して R^d 内で誤りである。これは、離散的反例が標準的な符号化論法により連続的類似に拡張可能であることに起因する。
• 構成されたタイル張り方程式のすべての解は非周期的であるが、タイルは有限で群はアーベルである。
• タイル張りの解は (d−2)-弱周期的であることが示され、非周期性と整合する範囲で達成可能な最大の周期的レベルに到達していることがわかった。
• 本研究は、高次元設定において単一タイルによる非周期的タイル張りが存在することを示し、タイル理論における長年の未解決問題を解決した。