pith. sign in

arxiv: 2607.02011 · v1 · pith:4TFLBONSnew · submitted 2026-07-02 · 🧮 math.NT

Iwasawa-Type Spectral Resultant Growth Laws for Grover Walks on Graph Towers

Jir\^o Akahori , Taro Hayashi , Ryoichi Suzuki This is my paper

Pith reviewed 2026-07-03 06:57 UTC · model grok-4.3

classification 🧮 math.NT
keywords Iwasawa theoryGrover walksgraph towersspectral resultantp-adic valuationBass factorKida formulaFitting ideal
0
0 comments X

The pith

If P is coprime to the Bass factor and the spectral resultant does not vanish at torsion characters, then the p-adic valuation of det P(U_n) follows a leading asymptotic given by the mu and lambda invariants of R_{X,P} plus a Bass correctio

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper aims to establish Iwasawa-type growth laws for the p-adic valuations of det P(U_n), where U_n is the Grover transition matrix on levels of a Z_p^d graph tower and P is a monic polynomial. The key step is showing that the spectral resultant R_{X,P} generates the Fitting ideal of an associated module over the Iwasawa algebra, and that under coprimality to the Bass factor and non-vanishing at torsion characters this yields a precise asymptotic formula for the valuations in terms of the mu and lambda invariants of R_{X,P} with a Bass correction. This matters because it reduces the study of spectral quantities of quantum walks across infinite towers to invariants extracted from the base. The work further provides an equivariant factorization for covers, an unramified equivariant Kida formula, and a correspondence between torsion zeros and eigenvalue occurrences at finite levels.

Core claim

If P is coprime to the Bass factor A^2-1 and the spectral resultant R_{X,P} does not vanish at torsion characters, then det P(U_n) is nonzero for all n and v_p(det P(U_n)) admits a Cuoco-Monsky type leading asymptotic formula whose main terms are the mu- and lambda-invariants of R_{X,P} together with a Bass-factor correction. The resultant also admits an equivariant factorization over finite connected p-group covers, yielding an unramified equivariant Kida formula, and its torsion zeros correspond exactly to the appearance of roots of P as Grover eigenvalues at finite levels of the tower.

What carries the argument

The spectral resultant R_{X,P}(T) = Res_A(F_X(A,T), P(A)), where F_X is the universal Grover-Ihara spectral polynomial of the tower; it generates the zeroth Fitting ideal of a natural finite module over the Iwasawa algebra.

If this is right

  • det P(U_n) remains nonzero for every level n of the tower.
  • The p-adic valuation of det P(U_n) has an explicit leading asymptotic determined by the mu and lambda invariants of R_{X,P} and the Bass-factor correction.
  • Spectral resultants admit an equivariant factorization for finite connected p-group covers.
  • An unramified equivariant Kida formula holds under the integrality and nonzero-resultant assumptions.
  • Torsion zeros of R_{X,P} mark precisely when a root of P occurs as a Grover eigenvalue at some finite level.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The torsion-zero correspondence supplies a criterion for detecting when a prescribed spectral value from P appears as an eigenvalue without computing each level separately.
  • The recovery of the fixed non-eigenvalue formula as a special case for P(A) = A - a indicates that the resultant approach unifies growth laws for individual characteristic polynomials and packaged spectral packets.
  • The equivariant factorization may permit direct comparison of invariants across different covers in the same tower.

Load-bearing premise

The non-vanishing of the spectral resultant R_{X,P} at all torsion characters of the Iwasawa algebra, together with coprimality of P to the Bass factor A^2-1.

What would settle it

An explicit computation for the K_3-tower example showing that the actual v_p(det P(U_n)) deviates from the predicted mu-lambda asymptotic for large n would falsify the leading-term formula.

read the original abstract

