[论文解读] There are no iterated morphisms that define the Arshon sequence and the $σ$-sequence

Sergey Kitaev|ArXiv.org|May 20, 2002

semigroups and automata theory参考文献 14被引用 6

一句话总结

本文证明了，尽管阿什龙序列和σ-序列具有递归构造，但它们都不能通过迭代单个形态映射生成。作者通过字母位置和块结构的直接组合论证，表明基于形态映射的生成会导致与序列定义性质的矛盾，特别是关于奇数位置上1和3的分布以及加倍操作下的行为。

ABSTRACT

Berstel proved that the Arshon sequence cannot be obtained by iteration of a morphism. An alternative proof of this fact is given here. The $σ$-sequence was constructed by Evdokimov in order to construct chains of maximal length in the n-dimensional unit cube. It turns out that the $σ$-sequence has a close connection to the Dragon curve. We prove that the $σ$-sequence can not be defined by iteration of a morphism.

研究动机与目标

• 确定阿什龙序列——通过位置依赖的替换规则定义——是否能作为单个形态映射的迭代固定点生成。
• 研究与龙曲线相关、并由自然数的2-adic赋值导出的σ-序列，是否可通过形态迭代定义。
• 提供一种直接且初等的证明（不依赖如科布汉定理等高级工具），证明这两种序列都无法通过形态生成。
• 阐明形态序列在捕捉具有复杂位置依赖性的序列时的结构性限制，例如由交替奇偶性规则或2-adic赋值产生的序列。

提出的方法

• 假设存在一个形态映射 f，使得 f(w) = w 对于阿什龙序列 w 成立，并分析其对初始符号 1 的像的影响。
• 利用阿什龙序列的结构（分解为三元组块），在假设形态生成时对 |f(1)| = 4、|f(1)| = 5 及其他小值长度推导出矛盾。
• 对图像字词的长度使用模 3 算术，分析字母的放置，检测与阿什龙方法替换规则的不一致。
• 对于σ-序列，证明任何生成它的形态映射必须将 1 映射为长度被 4 整除的字词 X，基于 1 和 3 在奇数位置的交替模式。
• 分析 f²(1) 的像，表明 f²(1) 中第二个 X 的位置必须在由加倍和 2-adic 赋值决定的位置上同时包含冲突的字母值（1 和 3）。
• 使用引理 13 表明，形如 2^t(4s+1) 或 2^t(4s+3) 的两个数的乘积在模 4 下保持 σ-值，当应用于 f²(1) 的第 6t 个位置时导致矛盾。

实验结果

研究问题

• RQ1 阿什龙序列（在 {1,2,3} 上通过位置依赖的替换规则构造）能否作为单个形态映射的固定点生成？
• RQ2 σ-序列（由自然数的 2-adic 赋值定义，并与龙曲线相关）是否可通过迭代实现形态生成？
• RQ3 能否构建一种直接且初等的证明，排除这些序列通过形态生成的可能性，而无需依赖科布汉定理等高级定理？
• RQ4 能够生成在奇数位置交替出现 1 和 3 的序列的形态映射，会面临何种结构性约束？
• RQ5 对索引的加倍操作（例如 n → 2n）在由 2-adic 性质定义的序列中，如何影响形态生成的一致性？

主要发现

• 对于所有可能的 |f(1)| = 4 和 |f(1)| = 5 长度，均不存在形态映射 f 使得 f(w) = w 成立于阿什龙序列，通过反证法证明。
• 假设阿什龙序列是某个形态映射的固定点时，在分析形态迭代下第 4 和第 5 个块时，会导致字母放置上的矛盾。
• σ-序列无法通过形态映射的迭代生成，因为此类映射下 1 的像必须具有被 4 整除的长度，从而在 f²(1) 的第 6t 个位置导致字母值冲突。
• σ-序列在奇数位置的子序列严格在 1 和 3 之间交替，若形态映射生成该序列，则此性质将被违反。
• 矛盾源于 f²(1) 的第 6t 个位置必须同时包含 1 和 3，这是由 2-adic 结构和形态像的一致性共同导致的，违反了奇数位置的交替模式。
• 该证明避免使用科布汉定理等高级工具，提供了一种基于位置分析和模算术的自包含、初等论证。