Tracial smooth functions of non-commuting variables and the free Wasserstein manifold

From MaRDI portal
Publication:5089672

DOI10.4064/DM843-10-2021zbMATH Open1502.46052arXiv2101.06572OpenAlexW3124898035MaRDI QIDQ5089672FDOQ5089672


Authors: David Jekel, Wuchen Li, D. Shlyakhtenko Edit this on Wikidata


Publication date: 20 July 2022

Published in: Dissertationes Mathematicae (Search for Journal in Brave)

Abstract: We formulate a free probabilistic analog of the Wasserstein manifold on mathbbRd (the formal Riemannian manifold of smooth probability densities on mathbbRd), and we use it to study smooth non-commutative transport of measure. The points of the free Wasserstein manifold mathscrW(mathbbRd) are smooth tracial non-commutative functions V with quadratic growth at infty, which correspond to minus the log-density in the classical setting. The space of smooth tracial non-commutative functions used here is a new one whose definition and basic properties we develop in the paper; they are scalar-valued functions of self-adjoint d-tuples from arbitrary tracial von Neumann algebras that can be approximated by trace polynomials. The space of non-commutative diffeomorphisms mathscrD(mathbbRd) acts on mathscrW(mathbbRd) by transport, and the basic relationship between tangent vectors for mathscrD(mathbbRd) and tangent vectors for mathscrW(mathbbRd) is described using the Laplacian LV associated to V and its pseudo-inverse PsiV (when defined). Following similar arguments to arXiv:1204.2182, arXiv:1701.00132, and arXiv:1906.10051 in the new setting, we give a rigorous proof for the existence of smooth transport along any path tmapstoVt when V is sufficiently close (1/2)sumjoperatornametr(xj2), as well as smooth triangular transport.


Full work available at URL: https://arxiv.org/abs/2101.06572




Recommendations



Cites Work


Cited In (10)





This page was built for publication: Tracial smooth functions of non-commuting variables and the free Wasserstein manifold

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5089672)