Searcharxiv⌕ Search

arXiv · math/0701787

Free diffusions and Matrix models with strictly convex interaction

Abstract

We study solutions to the free stochastic differential equation $dX_t = dS_t - \half DV(X_t)dt$, where $V$ is a locally convex polynomial potential in $m$ non-commuting variables. We show that for self-adjoint $V$, the law $μ_V$ of a stationary solution is the limit law of a random matrix model, in which an $m$-tuple of self-adjoint matrices are chosen according to the law $\exp(-N \textrm{Tr}(V(A_1,...,A_m)))dA_1... dA_m$. We show that if $V=V_β$ depends on complex parameters $β_1,...,β_k$, then the law $μ_V$ is analytic in $β$ at least for those $β$ for which $V_β$ is locally convex. In particular, this gives information on the region of convergence of the generating function for planar maps. We show that the solution $dX_t$ has nice convergence properties with respect to the operator norm. This allows us to derive several properties of $C^*$ and $W^*$ algebras generated by an $m$-tuple with law $μ_V$. Among them is lack of projections, exactness, the Haagerup property, and embeddability into the ultrapower of the hyperfinite II$_1$ factor. We show that the microstates free entropy $χ(τ_V)$ is finite. A corollary of these results is the fact that the support of the law of any self-adjoint polynomial in $X_1,...,X_n$ under the law $μ_V$ is connected, vastly generalizing the case of a single random matrix.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

A. Guionnet, D. Shlyakhtenko. 2007-01-26. Free diffusions and Matrix models with strictly convex interaction. https://arxiv.org/abs/math/0701787

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

The e-Property for Quantum Markov Semigroups

Let $(\mathcal{T}_t)_{t\geqslant0}$ be a quantum Markov semigroup on a von Neumann algebra and let $\mathcal{A}$ be an invariant Feller $C^*$-algebra. We formulate the $e$-property on the full state space and show that its quantitative defect is equivalent, within an optimal factor two, to the Hausdorff measure of non-compactness of observable orbits. We develop Cesàro and Lip-norm criteria and a generalised Doeblin minorisation by a state-space contracting positive map, including finite-dimensional and measure-prepare factorisations. When every observable has the $e$-property, the Jacobs--de Leeuw--Glicksberg decomposition identifies the reversible Choi--Effros algebra and the norm-stable sector. Expected and decoherence-free subalgebras transfer the property under norm decay of the complementary dynamics, including infinite-dimensional ultracontractive and finite-index Pimsner--Popa regimes. Finally, we establish the full comparison hierarchy among ordinary, eventual, Cesàro and pointwise eventual equicontinuity notions, reinforced by matrix Jamison and homoclinic flow counterexamples. Projection-face criteria are treated in a companion paper.

math.OA↗

Geometric Aspects of $C^*$-Extreme Points II

Building on the results of \cite{HR}, we investigate the relationship between \(C^*\)-extremality and linear extremality in the closed unit balls of general unital \(C^*\)-algebras. We show that, unlike in von Neumann algebras, these two notions of extremality need not coincide in general \(C^*\)-algebras. More precisely, we prove that the unilateral shift is a linear extreme point, but not a \(C^*\)-extreme point, of the closed unit ball of the Toeplitz \(C^*\)-algebra. We further establish that \(C^*\)-extremality implies linear extremality whenever the \(C^*\)-algebra admits a faithful unital representation on a separable Hilbert space. We also prove this implication for elements admitting a factorization $x=v|x|$, where $v$ is a partial isometry belonging to the algebra, and extend the result to suitable quotient \(C^*\)-algebras, including the Calkin algebra. Finally, we characterize the linear extreme points of the closed unit ball of unital \(C^*\)-subalgebras of \(B(H)\) containing the compact operators.

math.OA↗

Every classifiable simple C*-algebra has a C*-diagonal

We construct C*-diagonals in all UCT Kirchberg algebras. Together with known constructions of C*-diagonals in the stably finite setting by Xin Li, this shows that every classifiable C*-algebra (in the sense of the Elliott classification programme) has a C*-diagonal. In fact, we show that every UCT Kirchberg algebra admits an untwisted principal étale groupoid model with a finite-dimensional unit space.

math.OA↗