[论文解读] The Peano curve and counting occurrences of some patterns

Sergey Kitaev, Toufik Mansour|ArXiv.org|Oct 17, 2002

Advanced Combinatorial Mathematics参考文献 10被引用 7

一句话总结

本文引入了佩亚诺词——佩亚诺空间填充曲线的有限逼近——并推导出这些词中特定广义排列模式出现次数的精确公式。通过递归结构与矩阵对角化方法，作者计算了如 [x-y^ℓ)、x^ℓ-y] 和 [x-y^ℓ-z] 等模式的出现次数，表明出现次数取决于迭代索引的奇偶性，并涉及 4 的幂与 2 的幂的二项式系数。

ABSTRACT

We introduce Peano words, which are words corresponding to finite approximations of the Peano space filling curve. We then find the number of occurrences of certain patterns in these words.

研究动机与目标

• 定义并分析佩亚诺词作为佩亚诺空间填充曲线的有限逼近。
• 统计这些词中广义排列模式的出现次数，特别是具有邻接性与位置约束的模式。
• 基于曲线的迭代层级，推导出模式出现次数的精确闭式公式。
• 通过模式枚举探索曲线的组合结构，将拓扑与离散数学相联系。

提出的方法

• 佩亚诺词通过自同态递归定义：$ X_n = \varphi_1(X_{n-1})1X_{n-1}2X_{n-1}3\varphi_2(X_{n-1}) $，其中 $ \varphi_1 $ 与 $ \varphi_2 $ 分别对字母进行反转与置换。
• 通过矩阵形式的递推关系追踪 $ X_n $ 中每个字母（1,2,3,4）的数量，并利用对角化方法求解。
• 作者利用 $ X_n $ 的递归结构，将模式出现次数分解为 $ X_{n-1} $ 的子词，从而实现递归计数。
• 对于如 $[x\mbox{-}y^\ell) $ 这类模式，计数取决于起始位置（是否为最左位置），因此根据 $ n $ 的奇偶性进行分类讨论。
• 通过矩阵对角化求解上升与下降的递推关系，得到以 $ 16^k $ 表示的闭式表达。
• 使用特定的二项式系数统计对应于模式的有效子序列，同时根据位置约束与词的结构进行调整。

实验结果

研究问题

• RQ1 在第 $ n $ 个佩亚诺词中，广义模式 $[x\mbox{-}y^\ell) $ 的出现次数是多少，且要求 $ x $-字母必须是词的第一个字母？
• RQ2 在 $ X_n $ 中，模式 $ x^\ell\mbox{-}y] $ 的出现次数是多少，且要求 $ y $-字母必须是词的最后一个字母？
• RQ3 三字母模式 $[x\mbox{-}y^\ell\mbox{-}z] $ 的出现次数如何依赖于 $ n $ 的奇偶性以及 $ x,y,z \in \{1,2,3\} $ 的取值？
• RQ4 能否利用其递归构造，为佩亚诺词中模式出现次数推导出精确的闭式表达？
• RQ5 递归对称性与基于自同态的生成在决定模式频率分布中起到何种作用？

主要发现

• 对于 $ X_{2k+1} $，$ \tau_1(1,2) = [1\mbox{-}2^\ell) $ 的出现次数为 $ \binom{4^{2k}-2^{2k}}{\ell} + \binom{4^{2k}}{\ell} + \binom{4^{2k}+2^{2k}-1}{\ell} $。
• 对于 $ X_{2k+2} $，$ \tau_1(1,2) $ 的出现次数为 $ \binom{4^{2k}-2^{2k}}{\ell} + \binom{4^{2k}}{\ell} $，因为首字母为 2。
• $ \tau_3(1,1,2) = [1\mbox{-}1^\ell\mbox{-}2] $ 在 $ X_{2k+1} $ 中的出现次数为 $ \binom{4^{2k}-1}{\ell} $，因为第一个 1 不能作为模式中最左的 1。
• 对于 $ X_{2k+1} $，$ N_{\tau_3(1,2,3)}(X_{2k+1}) = \binom{4^{2k}+2^{2k}-1}{\ell} $，而 $ N_{\tau_3(1,2,3)}(X_{2k+2}) = 0 $，这是由于结构约束。
• 当 $ \ell = 0 $ 时，$ N_{\tau_1(x,y)}(X_n) = N_{\tau_2(x,y)}(X_n) = 1 $，且若 $ x < z $ 且 $ n = 2k+1 $，或 $ x = z $ 且 $ n = 2k+2 $，则 $ N_{\tau_3(x,y,z)}(X_n) = 1 $，否则为 0。
• 上升与下降的递推关系导出闭式：$ r_{2k+2} = d_{2k+2} = \frac{2}{5}(16^{k+1} - 1) $，表明模式出现次数呈指数增长。