[论文解读] The Fuglede Conjecture holds in \(\F_p^3\) for p=5,7

Thomas Fallon, Azita Mayeli+1 more|arXiv (Cornell University)|Feb 8, 2019

Mathematical Analysis and Transform Methods参考文献 9被引用 6

一句话总结

本文在有限向量空间 $﷿{F}_5^3$ 和 $﷿{F}_7^3$ 中证明了 Fuglede 猜想，表明一个子集是谱集当且仅当它通过平移密铺该空间。证明依赖于直线上和面上点分布的组合估计，结合 $﷿{F}_p^2$ 中的方向性和等分布论证，关键引理通过 Cauchy-Davenport 不等式与几何约束排除了特定大小的谱集。

ABSTRACT

For p=5,7, we show that a subset \(E \subset \F_p^3\) is spectral if and only if E tiles \(\F_p^3\) by translation. Additionally, we give an alternate proof that the conjecture holds for p=3.

研究动机与目标

• 在 $﷿{F}_p^3$ 中建立 Fuglede 猜想，其中 $p=5$ 和 $p=7$，扩展已知的 $p=2,3$ 情况结果。
• 解决三维有限域上 Fuglede 猜想的剩余未解情况。
• 使用相似的几何与组合技术，为 $p=3$ 情况提供一种替代证明。
• 证明 $﷿{F}_p^3$ 中的谱集不能超过由方向性和等分布约束所决定的某些大小阈值。
• 基于直线与平面包含估计及方向计数，建立分析小规模有限几何中谱集的框架。

提出的方法

• 使用方向计数引理：对 $p=7$，证明在 $﷿{F}_7^2$ 中无三点共线的五点集至少确定六个方向。
• 应用 Cauchy-Davenport 不等式，排除平行直线或平面族中的等分布，从而排除大小为 14 和 28 的谱集。
• 引入函数 $f: ﷿{F}_7^2 o \{0,1,2,3\}$ 的等分布引理，分析谱集投影，排除大小为 21 的集合。
• 利用谱集不能包含共线三点，或在过多平行平面族中等分布的性质，限制可能的配置。
• 通过分析候选集合 $E$ 的谱集 $A$，利用谱集与密铺集之间的对偶性，证明 $E$ 和 $A$ 均必须避免在方向或直线上出现过高重数。
• 应用几何分解：若集合 $E$ 包含于三个互不相交的平面 $Q_0$ 的平移中，则谱性质强制在平面族中出现等分布，除非 $E$ 位于七条平行直线上——但此情况与方向计数矛盾。

实验结果

研究问题

• RQ1 能否使用有限几何与加性组合学方法，在 $﷿{F}_5^3$ 和 $﷿{F}_7^3$ 中验证 Fuglede 猜想？
• RQ2 在 $﷿{F}_p^3$ 中，谱集的结构约束是什么，使其无法具有某些大小或构型？
• RQ3 在 $﷿{F}_7^3$ 中，方向计数与直线上和面上的等分布如何限制大小为 14、21 或 28 的谱集的存在？
• RQ4 能否通过加强点分布上的非集中性引理，将 $p=5$ 的方法推广至 $p=7$？
• RQ5 是否存在一种统一的几何障碍，阻止在 $p>3$ 的 $﷿{F}_p^3$ 中存在谱集，超出 $p=5,7$ 的情况？

主要发现

• Fuglede 猜想在 $﷿{F}_5^3$ 中成立：子集 $E \to ﷿{F}_5^3$ 是谱集当且仅当它通过平移密铺该空间。
• Fuglede 猜想在 $﷿{F}_7^3$ 中也成立，由于方向性和等分布约束，不存在大小为 14、21 或 28 的谱集。
• 在 $﷿{F}_7^2$ 中，无三点共线的五点集必须确定至少六个不同的方向，这是排除谱集的关键引理。
• 大小为 21 的谱集 $E \to ﷿{F}_7^3$ 不可能存在，因为它将要求在超过 32 个平行平面族中实现等分布，与方向约束矛盾。
• 证明表明，$﷿{F}_7^3$ 中的任何谱集每平面至多有六个点，每条直线至多有两个点，若假设大小为 21，则导致矛盾。
• 使用相同框架为 $p=3$ 情况导出一种替代证明，确认在小素数范围内的一致性。