[논문 리뷰] Integrals of rational symmetric functions, two matrix models and biorthogonal polynomials

J. Harnad, A. Yu. Orlov|ArXiv.org|2006. 03. 14.

Mathematical functions and polynomials참고 문헌 14인용 수 4

한 줄 요약

이 논문은 두 집합의 N 개 변수에서 유리 대칭 함수의 적분을 평가하기 위한 새로운 행렬식 기반 방법을 제시한다. 이는 두 행렬 모델에서 발생한다. 이중직교 다항식과 그 힐버트 변환을 사용하여, 적분을 영점, 극점 및 이중형 결합의 평가를 포함하는 행렬식으로 표현하며, 부분 분수 분해와 행렬식 항등식을 통한 직접적이고 간단한 유도를 제공한다.

ABSTRACT

We give a new method for the evaluation of a class of integrals of rational symmetric functions in N pairs of variables {x_a, y_a}_{a=1,... N} arising in coupled matrix models, valid for a broad class of two-variable measures. The result is expressed as the determinant of a matrix whose entries consist of the associated biorthogonal polynomials, their Hilbert transforms, evaluated at the zeros and poles of the integrand, and bilinear expressions in these. The method is elementary and direct, using only standard determinantal identities, partial fraction expansions and the property of biorthogonality. The corresponding result for one-matrix models and integrals of rational symmetric functions in N variables {x_a}_{a=1,... N} is also rederived in a simple way using this method

연구 동기 및 목표

• 두 행렬 모델에서 N 쌍의 변수 (x_a, y_a) 에서 유리 대칭 함수의 적분을 평가하기 위한 일반적인 방법을 개발하는 것.
• 이러한 적분을 적인의 영점과 극점에서 평가된 이중직교 다항식과 그 힐버트 변환으로 표현하는 것.
• 기존의 한 행렬 모델 결과를 재유도할 수 있는 통합적이고 간단한 유도를 제공하는 것.
• 측도와 지지 곡선에 대한 넓은 조건 하에서도 유효한 정규화된 적분에 대한 닫힌 형태의 행렬식 표현을 확립하는 것.

제안 방법

• 측도 dμ(x,y) 의 이중모멘트 행렬에서 생기는 이중직교 다항식 쌍 {P_j(x), S_j(y)} 를 구하기 위해 그람-슈미트 과정을 사용한다.
• 유리 함수를 극점과 영점 항으로 분리하기 위해 부분 분수 분해를 적용하여 체계적인 적분을 가능하게 한다.
• 다양한 변수의 적분을 다항식 평가와 힐버트 변환으로 구성된 행렬의 단일 행렬식으로 변환하기 위해 표준 행렬식 항등식을 적용한다.
• 이중직교 다항식과 그 힐버트 변환의 곱의 합을 포함하는 보조 행렬 K_{11}^J, K_{12}^J, K_{22}^J 를 도입하여 행렬식의 핵심을 형성한다.
• 바르드만 행렬식과 이중직교성의 정규화 및 대칭 성질을 이용하여 최종 표현식을 단순화한다.
• 변수 교환과 적분 변수의 재정렬을 적용하여 다항식 기저 및 모노미얼 기저 변환을 통한 행렬식 평가에 적합한 형태로 적분을 축소한다.

실험 결과

연구 질문

• RQ1 두 집합의 N 개 변수에서 유리 대칭 함수의 적분을 두 행렬 모델의 맥락에서 효율적으로 평가하는 방법은 무엇인가?
• RQ2 이중직교 다항식과 그 힐버트 변환은 이러한 다변수 적분을 단순화하는 데 어떤 역할을 하는가?
• RQ3 기존의 한 행렬 모델 결과를 재현할 수 있는 통일적이고 간단한 방법을 도출할 수 있는가?
• RQ4 다항식 평가와 이중형 형태로 표현된 정규화된 적분을 나타내는 행렬식의 정확한 구조는 무엇인가?
• RQ5 적분의 영점과 극점의 위치가 최종 행렬식 표현과 정규화 요소에 어떻게 영향을 미치는가?

주요 결과

• 정규화된 적분 I_N^{(2)} 는 영점 {ξ_α}, 극점 {μ_k} 및 K_{11}^J, K_{12}^J, K_{22}^J 행렬을 통한 상호작용을 포함하는 (L_1 + M_2) × (L_1 + M_2) 행렬 G 의 행렬식으로 표현된다.
• 행렬식의 구조는 영점 {ξ_α}, 극점 {μ_k} 및 이들의 K_{11}^J, K_{12}^J, K_{22}^J 행렬을 통한 상호작용 기여를 포함한다.
• 정규화 인자는 √h_n (n = N 에서 N + L_2 - M_2 - 1 까지) 과 N 에서 N + L_1 - M_1 - 1 까지의 곱으로 구성되어 있으며, 다항식 확장의 차수를 반영한다.
• 순열 대칭성을 반영하기 위해 부호 인자 ε(L_1, L_2, M_2, M_2) = (−1)^(1/2)(M_1+M_2)(M_1+M_2−1) (−1)^(L_1 M_2) 가 포함되어 있다.
• M_2 = 0 과 L_2 = 0 으로 설정함으로써 이 방법은 한 행렬 모델 결과를 특수한 경우로 성공적으로 재유도한다.
• 최종 표현식은 변수의 재표기와 측도 및 지지 곡선에 대한 가정 조건 하에서 불변성을 유지한다.