• Aucun résultat trouvé

New scaling of Itzykson-Zuber integrals

N/A
N/A
Protected

Academic year: 2022

Partager "New scaling of Itzykson-Zuber integrals"

Copied!
8
0
0

Texte intégral

(1)

www.elsevier.com/locate/anihpb

New scaling of Itzykson–Zuber integrals

Benoît Collins

a,

, Piotr ´Sniady

b

aResearch Institute for Mathematical Sciences, Kyoto university, Kyoto 606-8502, Japan bInstitute of Mathematics, University of Wroclaw, pl. Grunwaldzki 2/4, 50-384 Wroclaw, Poland Received 31 May 2005; received in revised form 26 September 2005; accepted 6 December 2005

Available online 17 January 2007

Abstract

We study asymptotics of the Itzykson–Zuber integrals in the scaling when one of the matrices has a small rank compared to the full rank. We show that the result is basically the same as in the case when one of the matrices has a fixed rank. In this way we extend the recent results of Guionnet and Maïda who showed that for the fixed rank scaling, the Itzykson–Zuber integral is given in terms of the Voiculescu’sR-transform of the full rank matrix.

©2006 Elsevier Masson SAS. All rights reserved.

Résumé

Nous étudions les asymptotiques de l’intégrale de Itzykson–Zuber dans le cas où l’une des matrices est de rang petit. Nous prouvons que l’asymptotique obtenue est la même que lorsque la matrice est de rang fixe. De cette manière, nous étendons les récents résultats de Guionnet et Maïda, qui prouvent que en rang fixe, l’intégrale de Itzykson–Zuber s’exprime à l’aide de la R-transformée de Voiculescu de la matrice en rang plein.

©2006 Elsevier Masson SAS. All rights reserved.

MSC:46L54; 15A52

Keywords:Itzykson–Zuber integral;R-transform

1. Introduction and the main result

For diagonal matricesAN, BNMN(C)we consider the Itzykson–Zuber integral IN(β)(AN, BN)=

eNTrU ANUBNdmβN(U ),

wheremβNdenotes the Haar measure on the orthogonal groupONwhenβ=1, on the unitary groupUNwhenβ=2, and on the symplectic group Sp(N/2)whenβ=4 (in the latter case,Nis even). Usually one is interested in the study

* Corresponding author.

E-mail addresses:collins@math.kyoto-u.ac.jp (B. Collins), Piotr.Sniady@math.uni.wroc.pl (P. ´Sniady).

0246-0203/$ – see front matter ©2006 Elsevier Masson SAS. All rights reserved.

doi:10.1016/j.anihpb.2005.12.003

(2)

of the asymptotics of the Itzykson–Zuber integral as the sizeN of the matrices tends to infinity and for this reason one would like to have an insight into the limit

Nlim→∞

1

N2logIN(β)(AN, BN)=: ˜I(β)A, μB) (1)

when the spectral measuresμAN, μBN converge weakly towards some probability measures onR. Existence of the limit of (1) was proved by Guionnet and Zeitouni [4].

In [1], the study of another scaling of Itzykson–Zuber integrals was initiated, namely when the rankM of the matrixAN is small compared to the full rankN. In order to obtain a non-trivial limit one should consider rather the limit

Nlim→∞

1

MN logIN(β)(AN, BN). (2)

In this paper we shall say that a family of matricesBNMN(C)converges in distributionif and only if for all integerk,N1Tr(BNk)tends towards a finite limit asN→ ∞.

The first author proved that ifAN=diag(t,0,0, . . .)has rank one and spectral measures ofBNconverge to some probability measureμBthen for any integerk,

Nlim→∞

1 N

k

∂tklogIN(2)(AN, BN) t=0

= dk dtk

t 0

RμB(s)ds t=0

.

The functionRis called Voiculescu’sR-transform and is of central importance in free probability theory. We recall its definition in Section 2.

In this paper, the following hypothesis and notation about the sequence of matricesANMN(C)will be used frequently.

Hypothesis 1.AN is diagonal and it has rankM(N )=o(N ). Its non-zero eigenvalues are denoted bya1,N· · · aM,N.

Using the results presented in our previous article [2] it is possible to prove that the following quite general state- ment holds true:

Theorem 2.Assume thatBNhas a limiting distributionμBand thatANis uniformly bounded and satisfies Hypoth- esis1. Then forβ=1and2,

1 N M(N )

k

∂tklogIN(β)(t AN, BN) t=0

β 2M(N )

