[논문 리뷰] A Laplace Principle for Hermitian Brownian Motion and Free Entropy I: the convex functional case

Yoann Dabrowski|arXiv (Cornell University)|2016. 04. 21.

Statistical Mechanics and Entropy인용 수 6

한 줄 요약

이 논문은 [0,1]에서 헤르미트 브라운 운동에 대해 라플라스 원리를 수립하여, 리프시츠 도함수를 갖는 비가환 다항식에 의해 근사 가능한, 이차 이하이면서 아래로 유계이고 엄격히 볼록인 슈윙거-다이슨 방정식을 만족하는 자기수반 튜플에 대해 마이크로스테이트 자유 엔트로피 χ와 비마이크로스테이트 자유 엔트로피 χ∗가 일치함을 증명한다. 증명은 두드러진 엘리스의 약한 수렴 접근법을 비가환 설정에 적응하기 위해 초구성 분석을 통해 스토하스틱 제어 공식화를 사용하며, 브우에-델루아 공식의 자유 연장판을 통해 비용 함수의 변분 공식을 도출한다.

ABSTRACT

This paper is part of a series aiming at proving that the $\limsup$ and $\liminf$ variants of Voiculescu's free entropy coincide. This is based on a Laplace principle (implying a large deviation principle) for hermitian brownian motion on $[0,1]$. In the current paper, we show that microstates free entropy $χ(X_1,...,X_m)$ and non-microstate free entropy $χ^*(X_1,...,X_m)$ coincide for self-adjoint variables $(X_1,...,X_m)$ satisfying a Schwinger-Dyson equation for subquadratic, bounded below, strictly convex potentials with Lipschitz derivative sufficiently approximable by non-commutative polynomials. Our results are based on Dupuis-Ellis weak convergence approach to large deviations where one shows a Laplace principle in obtaining a stochastic control formulation for exponential functionals. In the non-commutative context, ultrapoduct analysis replaces weak-convergence of the stochastic control problems.

연구 동기 및 목표

• 보이쿨레스쿠의 자유 엔트로피 이론에서 lim inf 대비 lim sup 변형 문제를 해결하기 위해.
• 잠재력에 대한 볼록성과 규칙성 조건 하에서 마이크로스테이트 자유 엔트로피 χ와 비마이크로스테이트 자유 엔트로피 χ∗의 일치를 수립하기 위해.
• 비가환 설정에서 스토하스틱 제어 공식화를 통해 헤르미트 브라운 운동에 대한 대규모 편차 원리를 수립하기 위해.
• 초구성 분석을 통해 두드러진 엘리스의 약한 수렴 접근법을 자유 확률론에 확장하기 위해.

제안 방법

• 대규모 편차 이론에 대해 두드러진 엘리스의 약한 수렴 접근법을 적용하여 지수 함수를 스토하스틱 제어 문제로 재구성한다.
• 비용 함수를 드리프트 과정에 대한 최소화로 표현하기 위해 브우에-델루아 공식의 자유 연장판을 사용한다.
• 고전적 설정에서의 약한 수렴을 비가환 행렬 근사에 대응하기 위해 초구성 분석으로 대체한다.
• 잠재력에 대한 조건을 부과한다: 이차 이하, 아래로 유계, 엄격히 볼록, 리프시츠 도함수를 갖는다. 이는 비가환 다항식에 의해 근사 가능하다.
• 시간 역전 기법을 자유 브라운 운동에 적용하여 공액 변수에 대한 적분 방정식을 유도하고 호일더 연속성을 제어한다.
• 클라크-오콘 공식과 반전 필터링에서의 마틴갈 성질을 사용하여 수직성과 공액 변수에 대한 핵심 항등식을 유도한다.

실험 결과

연구 질문

• RQ1 자기수반 랜덤 행렬에 대해 자유 엔트로피의 lim inf 및 lim sup 변형이 언제 일치하는가?
• RQ2 비가우시안, 볼록 잠재력에 대해 마이크로스테이트 자유 엔트로피 χ와 비마이크로스테이트 자유 엔트로피 χ∗가 일치하는가?
• RQ3 두드러진 엘리스의 스토하스틱 제어 접근법은 자유 확률론의 비가환 설정에 어떻게 적응될 수 있는가?
• RQ4 초구성 분석은 매트릭스 모델에 대한 대규모 편차 이론에서 약한 수렴을 대체하는 데 어떤 역할을 하는가?
• RQ5 자유 브라운 운동의 공액 변수 구조는 드리프트가 존재하는 상황에서 엔트로피에 대한 변분 공식을 유도하는 데 어느 정도 활용될 수 있는가?

주요 결과

• 헤르미트 브라운 운동에 대해 [0,1]에서 라플라스 원리가 성립하여 잘 정의된 비용 함수를 갖는 대규모 편차 원리가 성립한다.
• 리프시츠 도함수를 갖는 비가환 다항식에 의해 근사 가능한 이차 이하, 아래로 유계, 엄격히 볼록인 잠재력과 함께 슈윙거-다이슨 방정식을 만족하는 자기수반 튜플에 대해 χ(X1,…,Xm) = χ∗(X1,…,Xm)이다.
• 비용 함수는 브우에-델루아 공식과 브리스의 역 바르아한 사상에 의해 도출된 자유 연장판 압력의 변분 공식으로 표현된다.
• 시간 반전 자유 브라운 운동의 공액 변수는 말리아비안 도함수의 L2 노름을 포함하는 적분 방정식을 만족하며, 이는 호일더 연속성을 보장한다.
• 시간 역전 구성에 의해 엔트로피가 제어되며, χ(X1+√TS1,…,Xm+√TSm) ≤ χ(X1+√TS1,…,Xm+√TSm : √TS1,…,√TSm)임을 보여주며, 주어진 조건 하에서 등식이 성립함을 유도한다.
• 이전 연구에서 사용된 행렬 근사 기법을 피하고, 대신 볼록 분석과 초구성 방법을 활용하여 두 엔트로피 변형 간의 등식을 수립한다.