REMARKS ON ABSOLUTE CONTINUITY IN THE CONTEXT OF FREE PROBABILITY AND RANDOM MATRICES arxiv: v2 [math.pr] 8 Feb 2015

Transcription

1 REMARKS ON ABSOLUTE CONTINUITY IN THE CONTEXT OF FREE PROBABILITY AND RANDOM MATRICES arxiv: v2 [math.pr] 8 Feb 205 ARIJIT CHAKRABARTY AND RAJAT SUBHRA HAZRA Abstract. In this note, we show that the limiting spectral distribution of symmetric random matrices with stationary entries is absolutely continuous under some sufficient conditions. This result is applied to obtain sufficient conditions on a probability measure for its free multiplicative convolution with the semicircle law to be absolutely continuous.. Introduction For two probability measures µ and ν on R, one can associate the free additive convolution µ ν. This is defined as the distribution of X µ +Y ν where X µ and Y ν are self-adjoint variables affiliated to a tracial W - probability space and are free from each other. Similarly, for probability measures µ and ν on [0, ) and R respectively, the free multiplicative convolution is denoted by µ ν and represents the law of Xµ /2 Y ν Xµ /2 where X µ and Y ν are free variables as before. Since µ is supported on the positive half line, X µ is positive. We refer to Bercovici and Voiculescu [5] and Arizmendi and Pérez- Abreu [] for details of these notions and some related transforms. The questions of absolute continuity of these convolutions, with respect to the Lebesgue measure, are important. For compactly supported and absolutely continuous measures µ and ν, Voiculescu [] showed that µ ν is absolutely continuous. The result was extended to the non-compactly supported case when one of the measures is the semicircle law by Biane [6]. Further regularity properties of additive convolution were studied by Belinschi [3]. Some recent works study regularity properties in the context of free multiplicative convolution (µ ν), see for example Belinschi and Bercovici [4], Pérez-Abreu and Sakuma [9], Zhong [2]. Theorem 4. of Belinschi [2] gives necessary and sufficient conditions for µ ν to have an atom at a particular point. However, absolute continuity is much less understood. The following question is a step in that direction, namely, the multiplicative analogue of the problem addressed in Biane [6]. 200 Mathematics Subject Classification. Primary 60B20; Secondary 46L54, 46L53. Key words and phrases. free multiplicative convolution, absolute continuity, random matrix. The research of both authors is supported by their respective INSPIRE grants from the Department of Science and Technology, Government of India.

2 2 A. CHAKRABARTY AND R. S. HAZRA Question. Let µ be any probability measure on [0, ), and let µ s denote the semicircle law, defined in (6). Under what conditions on µ, is µ µ s absolutely continuous? Our first result gives a sufficient condition on µ to answer Question. Theorem.. Let µ be a probability measure on R such that µ([δ, )) = for some δ > 0. Assume furthermore that µ has finite mean. Then, µ µ s is absolutely continuous. For stating the next question, we need to introduce a random matrix model. Let f be any non-negative integrable function on [ π,π] 2. Assume furthermore that f is even, that is, () f( x, y) = f(x,y), π x,y π. Then, there exists a mean zero stationary Gaussian process (G i,j : i,j Z) such that (2) E(G i,j G i+u,j+v ) = π π π π e ι(ux+vy) f(x,y)dxdy, for all i,j,u,v Z, () ensuring that the right hand side is real. For N, let G N be the N N matrix defined by (3) G N (i,j) := (G i,j +G j,i )/ N, i,j N. Above and elsewhere, for any matrix H, H(i,j) denotes its (i,j)-th entry. It has been shown in Theorem 2. of Chakrabarty et al. [7] that there exists a (deterministic) probability measure ν f such that (4) ESD(G N ) ν f, weakly in probability, as N. ESD stands for the empirical spectral distribution for a symmetric N N random matrix H, which is a random probability measure on R defined by (ESD(H))( ) := N N δ λj ( ), where λ... λ N are the eigenvalues of H, counted with multiplicity. The second question that this paper attempts to answer is the following. Question 2. Under what conditions on f, is ν f absolutely continuous? j= The answer is provided by the following result. Theorem.2. If essinf (x,y) [ π,π] 2[f(x,y)+f(y,x)] > 0, then ν f is absolutely continuous, where essinf denotes the essential infimum.

