[논문 리뷰] Harmonic analysis on the infinite-dimensional unitary group and determinantal point processes

Alexei Borodin, Grigori Olshanski|ArXiv.org|2001. 09. 24.

Random Matrices and Applications참고 문헌 29인용 수 9

한 줄 요약

이 논문은 무한차원 unitary 군 $U(\infty)$ 상의 4파라미터 가족의 특징에 대한 스펙트럼 분해 문제를 해결하며, 이에 대응하는 스펙트럼 측도가 실수선 상의 결정점 프로세스와 대응됨을 보여준다. 상관 커널은 가우스 쌍곡함수를 포함하는 적분 가능 커널로 명시적으로 계산되었으며, 진동 영역에서의 이산 수직다항식의 점근적 분석을 통해 유도되었다.

ABSTRACT

The infinite-dimensional unitary group U(infinity) is the inductive limit of growing compact unitary groups U(N). In this paper we solve a problem of harmonic analysis on U(infinity) stated in the previous paper math/0109193. The problem consists in computing spectral decomposition for a remarkable 4-parameter family of characters of U(infinity). These characters generate representations which should be viewed as analogs of nonexisting regular representation of U(infinity). The spectral decomposition of a character of U(infinity) is described by the spectral measure which lives on an infinite-dimensional space Omega of indecomposable characters. The key idea which allows us to solve the problem is to embed Omega into the space of point configurations on the real line without 2 points. This turns the spectral measure into a stochastic point process on the real line. The main result of the paper is a complete description of the processes corresponding to our concrete family of characters. We prove that each of the processes is a determinantal point process. That is, its correlation functions have determinantal form with a certain kernel. Our kernels have a special `integrable' form and are expressed through the Gauss hypergeometric function. In simpler situations of harmonic analysis on infinite symmetric group and harmonic analysis of unitarily invariant measures on infinite hermitian matrices similar results were obtained in our papers math/9810015, math/9904010, math-ph/0010015.

연구 동기 및 목표

• 무한차원 unitary 군 $U(\infty)$ 상의 조화해석 문제를 해결하기 위해 4파라미터 특징의 스펙트럼 분해를 계산한다.
• 이 특징들과 관련된 스펙트럼 측도가 실수선에서 두 점을 제외한 점프로프로세스로 표현됨을 확인한다.
• 결과로 얻어진 확률과정을 명시적인 상관 커널을 갖는 결정점 프로세스로 특성화한다.
• U(\infty) 상의 조화해석과 무작위행렬 유형의 점근적 시스템, 특히 이산 로그가스 모델 간의 연결 고리를 설정한다.
• 이전의 무한차원 군 표현 이론 결과를 일반화하기 위해 $S(\infty)$에서의 점프프로세스 방법 프레임워크를 더 복잡한 $U(\infty)$로 확장한다.

제안 방법

• U(\infty)의 분해 불가능 특징의 공간을 $\mathbb{R}\setminus\{\text{두 점}\}$ 상의 점 구성공간에 통합함으로써, 스펙트럼 측도를 점프프로세스로 변환한다.
• 특수함수로부터 유도된 커널을 갖는 결정형 상관함수를 보여줌으로써, 결과로 얻어진 점프프로세스가 결정점 프로세스임을 증명한다.
• 특히 주기의 점점 감소하는 진동 영역에서의 이산 수직다항식의 점근적 성질을 이용하여 상관 커널을 계산한다.
• 이산 리만-힐베르트 문제 접근법을 적용하여 수직다항식 해의 비진동 점근적 성질을 계산함으로써 커널 평가를 가능하게 한다.
• 아스키와 레스키가 연구한 초함수 유형의 수직다항식의 균일 점근적 성질을 평가하는 데로 커널 계산을 환원하며, 변환 공식과 함수 항등식을 사용한다.
• 일반화된 초함수 ${}_3F_2(1)$의 해석적 계속 기법을 활용하여 커널 표현식이 요구되는 파라미터 영역에서의 유효성을 확보한다.

실험 결과

연구 질문

• RQ1 무한차원 unitary 군 $U(\infty)$ 상의 4파라미터 특징의 스펙트럼 분해는 무엇인가?
• RQ2 이 특징들과 관련된 스펙트럼 측도는 실수선 상의 확률적 점프프로세스로 어떻게 표현될 수 있는가?
• RQ3 결과로 얻어진 점프프로세스는 결정점 프로세스인가? 만약 그렇다면 그 상관 커널의 명시적 형태는 무엇인가?
• RQ4 진동 영역에서의 이산 수직다항식의 점근적 성질은 이러한 커널을 계산하는 데 어떻게 기여하는가?
• RQ5 U(\infty) 상의 조화해석과 간격 유사 밀도를 갖는 이산 로그가스 시스템의 열역학적 극한 간의 연결 고리는 무엇인가?

주요 결과

• U(\infty) 상의 4파라미터 특징 가족과 관련된 스펙트럼 측도는 $\mathbb{R}\setminus\{\text{두 점}\}$ 상의 결정점 프로세스에 대응한다.
• 점프프로세스의 상관 커널은 가우스 쌍곡함수를 통해 명시적으로 주어지며, '적분 가능'한 구조를 띤다.
• 진동 영역에서의 이산 수직다항식의 점근적 분석은 이들을 이산 리만-힐베르트 문제의 해를 통해 표현함으로써 비진동 점근적 성질을 계산할 수 있게 한다.
• 커널 계산을 삼각함수 항등식으로 환원하는 핵심 항등식은 해석적 계속과 주기성 논증을 통해 확인되었으며, 기능 방정식이 확인된다.
• 커널 표현식에 사용된 함수 ${}_3F_2(1)$는 다섯 개의 복소변수에 대해 전체 함수로 해석적 계속되었으며, 파라미터 공간 전역에서 커널 표현식의 유효성이 보장된다.
• 결과로 얻어진 점프프로세스는 이산 로그가스 모델에서 '밀도가 높은' 구성에 대한 변동을 묘사하며, 평형 밀도는 간격의 특성함수와 점점 일치한다.