M(N )

i=1

dk dtk

2t /β

0

Rμ(t ai,N)ds t=0

=o(1).

Ifβ=4then

1 N M(N )

k

∂tklogIN(β)(t AN, BN) t=0

+ 1 M(N )

M(N )

i=1

dk dtk

t 0

Rμ(t ai,N)ds t=0

=o(1).

Observe that it is convenient to separate the caseβ=4 from the casesβ=1,2.

We shall not prove this theorem since it is an immediate consequence of Theorem 5.5 of [2]. On the other hand, it has been proved recently in Theorem 7 of [3], that if theL-norm ofAN is bounded by a constant depending onBN

(see Theorem 4 in this paper), under Hypothesis 3 forBN, and provided thatM(N )=O(N1/2ε)for someε >0, one has forβ=1,2:

1

N M(N )logIN(β)(AN, BN)β 2M(N )

M(N )

i=1 2t /β

0

Rμ(sai,N)ds

=o(1). (3)

(3)

The main result of this paper is Theorem 6. It shows that Eq. (3) still holds true if one replaces the restriction M(N )=O(N1/2ε)by Hypothesis 1, and that under additional assumption onBN, it is enough to assume that the L-norm ofANis uniformly bounded by any constant, independently onBN.

The techniques used in this paper are elementary, and substantially simplify the proofs of [3]. Better, it becomes possible to express theR-transform as a limit of Guionnet–Zeitouni’s limits obtained in [4].

Letb1,N· · ·bN,N be the real eigenvalues of the diagonal matrixBN and letμBN be the probability measure N1N

i=1δbi,N. We make the following hypothesis on the family of matrices(BN)N∈NwithBNMN(C):

Hypothesis 3. The probability measure μBN converges weakly towards a compactly supported probability mea- sure μB and that b1,N (resp. bN,N) converge towards the upper bound λmax (resp. the lower bound λmin) of the support ofμB.

The Harish–Chandra formula in the case whenβ=2 and when the eigenvalues have no multiplicity tells that IN(2)(AN, BN)=det(eN·ai,Nbj,N)Ni,j=1

Δ(ai,N)Δ(bi,N) ,

whereΔdenotes Vandermonde determinant. In particular it implies that the value ofIN(2)depends only on the eigen- values ofAN, BNtherefore the assumption thatAN, BN are diagonal can be removed in the caseβ=2. However a priori it cannot be removed in the other cases (although it is an open question to the authors’ knowledge).

We recall some definitions that can be found in [3]. For a compactly supported probability measureμ, callHμits Hilbert transform

Hμ(z)= 1

zλdμ(λ).

It is invertible under composition in a complex neighborhood of infinity; and let us callz1+Rμits inverse.Rμis called theR-transformof Voiculescu.

LetHmin=limzλminHμB(z)andHmax=limzλmaxHμB(z).

Definition.Forβ∈ {1,2,4}, a compactly supported probability measureμand a real parametert we definefμ(β)(t ) as follows.

Ifβ=1,2, the function is fμ(β)(t )=t v(t )β

2

log

1+2

βt v(t )− 2 βt λ

dμ(λ) with

v(t )=

⎧⎪

⎪⎩

Rμ(β2t ) ifHmin2tβ Hmax, λmax2tβ if 2tβ > Hmax, λmin2tβ if 2tβ < Hmin.

Observe that in the particular caset∈ [Hmin, Hmax], fμ(β)(t )=

2t /β

0

Rμ(st )ds.

In the caseβ=4 the function is defined by fμ(4)(t )= −fμ(2)(t ).

One can prove that this function is continuous with respect tot and also with respect toμB for the metric on the measures given by

(4)

d(μ, μ)= |λmaxλmax| + |λminλmin| +sup

f (dμ−dμ), f =1 andf of Lipschitz constant 1

. (4)

The following result of [3] will be of fundamental importance for us.

Theorem 4.([3], Theorems 1.2 and 1.6) Assume that the family of matricesBN satisfies Hypothesis3. Forβ=1,2, for any real numbert,

Nlim→∞N1logIN

BN,diag(t,0, . . . ,0)

=fμ(β)

B (t ).

Note that although Guionnet and Maïda in [3] do not handle the caseβ=4, it is easy to extend their results to this case and we will take these results for granted.

At some points, we will need to make the following assumption on the matrixBN: Hypothesis 5.There exists a constantc >0 such that

bi+1,N+ 1

cN bi,N.

