[论文解读] A note on lattice coverings

Fei Xue, Chuanming Zong|arXiv (Cornell University)|Feb 20, 2014

Advanced Topology and Set Theory参考文献 4被引用 3

一句话总结

本文构建了离散几何中一个长期存在的猜想的显式反例：对于所有维度 $ n \geq 3 $，存在由中心对称凸体 $ C $ 生成的格点覆盖 $ C + \Lambda $，其不包含任何平行多面体 $ P $，使得 $ P + \Lambda $ 能够镶嵌 $ \mathbb{E}^n $。该构造在 $ \mathbb{E}^3 $ 中使用了经过扰动顶点的改进六棱柱，并选择了特定格点，证明了此类覆盖可以存在而不包含能镶嵌的平行多面体。

ABSTRACT

This note presents an interesting counterexample to a basic covering problem.

研究动机与目标

• 研究 $ \mathbb{E}^n $（$ n \geq 3 $）的格点覆盖 $ K + \Lambda $ 是否必须包含一个在相同格点下能镶嵌 $ \mathbb{E}^n $ 的平行多面体。
• 解决第1个问题：格点覆盖 $ K + \Lambda $ 是否必须包含一个平行多面体 $ P $，使得 $ P + \Lambda $ 是 $ \mathbb{E}^n $ 的镶嵌。
• 在 $ \mathbb{E}^3 $ 中构造显式反例，并将其推广至更高维度，以推翻该猜想。
• 证明格点覆盖的存在性并不意味着在覆盖体内部必然存在一个能镶嵌的平行多面体。

提出的方法

• 通过从高度为 $ 2(1 + \gamma) $ 的六棱柱的面上截去六个全等的四面体，定义一个三维中心对称凸多面体 $ C $。
• 构造一个格点 $ \Lambda $，其基向量为 $ \mathbf{a}_1 = (1 + \alpha, \beta, 0) $，$ \mathbf{a}_2 = (1 + \alpha, -\beta, 0) $，$ \mathbf{a}_3 = (0, 0, 2) $，其中 $ \alpha = \cos(\pi/3) $，$ \beta = \sin(\pi/3) $。
• 通过确认 $ \Lambda $ 作用下 $ C $ 的平移能覆盖整个空间，并且 $ C $ 的顶点通过 $ \mathbf{a}_3 $ 相互映射，验证 $ C + \Lambda $ 构成 $ \mathbb{E}^3 $ 的格点覆盖。
• 证明：若 $ C $ 中存在一个平行多面体 $ P $，使得 $ P + \Lambda $ 能镶嵌 $ \mathbb{E}^3 $，则 $ P $ 必须包含 $ C $ 的全部12个顶点，因此 $ P = C $，但 $ C $ 并非平行多面体。
• 通过在低维反例 $ K $ 的基础上构造柱体 $ K' $，将反例推广至更高维度，证明 $ K' + \Lambda' $ 是一个格点覆盖，且不包含任何能镶嵌的平行多面体。

实验结果

研究问题

• RQ1 每个 $ \mathbb{E}^n $（$ n \geq 3 $）的格点覆盖 $ K + \Lambda $ 是否必然包含一个平行多面体 $ P $，使得 $ P + \Lambda $ 能镶嵌 $ \mathbb{E}^n $？
• RQ2 一个中心对称凸体 $ C $ 是否可能拥有一个格点覆盖 $ C + \Lambda $，而其中不包含任何在相同格点下能镶嵌 $ \mathbb{E}^n $ 的平行多面体？
• RQ3 在 $ \mathbb{E}^2 $ 中，每个格点覆盖都包含一个能镶嵌的中心对称六边形这一性质，能否推广到 $ \mathbb{E}^n $（$ n \geq 3 $）？
• RQ4 对凸体 $ C $ 和格点 $ \Lambda $ 的哪些结构条件会阻止存在一个平行多面体 $ P \subseteq C $，使得 $ P + \Lambda $ 能镶嵌 $ \mathbb{E}^n $？

主要发现

• 对于所有维度 $ n \geq 3 $，存在一个由中心对称凸体 $ C $ 生成的格点覆盖 $ C + \Lambda $，其不包含任何平行多面体 $ P $，使得 $ P + \Lambda $ 是 $ \mathbb{E}^n $ 的镶嵌。
• 在 $ \mathbb{E}^3 $ 中构造了一个反例，使用了具有12个顶点的改进六棱柱和特定格点 $ \Lambda $，使得 $ C + \Lambda $ 覆盖 $ \mathbb{E}^3 $，但 $ C $ 并非平行多面体。
• 通过在低维反例上构造柱体，将该反例推广至更高维度，保持覆盖性质，且不包含任何能镶嵌的平行多面体。
• 证明：若存在一个平行多面体 $ P \subseteq C $，使得 $ P + \Lambda $ 能镶嵌 $ \mathbb{E}^3 $，则 $ P $ 必须包含 $ C $ 的全部12个顶点，从而迫使 $ P = C $，但 $ C $ 并非平行多面体，因此不存在这样的 $ P $。
• 该构造证实，即使凸体是中心对称的，格点覆盖的存在性也不意味着其内部必然存在一个能镶嵌的平行多面体。