[論文レビュー] Valleyless Sequences

Robert G. Rieper, Melkamu Zeleke|ArXiv.org|May 17, 2000

Advanced Combinatorial Mathematics被引用数 9

ひとこと要約

本稿では、局所的極小値（谷）を避ける一方で、非減少、非増加、またはユニモーダルであるような列である「谷なし列」を導入し、長さ $ n $ の谷なし順列と $ n $ の合成の間の全単射を確立することで、このような順列が $ 2^{n-1} $ 個存在することを示している。長さ $ n $、最大値 $ k $ の谷なし列の母関数および閉形式の列挙式を導出し、重要な結果として $ V_{n,k} = \binom{n-1+2(k-1)}{2(k-1)} $ を得た。

ABSTRACT

Valleyless sequences of finite length $n$ and maximum entry $k$ occur in tree enumeration problems and provide an interesting correspondence between permutations and compositions. In this paper we introduce the notion of \emph {valleyless} sequences, explore the correspondence and enumerate them using the method of generating functions.

研究の動機と目的

• 谷なし列（局所的極小値を避け、ユニモーダルまたは単調である列）を定義・特徴づけること。
• 長さ $ n $ の谷なし順列と $ n $ の合成の間の全単射を確立し、$ |\mathcal{V}_n \cap \mathcal{P}_n| = 2^{n-1} $ を示すこと。
• 最大値 $ k $ の長さ $ n $ の谷なし列を列挙し、閉形式の式を提供すること。
• このような列における要素の和および最大部の母関数、特に $ q $-アナログを含むものを導出すること。
• 谷なし列と木の列挙問題（特に与えられたパス長と葉の数をもつ順序付き木）との関係を探索すること。

提案手法

• すべての $ i < j < k $ に対して $ s_j \geq \min\{s_i, s_k\} $ を満たすことで、谷なし列を定義し、局所的極小値がないことを保証する。
• 逆順列表を用いて谷なし順列を特徴づける：$ a_k = 0 $ または $ n-k $ であり、これにより $ 2^{n-1} $ 個の順列が得られる。
• 谷なし順列と $ n $ の合成の間の全単射を確立する。ここでは、すべての要素に 1 を加え、先頭または末尾に 1 を追加する操作を用いる。
• 母関数 $ V(x,q,y) = \sum_{n,p,k} V_{n,p,k} x^n q^p y^k $ を導出し、$ q $-差分方程式を満たすことを示す。
• 「スネーク・オイル」法と母関数の恒等式を用いて、閉形式式 $ V_{n,k} = \binom{n-1+2(k-1)}{2(k-1)} $ を導出する。
• 母関数 $ a_n(q,y) $ に対する非線形再帰関係を導出し、再帰的構成における重複カウントを補正する。

実験結果

リサーチクエスチョン

• RQ1 長さ $ n $、最大値 $ k $ の谷なし列の正確な個数は何か？
• RQ2 長さ $ n $ の谷なし順列と $ n $ の合成の間に全単射があるか？
• RQ3 谷なし列の母関数は、$ q $-級数または $ q $-差分方程式を用いて閉形式で表現可能か？
• RQ4 谷なし列における要素の和と最大部の分布はどのように現れるか？これは $ q $-アナログ母関数で捉えられるか？
• RQ5 谷なし列の列挙を支配する再帰的構造は何か？また、再帰的構成における重複カウントをどのように補正するか？

主な発見

• 長さ $ n $、最大値 $ k $ の谷なし列の個数は、閉形式式 $ V_{n,k} = \binom{n-1+2(k-1)}{2(k-1)} $ で与えられ、これが主な列挙的結果である。
• 長さ $ n $ の谷なし順列と $ n $ の合成の間には全単射が存在し、両者ともサイズ $ 2^{n-1} $ を持つ。
• 谷なし列の個数の母関数は $ q $-差分方程式 $ (1 - xq)^2 V(x,q,y) = xqy - x^2q^2y + y V(xq,q,y) $ を満たし、これにより級数解が得られる。
• 長さ $ n $ の列の母関数 $ a_n(q,y) $ は非線形再帰 $ a_n = \frac{2q a_{n-1} - q^2 a_{n-2}}{1 - y q^n} $ を満たし、再帰的構成における重複カウントを補正する。
• 例えば、長さ 10、要素の和 20、最大部 5 の谷なし列の個数は、論文に付随する Maple パッケージを用いて 325 と計算された。
• 母関数 $ V(x,q,y) $ は明示的に $ \sum_{n=1}^\infty \frac{x q^n (1 - x q^n)}{(xq)_n^2} y^n $ として与えられ、ここで $ (xq)_n = \prod_{i=1}^n (1 - x q^i) $ である。