[논문 리뷰] Noncolliding Squared Bessel Processes and Weierstrass Canonical Products for Entire Functions

Makoto Katori, Hideki Tanemura|arXiv (Cornell University)|2010. 08. 01.

Random Matrices and Applications인용 수 1

한 줄 요약

이 논문은 색인 $ u > -1 $ 를 가진 비충돌 제곱 베ssel 과정을 연구하며, 유한 입자 시스템의 경우 연속 상관핵을 가진 결정성 과정임을 증명한다. 무한 시스템의 경우, 초기 입자 위치와 일치하는 영점을 가진 웨이어슈트라스 표준곱으로 표현된 정칙 함수를 통해 과정이 결정성임을 확립한다; 주요 예시에서는 확장된 베셀 핵을 가진 정적 상태로 수렴함을 보여준다.

ABSTRACT

We consider a particle system of the squared Bessel processes with index $ u > -1$ conditioned never to collide with each other, in which if $-1 < u < 0$ the origin is assumed to be reflecting. When the number of particles is finite, we prove for any fixed initial configuration that this noncolliding diffusion process is determinantal in the sense that any multitime correlation function is given by a determinant with a continuous kernel called the correlation kernel. When the number of particles is infinite, we give sufficient conditions for initial configurations so that the system is well defined. There the process with an infinite number of particles is determinantal and the correlation kernel is expressed using an entire function represented by the Weierstrass canonical product, whose zeros on the positive part of the real axis are given by the particle-positions in the initial configuration. From the class of infinite-particle initial configurations satisfying our conditions, we report one example in detail, which is a fixed configuration such that every point of the square of positive zero of the Bessel function $J_{ u}$ is occupied by one particle. The process starting from this initial configuration shows a relaxation phenomenon converging to the stationary process, which is determinantal with the extended Bessel kernel, in the long-term limit.

연구 동기 및 목표

• 색인 $ u > -1 $ 를 가진 비충돌 제곱 베셀 과정의 존재성과 결정성 구조를 확립하며, 반사 원점을 고려한 경우 $ -1 < u < 0 $ 의 경우도 포함한다.
• 무한 초기 입자 구성에 대해 잘 정의된 비충돌 확산 과정의 존재를 위한 충분한 조건을 유도한다.
• 무한 입자 시스템의 상관핵을 초기 입자 위치와 일치하는 영점을 가진 정칙 함수의 웨이어슈트라스 표준곱 형태로 표현한다.
• 특정 초기 구성—즉, 베셀 함수 $ J_u $ 의 양의 영점의 제곱—에서 시작하는 과정의 장기적 행동을 분석하고, 정적 상태로의 수렴을 보여준다.

제안 방법

• 유한 입자 시스템의 다시시간 상관함수를 연속 상관핵을 통해 결정성 점 프로세스 이론을 활용해 특성화한다.
• 양의 실수축 위의 영점이 무한 시스템의 초기 입자 위치를 나타내는 정칙 함수를 웨이어슈트라스 표준곱을 통해 구성한다.
• 스펙트럼 이론과 핵 분석을 적용하여, 초기 구성의 감쇠 및 분리 조건이 만족될 경우 무한 입자 과정이 결정성임을 보인다.
• 상관핵의 점근적 분석을 통해 장시간 한계에서 확장된 베셀 핵이 근사 상관핵으로 나타남을 유도한다.

실험 결과

연구 질문

• RQ1 입자 수가 무한한 경우, 색인 $ u > -1 $ 를 가진 비충돌 제곱 베셀 과정의 존재를 위한 초기 구성에 대한 조건은 무엇인가?
• RQ2 무한 입자 비충돌 시스템의 상관핵은 어떻게 초기 입자 위치와 일치하는 영점을 가진 정칙 함수의 형태로 표현할 수 있는가?
• RQ3 특정 초기 구성—즉, $ J_u $ 의 양의 영점의 제곱—에서 시작할 경우 과정의 장기적 행동은 어떠한가? 그리고 정적 결정성 프로세스로 수렴하는가?
• RQ4 무한 시간 한계에서의 근사 상관핵의 구조는 무엇이며, 알려진 특수함수와 어떻게 관련되는가?

주요 결과

• 임의의 유한 초기 구성에 대해, 색인 $ u > -1 $ 를 가진 비충돌 제곱 베셀 과정은 결정성이며, 다시간 상관함수는 연속 상관핵의 행렬식으로 주어진다.
• 입자 수가 무한한 경우, 초기 구성이 특정 감쇠 및 분리 조건을 만족할 경우 과정은 잘 정의되며, 웨이어슈트라스 곱 표현의 수렴을 보장한다.
• 무한 입자 시스템의 상관핵은 초기 입자 위치가 양의 실수축 위에 있는 영점을 가진 웨이어슈트라스 표준곱으로 구성된 정칙 함수를 통해 표현된다.
• 특정 초기 구성—즉, $ J_u $ 의 양의 영점의 제곱—에서 시작할 경우 과정은 안정화 현상을 보이며, 확장된 베셀 핵을 가진 정적 결정성 프로세스로 법적으로 수렴한다.