[論文レビュー] Combinatorial problems of (quasi-)crystallography

Michael Baake, Uwe Grimm|ArXiv.org|Dec 4, 2002

Quasicrystal Structures and Properties参考文献 33被引用数 14

ひとこと要約

本稿では、ディリクレ級数母関数とゼータ関数を用いた統一的な代数的アプローチを提案し、数論と非周期的タイル張り（准結晶）を結びつける。平面格子（例：アイゼンシュタイン整数や円分環）における部分格子や相似部分格子の数え上げは、乗法的算術関数に還元され、デデキンド・ゼータ関数およびリーマン・ゼータ関数から明示的な公式が導かれる。これにより、正確な漸近的解析およびインフレーション系における動的ゼータ関数の構築が可能になる。

ABSTRACT

Several combinatorial problems of (quasi-)crystallography are reviewed with special emphasis on a unified approach, valid for both crystals and quasicrystals. In particular, we consider planar sublattices, similarity sublattices, coincidence sublattices, their module counterparts, and central and averaged shelling. The corresponding counting functions are encapsulated in Dirichlet series generating functions, with explicit results for the triangular lattice and the twelvefold symmetric shield tiling. Other combinatorial properties are briefly summarised.

研究の動機と目的

• 結晶学および準結晶学における組合せ的問題を体系的かつ代数的に解くための方法を開発すること。
• 特にディリクレ級数およびゼータ関数を用いた生成関数による、部分格子および相似部分格子の数え上げの統一的取り扱いを実現すること。
• 代数的数論を用いて、古典的な結晶学的数え上げ問題を非周期的系（例：準結晶）へと拡張すること。
• 非周期的タイリングにおけるインフレーション写像の軌道構造を、動的ゼータ関数を用いて分析すること。
• 高次元（準）結晶学における未解決問題および平均化されたシェリング関数の役割を同定すること。

提案手法

• 平面格子における与えられたインデックスの部分格子の数を数える乗法的算術関数を符号化するためのディリクレ級数母関数の使用。
• リーマン・ゼータ関数およびデデキンド・ゼータ関数を用いて、Z[ξ₃] や Z[ξ₁₂] などの円分環における部分格子および相似部分格子の数を表現すること。
• 数え上げ関数の乗法的構造を活用し、有理素数に関する積を用いて閉形式の表現を導出すること。
• 動的ゼータ関数 exp(∑ₘ≥₁ aₘ/m zᵐ) を用いて、局所的に区別不能なタイリング類におけるインフレーション写像の軌道構造を分析すること。
• オイラー積展開 (1 - zⁿ)ᶜⁿ を用いて、モービウス逆転を介してインフレーション系におけるサイクル数を抽出すること。
• 射影法によるトーラスパラメータ化により、複雑なタイリング力学を簡略化し、有理数型の動的ゼータ関数を可能にすること。

実験結果

リサーチクエスチョン

• RQ1 平面格子における与えられたインデックスの部分格子の数を、代数的数論を用いて体系的に数える方法は何か？
• RQ2 Z[ξ₃] のような円分環における相似部分格子の数え上げにおいて、デデキンド・ゼータ関数が果たす役割は何か？
• RQ3 ディリクレ級数母関数は、(準)結晶学における組合せ的数え上げ関数の漸近的解析をどのように可能にするか？
• RQ4 非周期的タイリングにおけるインフレーションの下での軌道空間の構造は何か？ そして、動的ゼータ関数を用いてどのように符号化できるか？
• RQ5 理想モデル集合における平均化されたシェリング数が代数的整数に見えるのに対し、一般の場合にはそうではないのはなぜか？ これは何を示唆するか？

主な発見

• 三角格子 Z[ξ₃] におけるインデックス m の部分格子の数は、除数関数 ℓ₂(m) = ∑_{d|m} d で与えられ、ディリクレ級数 F₂(s) = ζ(s)ζ(s−1) に符号化される。
• Z[ξ₁₂] のようなランク4格子では、インデックス m の部分加群の数は ℓ₄(m) = ∑_{d₁⋯d₄=m} d₁⁰d₂¹d₃²d₄³ で与えられ、母関数は F₄(s) = ζ(s)ζ(s−1)ζ(s−2)ζ(s−3) である。
• Z[ξ₃] におけるインデックス m の相似部分格子の数は、ノルム m のイデアルの数に等しく、デデキンド・ゼータ関数 ζℚ(ξ₃)(s) = ∏_{p≡1(3)} (1−p⁻ˢ)⁻² ∏_{p≡2(3)} (1−p⁻²ˢ)⁻¹ で与えられる。
• フィボナッチ鎖の動的ゼータ関数は ζLI(z) = (1−z)/(1−z−z²) であり、菱形ペイントンタイリングではインフレーション対称性から導かれる有理関数である。
• インフレーションのサイクル構造は、オイラー積 ∏ₙ(1−zⁿ)ᶜⁿ に符号化されており、cₙ は n サイクルの数であり、固定点数からモービウス逆転により回復可能である。
• 対称的モデル集合における平均化されたシェリング関数は、代数的整数または分母が有界な有理数を与える。これは、まだ完全に解明されていないより深い解析的・位相的構造を示唆している。