pith. sign in

arxiv: 2605.00518 · v1 · submitted 2026-05-01 · 🧮 math.CO

Quantum fractional revival on zero-divisor graphs over mathbb{Z}_n

Pith reviewed 2026-05-09 19:09 UTC · model grok-4.3

classification 🧮 math.CO MSC 05C5005C25
keywords zero-divisor graphscontinuous-time quantum walksfractional revivalperfect state transferequitable partitionsstrong cospectralitybipartite graphsquotient spectrum
0
0 comments X

The pith

Fractional revival in quantum walks on zero-divisor graphs over Z_n occurs only inside size-2 cells of false or true twins.

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

The paper characterizes when perfect state transfer and fractional revival arise in continuous-time quantum walks on the zero-divisor graph of integers modulo n. It employs the equitable partition generated by the proper divisors of n to reduce the dynamics and extract conditions on n that permit state transfer between vertices. Fractional revival is shown to be possible solely within cells of size 2 in this partition. Under the assumption that minus one is not an eigenvalue of the quotient spectrum, strong cospectrality between any two vertices holds precisely when they form a false-twin or true-twin cell of size 2. The work also gives an explicit description for the bipartite case and proves absence of revival on graphs arising from Z_{p squared q}.

Core claim

Using the canonical equitable partition induced by the proper divisors of n, the authors derive a sufficient condition on n for perfect state transfer to occur between a pair of vertices. They prove that fractional revival is restricted to cells of size 2 within the equitable partition. Assuming minus one is not an eigenvalue of the quotient spectrum, two vertices are strongly cospectral if and only if they form such a cell that consists of false twins or true twins. They also characterize fractional revival on bipartite versions of the graph and show it does not occur on graphs from Z_{p squared q}.

What carries the argument

The canonical equitable partition of the zero-divisor graph induced by the proper divisors of n, which reduces the quantum walk to dynamics on a smaller quotient graph and isolates the cells where revival can occur.

If this is right

  • A sufficient condition on n guarantees perfect state transfer between certain vertex pairs.
  • Fractional revival is possible only between vertices inside a size-2 false-twin or true-twin cell.
  • Bipartite zero-divisor graphs admit a complete characterization of fractional revival via the same partition.
  • Zero-divisor graphs over Z_{p squared q} admit no fractional revival whatsoever.
  • Strong cospectrality holds exactly for the twin cells of size 2 when the eigenvalue assumption is met.

Where Pith is reading between the lines

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

  • The divisor partition suggests that the multiplicative structure of n directly controls which quantum transfers are possible, opening a route to tune revival by choosing n with prescribed divisors.
  • If the minus-one eigenvalue assumption is dropped, larger cells might permit revival, providing a concrete test case for future computation on small n.
  • The results indicate that algebraic graphs from rings can serve as tunable platforms for restricted quantum state transfer.

Load-bearing premise

The assumption that minus one is not an eigenvalue of the quotient spectrum, which is required to obtain the if-and-only-if link between strong cospectrality and the twin cells of size 2.

What would settle it

An explicit pair of vertices in some Gamma(Z_n) that are not a false-twin or true-twin cell of size 2 yet still display fractional revival, or an n where minus one is a quotient eigenvalue and the cospectrality equivalence fails.

Figures

Figures reproduced from arXiv: 2605.00518 by Bui Phuoc Minh, Songpon Sriwongsa.

Figure 1
Figure 1. Figure 1: The zero-divisor graph of Z18 and its associated divisor graph. if and only if n | didj . This construction yields a decomposition of Γ(Zn) via the generalized join graph. Recall that for a graph G and a collection of disjoint graphs {Hi}, the generalized join graph G[H1, . . . , Hk] is formed by replacing each vertex vi ∈ V (G) with Hi , and joining all vertices of Hi to all vertices of Hj whenever vi ∼ v… view at source ↗
Figure 2
Figure 2. Figure 2: The Cartesian product graph P2□K1,4 It is well known that P2 has PST between 0 and 1 at time t = π 2 with a tran￾sition magnitude of |−i|= 1. Furthermore, since σ(K1,4) consists of even integers, K1,4 is periodic at the central vertex c at time t = π 2 with the transition ampli￾tude HA(K1,4) view at source ↗
read the original abstract

