[論文レビュー] On the connectivity of spaces of three-dimensional tilings

Juliana Freire, Caroline J. Klivans+2 more|arXiv (Cornell University)|Feb 2, 2017

Mathematical Dynamics and Fractals参考文献 20被引用数 6

ひとこと要約

本稿では、立方体で構成された多様体の3次元ドミノタイルが、フラップとトリットによって接続可能であるための必要十分条件を示している。その条件は、フラップとトリットによる接続可能性は、フラックスが同一である場合に限り成立し、フラップのみによる接続可能性は、さらにねじれ（twist）も同一である場合に限り成立する。精密化された領域とトポロジー的不変量（ホモロジーにおけるフラックス、ZまたはZ/mZにおけるねじれ）を用いて、微細化まで考慮したタイル接続性の完全な特徴付けがなされている。

ABSTRACT

We consider domino tilings of three-dimensional cubiculated manifolds with or without boundary, including subsets of Euclidean space and three-dimensional tori. In particular, we are interested in the connected components of the space of tilings of such regions under local moves. Building on the work of the third and fourth authors, we allow two possible local moves, the flip and trit. These moves are considered with respect to two topological invariants, the twist and flux. Our main result proves that, up to refinement: Two tilings are connected by flips and trits if and only if they have the same flux. Two tilings are connected by flips alone if and only if they have the same flux and twist.

研究の動機と目的

• 局所的移動（フラップとトリット）の下での3次元ドミノタイルの接続性を特徴づけること。特に単純接続でない、あるいは複雑な領域における接続性を対象とする。
• 2つのタイルが局所的移動によって接続可能であるかどうかを決定するトポロジー的不変量を同定すること。3次元ではフラップ接続性が失敗する問題を解決する。
• トーラスや境界付き多様体を含む一般の立方体領域に対して、ねじれとフラックス不変量を定義し、厳密に構成すること。
• 一般に、微細化（refinement）が接続性の特徴付けに必要であることを示すこと。一方、ボックスのような特別な場合では、微細化を回避可能である可能性がある、実験的・計算的証拠がある。
• 2次元を超えたタイリング接続性理論を拡張し、トポロジー的不変量を用いた高次元タイリング問題のフレームワークを提供すること。

提案手法

• 2つの局所的移動を導入する：フラップ（2×2平面内の2つの平行ドミノを再配置）とトリット（2×2×2立方体内の3つの非平行ドミノを再配置）。
• タイルのフラックスをH₁(R; Z)におけるホモロジー類として定義し、表面を貫るタイルの流れを測定する。フラップとトリットの両方で不変であることを示す。
• 微細化を用いて補助的表面（セイフェルト表面）を構成し、トリット移動におけるタイルの「ねじれ」を測るねじれを定義する。
• 各立方体を5×5×5の小さな立方体に分割する微細化を用い、安定した表面とその上でのタイル配置の存在を保証することで、フラップ列の適用を可能にする。
• 表面タイリング接続性に関する定理3の離散版を適用し、表面に現れる対応するドミノペアを相殺することで、段階的にタイルの複雑さを低減する。
• トリット移動ではねじれが正確に1変化することを証明し、フラップ接続性にはねじれが同一であることが必要であり、フラップとトリットの両方による接続性にはフラックスが同一であることが必要であることを示す。

実験結果

リサーチクエスチョン

• RQ1 どのような条件下で2つの3次元ドミノタイルがフラップとトリットの列によって接続可能となるか？
• RQ2 3次元タイリング空間における局所的移動の下での接続成分を完全に特徴づけるトポロジー的不変量は何か？
• RQ3 ねじれ不変量はフラップ接続成分を完全に区別可能か？また、フラックスとはどのように関係するか？
• RQ4 微細化はタイリングの接続性にどのように影響するか？また、特徴付けが成り立つために必要不可欠か？
• RQ5 固定された領域におけるねじれ不変量の分布はどのようなものか？また、接続成分の構造にどのように影響を与えるか？

主な発見

• 立方体で構成された領域の2つのタイルは、微細化を経てフラップとトリットによって接続可能であるための必要十分条件が、フラックスが同一であることである。
• 2つのタイルがフラップのみによって接続可能（微細化後）であるための必要十分条件は、フラックスとねじれがともに同一であることである。
• フラックス不変量はH₁(R; Z)に値を取り、フラップとトリットの両方の移動で不変である。
• ねじれ不変量はフラックスに応じてZまたはZ/mZに値を取り、トリット移動で正確に1変化する。
• 一般に、特徴付けが成り立つために微細化が必要であることが、4×4×4立方体における反例（同じねじれだがフラップによる接続がない例）によって示されている。
• 非狭義なボックス領域では、実験的および計算的証拠から、同じねじれであればフラップ接続性がほとんど常に成立することが示唆されているが、一般には未解決のままである。