girth, expansion, and localization of graph eigenfunctionsnikhil/girthslides.pdf · nikhil...
TRANSCRIPT
![Page 1: Girth, Expansion, and Localization of Graph Eigenfunctionsnikhil/girthslides.pdf · Nikhil Srivastava w/ Noga Alon (Princeton) and Shirshendu Ganguly (Berkeley) Stanford Online Combinatorics](https://reader036.vdocuments.us/reader036/viewer/2022071117/600311d623630f405b4a5b56/html5/thumbnails/1.jpg)
Girth, Expansion, and Localization of Graph
EigenfunctionsNikhil Srivastava
w/ Noga Alon (Princeton) and Shirshendu Ganguly (Berkeley)
Stanford Online Combinatorics Seminar, May 21 2010
![Page 2: Girth, Expansion, and Localization of Graph Eigenfunctionsnikhil/girthslides.pdf · Nikhil Srivastava w/ Noga Alon (Princeton) and Shirshendu Ganguly (Berkeley) Stanford Online Combinatorics](https://reader036.vdocuments.us/reader036/viewer/2022071117/600311d623630f405b4a5b56/html5/thumbnails/2.jpg)
SetupUndirected 𝑑 + 1-regular graph 𝐺 on 𝑛 vertices.
Adjacency matrix 𝐴 has eigenvalues
𝑑 + 1 = 𝜆1 ≥ 𝜆2 ≥ ⋯ ≥ 𝜆𝑛
Q. What is the combinatorial meaning of the interior eigenvectors?
![Page 3: Girth, Expansion, and Localization of Graph Eigenfunctionsnikhil/girthslides.pdf · Nikhil Srivastava w/ Noga Alon (Princeton) and Shirshendu Ganguly (Berkeley) Stanford Online Combinatorics](https://reader036.vdocuments.us/reader036/viewer/2022071117/600311d623630f405b4a5b56/html5/thumbnails/3.jpg)
A Warmup
Observation. If 𝐴𝑣 = 𝜆𝑣 and 𝑣 is supported on 𝑘 vertices, then
𝑔𝑖𝑟𝑡ℎ 𝐴 ≤ 4log𝑑 𝑘
![Page 4: Girth, Expansion, and Localization of Graph Eigenfunctionsnikhil/girthslides.pdf · Nikhil Srivastava w/ Noga Alon (Princeton) and Shirshendu Ganguly (Berkeley) Stanford Online Combinatorics](https://reader036.vdocuments.us/reader036/viewer/2022071117/600311d623630f405b4a5b56/html5/thumbnails/4.jpg)
A Warmup
Observation. If 𝐴𝑣 = 𝜆𝑣 and 𝑣 is supported on 𝑘 vertices, then
𝑔𝑖𝑟𝑡ℎ 𝐴 ≤ 4log𝑑 𝑘
Proof.
𝐺
![Page 5: Girth, Expansion, and Localization of Graph Eigenfunctionsnikhil/girthslides.pdf · Nikhil Srivastava w/ Noga Alon (Princeton) and Shirshendu Ganguly (Berkeley) Stanford Online Combinatorics](https://reader036.vdocuments.us/reader036/viewer/2022071117/600311d623630f405b4a5b56/html5/thumbnails/5.jpg)
A Warmup
Observation. If 𝐴𝑣 = 𝜆𝑣 and 𝑣 is supported on 𝑘 vertices, then
𝑔𝑖𝑟𝑡ℎ 𝐴 ≤ 4log𝑑 𝑘
Proof.
𝐺
![Page 6: Girth, Expansion, and Localization of Graph Eigenfunctionsnikhil/girthslides.pdf · Nikhil Srivastava w/ Noga Alon (Princeton) and Shirshendu Ganguly (Berkeley) Stanford Online Combinatorics](https://reader036.vdocuments.us/reader036/viewer/2022071117/600311d623630f405b4a5b56/html5/thumbnails/6.jpg)
A Warmup
Observation. If 𝐴𝑣 = 𝜆𝑣 and 𝑣 is supported on 𝑘 vertices, then
𝑔𝑖𝑟𝑡ℎ 𝐴 ≤ 4log𝑑 𝑘
Proof.
𝐺
![Page 7: Girth, Expansion, and Localization of Graph Eigenfunctionsnikhil/girthslides.pdf · Nikhil Srivastava w/ Noga Alon (Princeton) and Shirshendu Ganguly (Berkeley) Stanford Online Combinatorics](https://reader036.vdocuments.us/reader036/viewer/2022071117/600311d623630f405b4a5b56/html5/thumbnails/7.jpg)
A Warmup
Observation. If 𝐴𝑣 = 𝜆𝑣 and 𝑣 is supported on 𝑘 vertices, then
𝑔𝑖𝑟𝑡ℎ 𝐴 ≤ 4log𝑑 𝑘
Proof.
𝐺
![Page 8: Girth, Expansion, and Localization of Graph Eigenfunctionsnikhil/girthslides.pdf · Nikhil Srivastava w/ Noga Alon (Princeton) and Shirshendu Ganguly (Berkeley) Stanford Online Combinatorics](https://reader036.vdocuments.us/reader036/viewer/2022071117/600311d623630f405b4a5b56/html5/thumbnails/8.jpg)
A Warmup
Observation. If 𝐴𝑣 = 𝜆𝑣 and 𝑣 is supported on 𝑘 vertices, then
𝑔𝑖𝑟𝑡ℎ 𝐴 ≤ 4log𝑑 𝑘
Proof.
𝐺 𝐻
![Page 9: Girth, Expansion, and Localization of Graph Eigenfunctionsnikhil/girthslides.pdf · Nikhil Srivastava w/ Noga Alon (Princeton) and Shirshendu Ganguly (Berkeley) Stanford Online Combinatorics](https://reader036.vdocuments.us/reader036/viewer/2022071117/600311d623630f405b4a5b56/html5/thumbnails/9.jpg)
A Warmup
Observation. If 𝐴𝑣 = 𝜆𝑣 and 𝑣 is supported on 𝑘 vertices, then
𝑔𝑖𝑟𝑡ℎ 𝐴 ≤ 4log𝑑 𝑘
Proof.
𝐺 𝐻
𝑚𝑖𝑛𝑑𝑒𝑔 𝐻 ≥ 𝑑 + 1 ⇒𝑔𝑖𝑟𝑡ℎ 𝐻 ≤ 2log𝑑(𝑘)
![Page 10: Girth, Expansion, and Localization of Graph Eigenfunctionsnikhil/girthslides.pdf · Nikhil Srivastava w/ Noga Alon (Princeton) and Shirshendu Ganguly (Berkeley) Stanford Online Combinatorics](https://reader036.vdocuments.us/reader036/viewer/2022071117/600311d623630f405b4a5b56/html5/thumbnails/10.jpg)
A Warmup
Observation. If 𝐴𝑣 = 𝜆𝑣 and 𝑣 is supported on 𝑘 vertices, then
𝑔𝑖𝑟𝑡ℎ 𝐴 ≤ 4log𝑑 𝑘
Proof.
𝐺 𝐻
𝑚𝑖𝑛𝑑𝑒𝑔 𝐻 ≥ 𝑑 + 1 ⇒𝑔𝑖𝑟𝑡ℎ 𝐻 ≤ 2log𝑑(𝑘)
𝑔𝑖𝑟𝑡ℎ 𝐺 ≤ 4log𝑑(𝑘)
![Page 11: Girth, Expansion, and Localization of Graph Eigenfunctionsnikhil/girthslides.pdf · Nikhil Srivastava w/ Noga Alon (Princeton) and Shirshendu Ganguly (Berkeley) Stanford Online Combinatorics](https://reader036.vdocuments.us/reader036/viewer/2022071117/600311d623630f405b4a5b56/html5/thumbnails/11.jpg)
A Warmup
Observation. If 𝐴𝑣 = 𝜆𝑣 and 𝑣 is supported on 𝑘 vertices, then
𝑔𝑖𝑟𝑡ℎ 𝐴 ≤ 4log𝑑 𝑘
Proof.
𝐺 𝐻
𝑔𝑖𝑟𝑡ℎ 𝐺 ≤ 4log𝑑(𝑘) 𝑘 ≥ 𝑑𝑔/4
![Page 12: Girth, Expansion, and Localization of Graph Eigenfunctionsnikhil/girthslides.pdf · Nikhil Srivastava w/ Noga Alon (Princeton) and Shirshendu Ganguly (Berkeley) Stanford Online Combinatorics](https://reader036.vdocuments.us/reader036/viewer/2022071117/600311d623630f405b4a5b56/html5/thumbnails/12.jpg)
Localization and DelocalizationDefn. A unit vector 𝑣 is (𝜖, 𝑘) −delocalized if for all subsets 𝑆 ⊂ [𝑛]:
||𝑣𝑆||22 ≥ 𝜖 ⇒ 𝑆 > 𝑘
Otherwise it is (𝜖, 𝑘)-localized, i.e., ||𝑣𝑆||22 ≥ 𝜖 for some 𝑆 ≤ 𝑘.
e.g. 𝑘 −sparse means 1, 𝑘 −localized𝜖, 1 −delocalized implies ||𝑣||∞
2 ≤ 𝜖||𝑣||∞
2 ≤ 1/𝑛 implies (𝜖, 𝜖𝑛)-delocalized for all 𝜖.
Showed: If 𝐴 has girth 𝑔 then every eigvec is (𝑑𝑔/4, 1)-delocalizedQ. What about 𝜖 < 1?
![Page 13: Girth, Expansion, and Localization of Graph Eigenfunctionsnikhil/girthslides.pdf · Nikhil Srivastava w/ Noga Alon (Princeton) and Shirshendu Ganguly (Berkeley) Stanford Online Combinatorics](https://reader036.vdocuments.us/reader036/viewer/2022071117/600311d623630f405b4a5b56/html5/thumbnails/13.jpg)
Localization and DelocalizationDefn. A unit vector 𝑣 is (𝜖, 𝑘) −delocalized if for all subsets 𝑆 ⊂ [𝑛]:
||𝑣𝑆||22 ≥ 𝜖 ⇒ 𝑆 > 𝑘
Otherwise it is (𝜖, 𝑘)-localized, i.e., ||𝑣𝑆||22 ≥ 𝜖 for some 𝑆 ≤ 𝑘.
e.g. 𝑘 −sparse means 1, 𝑘 −localized𝜖, 1 −delocalized implies ||𝑣||∞
2 ≤ 𝜖||𝑣||∞
2 ≤ 1/𝑛 implies (𝜖, 𝜖𝑛)-delocalized for all 𝜖.
Showed: If 𝐴 has girth 𝑔 then every eigvec is (𝑑𝑔/4, 1)-delocalizedQ. What about 𝜖 < 1?
![Page 14: Girth, Expansion, and Localization of Graph Eigenfunctionsnikhil/girthslides.pdf · Nikhil Srivastava w/ Noga Alon (Princeton) and Shirshendu Ganguly (Berkeley) Stanford Online Combinatorics](https://reader036.vdocuments.us/reader036/viewer/2022071117/600311d623630f405b4a5b56/html5/thumbnails/14.jpg)
Localization and DelocalizationDefn. A unit vector 𝑣 is (𝜖, 𝑘) −delocalized if for all subsets 𝑆 ⊂ [𝑛]:
||𝑣𝑆||22 ≥ 𝜖 ⇒ 𝑆 > 𝑘
Otherwise it is (𝜖, 𝑘)-localized, i.e., ||𝑣𝑆||22 ≥ 𝜖 for some 𝑆 ≤ 𝑘.
e.g. 𝑘 −sparse means 1, 𝑘 −localized𝜖, 1 −delocalized implies ||𝑣||∞
2 ≤ 𝜖||𝑣||∞
2 ≤ 1/𝑛 implies (𝜖, 𝜖𝑛)-delocalized for all 𝜖.
Showed: If 𝐴 has girth 𝑔 then every eigvec is (𝑑𝑔/4, 1)-delocalizedQ. What about 𝜖 < 1?
![Page 15: Girth, Expansion, and Localization of Graph Eigenfunctionsnikhil/girthslides.pdf · Nikhil Srivastava w/ Noga Alon (Princeton) and Shirshendu Ganguly (Berkeley) Stanford Online Combinatorics](https://reader036.vdocuments.us/reader036/viewer/2022071117/600311d623630f405b4a5b56/html5/thumbnails/15.jpg)
[Brooks-Lindenstrauss’09]Thm. Suppose 𝐺 is 𝑑 + 1-regular with girth 𝑔 and 𝐴𝑣 = 𝜆𝑣.
1. If 𝜆 ∈ (−2 𝑑, 2 𝑑) then 𝑣 is (𝜖, 𝜖2𝑑𝑐𝜖2𝑔)-delocalized for 𝜖 ∈ (0,1).
2. If 𝜆 ∉ −2 𝑑 − 𝛿, 2 𝑑 − 𝛿 then ||𝑣||∞2 ≤ 𝑑−Ω𝛿 𝑔 .
When 𝑔 = Ω(log𝑑 𝑛), (1) implies (𝜖, 𝜖2𝑛Ω 𝜖2 )-deloc and||𝑣||∞
2 ≤ (log𝑑 𝑛)−1/2
whereas (2) implies ||𝑣||∞2 ≤ 𝑛−𝑐.
![Page 16: Girth, Expansion, and Localization of Graph Eigenfunctionsnikhil/girthslides.pdf · Nikhil Srivastava w/ Noga Alon (Princeton) and Shirshendu Ganguly (Berkeley) Stanford Online Combinatorics](https://reader036.vdocuments.us/reader036/viewer/2022071117/600311d623630f405b4a5b56/html5/thumbnails/16.jpg)
[Brooks-Lindenstrauss’09]Thm. Suppose 𝐺 is 𝑑 + 1-regular with girth 𝑔 and 𝐴𝑣 = 𝜆𝑣.
1. If 𝜆 ∈ (−2 𝑑, 2 𝑑) then 𝑣 is (𝜖, 𝜖2𝑑𝑐𝜖2𝑔)-delocalized for 𝜖 ∈ (0,1).
2. If 𝜆 ∉ −2 𝑑 − 𝛿, 2 𝑑 − 𝛿 then ||𝑣||∞2 ≤ 𝑑−Ω𝛿 𝑔 .
When 𝑔 = Ω(log𝑑 𝑛), (1) implies (𝜖, 𝜖2𝑛Ω 𝜖2 )-deloc and||𝑣||∞
2 ≤ (log𝑑 𝑛)−1/2
whereas (2) implies ||𝑣||∞2 ≤ 𝑛−𝑐.
![Page 17: Girth, Expansion, and Localization of Graph Eigenfunctionsnikhil/girthslides.pdf · Nikhil Srivastava w/ Noga Alon (Princeton) and Shirshendu Ganguly (Berkeley) Stanford Online Combinatorics](https://reader036.vdocuments.us/reader036/viewer/2022071117/600311d623630f405b4a5b56/html5/thumbnails/17.jpg)
Questions
Q1. How does localization depend on the eigenvalue 𝜆?
Q2. How does localization depend on the mass 𝜖?
(in [BL’06], exponent of 𝜖 depends on 𝜆 ∈ (−2 𝑑, 2 𝑑) and
Diophantine properties of 𝜆)
![Page 18: Girth, Expansion, and Localization of Graph Eigenfunctionsnikhil/girthslides.pdf · Nikhil Srivastava w/ Noga Alon (Princeton) and Shirshendu Ganguly (Berkeley) Stanford Online Combinatorics](https://reader036.vdocuments.us/reader036/viewer/2022071117/600311d623630f405b4a5b56/html5/thumbnails/18.jpg)
Questions
Q1. How does localization depend on the eigenvalue 𝜆?
Q2. How does localization depend on the mass 𝜖?
(in [BL’06], exponent of 𝜖 depends on 𝜆 ∈ (−2 𝑑, 2 𝑑) and
Diophantine properties of 𝜆)
Q3. How do high girth graphs compare to random regular graphs?
(cf. [BHY’16] shows bulk eigenvectors have ||𝑣||∞2 ≤
log𝑐 𝑛
𝑛)
![Page 19: Girth, Expansion, and Localization of Graph Eigenfunctionsnikhil/girthslides.pdf · Nikhil Srivastava w/ Noga Alon (Princeton) and Shirshendu Ganguly (Berkeley) Stanford Online Combinatorics](https://reader036.vdocuments.us/reader036/viewer/2022071117/600311d623630f405b4a5b56/html5/thumbnails/19.jpg)
Theorem A [Ganguly-S’18]Thm. Suppose 𝐺 is 𝑑 + 1-regular with girth 𝑔 and 𝐴𝑣 = 𝜆𝑣.
then 𝑣 is (𝜖, 𝜖𝑑𝜖𝑔
4−3)-delocalized for 𝜖 ∈ (0,1).
Improved constant and exponent of 𝜖 compared to [BL’06] part (1).
Implies ||𝑣||∞2 ≤ (log𝑑 𝑛)
−1.
Contrapositive: (𝑘, 𝜖)-localized implies 𝑔 ≤ 4 log(𝑘
𝜖)/𝜖 + 𝑂(1).
Proof is a technical improvement of [BL’06] (approx. theory + nonbacktracking walks)
![Page 20: Girth, Expansion, and Localization of Graph Eigenfunctionsnikhil/girthslides.pdf · Nikhil Srivastava w/ Noga Alon (Princeton) and Shirshendu Ganguly (Berkeley) Stanford Online Combinatorics](https://reader036.vdocuments.us/reader036/viewer/2022071117/600311d623630f405b4a5b56/html5/thumbnails/20.jpg)
Theorem B [Alon-Ganguly-S’19]Fix 𝑑 prime. There is an infinite sequence of 𝑑 + 1-regular graphs 𝐺𝑚on 𝑚 vertices such that:
1. 𝑔𝑖𝑟𝑡ℎ 𝐺𝑚 ≥1
3log𝑑 𝑚
2. There is an eigenvector 𝐴𝑚𝑣 = 𝜆𝑣 which is 𝑘, 𝜖 −localized for
𝑘 = 𝑂(𝑑4𝜖𝑔𝑖𝑟𝑡ℎ(𝐺𝑚)) ∀𝜖 ∈ 0,1
3. 𝜆𝑖 𝐴𝑚 ≤ 2.12 𝑑 for all nontrivial adjacency eigenvalues.
The number of such 𝜆 for each 𝐺𝑚 is Ω(log𝑑 𝑚 ).
The set of 𝜆 attained by the above sequence is dense in (−2 𝑑, 2 𝑑).
Implies exponent of 𝜖 in Theorem A cannot be improved.
![Page 21: Girth, Expansion, and Localization of Graph Eigenfunctionsnikhil/girthslides.pdf · Nikhil Srivastava w/ Noga Alon (Princeton) and Shirshendu Ganguly (Berkeley) Stanford Online Combinatorics](https://reader036.vdocuments.us/reader036/viewer/2022071117/600311d623630f405b4a5b56/html5/thumbnails/21.jpg)
Theorem B [Alon-Ganguly-S’19]Fix 𝑑 prime. There is an infinite sequence of 𝑑 + 1-regular graphs 𝐺𝑚on 𝑚 vertices such that:
1. 𝑔𝑖𝑟𝑡ℎ 𝐺𝑚 ≥1
3log𝑑 𝑚
2. There is an eigenvector 𝐴𝑚𝑣 = 𝜆𝑣 which is 𝑘, 𝜖 −localized for
𝑘 = 𝑂(𝑑4𝜖𝑔𝑖𝑟𝑡ℎ(𝐺𝑚)) ∀𝜖 ∈ 0,1
3. 𝜆𝑖 𝐴𝑚 ≤ 2.12 𝑑 for all nontrivial adjacency eigenvalues.
The number of such 𝜆 for each 𝐺𝑚 is Ω(log𝑑 𝑚 ).
The set of 𝜆 attained by the above sequence is dense in (−2 𝑑, 2 𝑑).
Implies arithmetic properties of 𝜆 do not play a role.
![Page 22: Girth, Expansion, and Localization of Graph Eigenfunctionsnikhil/girthslides.pdf · Nikhil Srivastava w/ Noga Alon (Princeton) and Shirshendu Ganguly (Berkeley) Stanford Online Combinatorics](https://reader036.vdocuments.us/reader036/viewer/2022071117/600311d623630f405b4a5b56/html5/thumbnails/22.jpg)
Theorem B [Alon-Ganguly-S’19]Fix 𝑑 prime. There is an infinite sequence of 𝑑 + 1-regular graphs 𝐺𝑚on 𝑚 vertices such that:
1. 𝑔𝑖𝑟𝑡ℎ 𝐺𝑚 ≥1
3log𝑑 𝑚
2. There is an eigenvector 𝐴𝑚𝑣 = 𝜆𝑣 which is 𝑘, 𝜖 −localized for
𝑘 = 𝑂(𝑑4𝜖𝑔𝑖𝑟𝑡ℎ(𝐺𝑚)) ∀𝜖 ∈ 0,1
3. 𝜆𝑖 𝐴𝑚 ≤ 2.12 𝑑 for all nontrivial adjacency eigenvalues.
The number of such 𝜆 for each 𝐺𝑚 is Ω(log𝑑 𝑚 ).
The set of 𝜆 attained by the above sequence is dense in (−2 𝑑, 2 𝑑).
Implies arithmetic properties of 𝜆 do not play a role.
![Page 23: Girth, Expansion, and Localization of Graph Eigenfunctionsnikhil/girthslides.pdf · Nikhil Srivastava w/ Noga Alon (Princeton) and Shirshendu Ganguly (Berkeley) Stanford Online Combinatorics](https://reader036.vdocuments.us/reader036/viewer/2022071117/600311d623630f405b4a5b56/html5/thumbnails/23.jpg)
Proof of Theorem B (simplified)
Step 1. Finite 𝑑 + 1-ary tree of depth ℓ
with 𝑛 leaves.
Fact: has many (𝜖, 𝑑𝜖ℓ)-localized eigenvectors.
equal to zero on the leaves.
![Page 24: Girth, Expansion, and Localization of Graph Eigenfunctionsnikhil/girthslides.pdf · Nikhil Srivastava w/ Noga Alon (Princeton) and Shirshendu Ganguly (Berkeley) Stanford Online Combinatorics](https://reader036.vdocuments.us/reader036/viewer/2022071117/600311d623630f405b4a5b56/html5/thumbnails/24.jpg)
Proof of Theorem B
Step 2. Two 𝑑 + 1-ary trees of depth ℓ,
with leaves identifed to maximize
girth [Erdos-Sachs] or [McKay]
Yields girth ≥ Ω ℓ = Ω(log𝑑𝑛)
Eigenvector equation is satisfied by
Reflecting 𝜓 on the paired tree.
![Page 25: Girth, Expansion, and Localization of Graph Eigenfunctionsnikhil/girthslides.pdf · Nikhil Srivastava w/ Noga Alon (Princeton) and Shirshendu Ganguly (Berkeley) Stanford Online Combinatorics](https://reader036.vdocuments.us/reader036/viewer/2022071117/600311d623630f405b4a5b56/html5/thumbnails/25.jpg)
Proof of Theorem B
Step 3. Let 𝐻 be a 𝑑 + 1-regular
Ramanujan [LPS,Margulis] graph
with 𝑛 defects of degree 𝑑
at mutual distance Ω(log𝑑 𝑛)
![Page 26: Girth, Expansion, and Localization of Graph Eigenfunctionsnikhil/girthslides.pdf · Nikhil Srivastava w/ Noga Alon (Princeton) and Shirshendu Ganguly (Berkeley) Stanford Online Combinatorics](https://reader036.vdocuments.us/reader036/viewer/2022071117/600311d623630f405b4a5b56/html5/thumbnails/26.jpg)
Proof of Theorem B
Step 3. Let 𝐻 be a 𝑑 + 1-regular
Ramanujan [LPS,Margulis] graph
with 𝑛 defects of degree 𝑑
at mutual distance Ω(log𝑑 𝑛)
Identify leaves from step 2
with defects.
Retains girth Ω(log𝑑 𝑛).
![Page 27: Girth, Expansion, and Localization of Graph Eigenfunctionsnikhil/girthslides.pdf · Nikhil Srivastava w/ Noga Alon (Princeton) and Shirshendu Ganguly (Berkeley) Stanford Online Combinatorics](https://reader036.vdocuments.us/reader036/viewer/2022071117/600311d623630f405b4a5b56/html5/thumbnails/27.jpg)
Proof of Theorem B
Step 3. Let 𝐻 be a 𝑑 + 1-regular
Ramanujan [LPS,Margulis] graph
with 𝑛 defects of degree 𝑑
at mutual distance Ω(log𝑑 𝑛)
Identify leaves from step 2
with defects.
Retains girth Ω(log𝑑 𝑛).
Set eigenvector to zero on 𝐻.
![Page 28: Girth, Expansion, and Localization of Graph Eigenfunctionsnikhil/girthslides.pdf · Nikhil Srivastava w/ Noga Alon (Princeton) and Shirshendu Ganguly (Berkeley) Stanford Online Combinatorics](https://reader036.vdocuments.us/reader036/viewer/2022071117/600311d623630f405b4a5b56/html5/thumbnails/28.jpg)
Theorem B [Alon-Ganguly-S’19]Fix 𝑑 prime. There is an infinite sequence of 𝑑 + 1-regular graphs 𝐺𝑚on 𝑚 vertices such that:
1. 𝑔𝑖𝑟𝑡ℎ 𝐺𝑚 ≥1
3log𝑑 𝑚
2. There is an eigenvector 𝐴𝑚𝑣 = 𝜆𝑣 which is 𝑘, 𝜖 −localized for
𝑘 = 𝑂(𝑑4𝜖𝑔𝑖𝑟𝑡ℎ(𝐺𝑚)) ∀𝜖 ∈ 0,1
3. 𝜆𝑖 𝐴𝑚 ≤ 2.12 𝑑 for all nontrivial adjacency eigenvalues.
The number of such 𝜆 for each 𝐺𝑚 is Ω(log𝑑 𝑚 ).
The set of 𝜆 attained by the above sequence is dense in (−2 𝑑, 2 𝑑).
![Page 29: Girth, Expansion, and Localization of Graph Eigenfunctionsnikhil/girthslides.pdf · Nikhil Srivastava w/ Noga Alon (Princeton) and Shirshendu Ganguly (Berkeley) Stanford Online Combinatorics](https://reader036.vdocuments.us/reader036/viewer/2022071117/600311d623630f405b4a5b56/html5/thumbnails/29.jpg)
Theorem B [Alon-Ganguly-S’19]Fix 𝑑 ≥ 3 prime. There is an infinite sequence of 𝑑 + 1-regular graphs 𝐺𝑚 on 𝑚 vertices such that:
1. 𝑔𝑖𝑟𝑡ℎ 𝐺𝑚 ≥1
3log𝑑 𝑚
2. There is an eigenvector 𝐴𝑚𝑣 = 𝜆𝑣 which is 𝑘, 𝜖 −localized for
𝑘 = 𝑂(𝑑4𝜖𝑔𝑖𝑟𝑡ℎ(𝐺𝑚)) ∀𝜖 ∈ 0,1
3. 𝜆𝑖 𝐴𝑚 ≤ 2.12 𝑑 for all nontrivial adjacency eigenvalues.
The number of such 𝜆 for each 𝐺𝑚 is Ω(log𝑑 𝑚 ).
The set of 𝜆 attained by the above sequence is dense in (−2 𝑑, 2 𝑑).
![Page 30: Girth, Expansion, and Localization of Graph Eigenfunctionsnikhil/girthslides.pdf · Nikhil Srivastava w/ Noga Alon (Princeton) and Shirshendu Ganguly (Berkeley) Stanford Online Combinatorics](https://reader036.vdocuments.us/reader036/viewer/2022071117/600311d623630f405b4a5b56/html5/thumbnails/30.jpg)
Spectral Gap Observation: If any eigenvector of 𝐺is equal to zero on the interface then
𝑣𝑇𝐴𝐺𝑣 = 𝑣𝑇𝐴𝑇𝑣 + 𝑣𝑇𝐴𝐻𝑣
≤ 2 𝑑||𝑣𝑇||2 + 2 𝑑||𝑣𝐻||
2 + 𝑜(1)
![Page 31: Girth, Expansion, and Localization of Graph Eigenfunctionsnikhil/girthslides.pdf · Nikhil Srivastava w/ Noga Alon (Princeton) and Shirshendu Ganguly (Berkeley) Stanford Online Combinatorics](https://reader036.vdocuments.us/reader036/viewer/2022071117/600311d623630f405b4a5b56/html5/thumbnails/31.jpg)
Spectral Gap Observation: If any eigenvector of 𝐺is equal to zero on the interface then
𝑣𝑇𝐴𝐺𝑣 = 𝑣𝑇𝐴𝑇𝑣 + 𝑣𝑇𝐴𝐻𝑣
≤ 2 𝑑||𝑣𝑇||2 + 2 𝑑||𝑣𝐻||
2 + 𝑜 1
Key Lemma: Any putative non-Ramanujaneigenvector of 𝐺 must have at most 5%of its mass on the interface.
(high girth + [Kahale’95] argument)
![Page 32: Girth, Expansion, and Localization of Graph Eigenfunctionsnikhil/girthslides.pdf · Nikhil Srivastava w/ Noga Alon (Princeton) and Shirshendu Ganguly (Berkeley) Stanford Online Combinatorics](https://reader036.vdocuments.us/reader036/viewer/2022071117/600311d623630f405b4a5b56/html5/thumbnails/32.jpg)
Theorem B [Alon-Ganguly-S’19]Fix 𝑑 prime. There is an infinite sequence of 𝑑 + 1-regular graphs 𝐺𝑚on 𝑚 vertices such that:
1. 𝑔𝑖𝑟𝑡ℎ 𝐺𝑚 ≥1
3log𝑑 𝑚
2. There is an eigenvector 𝐴𝑚𝑣 = 𝜆𝑣 which is 𝑘, 𝜖 −localized for
𝑘 = 𝑂(𝑑4𝜖𝑔𝑖𝑟𝑡ℎ(𝐺𝑚)) ∀𝜖 ∈ 0,1
3. 𝜆𝑖 𝐴𝑚 ≤ 2.12 𝑑 for all nontrivial adjacency eigenvalues.
The number of such 𝜆 for each 𝐺𝑚 is Ω(log𝑑 𝑚 ).
The set of 𝜆 attained by the above sequence is dense in (−2 𝑑, 2 𝑑).
![Page 33: Girth, Expansion, and Localization of Graph Eigenfunctionsnikhil/girthslides.pdf · Nikhil Srivastava w/ Noga Alon (Princeton) and Shirshendu Ganguly (Berkeley) Stanford Online Combinatorics](https://reader036.vdocuments.us/reader036/viewer/2022071117/600311d623630f405b4a5b56/html5/thumbnails/33.jpg)
Theorem B [Alon-Ganguly-S’19]Fix 𝑑 prime. There is an infinite sequence of 𝑑 + 1-regular graphs 𝐺𝑚on 𝑚 vertices such that:
1. 𝑔𝑖𝑟𝑡ℎ 𝐺𝑚 ≥1
3log𝑑 𝑚
2. There is an eigenvector 𝐴𝑚𝑣 = 𝜆𝑣 which is 𝑘, 𝜖 −localized for
𝑘 = 𝑂(𝑑4𝜖𝑔𝑖𝑟𝑡ℎ(𝐺𝑚)) ∀𝜖 ∈ 0,1
3. 𝜆𝑖 𝐴𝑚 ≤ 2.12 𝑑 for all nontrivial adjacency eigenvalues.
The number of such 𝜆 for each 𝐺𝑚 is Ω(log𝑑 𝑚 ).
The set of 𝜆 attained by the above sequence is dense in (−2 𝑑, 2 𝑑).
![Page 34: Girth, Expansion, and Localization of Graph Eigenfunctionsnikhil/girthslides.pdf · Nikhil Srivastava w/ Noga Alon (Princeton) and Shirshendu Ganguly (Berkeley) Stanford Online Combinatorics](https://reader036.vdocuments.us/reader036/viewer/2022071117/600311d623630f405b4a5b56/html5/thumbnails/34.jpg)
The Quantum Ergodicity Angle[Shnirelman’74] If the geodesic flow on a compact manifold is ergodic, then there is a dense subsequence of Laplacian eigenfunctions which is equidistributed (a strong notion of delocalization).
![Page 35: Girth, Expansion, and Localization of Graph Eigenfunctionsnikhil/girthslides.pdf · Nikhil Srivastava w/ Noga Alon (Princeton) and Shirshendu Ganguly (Berkeley) Stanford Online Combinatorics](https://reader036.vdocuments.us/reader036/viewer/2022071117/600311d623630f405b4a5b56/html5/thumbnails/35.jpg)
The Quantum Ergodicity Angle[Shnirelman’74] If the geodesic flow on a compact manifold is ergodic, then there is a dense subsequence of Laplacian eigenfunctions which is equidistributed (a strong notion of delocalization).
QUE Conjecture [Rudnick-Sarnak]:If the manifold is negatively curved, this is true for all eigenfunctions. Special case proved by Lindenstrauss.
[Smilansky’07] Study graphs as a simplified model for manifolds.
![Page 36: Girth, Expansion, and Localization of Graph Eigenfunctionsnikhil/girthslides.pdf · Nikhil Srivastava w/ Noga Alon (Princeton) and Shirshendu Ganguly (Berkeley) Stanford Online Combinatorics](https://reader036.vdocuments.us/reader036/viewer/2022071117/600311d623630f405b4a5b56/html5/thumbnails/36.jpg)
Quantum Ergodicity on Graphs[Anantharaman-Le Masson’13] If 𝐺 = (𝑉, 𝐸) is a bounded degree regular high girth expander with unit eigenvectors 𝑣1, … , 𝑣𝑛 then:
max|𝑓|≤1
𝑖
𝑥∈𝑉
𝑣𝑖2 𝑥 𝑓 𝑥 −
𝑥
𝑓 𝑥
2
= 𝑜(𝑛)
In fact, they proved this for eigenvectors in any 1/ log(𝑛) interval.
![Page 37: Girth, Expansion, and Localization of Graph Eigenfunctionsnikhil/girthslides.pdf · Nikhil Srivastava w/ Noga Alon (Princeton) and Shirshendu Ganguly (Berkeley) Stanford Online Combinatorics](https://reader036.vdocuments.us/reader036/viewer/2022071117/600311d623630f405b4a5b56/html5/thumbnails/37.jpg)
Quantum Ergodicity on Graphs[Anantharaman-Le Masson’13] If 𝐺 = (𝑉, 𝐸) is a bounded degree regular high girth expander with unit eigenvectors 𝑣1, … , 𝑣𝑛 then:
max|𝑓|≤1
𝑖
𝑥∈𝑉
𝑣𝑖2 𝑥 𝑓 𝑥 −
𝑥
𝑓 𝑥
2
= 𝑜(𝑛)
In fact, they proved this for eigenvectors in any 1/ log(𝑛) interval.
Strongest version of QUE: this is true for every eigenvector.
Theorem B disproves this strongest version.
![Page 38: Girth, Expansion, and Localization of Graph Eigenfunctionsnikhil/girthslides.pdf · Nikhil Srivastava w/ Noga Alon (Princeton) and Shirshendu Ganguly (Berkeley) Stanford Online Combinatorics](https://reader036.vdocuments.us/reader036/viewer/2022071117/600311d623630f405b4a5b56/html5/thumbnails/38.jpg)
Questions
• Actual Ramanujan graphs in Theorem B?
Could Ramanujan + High Girth -> Strong delocalization?
• Minimal assumptions for Quantum Ergodicity on Graphs?
Construct graphs with many localized 𝜆 in a small interval?
• More surgery on graphs preserving spectrum [Alon’20], [Paredes’20]
• Use interior eigenvectors to study girth, expansion?
[cf. Naor’12 for Abelian Cayley Graphs]