Sandbox:DavidKohler/Alon try 1

These pages gather some work around Alon's conjecture.

List of theorems

• Theorem 2.11
• Theorem 3.5
• Theorem 3.9
• Theorem 3.13
• Theorem 4.2

List of definitions

• Irreducible eigenvalue
• Loopy (graph)
• Regular tree completion
• Rayleigh quotient
• Variable-length graph
• Ramanujan functions

List of other pages

• Probabilistic models for regular graphs