Search arXivSearch

arXiv · 2108.09844

Brown measure of the sum of an elliptic operator and a free random variable in a finite von Neumann algebra

Abstract

Given an $n\times n$ random matrix $X_n$ with i.i.d. entries of unit variance, the circular law says that the empirical spectral distribution (ESD) of $X_n/\sqrt{n}$ converges to the uniform measure on the unit disk. Let $M_n$ be a deterministic matrix that converges in $*$-moments to an operator ${x}$. It is known from the work by Śniady and Tao--Vu that the ESD of $X_n/\sqrt{n}+M_n$ converges to the Brown measure of ${x}+c$, where $c$ is Voiculescu's circular operator. We obtain a formula for the Brown measure of ${x}+c$ which provides a description of the limit distribution. This answers a question of Biane--Lehner for arbitrary operator ${x}$. Generalizing the case of circular and semi-circular operators, we also consider a family of twisted elliptic operators that are $*$-free from ${x}$. For an arbitrary twisted elliptic operator $g$, possible degeneracy then prevents a direct calculation of the Brown measure of ${x}+g$. We instead show that the whole family of Brown measures are the push-forward measures of the Brown measure of ${x}+c$ under a family of self-maps of the plane, which could possibly be singular. We calculate explicit formula for the case ${x}$ is self-adjoint. In addition, we prove that the Brown measure of the sum of an $R$-diagonal operator and a twisted elliptic element is supported in a deformed ring where the inner boundary is a circle and the outer boundary is an ellipse. These results generalize some known results about free additive Brownian motions where the free random variable ${x}$ is assumed to be self-adjoint. The approach is based on a Hermitian reduction and subordination functions.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Ping Zhong. 2025-08-24. Brown measure of the sum of an elliptic operator and a free random variable in a finite von Neumann algebra. https://arxiv.org/abs/2108.09844

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

KEEP EXPLORING

Related papers

Upper and lower limits of scales and the interchange of quantifiers

We define lower and upper limits for a family of structured subobjects of a fixed ambient object, as the direct limit of the meets over tails and the inverse limit of the joins over tails, and construct the canonical comparison morphism between them. The family need not be a diagram: its members are related only through the ambient object. We distinguish two senses in which the comparison may be invertible, before and after forgetting the structure, and prove that they coincide exactly when the forgetful functor reflects isomorphisms; they therefore agree for sets, for vector spaces and for Banach spaces, and separate for locally convex spaces. For countable scales of Banach spaces the separation cannot occur when the upper limit is ultrabornological, so under those hypotheses the obstruction is localised in the topology of that limit. Intermediate conditions correspond to factorisations of the forgetful functor, of which bornological convergence is one. In the cases that matter the comparison is an interchange of quantifiers: membership in the lower limit means that one value of the second index serves every value of the first, and membership in the upper limit that every value of the first is served by some value of the second. We exhibit this for spaces of test functions, for weighted Sobolev spaces, for Laurent series and for the adeles, and discuss three further conditions that suggest themselves.

math.OA

Totally Bounded Elements in W*-probability Spaces

We introduce the notion of a totally ($K$-) bounded element of a $W^*$-probability space $(M, φ)$ and, borrowing ideas of Kadison, give an intrinsic characterization of the $^*$-subalgebra $M_{\operatorname{tb}}$ of totally bounded elements. Namely, we show that $M_{\operatorname{tb}}$ is the unique strongly dense $^*$-subalgebra $M_0$ of totally bounded elements of $M$ for which the collection of totally $1$-bounded elements of $M_0$ is complete with respect to the $\|\cdot\|_φ^\#$-norm and for which $M_0$ is closed under all operators $h_a(\log(Δ))$ for $a \in \mathbb{N}$, where $Δ$ is the modular operator and $h_a(t):=1/\cosh(t-a)$ (see Theorem 4.3). We also prove that totally $K$-bounded elements of an Ocneanu ultraproduct admit representatives with the same total bound using a careful effective estimate of the distance of a given totally bounded element to the totally 1-bounded elements. An alternative proof in the appendix uses an isometric $H^\infty$-lifting theorem for the Ocneanu multiplier quotient, derived from a metric $H^\infty$-lifting theorem for $C^*$-quotients and a $C^*$-algebraic Schur parametrization. We combine these results with Rieffel and Van Daele's bounded operator approach to modular theory to arrive at a new language and axiomatization of $W^*$-probability spaces as metric structures. Previous work of Dabrowski had axiomatized $W^*$-probability spaces using a smeared version of multiplication, but the subalgebra $M_{\operatorname{tb}}$ allows us to give an axiomatization in terms of the original algebra operations. Finally, we prove the (non-)axiomatizability of several classes of $W^*$-probability spaces.

math.OA

Strict comparison and selflessness

It is shown that an infinite dimensional, simple, unital, monotracial C*-algebra with strict comparison with respect to its trace is selfless.

math.OA