THE NON-BACKTRACKING SPECTRUM OF THE UNIVERSAL COVER OF A GRAPH

A non-backtracking walk on a graph, H, is a directed path of directed edges of H such that no edge is the inverse of its preceding edge. Non-backtracking walks of a given length can be counted using the non-backtracking adjacency matrix, B, indexed by H's directed edges and related to Ihara's Zeta function. We show how to determine B's spectrum in the case where H is a tree covering a finite graph. We show that when H is not regular, this spectrum can have positive measure in the complex plane, unlike the regular case. We show that outside of B's spectrum, the corresponding Green function has "periodic decay ratios." The existence of such a "ratio system" can be effectively checked, and is equivalent to being outside the spectrum. We also prove that the spectral radius of the non-backtracking walk operator on the tree covering a finite graph is exactly √ gr, where gr is the growth rate of the tree. This further motivates the definition of the graph theoretical Riemann hypothesis proposed by Stark and Terras (ST). Finally, we give experimental evidence that for a fixed, finite graph, H, a ran- dom lift of large degree has non-backtracking new spectrum near that of H's universal cover. This suggests a new generalization of Alon's second eigenvalue conjecture.

[1]  Yuji Nomura,et al.  Spectral structure of the Laplacian on a covering graph , 2009, Eur. J. Comb..

[2]  T. Richardson,et al.  Modern Coding Theory , 2008 .

[3]  N. Alon,et al.  Non-backtracking random walks mix faster , 2006, math/0610550.

[4]  N. Linial,et al.  Expander Graphs and their Applications , 2006 .

[5]  J. Friedman,et al.  Wave equations for graphs and the edge-based Laplacian , 2004 .

[6]  Christian Schlegel,et al.  Low-Density Parity-Check Codes , 2004 .

[7]  Joel Friedman,et al.  A proof of Alon's second eigenvalue conjecture and related problems , 2004, ArXiv.

[8]  Ronald Ortner,et al.  Non-Backtracking Random Walks and Cogrowth of Graphs , 2004, Canadian Journal of Mathematics.

[9]  J. Friedman A proof of alon's second eigenvalue conjecture , 2003, STOC '03.

[10]  J. Friedman Relative expanders or weakly relatively Ramanujan graphs , 2003 .

[11]  Noga Alon,et al.  The Moore Bound for Irregular Graphs , 2002, Graphs Comb..

[12]  L. Bartholdi Counting Paths in Graphs , 2000, math/0012161.

[13]  A. Terras,et al.  Zeta functions of finite graphs and coverings, III , 1996 .

[14]  A. Terras,et al.  Zeta Functions of Finite Graphs and Coverings , 1996 .

[15]  J. Friedman Some geometric aspects of graphs and their eigenfunctions , 1993 .

[16]  H. Bass THE IHARA-SELBERG ZETA FUNCTION OF A TREE LATTICE , 1992 .

[17]  Joel Friedman,et al.  On the second eigenvalue and random walks in randomd-regular graphs , 1991, Comb..

[18]  K. Aomoto Point spectrum on a quasihomogeneous tree , 1991 .

[19]  Charles R. Johnson,et al.  Matrix analysis , 1985 .

[20]  K. Aomoto Spectral theory on a free group and algebraic curves , 1984 .

[21]  Wolfgang Woess,et al.  Cogrowth of groups and simple random walks , 1983 .

[22]  Ana Pop Eigenvalues of Non-Backtracking Walks in a Cycle with Random Loops , 2007 .

[23]  Shlomo Hoory,et al.  A lower bound on the spectral radius of the universal cover of a graph , 2005, J. Comb. Theory B.

[24]  Amin Shokrollahi,et al.  LDPC Codes: An Introduction , 2004 .

[25]  Gerald Teschl,et al.  Functional Analysis , 2023, Texts and Readings in Mathematics.

[26]  T. Sunada,et al.  Zeta Functions of Finite Graphs , 2000 .

[27]  H. M. Stark,et al.  Zeta Functions of Finite Graphs and Coverings , Part II , 2000 .

[28]  A. Figá-Talamanca,et al.  Harmonic analysis for anisotropic random walks on homogeneous trees , 1994 .

[29]  Sam Northshield,et al.  Cogrowth of Regular Graphs , 1992 .

[30]  K. Hashimoto Zeta functions of finite graphs and representations of p-adic groups , 1989 .

[31]  橋本 喜一朗,et al.  Automorphic forms and geometry of arithmetic varieties , 1989 .

[32]  K. Aomoto Algebraic equations for Green kernel on a tree , 1988 .

[33]  K. Aomoto A formula of eigen-function expansions I. Case of asymptotic trees , 1985 .