[论文解读] Sierpinski's triangle and the Prouhet-Thue-Morse word

David Callan|ArXiv.org|Oct 30, 2006

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

一句话总结

本文建立了谢尔宾斯基三角形（以帕斯卡三角形模 2 的形式可视化）与普鲁赫特-图-莫尔斯词之间的深层代数联系。证明了表示帕斯卡三角形模 2 的无限下三角矩阵 S 的逆矩阵是一个取值为 (-1,0,1) 的矩阵，其非零元素的位置遵循普鲁赫特-图-莫尔斯词 $ t(1,-1) = ((-1)^{b(n)})_{n\geq 0} $，其中 $ b(n) $ 是 $ n $ 的二进制数位之和。

ABSTRACT

Sierpinski's triangle is a fractal and the Prouhet-Thue-Morse word is sufficiently chaotic to avoid cubes. Here we observe that there is at least a tenuous connection between them: the Sierpinski triangle is evident in Pascal's triangle mod 2 whose inverse, as an infinite lower-triangular matrix, involves the Prouhet-Thue-Morse word.

研究动机与目标

• 探索分形结构的谢尔宾斯基三角形与组合上混沌的普鲁赫特-图-莫尔斯词之间的结构性关系。
• 分析由帕斯卡三角形模 2 衍生出的无限下三角矩阵 S 的逆矩阵。
• 刻画 $ S^{-1} $ 中非零元素的分布模式，并将其与普鲁赫特-图-莫尔斯序列联系起来。
• 为矩阵族 $ S(x) $ 建立一个函数方程，证明 $ S(x)S(y) = S(x+y) $，从而推广其结构。
• 证明对于有理数 $ r $，有 $ S^r = S(r) $，通过代数闭包将矩阵幂运算推广至有理指数。

提出的方法

• 将矩阵 $ S $ 定义为由帕斯卡三角形模 2 构成的无限下三角 (0,1)-矩阵，其主对角线上全为 1。
• 引入矩阵 $ S(x) $，其元素在 $ i-j $ 的二进制加法中无进位时为 $ x^{b(i-j)} $，否则为 0。
• 利用库默尔定理，将二进制加法中无进位的条件与二项式系数的奇偶性联系起来。
• 通过分析索引 $ i, j, k $ 的数位模式，证明 $ S(x)S(y) = S(x+y) $，表明贡献项之和为 $ (x+y)^t $，其中 $ t $ 是 $ i $ 中为 1 且 $ j $ 中为 0 的位数。
• 通过归纳法推导出 $ S(x)^q = S(qx) $，并利用 $ S(p/q)^q = S(p) = S^p $ 将其推广至有理指数，从而证明对于有理数 $ r $，有 $ S^r = S(r) $。
• 通过验证 $ S(-1)S(1) = S(0) = I $，确认 $ S^{-1} = S(-1) $，从而将逆矩阵与普鲁赫特-图-莫尔斯词 $ t(1,-1) $ 联系起来。

实验结果

研究问题

• RQ1 谢尔宾斯基三角形的分形结构与普鲁赫特-图-莫尔斯词之间是否存在结构性联系？
• RQ2 表示帕斯卡三角形模 2 的矩阵 $ S $ 的逆矩阵的代数形式是什么？
• RQ3 在 $ S^{-1} $ 中，非零元素如何与普鲁赫特-图-莫尔斯序列相关联？
• RQ4 能否证明矩阵 $ S(x) $ 满足 $ S(x)S(y) = S(x+y) $，这对其代数结构意味着什么？
• RQ5 对于有理数 $ r $，矩阵幂 $ S^r $ 是否满足 $ S^r = S(r) $，其证明过程是怎样的？

主要发现

• 逆矩阵 $ S^{-1} $ 是一个取值为 (-1,0,1) 的矩阵，其零元素的分布模式与 $ S $ 一致，证实了其结构性对称性。
• 在 $ S^{-1} $ 的每一列中，非零元素构成普鲁赫特-图-莫尔斯词 $ t(1,-1) = ((-1)^{b(n)})_{n \geq 0} $，其中 $ b(n) $ 是 $ n $ 的二进制数位之和。
• 矩阵 $ S(x) $ 满足函数方程 $ S(x)S(y) = S(x+y) $，该方程将矩阵结构推广至连续参数 $ x $。
• 对于任意正整数 $ q $，有 $ S(x)^q = S(qx) $，该结论由函数方程与数学归纳法推出。
• 逆矩阵满足 $ S^{-1} = S(-1) $，该结论通过 $ S(-1)S(1) = S(0) = I $ 得到验证，从而确认了有理指数推广的正确性。
• 矩阵 $ S(x) $ 的 $ 2^k \times 2^k $ 左上角子矩阵是 $ \begin{pmatrix} 1 & 0 \\ x & 1 \end{pmatrix} $ 的 $ k $ 重克罗内克积，提供了递归构造方法。