[论文解读] Weighted Dirac combs with pure point diffraction

Michael Baake, Robert V. Moody|ArXiv.org|Mar 4, 2002

Quasicrystal Structures and Properties参考文献 20被引用 5

一句话总结

本文建立了在局部紧阿贝尔群上加权狄拉克梳状分布呈现纯点衍射的充分条件，基于自相关测度的几乎周期性以及一种新颖的群论构造。关键贡献在于提出一个通用框架，将模型集与非模型例子（如可见格点）统一于同一衍射理论原则之下，通过源自自相关测度拓扑的内部群，自然地将其与截取-投影方案联系起来。

ABSTRACT

A class of translation bounded complex measures, which have the form of weighted Dirac combs, on locally compact Abelian groups is investigated. Given such a Dirac comb, we are interested in its diffraction spectrum which emerges as the Fourier transform of the autocorrelation measure. We present a sufficient set of conditions to ensure that the diffraction measure is a pure point measure. Simultaneously, we establish a natural link to the theory of the cut and project formalism and to the theory of almost periodic measures. Our conditions are general enough to cover the known theory of model sets, but also to include examples such as the visible lattice points.

研究动机与目标

• 确定在局部紧阿贝尔群上加权狄拉克梳状分布具有纯点衍射谱的充分条件。
• 在单一衍射理论框架下统一模型集与非模型例子（例如可见格点）的理论。
• 通过一种新的群论构造，建立纯点衍射与截取-投影形式化之间的自然联系。
• 在温和的正则性假设下，证明衍射测度为纯点当且仅当自相关测度是强几乎周期的。
• 证明内部空间与高维格点结构可从自相关测度的几乎周期性中内在地产生，而无需预先假设物理现实性。

提出的方法

• 定义局部紧阿贝尔群 G 上一个右有界复测度 ω 的自相关测度 γω。
• 引入由 γω 的支集生成的子群 L ⊂ G，并赋予 L 一种源自 γω 的新拓扑，使其成为一个一致空间。
• 在该自相关拓扑下对 L 进行完备化，得到一个新的局部紧阿贝尔群 H，该群即为系统的内部群。
• 将 L 对角嵌入 G × H，使其成为格点 ˜L，从而从自相关中恢复截取-投影结构。
• 通过将 G 的原始拓扑与 L 上的自相关拓扑相结合，在 G 上构造一种新拓扑，并在该拓扑下对 G 进行完备化。
• 利用威爾定理（Weyl's theorem）在一致分布中的应用，证明边界哈爾测度为零的正则模型集满足纯点衍射所需的条件。

实验结果

研究问题

• RQ1 在局部紧阿贝尔群上，加权狄拉克梳状分布何时具有纯点衍射测度？
• RQ2 如何从测度的自相关结构内在地推导出截取-投影形式化，而无需预先假设高维格点结构？
• RQ3 纯点衍射理论能否超越模型集，扩展至非德朗集（如可见格点）？
• RQ4 自相关测度中的几乎周期性在确保纯点衍射中起什么作用？
• RQ5 平均序列的选择如何影响自相关与衍射测度的存在性与唯一性？

主要发现

• 衍射测度 ˆγω 为纯点当且仅当自相关测度 γω 是强几乎周期的。
• 所有边界哈爾测度为零的正则模型集均满足纯点衍射条件，以更简洁的方式重新证明了已知结果。
• 可见格点虽非相对稠密（因此不是德朗集），但仍满足条件并表现出纯点衍射。
• 内部群 H 是通过在自相关测度支集上赋予源自测度本身的拓扑并进行完备化而构造的。
• 在截取-投影方案中的格点结构自然地表现为 L 在 G × H 中的对角像，无需预先假设。
• 对于范霍夫序列（van Hove sequences），只要序列嵌套且满足边界条件 (36)，自相关与衍射测度即与平均序列的选择无关。