Mouvement brownien sur les groupes de Lie compacts de...

18
Mouvement brownien sur les groupes de Lie compacts de grande dimension Antoine Dahlqvist Technische Universität Berlin 7 avril 2014 Onzième colloque Jeunes Probabilistes et Statisticiens 1 / 15

Transcript of Mouvement brownien sur les groupes de Lie compacts de...

Page 1: Mouvement brownien sur les groupes de Lie compacts de ...jps.math.cnrs.fr/2014/Exposes/Proc_stochastiques/Dahlqvist.pdf · Définition et construction comme solution d’EDS Soit

Mouvement brownien sur les groupes de Lie

compacts de grande dimension

Antoine Dahlqvist

Technische Universität Berlin

7 avril 2014

Onzième colloque Jeunes Probabilistes et Statisticiens

1 / 15

Page 2: Mouvement brownien sur les groupes de Lie compacts de ...jps.math.cnrs.fr/2014/Exposes/Proc_stochastiques/Dahlqvist.pdf · Définition et construction comme solution d’EDS Soit

1 Définition et construction comme solution d’EDS

2 Cas des groupes classiques

3 Convergence et fluctuation de la mesure empirique des valeurs propres

2 / 15

Page 3: Mouvement brownien sur les groupes de Lie compacts de ...jps.math.cnrs.fr/2014/Exposes/Proc_stochastiques/Dahlqvist.pdf · Définition et construction comme solution d’EDS Soit

Définition et construction comme solution d’EDS

Soit G un groupe de Lie.

Définition

Un mouvement brownien à droite sur G est un processus (Zt)t≥0, à valeurs

dans G, vérifiant les conditions suivantes :

1. Pour toute suite ordonnée de réels 0 = t0 < t1 < . . . < tn+1, les variables

aléatoires (Z−1

tiZti+1

)0≤i≤n sont indépendantes et Z−1

t1Zt2 a même loi que

Zt2−t1 .

2. Presque sûrement, la fonction t ∈ R+ �→ Zt ∈ G est continue.

Exemple (G = U(1))

Si (Bt)t≥0 est mouvement brownien standard, (eiBt )t≥0 est un mouvement

brownien (à gauche et à droite) sur U(1).

3 / 15

Page 4: Mouvement brownien sur les groupes de Lie compacts de ...jps.math.cnrs.fr/2014/Exposes/Proc_stochastiques/Dahlqvist.pdf · Définition et construction comme solution d’EDS Soit

Définition et construction comme solution d’EDS

G : un sous-groupe fermé de GLN(C), g l’algèbre de Lie de G.

(Kt)t≥0 un mouvement brownien sur g, (Zt)t≥0 la solution forte de l’EDS

dZt = Zt ◦ dKt = ZtdKt +1

2Zt�dKt .dKt�,

Z0 = Id.

Lemme

P (∀t ≥ 0,Zt ∈ G) = 1.

Le processus (Zt)t≥0 est un mouvement brownien à droite sur G.

Exemple (G = U(1))

Si (Bt)t≥0 est mouvement brownien standard, (Ut)t≥0 = (eiBt )t≥0 vérifie

dUt = Ut idBt −Utdt

2.

4 / 15

Page 5: Mouvement brownien sur les groupes de Lie compacts de ...jps.math.cnrs.fr/2014/Exposes/Proc_stochastiques/Dahlqvist.pdf · Définition et construction comme solution d’EDS Soit

Cas des groupes classiques

On considère les trois séries de groupes compacts classiques :

O(N) = {O ∈ MN(R) : OtO = Id},

U(N) = {U ∈ MN(C) : U∗U = Id} et

Sp(2N) = {S ∈ U(2N) : J−1StJS = Id}, où J =

�0 IN

−IN 0

�,

d’algèbres de Lie respectives

o(N) = {X ∈ MN(R) : X t + X = 0},u(N) = {X ∈ MN(C) : X ∗ + X = 0} et

sp(2N) = {X ∈ u(2N) : J−1X tJ + X = 0}.

5 / 15

Page 6: Mouvement brownien sur les groupes de Lie compacts de ...jps.math.cnrs.fr/2014/Exposes/Proc_stochastiques/Dahlqvist.pdf · Définition et construction comme solution d’EDS Soit

Cas des groupes classiques

On définit un produit scalaire �·, ·� sur MN(C) en posant

�X ,Y � = NTr(X ∗Y ).

gN : une des trois algèbres de Lie ci-dessus,

(Kt)t≥0 : le processus gaussien sur gN tel que

∀X ,Y ∈ gN , E[�X ,Kt��Y ,Ks�] = t ∧ s �X ,Y �.

