[論文レビュー] On Fuglede's conjecture for three intervals

Debashish Bose, C P Anil Kumar+2 more|arXiv (Cornell University)|Mar 1, 2008

Mathematical Dynamics and Fractals被引用数 6

ひとこと要約

この論文は、ℝにおける3つの区間の和集合について、Fugledeの予想の両方向—タイリングはスペクトルを意味し、スペクトルはタイリングを意味する—を証明する。長さ1/3の3つの等しい区間、および長さ1/2, 1/4, 1/4の区間について、スペクトルが格子に含まれており、スペクトルの差がフーリエ変換のゼロ集合と構造的に交わるという仮定の下で、予想を確立する。証明は調和解析、数論、およびMathematicaを用いた記号計算を組み合わせ、臨界的なケースを解消する。

ABSTRACT

In this paper we prove the "Tiling implies Spectral" part of Fuglede's paper for the case of three intervals. Then we prove the "Spectral implies Tiling" part of the conjecture for the case of three equal intervals as also when the intervals have lengths 1/2, 1/4, 1/4. For the general case we change our approach to get information on the structure of the spectrum for the n-interval case. Finally, we use symbolic computations on Mathematica, and prove this part of the conjecture with an additional assumption on the spectrum.

研究の動機と目的

• 3つの区間の和集合について、Fugledeの予想のタイリング ⇒ スペクトル方向を確立すること。
• 逆方向、スペクトル ⇒ タイリングを、2つの特定の構成—長さ1/3の3つの等しい区間、および長さ1/2, 1/4, 1/4の区間—について証明すること。
• スペクトルが格子に含まれる場合のn区間集合のスペクトルに関する構造定理を構築すること。
• スペクトル集合の構造がフーリエのゼロ集合および等差数列を通じてタイリングに与える影響を調査すること。
• 記号計算とニューマンの整数タイリング定理を用いて、スペクトル ⇒ タイリングのケースを解消すること。

提案手法

• タイリング ⇒ スペクトルを、初等的議論と既知の結果を用いて証明し、タイリングパターンが区間長に与える構造的制約を特定する。
• 整数タイリング（タイセレーション）に関するニューマンの定理を適用し、スペクトルケースにおける直交性条件からタイリングを導出する。
• ランドーの密度定理を用いて、スペクトルの漸近的密度と集合の測度を関連させ、正の密度を保証する。
• ゼメレディの定理を適用し、正の密度を有するスペクトルが任意に長い等差数列を含むことを示す。
• Mathematicaを用いた記号計算により、スペクトル内のタイプ2およびタイプ3のベクトルを含むケースを分析し、特に3つの等しい区間を含む構成について分析する。
• スペクトルの構造とその差の分析を通じて、複雑なスペクトル構成を既知のケースに還元する。特に、格子およびゼロ集合の仮定の下で行う。

実験結果

リサーチクエスチョン

• RQ1 3つの区間の和集合が平行移動によるタイリングをすると、それがスペクトル集合であると言えるか？
• RQ2 長さ1/3, 1/3, 1/3の3つの区間の和集合がスペクトル集合であるとすると、タイリングが成立するか？
• RQ3 長さ1/2, 1/4, 1/4の3つの区間の和集合がスペクトル集合であるとすると、タイリングが成立するか？
• RQ4 スペクトルが格子に含まれるn区間スペクトル集合において、スペクトルにどのような構造的制約が生じるか？
• RQ5 3つの区間について、スペクトル ⇒ タイリング方向のFugledeの予想をどのような条件下で結論づけられるか？

主な発見

• Fugledeの予想のタイリング ⇒ スペクトル方向は、任意の3つの区間の和集合について成立する。
• スペクトル ⇒ タイリング方向は、長さ1/3の3つの等しい区間について成立し、スペクトルは2ℤの2つの陪集合の和集合である。
• 長さ1/2, 1/4, 1/4の区間についても、与えられた仮定の下でスペクトル ⇒ タイリング方向は成立する。
• スペクトルが格子に含まれるn区間集合のスペクトルについて構造定理を確立した：スペクトルに長さ2nの等差数列が含まれるならば、その完全な数列を含む必要がある。
• Mathematicaを用いた記号計算により、仮定の下で可能な構成はd=3に限定され、問題が3つの等しい区間のケースに還元されることが確認された。
• スペクトルが格子に含まれており、(Λ−Λ)∩Type1 = dℤを満たすという仮定の下で、3つの区間についてスペクトル ⇒ タイリング方向が成立する。