This assumption implies that the distribution ofμBhas an absolutely continuous part with respect to the Lebesgue measure whose density iscalmost everywhere on its support, and the support should be an interval.

With these preliminaries, we are ready to state our main result:

Theorem 6.Letβ∈ {1,2,4}.

(1) LetANbe a sequence of matrices satisfying Hypothesis1, and Hmin<lim inf

N aN,Nlim sup

N

a1,N< Hmax.

Assume thatBNsatisfies Hypothesis3. Then 1

N M(N )logIN(β)(AN, BN)β 2M(N )

M(N )

i=1

fμ(β)

B(ai,N) =o(1).

(2) LetANbe a sequence of matrices satisfying Hypothesis1. Assume thatBN satisfies Hypotheses3and5. Then 1

N M(N )logIN(β)(AN, BN)β 2M(N )

M(N )

i=1

fμ(β)

B(ai,N) =o(1).

(3) Let μ, ν be compactly supported real probability measures. Let ν be supported in a compact subset of (Hmin, Hmax). Fora∈ [0,1], letνa=+(1a)δ0. Then

alim0a1I˜(β)a, μ)=

t∈R

fμ(β)(t )dν(t ).

(4) Letμ, νbe compactly supported real probability measures. Assume thatμhas a connected support[λmin, λmax], and that there exists a constantc >0such that

c·dx1[λminmax]μ.

Then

alim0a1I˜(β)a, μ)=

t∈R

fμ(β)(t )dν(t ).

(5)

Remark.In Theorem 6, we do not handle the limit lima0a1I˜(β)a, μ)under the most general assumption that μ, νare compactly supported real probability measures. It is tempting to conjecture that Hypothesis 5 is irrelevant but we could not settle this question.

The next section is devoted to proving Theorem 6.

2. Proof of the main result

IN(β)satisfies the following obvious translation invariance property:

IN(β)(A, B)=eN xTrAIN(β)(A, B+xId), (5)

therefore there is no loss of generality in assuming thatBNis positive.

We shall need the following technical results:

Lemma 7.LetBMN(C)be Hermitian, with eigenvaluesb1· · ·bd0. LetΠ be a projector of rankN−1 andB=Π BΠand letb1· · ·bd=0its eigenvalues. Then one has

b1b1 b2· · ·bdbd=0.

Proof. LetV be the set of Hermitian projections of rankn+1−iandVbe the subset of projections ofV dominating 1−Π. According to the “minimax” theorem,bi =minπV π Bπ , andbi1=minπV π Bπ . SinceVV this implies thatbi+1bi. ReplacingBby B Id−Bshows thatbibi, which concludes the proof. 2

The following lemma is the keystone towards the proof of Theorem 6:

Lemma 8.One has

M(N )

i=1

Cinfi,NIN+1i

N

N+1−idiag(ai,N,0, . . . ,0), Ci,N

IN(AN, BN)

M(N )

i=1

sup

Ci,N

IN+1i

N

N+1−idiag(ai,N,0, . . . ,0), Ci,N

, (6)

where theinfandsupare taken over all diagonal matrices Ci,N=diag

c1(i), . . . , cN(i)+1i

such thatbkc(i)k bk+i1. (7)

Proof. We make this proof by induction onM(N ). ForM(N )=1 there is nothing to prove.

Suppose that the result holds at the levelM(N )−1. In the caseβ=2, we identifyUN1with a subgroup ofUN

via the morphism UN1

1 0 0 UN1

UN.

In the caseβ=1 we consider instead the embedding ofON1intoON

ON1

1 0 0 ON1

ON,

and in the caseβ=4, the embedding SPN1into SPN

SPN1

Id2 0 0 SPN1

⊂SPN.

We shall only deal with the caseβ=2, the casesβ=1,4 being similar.

(6)

Through the above identification, and using the invariance of Haar measure by convolution, we have IN(β)(AN, BN)=

UUN

VUN1

exp

NTrANV U BNUV

dmβN(U )dmβN1(V ). (8) In the remainder of the proof, N is fixed, so in order to lighten the notation we omit the subscript N for the matricesANandBN, and replaceai,N byai (resp.bi,Nbybi).

Since a unitary conjugation ofAby a unitary leavesIN(β)(A, B)invariant, one can assume without loss of generality that

A=diag(a1, . . . , aN)=

a1 0 0 A

withaiaj ifi < j. We shall also adopt the following notation:

B˜=U BU=

b˜11 B˜1 B˜1 B˜−−

.

