[論文レビュー] 231-Avoiding Involutions and Fibonacci Numbers

Eric S. Egge, Toufik Mansour|ArXiv.org|Sep 19, 2002

Advanced Combinatorial Mathematics参考文献 9被引用数 8

ひとこと要約

この論文は、組合せ論的および母関数的手法を用いて、231パターンを回避するか、正確に1回だけ含む自己同型を数えるものであり、多くのこのような集合がk一般化フィボナッチ数によって数えられることを示している。主な貢献は、再帰的母関数とタイリング解釈を通じて、制限付き自己同型と一般化フィボナッチ数列を結びつける体系的な数え上げ枠組みを確立したことである。

ABSTRACT

We use combinatorial and generating function techniques to enumerate various sets of involutions which avoid 231 or contain 231 exactly once. Interestingly, many of these enumerations can be given in terms of $k$-generalized Fibonacci numbers.

研究の動機と目的

• 231パターンを回避するか、正確に1回だけ含む自己同型の集合を体系的に数えること。
• 組合せ論的および母関数的手法を通じて、制限付き自己同型とk一般化フィボナッチ数の間の関係を確立すること。
• 特にレイヤードパターンに対して、このような自己同型の数の閉形式母関数を導出すること。
• 正確に1回の231パターンを含み、追加のパターン制約を満たす自己同型の母関数を計算する再帰的手順を確立すること。
• パターン回避順列に関する先行結果を、制御されたパターン出現回数を持つ自己同型のケースに拡張すること。

提案手法

• k一般化フィボナッチ数に基づく母関数と再帰的関係を用いる。定義は $ F_{k,n} = \sum_{i=1}^{k} F_{k,n-i} $（$ n \geq 2 $）、$ F_{k,1} = 1 $。
• タイリング解釈を適用：$ F_{k,n+1} $ は、サイズ1×1から1×kのタイルを用いて1×nのボードをタイル張りする方法の数を数える。
• 231パターンとレイヤードパターン $ k\ldots21 $ の位置と構造に基づく、順列の再帰的分解を用いる。
• 例えば、正確に1回の231パターンを含む自己同型に対して $ \mathfrak{C}_{k\ldots21}(x) = \frac{x^4}{(1 - x - \cdots - x^{k-1})^2} $ のような母関数を導出する。
• サイズと第二のパターンの出現回数を追跡するための多変数母関数 $ \mathfrak{C}_\tau(x,y) $ を導入する。
• 命題4.2を用いて、正確に1回の231パターンを含む自己同型を、タイリング配置に対応する成分に分解し、再帰的数え上げを可能にする。

実験結果

リサーチクエスチョン

• RQ1 231パターンと他のパターンを回避する自己同型の数は、どのようにk一般化フィボナッチ数を用いて数え上げることができるか？
• RQ2 正確に1回の231パターンを含み、与えられたレイヤードパターン $ k\ldots21 $ を回避する自己同型の数の母関数は何か？
• RQ3 正確に1回の231パターンとr回の第二のパターン $ \tau $ を含む自己同型の数は、$ \tau $ の構造にどのように依存するか？
• RQ4 正確に1回の231パターンとレイヤードパターンを含む自己同型の母関数を計算する再帰的手順を確立できるか？
• RQ5 レイヤード順列の構造と、正確に1回の231パターンを含む自己同型の母関数との関係は何か？

主な発見

• レイヤードパターン $ k\ldots21 $ を回避し、正確に1回の231パターンを含む自己同型 $ C_n(k\ldots21) $ の数は、$ k \geq 4 $ に対して $ |C_n(k\ldots21)| = \sum_{i=0}^{n-4} F_{k-1,i+1} F_{k-1,n-i-3} $ で与えられる。
• $ C_n(k\ldots21) $ の母関数は $ \mathfrak{C}_{k\ldots21}(x) = \frac{x^4}{(1 - x - \cdots - x^{k-1})^2} $ であり、k一般化フィボナッチ数との直接的な関連を示している。
• r ≤ k に対して、正確に1回の231パターンとr回のパターン $ k\ldots21 $ を含む自己同型の数は $ |C_n^r(k\ldots21)| = (r+1) \sum_{s_0,\ldots,s_{r+1}} \prod_{i=0}^{r+1} F_{k-1,s_i+1} $ で与えられ、ここで和は $ s_i $ が非負整数で $ \sum s_i = n - kr - 4 $ を満たすものとする。
• $ C_n^r(k\ldots21) $ の母関数は $ \mathfrak{C}_{k\ldots21}^r(x) = \frac{(r+1)x^{kr+4}}{(1 - x - \cdots - x^{k-1})^{r+2}} $ であり、k一般化フィボナッチ数列の役割を確認している。
• $ \mathfrak{C}_\tau^1(x) $ および $ \mathfrak{C}_\tau(x,y) $ に対して再帰的公式が確立され、任意のレイヤード順列 $ \tau $ に対して計算が可能であり、$ \tau $ の最後のブロックのサイズに応じて異なる形を取る。
• 結果は、任意のレイヤード順列 $ \tau $ に対して、集合 $ C_n(\tau) $ および $ C_n^r(\tau) $ がk一般化フィボナッチ数を用いて数え上げられることを示しており、パターン回避と線形再帰との既知の関係を拡張している。