In this paper, we characterize the existence of perfect state transfer (PST) and fractional revival in continuous-time quantum walks on the zero-divisor graph $\Gamma(\mathbb{Z}_n)$. By using the canonical equitable partition of $\Gamma(\mathbb{Z}_n)$ induced by the proper divisors of $n$, we derive a sufficient condition on $n$ for PST to occur between a pair of vertices. We show that fractional revival is restricted to cells of size $2$ within the equitable partition. Furthermore, assuming $-1$ is not an eigenvalue of the quotient spectrum, we establish that two vertices in $\Gamma(\mathbb{Z}_n)$ are strongly cospectral if and only if they form a cell of size $2$ within the equitable partition that is either a set of false twins or true twins. Finally, we provide a characterization of fractional revival on bipartite $\Gamma(\mathbb{Z}_n)$ and prove the non-existence of fractional revival on $\Gamma(\mathbb{Z}_{p^2q})$.

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

1 major / 1 minor

Summary. The paper characterizes perfect state transfer (PST) and fractional revival in continuous-time quantum walks on the zero-divisor graph Γ(ℤ_n). It employs the canonical equitable partition induced by the proper divisors of n to obtain a sufficient condition on n for PST between vertex pairs. Fractional revival is shown to be restricted to cells of size 2 in this partition. Under the assumption that −1 is not an eigenvalue of the quotient spectrum, two vertices are strongly cospectral if and only if they form a size-2 cell of false twins or true twins. The work also gives a characterization of fractional revival on bipartite Γ(ℤ_n) and proves non-existence on Γ(ℤ_{p²q}).

Significance. If the results hold, the explicit sufficient condition for PST, the restriction of fractional revival to size-2 cells, and the non-existence result for Γ(ℤ_{p²q}) provide concrete, falsifiable statements about quantum walks on algebraic graphs. The equitable-partition reduction to a quotient graph is a standard but effectively applied technique here that yields verifiable claims on strong cospectrality and revival phenomena.

major comments (1)
  1. The if-and-only-if characterization of strong cospectrality (two vertices are strongly cospectral iff they form a size-2 cell of false or true twins) rests on the assumption that −1 is not an eigenvalue of the quotient spectrum Q. The manuscript states this assumption but provides neither a proof that it holds for all relevant n nor a classification of the n for which it fails. This assumption is load-bearing: if −1 ∈ spec(Q) for any n admitting size-2 cells (e.g., partitions containing both adjacent and non-adjacent pairs), the “only if” direction fails and the subsequent restriction of fractional revival to size-2 cells becomes incomplete.
minor comments (1)
  1. The definition of the quotient matrix Q and the equitable partition should be recalled explicitly before the statement of the strong-cospectrality theorem to improve readability.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading of our manuscript and for highlighting this important point about the assumption on the quotient spectrum. We address the concern directly below and will incorporate the necessary clarification in the revised version.

read point-by-point responses
  1. Referee: The if-and-only-if characterization of strong cospectrality (two vertices are strongly cospectral iff they form a size-2 cell of false or true twins) rests on the assumption that −1 is not an eigenvalue of the quotient spectrum Q. The manuscript states this assumption but provides neither a proof that it holds for all relevant n nor a classification of the n for which it fails. This assumption is load-bearing: if −1 ∈ spec(Q) for any n admitting size-2 cells (e.g., partitions containing both adjacent and non-adjacent pairs), the “only if” direction fails and the subsequent restriction of fractional revival to size-2 cells becomes incomplete.

    Authors: We agree that the assumption that −1 is not an eigenvalue of the quotient matrix Q is stated without a complete justification or classification in the current manuscript, and that this leaves the if-and-only-if claim on strong cospectrality conditional. In the revised version we will add an explicit analysis of spec(Q). Using the explicit block structure of the quotient matrix arising from the divisor-induced equitable partition, we will derive the characteristic polynomial of Q and show that −1 lies outside the spectrum for every n that admits size-2 cells. (The eigenvalues are determined by the adjacency relations among the divisor classes and can be computed directly from the lattice of proper divisors.) If any exceptional n are found, we will list them and verify strong cospectrality by direct computation on the original graph, thereby restoring the restriction of fractional revival to size-2 cells without an unproven hypothesis. revision: yes

