Quantum ergodicity and delocalization
Transcript of Quantum ergodicity and delocalization
![Page 1: Quantum ergodicity and delocalization](https://reader030.fdocuments.us/reader030/viewer/2022020622/61ed72128851bd70c0748e40/html5/thumbnails/1.jpg)
I. Some history II. Quantum ergodicity III. Graphs
Quantum ergodicity and delocalization
Nalini Anantharaman
Universite de Strasbourg
March 21, 2019
![Page 2: Quantum ergodicity and delocalization](https://reader030.fdocuments.us/reader030/viewer/2022020622/61ed72128851bd70c0748e40/html5/thumbnails/2.jpg)
I. Some history II. Quantum ergodicity III. Graphs
I. Some history
II. Quantumergodicity
III. Toy model :discrete graphs
![Page 3: Quantum ergodicity and delocalization](https://reader030.fdocuments.us/reader030/viewer/2022020622/61ed72128851bd70c0748e40/html5/thumbnails/3.jpg)
I. Some history II. Quantum ergodicity III. Graphs
I. Some history
II. Quantumergodicity
III. Toy model :discrete graphs
![Page 4: Quantum ergodicity and delocalization](https://reader030.fdocuments.us/reader030/viewer/2022020622/61ed72128851bd70c0748e40/html5/thumbnails/4.jpg)
I. Some history II. Quantum ergodicity III. Graphs
I. Some history
II. Quantumergodicity
III. Toy model :discrete graphs
![Page 5: Quantum ergodicity and delocalization](https://reader030.fdocuments.us/reader030/viewer/2022020622/61ed72128851bd70c0748e40/html5/thumbnails/5.jpg)
I. Some history II. Quantum ergodicity III. Graphs
I. Some history
II. Quantumergodicity
III. Toy model :discrete graphs
![Page 6: Quantum ergodicity and delocalization](https://reader030.fdocuments.us/reader030/viewer/2022020622/61ed72128851bd70c0748e40/html5/thumbnails/6.jpg)
I. Some history II. Quantum ergodicity III. Graphs
1913 : Bohr’s model of the hydrogen atom
n = 1
n = 2
n = 3 Increasingenergy orbits
Emitted photonwith energy E = h f
Kinetic momentum is “quantized” J “ nh, where n P N.
![Page 7: Quantum ergodicity and delocalization](https://reader030.fdocuments.us/reader030/viewer/2022020622/61ed72128851bd70c0748e40/html5/thumbnails/7.jpg)
I. Some history II. Quantum ergodicity III. Graphs
1917 : A paper of Einstein
Zum Quantensatz von Sommerfeld und Epstein
![Page 8: Quantum ergodicity and delocalization](https://reader030.fdocuments.us/reader030/viewer/2022020622/61ed72128851bd70c0748e40/html5/thumbnails/8.jpg)
I. Some history II. Quantum ergodicity III. Graphs
1917 : A paper of Einstein
Zum Quantensatz von Sommerfeld und Epstein
![Page 9: Quantum ergodicity and delocalization](https://reader030.fdocuments.us/reader030/viewer/2022020622/61ed72128851bd70c0748e40/html5/thumbnails/9.jpg)
I. Some history II. Quantum ergodicity III. Graphs
1917 : A paper of Einstein
Zum Quantensatz von Sommerfeld und Epstein
![Page 10: Quantum ergodicity and delocalization](https://reader030.fdocuments.us/reader030/viewer/2022020622/61ed72128851bd70c0748e40/html5/thumbnails/10.jpg)
I. Some history II. Quantum ergodicity III. Graphs
1925 : operators / wave mechanics
Heisenberg : physical observables are operators (matrices)obeying certain commutation rules
r pp , pq s “ i~I .
The “spectrum” is obtained by computing eigenvalues of theenergy operator pH.
De Broglie (1923) : wave particle duality.
Schrodinger (1925) : wave mechanics
i~dψ
dt“
´
´~2
2m∆` V
¯
ψ
ψpx , y , z , tq is the wave function.
![Page 11: Quantum ergodicity and delocalization](https://reader030.fdocuments.us/reader030/viewer/2022020622/61ed72128851bd70c0748e40/html5/thumbnails/11.jpg)
I. Some history II. Quantum ergodicity III. Graphs
1925 : operators / wave mechanics
Heisenberg : physical observables are operators (matrices)obeying certain commutation rules
r pp , pq s “ i~I .
The “spectrum” is obtained by computing eigenvalues of theenergy operator pH.
De Broglie (1923) : wave particle duality.
Schrodinger (1925) : wave mechanics
i~dψ
dt“
´
´~2
2m∆` V
¯
ψ
ψpx , y , z , tq is the wave function.
![Page 12: Quantum ergodicity and delocalization](https://reader030.fdocuments.us/reader030/viewer/2022020622/61ed72128851bd70c0748e40/html5/thumbnails/12.jpg)
I. Some history II. Quantum ergodicity III. Graphs
Wigner 1950’ Random Matrix model for heavy nuclei
Figure: Left : nearest neighbour spacing histogram for nuclear dataensemble (NDE). Right : Dyon-Mehta statistic ∆ for NDE. Source O.Bohigas
![Page 13: Quantum ergodicity and delocalization](https://reader030.fdocuments.us/reader030/viewer/2022020622/61ed72128851bd70c0748e40/html5/thumbnails/13.jpg)
I. Some history II. Quantum ergodicity III. Graphs
Spectral statistics for hydrogen atom in strong magneticfield
Figure: Source Delande.
![Page 14: Quantum ergodicity and delocalization](https://reader030.fdocuments.us/reader030/viewer/2022020622/61ed72128851bd70c0748e40/html5/thumbnails/14.jpg)
I. Some history II. Quantum ergodicity III. Graphs
Billiard tables
In classical mechanics, billiard flow φt : px , ξq ÞÑ px ` tξ, ξq.
In quantum mechanics, i~dψ
dt“
´
´~2
2m∆` 0
¯
ψ.
![Page 15: Quantum ergodicity and delocalization](https://reader030.fdocuments.us/reader030/viewer/2022020622/61ed72128851bd70c0748e40/html5/thumbnails/15.jpg)
I. Some history II. Quantum ergodicity III. Graphs
Spectral statistics for several billiard tables
Figure: Random matrices and chaotic dynamics
![Page 16: Quantum ergodicity and delocalization](https://reader030.fdocuments.us/reader030/viewer/2022020622/61ed72128851bd70c0748e40/html5/thumbnails/16.jpg)
I. Some history II. Quantum ergodicity III. Graphs
A list of questions and conjectures
For classically ergodic / chaotic systems,
show that the spectrum of the quantum system resemblesthat of large random matrices (Bohigas-Giannoni-Schmitconjecture);
study the probability density |ψpxq |2, where ψpxq is a solutionto the Schrodinger equation (Quantum Unique Ergodicityconjecture);
show that ψpxq resembles a gaussian process(x P Bpx0,R~q,R " 1) (Berry conjecture).
This is meant in the limit ~Ñ 0 (small wavelength).
![Page 17: Quantum ergodicity and delocalization](https://reader030.fdocuments.us/reader030/viewer/2022020622/61ed72128851bd70c0748e40/html5/thumbnails/17.jpg)
I. Some history II. Quantum ergodicity III. Graphs
A list of questions and conjectures
For classically ergodic / chaotic systems,
show that the spectrum of the quantum system resemblesthat of large random matrices (Bohigas-Giannoni-Schmitconjecture);
study the probability density |ψpxq |2, where ψpxq is a solutionto the Schrodinger equation (Quantum Unique Ergodicityconjecture);
show that ψpxq resembles a gaussian process(x P Bpx0,R~q,R " 1) (Berry conjecture).
This is meant in the limit ~Ñ 0 (small wavelength).
![Page 18: Quantum ergodicity and delocalization](https://reader030.fdocuments.us/reader030/viewer/2022020622/61ed72128851bd70c0748e40/html5/thumbnails/18.jpg)
I. Some history II. Quantum ergodicity III. Graphs
A list of questions and conjectures
For classically ergodic / chaotic systems,
show that the spectrum of the quantum system resemblesthat of large random matrices (Bohigas-Giannoni-Schmitconjecture);
study the probability density |ψpxq |2, where ψpxq is a solutionto the Schrodinger equation (Quantum Unique Ergodicityconjecture);
show that ψpxq resembles a gaussian process(x P Bpx0,R~q,R " 1) (Berry conjecture).
This is meant in the limit ~Ñ 0 (small wavelength).
![Page 19: Quantum ergodicity and delocalization](https://reader030.fdocuments.us/reader030/viewer/2022020622/61ed72128851bd70c0748e40/html5/thumbnails/19.jpg)
I. Some history II. Quantum ergodicity III. Graphs
II. Quantum ergodicity
M a billiard table / compact Riemannian manifold, of dimension d .
In classical mechanics, billiard flow φt : px , ξq ÞÑ px ` tξ, ξq(or more generally, the geodesic flow = motion with zeroacceleration).
![Page 20: Quantum ergodicity and delocalization](https://reader030.fdocuments.us/reader030/viewer/2022020622/61ed72128851bd70c0748e40/html5/thumbnails/20.jpg)
I. Some history II. Quantum ergodicity III. Graphs
II. Quantum ergodicity
M a billiard table / compact Riemannian manifold, of dimension d .
In quantum mechanics :
i~dψ
dt“
´
´~2
2m∆` 0
¯
ψ
´~2
2m∆ψ “ Eψ,
in the limit of small wavelengths.
![Page 21: Quantum ergodicity and delocalization](https://reader030.fdocuments.us/reader030/viewer/2022020622/61ed72128851bd70c0748e40/html5/thumbnails/21.jpg)
I. Some history II. Quantum ergodicity III. Graphs
Eigenfunctions in the high frequency limit
M a billiard table / compact Riemannian manifold, of dimension d .
∆ψk “ ´λkψk or ´~2
2m∆ψ “ Eψ,
}ψk }L2pMq “ 1,
in the limit λk ÝÑ `8.
We study the weak limits of the probability measures on M,
ˇ
ˇψkpxqˇ
ˇ
2dVolpxq.
![Page 22: Quantum ergodicity and delocalization](https://reader030.fdocuments.us/reader030/viewer/2022020622/61ed72128851bd70c0748e40/html5/thumbnails/22.jpg)
I. Some history II. Quantum ergodicity III. Graphs
Let pψkqkPN be an orthonormal basis of L2pMq, with
´∆ψk “ λkψk , λk ď λk`1.
QE Theorem (simplified): Shnirelman 74, Zelditch 85,Colin de Verdiere 85
Assume that the action of the geodesic flow is ergodic forthe Liouville measure. Let a P C 0pMq. Then
1
Npλq
ÿ
λkďλ
ˇ
ˇ
ˇ
ż
Mapxq
ˇ
ˇψkpxqˇ
ˇ
2d Volpxq´
ż
Mapxqd Volpxq
ˇ
ˇ
ˇÝÑλÑ8
0.
![Page 23: Quantum ergodicity and delocalization](https://reader030.fdocuments.us/reader030/viewer/2022020622/61ed72128851bd70c0748e40/html5/thumbnails/23.jpg)
I. Some history II. Quantum ergodicity III. Graphs
Let pψkqkPN be an orthonormal basis of L2pMq, with
´∆ψk “ λkψk , λk ď λk`1.
QE Theorem (simplified): Shnirelman 74, Zelditch 85,Colin de Verdiere 85
Assume that the action of the geodesic flow is ergodic forthe Liouville measure. Let a P C 0pMq. Then
1
Npλq
ÿ
λkďλ
ż
Mapxq
ˇ
ˇψkpxqˇ
ˇ
2d Volpxq´
ż
Mapxqd Volpxq ÝÑ
λÑ80.
![Page 24: Quantum ergodicity and delocalization](https://reader030.fdocuments.us/reader030/viewer/2022020622/61ed72128851bd70c0748e40/html5/thumbnails/24.jpg)
I. Some history II. Quantum ergodicity III. Graphs
Let pψkqkPN be an orthonormal basis of L2pMq, with
´∆ψk “ λkψk , λk ď λk`1.
QE Theorem (simplified): Shnirelman 74, Zelditch 85,Colin de Verdiere 85
Assume that the action of the geodesic flow is ergodic forthe Liouville measure. Let a P C 0pMq. Then
1
Npλq
ÿ
λkďλ
ˇ
ˇ
ˇ
ż
Mapxq
ˇ
ˇψkpxqˇ
ˇ
2d Volpxq´
ż
Mapxqd Volpxq
ˇ
ˇ
ˇÝÑλÑ8
0.
![Page 25: Quantum ergodicity and delocalization](https://reader030.fdocuments.us/reader030/viewer/2022020622/61ed72128851bd70c0748e40/html5/thumbnails/25.jpg)
I. Some history II. Quantum ergodicity III. Graphs
Equivalently, there exists a subset S Ă N of density 1, such that
ż
Mapxq
ˇ
ˇψkpxqˇ
ˇ
2dVolpxq ´´ Ñ
kÝÑ`8kPS
ż
Mapxqd Volpxq.
Equivalently,
ˇ
ˇψkpxqˇ
ˇ
2Volpxq ´´ Ñ
kÝÑ`8kPS
dVolpxq
in the weak topology.
![Page 26: Quantum ergodicity and delocalization](https://reader030.fdocuments.us/reader030/viewer/2022020622/61ed72128851bd70c0748e40/html5/thumbnails/26.jpg)
I. Some history II. Quantum ergodicity III. Graphs
Equivalently, there exists a subset S Ă N of density 1, such that
ż
Mapxq
ˇ
ˇψkpxqˇ
ˇ
2dVolpxq ´´ Ñ
kÝÑ`8kPS
ż
Mapxqd Volpxq.
Equivalently,
ˇ
ˇψkpxqˇ
ˇ
2Volpxq ´´ Ñ
kÝÑ`8kPS
dVolpxq
in the weak topology.
![Page 27: Quantum ergodicity and delocalization](https://reader030.fdocuments.us/reader030/viewer/2022020622/61ed72128851bd70c0748e40/html5/thumbnails/27.jpg)
I. Some history II. Quantum ergodicity III. Graphs
The full statement uses analysis on phase space, i.e.
T ˚M “
px , ξq, x P M, ξ P T ˚x M(
.
For a “ apx , ξq a “reasonable” function on phase space, we candefine an operator on L2pMq,
apx ,Dxq
´
Dx “1
iBx
¯
.
![Page 28: Quantum ergodicity and delocalization](https://reader030.fdocuments.us/reader030/viewer/2022020622/61ed72128851bd70c0748e40/html5/thumbnails/28.jpg)
I. Some history II. Quantum ergodicity III. Graphs
On M “ Rd , we identify the momentum ξ with the Fouriervariable, and put
apx ,Dxqf pxq “1
p2πqd
ż
Rd
apx , ξq pf pξq eiξ¨x dξ.
for a a “reasonable” function.
Say a P S0pT ˚Mq if a is smooth and 0-homogeneous in ξ (i.e. a isa smooth function on the sphere bundle SM).
![Page 29: Quantum ergodicity and delocalization](https://reader030.fdocuments.us/reader030/viewer/2022020622/61ed72128851bd70c0748e40/html5/thumbnails/29.jpg)
I. Some history II. Quantum ergodicity III. Graphs
On M “ Rd , we identify the momentum ξ with the Fouriervariable, and put
apx ,Dxqf pxq “1
p2πqd
ż
Rd
apx , ξq pf pξq eiξ¨x dξ.
for a a “reasonable” function.
Say a P S0pT ˚Mq if a is smooth and 0-homogeneous in ξ (i.e. a isa smooth function on the sphere bundle SM).
![Page 30: Quantum ergodicity and delocalization](https://reader030.fdocuments.us/reader030/viewer/2022020622/61ed72128851bd70c0748e40/html5/thumbnails/30.jpg)
I. Some history II. Quantum ergodicity III. Graphs
Let pψkqkPN be an orthonormal basis of L2pMq, with
´∆ψk “ λkψk , λk ď λk`1.
QE Theorem (Shnirelman, Zelditch, Colin de Verdiere)
Assume that the action of the geodesic flow is ergodic forthe Liouville measure. Let apx , ξq P S0pT ˚Mq. Then
1
Npλq
ÿ
λkďλ
ˇ
ˇ
ˇ
@
ψk , apx ,Dxqψk
D
L2pMq´
ż
|ξ|“1apx , ξqdx dξ
ˇ
ˇ
ˇÝÑ 0.
![Page 31: Quantum ergodicity and delocalization](https://reader030.fdocuments.us/reader030/viewer/2022020622/61ed72128851bd70c0748e40/html5/thumbnails/31.jpg)
I. Some history II. Quantum ergodicity III. Graphs
Figure: Ergodic billiards. Source A. Backer
![Page 32: Quantum ergodicity and delocalization](https://reader030.fdocuments.us/reader030/viewer/2022020622/61ed72128851bd70c0748e40/html5/thumbnails/32.jpg)
I. Some history II. Quantum ergodicity III. Graphs
Figure: Source A. Backer
![Page 33: Quantum ergodicity and delocalization](https://reader030.fdocuments.us/reader030/viewer/2022020622/61ed72128851bd70c0748e40/html5/thumbnails/33.jpg)
I. Some history II. Quantum ergodicity III. Graphs
Why the geodesic flow ?
1 Define the “Quantum Variance”
VarλpK q “1
Npλq
ÿ
λkďλ
ˇ
ˇ
ˇxψk ,
eit?
∆
K
e´it?
∆
ψkyL2pMq
ˇ
ˇ
ˇ.
Invariance property under conjugacy by eit?
∆ (quantumdynamics).
2 Introduction of pseudodiffs ù emergence of a classicaldynamical system (billiard / geodesic flow).
eit?
∆apx ,Dxqe´it?
∆ “ a ˝ φtpx ,Dxq ` rpx ,Dxq.
lim supλÝÑ8
Varλ`
apx ,Dxq˘
“ lim supλÝÑ8
Varλ
´
1
T
ż T
0
a ˝ φtpx ,Dxq
dt
¯
![Page 34: Quantum ergodicity and delocalization](https://reader030.fdocuments.us/reader030/viewer/2022020622/61ed72128851bd70c0748e40/html5/thumbnails/34.jpg)
I. Some history II. Quantum ergodicity III. Graphs
Why the geodesic flow ?
1 Define the “Quantum Variance”
VarλpK q “1
Npλq
ÿ
λkďλ
ˇ
ˇ
ˇxψk , eit
?∆K e´it
?∆ψkyL2pMq
ˇ
ˇ
ˇ.
Invariance property under conjugacy by eit?
∆ (quantumdynamics).
2 Introduction of pseudodiffs ù emergence of a classicaldynamical system (billiard / geodesic flow).
eit?
∆apx ,Dxqe´it?
∆ “ a ˝ φtpx ,Dxq ` rpx ,Dxq.
lim supλÝÑ8
Varλ`
apx ,Dxq˘
“ lim supλÝÑ8
Varλ
´
1
T
ż T
0
a ˝ φtpx ,Dxq
dt
¯
![Page 35: Quantum ergodicity and delocalization](https://reader030.fdocuments.us/reader030/viewer/2022020622/61ed72128851bd70c0748e40/html5/thumbnails/35.jpg)
I. Some history II. Quantum ergodicity III. Graphs
Why the geodesic flow ?
1 Define the “Quantum Variance”
VarλpK q “1
Npλq
ÿ
λkďλ
ˇ
ˇ
ˇxψk , eit
?∆K e´it
?∆ψkyL2pMq
ˇ
ˇ
ˇ.
Invariance property under conjugacy by eit?
∆ (quantumdynamics).
2 Introduction of pseudodiffs ù emergence of a classicaldynamical system (billiard / geodesic flow).
eit?
∆apx ,Dxqe´it?
∆ “ a ˝ φtpx ,Dxq ` rpx ,Dxq.
lim supλÝÑ8
Varλ`
apx ,Dxq˘
“ lim supλÝÑ8
Varλ
´
1
T
ż T
0
a ˝ φtpx ,Dxq
dt
¯
![Page 36: Quantum ergodicity and delocalization](https://reader030.fdocuments.us/reader030/viewer/2022020622/61ed72128851bd70c0748e40/html5/thumbnails/36.jpg)
I. Some history II. Quantum ergodicity III. Graphs
Why the geodesic flow ?
1 Define the “Quantum Variance”
VarλpK q “1
Npλq
ÿ
λkďλ
ˇ
ˇ
ˇxψk , eit
?∆K e´it
?∆ψkyL2pMq
ˇ
ˇ
ˇ.
Invariance property under conjugacy by eit?
∆ (quantumdynamics).
2 Introduction of pseudodiffs ù emergence of a classicaldynamical system (billiard / geodesic flow).
eit?
∆apx ,Dxqe´it?
∆ “ a ˝ φtpx ,Dxq ` rpx ,Dxq.
lim supλÝÑ8
Varλ`
apx ,Dxq˘
“ lim supλÝÑ8
Varλ
´
1
T
ż T
0
a ˝ φtpx ,Dxq
dt
¯
![Page 37: Quantum ergodicity and delocalization](https://reader030.fdocuments.us/reader030/viewer/2022020622/61ed72128851bd70c0748e40/html5/thumbnails/37.jpg)
I. Some history II. Quantum ergodicity III. Graphs
Why the geodesic flow ?
1 Define the “Quantum Variance”
VarλpK q “1
Npλq
ÿ
λkďλ
ˇ
ˇ
ˇxψk , eit
?∆K e´it
?∆ψkyL2pMq
ˇ
ˇ
ˇ.
Invariance property under conjugacy by eit?
∆ (quantumdynamics).
2 Introduction of pseudodiffs ù emergence of a classicaldynamical system (billiard / geodesic flow).
eit?
∆apx ,Dxqe´it?
∆ “ a ˝ φtpx ,Dxq ` rpx ,Dxq.
lim supλÝÑ8
Varλ`
apx ,Dxq˘
“ lim supλÝÑ8
Varλ
´ 1
T
ż T
0a ˝ φtpx ,Dxqdt
¯
![Page 38: Quantum ergodicity and delocalization](https://reader030.fdocuments.us/reader030/viewer/2022020622/61ed72128851bd70c0748e40/html5/thumbnails/38.jpg)
I. Some history II. Quantum ergodicity III. Graphs
3 Control by the L2-norm (Plancherel formula).
lim supλÑ8
Varλpapx ,Dxqq “ lim supλÑ8
Varλ
´ 1
T
ż T
0a˝φtpx ,Dxqdt
¯
ď
´
ż
xPM,|ξ|“1
ˇ
ˇ
ˇ
1
T
ż T
0a ˝ φtpx , ξqdt
ˇ
ˇ
ˇ
2dx dξ
¯1{2.
4 Use the ergodicity of classical dynamics to conclude.Ergodicity : if a has zero mean, then
limTÑ`8
1
T
ż T
0a ˝ φtpx , ξqdt “ 0
in L2pdx dξq and for almost every px , ξq.
![Page 39: Quantum ergodicity and delocalization](https://reader030.fdocuments.us/reader030/viewer/2022020622/61ed72128851bd70c0748e40/html5/thumbnails/39.jpg)
I. Some history II. Quantum ergodicity III. Graphs
3 Control by the L2-norm (Plancherel formula).
lim supλÑ8
Varλpapx ,Dxqq “ lim supλÑ8
Varλ
´ 1
T
ż T
0a˝φtpx ,Dxqdt
¯
ď
´
ż
xPM,|ξ|“1
ˇ
ˇ
ˇ
1
T
ż T
0a ˝ φtpx , ξqdt
ˇ
ˇ
ˇ
2dx dξ
¯1{2.
4 Use the ergodicity of classical dynamics to conclude.Ergodicity : if a has zero mean, then
limTÑ`8
1
T
ż T
0a ˝ φtpx , ξqdt “ 0
in L2pdx dξq and for almost every px , ξq.
![Page 40: Quantum ergodicity and delocalization](https://reader030.fdocuments.us/reader030/viewer/2022020622/61ed72128851bd70c0748e40/html5/thumbnails/40.jpg)
I. Some history II. Quantum ergodicity III. Graphs
Figure: Source A. Backer
![Page 41: Quantum ergodicity and delocalization](https://reader030.fdocuments.us/reader030/viewer/2022020622/61ed72128851bd70c0748e40/html5/thumbnails/41.jpg)
I. Some history II. Quantum ergodicity III. Graphs
Quantum Unique Ergodicity conjecture : Rudnick, Sar-nak 94
On a negatively curved manifold, we have convergence of thewhole sequence :
@
ψk , apx ,Dxqψk
D
L2pMqÝÑ
ż
px ,ξqPSMapx , ξqdx dξ.
Proved by E. Lindenstrauss, in the special case of arithmeticcongruence surfaces, for joint eigenfunctions of the Laplacian, andthe Hecke operators.
![Page 42: Quantum ergodicity and delocalization](https://reader030.fdocuments.us/reader030/viewer/2022020622/61ed72128851bd70c0748e40/html5/thumbnails/42.jpg)
I. Some history II. Quantum ergodicity III. Graphs
Quantum Unique Ergodicity conjecture : Rudnick, Sar-nak 94
On a negatively curved manifold, we have convergence of thewhole sequence :
@
ψk , apx ,Dxqψk
D
L2pMqÝÑ
ż
px ,ξqPSMapx , ξqdx dξ.
Proved by E. Lindenstrauss, in the special case of arithmeticcongruence surfaces, for joint eigenfunctions of the Laplacian, andthe Hecke operators.
![Page 43: Quantum ergodicity and delocalization](https://reader030.fdocuments.us/reader030/viewer/2022020622/61ed72128851bd70c0748e40/html5/thumbnails/43.jpg)
I. Some history II. Quantum ergodicity III. Graphs
Theorem
Let M have negative curvature and dimension d . Assume
@
ψk , apx ,Dxqψk
D
L2pMqÝÑ
ż
px ,ξqPSMapx , ξqdµpx , ξq.
(1) [A-Nonnenmacher 2006] : µ must have positive (non van-ishing) Kolmogorov-Sinai entropy.
For constant negative curvature, our result implies that thesupport of µ has dimension ě d “ dimM.
(2) [Dyatlov-Jin 2017] : d “ 2, constant negative curvature,µ has full support.
![Page 44: Quantum ergodicity and delocalization](https://reader030.fdocuments.us/reader030/viewer/2022020622/61ed72128851bd70c0748e40/html5/thumbnails/44.jpg)
I. Some history II. Quantum ergodicity III. Graphs
Theorem
Let M have negative curvature and dimension d . Assume
@
ψk , apx ,Dxqψk
D
L2pMqÝÑ
ż
px ,ξqPSMapx , ξqdµpx , ξq.
(1) [A-Nonnenmacher 2006] : µ must have positive (non van-ishing) Kolmogorov-Sinai entropy.
For constant negative curvature, our result implies that thesupport of µ has dimension ě d “ dimM.
(2) [Dyatlov-Jin 2017] : d “ 2, constant negative curvature,µ has full support.
![Page 45: Quantum ergodicity and delocalization](https://reader030.fdocuments.us/reader030/viewer/2022020622/61ed72128851bd70c0748e40/html5/thumbnails/45.jpg)
I. Some history II. Quantum ergodicity III. Graphs
Figure: Propagation of a gaussian wave packet in a cardioid. Source A.Backer.
![Page 46: Quantum ergodicity and delocalization](https://reader030.fdocuments.us/reader030/viewer/2022020622/61ed72128851bd70c0748e40/html5/thumbnails/46.jpg)
I. Some history II. Quantum ergodicity III. Graphs
Figure: Propagation of a gaussian wave packet in a cardioid. Source A.Backer.
![Page 47: Quantum ergodicity and delocalization](https://reader030.fdocuments.us/reader030/viewer/2022020622/61ed72128851bd70c0748e40/html5/thumbnails/47.jpg)
I. Some history II. Quantum ergodicity III. Graphs
Experiments
Doya, Legrand, Michel, Mortessagne 2007
![Page 48: Quantum ergodicity and delocalization](https://reader030.fdocuments.us/reader030/viewer/2022020622/61ed72128851bd70c0748e40/html5/thumbnails/48.jpg)
I. Some history II. Quantum ergodicity III. Graphs
Experiments
![Page 49: Quantum ergodicity and delocalization](https://reader030.fdocuments.us/reader030/viewer/2022020622/61ed72128851bd70c0748e40/html5/thumbnails/49.jpg)
I. Some history II. Quantum ergodicity III. Graphs
Experiments
![Page 50: Quantum ergodicity and delocalization](https://reader030.fdocuments.us/reader030/viewer/2022020622/61ed72128851bd70c0748e40/html5/thumbnails/50.jpg)
I. Some history II. Quantum ergodicity III. Graphs
Experiments
![Page 51: Quantum ergodicity and delocalization](https://reader030.fdocuments.us/reader030/viewer/2022020622/61ed72128851bd70c0748e40/html5/thumbnails/51.jpg)
I. Some history II. Quantum ergodicity III. Graphs
III. Toy models
Toy models are “simple” models where either
some explicit calculations are possible,
OR
numerical calculations are relatively easy.
They often have a discrete character.Instead of studying ~Ñ 0 one considers finite dimensional Hilbertspaces whose dimension N Ñ `8.
![Page 52: Quantum ergodicity and delocalization](https://reader030.fdocuments.us/reader030/viewer/2022020622/61ed72128851bd70c0748e40/html5/thumbnails/52.jpg)
I. Some history II. Quantum ergodicity III. Graphs
III. Toy models
Toy models are “simple” models where either
some explicit calculations are possible,
OR
numerical calculations are relatively easy.
They often have a discrete character.Instead of studying ~Ñ 0 one considers finite dimensional Hilbertspaces whose dimension N Ñ `8.
![Page 53: Quantum ergodicity and delocalization](https://reader030.fdocuments.us/reader030/viewer/2022020622/61ed72128851bd70c0748e40/html5/thumbnails/53.jpg)
I. Some history II. Quantum ergodicity III. Graphs
Regular graphs
Figure: A (random) 3-regular graph. Source J. Salez.
![Page 54: Quantum ergodicity and delocalization](https://reader030.fdocuments.us/reader030/viewer/2022020622/61ed72128851bd70c0748e40/html5/thumbnails/54.jpg)
I. Some history II. Quantum ergodicity III. Graphs
Regular graphs
Let G “ pV ,E q be a pq ` 1q-regular graph.
Discrete laplacian : f : V ÝÑ C,
∆f pxq “ÿ
y„x
`
f pyq ´ f pxq˘
“ÿ
y„x
f pyq ´ pq ` 1qf pxq.
∆ “ A´ pq ` 1qI
![Page 55: Quantum ergodicity and delocalization](https://reader030.fdocuments.us/reader030/viewer/2022020622/61ed72128851bd70c0748e40/html5/thumbnails/55.jpg)
I. Some history II. Quantum ergodicity III. Graphs
Why do they seem relevant ?
They are locally modelled on the pq ` 1q- regular tree Tq
(cf. Hn for hyperbolic manifolds)
.
Tq may be considered to have curvature ´8.
Harmonic analysis on Tq is very similar to h.a. on Hn.
For q “ p a prime number, Tp is the symmetric space of thegroup SL2pQpq.
H2 is the symmetric space of SL2pRq.
![Page 56: Quantum ergodicity and delocalization](https://reader030.fdocuments.us/reader030/viewer/2022020622/61ed72128851bd70c0748e40/html5/thumbnails/56.jpg)
I. Some history II. Quantum ergodicity III. Graphs
Why do they seem relevant ?
They are locally modelled on the pq ` 1q- regular tree Tq
(cf. Hn for hyperbolic manifolds).
Tq may be considered to have curvature ´8.
Harmonic analysis on Tq is very similar to h.a. on Hn.
For q “ p a prime number, Tp is the symmetric space of thegroup SL2pQpq.
H2 is the symmetric space of SL2pRq.
![Page 57: Quantum ergodicity and delocalization](https://reader030.fdocuments.us/reader030/viewer/2022020622/61ed72128851bd70c0748e40/html5/thumbnails/57.jpg)
I. Some history II. Quantum ergodicity III. Graphs
Why do they seem relevant ?
They are locally modelled on the pq ` 1q- regular tree Tq
(cf. Hn for hyperbolic manifolds).
Tq may be considered to have curvature ´8.
Harmonic analysis on Tq is very similar to h.a. on Hn.
For q “ p a prime number, Tp is the symmetric space of thegroup SL2pQpq.H2 is the symmetric space of SL2pRq.
![Page 58: Quantum ergodicity and delocalization](https://reader030.fdocuments.us/reader030/viewer/2022020622/61ed72128851bd70c0748e40/html5/thumbnails/58.jpg)
I. Some history II. Quantum ergodicity III. Graphs
A major difference
SppAq Ă r´pq ` 1q, q ` 1s
Let |V | “ N. We look at the limit N Ñ `8.
![Page 59: Quantum ergodicity and delocalization](https://reader030.fdocuments.us/reader030/viewer/2022020622/61ed72128851bd70c0748e40/html5/thumbnails/59.jpg)
I. Some history II. Quantum ergodicity III. Graphs
Some advantages
The adjacency matrix A is already an N ˆ N matrix, so maybe easier to compare with Wigner’s random matrices.
Regular graphs may be easily randomized : the GN,d model.
![Page 60: Quantum ergodicity and delocalization](https://reader030.fdocuments.us/reader030/viewer/2022020622/61ed72128851bd70c0748e40/html5/thumbnails/60.jpg)
I. Some history II. Quantum ergodicity III. Graphs
A geometric assumption
We assume that GN has “few” short loops (= converges to a treein the sense of Benjamini-Schramm).
This implies convergence of the spectral measure (Kesten-McKay)
1
N7ti , λi P I u ´´ Ñ
NÑ`8
ż
Impλqdλ
for any interval I .
The density m is completely explicit, supported in p´2?q, 2?qq.
![Page 61: Quantum ergodicity and delocalization](https://reader030.fdocuments.us/reader030/viewer/2022020622/61ed72128851bd70c0748e40/html5/thumbnails/61.jpg)
I. Some history II. Quantum ergodicity III. Graphs
A geometric assumption
We assume that GN has “few” short loops (= converges to a treein the sense of Benjamini-Schramm).
This implies convergence of the spectral measure (Kesten-McKay)
1
N7ti , λi P I u ´´ Ñ
NÑ`8
ż
Impλqdλ
for any interval I .
The density m is completely explicit, supported in p´2?q, 2?qq.
![Page 62: Quantum ergodicity and delocalization](https://reader030.fdocuments.us/reader030/viewer/2022020622/61ed72128851bd70c0748e40/html5/thumbnails/62.jpg)
I. Some history II. Quantum ergodicity III. Graphs
Numerical simulations on Random Regular Graphs (RRG)
Figure: Source Jakobson-Miller-Rivin-Rudnick
![Page 63: Quantum ergodicity and delocalization](https://reader030.fdocuments.us/reader030/viewer/2022020622/61ed72128851bd70c0748e40/html5/thumbnails/63.jpg)
I. Some history II. Quantum ergodicity III. Graphs
Recent results : deterministic
A-Le Masson, 2013
Assume that GN has “few” short loops and that it forms anexpander family = uniform spectral gap for A.
Let pφpNqi qNi“1 be an ONB of eigenfunctions of the laplacian
on GN .Let a “ aN : VN Ñ R be such that |apxq| ď 1 for all x P VN .Then
limNÑ`8
1
N
Nÿ
i“1
ˇ
ˇ
ˇ
ÿ
xPVN
apxqˇ
ˇφpNqi pxq
ˇ
ˇ
2´ xay
ˇ
ˇ
ˇ
“ 0,
where
xay “1
N
ÿ
xPVN
apxq.
![Page 64: Quantum ergodicity and delocalization](https://reader030.fdocuments.us/reader030/viewer/2022020622/61ed72128851bd70c0748e40/html5/thumbnails/64.jpg)
I. Some history II. Quantum ergodicity III. Graphs
Recent results : deterministic
A-Le Masson, 2013
Assume that GN has “few” short loops and that it forms anexpander family = uniform spectral gap for A.
Let pφpNqi qNi“1 be an ONB of eigenfunctions of the laplacian
on GN .Let a “ aN : VN Ñ R be such that |apxq| ď 1 for all x P VN .Then
limNÑ`8
1
N
Nÿ
i“1
ˇ
ˇ
ˇ
ÿ
xPVN
apxqˇ
ˇφpNqi pxq
ˇ
ˇ
2´ xay
ˇ
ˇ
ˇ“ 0,
where
xay “1
N
ÿ
xPVN
apxq.
![Page 65: Quantum ergodicity and delocalization](https://reader030.fdocuments.us/reader030/viewer/2022020622/61ed72128851bd70c0748e40/html5/thumbnails/65.jpg)
I. Some history II. Quantum ergodicity III. Graphs
For any ε ą 0,
limNÑ`8
1
N7
!
i ,ˇ
ˇ
ˇ
ÿ
xPVN
apxqˇ
ˇφpNqi pxq
ˇ
ˇ
2´ xay
ˇ
ˇ
ˇě ε
)
“ 0.
![Page 66: Quantum ergodicity and delocalization](https://reader030.fdocuments.us/reader030/viewer/2022020622/61ed72128851bd70c0748e40/html5/thumbnails/66.jpg)
I. Some history II. Quantum ergodicity III. Graphs
Recent results : deterministic
Brooks-Lindenstrauss, 2011
Assume that GN has “few” loops of length ď c logN.For ε ą 0, there exists δ ą 0 s.t. for every eigenfunction φ,
B Ă VN ,ÿ
xPB
ˇ
ˇφpxqˇ
ˇ
2ě ε ùñ |B| ě Nδ.
Proof also yields that }φ}8 ď | logN|´1{4.
![Page 67: Quantum ergodicity and delocalization](https://reader030.fdocuments.us/reader030/viewer/2022020622/61ed72128851bd70c0748e40/html5/thumbnails/67.jpg)
I. Some history II. Quantum ergodicity III. Graphs
Examples
Deterministic examples :
the Ramanujan graphs of Lubotzky-Phillips-Sarnak 1988(arithmetic quotients of the q-adic symmetric spacePGLp2,Qqq{PGLp2,Zqq);
Cayley graphs of SL2pZ{pZq, p ranges over the primes,(Bourgain-Gamburd, based on Helfgott 2005).
![Page 68: Quantum ergodicity and delocalization](https://reader030.fdocuments.us/reader030/viewer/2022020622/61ed72128851bd70c0748e40/html5/thumbnails/68.jpg)
I. Some history II. Quantum ergodicity III. Graphs
Examples
Deterministic examples :
the Ramanujan graphs of Lubotzky-Phillips-Sarnak 1988(arithmetic quotients of the q-adic symmetric spacePGLp2,Qqq{PGLp2,Zqq);
Cayley graphs of SL2pZ{pZq, p ranges over the primes,(Bourgain-Gamburd, based on Helfgott 2005).
![Page 69: Quantum ergodicity and delocalization](https://reader030.fdocuments.us/reader030/viewer/2022020622/61ed72128851bd70c0748e40/html5/thumbnails/69.jpg)
I. Some history II. Quantum ergodicity III. Graphs
Recent results : random
Spectral statistics : Bauerschmidt, Huang, Knowles,Yau, 2016
Let d “ q ` 1 ě 1020.
For the GN,d model, with large probability as N Ñ `8, thesmall scale Kesten-McKay law
1
N7
i , λi P I(
„NÝÑ`8
ż
Impλqdλ
holds for any interval I for |I | ě logN‚{N, and
I Ă r´2?q ` ε, 2
?q ´ εs.
![Page 70: Quantum ergodicity and delocalization](https://reader030.fdocuments.us/reader030/viewer/2022020622/61ed72128851bd70c0748e40/html5/thumbnails/70.jpg)
I. Some history II. Quantum ergodicity III. Graphs
Recent results : random
Spectral statistics : Bauerschmidt, Huang, Knowles,Yau
Nearest neighbour spacing distribution coincides with Wignermatrices for
Nε ă dp“ q ` 1q ă N2{3´ε.
![Page 71: Quantum ergodicity and delocalization](https://reader030.fdocuments.us/reader030/viewer/2022020622/61ed72128851bd70c0748e40/html5/thumbnails/71.jpg)
I. Some history II. Quantum ergodicity III. Graphs
Recent results : random
Delocalization : Bauerschmidt, Huang, Yau
Let d “ q ` 1 ě 1020.
For the GN,d model,
}φpNqi }`8 ď
log N‚?N
as soon as
λpNqi P r´2
?q ` ε, 2
?q ´ εs;
(see also Bourgade –Yau) QUE : givena : t1, . . . ,Nu ÝÑ R,
for all λpNqi P r´2
?q ` ε, 2
?q ´ εs,
Nÿ
x“1
apxqˇ
ˇφpNqi pxq
ˇ
ˇ
2“
1
N
ÿ
n
apxq ` O´ logN‚
N
¯
}a}`2
with large probability as N Ñ `8.
![Page 72: Quantum ergodicity and delocalization](https://reader030.fdocuments.us/reader030/viewer/2022020622/61ed72128851bd70c0748e40/html5/thumbnails/72.jpg)
I. Some history II. Quantum ergodicity III. Graphs
Recent results : random
Delocalization : Bauerschmidt, Huang, Yau
Let d “ q ` 1 ě 1020.
For the GN,d model,
}φpNqi }`8 ď
log N‚?N
as soon as
λpNqi P r´2
?q ` ε, 2
?q ´ εs;
(see also Bourgade –Yau) QUE : givena : t1, . . . ,Nu ÝÑ R,
for all λpNqi P r´2
?q ` ε, 2
?q ´ εs,
Nÿ
x“1
apxqˇ
ˇφpNqi pxq
ˇ
ˇ
2“
1
N
ÿ
n
apxq ` O´ logN‚
N
¯
}a}`2
with large probability as N Ñ `8.
![Page 73: Quantum ergodicity and delocalization](https://reader030.fdocuments.us/reader030/viewer/2022020622/61ed72128851bd70c0748e40/html5/thumbnails/73.jpg)
I. Some history II. Quantum ergodicity III. Graphs
Recent results : random
Gaussianity of eigenvectors, Backhausz-Szegedy 2016
Consider the GN,d model.With probability 1´ op1q as N Ñ8, one has : for all eigen-
functions φpNqi , for all diameters R ą 0, the distribution of
φpNqi |Bpx ,Rq,
when x is chosen uniformly at random in V pGN,dq, is closeto a Gaussian process on BTqpo,Rq.
Remaining open question : is this Gaussian non-degenerate ?
![Page 74: Quantum ergodicity and delocalization](https://reader030.fdocuments.us/reader030/viewer/2022020622/61ed72128851bd70c0748e40/html5/thumbnails/74.jpg)
I. Some history II. Quantum ergodicity III. Graphs
Recent results : random
Gaussianity of eigenvectors, Backhausz-Szegedy 2016
Consider the GN,d model.With probability 1´ op1q as N Ñ8, one has : for all eigen-
functions φpNqi , for all diameters R ą 0, the distribution of
φpNqi |Bpx ,Rq,
when x is chosen uniformly at random in V pGN,dq, is closeto a Gaussian process on BTqpo,Rq.
Remaining open question : is this Gaussian non-degenerate ?
![Page 75: Quantum ergodicity and delocalization](https://reader030.fdocuments.us/reader030/viewer/2022020622/61ed72128851bd70c0748e40/html5/thumbnails/75.jpg)
I. Some history II. Quantum ergodicity III. Graphs
Open questions and suggestions
QUE for deterministic regular graphs ?
Stronger forms of QUE for Random Regular Graphs ?
Non-regular graphs (joint work with M. Sabri).
More systematic study of manifolds in the large-scale limit (cf.Le Masson-Sahlsten for hyperbolic surfaces, when genusg ÝÑ `8).
Random manifolds?
![Page 76: Quantum ergodicity and delocalization](https://reader030.fdocuments.us/reader030/viewer/2022020622/61ed72128851bd70c0748e40/html5/thumbnails/76.jpg)
I. Some history II. Quantum ergodicity III. Graphs
Open questions and suggestions
QUE for deterministic regular graphs ?
Stronger forms of QUE for Random Regular Graphs ?
Non-regular graphs (joint work with M. Sabri).
More systematic study of manifolds in the large-scale limit (cf.Le Masson-Sahlsten for hyperbolic surfaces, when genusg ÝÑ `8).
Random manifolds?
![Page 77: Quantum ergodicity and delocalization](https://reader030.fdocuments.us/reader030/viewer/2022020622/61ed72128851bd70c0748e40/html5/thumbnails/77.jpg)
I. Some history II. Quantum ergodicity III. Graphs
End
Thank you for your attention !
...and thanks to R. Seroul and all colleagues who provided pictures.