Let $X_0\leftarrow X_1\leftarrow\cdots$ be a $\mathbb Z_p^d$-tower of finite graphs, and let $U_n$ be the Grover transition matrix on $X_n$. We study Iwasawa-type $p$-adic growth laws for the polynomial spectral quantities \[ \det P(U_n), \] where $P(A)$ is a monic polynomial. The basic object is the spectral resultant \[ \mathcal R_{X,P}(T)=\operatorname{Res}_A(\mathcal F_X(A,T),P(A)), \] where $\mathcal F_X(A,T)$ is the universal Grover--Ihara spectral polynomial of the tower. In the integral setting, this resultant generates the zeroth Fitting ideal of a natural finite module over the Iwasawa algebra; when the resultant is nonzero, this module is torsion. The polynomial $P$ packages prescribed spectral values into a single spectral packet. If $P$ is coprime to the Bass factor $A^2-1$ and $\mathcal R_{X,P}$ does not vanish at torsion characters, then $\det P(U_n)$ is nonzero for all $n$ and we prove a Cuoco--Monsky type leading asymptotic formula for $v_p(\det P(U_n))$. The leading terms are given explicitly by the $\mu$- and $\lambda$-invariants of $\mathcal R_{X,P}$, with a separate correction coming from the Bass factor. For $P(A)=A-a$, with $a\ne\pm1$ and $a$ not an eigenvalue at any level, this recovers the leading invariants in the fixed non-eigenvalue formula for Grover characteristic polynomials. We also prove an equivariant factorization of spectral resultants for finite connected $p$-group covers. As a consequence, we obtain an unramified equivariant Kida formula under explicit integrality and nonzero-resultant assumptions. Finally, when $\gcd(P,A^2-1)=1$, we show that torsion zeros of $\mathcal R_{X,P}$ correspond exactly to occurrences of roots of $P$ as Grover eigenvalues at finite levels. The examples include the $K_3$-tower, non-abelian Heisenberg $5$-group covers, and an explicit torsion-zero spectral packet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 2 minor

Summary. The manuscript develops an Iwasawa-theoretic framework for p-adic growth laws of det P(U_n), where U_n is the Grover transition matrix on levels X_n of a Z_p^d-tower of finite graphs. It defines the spectral resultant R_{X,P}(T) = Res_A(F_X(A,T), P(A)) from the universal Grover-Ihara polynomial, asserts that this resultant generates the zeroth Fitting ideal of a natural module over the Iwasawa algebra (hence the module is torsion when R is nonzero), and proves under the hypotheses that P is coprime to the Bass factor A^2-1 and R_{X,P} does not vanish at torsion characters that det P(U_n) is nonzero for all n and that v_p(det P(U_n)) admits a Cuoco-Monsky-type leading asymptotic whose main terms are the mu- and lambda-invariants of R_{X,P} together with a Bass-factor correction. It further proves an equivariant factorization of spectral resultants for finite connected p-group covers, yielding an unramified equivariant Kida formula under integrality and nonzero-resultant assumptions, and shows that torsion zeros of R_{X,P} correspond exactly to occurrences of roots of P as Grover eigenvalues at finite levels when gcd(P, A^2-1)=1. Examples include the K_3-tower, non-abelian Heisenberg 5-group covers, and an explicit torsion-zero spectral packet.

Significance. If the central claims hold, the work supplies a precise algebraic mechanism for controlling the p-adic growth of spectral quantities attached to quantum walks on infinite graph towers, directly analogous to classical Iwasawa theory. The identification of the resultant as a generator of the Fitting ideal, the explicit mu/lambda formula, the equivariant Kida formula, and the torsion-zero correspondence are all potentially useful for explicit computations; the conditional hypotheses are stated clearly, which strengthens the result. The approach of packaging spectral values via a monic polynomial P is a natural and reusable device.

major comments (2)
  1. [integral setting paragraph (after definition of R_{X,P})] The assertion that R_{X,P} generates the zeroth Fitting ideal of the natural finite module over the Iwasawa algebra is load-bearing for the entire growth-law claim and for the statement that the module is torsion when R is nonzero; the manuscript must supply the explicit construction of the module and the proof of the generator property (the abstract only asserts existence).
  2. [paragraph containing the Cuoco-Monsky type leading asymptotic formula] The leading asymptotic formula for v_p(det P(U_n)) is stated to follow from the mu- and lambda-invariants of R_{X,P} plus Bass correction once the Fitting generator is identified; the manuscript should include the precise statement of the Cuoco-Monsky-type theorem being invoked and verify that the error term is controlled under the stated non-vanishing hypothesis.
