[論文レビュー] Solution of the coincidence problem in dimensions $d\le 4$

Michael Baake|ArXiv.org|May 9, 2006

Quasicrystal Structures and Properties参考文献 46被引用数 35

ひとこと要約

本稿は、$d \leq 4$次元における離散的点集合の一致問題を、共通の部分格子をもつ有限指数を持つ格子または准晶に自身を写す回転や反映（一致等長変換）を分類する代数的枠組みを構築することで解決する。この枠組みにより、これらの等長変換の明示的パラメータ表示が得られ、一致指数（$\Sigma$-要因）が計算され、ディリクレ級数生成関数を用いてその統計的分布が記述される。この生成関数はデデキンドゼータ関数と関連しており、立方格子および$H_2$、$H_3$、$H_4$対称性をもつ准晶への応用が行われる。

ABSTRACT

Discrete point sets $\mathcal{S}$ such as lattices or quasiperiodic Delone sets may permit, beyond their symmetries, certain isometries $R$ such that $\mathcal{S}\cap R\mathcal{S}$ is a subset of $\mathcal{S}$ of finite density. These are the so-called coincidence isometrie. They are important in understanding and classifying grain boundaries and twins in crystals and quasicrystals. It is the purpose of this contribution to introduce the corresponding coincidence problem in a mathematical setting and to demonstrate how it can be solved algebraically in dimensions 2, 3 and 4. Various examples both from crystals and quasicrystals are treated explicitly, in particular (hyper-)cubic lattices and quasicrystals with non-crystallographic point groups of type $H_2$, $H_3$ and $H_4$. We derive parametrizations of all linear coincidence isometries, determine the corresponding coincidence index (the reciprocal of the density of coinciding points, also called $\varSigma$-factor), and finally encapsulate their statistics in suitable Dirichlet series generating functions.

研究の動機と目的

• 結晶格子にとどまらず准晶を含む離散的点集合における一致問題の数学的枠組みを確立すること。
• 2次元、3次元、4次元における線形一致等長変換を体系的に分類し、その指数（$\Sigma$-要因）を計算すること。
• さまざまな格子における一致格子（CSL）の統計的分布を記述する生成関数（特にディリクレ級数）を導出すること。
• 周期的格子（例：立方格子）と非周期的准晶（例：$H_2$、$H_3$、$H_4$点群をもつもの）を統一的な代数的アプローチで取り扱うこと。
• 低次元設定における一致等長変換の明示的パラメータ表示と指数公式を提供し、粒界およびタウン解析への応用を可能にすること。

提案手法

• 代数的数論と加群論を用い、格子にとどまらず准晶的構造に対しても一致等長変換の概念を一般化する。
• 双対格子（$\varGamma^*$）と基底行列形式を用いて部分格子およびその指数を特徴付ける。
• 特に$\mathbb{Z}^d$および円分体の整数環上の加群に対して、群論的および代数的数論的技法を用いて線形一致等長変換のパラメータ表示を導出する。
• 再帰関係とディリクレ級数を用いてCSLの統計を記述し、関数方程式$F_n(s) = \zeta(s) F_{n-1}(s-1)$を用いて生成関数を導出する。
• 基底の完備化定理を用いて$\mathbb{Z}^n$内の部分格子を$\mathbb{Z}^{n-1}$内の部分格子に関連づけ、部分格子数の再帰的計算を可能にする。
• 指数$m$の部分格子の数が乗法的算術関数に帰着されることを示し、閉形式表現$f_n(m) = \sum_{d_1 \cdots d_n = m} d_1^0 d_2^1 \cdots d_n^{n-1}$が得られる。

実験結果

リサーチクエスチョン

• RQ1 $d \leq 4$次元における格子および准晶に対して、一致問題を代数的に体系的に定式化し、解く方法は何か？
• RQ2 立方格子および$H_2$、$H_3$、$H_4$対称性をもつ准晶における線形一致等長変換の完全なパラメータ表示は何か？
• RQ3 これらの状況における一致指数（$\Sigma$-要因）の正確な公式は何か？ また、代数的数論とどのように関係しているか？
• RQ4 一致格子の統計的分布をどのようにディリクレ級数生成関数に記述できるか？
• RQ5 与えられた指数の部分格子の数とゼータ関数との関係、特に高ランク格子においては何か？

主な発見

• $\mathbb{Z}^n$における指数$m$の部分格子の数は、再帰的アプローチにより得られた乗法的算術関数として、$f_n(m) = \sum_{d_1 \cdots d_n = m} d_1^0 d_2^1 \cdots d_n^{n-1}$で与えられる。
• 部分格子数のディリクレ級数生成関数は$F_n(s) = \zeta(s)\zeta(s-1)\cdots\zeta(s-n+1)$であり、$s = n, n-1, \dots, 1$に極を持つ。
• $n=2$の場合、生成関数は$F_2(s) = \zeta(s)\zeta(s-1)$に簡略化され、除数関数$\sigma_1(m) = \sum_{d|m} d$に対応し、既知の結果を確認する。
• $\mathbb{Z}^n$における指数$\leq N$の部分格子の漸近的数は、$\sim r_n \cdot N^n / n$、ここで$r_n = \zeta(2)\zeta(3)\cdots\zeta(n)$である。
• $d \leq 4$次元における一致等長変換は完全に分類されており、立方格子および$H_2$、$H_3$、$H_4$点群をもつ准晶に対して明示的な指数公式が導出された。
• これらの系におけるCSLの統計は、デデキンドゼータ関数を一般化するディリクレ級数に要約され、一致格子密度や対称性の解析が可能になった。