[論文レビュー] Tiling sets and spectral sets over finite fields

Charlotte Aten, B. Ayachi+15 more|arXiv (Cornell University)|Sep 3, 2015

Mathematical Analysis and Transform Methods参考文献 8被引用数 5

ひとこと要約

この論文は有限体上のベクトル空間におけるFuglede予想を調査し、すべての奇素数 $p$ に対して $ℤ_p^5$ ではスペクトル集合が必ずしもタイリングしないこと、および $p \equiv 3 \pmod{4}$ のとき $ℤ_p^4$ においても同様であることを証明している。対数ヘイズド行列と三つ組ルールなどの組合せ的制約を用いて、明示的な反例を構成し、これまでの結果を小さな素数や偶発的な素数にとどまらず拡張している。

ABSTRACT

We study tiling and spectral sets in vector spaces over prime fields. The classical Fuglede conjecture in locally compact abelian groups says that a set is spectral if and only if it tiles by translation. This conjecture was disproved by T. Tao in Euclidean spaces of dimensions 5 and higher, using constructions over prime fields (in vector spaces over finite fields of prime order) and lifting them to the Euclidean setting. Over prime fields, when the dimension of the vector space is less than or equal to $2$ it has recently been proven that the Fuglede conjecture holds (see \cite{IMP15}). In this paper we study this question in higher dimensions over prime fields and provide some results and counterexamples. In particular we prove the existence of spectral sets which do not tile in $\mathbb{Z}_p^5$ for all odd primes $p$ and $\mathbb{Z}_p^4$ for all odd primes $p$ such that $p \equiv 3 ext{ mod } 4$. Although counterexamples in low dimensional groups over cyclic rings $\mathbb{Z}_n$ were previously known they were usually for non prime $n$ or a small, sporadic set of primes $p$ rather than general constructions. This paper is a result of a Research Experience for Undergraduates program ran at the University of Rochester during the summer of 2015 by A. Iosevich, J. Pakianathan and G. Petridis.

研究の動機と目的

• 有限体におけるFuglede予想の妥当性を調査し、特にこれまで未解決であった高次元における有効性を検証すること。
• 奇素数 $p$ と $d = 4$ や $d = 5$ に対して、$ℤ_p^d$ におけるスペクトル集合が空間を必ずタイリングするかどうかを特定すること。
• 偶発的または非素数の巡回環に依存せず、奇素数に対して一般化された反例の構成を提供すること。
• 特にFuglede予想の文脈において、有限体上のアーベル群におけるタイリングおよびスペクトル性の性質をより深く理解すること。
• デイビィモノイドと三つ組ルールといった組合せ的ツールを用いて、$ℤ_3^3$ においても含め、低次元における予想の検証を行うこと。

提案手法

• スペクトル性およびタイリング性を分析するために、$ℤ_p$ 上に $2p \times 2p$ の対数ヘイズド行列を構築する。
• 三つ組ルールを適用して、対数ヘイズド行列内のバランスの取れたベクトル制約を強制し、行列構築の整合性を保証する。
• ガウス・ジョルダン消去法を用いて、構築された対数ヘイズド行列のランクを計算し、それがスペクトル集合を支持するかどうかを決定する。
• デイビィモノイドと脱位行列形を用いて、小さな次元における可能な行列構造を体系的に列挙・検証する。
• 対数ヘイズド行列とそのランクの等価性を活用し、スペクトル集合ではあるがタイリング集合ではない場合を検出する。
• グラフ理論的および射影に基づく手法を用いて、$ℤ_p$ 上のベクトル空間における方向錐およびスペクトルペアを分析する。

実験結果

リサーチクエスチョン

• RQ1 奇素数 $p$ および $d = 4$ や $d = 5$ に対して、$ℤ_p^d$ におけるスペクトル集合が空間を必ずタイリングするのか？
• RQ2 偶発的または非素数のケースに依存せず、すべての奇素数 $p$ に対して、タイリングしないスペクトル集合の一般化された構成が可能か？
• RQ3 合成数 $n$ に対して $ℤ_n^3$ で失敗するにもかかわらず、すべての奇素数 $p$ に対して $ℤ_p^3$ におけるFuglede予想は真であるか？
• RQ4 有限体上でのスペクトル性およびタイリング性を決定する上で、対数ヘイズド行列およびそのランクの役割は何か？
• RQ5 三つ組ルールやデイビィモノイド構造といった組合せ的制約を用いて、小さな次元におけるFuglede予想を体系的に検証または反証できるか？

主な発見

• 本論文は、すべての奇素数 $p$ に対して $ℤ_p^5$ にタイリングしないスペクトル集合の存在を証明し、一般化された反例の構成を提供している。
• すべての奇素数 $p \equiv 3 \pmod{4}$ に対して、$ℤ_p^4$ にタイリングしないスペクトル集合が存在することを示し、反例をより高次元へ拡張した。
• $ℤ_3$ 上の $6 \times 6$ 対数ヘイズド行列を構築し、ランクが 4 であることを示した。これにより、ランク 3 の同種行列が存在しないことが証明され、$ℤ_3^3$ におけるFugleデ予想の妥当性が裏付けられた。
• 三つ組ルールとバランスの取れたベクトル制約を用いて、$ℤ_3$ 上の $6 \times 6$ 対数ヘイズド行列の構造を一意に特定し、ランクの検証を可能にした。
• 著者らは、$p$ が素数であれば $ℤ_p^3$ におけるスペクトル集合は常にスペクトル的であることを示したが、合成数 $n$ に対しては反例が存在することに注意を喚起した。
• 研究により、$p$ が素数のとき $ℤ_p^3$ におけるタイリング集合は常にスペクトル的であることが示され、有限体設定における重要な未解決事項が解決された。