minor comments (2)
  1. [Introduction / notation section] The universal Grover-Ihara spectral polynomial F_X(A,T) is referred to as 'universal' without an explicit formula or reference in the abstract; the full definition (including dependence on the tower) should appear in the first section with all variables and the precise ring of coefficients stated.
  2. [Examples section] The examples (K_3-tower, Heisenberg 5-group covers) are mentioned but no numerical verification of the asymptotic or explicit computation of mu/lambda invariants is described; adding a short table or computation for small n would strengthen the illustration of the torsion-zero correspondence.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and for identifying two points where additional explicit detail is required. We address each major comment below and will incorporate the requested material in a revised version.

read point-by-point responses

  1. Referee: [integral setting paragraph (after definition of R_{X,P})] The assertion that R_{X,P} generates the zeroth Fitting ideal of the natural finite module over the Iwasawa algebra is load-bearing for the entire growth-law claim and for the statement that the module is torsion when R is nonzero; the manuscript must supply the explicit construction of the module and the proof of the generator property (the abstract only asserts existence).

    Authors: We agree that the explicit construction of the module and the proof that the resultant generates its zeroth Fitting ideal are essential for the growth-law claims. In the revised manuscript we will add a dedicated subsection immediately after the definition of R_{X,P} that (i) constructs the natural finite module over the Iwasawa algebra, (ii) proves that R_{X,P} generates its zeroth Fitting ideal, and (iii) deduces the torsion statement when R_{X,P} is nonzero. revision: yes

  2. Referee: [paragraph containing the Cuoco-Monsky type leading asymptotic formula] The leading asymptotic formula for v_p(det P(U_n)) is stated to follow from the mu- and lambda-invariants of R_{X,P} plus Bass correction once the Fitting generator is identified; the manuscript should include the precise statement of the Cuoco-Monsky-type theorem being invoked and verify that the error term is controlled under the stated non-vanishing hypothesis.

    Authors: We will insert the precise statement of the Cuoco-Monsky theorem (including the form of the error term) that is being applied, together with a short verification that the non-vanishing hypothesis on R_{X,P} at torsion characters ensures the error term remains bounded as required. This material will appear immediately after the statement of the leading asymptotic formula. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation applies standard Iwasawa growth to explicitly constructed resultant

full rationale

The central result applies the known Cuoco-Monsky asymptotic (under explicit non-vanishing and coprimality hypotheses) to the spectral resultant R_{X,P} = Res_A(F_X(A,T), P(A)), where F_X is the universal Grover-Ihara polynomial of the tower. The mu and lambda invariants are read off from this resultant in the usual way; the growth formula for v_p(det P(U_n)) is then the direct invocation of the external theorem, not a re-derivation or self-definition. The Fitting-ideal generation statement likewise follows the standard route once the generator is identified by the resultant construction. No load-bearing self-citation, ansatz smuggling, or renaming of known results occurs in the derivation chain. The argument is self-contained against external Iwasawa benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The setup rests on the existence of a Z_p^d-tower of finite graphs equipped with a universal Grover-Ihara spectral polynomial; the main theorem further requires that the resultant avoids torsion zeros and is coprime to the Bass factor. No free parameters or new entities are introduced beyond these standard constructions.

axioms (2)
  • domain assumption Existence of a Z_p^d-tower of finite graphs with associated universal Grover-Ihara spectral polynomial F_X(A,T).
    Invoked at the outset to define the spectral resultant R_{X,P}.
  • ad hoc to paper P coprime to A^2-1 and R_{X,P} nonzero at torsion characters.
    Explicit hypothesis required for the leading asymptotic formula and non-vanishing of det P(U_n).

pith-pipeline@v0.9.1-grok · 5972 in / 1664 out tokens · 31277 ms · 2026-07-03T06:57:07.799126+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

