[논문 리뷰] On averages of randomized class functions on the symmetric groups and their asymptotics

Paul-Olivier Dehaye, Dirk Zeindler|ArXiv.org|2009. 11. 20.

Advanced Combinatorial Mathematics참고 문헌 8인용 수 3

한 줄 요약

이 논문은 대칭군에서 순열 행렬의 특성 다항식 연구를 일반화하기 위해 랜덤화된 고유값 이동을 도입함으로써, 독립적으로 또는 고리별로 각각 적용하며, 보다 일반적인 해석함수와 아울러 교대군 및 웨일 군과 같은 다른 군으로의 프레임워크 확장을 다룬다. 주요 기여는 Feller 결합을 사용하여 고리 길이 분포를 분석함으로써, n→∞에서의 모멘트에 대한 명시적 생성함수와 점점 더 정확한 점근적 결과를 도출한 것이다.

ABSTRACT

The second author had previously obtained explicit generating functions for moments of characteristic polynomials of permutation matrices (n points). In this paper, we generalize many aspects of this situation. We introduce random shifts of the eigenvalues of the permutation matrices, in two different ways: independently or not for each subset of eigenvalues associated to the same cycle. We also consider vastly more general functions than the characteristic polynomial of a permutation matrix, by first finding an equivalent definition in terms of cycle-type of the permutation. We consider other groups than the symmetric group, for instance the alternating group and other Weyl groups. Finally, we compute some asymptotics results when n tends to infinity. This last result requires additional ideas: it exploits properties of the Feller coupling, which gives asymptotics for the lengths of cycles in permutations of many points.

연구 동기 및 목표

• 표준 케이스를 초월해 순열 행렬의 특성 다항식의 모멘트를 일반화하기 위해 랜덤화된 고유값 이동을 도입한다.
• 다항식에서 해석함수로의 분석을 확장함으로써 고유값의 조합적 구조를 유지한다.
• 대칭군 및 그 부분군인 교대군과 고전적 리 군의 웨일 군에 대해 모멘트의 명시적 생성함수를 계산한다.
• n→∞일 때 이러한 모멘트의 점근적 행동을 도출하며, 특히 |x|<1일 경우를 중심으로 분석한다.
• 고리 유형 분해와 Feller 결합과 같은 확률적 도구를 활용하여 이전 결과들을 통합하고 단순화한다.

제안 방법

• 순열 행렬의 특성 다항식을 고리별 곱으로 재구성한다: 각 길이 l의 고리에 대해 ∏(1−x^l).
• 두 가지 랜덤화 모델을 도입한다: 하나는 각 고유값을 독립적으로 회전시키는 W¹이며, 다른 하나는 각 고리 내 고유값을 함께 회전시키는 W²이다.
• 공共役류와 고리 지수에 관한 조합론적 보조정리를 사용하여 랜덤화된 함수의 모멘트 생성함수를 유도한다.
• Feller 결합을 적용하여 랜덤 순열에서 고리 길이의 점근적 분포를 모델링하고, 점근적 분석을 가능하게 한다.
• ∏(1 + x^k t)^{-b_k} 형태의 생성함수 항등식을 사용하여 해석함수 f에 대한 모멘트 생성함수를 표현한다.
• 정규화를 통해 점근적 분석을 b₀=1의 경우로 단순화하고, 수렴 정리를 적용하여 극한 분포를 확립한다.

실험 결과

연구 질문

• RQ1 고리별 또는 독립적으로 랜덤화된 고유값 이동이 대칭군에서의 함수 클래스 모멘트 생성함수에 어떤 영향을 미치는가?
• RQ2 n→∞일 때 이러한 모멘트의 점근적 행동은 어떻게 되며, 특히 고유값의 해석함수일 경우 어떻게 되는가?
• RQ3 모멘트의 생성함수는 다항식을 초월해 해석함수로 확장될 수 있으며, 그 구조는 어떠한가?
• RQ4 결과는 SO(2n), SO(2n+1), SU(n)의 웨일 군과 같은 다른 군으로 어떻게 일반화될 수 있는가?
• RQ5 특히 f(x)=1/(1−x)일 경우 점근적 한계에서 어떤 함수 방정식이나 모듈러 성질이 나타나는가?

주요 결과

• 다항식 함수 f에 대해, S_n 상에서의 모멘트 생성함수는 ∏_{k=0}^∞ (1 + x^k t)^{-b_k}로 주어지며, 여기서 b_k는 f의 계수이다.
• b₀=1인 해석함수 f에 대해, E[Wⁿ(f)(x)]의 n→∞에서의 극한은 ∏_{k=1}^∞ (1 - x^k)^{-1}이며, x=e^{2πiτ} (τ가 상반평면에 속할 경우)에서 상수를 제외한 디데킨드 에타 함수와 일치한다.
• W¹(f)(x)의 점근적 분포는 비퇴화된 극한으로 수렴하며, 두 가지 서로 다른 방법으로 수렴성이 증명되었다.
• SO(2n)의 웨일 군의 경우, 모멘트 생성함수는 ∏_{k₁,k₂: 2|(k₁−k₂)} (1 - x₁^{k₁}x₂^{k₂}t)^{(-1)^{k₁+k₂+1} inom{s₁}{k₁}inom{s₂}{k₂}}로 주어진다.
• SO(2n+1)의 경우, 교대군의 구조로 인해 (1 - x₁^{k₁}x₂^{k₂}t)와 (1 + x₁^{k₁}x₂^{k₂}t)의 항이 모두 포함된다.
• SU(n)의 경우, 웨일 군의 추적-영 조건을 반영하기 위해 생성함수에 (1−x₁)^{-s₁}(1−x₂)^{-s₂}의 인자가 조정되어 포함된다.