[論文レビュー] Inequalities related to free entropy derived from random matrix approximation

Fumio Hiai, Dėnes Petz+1 more|ArXiv.org|Oct 29, 2003

Random Matrices and Applications参考文献 24被引用数 4

ひとこと要約

本稿は、特殊ユニタリ群 SU(n) のスケーリング極限 n→∞ を用いて、単位円周 𝕋 上の確率測度に対して、自由版対数ソボレフ不等式（LSI）およびタラグランドの輸送コスト不等式（TCI）の類似を確立する。Bakry-Émery の古典的 LSI を SU(n) 上で拡張し、n→∞ の極限にまで拡大することで、Q に対して凸性条件を満たす場合、𝕋 上の測度に対して定数 1/(1+2ρ) の自由 LSI を導出する。これは、Biane が ℝ 上で得た結果を一般化したものである。

ABSTRACT

Biane proved the free analog of the logarithmic Sobolev inequality for probability measures on the real line by means of random matrix approximation procedure. We show that the same method can be applied to reprove Biane and Voiculescu's free analog of Talagrand's transportation cost inequality for measures on the real line. Furthermore, we prove the free analogs of the logarithmic Sobolev inequality and the transportation cost inequality for measures on 1-dimensional torus as well by extending the method to special unitary random matrices.

研究の動機と目的

• Biane が ℝ 上の測度に対して用いたランダム行列近似法を、単位円周 𝕋 上の測度への自由 LSI の拡張に適用すること。
• 同様の方法を用いて、𝕋 上の確率測度に対するタラグランドの輸送コスト不等式の自由版を確立すること。
• SU(n) 上の古典的 Bakry-Émery LSI を、大規模ランダムユニタリ行列の漸近的極限に一般化すること。
• Q に凸性条件を課した下で、𝕋 上の相対自由エントロピーと自由フィッシャー情報が、定数 1/(1+2ρ) を持つ新しい不等式を満たすことを証明すること。
• 特殊ユニタリ行列の経験的固有値分布のための厳密な大偏差枠組みを提供し、ほとんど確実な収束を保証すること。

提案手法

• 特殊ユニタリ行列の n×n 経験的固有値分布に Bakry-Émery の対数ソボレフ不等式を、リーマン多様体 SU(n) 上に適用する。
• SU(n)-不変な行列集合の固有値分布に対する大偏差原理を用いて、経験的測度が制限測度にほとんど確実に収束することを保証する。
• 潜在力 Q を用いた n×n 特殊ユニタリ行列の固有値を用いて、𝕋 上のランダム行列モデルを構築する。このとき、連続固有値密度はバーデルモンデターミナントと Q の指数関数を含む。
• 特殊ユニタリ行列の経験的固有値測度に対する大偏差原理のレート関数として、自由相対エントロピー 𝔼Σ_Q(μ) が現れることを証明する。
• スケーリング極限 n→∞ を用いて、分配関数および固有値密度の対数漸近的挙動を解析することで、𝕋 上の自由 LSI を導出する。
• 固有値密度における対数モーメント母関数と相互作用項の漸近的挙動を分析することで、重要な不等式 𝔼Σ_Q(μ) ≤ 1/(1+2ρ) · F_Q(μ) を確立する。

実験結果

リサーチクエスチョン

• RQ1 Biane が ℝ に対して用いたランダム行列近似法を、単位円周 𝕋 上の自由 LSI および TCI の証明に拡張可能か？
• RQ2 𝕋 上の測度に対する自由対数ソボレフ不等式における最適定数は何か？また、これは潜在力 Q にどのように依存するか？
• RQ3 SU(n) 行列の固有値分布に対する大偏差原理は、𝕋 上の自由エントロピー不等式の導出をどのように支援するか？
• RQ4 潜在力 Q にどのような条件を課すれば、自由フィッシャー情報が 𝕋 上の自由相対エントロピーを制御できるか？
• RQ5 SU(n) 上の古典的 Bakry-Émery LSI を用いて、𝕋 上の測度に対する非自明な自由 LSI を n→∞ の極限で導出可能か？

主な発見

• 本稿は、単位円周上での自由対数ソボレフ不等式を証明する：μ ∈ ℳ(𝕋) に対して、Q(e^{i t}) - (ρ/2)t² が ℝ 上で凸で ρ > -1/2 を満たす限り、𝔼Σ_Q(μ) ≤ 1/(1+2ρ) · F_Q(μ) が成り立つ。
• この不等式は、n×n 特殊ユニタリ行列を用いたランダム行列近似により導出され、制限的な経験的固有値分布がほとんど確実に目的の測度に収束する。
• この手法は、SU(n)-不変行列集合のための大偏差原理に依存しており、固有値分布のレート関数が自由相対エントロピー 𝔼Σ_Q(μ) に一致することを保証する。
• 著者らは、𝕋 上の自由フィッシャー情報 F_Q(μ) が、行列集合の古典的フィッシャー情報の極限に一致することを確立し、Voiculescu の定義と整合的であることを確認した。
• 分配関数および固有値密度の漸近的解析により、対数モーメント母関数が二重積分 ∫∫ log|ζ−η| dμ(ζ)dμ(η) に加え、ポテンシャル項に収束することが示された。
• この結果は、Biane が ℝ 上で得た自由 LSI を、compact な設定 𝕋 に一般化したものであり、実数直線の場合の 1/(2ρ) に代わり、定数 1/(1+2ρ) が現れる。これは、円周の異なる幾何的性質を反映している。