[论文解读] 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$ 的 $\mathbb{Z}_p^5$ 中，谱集不必然具有平铺性质，且在 $p \equiv 3 \pmod{4}$ 时，$\mathbb{Z}_p^4$ 中亦不必然平铺。通过使用对数Hadamard矩阵和组合约束（如三元组法则），作者构造了显式的反例，将已知结果扩展至一般素数，而非仅限于小规模或偶发的素数。

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猜想在有限域中的有效性，特别是在此前尚未证明的高维情形。
• 确定$\mathbb{Z}_p^d$中的谱集是否在所有奇素数 $p$ 和维度 $d = 4$ 或 $d = 5$ 下必然平铺空间。
• 在所有奇素数上提供谱集但不平铺的通用构造，而非依赖于偶发或非素数循环环的情形。
• 扩展对阿贝尔群在有限域上平铺与谱性质的理解，特别是在Fuglede猜想的背景下。
• 利用组合工具（如Davey半群与三元组法则）在低维情形下验证猜想，特别是在 $\mathbb{Z}_3^3$ 中。

提出的方法

• 在 $\mathbb{Z}_p$ 上构造 $2p \times 2p$ 的对数Hadamard矩阵，以分析其谱性质和平铺性质。
• 应用三元组法则以在对数Hadamard矩阵中施加平衡向量约束，确保矩阵构造的一致性。
• 使用高斯-约旦消元法计算构造出的对数Hadamard矩阵的秩，以判断其是否支持谱集。
• 利用Davey半群与去相位矩阵形式，系统性地枚举并验证小维度下可能的矩阵结构。
• 利用对数Hadamard矩阵与其秩之间的等价性，检测何时一个集合是谱集但非平铺集。
• 采用图论与投影方法分析 $\mathbb{Z}_p$ 上向量空间中的方向锥与谱对。

实验结果

研究问题

• RQ1 在奇素数 $p$ 且 $d = 4$ 或 $d = 5$ 时，$\mathbb{Z}_p^d$ 中的谱集是否必然平铺空间？
• RQ2 能否在所有奇素数 $p$ 上提供谱集但不平铺的通用构造，而非仅限于偶发或非素数的情形？
• RQ3 Fuglede猜想在 $\mathbb{Z}_p^3$ 中对所有奇素数 $p$ 是否成立，尽管在复合数 $n$ 的 $\mathbb{Z}_n^3$ 中存在反例？
• RQ4 对数Hadamard矩阵及其秩在有限域上决定谱性质和平铺性质时起什么作用？
• RQ5 组合约束（如三元组法则与Davey半群结构）能否系统性地用于验证或否定小维度下的Fuglede猜想？

主要发现

• 本文证明了在所有奇素数 $p$ 的 $\mathbb{Z}_p^5$ 中存在不平铺的谱集，提供了通用的反例构造。
• 对于所有满足 $p \equiv 3 \pmod{4}$ 的奇素数 $p$，$\mathbb{Z}_p^4$ 中存在不平铺的谱集，将反例扩展至更高维度。
• 构造了一个 $6 \times 6$ 的 $\mathbb{Z}_3$ 上的对数Hadamard矩阵，并证明其秩为 4，从而确认不存在秩为 3 的此类矩阵，这证实了 $\mathbb{Z}_3^3$ 中的Fuglede猜想。
• 利用三元组法则与平衡向量约束，唯一确定了 $\mathbb{Z}_3$ 上 $6 \times 6$ 对数Hadamard矩阵的结构，从而实现了秩的验证。
• 作者证明了在 $p$ 为素数时，$\mathbb{Z}_p^3$ 中的谱集始终为谱集，尽管在复合数 $n$ 的 $\mathbb{Z}_n^3$ 中存在反例。
• 本研究表明，在素数 $p$ 下，$\mathbb{Z}_p^3$ 中的平铺集始终为谱集，解决了有限域设定下的一个关键开放问题。