Abstract
By solving a free analog of the Monge-Ampère equation, we prove a non-commutative analog of Brenier’s monotone transport theorem: if an n-tuple of self-adjoint non-commutative random variables Z
1,…,Z
n
satisfies a regularity condition (its conjugate variables ξ
1,…,ξ
n
should be analytic in Z
1,…,Z
n
and ξ
j
should be close to Z
j
in a certain analytic norm), then there exist invertible non-commutative functions F
j
of an n-tuple of semicircular variables S
1,…,S
n
, so that Z
j
=F
j
(S
1,…,S
n
). Moreover, F
j
can be chosen to be monotone, in the sense that and g is a non-commutative function with a positive definite Hessian. In particular, we can deduce that C
∗(Z
1,…,Z
n
)≅C
∗(S
1,…,S
n
) and \(W^{*}(Z_{1},\dots,Z_{n})\cong L(\mathbb{F}(n))\). Thus our condition is a useful way to recognize when an n-tuple of operators generate a free group factor. We obtain as a consequence that the q-deformed free group factors \(\varGamma_{q}(\mathbb{R}^{n})\) are isomorphic (for sufficiently small q, with bound depending on n) to free group factors. We also partially prove a conjecture of Voiculescu by showing that free Gibbs states which are small perturbations of a semicircle law generate free group factors. Lastly, we show that entrywise monotone transport maps for certain Gibbs measure on matrices are well-approximated by the matricial transport maps given by free monotone transport.
This is a preview of subscription content, access via your institution.
References
Anderson, G., Guionnet, A., Zeitouni, O.: An Introduction to Random Matrices. Cambridge University Press, Cambridge (2010)
Avsec, S.: Strong solidity of the q-Gaussian algebras for all −1<q<1. Preprint (2011)
Biane, P.: Segal–Bargmann transform, functional calculus on matrix spaces and the theory of semi-circular and circular systems. J. Funct. Anal. 144, 232–286 (1997)
Biane, P., Voiculescu, D.-V.: A free probability analogue of the Wasserstein metric on the trace-state space. Geom. Funct. Anal. 11(6), 1125–1138 (2001). MR1878316 (2003d:46087)
Borot, G., Guionnet, A.: Asymptotic expansion of β matrix models in the one-cut regime. Commun. Math. Phys. 317, 447–483 (2013)
Bozejko, M., Kummerer, B., Speicher, R.: q-Gaussian processes: non-commutative and classical aspects. Commun. Math. Phys. 185, 129–154 (1997)
Bożejko, M., Speicher, R.: An example of a generalized Brownian motion. Commun. Math. Phys. 137, 519–531 (1991)
Brenier, Y.: Polar factorization and monotone rearrangement of vector-valued functions. Commun. Pure Appl. Math. 44, 375–417 (1991)
Caffarelli, L.: Monotonicity properties of optimal transportation and the FKG and related inequalities. Commun. Math. Phys. 214, 547–563 (2000)
Dabrowski, Y.: A free stochastic partial differential equation. Ann. Inst. Henri Poincaré B, Probab. Stat., to appear. arXiv:1008.4742 (2010)
Guionnet, A., Maurel-Segala, E.: Combinatorial aspects of matrix models. ALEA Lat. Am. J. Probab. Math. Stat. 1, 241–279 (2006). MR 2249657 (2007g:05087)
Guionnet, A., Maurel-Segala, E.: Second order asymptotics for matrix models. Ann. Probab. 35, 2160–2212 (2007)
Guionnet, A., Shlyakhtenko, D.: Free diffusions and matrix models with strictly convex interaction. Geom. Funct. Anal. 18, 1875–1916 (2009)
Guionnet, A.: Random matrices and enumeration of maps. In: Proceedings of the International Congress of Mathematicians, vol. 3, pp. 623–636 (2006)
Guionnet, A.: Large Random Matrices: Lectures on Macroscopic Asymptotics. Lecture Notes in Mathematics, vol. 1957. Springer, Berlin (2009). Lectures from the 36th Probability Summer School held in Saint-Flour, 2006, MR 2498298 (2010d:60018)
Kennedy, M., Nica, A.: Exactness of the Fock space representation of the q-commutation relations. Commun. Math. Phys. 308, 115–132 (2011)
Nou, A.: Non injectivity of the q-deformed von Neumann algebra. Math. Ann. 330, 17–38 (2004)
Ozawa, N., Popa, S.: On a class of II1 factors with at most one Cartan subalgebra. Ann. Math. 172, 713–749 (2010)
Ozawa, N.: There is no separable universal II1-factor. Proc. Am. Math. Soc. 132, 487–490 (2004)
Ricard, E.: Factoriality of q-Gaussian von Neumann algebras. Commun. Math. Phys. 257, 659–665 (2005)
Shlyakhtenko, D.: Some estimates for non-microstates free entropy dimension with applications to q-semicircular families. Int. Math. Res. Not. 51, 2757–2772 (2004)
Shlyakhtenko, D.: Lower estimates on microstates free entropy dimension. Anal. PDE 2, 119–146 (2009)
Śniady, P.: Gaussian random matrix models for q-deformed Gaussian variables. Commun. Math. Phys. 216(3), 515–537 (2001). MR 2003a:81096
Śniady, P.: Factoriality of Bozejko–Speicher von Neumann algebras. Commun. Math. Phys. 246, 561–567 (2004)
Villani, C.: Topics in Optimal Transportation. Graduate Studies in Mathematics, vol. 58. Am. Math. Soc., Providence (2003)
Voiculescu, D.-V.: The analogues of entropy and of Fisher’s information measure in free probability theory II. Invent. Math. 118, 411–440 (1994)
Voiculescu, D.-V.: The analogues of entropy and of Fisher’s information measure in free probability, V. Invent. Math. 132, 189–227 (1998)
Voiculescu, D.-V.: A note on cyclic gradients. Indiana Univ. Math. J. 49, 837–841 (2000)
Voiculescu, D.-V.: Cyclomorphy. Int. Math. Res. Not. 6, 299–332 (2002)
Voiculescu, D.-V.: Free entropy. Bull. Lond. Math. Soc. 34(3), 257–278 (2002). MR 2003c:46077
Voiculescu, D.-V.: Symmetries arising from free probability theory. In: Cartier, P., Julia, B., Moussa, P., Vanhove, P. (eds.) Frontiers in Number Theory, Physics, and Geometry I, pp. 231–243. Springer, Berlin (2006)
Acknowledgements
The authors are grateful to Yoann Dabrowski for many useful comments and discussions. We also wish to mention that the idea of looking for a free analog of optimal transport (although via some duality arguments) was considered some 10 years ago by Cédric Villani and the authors; although the precise connection between optimal and monotone transport is still missing for the moment, such considerations have been an inspiration for the present work. We also thank the anonymous referees for their numerous comments which helped us to greatly improve our article.
Author information
Authors and Affiliations
Corresponding author
Additional information
Research of A. Guionnet was supported by ANR-08-BLAN-0311-01 and Simons foundation.
Research of D. Shlyakhtenko was supported by NSF grants DMS-0900776 and DMS-1161411 and DARPA HR0011-12-1-0009.
Rights and permissions
About this article
Cite this article
Guionnet, A., Shlyakhtenko, D. Free monotone transport. Invent. math. 197, 613–661 (2014). https://doi.org/10.1007/s00222-013-0493-9
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00222-013-0493-9