In spectral graph theory, the Alon–Boppana bound provides a lower bound on the second-largest eigenvalue of the adjacency matrix of a formula_1-regular graph, meaning a graph in which every vertex has degree formula_1.