REVIEW 3 major objections 6 minor 44 references
Supercharacters of finite abelian groups and applications to spectra of $U$-unitary Cayley graphs
T0 review · 3 major / 6 minor · reviewed 2026-08-05 · deepseek-v4-flash
Pith's one-line read For a finite abelian group, any super-Cayley graph is determined by its spectrum once the superclass indexing is fixed.
desk verdict Solid unification paper with a real but localized flaw: the 'determined by its spectrum' claim only works for an indexed eigenvalue vector, not the unlabeled spectrum. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The central object is a supercharacter theory: an equal-size pair of partitions $\mathcal{K}$ of $G$ and $\mathcal{X}$ of its dual group such that each character sum $\sigma_i = \sum_{\chi \in X_i} \chi$ is constant on every superclass and the sums $\Omega_j(\chi) = \sum_{k \in K_j} \chi(k)$ do not depend on the choice of $\chi$ within $X_i$. The argument runs on the identity $\lambda_i = \widehat{1_S}(K_i)$, which converts spectrum computation into the invertible super-Fourier transform on the space of superclass functions. For rings, the construction rests on the generating character $\chi(a)=\zeta_n^{\psi(a)}$ supplied by a Frobenius functional $\psi$; then every character has the form $\
What would settle it
Enumerate a small Frobenius ring $R$ (for example $\mathbb{Z}/8$ or $\mathbb{Z}/9$) with a subgroup $U$ and two distinct symmetric $U$-stable subsets $S_1,S_2$; if the super-Fourier vectors $(\lambda_i)$ coincide while the sets differ, Corollary 2.9 and Theorem 4.6 are false. Conversely, comparing the formula $\lambda_i = \sum_{K_\ell \subset S} \sigma_\ell(K_i)$ with a direct diagonalization of the adjacency matrix for such an example would expose any missing multiplicity or arithmetic error.
Extended reading notes
Core claim
The paper's main claim is Theorem 1.1: if $(K,\mathcal{X})$ is a supercharacter theory on a finite abelian group $G$ and $\Gamma(G,S)$ is a super-Cayley graph, then its eigenvalues, counted with multiplicity, are $\lambda_i = \widehat{1_S}(K_i)$, where $1_S$ is the characteristic function of the generating set and $\widehat{\cdot}$ is the super-Fourier transform on superclass functions; consequently fixing an indexing of $K$ determines $S$ and hence the graph. The second layer applies this to $U$-unitary Cayley graphs over a finite commutative Frobenius ring $R$: the $U$-orbits of $R$ and the sets $\{\chi_x : x \in K_i\}$ form a supercharacter theory, so the spectrum of any $U$-stable genera
Load-bearing premise
The ring-level results assume $R$ is a finite commutative Frobenius ring, i.e., one carrying a non-degenerate additive functional; without that assumption the dual group need not consist exactly of characters $\chi_x$, and the $U$-orbit construction may fail to be a supercharacter theory with the stated eigenvalue formula.
Editorial extensions
If this is right
- Every super-Cayley graph has at most $m$ distinct eigenvalues, where $m$ is the number of superclasses; with a fixed indexing, the spectrum alone determines the generating set and hence the graph.
- Over a finite Frobenius ring, the spectrum of any $U$-unitary Cayley graph is an explicit finite list of generalized Ramanujan sums, so it can be written down without diagonalizing the adjacency matrix.
- A symmetric Cayley graph over a Frobenius ring is rational over a subfield $K$ of $\mathbb{Q}(\zeta_n)$ precisely when it is $U_1$-unitary for the subgroup $U_1$ coming from the Galois group of $K$; integral graphs are the case $K=\mathbb{Q}$.
- For $U=R^\times$, for $p$-unitary graphs over rings where $p$ is invertible, and for Jacobi-symbol Paley graphs, the graph is prime if and only if $0$ is not an eigenvalue, under the connected and anti-connected assumptions; the paper asks whether this equivalence holds for all $U$-unitary Cayley graphs.
- The framework recovers classical formulas as special cases: gcd-graph spectra from Euler/Mobius-type Ramanujan sums, $p$-unitary spectra over $\mathbb{Z}/p^2$ as Heilbronn sums, and Paley spectra as Gauss sums.
Reading between the lines
- Beyond the paper: the determinacy statement in Theorem 1.1 is purely group-theoretic, so it should extend to any supercharacter theory satisfying the paper's fourth condition, including theories not coming from a ring structure, widening the class of graphs known to be determined by their spectra.
- The rationality criterion is noted in the paper to hold for all finite abelian groups, not just Frobenius rings; a natural next step is to use it to classify rational circulant graphs directly from Galois-stable generating sets.
- A testable extension is to search computationally for cospectral super-Cayley graphs over different indexings; the paper rules them out only once the superclass indexing is fixed, so the dependence on indexing deserves explicit examples.
- If the open Question 4.17 is settled affirmatively, primeness of connected anti-connected $U$-unitary Cayley graphs becomes a spectral condition, giving a direct arithmetic test for graph decomposability.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper develops a theory of super-Cayley graphs over finite abelian groups, where the generating set is a union of superclasses of a supercharacter theory that satisfies an additional constancy condition (Definition 2.1). It proves that the eigenvalues of such a graph are given by the super-Fourier transform of the characteristic function of the generating set (Theorem 2.8) and claims that the graph is determined by its spectrum once an indexing of the superclasses is fixed (Theorem 1.1(2), Corollary 2.9). The framework is then specialized to finite commutative Frobenius rings: every subgroup U of the unit group yields a supercharacter theory, and U-unitary Cayley graphs—including gcd-graphs, Paley graphs, p-unitary Cayley graphs, involutory graphs, and cubelike graphs—have spectra expressed through generalized Ramanujan sums. Further results concern rationality and integrality of spectra, connectedness, primeness, and explicit connections to Heilbronn, Gauss, and Ramanujan sums.
Significance. If the main claims hold, the paper provides a genuinely unifying framework for a large family of Cayley graphs over rings, and the explicit spectral formula in Proposition 2.6 and Theorem 4.6 is a useful parameter-free derivation. The rationality criterion in Theorem 4.12 and the connections to classical exponential sums are valuable, and the paper explicitly notes an independent recent result of Godsil and Spiga. Several proofs are direct and self-contained, although a number of technical steps are delegated to the authors' previous papers, which makes verification more laborious. The advertised spectral-determinacy theorem and the normalization of the super-Fourier transform both require correction before the paper can be accepted.
major comments (3)
- [Theorem 1.1(2), Corollary 2.9] The proof establishes injectivity of the map S ↦ (\hat 1_S(K_i))_{i=1}^m, i.e., uniqueness of the indexed eigenvalue tuple. It does not establish that the unlabeled spectrum determines S. The graph spectrum is the multiset {[λ_i]^{|X_i|}}, and fixing an indexing of K gives no rule for attaching the numerical multiplicities in that multiset to the indices i. For example, take G=Z/2×Z/2 with the trivial supercharacter theory and any fixed indexing; the sets {a}, {b}, {a+b} have the same spectrum {1,1,-1,-1} but different indexed tuples. Thus the inverse super-Fourier transform cannot be applied from the spectrum alone. Theorem 1.1(2) should be restated in terms of an indexed spectrum, or the additional data of the eigenvalue-to-superclass assignment must be explicitly assumed.
- [Section 2, Eqs. (2.3)-(2.4), Theorem 2.8] The derivation of Eq. (2.4) drops a factor of 1/|G|. From the line preceding it, |X_i| \hat f(K_i) = (1/|G|) ∑ |K_ℓ| f(K_ℓ) σ_i(K_ℓ), and with Proposition 2.3 this gives \hat f(K_i) = (1/|G|) ∑ f(K_ℓ) Ω_ℓ(X_i), not the displayed equality. Consequently, with \hat defined by the expansion in Eq. (2.3), the identity λ_i = \hat 1_S(K_i) in Theorem 2.8 is off by a factor of |G|. If \hat is intended to be the non-normalized transform without 1/|G|, then Eq. (2.3) must be f = (1/|G|) ∑ \hat f(K_ℓ) σ_ℓ. The eigenvalue formula in Proposition 2.6 is correct, but the claimed super-Fourier realization and its inversion statement need correction.
- [Proposition 4.22] In the proof of (2)=>(3), the authors assert that each field factor R_i satisfies the hypotheses of Proposition 4.20. That proposition requires p∤|U|, but for U_i=(F_q^×)^p this need not hold when p divides (q-1)/gcd(p,q-1); for example, q=19 and p=3 give |U_i|=6. Thus the cited vanishing argument does not apply as written. The conclusion may be true, but the proof needs an additional argument or a corrected hypothesis.
minor comments (6)
- [Definition 2.1(4)] The wording 'for a fixed χ∈X' is ambiguous; it should be 'for each i and each χ∈X_i, the sum ∑_{k∈K_i} χ(k) is independent of χ∈X_i.'
- [Proposition 2.3] The displayed identity 'Ω_j(X_i)| = Ω_j(X_i)|' is garbled; presumably it should be \overline{Ω_j(X_i)} = Ω_j(X_i).
- [Lemma 4.9] In the last line, 'U1 ⊂ U2' should presumably be 'U1 ⊂ U'.
- [Proposition 4.22 proof] In the sentence 'This shows that all eigenvalues of Ri are non-zero as well,' 'Ri' should be 'G_{R_i}(p)' or 'the graph over R_i'.
- [Theorem 4.12] The symbol K is used both for the superclass partition and for the subfield of Q(ζ_n); this overloaded notation is confusing and should be changed.
- [Eq. (2.4)] The equality repeats the same expression on both sides; if complex conjugation is intended, it should be written explicitly.
Circularity Check
No significant circularity: the super-Fourier eigenvalue formula is derived by direct computation from the Cayley diagonalization theorem; the paper's self-citations are independent external theorems, and the spectrum-indexing issue is a correctness concern rather than a circular reduction.
full rationale
The central derivation is self-contained and non-circular. For a super-Cayley graph, S is a union of superclasses, and the Cayley spectrum is obtained from the circulant diagonalization theorem for finite abelian groups. Grouping characters by X_i gives λ_i = Σ_{K_j⊂S} Ω_j(X_i). Equation (2.4), derived from the orthogonality relations ⟨σ_i,σ_j⟩ = |X_i|δ_{i,j} and Proposition 2.3, then shows λ_i = \hat{1_S}(K_i). This is an equality between two independently computed expressions, not an identity imposed by definition. The injectivity claim in Corollary 2.9 is precisely the invertibility of the super-Fourier transform on superclass functions, which follows from the same orthogonality relations; no data are fitted and no target conclusion is used as a hypothesis. The Frobenius-ring supercharacter theory is constructed in Theorem 4.1 in the paper itself; the external input that the dual of a finite Frobenius ring is a cyclic module generated by a character is a standard fact cited to [33] and consistent with [14,35], and it does not presuppose the graph-spectrum conclusions. The authors' prior results used for auxiliary primeness and arithmetic-sum statements ([9], [32], [34], [27]) are parameter-free theorems with their own assumptions and are not used as substitutes for the present derivations. Under the reviewing rules, these self-citations therefore count as independent evidence and do not raise the circularity score. The paper explicitly flags uncertainty about whether Condition 4 of Definition 2.1 follows from the other supercharacter axioms (Remark 2.2); this is an added hypothesis, not a circular step. The statement that a super-Cayley graph is determined by its spectrum once an indexing of K is fixed conflates the unlabeled multiset {λ_i^{|X_i|}} with the indexed list (λ_i); that is a mathematical-correctness concern about labeling, not a circularity, because the invertibility argument does not rely on the conclusion it is said to prove. Accordingly, no circular step is identified.
Assumptions & free parameters
assumptions (4)
- ad hoc to paper The modified supercharacter theory axioms in Definition 2.1, including the extra condition 4 that Ω_j(χ) is independent of the choice of χ within each class X_j.
- domain assumption R is a finite commutative Frobenius ring: a Z/n-algebra with a non-degenerate Z/n-linear functional ψ, and the character χ(a)=ζ_n^{ψ(a)} generates the dual group as an R-module.
- standard math Frobenius ring identities: |I||Ann(I)|=|R| for every ideal I, and every finite commutative Frobenius ring is a product of local rings.
- domain assumption Graph-theoretic structure theorem: a maximal non-trivial homogeneous set containing 0 is an additive subgroup which, under the unit action, becomes an ideal (from [9, Theorem 3.4] and [9, Theorem 4.1]).
Cite this review
Pith. "Pith review of Supercharacters of finite abelian groups and applications to spectra of $U$-unitary Cayley graphs." pith.science (2026). https://pith.science/paper/Z6YTUXJC
@misc{pith2026250810348,
author = {Pith},
title = {Pith review of: Supercharacters of finite abelian groups and applications to spectra of $U$-unitary Cayley graphs},
year = {2026},
howpublished = {\url{https://pith.science/paper/Z6YTUXJC}},
note = {Machine review of arXiv:2508.10348}
}
abstract
We define super-Cayley graphs over a finite abelian group $G$. Using the theory of supercharacters on $G$, we explain how their spectra can be realized as a super-Fourier transform of a superclass characteristic function. Consequently, we show that a super-Cayley graph is determined by its spectrum once an indexing on the underlying group $G$ is fixed. This generalizes a theorem by Sander-Sander, which investigates the case where $G$ is a cyclic group. We then use our theory to define and study the concept of a $U$-unitary Cayley graph over a finite commutative ring $R$, where $U$ is a subgroup of the unit group of $R$. Furthermore, when the underlying ring is a Frobenius ring, we show that there is a natural supercharacter theory associated with $U$. By applying the general theory of super-Cayley graphs developed in the first part, we explore various spectral properties of these $U$-unitary Cayley graphs, including their rationality and connections to various arithmetical sums.
Reference graph
Works this paper leans on
- [1]
-
[2]
D. F. Anderson, T. Asir, A. Badawi, and T. Tamizh Chelvam,Graphs from rings, Springer, 2021
work page 2021
-
[3]
R. V . Barber,Recognizing algebraically constructed graphs which are wreath products, ProQuest LLC, Ann Arbor, MI, 2021, PhD Thesis, Mississippi State University
work page 2021
-
[4]
M. Ba ˇsi´c, M. D. Petkovi´c, and D. Stevanovi´c, Perfect state transfer in integral circulant graphs, Applied Mathematics Letters 22 (2009), no. 7, 1117–1121
work page 2009
-
[5]
J. L. Brumbaugh, M. Bulkow, P . S. Fleming, L. A. G. German, S. R. Garcia, G. Karaali, M. Michal, A. P . Turner, and H. Suh,Supercharacters, exponential sums, and the uncertainty principle, Journal of Number theory 144 (2014), 151–175
work page 2014
-
[6]
L. Carlitz, A theorem on permutations in a finite field, Proceedings of the American Mathematical Society 11 (1960), no. 3, 456–459
work page 1960
-
[7]
Wang-Chi Cheung and Chris Godsil, Perfect state transfer in cubelike graphs , Linear Algebra and Its Applications 435 (2011), no. 10, 2468–2474
work page 2011
-
[8]
Shiva Chidambaram, J ´an Min´aˇc, Tung T. Nguyen, and Nguyen Duy Tan,Fekete polynomials of princi- pal Dirichlet characters, The Journal of Experimental Mathematics 1 (2025), no. 1, 51–93
work page 2025
Show all 44 references
-
[9]
Nguyen, Sophie Spirkl, and Nguyˆen Duy T ˆan, On prime Cayley graphs , arXiv:2401.06062, to appear in Journal of Combinatorics (2024)
Maria Chudnovsky, Michal Cizek, Logan Crew, J ´an Min ´aˇc, Tung T. Nguyen, Sophie Spirkl, and Nguyˆen Duy T ˆan, On prime Cayley graphs , arXiv:2401.06062, to appear in Journal of Combinatorics (2024)
2024
-
[10]
5, 2359–2392
Persi Diaconis and I Isaacs, Supercharacters and superclasses for algebra groups , Transactions of the American Mathematical Society 360 (2008), no. 5, 2359–2392
2008
-
[11]
Christopher F Fowler, Stephan Ramon Garcia, and Gizem Karaali,Ramanujan sums as supercharacters, The Ramanujan Journal 35 (2014), 205–241. 23
2014
-
[12]
Stephan Ramon Garcia and Bob Lutz, A supercharacter approach to Heilbronn sums, Journal of Number Theory 186 (2018), 1–15
2018
-
[13]
Chris Godsil and Pablo Spiga, Integral normal Cayley graphs , Journal of Algebraic Combinatorics 62 (2025), no. 1, 20
2025
-
[14]
6, 406–415
Thomas Honold, Characterization of finite Frobenius rings , Archiv der Mathematik 76 (2001), no. 6, 406–415
2001
-
[15]
Jing Huang, On the quadratic unitary Cayley graphs , Linear Algebra and its Applications 644 (2022), 219–233
2022
-
[16]
Priya B Jain, Tung T. Nguyen, J ´an Min ´aˇc, Lyle E Muller, and Roberto C Budzinski, Composed solu- tions of synchronized patterns in multiplex networks of Kuramoto oscillators , Chaos: An Interdisciplinary Journal of Nonlinear Science 33 (2023), no. 10
2023
-
[17]
Gareth A Jones, Paley and the Paley graphs, International workshop on Isomorphisms, Symmetry and Computations in Algebraic Graph Theory, Springer, 2020, pp. 155–183
2020
-
[18]
305, Springer Nature, 2020
Gareth A Jones, Ilia Ponomarenko, and Jozef ˇSir´aˇn, Isomorphisms, Symmetry and Computations in Al- gebraic Graph Theory: Pilsen, Czech Republic, october 3–7, 2016, vol. 305, Springer Nature, 2020
2016
-
[19]
6th China-Japan Sem
Shigeru Kanemitsu and Michel Waldschmidt, Matrices of finite abelian groups, finite Fourier transform and codes, Proc. 6th China-Japan Sem. Number Theory, World Sci. London-Singapore-New Jersey (2013), 90–106
2013
-
[20]
Hamide Keshavarzi, Babak Amini, Afshin Amini, and Shahin Rahimi, Involutory Cayley graphs of finite commutative rings, Journal of Algebra and its Applications (2025)
2025
-
[21]
1, R45, 12 pages
Walter Klotz and Torsten Sander, Some properties of unitary Cayley graphs , The Electronic Journal of Combinatorics 14 (2007), no. 1, R45, 12 pages
2007
-
[22]
3, 149–196
Erich Lamprecht, Allgemeine theorie der Gaußschen Summen in endlichen kommutativen Ringen , Mathe- matische Nachrichten 9 (1953), no. 3, 149–196
1953
-
[23]
Lemmermeyer, Quadratic number fields , Springer Undergraduate Mathematics Series, Springer, 2021
F. Lemmermeyer, Quadratic number fields , Springer Undergraduate Mathematics Series, Springer, 2021
2021
-
[24]
Xiaogang Liu and Sanming Zhou, Quadratic unitary Cayley graphs of finite commutative rings , Linear Algebra and its Applications 479 (2015), 73–90
2015
-
[25]
17, 3643
S Madhumitha and Sudev Naduvath, Graphs defined on rings: A review, Mathematics 11 (2023), no. 17, 3643
2023
-
[26]
Nguyen, and Federico W
J ´an Min ´aˇc, Lyle Muller, Tung T. Nguyen, and Federico W. Pasini, Joins of normal matrices, their spec- trum, and applications, Mathematica Slovaca 75 (2025), no. 3, 483–498
2025
-
[27]
3, 527–542
J ´an Min ´ac, Lyle Muller, Tung T Nguyen, and Nguyen Duy T ˆan, On the Paley graph of a quadratic character, Mathematica Slovaca 74 (2024), no. 3, 527–542
2024
-
[28]
Nguyen, and Nguyen Duy T ˆan, Fekete polynomials, quadratic residues, and arith- metic, Journal of Number Theory 242 (2023), 532–575
J ´an Min ´aˇc, Tung T. Nguyen, and Nguyen Duy T ˆan, Fekete polynomials, quadratic residues, and arith- metic, Journal of Number Theory 242 (2023), 532–575
2023
-
[29]
J ´an Min´aˇc, Tung T Nguyen, and Nguyen Duy Tˆan, Isomorphic gcd-graphs over polynomial rings, arXiv preprint arXiv:2411.01768 (2024)
2024 arXiv
-
[30]
Nguyen, and Nguyen Duy Tˆan, On the arithmetic of generalized Fekete polynomials, Experimental Mathematics 33 (2024), no
J ´an Min´aˇc, Tung T. Nguyen, and Nguyen Duy Tˆan, On the arithmetic of generalized Fekete polynomials, Experimental Mathematics 33 (2024), no. 4, 723–754
2024
-
[31]
Tung T. Nguyen, Roberto C Budzinski, Federico W Pasini, Robin Delabays, J ´an Min ´aˇc, and Lyle E Muller, Broadcasting solutions on networked systems of phase oscillators , Chaos, Solitons & Fractals 168 (2023), 113166
2023
-
[32]
Nguyen and Nguyen Duy T ˆan, On certain properties of the p-unitary Cayley graph over a finite ring, arXiv preprint arXiv:2403.05635 (2024)
Tung T. Nguyen and Nguyen Duy T ˆan, On certain properties of the p-unitary Cayley graph over a finite ring, arXiv preprint arXiv:2403.05635 (2024). 24
2024 arXiv
-
[33]
Nguyen and Nguyen Duy T ˆan, Integral cayley graphs over a finite symmetric algebra , Archiv der Mathematik 124 (2025), 615–623
Tung T. Nguyen and Nguyen Duy T ˆan, Integral cayley graphs over a finite symmetric algebra , Archiv der Mathematik 124 (2025), 615–623
2025
-
[34]
On gcd-graphs over a finite ring, arXiv preprint arxiv:2503.04086 (2025)
2025 arXiv
-
[35]
Nguyen and Nguyen Duy Tan, Perfect state transfer on gcd-graphs , arXiv preprint arXiv:1601.07647 (2025)
Tung T. Nguyen and Nguyen Duy Tan, Perfect state transfer on gcd-graphs , arXiv preprint arXiv:1601.07647 (2025)
2025 arXiv
-
[36]
1-4, 311–320
Raymond EAC Paley, On orthogonal matrices, Journal of Mathematics and Physics 12 (1933), no. 1-4, 311–320
1933
-
[37]
Ricardo A Podest ´a and Denis E Videla,Spectral properties of generalized Paley graphs and their associated irreducible cyclic codes, arXiv preprint arXiv:1908.08097 (2019)
1908 arXiv
-
[38]
5, 112324
The Waring’s problem over finite fields through generalized Paley graphs, Discrete Mathematics 344 (2021), no. 5, 112324
2021
-
[39]
10, 113567
Waring numbers over finite commutative local rings, Discrete Mathematics 346 (2023), no. 10, 113567
2023
-
[40]
JW Sander, Structural properties and formulae of the spectra of integral circulant graphs, Acta Arithmetica 184 (2018), 297–315
2018
-
[41]
JW Sander and T Sander, On So’s conjecture for integral circulant graphs , Applicable Analysis and Discrete Mathematics (2015), 59–72
2015
-
[42]
4, 379–384
Jan-Christoph Schlage-Puchta, A determinant involving Ramanujan sums and So’s conjecture, Archiv der Mathematik 117 (2021), no. 4, 379–384
2021
-
[43]
1, 153–158
Wasin So, Integral circulant graphs, Discrete Mathematics 306 (2006), no. 1, 153–158
2006
-
[44]
3, 353–363
Borworn Suntornpoch and Yotsanan Meemark, Cayley graphs over a finite chain ring and gcd-graphs , Bulletin of the Australian Mathematical Society 93 (2016), no. 3, 353–363. DEPARTMENT OF MATHEMATICS AND COMPUTER SCIENCE , L AKE FOREST COLLEGE , L AKE FOREST , ILLINOIS , USA Em...
2016
Reviewed August 5, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.