Observe thatB˜−−MN1(C)andb˜11∈Care random variables depending on the matrix random variableU. With these notations we have

IN(β)(A, B)=

UUN

VUN1

exp

NTrAVBV˜

dmβN(U )dmβN1(V )

=

UUN

VUN−1

exp

N a1b˜11+NTrAVB˜−−V

dmβN(U )dmβN1(V )

=

UUN

exp N a1b˜11

VUN−1

exp

NTrAVB˜−−V

dmβN(U )dmβN1(V )

=

UUN

exp

N a1b˜11 IN(β)1

N

N−1A,B˜−−

dmβN(U ). (9)

We are in position to apply the recursion hypothesis to IN(β)1

N

N−1A,B˜−−

.

Lemma 7 implies that

M(N )

i=2 Cinfi,N

IN+1i N

N+1−idiag(ai,0, . . . ,0), Ci,N

IN(β)1 N

N−1A,B˜−−

M(N )

i=2

sup

Ci,N

IN+1i

N

N+1−idiag(ai,0, . . . ,0), Ci,N

, (10)

where the inf and sup are taken over the same set of matricesCi,N as in (7).

In addition, it is obvious that

UUN

exp N a1b˜11

dmβN(U )=IN(β)

diag(a1,0, . . . ,0), B .

The above remark and the inequality (10) plugged into Eq. (9) validate the recursion hypothesis at rankM(N )and complete the proof of the lemma. 2

We rephrase a continuity statement obtained by [3] suited for our purposes

(7)

Lemma 9.LetKbe a compact interval contained in(Hmin, Hmax). There exists a functiong:R+→R+continuous around0and such thatg(0)=0satisfying the following property:

For allε >0, for alltK, and for all Hermitian matricesBN, BN whose distributions have distanced (defined at Eq.(4))less thanεtoμ,

N1logIN

BN,diag(t,0, . . . ,0)

N1logIN

BN ,diag(t,0, . . . ,0)g(ε).

Now we are in position to prove the first two statements of Theorem 6.

Proof of Theorem 6, statements (1) and (3). Under Hypothesis 1, one observes that d(μCN,i, μ)→0,

wheredis the distance defined at Eq. (4) andCN,iis any sequence of matrices fulfilling the condition (7).

Taking the logarithm in the inequality of Lemma 8, and using the continuity result quoted in Lemma 9 concludes the proof of statement (1).

A minor modification of the above reasoning also shows statement (3). 2

Remark.Lemma 8 and the strategy used in the above proof allow us to state and prove a version of Lemma 9 where one replaces diag(t,0, . . . ,0))by a matrixANsatisfying Hypothesis 1. We skip these details.

The following lemma is a direct observation from the definitions, and we skip its proof.

Lemma 10.LetCN,iandCN,i be a pair of matrices fulfilling the condition(7). Under Hypothesis5, one has CN,i−Id· i

cN CN,i CN,i+Id· i cN.

Now we are in position to prove statements involving Hypothesis 5.

Proof of Theorem 6, statements (2) and (4).

We prove statement (4), statement (2) being a straightforward adaptation. Fix a in the open interval (0,1)and choose sequences of random matricesAN, BN such thatμANνaandμBNμ.

In agreement with statement (4) of Theorem 6, it is possible to choseBNsuch that it satisfies Hypotheses 3 and 5.

We choseAN such that it satisfies Hypothesis 3, and such that its rankM(N )aN. Taking the logarithm of the inequality of Lemma 8 yields:

1 MN

M(N )

i=1

CinfN,ilogIN+1i N

N+1−idiag(ai,0, . . . ,0), CN,i

1

MNlogIN(A, B) 1 MN

M(N )

i=1

sup

CN,i

logIN+1i

N

N+1−idiag(ai,0, . . . ,0), CN,i

, (11)

where inf and sup are taken overCN,ias in (7).

Let Ci,N+ =sup{C, CCi,N} and Ci,N =inf{C, CCi,N}. The notions of sup and inf are well-defined be- causeCi,Nconsists of diagonal matrices. Consider the function

φi,N:C→logIN+1i N

N+1−idiag(ai,0, . . . ,0), CN,i

.

Assume thatai >0. It is straightforward to check thatφi,Nis increasing onCi,N for anyi, Nin the sense thatC > C implies thatφ(C)φ(C). Therefore its sup is reached onCi,N+ and its inf onCi,N . Ifai<0, equivalent statements hold if one replaces “increasing” by “decreasing” and sup by inf.

