[논문 리뷰] Pfaffian Stochastic Dynamics of Strict Partitions

Leonid Petrov|arXiv (Cornell University)|2010. 11. 15.

Random Matrices and Applications참고 문헌 66인용 수 3

한 줄 요약

이 논문은 엄격한 분할(서로 다른 부분) 위에서 Borodin의 행렬식 측도를 유지하는 연속시간 마르코프 점프 과정의 가족을 소개한다. 편평형 상관 함수와 기하급수 함수를 사용하여 정적 및 동적 상관 함수 커널에 대한 명시적 공식을 유도하며, 이는 이전의 행렬식 모델과는 다를 바 있는 새로운 정적 편평형 동역학을 수립한다.

ABSTRACT

We study a family of continuous time Markov jump processes on strict partitions (partitions with distinct parts) preserving the distributions introduced by Borodin (1997) in connection with projective representations of the infinite symmetric group. The one-dimensional distributions of the processes (i.e., the Borodin's measures) have determinantal structure. We express the dynamical correlation functions of the processes in terms of certain Pfaffians and give explicit formulas for both the static and dynamical correlation kernels using the Gauss hypergeometric function. Moreover, we are able to express our correlation kernels (both static and dynamical) through those of the z-measures on partitions obtained previously by Borodin and Olshanski in a series of papers. The results about the fixed time case were announced in the author's note arXiv:1002.2714. A part of the present paper contains proofs of those results.

연구 동기 및 목표

• 엄격한 분할 위에서 Borodin의 확률 측도를 유지하는 연속시간 마르코프 점프 과정을 구성하는 것.
• 편평형 상관 함수에 대한 명시적 공식을 편평형에 기반하여 유도하는 것.
• 정적 및 동적 상관 함수 커널을 가우스 기하급수 함수를 사용하여 표현하는 것.
• 새로운 커널을 z-측도의 커널과 랭크-일치 변형의 구조로 연결하는 것.
• 랜덤 분할의 맥락에서 처음으로 정적 편평형 확률적 동역학을 수립하는 것.

제안 방법

• Borodin의 측도가 엄격한 분할 위에서 갖는 일관성 성질을 활용하며, Borodin-Olshanski 동역학과 유사한 성질을 가짐.
• 상태 공간을 양의 정수 위의 유한한 점 구성으로 모델링하고, 측도 가족을 유지하는 동역학을 설정함.
• 동적 상관 함수를 가우스 기하급수 함수를 포함하는 커널 함수 $\boldsymbol{\Phi}_{\alpha,\xi}(s,x;t,y)$ 의 편평형으로 표현함.
• 역할과 엄밀히 양의 함수 $f$ 를 사용하는 새로운 감소 기법을 통해 편평형의 구조를 행렬식으로 감소시킴.
• 정적 커널 $\mathbf{K}_{\alpha,\xi}(x,y)$ 를 $\ell^2(\mathbb{Z})$ 내의 사영 연산자의 랭크-일치 변형으로 유도함.
• SL(2,$\mathbb{C}$)$^n$-작용을 사용한 변환을 적용하여 비대칭 편평형 행렬을 행렬식 감소에 적합한 블록 형식으로 변환함.

실험 결과

연구 질문

• RQ1 엄격한 분할 위에서 Borodin의 측도를 유지하고 편평형 상관 구조를 보이는 정적 마르코프 과정을 구성할 수 있는가?
• RQ2 이러한 과정의 동적 상관 함수는 z-측도와 같은 행렬식 모델의 것과 어떻게 다를까?
• RQ3 공간-시간 상관을 지배하는 확장된 커널 $\boldsymbol{\Phi}_{\alpha,\xi}(s,x;t,y)$ 의 명시적 형태는 무엇인가?
• RQ4 정적 편평형 커널은 알려진 z-측도의 행렬식 커널과 어떻게 관련이 있는가?
• RQ5 적절한 변환을 통해 편평형의 구조를 행렬식으로 감소시킬 수 있으며, 이러한 감소를 보장하는 조건은 무엇인가?

주요 결과

• 마르코프 과정의 동적 상관 함수는 가우스 기하급수 함수로 명시적으로 주어진 커널 $\boldsymbol{\Phi}_{\alpha,\xi}(s,x;t,y)$ 의 편평형으로 표현된다.
• 정적 상관 함수는 행렬식 형태로 감소하며, 커널 $\mathbf{K}_{\alpha,\xi}(x,y)$ 는 $\mathbb{Z}_{>0}$ 위의 명시적 기하급수 유형의 함수이다.
• 정적 커널 $\mathbf{K}_{\alpha,\xi}$ 는 사영 연산자가 아니며, z-측도 커널과의 차이를 보인다.
• 정적 커널 $\boldsymbol{\Phi}_{\alpha,\xi}(s,\cdot;s,\cdot)$ 는 $\ell^2(\mathbb{Z})$ 위에서 정사영 연산자의 랭크-일치 변형이다.
• 역할과 엄밀히 양의 함수 $f$ 를 포함하는 변환을 통해 편평형 커널이 행렬식으로 감소되며, 결과 커널 $K(u,v)$ 는 $F(u,\hat{v})$ 와 $f(u)$ 를 포함하는 유리식으로 주어진다.
• 이 모델은 랜덤 분할의 맥락에서 처음으로 정적(시간 동질성) 편평형 확률적 동역학을 제공하며, 이는 이전의 시간 비동질 모델과 대조된다.