1: \begin{abstract}
2: Let $G$ be a finite connected graph, and let $\rho$ be the spectral
3: radius of its universal cover. For example, if $G$ is $k$-regular
4: then $\rho=2\sqrt{k-1}$. We show that for every $r$, there is an
5: $r$-covering (a.k.a.~an $r$-lift) of $G$ where all the new eigenvalues
6: are bounded from above by $\rho$. It follows that a bipartite Ramanujan
7: graph has a Ramanujan $r$-covering for every $r$. This generalizes
8: the $r=2$ case due to Marcus, Spielman and Srivastava \cite{MSS13}.
9:
10: Every $r$-covering of $G$ corresponds to a labeling of the edges
11: of $G$ by elements of the symmetric group $S_{r}$. We generalize
12: this notion to labeling the edges by elements of various groups and
13: present a broader scenario where Ramanujan coverings are guaranteed
14: to exist.
15:
16: In particular, this shows the existence of richer families of bipartite
17: Ramanujan graphs than was known before. Inspired by \cite{MSS13},
18: a crucial component of our proof is the existence of interlacing families
19: of polynomials for complex reflection groups. The core argument of
20: this component is taken from \cite{MSS15}.
21:
22: Another important ingredient of our proof is a new generalization
23: of the matching polynomial of a graph. We define the $r$-th matching
24: polynomial of $G$ to be the average matching polynomial of all $r$-coverings
25: of $G$. We show this polynomial shares many properties with the original
26: matching polynomial. For example, it is real-rooted with all its roots
27: inside $\left[-\rho,\rho\right]$.
28: \end{abstract}
29: