[論文レビュー] Tiling the integer lattice with translated sublattices

Maciej Borodzik, Danny Nguyen+1 more|arXiv (Cornell University)|Jun 11, 2013

Quasicrystal Structures and Properties参考文献 8被引用数 3

ひとこと要約

本稿では、生成関数およびポントレヤーギン双対性を用いた文字に基づく枠組みを構築し、整数格子 $\mathbb{Z}^d$ を平行移動された部分格子の直和でタイル張りするための必要十分条件を確立する。2次元の場合、任意の格子タイル張りは、少なくとも2つの部分格子が同じ部分格子の平行移動であることを意味する「平行移動性」を持つことが証明され、$d=2$ の場合に長年の未解決であった問題を解決する。主な貢献は、単位根を含む文字の公式であり、双対群と剰余条件を用いて、このようなタイル張りを特徴づけるものである。

ABSTRACT

When $\mathbb{Z}^d$ is represented as a finite disjoint union of translated integer sublattices, the translated sublattices must possess some special properties. Such a representation is called a \emph{lattice tiling}. We develop a theoretical framework, based on multiple residues and dual groups, to provide a set of necessary and sufficient conditions for such a lattice tiling to exist. We also investigate the question of when a lattice tiling must possess at least two translated sublattices which are translates of one another.

研究の動機と目的

• 有限個の平行移動された整数部分格子の互いに素な直和が $\mathbb{Z}^d$ をタイル張りするための必要十分条件を確立すること。
• このようなタイル張りが、少なくとも2つの部分格子が同じ部分格子の平行移動である（平行移動性）ことを含む条件を調査すること。
• $d=2$ の場合に、平行移動性を満たさない格子タイル張りが存在するかどうかを解明すること。
• 部分格子のタイル張り問題に対して、生成関数と文字論を基盤とする解析的ツールを開発すること。

提案手法

• 部分格子とそのトーラス $\mathbb{T}^d$ 上の文字に関連する生成関数を用いる。
• 複素変数関数の正則関数の留数計算を用いて、文字の公式を導出する。
• 部分格子商群の双対群（ポントレヤーギン双対）の概念を導入し、タイル張り条件を特徴付ける。
• 有限位数の文字とその位数の概念を用いて、部分格子構造を分析する。
• 文字の公式を導出する：すべての有限位数の文字 $\chi_{\mathbf{z}}$ に対して $\sum_{k=1}^n \frac{\chi_{\mathbf{z}}(\mathbf{v}_k)}{\det \mathcal{L}_k} = 0$ が成り立つ。
• 代数的整数論と多項式の可除性（例：最小の円分多項式）を用いて、平行移動性を破る仮定のもとで矛盾を導出する。

実験結果

リサーチクエスチョン

• RQ1 有限個の平行移動された部分格子の互いに素な直和が $\mathbb{Z}^d$ をタイル張りするための必要十分条件は何か？
• RQ2 任意の次元 $d$ において、格子タイル張りが必ず平行移動性を満たす条件は何か？
• RQ3 $d=2$ の場合に、平行移動性を満たさない格子タイル張りが存在するか？
• RQ4 原始的格子タイル張りにおける部分格子の行列式に課される可除性制約は何か？

主な発見

• 格子タイル張り $\mathbb{Z}^d$ が存在するための必要十分条件は、すべての有限位数の文字 $\chi_{\mathbf{z}}$ に対して $\sum_{k=1}^n \frac{\chi_{\mathbf{z}}(\mathbf{v}_k)}{\det \mathcal{L}_k} = 0$ が成り立つことである。
• タイル張りにおける最大の行列式を持つ部分格子が巡回群である場合、タイル張りは必ず平行移動性を満たす。
• 次元 $d=2$ において、すべての格子タイル張りは平行移動性を満たす。反例は存在しない。
• 部分格子の行列式に $p^r$ が割り込む場合、同じべき乗 $p^r$ は少なくとも他の1つの部分格子の行列式にも割り込む必要がある。
• 部分格子の重複度 $e_k^\mathbf{z}$ が $p^r$ で割り切れる場合、別の部分格子の $e_k^\mathbf{z}$ も $p^r$ で割り切れる必要があり、構造的対称性が保証される。
• $d=2$ における平行移動性の証明は、$\mathbb{Z}[x]$ 上の多項式の可除性と円分多項式の性質を用いた背理法に依拠している。