[논문 리뷰] Anisotropic Young diagrams and infinite-dimensional diffusion processes with the Jack parameter

Grigori Olshanski|arXiv (Cornell University)|2009. 02. 19.

Random Matrices and Applications참고 문헌 32인용 수 15

한 줄 요약

이 논문은 양의 그래프에서 임의의 엣지 스피닝을 갖는 상하 체인을 사용하여, 임의의 매개변수 θ, z, z′를 가진 임의의 제너레이터를 갖는 무한차원 마르코프 확산 과정의 가족을 구성한다. 이 과정들은 에르고딕성과 명시적인 정적 분포(즉, z-측도)를 가지며, 그 생성자들은 순수하게 이산 스펙트럼을 갖는다. θ=1일 때, 이는 보로딘-올샤노프의 과정을 회복하며, θ→0 근처에서 이는 인구 유전학의 에티에르-커츠 확산으로 분해된다.

ABSTRACT

We construct a family of Markov processes with continuous sample trajectories on an infinite-dimensional space, the Thoma simplex. The family depends on three continuous parameters, one of which, the Jack parameter, is similar to the beta parameter in random matrix theory. The processes arise in a scaling limit transition from certain finite Markov chains, the so called up-down chains on the Young graph with the Jack edge multiplicities. Each of the limit Markov processes is ergodic and its stationary distribution is a symmetrizing measure. The infinitesimal generators of the processes are explicitly computed; viewed as selfadjoint operators in the L^2 spaces over the symmetrizing measures, the generators have purely discrete spectrum which is explicitly described. For the special value 1 of the Jack parameter, the limit Markov processes coincide with those of the recent work by Borodin and the author (Prob. Theory Rel. Fields 144 (2009), 281--318; arXiv:0706.1034). In the limit as the Jack parameter goes to 0, our family of processes degenerates to the one-parameter family of diffusions on the Kingman simplex studied long ago by Ethier and Kurtz in connection with some models of population genetics. The techniques of the paper are essentially algebraic. The main computations are performed in the algebra of shifted symmetric functions with the Jack parameter and rely on the concept of anisotropic Young diagrams due to Kerov.

연구 동기 및 목표

• 유한 차원의 양의 그래프에서의 상하 체인의 척도 근사에 기반하여, 무한차원 타마 심플렉스 위에 연속 시간 마르코프 과정을 구성하는 것.
• 잭 매개변수 θ를 랜덤 행렬 이론에서의 β와 유사한 일반화 매개변수로 도입하여, 다양한 확률 모델 간의 보간을 가능하게 하는 것.
• 이동 평균 함수의 대수적 기법을 사용하여, 유도된 확산 과정의 에르고딕성과 명시적 스펙트럼 성질을 확립하는 것.
• 기존의 결과를 통합하고 일반화하는 것: θ=1일 때 보로딘-올샤노프 과정을 회복하고, θ→0 근처에서 에티에르-커츠 확산을 얻는 것.
• 비대칭 양의 도형과 케로프의 인터라싱 좌표를 사용하여, 해석적 딜레클레 형식 또는 잠재 이론에 의존하지 않는 엄밀한 대수적 프레임워크를 제공하는 것.

제안 방법

• 잭 대칭 함수로 정의된 엣지 스피닝을 갖는 양의 그래프 위의 상하 마르코프 체인 사용, 매개변수로 θ를 사용.
• 이동 평균 함수와 대수 $\Lambda^\circ$를 사용하여 모멘트 좌표와 전이 확률을 모델링.
• θ-정규 함수 위에 작용하는 사전 생성자 연산자 D와 U의 정의 및 차수 분해를 통한 스펙트럼 분석.
• 유한 차원 체인에서의 극한 과정을 구성하기 위해 연산자 세미군의 근사 정리 적용.
• 케로프 인터라싱 좌표를 사용하여 전이 확률을 표현하고, 동역학을 타마 심플렉스와 연결.
• 무한소 생성자 $A$를 두 번째 차수 미분 연산자로 명시적으로 계산하며, 이는 θ, z, z′에 독립적인 계수를 갖는다. 이는 스펙트럼 분석을 가능하게 한다.

실험 결과

연구 질문

• RQ1 무한차원 타마 심플렉스 위에 연속적인 마르코프 과정을 어떻게 척도 근사된 유한 차원 상하 체인의 극한을 통해 엄밀하게 구성할 수 있는가?
• RQ2 잭 매개변수 θ는 로그가스 유형의 시스템과 인구 유전학 모델 간의 보간에 어떤 역할을 하는가?
• RQ3 무한소 생성자 스펙트럼 성질은 z-측도와 이동 평균 함수의 구조와 어떻게 관련되는가?
• RQ4 해석적 딜레클레 형식이나 잠재 이론에 의존하지 않고도 극한 과정을 대수적으로 구성할 수 있는가?
• RQ5 θ→0 근처에서 동역학은 어떻게 변화하며, 이는 에티에르-커츠 확산과 어떻게 관련되는가?

주요 결과

• 구성된 마르코프 과정들은 에르고딕적이며, 고유한 정적 분포로 z-측도 $M_{\theta,z,z^\prime}$를 가지며, 이는 동시에 대칭 측도이기도 하다.
• 과정의 무한소 생성자 $A$는 θ, z, z′에 독립적인 계수를 갖는 두 번째 차수 미분 연산자이며, θ-정규 함수 대수 위에 작용한다.
• 생성자 $A$는 순수하게 이산 스펙트럼을 가지며, $p^\circ_k$ 변수의 단항식과 관련된 고유값으로 명시적으로 기술된다.
• θ = 1일 때, 유도된 확산 과정들은 보로딘과 올샤노프가 2009년에 구성한 과정과 정확히 일치하며, 이는 이전 연구 결과와의 일致를 확인한다.
• θ → 0 근처에서, z, z′에 적절한 스케일링을 적용하면 과정은 킹만 심플렉스 위의 에티에르-커츠 확산으로 분해되며, 고전적인 인구 유전학 모델과 연결된다.
• 두 매개변수 페트로프 일반화된 포isson-디리클레 분포로의 극한 전이가 형식적으로 타당하지만, 전단계에서 복소수 또는 음수 전이 확률을 允허해야 하므로, α ≠ 0일 경우 순수하게 형식적이다.