[논문 리뷰] Complete homogeneous symmetric polynomials in Jucys-Murphy elements and the Weingarten function

Jonathan Novak|ArXiv.org|2008. 11. 21.

Random Matrices and Applications참고 문헌 11인용 수 7

한 줄 요약

이 논문은 랜덤 매트릭스 이론에서의 유니타리 Weingarten 함수의 渐近 전개와 Jucys-Murphy 원소들의 완전 동차 대칭 다항식 사이의 직접적 연결을 확립한다. 이는 $ r $-번째 완전 동차 대칭 다항식 $ h_r(J_1, \dots, J_n) $ 가 Weingarten 함수의 渐近 급수 전개에서 $ r $-번째 항과 일치하며, 그 계수는 비교적 교차하지 않는 분할 격자 $ NC(n) $ 의 Möbius 함수에 의해 결정됨을 보여준다. 특히 최소 높이를 가진 콘jugacy 클래스에 대해 성립한다.

ABSTRACT

A connection is made between complete homogeneous symmetric polynomials in Jucys-Murphy elements and the unitary Weingarten function from random matrix theory. In particular we show that $h_r(J_1,...,J_n),$ the complete homogeneous symmetric polynomial of degree $r$ in the JM elements, coincides with the $r$th term in the asymptotic expansion of the Weingarten function. We use this connection to determine precisely which conjugacy classes occur in the class basis resolution of $h_r(J_1,...,J_n),$ and to explicitly determine the coefficients of the classes of minimal height when $r < n.$ These coefficients, which turn out to be products of Catalan numbers, are governed by the Moebius function of the non-crossing partition lattice $NC(n).$

연구 동기 및 목표

• Jucys-Murphy 원소들의 완전 동차 대칭 다항식과 유니타리 Weingarten 함수의 渐近 전개 사이의 정확한 연결 고리를 확립하는 것.
• $ h_r(J_1, \dots, J_n) $ 의 클래스 기반 분해에 나타나는 콘jugacy 클래스를 특성화하는 것.
• $ r < n $ 인 경우, $ h_r(J_1, \dots, J_n) $ 에서 최소 높이를 가진 콘jugacy 클래스의 계수를 명시적으로 계산하는 것.
• 이 계수들이 카탈란 수의 곱이며, 비교적 교차하지 않는 분할 격자 $ NC(n) $ 의 Möbius 함수에 의해 지배됨을 보여주는 것.

제안 방법

• 기본 대칭 다항식과 완전 동차 대칭 다항식 사이의 이중성을 이용하여, Jucys의 원소 대칭 함수 결과를 완전 동차 경우로 확장하는 것.
• 유니타리 군의 차원 $ d $ 에 대한 $ d^{-1} $ 의 거듭제곱 전개로 알려진 Weingarten 함수 $ \operatorname{Wg}_d(\sigma) $ 의 점점 더 정확한 전개를 활용하는 것.
• Weingarten 함수 전개의 $ r $-번째 항이 군 대수 $ \mathbb{C}[S(n)] $ 에서 $ h_r(J_1, \dots, J_n) $ 와 대응됨을 확인하는 것.
• 특히 비교적 교차하지 않는 분할 이론에서의 결과, 특히 Möbius 함수 $ \mu_{NC(n)} $ 를 활용하여 최소 높이를 가진 콘jugacy 클래스의 계수를 계산하는 것.
• 작은 $ n $ (예: $ n=2,3,4 $) 에 대한 명시적 계산을 통해 대응 관계를 검증하고 계수의 닫힌 표현식을 유도하는 것.
• 다항식 $ h_r(J_1, \dots, J_n) $ 의 클래스 기반 분해를 콘jugacy 클래스 $ \mathcal{C}_\mu $ 에 대한 합으로 표현하며, 계수 $ a_r(\mu) $ 는 Weingarten 전개의 $ r $-번째 항과 일치함을 나타내는 것.

실험 결과

연구 질문

• RQ1 Jucys-Murphy 원소들의 완전 동차 대칭 다항식 $ h_r(J_1, \dots, J_n) $ 는 랜덤 매트릭스 이론에서 알려진 함수와 대응되는가?
• RQ2 어떤 콘jugacy 클래스 $ \mu \vdash n $ 가 $ h_r(J_1, \dots, J_n) $ 의 클래스 기반 분해에 나타나며, 그 계수는 무엇에 의해 결정되는가?
• RQ3 최소 높이를 가진 콘jugacy 클래스의 계수는 명시적으로 계산할 수 있으며, 카탈란 수와 같은 조합론적 불변량과 관련이 있는가?
• RQ4 비교적 교차하지 않는 분할 격자 $ NC(n) $ 의 Möbius 함수와 Weingarten 함수 전개의 계수 사이에 구조적 연결 고리가 존재하는가?

주요 결과

• Jucys-Murphy 원소들의 $ r $-번째 완전 동차 대칭 다항식 $ h_r(J_1, \dots, J_n) $ 는 유니타리 Weingarten 함수 $ \operatorname{Wg}_d(\sigma) $ 의 渐近 전개에서 $ r $-번째 항과 일치한다.
• $ r < n $ 인 경우, $ h_r(J_1, \dots, J_n) $ 에서 최소 높이를 가진 콘jugacy 클래스의 계수는 카탈란 수의 곱이며, 비교적 교차하지 않는 분할 격자 $ NC(n) $ 의 Möbius 함수에 의해 지배된다.
• 특히 $ n=3 $ 인 경우, $ h_r(J_1, J_2, J_3) $ 에서 $ \mathcal{C}_{(1,1,1)} $ 과 $ \mathcal{C}_{(3)} $ 의 계수는 $ r $ 이 홀수일 때 각각 $ \frac{1}{2}(4^r - 2) $ 이며, $ r $ 이 짝수일 때는 $ \frac{1}{2}(4^r - 2) $ 이다. 이는 Weingarten 전개의 항과 정확히 일치한다.
• $ n=4 $ 인 경우, $ h_r(J_1, \dots, J_4) $ 에서 $ \mathcal{C}_{(1,1,1,1)} $, $ \mathcal{C}_{(2,2)} $, $ \mathcal{C}_{(3,1)} $, $ \mathcal{C}_{(4)} $ 의 계수는 Weingarten 함수의 渐近 급수 전개의 $ r $-번째 항과 일치하며, $ r=8 $ 에서는 각각 2631, 2290, 2375 와 같은 값이 나온다.
• $ h_r(J_1, \dots, J_n) $ 의 클래스 기반 분해는 $ (-1)^r \sum_{\mu \vdash n} a_r(\mu) \mathcal{C}_\mu $ 로 주어지며, 여기서 $ a_r(\mu) $ 는 Weingarten 함수 전개의 $ r $-번째 계수이다.
• 이 연결은 $ h_r(J_1, \dots, J_n) $ 의 구조가 비교적 교차하지 않는 분할의 조합론과 유니타리 적분의 渐近 행동과 깊이 연결되어 있음을 시사한다.