32 extracted references · 27 canonical work pages · 1 internal anchor

  1. [1]

    Distributions of Iwasawa $\lambda$-invariants of $\mathbf{Z}_p$-towers over supersingular isogeny graphs

    T. Adachi, K. Mizuno, R. Murooka, and S. Tateno. Distributions of Iwasawa lambda-invariants of Zp-towers over supersingular isogeny graphs, 2026. arXiv:2605.23184v1.arXiv:2605.23184

    work page internal anchor Pith review Pith/arXiv arXiv 2026

  2. [2]

    Adachi, K

    T. Adachi, K. Mizuno, and S. Tateno. Iwasawa theory for weighted graphs.Annales math´ ematiques du Qu´ ebec, 50:231–265, 2026. Published online 4 October 2025.doi: 10.1007/s40316-025-00247-w

    work page doi:10.1007/s40316-025-00247-w 2026

  3. [3]

    Balakrishnan and K

    R. Balakrishnan and K. Ranganathan.A Textbook of Graph Theory. Universitext. Springer, 2 edition, 2012.doi:10.1007/978-1-4614-4529-6

    work page doi:10.1007/978-1-4614-4529-6 2012

  4. [4]

    H. Bass. The Ihara-Selberg zeta function of a tree lattice.International Journal of Mathemat- ics, 3(6):717–797, 1992.doi:10.1142/S0129167X92000357

    work page doi:10.1142/s0129167x92000357 1992

  5. [5]

    A. A. Cuoco and P. Monsky. Class numbers inZ d p-extensions.Mathematische Annalen, 255(2):235–258, 1981.doi:10.1007/BF01450674

    work page doi:10.1007/bf01450674 1981

  6. [6]

    DuBose and D

    S. DuBose and D. Valli` eres. OnZd p-towers of graphs.Algebraic Combinatorics, 6(5):1331–1346, 2023.doi:10.5802/alco.304. 37

    work page doi:10.5802/alco.304 2023

  7. [7]

    D. Emms, E. R. Hancock, S. Severini, and R. C. Wilson. A matrix representation of graphs and its spectrum as a graph invariant.Electronic Journal of Combinatorics, 13(1):Research Paper 34, 2006.doi:10.37236/1060

    work page doi:10.37236/1060 2006

  8. [8]

    Gambheera and D

    R. Gambheera and D. Valli` eres. Iwasawa theory for branchedZ p-towers of finite graphs. Documenta Mathematica, 29(6):1435–1468, 2024.doi:10.4171/dm/976

    work page doi:10.4171/dm/976 2024

  9. [9]

    Godsil and G

    C. Godsil and G. Royle.Algebraic Graph Theory, volume 207 ofGraduate Texts in Mathemat- ics. Springer, 2001.doi:10.1007/978-1-4613-0163-9

    work page doi:10.1007/978-1-4613-0163-9 2001

  10. [10]

    S. Gonet. Iwasawa theory of Jacobians of graphs.Algebraic Combinatorics, 5(5):827–848, 2022

    2022

  11. [11]

    Y. Ihara. On discrete subgroups of the two by two projective linear group overp-adic fields.Journal of the Mathematical Society of Japan, 18:219–235, 1966.doi:10.2969/jmsj/ 01830219

    work page doi:10.2969/jmsj/ 1966

  12. [12]

    Iwasawa.Lectures onp-adicL-functions, volume 74 ofAnnals of Mathematics Studies

    K. Iwasawa.Lectures onp-adicL-functions, volume 74 ofAnnals of Mathematics Studies. Princeton University Press, 1972

    1972

  13. [13]

    T. Kataoka. Kida’s formula for graphs with ramifications, 2024. To appear in Acta Arithmetica. arXiv:2407.16934

    work page arXiv 2024

  14. [14]

    Kida.ℓ-extensions of CM-fields and cyclotomic invariants.Journal of Number Theory, 12(4):519–528, 1980

    Y. Kida.ℓ-extensions of CM-fields and cyclotomic invariants.Journal of Number Theory, 12(4):519–528, 1980

    1980

  15. [15]

    Kleine and K

    S. Kleine and K. M¨ uller. On the growth of the Jacobians inZ ℓ p-voltage covers of graphs. Algebraic Combinatorics, 7(4):1011–1038, 2024.doi:10.5802/alco.366

    work page doi:10.5802/alco.366 2024

  16. [16]

    Konno and I

    N. Konno and I. Sato. On the relation between quantum walks and zeta functions.Quantum Information Processing, 11(2):341–349, 2012.doi:10.1007/s11128-011-0250-1

    work page doi:10.1007/s11128-011-0250-1 2012

  17. [17]

    McGown and D

    K. McGown and D. Valli` eres. On abelianℓ-towers of multigraphs II.Annales math´ ematiques du Qu´ ebec, 47(2):461–473, 2023.doi:10.1007/s40316-021-00183-5

    work page doi:10.1007/s40316-021-00183-5 2023

  18. [18]

    McGown and D

    K. McGown and D. Valli` eres. On abelianℓ-towers of multigraphs III.Annales math´ ematiques du Qu´ ebec, 48(1):1–19, 2024.doi:10.1007/s40316-022-00194-w

    work page doi:10.1007/s40316-022-00194-w 2024

  19. [19]

    Mizuno and I

    H. Mizuno and I. Sato. On the weighted complexity of a regular covering of a graph.Journal of Combinatorial Theory, Series B, 89(1):17–26, 2003.doi:10.1016/S0095-8956(03)00041-8

    work page doi:10.1016/s0095-8956(03)00041-8 2003

  20. [20]

    Mizuno and I

    H. Mizuno and I. Sato. Weighted zeta functions of graphs.Journal of Combinatorial Theory, Series B, 91(2):169–183, 2004.doi:10.1016/j.jctb.2003.12.003

    work page doi:10.1016/j.jctb.2003.12.003 2004

  21. [21]

    Mizuno and I

    H. Mizuno and I. Sato. Some weighted Bartholdi zeta function of a digraph.Linear Algebra and its Applications, 445:1–17, 2014.doi:10.1016/j.laa.2013.11.043

    work page doi:10.1016/j.laa.2013.11.043 2014

  22. [22]

    P. Monsky. Onp-adic power series.Mathematische Annalen, 255(2):217–227, 1981.doi: 10.1007/BF01450672

    work page doi:10.1007/bf01450672 1981

  23. [23]

    Northshield

    S. Northshield. A note on the zeta function of a graph.Journal of Combinatorial Theory, Series B, 74(2):408–410, 1998.doi:10.1006/jctb.1998.1861. 38

    work page doi:10.1006/jctb.1998.1861 1998

  24. [24]

    Portugal.Quantum Walks and Search Algorithms

    R. Portugal.Quantum Walks and Search Algorithms. Quantum Science and Technology. Springer, 2 edition, 2018.doi:10.1007/978-3-319-97813-0

    work page doi:10.1007/978-3-319-97813-0 2018

  25. [25]

    Ray and D

    A. Ray and D. Valli` eres. An analogue of Kida’s formula in graph theory.Pure and Applied Mathematics Quarterly, 21(5):1853–1891, 2025.doi:10.4310/pamq.250312162321

    work page doi:10.4310/pamq.250312162321 2025

  26. [26]

    I. Sato. A new Bartholdi zeta function of a graph.International Journal of Algebra, 1(5– 8):269–281, 2007.doi:10.12988/ija.2007.07029

    work page doi:10.12988/ija.2007.07029 2007

  27. [27]

    Serre.Trees

    J.-P. Serre.Trees. Springer Monographs in Mathematics. Springer, 2003. Translated from the French original by John Stillwell

    2003

  28. [28]

    H. M. Stark and A. A. Terras. Zeta functions of finite graphs and coverings.Advances in Mathematics, 121(1):124–165, 1996.doi:10.1006/aima.1996.0059

    work page doi:10.1006/aima.1996.0059 1996

  29. [29]

    Tateno and J

    S. Tateno and J. Ueki. The Iwasawa invariants ofZ d p-covers of links.Journal of the London Mathematical Society, 111(6):e70183, 2025.doi:10.1112/jlms.70183

    work page doi:10.1112/jlms.70183 2025

  30. [30]

    Terras.Zeta Functions of Graphs: A Stroll through the Garden, volume 128 ofCambridge Studies in Advanced Mathematics

    A. Terras.Zeta Functions of Graphs: A Stroll through the Garden, volume 128 ofCambridge Studies in Advanced Mathematics. Cambridge University Press, 2011

    2011

  31. [31]

    Valli` eres

    D. Valli` eres. On abelianℓ-towers of multigraphs.Annales math´ ematiques du Qu´ ebec, 45(2):433– 452, 2021.doi:10.1007/s40316-020-00152-4

    work page doi:10.1007/s40316-020-00152-4 2021

  32. [32]

    D. Wan. Class numbers andp-ranks inZ d p-towers.Journal of Number Theory, 203:139–154, 2019.doi:10.1016/j.jnt.2018.11.006. 39

    work page doi:10.1016/j.jnt.2018.11.006 2019