[논문 리뷰] Markov dynamics on the dual object to the infinite-dimensional unitary group

Olshanski Grigori|arXiv (Cornell University)|2013. 10. 23.

Random Matrices and Applications참고 문헌 43인용 수 5

한 줄 요약

이 논문은 무한차원 유니터리 군의 무한차원 쌍대 대상 $\Omega_{\infty} = \widehat{U(\infty)}$ 위에서 Feller 마르코프 과정의 가족을 구성한다. 일관된 마르코프 체인 $\widehat{U(N)}$ 위에서의 상호연결자 방법을 사용하여, 유일한 정적 분포인 zw-측도를 가지며 연속 시간 마르코프 과정의 존재를 확립하고, 무한 변수에서 작용하는 두 번째 차수 미분 연산자임을 보여준다.

ABSTRACT

These are notes for a mini-course of 3 lectures given at the St. Petersburg School in Probability and Statistical Physics (June 2012). My aim was to explain, on the example of a particular model, how ideas from the representation theory of big groups can be applied in probabilistic problems. The material is based on the joint paper arXiv:1009.2029 by Alexei Borodin and myself; a broader range of topics is surveyed in the lecture notes by Alexei Borodin and Vadim Gorin arXiv:1212.3351.

연구 동기 및 목표

• 무한차원 공간 $\widehat{U(\infty)}$ 위에서 연속 시간 마르코프 과정을 구성하는 것.
• 일관된 마르코프 체인 $\widehat{U(N)}$ 기반으로 상호연결자 방법을 사용하여 이러한 과정의 존재를 확립하는 것.
• 과정의 정적 분포를 경계로 나타나는 극한 문자들의 사슬으로부터 유도된 zw-측도로 특성화하는 것.
• 과정의 무한소 생성자가 무한 변수 함수에 작용하는 두 번째 차수 미분 연산자임을 보이는 것.
• 과정이 Feller이면서 유일한 불변 측도인 zw-측도를 가지며, 이는 동반 측도이기도 하다는 것을 보여주는 것.

제안 방법

• 유한차원 쌍대 공간 $\widehat{U(N)}$ 위에서 4파라미터 일관성 마르코프 체인 $X^{(z,z',w,w')}_{N}$ 가족을 사용한다.
• 유한차원 체인을 무한차원 공간 $\Omega_{\infty} = \widehat{U(\infty)}$ 위의 마르코프 과정으로 상호연결자 방법을 통해 올리는 것.
• Edrei–Voiculescu 정리를 적용하여 경계 $\Omega_{\infty}$ 를 $U(\infty)$ 의 극한 문자 집합으로 식별하는 것.
• 적절한 코어 위에서 작용하는 두 번째 차수 미분 연산자 $D^{(z,z',w,w')}_{\infty}$ 로서 무한차원 과정의 생성자를 유도하는 것.
• 생성자를 딜레르트 형식 $\mathscr{E}(F,G) = \int_{\Omega_{\infty}} \Gamma(F,G) \, dM^{(z,z',w,w')}_{\infty}$ 으로 표현하며, 여기서 $\Gamma(F,G)$ 는 도함수에 대한 이차형식이다.
• zw-측도 $M^{(z,z',w,w')}_{\infty}$ 가 과정의 정적 및 동반 측도임을 바탕으로 생성자가 잘 정의되고 비퇴화됨을 보장하는 것.

실험 결과

연구 질문

• RQ1 경계로 나타나는 체인 $\widehat{U(N)}$ 의 경계인 무한차원 공간 $\widehat{U(\infty)}$ 에서 Feller 마르코프 과정을 구성할 수 있는가?
• RQ2 이러한 과정의 정적 분포의 구조는 무엇이며, $U(\infty)$ 의 표현 이론과 어떻게 관련이 있는가?
• RQ3 무한차원 과정의 무한소 생성자는 미분 연산자로 어떻게 명시적으로 기술할 수 있는가?
• RQ4 과정은 시간에 대해 연속적이며, 그 표본 경로는 정규성 성질을 가지는가?
• RQ5 과정을 결정론적 점 프로세스로 해석할 수 있으며, zw-측도로부터 유래된 결정론적 구조를 상속하는가?

주요 결과

• 상호연결자 방법을 통해 일관성 있는 체인 $\widehat{U(N)}$ 에서 유도된 $X^{(z,z',w,w')}_{\infty}$ 의 Feller 마르코프 과정의 가족이 $\Omega_{\infty} = \widehat{U(\infty)}$ 에 존재한다.
• 과정은 유일한 정적 분포 $M^{(z,z',w,w')}_{\infty}$ 를 가지며, 이는 극한 문자의 사슬의 경계에서 유도된 zw-측도이다.
• 무한소 생성자 $D^{(z,z',w,w')}_{\infty}$ 는 무한 변수 함수에 작용하는 두 번째 차수 미분 연산자이며, 딜레르트 형식을 통해 명시적으로 기술된다.
• 정적 측도 $M^{(z,z',w,w')}_{\infty}$ 는 불변이자 동반 측도이므로 생성자가 비퇴화되고 과정이 비결정론적이게 된다.
• 생성자의 두 번째 차수 성질과 정적 측도의 비원자성에 기반해 과정이 결정론적 경로로 붕괴되지 않음을 확인하였다.
• 과정의 다중 시간 유한차원 분포가 결정론적임이 추측되며, 이는 알려진 zw-측도의 결정론적 구조와 일치한다.