La Conjetura de Universalidad y una Apuesta sobre los Grafos de Ramanujan

El límite de Alon-Boppana planteó un desafío fascinante: construir grafos que alcanzaran este límite. Sarnak, Lubotzky y Phillips utilizaron la teoría de números para crear 'grafos de Ramanujan' que alcanzaron este límite. Surgió una apuesta entre Alon y Sarnak sobre la proporción de grafos de Ramanujan entre todos los grafos regulares. Años después, Horng-Tzer Yau, aprovechando la conjetura de universalidad para matrices aleatorias, resolvió este problema, decidiendo definitivamente la apuesta de décadas.