[논문 리뷰] Asymptotics of Jack polynomials as the number of variables goes to infinity

Andreĭ Okounkov, Grigori Olshanski|ArXiv.org|1997. 09. 05.

Random Matrices and Applications참고 문헌 16인용 수 28

한 줄 요약

이 논문은 θ > 0 인 임의의 매개수에 대해 Vershik와 Kerov의 U(∞)의 渐近적 특성 분류를 Jack 다항식으로 일반화한다. 서열이 정규적(즉, 정규화된 Jack 함수가 무한 토러스의 컴acts부분집합에서 균일 수렴)임과 동치로, 그것이 Vershik-Kerov 조건을 만족함을 증명한다. 극한은 Schur 다항식의 경우(θ=1)를 일반화하여 매개수 α±, β±, γ±에 대한 무한곱으로 명시적으로 계산된다.

ABSTRACT

In this paper we study the asymptotic behavior of the Jack rational functions as the number of variables grows to infinity. Our results generalize the results of A. Vershik and S. Kerov obtained in the Schur function case (theta=1). For theta=1/2,2 our results describe approximation of the spherical functions of the infinite-dimensional symmetric spaces $U(\infty)/O(\infty)$ and $U(2\infty)/Sp(\infty)$ by the spherical functions of the corresponding finite-dimensional symmetric spaces.

연구 동기 및 목표

• Schur 다항식(θ=1)에서 대칭 함수의 渐近적 이론을 임의의 θ > 0 에서의 Jack 다항식으로 확장한다.
• 정규화된 Jack 함수가 무한 토러스 T^∞ 의 컴acts부분집합에서 균일 수렴하는 서열의 서명을 특성화한다.
• 모든 변수 중 유한 개를 제외한 나머지 변수가 1로 설정된 조건 하에서, 수많은 변수 n → ∞ 에서 정규화된 Jack 다항식의 극한에 대한 명시적 공식을 제공한다.
• 이전에 Schur 함수의 경우(θ=1)에 대해 정의된 Vershik-Kerov 조건을 서명(부호가 있는 분할)으로 일반화하고, 그것이 정규성에 필수적이고 충분한 조건임을 보여준다.

제안 방법

• 정규화된 Jack 함수 Φ_λ(n)(z;θ) := P_λ(n)(z;θ)/P_λ(n)(1,…,1;θ) 를 도입하여 (1,1,…)에서의 수렴을 보장한다.
• 서열 Φ_λ(n) 이 T^∞ 의 컴acts부분집합에서 균일 수렴하면 서열 λ(n) 을 정규적이라 정의한다.
• 서열의 분할에 대해 Vershik-Kerov 조건을 채택한다: α_i = lim λ_i(n)/n, β_i = lim λ'_i(n)/n, δ = lim |λ(n)|/n 의 존재.
• 서명으로의 이러한 조건을 확장하기 위해 λ(n) 을 양성분 λ^+(n) 과 음성분 λ^−(n) 으로 분할하고, α^±_i, β^±_i, γ^± 매개수를 정의한다.
• 생성함수 기법과 귀납법을 사용하여 Jack 설정에서의 푸워 수렴 유사 대칭함수의 생성함수에 대한 폐형 표현을 유도한다.
• 메인 결과의 기초가 되는 생성함수 공식을 확인하기 위해 q-해석의 Gauss 초함수 합공식을 적용한다.

실험 결과

연구 질문

• RQ1 n → ∞ 일 때, 정규화된 Jack 다항식 Φ_λ(n)(z;θ) 가 T^∞ 의 컴acts부분집합에서 균일 수렴하는 서열의 서명 λ(n) 은 무엇인가?
• RQ2 수렴이 발생할 경우, lim_{n→∞} Φ_λ(n)(z;θ) 의 명시적 형태는 무엇인가?
• RQ3 이전에 Schur 함수의 경우(θ=1)에 알려진 Vershik-Kerov 조건은 임의의 θ > 0 인 Jack 다항식으로 어떻게 일반화되는가?
• RQ4 극한 함수는 z_j 에 대한 곱으로 분해될 수 있는가? 각 z_j 에 대응하는 인자 함수의 함수적 형태는 무엇인가?
• RQ5 매개수 α^±_i, β^±_i, γ^± 는 Jack 다항식의 渐近적 행동을 특성화하는 데 어떤 역할을 하는가?

주요 결과

• 서열 λ(n) 이 정규적임과 동치로, λ^+(n) 과 λ^−(n) 에 대해 각각 Vershik-Kerov 조건을 만족해야 하며, 즉 α^±_i, β^±_i, γ^± 의 극한이 존재하고 유한해야 한다.
• 정규화된 Jack 함수의 극한은 무한곱 ∏_{j≥1} φ_{α,β,γ}(z_j) 로 주어지며, 여기서 φ_{α,β,γ}(z) 는 α^±_i, β^±_i, γ^± 매개수와 매개수 θ 를 포함하는 명시적 곱이다.
• 극한 함수 φ_{α,β,γ}(z) 는 e^{γ^+(z−1)+γ^−(z^{−1}−1)} 곱에 (1 + β^±_i(z−1)) 과 (1 − α^±_i(z−1)/θ)^{-θ} 의 유리함수를 곱한 형태로 표현되며, 이는 Schur 경우의 θ-변형을 반영한다.
• 수렴은 T^∞ 의 컴acts부분집합에서 균일하며, 정규화는 극한이 (1,1,…)에서 잘 정의됨을 보장한다.
• 결과는 고전적인 Vershik-Kerov 정리(θ=1)를 U(∞)의 특성으로 일반화하여 전체 Jack 다항식의 가족으로 확장한다.
• 증명은 귀납법과 q-해석의 Gauss 합공식을 통한, Jack 대칭함수의 생성함수 항등식에 기반하며, 이는 극한의 구조를 확인한다.