[论文解读] Computations for symbolic substitutions

D. M. Rust, Scott Balchin|arXiv (Cornell University)|May 30, 2017

semigroups and automata theory参考文献 28被引用 3

一句话总结

本论文提出 Grout，一种用户友好的计算工具，用于分析符号动力系统中的符号替换，重点在于计算拓扑不变量（如上同调）并检验强对偶性猜想。作者实现了一种确定性算法，用于检查特征值模长相对于单位圆的位置，并对超过30万种三字母替换和20万种四字母替换进行了大规模搜索，未发现强对偶性猜想的反例。

ABSTRACT

We provide a survey of results from symbolic dynamics and algebraic topology relating to Grout, a new user-friendly program developed to calculate combinatorial properties and topological invariants of a large class of symbolic substitutions. We study their subshifts (and related spaces) with an emphasis on examples of computations. We implement a check to verify that no counterexample exists to the so-called "strong coincidence conjecture" for a large number of substitutions on three and four letters.

研究动机与目标

• 开发一个用户友好的计算工具 Grout，用于分析符号替换及其拓扑不变量。
• 实现一种稳健且确定性的算法，用于检查替换矩阵的特征值是否位于单位圆上、内部或外部。
• 对三字母和四字母字母表上的不可约 Pisot 替换，开展大规模计算搜索，以寻找强对偶性猜想的反例。
• 通过支持高效验证猜想和自动化生成图表，为符号动力学和密铺理论的理论研究提供支持。
• 为研究人员提供一个可扩展、易访问的平台，用于探索替换系统的组合与拓扑性质。

提出的方法

• 实现一种确定性数值检查方法，用于判断特征值模长相对于单位圆的位置，通过基于阈值的收敛方法克服标准浮点特征值求解器的局限性。
• 利用替换规则的字典序排列（模置换和反转）系统地枚举三字母和四字母字母表上的替换。
• 应用标准线性代数技术计算特征值，并检查替换矩阵在 ℤ 上的不可约性。
• 利用 Anderson-Putnam 复形构造方法，计算与替换相关的密铺空间的 Čech 上同调。
• 集成一种完全确定性的可识别性检查方法，适用于原生替换，既可用于手工计算也可用于程序化使用。
• 自动化生成 TikZ 代码以表示拓扑复形，并将结果导出至 LaTeX 用于排版，提升可重现性与可视化效果。

实验结果

研究问题

• RQ1 能否开发一种计算工具，高效计算符号替换的上同调及其他不变量，同时具备高可用性？
• RQ2 强对偶性猜想是否对所有三字母和四字母不可约 Pisot 替换均成立？
• RQ3 能否使边界情形下特征值恰好位于单位圆上的数值特征值计算变得可靠？
• RQ4 是否存在一个有限上界，使得任何替换系统中强对偶性出现所需的迭代次数均不超过该值？
• RQ5 在对偶性形成所需迭代次数的模式中，是否能发现可推导出无限多族替换的规律，这些替换族需要越来越多的步骤？

主要发现

• 在前 321,425,442 个三字母替换中（其中 12,573,955 个为不可约 Pisot 替换），未发现强对偶性猜想的反例。
• 在前 200,399 个四字母替换中（其中 15,001 个为不可约 Pisot 替换），未发现强对偶性猜想的反例。
• 在所有测试的替换中，实现强对偶性所需的最多迭代次数为 11 次，仅有两个替换需要 10 次迭代。
• 迭代次数的分布呈现急剧下降趋势：1,921,144 个替换在 1 次迭代内即达成对偶性，而仅有 3 个替换需要 9 次迭代。
• 需要 10 次迭代的两个替换被明确列出：0↦2011, 1↦02, 2↦0 和 0↦212101, 1↦0, 2↦1。
• 从‘创纪录’的替换中未发现可形成无限族的清晰模式，这些无限族将需要任意多的迭代步骤。