[논문 리뷰] Uniqueness of Dirichlet forms related to infinite systems of interacting Brownian motions

Yosuke Kawamoto, Hirofumi Osada외 1명|arXiv (Cornell University)|2017. 11. 21.

Random Matrices and Applications참고 문헌 28인용 수 4

한 줄 요약

이 논문은 무한개의 상호작용하는 브라운 운동 시스템과 관련된 두 개의 자연스러운 딜레르트 형식—상한형(upr)과 하한형(lwr)—이 일치하는 충분조건을 확립한다. 무한차원 확률미분방정식(ISDE)의 약한 해의 유일성에 기반하여, 태그된 입자가 폭발하지 않는 한 두 형식은 동일하다는 것을 증명하며, 이는 무한차원 확산 이론에서 오랫동안 남아있던 문제를 해결하고, 랜덤 매트릭스 이론과 루엘 계열의 상호작용 잠재력에서 유도된 시스템으로 결과를 확장한다.

ABSTRACT

The Dirichlet forms related to various infinite systems of interacting Brownian motions are studied. For a given random point field $ μ$, there exist two natural infinite-volume Dirichlet forms $ (\mathcal{E}^{\mathsf{upr}},\mathcal{D}^{\mathsf{upr}})$ and $(\mathcal{E}^{\mathsf{lwr}},\mathcal{D}^{\mathsf{lwr}})$ on $ L^2(\mathsf{S} ,μ) $ describing interacting Brownian motions each with unlabeled equilibrium state $ μ$. The former is a decreasing limit of a scheme of such finite-volume Dirichlet forms, and the latter is an increasing limit of another scheme of such finite-volume Dirichlet forms. Furthermore, the latter is an extension of the former. We present a sufficient condition such that these two Dirichlet forms are the same. In the first main theorem (Theorem 3.1) the Markovian semi-group given by $(\mathcal{E}^{\mathsf{lwr}},\mathcal{D}^{\mathsf{lwr}})$ is associated with a natural infinite-dimensional stochastic differential equation (ISDE). In the second main theorem (Theorem 3.2), we prove that these Dirichlet forms coincide with each other by using the uniqueness of {\ws}s of ISDE. We apply Theorem 3.1 to stochastic dynamics arising from random matrix theory such as the sine, Bessel, and Ginibre interacting Brownian motions and interacting Brownian motions with Ruelle's class interaction potentials, and Theorem 3.2 to the sine$ _2$ interacting Brownian motion and interacting Brownian motions with Ruelle's class interaction potentials of $ C_0^3 $-class.

연구 동기 및 목표

• 무한 상호작용 브라운 운동 시스템에 대한 상한형과 하한형 딜레르트 형식이 일치하는 조건을 해결하는 데 목적이 있다.
• 하한형 딜레르트 형식에 의해 생성된 마르코프 과정이 잘 정의된 ISDE를 만족하는 조건을 설정하는 데 목적이 있다.
• 랜덤 매트릭스 이론과 루엘 계열의 상호작용 잠재력에서 유도된 시스템으로 딜레르트 형식의 유일성 결과를 확장하는 데 목적이 있다.
• 무한계에서 실버스타인 확장과 딜레르트 형식의 동일성 간의 관계를 명확히 하는 데 목적이 있다.
• 태그된 입자의 폭발 여부가 형식의 동일성에 대해 必요하고 충분한 조건인지 조사하는 데 목적이 있다.

제안 방법

• 상한형을 경계 조건이 흠수된 유한체적 딜레르트 형식의 감소한 극한으로, 하한형을 반사 경계 조건이 적용된 유한체적 딜레르트 형식의 증가한 극한으로 구성한다.
• 평형 측도 μ의 로그 도함수를 정의하여 ISDE의 드리프트를 표현함으로써, 형식이 레이블이 부여된 동역학을 갖는 확산과 대응되도록 보장한다.
• 약한 해의 존재성과 유일성을 보여줌으로써, 하한형 딜레르트 형식이 ISDE를 만족하는 마르코프 과정을 생성한다는 것을 증명한다.
• 영역 크기 R → ∞에서 경계 효과를 제어하기 위해 태그된 입자의 폭발하지 않음 성질을 핵심 기술적 조건으로 사용한다.
• 준-지브스 측도 이론과 유한체적 근사법을 적용하여 형식 동일성 조건을 검증한다.
• ISDE의 약한 해의 유일성에 기반하여, 제시된 조건 하에서 상한형과 하한형이 동일하다는 결론을 이끌어낸다.

실험 결과

연구 질문

• RQ1 무한 상호작용 브라운 운동 시스템에 대한 상한형과 하한형 딜레르트 형식이 일치하는 조건은 무엇인가?
• RQ2 태그된 입자의 폭발 여부가 상한형과 하한형 딜레르트 형식의 동일성에 대해 必요하고 충분한 조건인가?
• RQ3 하한형 딜레르트 형식의 ISDE 표현이 약한 해의 유일성에 의해 엄밀히 정당화될 수 있는가?
• RQ4 두 형식의 동일성이 하한형 딜레르트 형식이 상한형 딜레르트 형식의 실버스타인 확장임을 의미하는가?
• RQ5 형식 동일성을 보장하는 상호작용 잠재력과 평형 측도에 대한 최소 조건은 무엇인가?

주요 결과

• 태그된 입자가 폭발하지 않는 한 상한형과 하한형 딜레르트 형식은 일치하며, 이는 무한체적 극한에서 경계 효과를 제어함으로써 가능하다.
• 하한형 딜레르트 형식과 관련된 마르코프 과정은 평형 측도의 로그 도함수로 주어진 드리프트를 갖는 무한차원 SDE를 만족한다.
• 사인 β, 베셀, 진이브레 상호작용 브라운 운동의 경우, 폭발 조건이 만족되면 두 형식은 동일하다.
• 진이브레 점 과정은 모든 필요 조건 (A1)–(A6)를 충족하며, 이는 이 랜덤 매트릭스 집합에서 형식 동일성이 확인됨을 의미한다.
• 형식의 동일성은 하한형 딜레르트 형식이 상한형 딜레르트 형식의 실버스타인 확장임을 의미하며, 확장의 유일성에 관한 질문을 해결한다.
• 결과는 폭발 방지 조건이 형식 동일성에 충분한 조건임을 확인하며, 저자들은 이것이 필수 조건이기도 하다고 추측한다.