[論文レビュー] The peak statistics on simsun permutations

Shi-Mei Ma, Yeong‐Nan Yeh|arXiv (Cornell University)|Jan 25, 2016

Advanced Combinatorial Mathematics参考文献 19被引用数 3

ひとこと要約

本稿は、Simsun順列におけるピーク統計（特に左ピーク、内部ピーク、上下走査）を調査し、母関数、漸化式、および実根性との関係を確立する。本稿では第二種Simsun順列を導入し、それらとアンドレ順列およびサイクル上下構造を結びつける2変数母関数を導出し、指数母関数および微分方程式を通じて深い組合せ的対称性を明らかにする。

ABSTRACT

In this paper, we study the relationship among left peaks, interior peaks and up-down runs of simsun permutations. Properties of the generating polynomials, including the recurrence relation, generating function and real-rootedness are studied. Moreover, we introduce and study simsun permutations of the second kind.

研究の動機と目的

• Simsun順列における左ピーク、内部ピーク、上下走査の分布を分析すること。
• Simsun順列におけるピーク統計のための漸化式および母関数を確立すること。
• 第二種Simsun順列を導入し、それらを研究することで、組合せ的枠組みを拡張すること。
• Simsun順列の母関数をアンドレ順列およびサイクル上下構造の母関数と結びつけること。
• 関連する多項式の実根性および構造的性質を調査すること。

提案手法

• 挿入技法を用いて、内部ピーク数が与えられた順列とSimsun順列を構成的に関連付けるアプローチを採用する。
• 生成多項式 $ S_n(x) $ の漸化式を導出：$ S_{n+1}(x) = (1 + nx)S_n(x) + x(1 - 2x)S_n'(x) $、初期条件 $ S_0(x) = 1 $。
• 閉形式の生成関数を確立：$ S(x,z) = \left( \frac{\sqrt{2x-1}\sec(\frac{z}{2}\sqrt{2x-1})}{\sqrt{2x-1} - \tan(\frac{z}{2}\sqrt{2x-1})} \right)^2 $。
• サイクル構造を用いて第二種Simsun順列を定義し、2変数生成関数 $ S(x,q;z) = S(x,z)^q $ を導入する。
• 生成関数に微分方程式を適用し、$ (1 - xz)S_z = qS + x(1 - 2x)S_x $ を導出し、生成関数を特徴付ける。
• 組合せ的双対写像および指数母関数を用いて、Simsun順列とサイクル上下順列、アンドレ順列を関連付ける。

実験結果

リサーチクエスチョン

• RQ1 Simsun順列における左ピークは、他の順列クラスの降下およびピーク統計とどのように関係しているか？
• RQ2 左ピークを変数とするSimsun順列の数の母関数は何か？ その構造的性質は？
• RQ3 Simsun順列における内部ピーク統計は、一般順列におけるそれらとどのように関係しているか？
• RQ4 上下走査はSimsun順列の列挙に果たす役割は何か？
• RQ5 第二種Simsun順列の組合せ的および代数的性質は何か？

主な発見

• Simsun順列における左ピークの生成多項式 $ S_n(x) $ は、初期条件 $ S_0(x) = 1 $ を満たす漸化式 $ S_{n+1}(x) = (1 + nx)S_n(x) + x(1 - 2x)S_n'(x) $ を満たす。
• 指数母関数 $ S(x,z) $ は $ \left( \frac{\sqrt{2x-1}\sec(\frac{z}{2}\sqrt{2x-1})}{\sqrt{2x-1} - \tan(\frac{z}{2}\sqrt{2x-1})} \right)^2 $ として与えられ、三角関数と関連づけられる。
• 第二種Simsun順列の生成関数は $ S(x,q;z) = S(x,z)^q $ を満たし、サイクル上下順列と接続される。
• $ q > 0 $ のとき、多項式 $ S_n(x,q) $ は非正かつ単一の零点を持つため、実根性を示す。
• Euler数 $ E_{n+1} $ は $ E_{n+1} = \frac{1}{2^n} \sum_{k=0}^n \binom{n}{k} S_k S_{n-k} $ を満たし、ここで $ S_n $ は $ n $ 番目のスプリンガー数である。
• 生成関数 $ S(1,q;z) = \frac{1}{(1 - \sin z)^q} $ は、サイクル数を変数とするサイクル上下順列の列挙を表し、アンドレ順列との深い関係を裏付ける。