[論文レビュー] A recurrence formula for Jack connection coefficients

A. L. Kanunnikov, Ekaterina A. Vassilieva|arXiv (Cornell University)|Sep 15, 2014

Random Matrices and Applications参考文献 11被引用数 3

ひとこと要約

本稿では、2つの分岐がすべて (n) に等しい場合のジャック接続係数について再帰的公式を確立し、効率的な計算を可能にするとともに、この場合におけるマッチングス・ジャック予想を証明する。ラサラのジャック対称関数の枠組みを用いて、β = α−1 における非負整数係数の多項式構造を導出し、α ∈ {1,2} に対して双対的証明により検証し、より一般的な係数族へと拡張する。

ABSTRACT

This article is devoted to the study of Jack connection coefficients, a generalization of the connection coefficients of the classical commutative subalgebras of the group algebra of the symmetric group closely related to the theory of Jack symmetric functions. First introduced by Goulden and Jackson (1996) these numbers indexed by three partitions of a given integer $n$ and the Jack parameter $α$ are defined as the coefficients in the power sum expansion of the Cauchy sum for Jack symmetric functions. While very little is known about them, examples of computations for small values of $n$ tend to show that the nice properties of the special cases $α=1$ (connection coefficients of the class algebra) and $α= 2$ (connection coefficients of the double coset algebra) extend to general $α$. Goulden and Jackson conjectured that Jack connection coefficients are polynomials in $β= α-1$ with non negative integer coefficients given by some statistics on matchings on a set of $2n$ elements, the so called Matchings-Jack conjecture. In this paper we look at the case when two of the integer partitions are equal to the single part $(n)$ and use a framework by Lasalle (2008) for Jack symmetric functions to show that the coefficients satisfy a simple recurrence formula that makes their computation very effective and allow a better understanding of their properties. In particular we prove the Matchings-Jack conjecture in this case. Furthermore, we provide a bijective proof of the recurrence formula for $α\in \{1,2\}$ using the combinatorial interpretation of the coefficients for these specific values of the Jack parameter. Finally we exhibit the polynomial properties of more general coefficients where the two single part partitions are replaced by an arbitrary number of integer partitions either equal to $(n)$ or $[1^{n-2}2]$.

研究の動機と目的

• 3つの分岐のうち2つが (n) に等しい特別な場合におけるジャック接続係数を調査し、豊富な組合せ的構造を持つ配置を明らかにすること。
• これらの係数の計算を簡略化し、β = α−1 におけるその背後にある多項式構造を明らかにする再帰的公式を確立すること。
• この特定のケースにおいてマッチングス・ジャック予想を証明し、係数が非負整数係数の β における多項式であることを確認すること。
• α = 1 および α = 2 に対して再帰的公式の双対的解釈を提供し、代数的係数を組合せ的マッチングに結びつけること。
• 多項式的性質を分岐 (n) と [1^{n−2}2] を含むより一般的な係数族へと一般化し、予想の適用範囲を拡張すること。

提案手法

• ジャック対称関数のラサラの枠組みを活用し、2つの分岐が (n) に等しい場合のジャック接続係数の再帰的公式を導出する。
• マッチング δ における重み関数 wt_λ(δ) を導入し、非二部マッチングにおける出発頂点に依存する再帰を符号化する。
• 生成関数を生成し、異なる分岐サイズ間の係数を関連付けるために、演算子 Δ_l(α) = [D(α), [..., [D(α), p_1/α]...]] を用いる。
• 係数多項式を抽出するために、p_k ⊥ を用いた演算子 D(α) = α^{-1} ∑_k (k-1)α^{k-1} p_k を操作し、完全対称関数の展開を扱う。
• 双対性関係 α^{-ℓ(λ)} z_λ^{-1} a_λ^{l,r}(α) = (1/αn!) ∑ g_i α^i を用いて、係数の対称性および多項式性を証明する。
• 既知の共役類代数および二重コセット代数の組合せ的モデルを用いて、α = 1 および α = 2 に対して再帰の双対的証明を実施する。

実験結果

リサーチクエスチョン

• RQ1 2つの分岐がすべて (n) に等しいジャック接続係数は、計算を簡略化し、β = α−1 における多項式構造を明らかにする再帰的公式を満たすか？
• RQ2 マッチングス・ジャック予想は、2つの分岐が (n) に等しいジャック係数について成立するか、すなわち、β における非負整数係数の多項式であるか？
• RQ3 既知のマッチングおよび対称関数の組合せ的モデルを用いて、α = 1 および α = 2 に対して再帰的公式に双対的解釈を与えることができるか？
• RQ4 より一般的なジャック接続係数（分岐 (n) と [1^{n−2}2] を含む）の多項式構造の次数および対称性は何か？
• RQ5 係数 a_λ^{l,r}(α) は双対性に関してどのように振る舞い、その多項式形態にどのような制約を課すか？

主な発見

• 2つの (n) 分岐を持つジャック接続係数の再帰的公式は、計算を効率化し、この場合におけるマッチングス・ジャック予想を裏付ける。
• 係数 a_{n,n}^{n}(β+1) は β における非負整数係数の多項式であり、n=3 のとき a_{3,3}^{3}(β+1) = 2β² + β + 1 である。
• α = 1 および α = 2 の場合、2n 個の要素上のマッチングを用いた双対的証明により再帰が成立し、代数的係数と組合せ的統計が結びつけられる。
• 生成関数 Γ_n^l は Γ_n^l = (1/n) Δ_l(α)(Γ_{n-1}^l) を満たし、分岐サイズ間の再帰的構造を確立する。
• 係数 a_λ^{l,r}(α) は α についての多項式であり、次数は (n−1)(l−1) + r 以下であり、符号を除いて α → α^{-1} の変換において対称的である。
• 双対性関係 [α^i] |C_λ| a_λ^{l,r}(α) = (−1)^{(l−1)(n−1)+r+ℓ(λ)−1} [α^{(l−1)(n−1)+r+ℓ(λ)−1−i}] |C_λ| a_λ^{l,r}(α) により、係数多項式の回文的対称性が確認される。