Circularity Check

0 steps flagged

No circularity: derivations use standard equitable partitions and quotient spectra from graph theory

full rationale

The paper's claims on PST, fractional revival, and strong cospectrality are built from the canonical equitable partition induced by proper divisors of n and the associated quotient matrix, which are standard constructions in algebraic graph theory. The assumption that -1 is not an eigenvalue of the quotient spectrum is explicitly stated as a hypothesis for the if-and-only-if characterization of strong cospectrality rather than being derived from or equivalent to the paper's own results. No steps reduce by construction to fitted inputs, self-definitions, or load-bearing self-citations; the central results remain independent of the paper's own outputs.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The paper relies on standard definitions of zero-divisor graphs, equitable partitions induced by divisors, and the spectrum of the quotient graph. No free parameters are introduced. The key assumption that −1 is not an eigenvalue is treated as a hypothesis rather than derived.

axioms (2)
  • domain assumption The canonical equitable partition of Γ(ℤ_n) is induced by the proper divisors of n.
    Invoked to reduce the quantum walk to the quotient graph.
  • standard math Strong cospectrality implies fractional revival under the continuous-time quantum walk model.
    Standard fact from quantum walk theory used without re-derivation.

pith-pipeline@v0.9.0 · 5475 in / 1316 out tokens · 33948 ms · 2026-05-09T19:09:00.151947+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

