[논문 리뷰] Point Processes and the Infinite Symmetric Group. Part II: Higher Correlation Functions

Alexei Borodin|ArXiv.org|1998. 04. 18.

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

한 줄 요약

이 논문은 표현 이론적 구성을 통해 도입된 무한 대칭군 위의 점과정에 대한 고차 상관 함수에 대한 명시적 적분 표현을 유도한다. 이는 '리프팅'(lifting) 변환을 도입하여 상관 구조를 월리스 함수 비율로 표현된 커널을 포함하는 행렬식 형태로 단순화하며, 무작위 행렬 이론과의 연결을 가능하게 하고, 향후 Part III에서의 응용을 위한 점근적 분석을 가능하게 한다.

ABSTRACT

We continue the study of the correlation functions for the point stochastic processes introduced in Part I (G.Olshanski, math.RT/9804086). We find an integral representation of all the correlation functions and their explicit expression in terms of multivariate hypergeometric functions. Then we define a modification (``lifting'') of the processes which results in a substantial simplification of the structure of the correlation functions. It turns out that the ``lifted'' correlation functions are given by a determinantal formula involving a kernel. The latter has the form (A(x)B(y)-B(x)A(y))/(x-y), where A and B are certain Whittaker functions. Such a form for correlation functions is well known in the random matrix theory and mathematical physics. Finally, we get some asymptotic formulas for the correlation functions which are employed in Part III (A.Borodin and G.Olshanski, math.RT/9804088).

연구 동기 및 목표

• 무한 대칭군에서 유래한 스토케스틱 점과정의 고차 상관 함수를 계산하기 위해.
• 대칭군의 기약 표현의 모멘트를 사용하여 이러한 상관 함수에 대한 명시적 적분 표현을 도출하기 위해.
• 상관 구조를 행렬식 형태로 단순화하는 '리프팅'(lifting) 변환을 도입하기 위해.
• 월리스 함수로 표현된 커널을 통해 무작위 행렬 이론의 알려진 과정과의 연결을 수립하기 위해.
• 향후 작업(제3부)을 위한 응용을 가능하게 하기 위해 상관 함수에 대한 점근적 공식을 제공하기 위해.

제안 방법

• 대칭군의 표현 특성에 대한 머누아카나-나카야마 규칙을 재구성함으로써, 모멘트 문제를 더 단순한 성분들로 환원한다.
• 토마 단체 위의 측도에 대한 유한점 근사법을 사용하여 프로베누스 좌표를 통해 청다이어그램 위의 이산 확률 측도를 정의한다.
• 콤���트 지지 분포에 대한 세 가지 연산을 도입하여 모멘트를 조작하고 단순화된 모멘트 문제를 해결한다.
• 원래 측도를 수정함으로써 리프팅된 과정을 구성하며, 이는 형태가 $(A(x)B(y) - B(x)A(y))/(x - y)$인 커널을 포함하는 행렬식 상관 구조를 유도한다.
• 커널은 다변수 하이퍼기하함수 $F_B^{[2]}$로 명시적으로 표현되며, 이는 하이퍼기하 항등식과 특수함수 이론을 사용하여 해석적 계속을 수행한다.
• 변수가 0에 접근할 때 하이퍼기하함수의 행동을 분석함으로써 점근 전개를 유도하며, 특수한 경우 $z = z^{ackprime}$에서는 감마 함수와 파이 함수, 로그 항을 포함한다.

실험 결과

연구 질문

• RQ1 무한 대칭군 위의 점과정에 대한 고차 상관 함수는 어떻게 명시적으로 표현될 수 있는가?
• RQ2 어떤 변환(리프팅)이 상관 함수의 구조를 행렬식 형태로 단순화하는가?
• RQ3 어떤 특정한 커널 구조를 통해 상관 함수는 무작위 행렬 이론의 알려진 과정과 연결되는가?
• RQ4 매개수들이 임계값 또는 0에 접근할 때 상관 함수의 점근적 행동은 어떠한가?
• RQ5 왜 월리스 함수가 리프팅된 과정의 커널에 자연스럽게 등장하는가?

주요 결과

• 상관 함수는 형식 $F_B^{[2]}$의 다변수 하이퍼기하함수를 이용한 명시적 적분 표현을 갖는다.
• 리프팅된 과정은 형태가 $(A(x)B(y) - B(x)A(y))/(x - y)$인 커널을 포함하는 행렬식 상관 구조를 유도하며, 여기서 $A$와 $B$는 월리스 함수이다.
• 모든 $z \neq z^\prime$에 대해 상관 함수의 점근적 행동은 감마 함수와 파이 함수에 의해 지배되며, $|z - z^\prime|$에 의해 결정되는 거듭제곱 감쇠를 갖는다.
• $z = z^\prime$인 경우, 하이퍼기하함수 내의 로그 특이성으로 인해 점근 전개에 로그 항이 나타난다.
• 커널 구조는 무작위 행렬 이론에서 알려진 형태와 일치하며, 표현 이론과 적분 가능 시스템 사이의 깊은 연결을 확립한다.
• 결과는 제3부에서의 점근적 분석을 위한 기초를 제공하며, 특히 원점 근처 및 브라운 스케일링 근처의 상관 함수 행동에 대해 유용하다.