[論文レビュー] A Laplace Principle for Hermitian Brownian Motion and Free Entropy I: the convex functional case

Yoann Dabrowski|arXiv (Cornell University)|Apr 21, 2016

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] においてラプラス原理が成立し、明確に定義されたレート関数を持つ大偏差原理が導かれる。
• 二次関数未満、下から有界、厳密に凸で、リプシッツ連続導関数を持つポテンシャルを満たす自己随伴族に対して、χ(X₁,…,Xₘ) = χ∗(X₁,…,Xₘ) が成り立つ。
• レート関数は、ブーエ＝デュプア公式とブリクの逆ヴァラドハン補題を用いて導出された、自由アナロジーの「圧力」を含む変分公式として表現される。
• 時間反転された自由ブラウン運動の共役変数は、マルチンゲール導関数の L² 範数を含む積分方程式を満たし、ホルダー連続性が確立される。
• 時間反転構成により、ドリフトが存在する場合のエントロピーが制御され、χ(X₁+√TS₁,…,Xₘ+√TSₘ) ≤ χ(X₁+√TS₁,…,Xₘ+√TSₘ : √TS₁,…,√TSₘ) が成り立つ。この不等式は、与えられた条件下で等号に至る。
• 従来の研究で用いられた行列近似技術を避けて、凸解析と超積法に依拠することで、二つのエントロピー変種の等価性が確立される。