A graph is a -lift of a graph if there is a -to- map which is locally injective in the sense that the restriction of to the neighbourhood of every vertex is an injection. We can construct a random -lift of with vertex set by adding a (uniformly chosen) random matching between and whenever . If is a -lift of , then every eigenvalue of will also be an eigenvalue of , but in addition will have new eigenvalues. There has been considerable interest and investigation into the behaviour of these new eigenvalues for a random -lift, since it is expected that they should generally be small in magnitude. In particular, if is a Ramanujan graph (a -regular graph for which all nontrivial eigenvalues are at most ) it may be possible to construct a new Ramanujan graph by taking a suitable -lift of . A series of increasingly strong results have shown that a random -lift of a -regular Ramanujan graph will have all new eigenvalues at most (Friedman [F]), (Linial and Pruder [LP]) and (Lubetzky, Sudakov, and Vu [LSV]).
An interesting paper of Bilu and Linial [BL] investigates 2-lifts of graphs. Let be a graph and let be a 2-lift of with vertex set as above. Every eigenvector of extends naturally to an eigenvector of which is constant on each fiber (set of the form ). Thus, we may assume that all of the new eigenvalues are associated with eigenvectors which sum to zero on each fiber. So, each of these new eigenvectors is completely determined by its behaviour on . Now we assign a signature to each edge of to form a signed graph by assigning each edge for which a sign of and every other edge of sign . It is straightforward to verify that the restriction of any new eigenvector of to will then be an eigenvector of . Thus, the above conjecture is equivalent to the conjecture that every -regular graph has a -lift so that all new eigenvalues have magnitude at most . Furthermore, a positive solution to this conjecture for -regular Ramanujan graphs would yield families of -regular expanders.
Bibliography
*[BL] Y. Bilu, N. Linial, Lifts, discrepancy and nearly optimal spectral gap, Combinatorica 26 (5) (2006) 495–519. MathSciNet
[F] J. Friedman, Relative expanders or weakly relatively Ramanujan graphs, Duke Math. J. 118 (1) (2003) 19–35. MathSciNet
[LP] N. Linial, D. Puder, Word maps and spectra of random graph lifts, Random Structures Algorithms 37 (1) (2010) 100–135. MathSciNet
[LSV] E. Lubetzky, B. Sudakov, V Vu, Spectra of lifted Ramanujan graphs. Adv. Math. 227 (2011), no. 4, 1612–1645. MathSciNet
* indicates original appearance(s) of problem.