[论文解读] 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

一句话总结

该论文为当两个分拆均为 (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]$.

研究动机与目标

• 研究当三个分拆中的两个等于 (n) 时的杰克连接系数，该情形具有丰富的组合结构。
• 建立一个递推公式，简化这些系数的计算，并揭示其在 β = α−1 下的多项式结构。
• 在此特定情况下证明匹配-杰克猜想，确认系数为 β 的多项式且具有非负整数系数。
• 为 α = 1 和 α = 2 提供递推公式的双射证明，将代数公式与组合匹配联系起来。
• 将多项式性质推广至涉及分拆 (n) 和 [1^{n−2}2] 的更一般系数族，拓展猜想的适用范围。

提出的方法

• 利用拉萨勒的杰克对称函数框架，推导出当两个分拆为 (n) 时杰克连接系数的递推关系。
• 引入一个在匹配 δ 上的权重函数 wt_λ(δ)，以编码递推关系，其依赖于非二分匹配中的起始顶点。
• 使用算子 Δ_l(α) = [D(α), [..., [D(α), p_1/α]...]] 生成生成函数，并关联不同分拆大小下的系数。
• 应用算子 D(α) = α^{-1} ∑_k (k-1)α^{k-1} p_k ⊥ 来操作幂和展开式，提取系数多项式。
• 利用对偶关系 α^{-ℓ(λ)} z_λ^{-1} a_λ^{l,r}(α) = (1/αn!) ∑ g_i α^i 证明系数的对称性与多项式性质。
• 通过 α = 1 和 α = 2 时已知的类代数与双陪集代数的组合模型，对递推关系进行双射验证。

实验结果

研究问题

• RQ1 当两个分拆为 (n) 时，杰克连接系数是否满足一个简化计算并揭示 β = α−1 下多项式结构的递推公式？
• RQ2 匹配-杰克猜想在杰克系数中两个分拆为 (n) 的情况下是否成立，即其是否为 β 的多项式且具有非负整数系数？
• RQ3 能否基于已知的匹配与对称函数的组合模型，为 α = 1 和 α = 2 的递推公式提供双射解释？
• RQ4 涉及分拆 (n) 和 [1^{n−2}2] 的更一般杰克连接系数的多项式结构的次数与对称性为何？
• RQ5 系数 a_λ^{l,r}(α) 在对偶性下如何表现？这对它们的多项式形式施加了何种约束？

主要发现

• 当两个分拆为 (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}(α) 确认了系数多项式的回文对称性。