[论文解读] 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] 上满足拉普拉斯原理，意味着存在具有明确定义速率函数的大偏差原理。
• 对于满足具有利普希茨导数、可由非交换多项式逼近的次二次、有下界、严格凸势的自伴元组，有 χ(X1,…,Xm) = χ∗(X1,…,Xm)。
• 速率函数以涉及自由版本压力的变分公式表达，该公式通过布埃-杜普瓦伊公式与布里克的逆瓦拉达南引理推导得出。
• 时间反转自由布朗运动的共轭变量满足一个涉及马利温导数 L2 范数的积分方程，从而确立其霍尔德连续性。
• 通过时间反转构造控制熵，表明 χ(X1+√TS1,…,Xm+√TSm) ≤ χ(X1+√TS1,…,Xm+√TSm : √TS1,…,√TSm)，在给定条件下可推出等式。
• 该证明避免了先前工作中使用的矩阵逼近技术，转而依赖凸分析与超积方法，以确立两种熵变体的相等性。