[论文解读] A non-commutative Path Space approach to stationary free Stochastic Differential Equations

Yoann Dabrowski|arXiv (Cornell University)|Jun 22, 2010

Advanced Operator Algebra Research参考文献 38被引用 14

一句话总结

本文提出了一种非交换路径空间框架，用于为有限冯诺依曼代数上的保守完全马尔可夫半群构造马尔可夫扩张，从而实现由自由布朗运动驱动的自由随机微分方程（SDEs）的平稳解。主要贡献在于建立了关于非微态自由熵的非交换塔拉朗德不等式，并利用形变/刚性技术证明了具有c.m.a.p.和正第一阶$L^2$贝蒂数的可数离散群的冯诺依曼代数不具有卡坦子代数，相关结果。

ABSTRACT

By defining tracial states on a non-commutative analogue of a path space, we construct Markov dilations for a class of conservative completely Markov semigroups on finite von Neumann algebras. This class includes all symmetric semigroups. For well chosen semigroups (for instance with generator any divergence form operator associated to a derivation valued in the coarse correspondence) those dilations give rise to stationary solutions of certain free SDEs previously considered by D. Shlyakhtenko. Among applications, we prove a non-commutative Talagrand inequality for non-microstates free entropy (relative to a subalgebra B and a completely positive map η:B o B). We also use those new deformations in conjunction with Popa's deformation/rigidity techniques. For instance, combining our results with techniques of Popa-Ozawa and Peterson, we prove that the von Neumann algebra of a countable discrete group with CMAP and positive first L^2 Betti number has no Cartan subalgebras.

研究动机与目标

• 为在自由概率背景下求解平稳自由SDEs，特别是与微态自由熵维数及$L^2$贝蒂数比较相关的问题。
• 克服以往为使解位于冯诺依曼代数自由积中而施加的严格保守性条件限制。
• 将马尔可夫扩张构造推广至经典设定之外，实现对一般保守完全马尔可夫半群的扩张。
• 将新扩张框架应用于冯诺依曼代数理论中的刚性结果证明，特别是关于卡坦子代数的问题。
• 建立相对于子代数和完全正映射的非交换塔拉朗德型运输成本不等式，适用于非微态自由熵。

提出的方法

• 在非交换路径空间的迹态上构造，以定义保守完全马尔可夫半群的马尔可夫扩张。
• 应用类似科莫戈罗夫-丹尼尔的构造方法，求解由自由SDE导出的形式伊tô方程，而无需预先知道解的位置。
• 利用扩张的显式结构推导平稳性的必要条件，确保解在环境$II_1$因子上生成一个保持迹的自同态。
• 通过自由布朗运动的作用，利用自由伊tô公式和取值于粗对应关系的导子性质，定义随机积分。
• 借助扩张构造冯诺依曼代数的形变（按波帕意义），从而可应用形变/刚性技术。
• 将该框架应用于$L^2$贝蒂数与c.m.a.p.群冯诺依曼代数，利用双模的紧致性与混合性质推导刚性结果。

实验结果

研究问题

• RQ1 是否可以在不强制解位于自由积中的严格保守性条件下，构造出超越限制的自由SDE的平稳解？
• RQ2 如何系统地为有限冯诺依曼代数上的保守完全马尔可夫半群构造马尔可夫扩张？
• RQ3 该非交换路径空间框架能否为非微态自由熵导出新的运输成本不等式？
• RQ4 利用这些新扩张，形变/刚性技术在多大程度上可被推广以证明卡坦子代数的缺失？
• RQ5 该框架能否在混合表示中用有界余循环替代非阿贝尔表示中的无界余循环，从而弱化刚性定理中的假设？

主要发现

• 本文为任意具有分离预对偶的实值闭导子的有限冯诺依曼代数上的自由SDE，构造了形如$X_t = X_0 - \frac{1}{2}\int_0^t \Delta(X)_s ds + \int_0^t \delta(X)_s \# dS_s$的平稳解。
• 证明了相对于子代数$B$和完全正映射$\eta: B \to B$的非微态自由熵的非交换塔拉朗德不等式，将经典运输成本不等式推广至自由非微态设定。
• 对于具有正第一阶$L^2$贝蒂数和c.m.a.p.的可数离散群$\Gamma$，其冯诺依曼代数$L(\Gamma)$不具有卡坦子代数。
• 该结果可推广至普罗丰特定自由p.m.p.遍历作用的交叉积$L^\infty(X) \rtimes \Gamma$，其中唯一的卡坦子代数在酉共轭意义下唯一。
• 该框架允许在非阿贝尔表示中用混合表示中的余循环替代恰当余循环，从而弱化先前刚性定理中的假设。
• 该扩张构造满足典范方程，并为初始冯诺依曼代数提供了一个典范形变，从而可应用波帕的形变/刚性技术。