3 FREE MULTIPLICATIVE CONVOLUTION 3 While Questions and 2 seem unrelated a priori, the reader will notice after seeing the proofs that they are not so. This is because random matrix theory is used as a tool for proving Theorem., Theorem.2 being anyway a question about a random matrix. It is shown in Proposition 2., which is a consequence of Theorem.2, that if a measure satisfies the conditions of Theorem. then, its free multiplicative convolution with a semicircle law is also the free additive convolution of another measure and a dilated semicircle law. The proofs are compiled in the following section. Many known facts are used, which are collected in Section 3 for the convenience of the reader. 2. Proofs For the proof of the results we shall refer to various known facts which are listed in the Appendix of this article. One of the main ingredients is the following fact which follows from Proposition 22.32, page 375 of Nica and Speicher [8]. The latter result reasserts the seminal discovery in Voiculescu [0] that the Wigner matrix is asymptotically freely independent of a deterministic matrix which has a compactly supported limiting spectral distribution. Fact 2.. Assume that for each N, A N is a N N Gaussian Wigner matrix scaled by N, that is, (A N (i,j) : i j N) are i.i.d. normal random variables with mean zero and variance /N, and A N (j,i) = A N (i,j). Suppose that B N is a N N random matrix, such that as N, (5) N Tr(Bk N ) P R x k µ(dx), k, for some compactly supported (deterministic) probability measure µ. Furthermore, let the families (A N : N ) and (B N : N ) be independent. Then, as N, N E F Tr [ (A N +B N ) k] P R x k µ µ s (dx) for all k, where F := σ(b N : N ) and E F denotes the conditional expectation with respect to F. We first proceed towards proving Theorem.2. The first step in that direction is Lemma 2. below. However, before stating that, we define a dilated semicircle law µ s (t) for all t > 0. It is a probability measure on R given by 4t x 2 (6) (µ s (t))(dx) = ( x 2 t)dx, x R. 2πt In other words, it is the semicircle law with variance t. For t =, it equals the standard semicircle law, that is, µ s µ s ().

4 4 A. CHAKRABARTY AND R. S. HAZRA Lemma 2.. Let α > 0. Denote Then, (f +α)(, ) := f(, )+α. (7) ν f+α = ν f µ s (8π 2 α). Proof. Let us first prove this for the case that f is a trigonometric polynomial, that is, of the form n (8) f(x,y) = a j,k e ι(jx+ky) 0, j,k= n for some finitenand real numbers a j,k, in addition to satisfying (). By Fact 3.5, ν f+α and ν f have compact supports, and hence so does ν f µ s (8π 2 α). Therefore, it suffices to check that (9) x k ν f+α (dx) = x k (ν f µ s (8π 2 α))(dx) for all k. Let (G i,j : i,j Z) be a mean zero stationary Gaussian process satisfying (2). Let (H i,j : i,j Z) be a family of i.i.d. N(0,4π 2 α) random variables, independent of (G i,j : i,j Z). For N, let G N be as in (3), and further define the N N matrices W N and Z N by W N (i,j) := (H i,j +H j,i )/ N, i,j N, Z N := G N +W N. Fact 3.5 implies that ( ) N Tr G k P N x k ν f (dx), k, as N. This, along with Fact 2. and the observation that the upper triangular entries of W N are i.i.d. N(0,8π 2 α/n), implies that ( ) (0) N E F Tr ZN k P x k (ν f µ s (8π 2 α))(dx), k, where F := σ(g i,j : i,j Z). It is easy to see that (G i,j + H i,j : i,j Z) is a stationary mean zero Gaussian process whose spectral density is f+α, and hence Fact 3.5 implies that [ ( E N E F Tr ZN) ] [ ( k = E N Tr ZN) ] k x k ν f+α (dx), and [ Var ( ZN) ] [ ( k Var N Tr ZN) ] k 0, N E F Tr as N, for all k. Combining the above two limits and comparing with(0) yields(9), andcompletes theproofof (7)whenf is atrigonometric polynomial.