u(N) : [i. GUE]

1√N

. . . Yl,m,t

iBp,t

−Yl,m,t. . .

,

(Yl,m,t)l<m,t≥0 : browniens standards complexes.

(Bp,t)p,t≥0 : browniens standards réels.

Ces processus sont indépendants.

6 / 15

Page 7: Mouvement brownien sur les groupes de Lie compacts de ...jps.math.cnrs.fr/2014/Exposes/Proc_stochastiques/Dahlqvist.pdf · Définition et construction comme solution d’EDS Soit

Cas des groupes classiques

On définit un produit scalaire �·, ·� sur MN(C) en posant

�X ,Y � = NTr(X ∗Y ).

gN : une des trois algèbres de Lie ci-dessus,

(Kt)t≥0 : le processus gaussien sur gN tel que

∀X ,Y ∈ gN , E[�X ,Kt��Y ,Ks�] = t ∧ s �X ,Y �.

u(N) : [i. GUE]

1√N

. . . Yl,m,t

iBp,t

−Yl,m,t. . .

,

(Yl,m,t)l<m,t≥0 : browniens standards complexes.

(Bp,t)p,t≥0 : browniens standards réels.

Ces processus sont indépendants.

6 / 15

Page 8: Mouvement brownien sur les groupes de Lie compacts de ...jps.math.cnrs.fr/2014/Exposes/Proc_stochastiques/Dahlqvist.pdf · Définition et construction comme solution d’EDS Soit

Cas des groupes classiques

Le mouvement brownien (Zt)t≥0 vérifie

Groupes orthogonaux :

dZt = ZtdKt −1

2(1 − 1

N)Ztdt .

Groupes symplectiques :

dZt = ZtdKt −1

2(1 +

1

2N)Ztdt .

Groupes unitaires :

dZt = ZtdKt −1

2Ztdt .

7 / 15

Page 9: Mouvement brownien sur les groupes de Lie compacts de ...jps.math.cnrs.fr/2014/Exposes/Proc_stochastiques/Dahlqvist.pdf · Définition et construction comme solution d’EDS Soit

Convergence et fluctuation de la mesure empirique des valeurs propres

(Zt)t≥0 mouvement brownien sur un groupe compact classique

Mesure spectrale d’une marginale :

µNt =

1

N

λ vp Zt

δλ.

Moments :�U wnµN

t(dw) = 1

NTr(Z n

t), n ∈ Z.

Théorème (P. Biane, F. Xu, T. Lévy)

Pour tout t ≥ 0,

µNt

P−→ µt ,

faiblement, µt : mesure déterministe sur U. Pour tout n ∈ Z∗,

1

NTr(Z n

t )P−→ 1

|n|

|n|−1�

k=0

(−|n|t)k

k !

�|n|

k + 1

�e

−|n|t2 .

8 / 15

Page 10: Mouvement brownien sur les groupes de Lie compacts de ...jps.math.cnrs.fr/2014/Exposes/Proc_stochastiques/Dahlqvist.pdf · Définition et construction comme solution d’EDS Soit

Convergence et fluctuation de la mesure empirique des valeurs propres

(Zt)t≥0 mouvement brownien sur un groupe compact classique

Mesure spectrale d’une marginale :

µNt =

1

N

λ vp Zt

δλ.

Moments :�U wnµN

t(dw) = 1

NTr(Z n

t), n ∈ Z.

Théorème (P. Biane, F. Xu, T. Lévy)

Pour tout t ≥ 0,

µNt

P−→ µt ,

faiblement, µt : mesure déterministe sur U. Pour tout n ∈ Z∗,

1

NTr(Z n

t )P−→ 1

|n|

|n|−1�

k=0

(−|n|t)k

k !

�|n|

k + 1

�e

−|n|t2 .

8 / 15

Page 11: Mouvement brownien sur les groupes de Lie compacts de ...jps.math.cnrs.fr/2014/Exposes/Proc_stochastiques/Dahlqvist.pdf · Définition et construction comme solution d’EDS Soit

Convergence et fluctuation de la mesure empirique des valeurs propres

La mesure µt admet une densité ρt par rapport à la mesure de Lebesgue sur

U. Transition au temps t=4 :

FIGURE: Tracé de ρt(e2iπθ), en abscisse l’angle paramétré par θ ∈]− 1

2, 1