Let us introduce C+N= max

i:iM(N+i)CN++i,i and CN= min

i:iM(N+i)CN+i,i,

(8)

where the maximum is taken pointwise (the matrices are diagonal and the index set is finite).

It is a simple observation thatCN+andCNhave a limiting distribution and that this distribution can be expressed in simple terms as a function ofμanda. Let us call respectivelyμ+a andμa these distributions.

According to Theorem 4, the function tN1logIN

diag(t,0, . . . ,0), CN+ is increasing and converges pointwise towardsfμ+

a asN tends towards∞. Dini’s lemma shows that this convergence is uniform and Cesaro’s theorem proves that one has

I˜(β)a, μ)

t∈R+

f(β)

μ+a (t )dνa(t )+

t∈R

f(β)

μa (t )a(t ).

In the same way,

t∈R+

f(β)

μa (t )a(t )+

t∈R

f(β)

μ+a (t )dνa(t )I˜(β)a, μ).

In addition, Lemma 10 imply that there exists a constantK depending only on ν andμ such that for allt in the spectrum ofν,

fμ+

a(t )fμ

a(t )caK

This concludes the proof of statement (4). 2 3. Concluding remarks

In comparison to [3], our method uses much weaker assumptions on the rank and norm of the matrices. Better, it allows us to state a continuity result about the limit ofI Zin a new scaling and thus validate an “inversion of limit”

phenomenon.

Last, it shows that Hypotheses 3 and 5 are relevant one to perform computations outside the phase transition zone (that is, to say something about the limit outside the open interval (Hmin, Hmax)). This is a substantial improvement to the paper [3] in which nothing was proved at “low temperature” for the finite scaling of rankM >1.

Unfortunately, our approach heavily relies on real-number inequalities and we believe that finer estimates, as well as complex valued estimates of [3] cannot be established with our methods.

Acknowledgements

The authors benefited from an excellent working atmosphere in Banff free probability meeting in October 2004.

They also thank Alice Guionnet for stimulating discussions. Both authors gratefully acknowledge the referees’ careful reading and their improvement suggestions.

The research of P. ´S. was supported by State Committee for Scientific Research (KBN) grant 2 P03A 007 23, RTN network: QP-Applications contract No. HPRN-CT-2002-00279, and KBN-DAAD project 36/2003/2004. This author is a holder of a scholarship of European Post-Doctoral Institute for Mathematical Sciences. The research of B.C. was partly supported by a JSPS postdoctoral fellowship and by a RIMS COE postdoctoral fellowship.

References

[1] B. Collins, Moments and cumulants of polynomial random variables on unitary groups, the Itzykson–Zuber integral, and free probability, Int.

Math. Res. Not. 17 (2003) 953–982.

[2] B. Collins, P. ´Sniady, Integration with respect to the Haar measure on unitary, orthogonal and symplectic groups, Comm. Math. Phys., in press.

Preprint, arXiv:math-ph/0402073.

[3] A. Guionnet, M. Maïda, A Fourier view on theR-transform and related asymptotics of spherical integrals, J. Funct. Anal. 222 (2) (2005) 435–490.

[4] A. Guionnet, O. Zeitouni, Large deviations asymptotics for spherical integrals, J. Funct. Anal. 188 (2) (2002) 461–515.

Références

Documents relatifs

Rossmann, Nilpotent orbital integrals in a real semisimple Lie algebra and representations of Weyl groups, Operator Algebras, Unitary Represen- tations, Envelopping Algebras

Write down the form of the full configuration interaction (FCI) ground-state wave function of the He in terms of spin-adapted configurations (also called configuration

Shortly afterwards, Nourdin and Peccati (2011) considered the problem of determining, still in term of a finite number of moments, the convergence of a sequence of multiple

In this work we answer the above question and consider the case of L ∈ F n×m 2 , i.e., the number of outputs (m) might be different than the number of inputs (n).. We show that

We prove that a uniform, rooted unordered binary tree with n vertices has the Brownian continuum random tree as its scaling limit for the Gromov-Hausdorff topol- ogy.. The limit

In section 6 we construct a uniquely ergodic non weakly mixing finite rank Cantor minimal system to illustrate that eigenvalues do not always come from the stable space associated

In particu- lar, if the multiple integrals are of the same order and this order is at most 4, we prove that two random variables in the same Wiener chaos either admit a joint

In this section, we show that a random vector of dimension 2 whose components are multiple integrals in the same Wiener chaos either admits a density with respect to the