[論文レビュー] Tilings by translation

Mihail N. Kolountzakis, Máté Matolcsi|arXiv (Cornell University)|Sep 20, 2010

Mathematical Dynamics and Fractals参考文献 30被引用数 5

ひとこと要約

この論文は、ユークリッド空間および有限アーベル群における移動のみを用いたタイリングを調査し、フーリエ解析を通じてタイリング、スペクトル集合、複素ヘルミート行列の間の深い関係を確立する。有限群におけるスペクトル集合がフーリエ変換を通じてタイリングに対応することを証明し、これにより非標準的なタイリング構成から新しい種類の複素ヘルミート行列を構成するとともに、フュールゲルデの予想の重要なケースを解消する。

ABSTRACT

This is a survey about tiling by translation only and related questions and methods, especially those that have to do with Fourier Analysis.

研究の動機と目的

• 空間または有限群を移動のみでタイリングする集合の構造と性質を理解すること。
• 特にフュールゲルデの予想の文脈において、有限アーベル群におけるタイリングとスペクトル集合の関係を明確にすること。
• 離散的状況におけるタイリングとスペクトル集合を特徴付けるために、フーリエ解析的手法を用いること。
• 有限群における非標準的タイリング構成から、新しい種類の複素ヘルミート行列を構成すること。
• 有限アーベル群におけるフュールゲルデの予想の妥当性およびスペクトル集合とタイリングへのその影響を調査すること。

提案手法

• タイリング条件を、特性関数のフーリエ変換にかかわる代数的方程式に変換するためのフーリエ変換の使用。
• 畳み込み方程式によるタイリング条件の表現：χ_Ω * δ_Λ = 1 almost everywhere、ここで δ_Λ は移動集合 Λ におけるディラックコンビである。
• タイルの特性関数のフーリエ変換のゼロ集合を用いて、有限群 ℤ_n^d におけるタイリングを特徴付ける。
• 集合 S ⊂ ℤ_n^d がスペクトルであるための必要十分条件として、Q ⊂ ℤ_n^d^∨ が存在し、すべての j ≠ k に対して q_j - q_k ∈ ℤ(χ_S) となることの確立。これによりスペクトル集合が直交行列と関連づけられる。
• フーリエ行列のユニタリ性を用いて、|χ_S|² が双対群 ℤ_n^d^∨ においてレベル |S|² でタイリングされることを示し、タイリングとスペクトル性の間に双対性が存在することを示す。
• 双対性の議論と有限群論を応用し、次元 8、12、16 における非自明なタイリング構造から、新しい複素ヘルミート行列を構成する。

実験結果

リサーチクエスチョン

• RQ1 有限アーベル群における集合が、そのフーリエ変換が特定のゼロ集合条件を満たす場合に限り、移動によって群をタイリングすることができるか？
• RQ2 フュールゲルデの予想（集合がスペクトルであるための必要十分条件がタイリングであること）は、有限アーベル群においてどの程度成り立ち、高次元ではどのような障害があるか？
• RQ3 有限群におけるタイリング構造を用いて、既知の構成を超えた新しい種類の複素ヘルミート行列を生成する方法は何か？
• RQ4 フーリエ変換は、離散的アーベル群におけるタイリングとスペクトル集合を特徴付ける上で果たす役割は何か？
• RQ5 非標準的なタイリング構成は、以前に未知であった複素ヘルミート行列を生み出すことができるか？

主な発見

• 集合 S ⊂ ℤ_n^d がスペクトルであるための必要十分条件は、|S| と同じ大きさの集合 Q ⊂ ℤ_n^d^∨ が存在し、すべての j ≠ k に対して q_j - q_k が χ_S のフーリエ変換のゼロ集合に属することである。
• Q による平行移動によって |χ_S|² が双対群 ℤ_n^d^∨ においてレベル |S|² でタイリングされることを示し、タイリングとスペクトル性の間に双対性が存在することを確立した。
• フュールゲルデの予想は次元 d ≥ 3 では誤りであることが示され、複素ヘルミート行列を用いて ℤ_3^5 および ℤ_3^4 における反例が構成された。
• 有限群のタイリングに基づく双対性の議論を用いて、ℝ^5 における非スペクトルタイルが構成され、すべてのタイルがスペクトル集合であるとは限らないことが示された。
• スザボの研究に基づく非標準的タイリング構成を用いて、次元 8、12、16 における新しい種類の複素ヘルミート行列の族が生成され、既知のディタ族の構成を拡張した。
• 本論文は、有限アーベル群においてスペクトル集合とタイリングが深く関連しており、この関係を応用することで、複素ヘルミート行列のような新しい数学的対象を生成できることを確認した。