[论文解读] Tilings by translation

Mihail N. Kolountzakis, Máté Matolcsi|arXiv (Cornell University)|Sep 20, 2010

Mathematical Dynamics and Fractals参考文献 30被引用 5

一句话总结

本文研究仅通过平移实现的欧几里得空间与有限阿贝尔群的密铺，通过傅里叶分析建立了密铺、谱集与复Hadamard矩阵之间的深刻联系。证明了在有限群中，谱集与密铺通过傅里叶变换相互对应，并利用该结果从非标准密铺构造中生成新的复Hadamard矩阵族，同时解决了Fuglede猜想的关键情形。

ABSTRACT

This is a survey about tiling by translation only and related questions and methods, especially those that have to do with Fourier Analysis.

研究动机与目标

• 理解仅通过平移密铺空间或有限群的集合的结构与性质。
• 阐明在有限阿贝尔群中，特别是Fuglede猜想背景下，密铺与谱集之间的关系。
• 使用傅里叶分析技术表征离散设置下的密铺与谱集。
• 从有限群中非标准密铺构造出发，生成复Hadamard矩阵的新族。
• 研究Fuglede猜想在有限阿贝尔群中的有效性及其对谱集与密铺的含义。

提出的方法

• 使用傅里叶变换将密铺条件转化为涉及特征函数傅里叶变换的代数方程。
• 通过卷积方程表示密铺条件：χ_Ω * δ_Λ = 1 几乎处处成立，其中 δ_Λ 是平移集 Λ 上的狄拉克梳子。
• 使用特征函数傅里叶变换的零点集表征有限群 ℤ_n^d 中的密铺。
• 证明集合 S ⊂ ℤ_n^d 是谱集，当且仅当存在集合 Q ⊂ ℤ_n^d^∨，使得对所有 j ≠ k，有 q_j - q_k ∈ ℤ(χ_S)，从而将谱集与正交矩阵联系起来。
• 利用傅里叶矩阵的酉性，推导出 |χ_S|² 在平移集合 Q 下于水平 |S|² 上密铺对偶群 ℤ_n^d^∨，揭示密铺与谱性质之间的对偶性。
• 应用对偶性论证与有限群论，从维度 8、12 和 16 中非平凡密铺结构出发，构造新的复Hadamard矩阵。

实验结果

研究问题

• RQ1 在有限阿贝尔群中，一个集合是否仅当其傅里叶变换满足特定零点集条件时，才能通过平移密铺该群？
• RQ2 Fuglede猜想——即一个集合是谱集当且仅当它能密铺——在有限阿贝尔群中在多大程度上成立？在高维中存在哪些障碍？
• RQ3 如何利用有限群中的密铺结构生成超越已知构造的新族复Hadamard矩阵？
• RQ4 傅里叶变换在表征离散阿贝尔群中密铺与谱集方面起什么作用？
• RQ5 非标准密铺构造是否能导致此前未知的复Hadamard矩阵？

主要发现

• 集合 S ⊂ ℤ_n^d 是谱集，当且仅当存在集合 Q ⊂ ℤ_n^d^∨，其大小与 S 相同，使得对所有 j ≠ k，有 q_j - q_k 属于 χ_S 的傅里叶变换的零点集。
• 当 |χ_S|² 沿 Q 平移时，它在对偶群 ℤ_n^d^∨ 上以水平 |S|² 密铺，从而确立了密铺与谱性质之间的对偶性。
• 在维度 d ≥ 3 时，Fuglede猜想不成立，这通过在 ℤ_3^5 和 ℤ_3^4 中构造的反例得到证明，其构造基于复Hadamard矩阵。
• 利用基于有限群密铺的对偶性论证，在 ℝ^5 中构造出一个非谱密铺，表明并非所有密铺都是谱集。
• 利用 Szabó 工作中的非标准密铺构造，成功在维度 8、12 和 16 中生成了新的复Hadamard矩阵族，扩展了已知的Dita族构造。
• 本文证实，在有限阿贝尔群中，谱集与密铺之间存在深刻联系，且该联系可被用于生成新的数学对象，如复Hadamard矩阵。