2[, en

ordonnée le temps t ∈ [0, 6].

9 / 15

Page 12: Mouvement brownien sur les groupes de Lie compacts de ...jps.math.cnrs.fr/2014/Exposes/Proc_stochastiques/Dahlqvist.pdf · Définition et construction comme solution d’EDS Soit

Convergence et fluctuation de la mesure empirique des valeurs propres

Pour tout t ≥ 0,

SNt = Spec(Zt),

St = supp(µt),

pour ε > 0,S

εt = {x ∈ U : d(x ,St) ≤ ε}.

Théorème (A. D., B. Collins,T.Kemp)

∀t ≥ 0, ε > 0,P�S

Nt ⊂ S

εt

�→ 1, quand N → ∞.

10 / 15

Page 13: Mouvement brownien sur les groupes de Lie compacts de ...jps.math.cnrs.fr/2014/Exposes/Proc_stochastiques/Dahlqvist.pdf · Définition et construction comme solution d’EDS Soit

Convergence et fluctuation de la mesure empirique des valeurs propres

Valeurs propres d’un mouvement brownien unitaire :

CN = {(θ1, . . . , θN) ∈ UN : θN − 2π < θ1 < θ2 < . . . < θN}.

Proposition

P.s., pour tout t > 0, θt ∈ CN et (θt)t≥0 est solution de l’EDS

dθp,t =1√N

dBp,t +1

N

q �=p

cotan

�θp,t − θq,t

2

�dt , 1 ≤ p ≤ N (Dyson unitaire)

avec pour condition initiale θ0 = 0 et où (Bt,p)t≥0,1≤p≤N sont N mouvements

browniens standards i.i.d.

11 / 15

Page 14: Mouvement brownien sur les groupes de Lie compacts de ...jps.math.cnrs.fr/2014/Exposes/Proc_stochastiques/Dahlqvist.pdf · Définition et construction comme solution d’EDS Soit

Convergence et fluctuation de la mesure empirique des valeurs propres

Répulsion entre les valeurs propres : la normalisation n’est pas celle d’un

théorème central limite classique, pour tout n ∈ Z,

1√N

N�

p=1

(einθp − µt(zn)) → 0.

Pour tout polynôme P ∈ R[X ,X−1] ,

∆Nt (P) =

λ vp Zt

(P(λ)− µt(P))

= Tr(P(Zt))− Nµt(P).

12 / 15

Page 15: Mouvement brownien sur les groupes de Lie compacts de ...jps.math.cnrs.fr/2014/Exposes/Proc_stochastiques/Dahlqvist.pdf · Définition et construction comme solution d’EDS Soit

Convergence et fluctuation de la mesure empirique des valeurs propres

Répulsion entre les valeurs propres : la normalisation n’est pas celle d’un

théorème central limite classique, pour tout n ∈ Z,

1√N

N�

p=1

(einθp − µt(zn)) → 0.

Pour tout polynôme P ∈ R[X ,X−1] ,

∆Nt (P) =

λ vp Zt

(P(λ)− µt(P))

= Tr(P(Zt))− Nµt(P).

12 / 15

Page 16: Mouvement brownien sur les groupes de Lie compacts de ...jps.math.cnrs.fr/2014/Exposes/Proc_stochastiques/Dahlqvist.pdf · Définition et construction comme solution d’EDS Soit

Convergence et fluctuation de la mesure empirique des valeurs propres

Pour P ∈ R[X ,X−1],

∆Nt (P) = Tr(P(Zt))− Nµt(P).

Théorème (T. Lévy et M. Maïda, A.D.)

La famille (∆Nt(P))t≥0,P∈R[X ,X−1] converge en loi vers un vecteur gaussien

U(N) : complexe centré (ψt(P))t≥0,P∈R[X ,X−1].

O(N) : réel non centré

�mt(P) +

√2Re (ψt(P))

t≥0,P∈R[X ,X−1].

Sp(2N) : réel non centré

�−mt(P) +

√2Re (ψt(P))

t≥0,P∈R[X ,X−1].

13 / 15

Page 17: Mouvement brownien sur les groupes de Lie compacts de ...jps.math.cnrs.fr/2014/Exposes/Proc_stochastiques/Dahlqvist.pdf · Définition et construction comme solution d’EDS Soit

Convergence et fluctuation de la mesure empirique des valeurs propres

[3] [?][?]

Antoine Dahlqvist.

Gaussian planar master fields.

in preparation.

T. Lévy and M. Maïda.

Central limit theorem for the heat kernel measure on the unitary group.

ArXiv e-prints, May 2009.

Thierry Lévy.

The master field on the plane.

ArXiv e-prints, December 2011.

[2][1][1]

14 / 15

Page 18: Mouvement brownien sur les groupes de Lie compacts de ...jps.math.cnrs.fr/2014/Exposes/Proc_stochastiques/Dahlqvist.pdf · Définition et construction comme solution d’EDS Soit

Convergence et fluctuation de la mesure empirique des valeurs propres

Merci

15 / 15