[论文解读] Computing modular coincidences

Dirk Frettlöh, Bernd Sing|Jan 4, 2006

semigroups and automata theory参考文献 11被引用 10

一句话总结

本文提出了一种可计算的算法，通过检查模重合性来判断 $ℝ^d$ 中的代换分划或点集是否为模型集。该方法将Dekking的一维重合性条件推广至高维，通过重合图证明了模重合性与广义重合条件的等价性，并建立了迭代次数的有限上界。

ABSTRACT

Computing modular coincidences can show whether a given substitution system, which is supported on a point lattice in R^d, consists of model sets or not. We prove the computatibility of this problem and determine an upper bound for the number of iterations needed. The main tool is a simple algorithm for computing modular coincidences, which is essentially a generalization of Dekking coincidence to more than one dimension, and the proof of equivalence of this generalized Dekking coincidence and modular coincidence. As a consequence, we also obtain some conditions for the existence of modular coincidences. In a separate section, and throughout the article, a number of examples are given.

研究动机与目标

• 确定 $ℝ^d$ 中的代换分划或点集是否为模型集，这等价于纯点衍射。
• 解决在高维代换系统中验证模重合性的计算挑战。
• 将Dekking的一维重合条件推广至基于晶格的多维代换系统。
• 建立确定模重合性所需迭代次数的有限上界。
• 提供一种实用算法，用于测试给定代换系统是否产生模型集。

提出的方法

• 构建一个重合图，其中顶点代表原型瓷砖的配对，边代表在平移下的代换结果。
• 基于图中单元素集合的存在性，定义广义重合条件，将Dekking的观念扩展至高维。
• 利用重合图的结构，证明模重合性与广义重合条件之间的等价性。
• 利用代换矩阵及其在晶格陪集上的作用，迭代计算该图。
• 通过检查图中所有路径是否最终都导向单元素集合，来应用算法测试模重合性。
• 利用图的有限性以及代换矩阵的本原性，界定所需迭代次数的上界。

实验结果

研究问题

• RQ1 能否在 $ℝ^d$ 中的代换系统上算法化地计算模重合性？
• RQ2 在高维中，模重合性与广义重合条件之间存在何种关系？
• RQ3 在何种条件下，代换系统允许模重合性？
• RQ4 确定模重合性所需的最多迭代次数是多少？
• RQ5 如何利用重合图来判断一个分划是否为模型集？

主要发现

• 对于 $ℝ^d$ 中任意本原代换系统，模重合性是可计算的。
• 通过重合图实现的广义重合条件与模重合性等价，将Dekking的结果推广至高维。
• 基于代换矩阵的本原性，建立了确定模重合性所需迭代次数的上界。
• 重合图中单元素集合的存在性与模重合性等价，提供了决策准则。
• 该算法可应用于已知示例（如餐桌分划和Thue-Morse序列），确认其模重合性状态。
• 重合图的构建方式推广了重叠情况下的细分图，为分析衍射性质提供了统一框架。