[论文解读] 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

一句话总结

本文证明，三维立方体区域的多米诺骨牌铺砌在经过翻转和三连变换后连通，当且仅当它们具有相同的通量；仅通过翻转连通，当且仅当它们还具有相同的扭曲度。通过精细区域和拓扑不变量——通量（在同调中）与扭曲度（在 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.

研究动机与目标

• 刻画三维多米诺骨牌铺砌在局部移动（翻转和三连变换）下的连通性，特别是在非单连通或复杂区域中的情形。
• 识别决定两个铺砌是否可通过局部移动连通的拓扑不变量，解决三维中翻转连通性失效的问题。
• 为一般立方体区域（包括环面和带边界的流形）明确定义并严格构造扭曲度和通量不变量。
• 证明区域精细化在一般情况下是连通性刻画所必需的，尽管经验证据表明在某些特殊情形（如长方体）中可能可避免。
• 将铺砌连通性理论从二维扩展至高维，利用拓扑不变量为高维铺砌问题提供一个框架。

提出的方法

• 引入两种局部移动：翻转（在 2×2 平面内重新排列两个平行的多米诺骨牌）和三连变换（在 2×2×2 立方体内重新排列三个非平行的多米诺骨牌）。
• 将铺砌的通量定义为 H₁(R; Z) 中的同调类，衡量铺砌在穿过曲面时的流动，并证明其在翻转和三连变换下保持不变。
• 通过精细化构造辅助曲面（Seifert 曲面），以定义扭曲度，该量衡量在三连变换下铺砌的“扭曲”程度。
• 使用精细化（将每个立方体划分为 5×5×5 个更小的立方体）以确保稳定曲面及其上铺砌的存在，从而支持翻转序列的应用。
• 应用定理 3 的离散版本（关于曲面铺砌连通性），在曲面上消去匹配的多米诺骨牌对，逐步降低铺砌的复杂度。
• 证明三连变换会使扭曲度恰好改变 1，且相等的扭曲度是翻转连通性的必要条件，而通量是翻转与三连变换连通性的必要条件。

实验结果

研究问题

• RQ1 在何种条件下，两个三维多米诺骨牌铺砌可通过翻转和三连变换的序列连通？
• RQ2 哪些拓扑不变量能完全刻画局部移动下三维铺砌空间的连通分支？
• RQ3 扭曲度不变量是否足以区分翻转连通的分支，它与通量有何关系？
• RQ4 精细化如何影响铺砌的连通性，它在刻画中是否为必要条件？
• RQ5 在固定区域的铺砌中，扭曲度不变量的分布如何，它如何影响连通分支的结构？

主要发现

• 两个立方体区域的铺砌在精细化后可通过翻转和三连变换连通，当且仅当它们具有相同的通量。
• 两个铺砌在精细化后仅通过翻转连通，当且仅当它们具有相同的通量和相同的扭曲度。
• 通量不变量取值于第一同调群 H₁(R; Z)，且在翻转和三连变换下保持不变。
• 扭曲度不变量取值于 Z 或 Z/mZ（取决于通量），且在三连变换下恰好改变 1。
• 在一般情况下，精细化是刻画成立所必需的，如在 4×4×4 立方体中存在反例：扭曲度相同但无翻转连通路径。
• 对于非细长的长方体，经验与计算证据表明，相等的扭曲度几乎总是意味着翻转连通，尽管目前尚未在一般情形下完全证明。