[論文レビュー] Shuffle-compatible permutation statistics

Ira M. Gessel, Yan Zhuang|arXiv (Cornell University)|Jun 2, 2017

Advanced Combinatorial Mathematics被引用数 3

ひとこと要約

この論文は、互いに素な置換のシャッフルにおける統計の振る舞いを記述するシャッフル代数フレームワークを導入することで、置換統計のシャッフル適合性の概念を形式化する。降下統計（降下集合と長さにのみ依存する統計）がシャッフル適合であることが示され、スターリング、ゲゼル、ステムブリッジらの結果を統一・拡張する。クーパーゼトリック関数および非可換対称関数との関連を通じて、des、maj、pk、lpkなどの統計およびそれらの共同分布について、明示的なシャッフル代数の記述がなされる。

ABSTRACT

Since the early work of Richard Stanley, it has been observed that several permutation statistics have a remarkable property with respect to shuffles of permutations. We formalize this notion of a shuffle-compatible permutation statistic and introduce the shuffle algebra of a shuffle-compatible permutation statistic, which encodes the distribution of the statistic over shuffles of permutations. This paper develops a theory of shuffle-compatibility for descent statistics (statistics that depend only on the descent set and length) which has close connections to the theory of $P$-partitions, quasisymmetric functions, and noncommutative symmetric functions. We use our framework to prove that many descent statistics are shuffle-compatible and to give explicit descriptions of their shuffle algebras, thus unifying past results of Stanley, Gessel, Stembridge, Aguiar-Bergeron-Nyman, and Petersen.

研究の動機と目的

• 置換統計のシャッフル適合性の概念を形式化すること、特に降下集合と長さにのみ依存する降下統計について。
• 互いに素な置換のシャッフルにおける統計の分布を記述するシャッフル代数フレームワークを構築すること。
• スターリングのシャッフル定理やゲゼル、ステムブリッジ、アグイアール＝ベルジェロン＝ニマンらの拡張を含む、過去のシャッフル適合性に関する結果を統一・一般化すること。
• des、maj、pk、lpkなどの主要な統計およびそれらの共同分布について、シャッフル代数の明示的記述を確立すること。
• シャッフル適合性と、P-分割、クーパーゼトリック関数、非可換対称関数などのより深い代数的構造との関係を調査すること。

提案手法

• 統計のシャッフル代数（統計による置換の像が生成する代数）を定義し、シャッフルによって誘導される積を用いて、シャッフル適合性の概念を導入する。
• 降下集合シャッフル代数 QSym を基盤として用い、降下集合およびその精錬が降下統計のシャッフル代数を生成することを示す。
• 非可換対称関数とクーパーゼトリック関数の双対性を応用し、(pk, des) や (lpk, des) などの共同統計のシャッフル適合性を導出する。
• 非可換対称関数におけるモノイド的要素の使用を含む、被約的および代数的技法を用いて、複雑な統計のシャッフル適合性を証明する。
• q-二項係数およびマジョリティ指数の母関数に関する既知の恒等式を活用し、シャッフル分布の明示的公式を導出する。
• P-分割の理論およびクーパーゼトリック関数の基本定理を用いて、降下に基づく統計のシャッフル代数を特徴付ける。

実験結果

リサーチクエスチョン

• RQ1 どの降下統計がシャッフル適合であり、それらのシャッフル代数を記述する代数的構造は何か？
• RQ2 des, maj)、(pk, des)、(lpk, des) などの共同統計はシャッフルにおいてどのように振る舞い、それらに関連するシャッフル代数は何か？
• RQ3 シャッフル適合性とクーパーゼトリック関数および非可換対称関数の代数的構造との正確な関係は何か？
• RQ4 r同値性やc同値性などの対称性は、統計のシャッフル代数にどのように影響を与えるか？
• RQ5 統計のシャッフル代数を明示的に計算できるか？また、n次の同次成分における次元は何か？

主な発見

• 降下集合統計はシャッフル適合であり、そのシャッフル代数はクーパーゼトリック関数の代数と同型であり、次数nにおいて次元2^{n-1}をもつ。
• 降下数 des はシャッフル適合であり、そのシャッフル代数は次数nにおいて次元nをもち、有理型母関数を持つ。
• マジョリティ指数 maj およびその補数 comaj はシャッフル適合であり、そのシャッフル代数は次数nにおいて次元(n choose 2) + 1をもつ。
• 共同統計 (des, maj) はシャッフル適合であり、そのシャッフル代数は次数nにおいて次元(n choose 3) + nをもち、ゲゼルとステムブリッジの予想を確認する。
• ピーク集合 pk およびその変種（val, epk, lpk, rpk）はシャッフル適合であり、(pk, des) のシャッフル代数は次元 floor((n+1)^2/4)、(lpk, des) のシャッフル代数は次元 floor(n^2/4) + 1 をもつ。
• udr 統計（右から最大値でないもの）のシャッフル代数は次元nをもち、(udr, des) の共同統計は次元(n choose 2) + 1をもち、そのシャッフル適合性が確認される。