arXiv++ Combinatorics

A graph-theoretic analogue of Iwasawa theory, initiated by Gonet and Vallières, has attracted considerable interest in the study of Iwasawa invariants. On the other hand, for a pair of prime numbers $(r,\ell)$, one obtains a graph, called the supersingular $\ell$-isogeny graph (SIG), whose adjacency matrix has eigenvalues given by the $\ell$-th Fourier coefficients of the weight 2 Eisenstein series and newforms of level $r$. In this paper, we fix prime numbers $r$ and $p$, and let $\ell$ vary over infinitely many primes. We then investigate the distribution of the Iwasawa $λ$-invariants of the constant $\mathbf{Z}_p$-towers over the SIGs, thereby revealing connections among graph theory, Iwasawa theory, elliptic curves, and the Galois representations attached to newforms. At the end of this paper, we propose a conjecture concerning the Galois orbits of newforms.

This paper studies the relation among the number of spanning trees of intermediate graphs in a Galois cover, building on results for $(\mathbb{Z}/2\mathbb{Z})^m$-covers previously established by Hammer, Mattman, Sands, and Vallières. We generalize their results to arbitrary finite Galois covers. Using the Ihara zeta function and the Artin--Ihara $L$-function, we prove two formulas which are graph-theoretic analogues of Kuroda's formula and the Brauer--Kuroda relations in algebraic number theory. Furthermore, we prove that a spanning tree formula does not exist if the Galois group is cyclic.

Let $p$ be a prime number and let $d$ be a positive integer. In this paper, we generalize Iwasawa theory for graphs initiated by Gonet and Vallières to weighted graphs. In particular, we prove an analogue of Iwasawa's class number formula and that of Kida's formula for compatible systems of $(\mathbb{Z}/p^n\mathbb{Z})^d$-covers of weighted graphs. We also provide numerical examples of characteristic elements and Iwasawa invariants. At the end of this paper, we give an application of the ideas of Iwasawa theory to the theory of discrete-time quantum walks in graphs.