34 extracted references

  1. [1]

    L. K. Grover. A fast quantum mechanical algorithm for database search. InProceedings of the Twenty-Eighth Annual ACM Symposium on Theory of Computing, pages 212–219, 1996

  2. [2]

    Farhi and S

    E. Farhi and S. Gutmann. Quantum computation and decision trees.Phys. Rev. A., 58(2):915, 1998

  3. [3]

    S. Bose. Quantum communication through an unmodulated spin chain.Physical Review Let- ters, 91(20):207901, 2003

  4. [4]

    Monterde

    H. Monterde. Fractional revival between twin vertices.Linear Algebra and its Applications, 676:25–43, 2023

  5. [5]

    A. Chan, G. Coutinho, C. Tamon, L. Vinet, and H. Zhan. Quantum fractional revival on graphs.Discrete Applied Mathematics, 269:86–98, 2019

  6. [6]

    C. Godsil. State transfer on graphs.Discrete Math., 312(1):129–147, 2012

  7. [7]

    Rohith and C

    M. Rohith and C. Sudheesh. Visualizing revivals and fractional revivals in a Kerr medium using an optical tomogram.Physical Review A, 92(5):053828, 2015

  8. [8]

    D. L. Aronstein and C. R. Stroud. Fractional wave-function revivals in the infinite square well.Physical Review A, 55(6):4526–4537, 1997

  9. [9]

    Dooley and T

    S. Dooley and T. P. Spiller. Fractional revivals, multiple-Schr¨ odinger-cat states, and quantum carpets in the interaction of a qubit with N qubits.Phys. Rev. A., 90(1):012320, 2014

  10. [10]

    Christandl, N

    M. Christandl, N. Datta, A. Ekert, and A. J. Landahl. Perfect state transfer in quantum spin networks.Phys. Rev. Lett., 92(18):187902, 2004

  11. [11]

    X. Cao, B. Chen, and S. Ling. Perfect state transfer on Cayley graphs over dihedral groups: The non-normal case.The Electronic Journal of Combinatorics, 27(2):P2.28, 2020

  12. [12]

    X. Cao, K. Feng, and Y. Y. Tan. Perfect state transfer on weighted Abelian Cayley graphs. Chinese Annals of Mathematics, Series B, 42(4):625–642, 2021

  13. [13]

    Baˇ si´ c and M

    M. Baˇ si´ c and M. D. Petkovi´ c. Perfect state transfer in integral circulant graphs of non-square- free order.Linear Algebra and its Applications, 433(1):149–163, 2010

  14. [14]

    Baˇ si´ c, M

    M. Baˇ si´ c, M. D. Petkovi´ c, and D. Stevanovi´ c. Perfect state transfer in integral circulant graphs.Applied Mathematics Letters, 22(7):1117–1121, 2009

  15. [15]

    Meemark and S

    Y. Meemark and S. Sriwongsa. Perfect state transfer in unitary Cayley graphs over local rings.Transactions on Combinatorics, 3(4):43–54, 2014

  16. [16]

    Thongsomnuk and Y

    I. Thongsomnuk and Y. Meemark. Perfect state transfer in unitary Cayley graphs and gcd- graphs.Linear Multilinear Algebra, 67(1):39–50, 2019

  17. [17]

    W. C. Cheung and C. Godsil. Perfect state transfer in cubelike graphs.Linear Algebra and its Applications, 435(10):2468–2474, 2011

  18. [18]

    V. M. Kendon and C. Tamon. Perfect state transfer in quantum walks on graphs.Journal of Computational and Theoretical Nanoscience, 8(3):422–433, 2011

  19. [19]

    V. X. Genest, L. Vinet, and A. Zhedanov. Quantum spin chains with fractional revival.Ann. Phys., 371:348–367, 2016. 21

  20. [20]

    P. A. Bernard, A. Chan, ´E. Loranger, C. Tamon, and L. Vinet. A graph with fractional revival.Physics Letters A, 382(5):259–264, 2018

  21. [21]

    A. Chan, G. Coutinho, C. Tamon, L. Vinet, and H. Zhan. Fractional revival and association schemes.Discrete Math, 343(11):112018, 2020

  22. [22]

    A. Chan, G. Coutinho, W. Drazen, O. Eisenberg, C. Godsil, M. Kempton, G. Lippner, C. Tamon, and H. Zhan. Fundamentals of fractional revival in graphs.Linear Algebra and its Applications, 655:129–158, 2022

  23. [23]

    Godsil and X

    C. Godsil and X. Zhang. Fractional revival on non-cospectral vertices.Linear Algebra and its Applications, 654:69–88, 2022

  24. [24]

    J. Wang, L. Wang, and X. Liu. Fractional revival on semi-Cayley graphs over Abelian groups. Linear Multilinear Algebra., 73(8):1611–1633, 2025

  25. [25]

    J. Wang, L. Wang, and X. Liu. Fractional revival on Cayley graphs over Abelian groups. Discrete Math, 347(12):114218, 2024

  26. [26]

    R. Soni, N. Choudhary, and N. P. Singh. Quantum fractional revival in unitary Cayley graphs. Lobachevskii Journal of Mathematics, 46(4):1922–1928, 2025

  27. [27]

    Jitngam, P

    S. Jitngam, P. Kumam, and S. Sriwongsa. Quantum fractional revival on unitary Cayley graphs over finite commutative rings.Linear Multilinear Algebra, pages 1–17, 2026

  28. [28]

    Fan and C

    X. Fan and C. Godsil. Pretty good state transfer on double stars.Linear Algebra Appl., 438:2346–2358, 2013

  29. [29]

    D. F. Anderson and P. S. Livingston. The zero-divisor graph of a commutative ring.Journal of Algebra, 217:434–447, 1999

  30. [30]

    Bajaj and P

    S. Bajaj and P. Panigrahi. On the adjacency spectrum of zero divisor graph of ringZ n.Linear Algebra and Its Application, 21(10), 2022

  31. [31]

    Chattopadhyay, K

    S. Chattopadhyay, K. L. Patra, and B. K. Sahoo. Laplacian eigenvalues of the zero divisor graph of the ringZ n.Linear Algebra and its Applications, 584:267–286, 2020

  32. [32]

    Bachman, E

    R. Bachman, E. Fredette, J. Fuller, M. Landry, M. Opperman, C. Tamon, and A. Tollefson. Perfect state transfer on quotient graphs.Quantum Information and Computation, 12(3– 4):293–313, 2012

  33. [33]

    C. Godsil. State transfer on graphs, 2017

  34. [34]

    Monterde

    H. Monterde. Strong cospectrality and twin vertices in weighted graphs.The Electronic Jour- nal of Linear Algebra, 38:494–518, 2021. Bui Phuoc Minh, 1Department of Mathematics, F aculty of Science, Mahidol Univer- sity, Bangkok 10400, Thailand, 2Centre of Excellence in Mathematics, MHESI, Bangkok 10400, Thailand Email address:minhbui.phu@mahidol.ac.th Son...