5 FREE MULTIPLICATIVE CONVOLUTION 5 Now suppose that f is just a non-negative integrable function satisfying (). By considering the Fourier series of f, one can construct non-negative even trigonometric polynomials f n such that f n f in L. Since (7) holds with f replaced by f n, it follows that ν fn+α = ν fn µ s (8π 2 α) w ν f µ s (8π 2 α), asn, thesecondlinefollowingfromfact3.3combinedwithproposition 4.3 of Bercovici and Voiculescu [5]. Applying Fact 3.3 directly to ν fn+α yields w ν fn+α ν f+α, as n. This establishes the claimed identity and thus completes the proof. Proof of Theorem.2. Define g(x,y) := [f(x,y)+f(y,x)], π x,y π. 2 In view of Fact 3.4, it suffices to show that ν g is absolutely continuous. The hypothesis implies that there exists α > 0 such that g α almost everywhere on [ π,π] 2. Define h(, ) := g(, ) α. Notice that ν f = ν g = ν h µ s (8π 2 α), the two equalities following by Fact 3.4 and Lemma 2. respectively. Fact 3. completes the proof. For proving Theorem., we prove the following result which is of some independent interest. This along with Fact 3. establishes Theorem.. Proposition 2.. If µ satisfies the hypothesis of Theorem., then there exists a probability measure η such that µ µ s = η µ s (δ 2 ). Proof. Define a function r from [ π,π] to R by { { } r(x) := 2 3/2 π inf y R : x π µ(,y], 0 < x < π, 0, otherwise. Let U be an Uniform( π, π) random variable. Clearly, () P(2 3/2 πr(u) ) = µ( ), which implies that π π r(x)dx = 2πE[r(U)] = 2 /2 xµ(dx) <. 0

6 6 A. CHAKRABARTY AND R. S. HAZRA The hypothesis that µ(,δ) = 0 implies that Defining r(x) δ 2 3/2, 0 < x < π. π f(x,y) := r(x)r(y), it follows that f is an even (as in ()) non-negative integrable function bounded below by α almost everywhere, where Fact 3.2 and () imply that α := δ2 8π 2. µ µ s = ν f = ν f α µ s (8π 2 α), the second equality following from Lemma 2.. Setting η := ν f α, this completes the proof. Proof of Theorem.. Follows from Proposition 2. and Fact 3.. Remark. Theorem. is similar in spirit to Theorem 4. of [2]. Remark 2. Although finiteness of the mean of µ is used in proving Proposition 2. and thereby Theorem., the authors conjecture that the results are true without that assumption. 3. Appendix In this section, we collect the various facts that have been used in the proofs in Section 2. The following fact is Corollary 2 of Biane [6]. Fact 3.. For any probability measure µ, µ µ s is absolutely continuous with respect to the Lebesgue measure. The remaining facts are all quoted from Chakrabarty et al. [7]. Fact 3.2 (Theorem 2.4, Chakrabarty et al. [7]). Let r be a non-negative integrable even function defined on [ π, π], and f(x,y) := r(x)r(y), π x,y π. Then, ν f = µ r µ s, where ν f is as in (4), µ r is the law of 2 3/2 πr(u), and U is a Uniform( π,π) random variable.

7 FREE MULTIPLICATIVE CONVOLUTION 7 Fact 3.3 (Lemma 3.3, Chakrabarty et al. [7]). Suppose that for all n, g n is a non-negative, integrable and even function on [ π,π] 2. By even, it is meant that g n ( x, y) = g n (x,y) for all x,y. If then g n g in L as n, ν gn w νg. Fact 3.4 (Lemma 3.5, Chakrabarty et al. [7]). If f is a non-negative integrable even function on [ π,π] 2, and then g(x,y) := 2 [f(x,y)+f(y,x)], ν f = ν g. The following fact has been proved in the course of proving Proposition 3. of Chakrabarty et al. [7]; see (3.6) and (3.7) therein. Fact 3.5. Let f be a non-negative even trigonometric polynomial on [ π,π] 2 as in (8). Let the matrix G N be constructed as in (3) using the random variables (G i,j ) which are as in (2). Then, ν f has compact support, and for all k, [ ] lim E N N Tr(Gk N) = x k ν f (dx), R [ ] and lim Var N N Tr(Gk N ) = 0. Acknowledgement The authors are grateful to Manjunath Krishnapur for helpful discussions and an anonymous referee for constructive comments. References [] O. E. Arizmendi and V. Pérez-Abreu. The S-transform of symmetric probability measures with unbounded support. Proceedings of the American Mathematical Society, 37(9): , [2] S. T. Belinschi. The atoms of the free multiplicative convolution of two probability distributions. Integral Equations and Operator Theory, 46 (4): , [3] S. T. Belinschi. The Lebesgue decomposition of the free additive convolution of two probability distributions. Probability Theory and Related Fields, 42(-2):25 50, [4] S. T. Belinschi and H. Bercovici. Partially defined semigroups relative to multiplicative free convolution. International Mathematics Research Notices, 2005(2):65 0, 2005.

8 8 A. CHAKRABARTY AND R. S. HAZRA [5] H. Bercovici and D. Voiculescu. Free convolution of measures with unbounded support. Indiana University Mathematics Journal, 42: , 993. [6] P. Biane. On the free convolution with a semi-circular distribution. Indiana University Mathematics Journal, 46(3):705 78, 997. [7] A. Chakrabarty, R. S. Hazra, and D. Sarkar. From random matrices to long range dependence. Available at [8] A. Nica and R. Speicher. Lectures on the Combinatorics of Free Probability. Cambridge University Press, New York, [9] V. Pérez-Abreu and N. Sakuma. Free infinite divisibility of free multiplicative mixtures of the Wigner distribution. Journal of Theoretical Probability, 25():00 2, 202. [0] D. Voiculescu. Limit laws for random matrices and free products. Inventiones mathematicae, 04():20 220, 99. [] D. Voiculescu. The analogues of entropy and of Fisher s information measure in free probability theory, i. Communications in mathematical physics, 55():7 92, 993. [2] P. Zhong. On the free convolution with a free multiplicative analogue of the normal distribution. To appear in Journal of Theoretical Probability, DOI: 0.007/s x, 203. Theoretical Statistics and Mathematics Unit, Indian Statistical Institute, New Delhi address: arijit@isid.ac.in Theoretical Statistics and Mathematics Unit, Indian Statistical Institute, Kolkata address: rajatmaths@gmail.com