[论文解读] Fuglede's conjecture holds in $\mathbb{Q}_p$

Aihua Fan, Shilei Fan+2 more|arXiv (Cornell University)|Dec 30, 2015

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

一句话总结

该论文在 $p$-进域 $\mathbb{Q}_p$ 中证明了 Fuglede 的猜想：若博雷尔集具有正且有限的哈尓测度，则其为谱集当且仅当其通过平移能镶嵌 $\mathbb{Q}_p$。证明表明此类谱集与镶嵌集必为几乎紧致开集，利用了均匀离散集的傅里叶分析及关联测度傅里叶变换的分布性质。

ABSTRACT

Fuglede's conjecture in $\mathbb{Q}_p$ is proved. That is to say, a Borel set of positive and finite Haar measure in $\mathbb{Q}_p$ is a spectral set if and only if it tiles $\mathbb{Q}_p$ by translation.

研究动机与目标

• 为解决 $p$-进域 $\mathbb{Q}_p$ 中的 Fuglede 猜想，该猜想主张谱集与镶嵌集之间存在等价性。
• 刻画 $\mathbb{Q}_p$ 中谱集与镶嵌集的结构，表明其必为几乎紧致开集。
• 将此前关于 $\mathbb{Q}_p$ 中紧致开谱集的结果推广至具有有限正哈尓测度的一般博雷尔集。
• 在该设定下建立谱集与镶嵌补集之间的对偶性，从而在 $\mathbb{Q}_p$ 中确认对偶 Fuglede 猜想。

提出的方法

• 分析与谱 $\Lambda$ 和镶嵌补集 $T$ 相关的均匀测度 $\mu_\Lambda$ 与 $\mu_T$ 的傅里叶变换的零点集。
• 使用卷积方程 $\mu_E * f = w$ 作为谱条件与镶嵌条件的统一框架，其中 $f = |\widehat{1_\Omega}|^2$ 且 $w = \mathfrak{m}(\Omega)^2$。
• 在布雷哈特-施瓦茨空间中应用分布理论，研究 $\mathbb{Q}_p$ 上离散博雷尔测度的傅里叶变换。
• 通过分析镶嵌集的均匀离散性与增长性，证明 $\mathbb{Q}_p$ 中的镶嵌集必为几乎紧致开集。
• 利用关于 $p$-齐次离散集的已知结果，构造谱集与镶嵌集对，将 [5] 中的定理 1.2 推广至一般博雷尔集。
• 通过 Plancherel 型恒等式 $\sum_{\lambda \in \Lambda} |\widehat{1_\Omega}|^2(\xi - \lambda) = \mathfrak{m}(\Omega)^2$ 建立谱条件与镶嵌条件之间的等价性。

实验结果

研究问题

• RQ1 Fuglede 的猜想在 $p$-进域 $\mathbb{Q}_p$ 中对所有具有正且有限哈尓测度的博雷尔集是否成立？
• RQ2 在相同的测度条件下，$\mathbb{Q}_p$ 中的谱集是否必为镶嵌集，反之亦然？
• RQ3 谱集与镶嵌集在 $\mathbb{Q}_p$ 中具有何种结构性质，特别是关于紧致性与开性？
• RQ4 能否在 $\mathbb{Q}_p$ 中建立谱集与镶嵌补集之间的对偶性，从而推广紧致开集的结果？
• RQ5 在 $\mathbb{Q}_p$ 中，离散测度的傅里叶变换的零点集如何与谱性质和镶嵌性质相关联？

主要发现

• 在 $\mathbb{Q}_p$ 中，Fuglede 的猜想成立：若博雷尔集 $\Omega \subset \mathbb{Q}_p$ 具有正且有限的哈尓测度，则其为谱集当且仅当其通过平移能镶嵌 $\mathbb{Q}_p$。
• 任何 $\mathbb{Q}_p$ 中的谱集或镶嵌集必为几乎紧致开集，即其与紧致开集仅在零测度集上不同。
• ‘镶嵌蕴含谱’方向由 [5] 中的定理 1.2 推出，该定理通过 $p$-齐次性在紧致开集上建立了等价性。
• ‘谱蕴含镶嵌’方向通过傅里叶变换零点集分析及布雷哈特-施瓦茨分布框架下的卷积恒等式直接证明。
• 在 $\mathbb{Q}_p$ 中，谱集与镶嵌补集均为均匀离散集，其关联测度满足卷积方程 $\mu_E * f = w$，其中 $w > 0$。
• 在高维情形 $\mathbb{Q}_p^d$（$d \geq 2$）中，有界镶嵌集未必为几乎紧致开集，且谱集可能无法镶嵌，表明该猜想一般不适用于 $\mathbb{Q}_p^d$。