[論文レビュー] A Hopf algebra of parking functions

Jean-Christophe Novelli, Jean‐Yves Thibon|ArXiv.org|Dec 5, 2003

Advanced Combinatorial Mathematics参考文献 10被引用数 25

ひとこと要約

この論文は、素数のパーキング関数の置換表現のフロベニウス特徴標と確率測度の自由積分の関係を用いて、パーキング関数の新しいホップ代数を導入する。シフトされたシャッフルおよび連結作用を用いてパーキング関数の集合にホップ代数構造を構成し、素数パーキング関数の表現のフロベニウス特徴標が自由積分の列に対応することを証明することで、自由積分の組合せ的実現をパーキング関数を用いて確立する。

ABSTRACT

If the moments of a probability measure on $\R$ are interpreted as a specialization of complete homogeneous symmetric functions, its free cumulants are, up to sign, the corresponding specializations of a sequence of Schur positive symmetric functions $(f_n)$. We prove that $(f_n)$ is the Frobenius characteristic of the natural permutation representation of $\SG_n$ on the set of prime parking functions. This observation leads us to the construction of a Hopf algebra of parking functions, which we study in some detail.

研究の動機と目的

• 自由確率における自由積分とパーキング関数を通じた対称関数との間の関係を確立すること。
• シフトされたシャッフルおよび連結作用を用いてパーキング関数の集合にホップ代数構造を構築すること。
• 素数パーキング関数の置換表現のフロベニウス特徴標が自由積分の列に対応することを示すこと。
• 既存の対称関数におけるホップ代数の構成を、パーキング関数を新たな組合せ的基底として含むように一般化すること。
• （0,1）行列およびパーキング型行列を用いたホップ代数のパーキング関数の実現を提供すること。

提案手法

• 論文は、[n] 上の語としてパーキング関数を定義し、その非減少順序の再配置がすべての i に対して a'_i ≤ i を満たすものとする。素数パーキング関数は n でのみブレイクポイントを持つものである。
• 語に対してシフトされた連結作用 (u • v) およびシフトされたシャッフル作用 (u ⌢ v) を導入し、これらはパーキング関数の性質を保ち、素数パーキング関数は非自明なシフトシャッフルによる分解が不可能な語として特徴づけられる。
• パーキング関数で張られるベクトル空間にホップ代数構造を構成し、乗法をシフトシャッフル、余乗法を部分語のパーキング化によって定義する。
• （0,1）行列を用いたホップ代数の実現を構成し、パーキング関数は読み取り語がパーキング関数である行列に対応し、基底元 F_a は与えられた読み取り語 a を持つ行列の和として定義される。
• 積と余積は、縦に積み重ねた行列の列方向の連結および拡張されたシャッフルによって定義され、余積の定義にはパーキング化が用いられる。
• 素数パーキング関数の置換表現のフロベニウス特徴標は f_n に一致し、ω(f_n) = (-1)^{n-1} R_n であるため、自由積分に関連づけられる。

実験結果

リサーチクエスチョン

• RQ1 自由確率における自由積分は、対称関数およびパーキング関数を通じてどのように組合せ的に実現できるか？
• RQ2 パーキング関数の集合に内在するホップ代数構造は何か？ そして、FQSym などの既存のホップ代数をどのように一般化するか？
• RQ3 なぜ素数パーキング関数がこのホップ代数の構成において基本的であり、対称群の表現理論とどのように関係するか？
• RQ4 パーキング関数のホップ代数は、行列モデルを用いて具体的に実現可能か？ また、MQSym や FQSym などの既存の代数とどのように関係するか？
• RQ5 パーキング関数のホップ代数は、自由ダインドリフト三重代数と同型であるか、代数的構造としては同型であるか？

主な発見

• 素数パーキング関数の置換表現のフロベニウス特徴標は f_n に等しく、ω(f_n) = (-1)^{n-1} R_n であるため、f_n は自由積分を与える特殊化を持つ対称関数であると特定される。
• [n] 上の素数パーキング関数の数は (n-1)^{n-1} であり、シフトシャッフル作用の下で生成集合として最小である。
• PQSym と表記されるパーキング関数のホップ代数は、（0,1）行列を用いた実現を備え、基底元 F_a は読み取り語が a である行列の和に対応し、積と余積は列方向の連結およびパーキング化によって定義される。
• PQSym は語行列（各列に1つの1）を用いて FQSym を部分代数として含み、Sym への埋め込みは S_n ↦ F_{12...n} で与えられる。
• PQSym の双対、すなわち SQSym はホップ埋め込み j* を通じて QSym へ写像され、PQSym の自己双対性は対称関数代数に制限される。
• PQSym はコモジュールとして自由ダインドリフト三重代数とは同型でないが、代数的構造としては同型である可能性がある。