[논문 리뷰] A recurrence formula for Jack connection coefficients

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

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}(α) 는 계수 다항식의 팔린드롬 대칭성을 확인한다.