Given a finite connected undirected graph $X$, its fundamental group plays the role of the absolute Galois group of $X$. The familiar Galois theory holds in this setting. In this talk we shall discuss graph theoretical counter parts of several important theorems for number fields. Topics include
(a) Determination, up to equivalence, of unramified normal covers of $X$ of given degree,
(b) Criteria for Sunada equivalence,
(c) Chebotarev density theorem.
This is a joint work with Hau-Wen Huang.[-]

A $d$-regular graph is Ramanujan if its nontrivial eigenvalues in absolute value are bounded by $2\sqrt{d-1}$. By means of number-theoretic methods, infinite families of Ramanujan graphs were constructed by Margulis and independently by Lubotzky-Phillips-Sarnak in 1980's for $d=q+ 1$, where q is a prime power. The existence of an infinite family of Ramanujan graphs for arbitrary d has been an open question since then. Recently Adam Marcus, Daniel Spielman and Nikhil Srivastava gave a positive answer to this question by showing that any bipartite $d$-regular Ramanujan graph has a $2$-fold cover that is also Ramanujan. In this talk we shall discuss their approach and mention similarities with function field towers.[-]