[論文レビュー] 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^k および 2^k の二項係数を含むことが示される。

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 $ は文字列の反転および置換を適用する。
• 各文字（1,2,3,4）の $ X_n $ における個数は、行列形式の再帰関係を用いて追跡され、対角化により解かれる。
• 作者らは $ X_n $ の再帰的構造を用いて、パターン出現を $ X_{n-1} $ の部分語に分解し、再帰的なカウントを可能にする。
• パターン $[x\mbox{-}y^\ell) $ の場合、出現回数は開始位置（左端かそれ以外か）に依存し、$ n $ が奇数か偶数かに基づくケース別分析が行われる。
• 上昇と下降の再帰的関係は行列の対角化により解かれ、$ 16^k $ を用いた閉形式の表現が得られる。
• 特定の二項係数を用いて、パターンに対応する有効な部分列の数を数え、位置制約および語の構造に応じた調整が行われる。

実験結果

リサーチクエスチョン

• RQ1 文字 $ x $ が語の最初の文字でなければならないという条件下で、$ n $ 番目のペアノ語における一般化されたパターン $[x\mbox{-}y^\ell) $ は、何回出現するか？
• RQ2 語 $ X_n $ におけるパターン $ x^\ell\mbox{-}y] $ の出現回数は何か？ ただし $ y $-文字は語の最後の文字でなければならない。
• RQ3 3文字のパターン $[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 であるためである。
• $ X_{2k+1} $ における $ \tau_3(1,1,2) = [1\mbox{-}1^\ell\mbox{-}2] $ の出現回数は $ \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} $、一方 $ X_{2k+2} $ に対しては $ 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) $ となる。これにより、パターン出現回数の指数関数的増加が示される。