On Matrices Whose Distinct Eigenvalues Are Fully Captured by Quotient Matrices
Pith reviewed 2026-05-13 18:11 UTC · model grok-4.3
The pith
Some matrices have all their distinct eigenvalues captured by a smaller equitable quotient matrix
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
We characterize some classes of matrices such that their equitable quotient matrix Q contains all the distinct eigenvalues of M. Necessary and sufficient conditions are presented for a distinct eigenvalue of M to be contained in the spectrum of Q in terms of eigenspaces. Consequently, the distinct eigenvalues of the parent matrix can be completely encoded by the quotient matrix.
What carries the argument
The equitable quotient matrix Q obtained from an equitable partition, together with the eigenspace conditions that force every distinct eigenvalue of the parent matrix to appear among the eigenvalues of Q.
If this is right
- For matrices in the characterized classes the distinct eigenvalues of the large matrix M are exactly the eigenvalues of the small quotient Q.
- Spectral information for M can be obtained directly from Q without computing the characteristic polynomial of M.
- Applications exist in which the distinct spectrum of structured matrices is recovered entirely from their quotients.
- The conditions on eigenspaces provide an explicit test for when the distinct eigenvalues transfer from M to Q.
Where Pith is reading between the lines
- The same reduction may apply to adjacency matrices of graphs that admit equitable partitions, allowing graph spectra to be read from smaller quotient graphs.
- If the eigenspace conditions can be checked from the partition alone, large-scale spectral computations for symmetric matrices become feasible by working only with Q.
- The approach suggests looking for analogous quotient constructions for nearly equitable partitions that approximately capture the distinct eigenvalues.
Load-bearing premise
The partition must be equitable so that every block has constant row sums, and the eigenspaces of the distinct eigenvalues must satisfy the stated invariance conditions with respect to the blocks.
What would settle it
A concrete matrix belonging to one of the characterized classes whose equitable quotient Q misses at least one distinct eigenvalue of the original matrix would show the characterization fails.
Figures
read the original abstract
Let $M$ be the $n$-square matrix partitioned into $\ell^2$ blocks $b_{ij}$ according to some partition $P=\{C_{1},\dots,C_{\ell}\}$ of index set $\{1,\dots,n\}$. The quotient matrix $Q=(q_{ij})$ is a $k$-square matrix, with $\ell \leq k \leq n-1$, where $(ij)$-th entry is the average row sum (or column sum) of the corresponding block $b_{ij}$ in $M$. The partition $P$ is said to be \emph{equitable} if row sum of each block $b_{ij}$ is constant. In this case, the matrix $Q$ is referred to as the \emph{equitable quotient matrix} of $M$, and the spectrum of $Q$ is the subset of the spectrum of parent matrix $M$. We characterize some classes of matrices such that their equitable quotient matrix $Q$ contains all the distinct eigenvalues of $M$, thereby information can be obtained form the smallest matrix $Q$ without actually analyzing the parent matrix $M.$ We present necessary and the sufficient conditions for distinct eigenvalue of $M$ contained in the spectrum of of $Q$ in terms of eigenspaces. We end up article with some applications, where distinct eigenvalues of a parent matrix can be completely encoded by quotient matrix.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper characterizes classes of square matrices M admitting an equitable partition P of the index set such that the associated equitable quotient matrix Q contains every distinct eigenvalue of M. It states necessary and sufficient conditions for this property in terms of non-trivial intersections between the eigenspaces of M and the invariant subspace V_P induced by the partition, and concludes with applications in which the distinct eigenvalues of M are completely recovered from the spectrum of the smaller matrix Q.
Significance. If the characterization is correct, the result would be useful in combinatorial matrix theory and spectral graph theory: equitable partitions already guarantee that spec(Q) is contained in spec(M), and the additional eigenspace condition would ensure that the distinct eigenvalues are fully captured by Q, allowing spectral information to be read off a matrix whose order is typically much smaller than that of M.
major comments (2)
- [Main characterization theorem (likely §3)] The necessity and sufficiency of the stated eigenspace condition (every distinct eigenvalue λ satisfies E_λ(M) ∩ V_P ≠ {0}) is asserted in the abstract and presumably proved in the main theorem; however, the manuscript must supply a complete, self-contained derivation showing that this condition is exactly equivalent to spec(Q) containing all distinct eigenvalues of M, with explicit reference to the restriction of M to V_P and the fact that spec(Q) ⊆ spec(M) for equitable partitions.
- [Definition of quotient matrix (likely §2)] The definition of the quotient matrix Q as a k × k matrix with ℓ ≤ k ≤ n−1 (where the partition has ℓ cells) deviates from the standard construction of an equitable quotient, which yields an ℓ × ℓ matrix; the manuscript must clarify how the spectrum-inclusion property is established when k > ℓ and whether the equitable row-sum condition still guarantees spec(Q) ⊆ spec(M).
minor comments (2)
- [Abstract] Abstract contains two typographical errors: 'information can be obtained form the smallest matrix' should read 'from', and 'spectrum of of Q' should read 'spectrum of Q'.
- [Introduction / definitions] The notation for the blocks b_ij and the averaging that produces the entries q_ij should be made fully explicit, including whether row sums or column sums are used when the matrix is non-symmetric.
Simulated Author's Rebuttal
We thank the referee for the careful reading and valuable suggestions. We address each major comment below and will revise the manuscript to improve clarity and completeness while preserving the core results.
read point-by-point responses
-
Referee: [Main characterization theorem (likely §3)] The necessity and sufficiency of the stated eigenspace condition (every distinct eigenvalue λ satisfies E_λ(M) ∩ V_P ≠ {0}) is asserted in the abstract and presumably proved in the main theorem; however, the manuscript must supply a complete, self-contained derivation showing that this condition is exactly equivalent to spec(Q) containing all distinct eigenvalues of M, with explicit reference to the restriction of M to V_P and the fact that spec(Q) ⊆ spec(M) for equitable partitions.
Authors: We agree that the proof in Section 3 would benefit from greater explicitness. The manuscript sketches the equivalence via the intersection condition, but we will expand the derivation to be fully self-contained: first recall that an equitable partition induces an invariant subspace V_P under M with the quotient matrix Q representing the action of M restricted to V_P (hence spec(Q) ⊆ spec(M) by standard arguments), and then show that E_λ(M) ∩ V_P ≠ {0} is necessary and sufficient for λ to lie in the spectrum of this restriction, which coincides with spec(Q). All steps will be written out with explicit references to the restriction operator and the equitable property. revision: yes
-
Referee: [Definition of quotient matrix (likely §2)] The definition of the quotient matrix Q as a k × k matrix with ℓ ≤ k ≤ n−1 (where the partition has ℓ cells) deviates from the standard construction of an equitable quotient, which yields an ℓ × ℓ matrix; the manuscript must clarify how the spectrum-inclusion property is established when k > ℓ and whether the equitable row-sum condition still guarantees spec(Q) ⊆ spec(M).
Authors: The referee correctly identifies that our definition of Q with possible k > ℓ is non-standard. In the manuscript the equitable row-sum condition is used to guarantee that the characteristic vectors of the cells span an invariant subspace whose induced action yields eigenvalues of M, but we acknowledge the deviation may obscure the inclusion. To resolve the issue we will revise Section 2 to adopt the standard ℓ × ℓ equitable quotient matrix (setting k = ℓ) and supply a complete proof that the row-sum constancy implies spec(Q) ⊆ spec(M) via the invariant subspace V_P. All subsequent statements and applications will be updated accordingly. revision: yes
Circularity Check
No significant circularity identified
full rationale
The derivation relies on the standard definition of equitable partitions (constant row sums within blocks) and the fact that the quotient matrix Q represents the action of M restricted to the invariant subspace V_P spanned by the characteristic vectors of the partition classes. The necessary-and-sufficient condition that every distinct eigenvalue λ of M satisfies E_λ(M) ∩ V_P ≠ {0} follows directly from the definition of the restriction operator and the spectral inclusion spec(Q) ⊆ spec(M) guaranteed by invariance; no parameter is fitted, no self-citation chain is invoked as a uniqueness theorem, and no ansatz is smuggled in. The characterization is therefore a direct linear-algebra consequence rather than a reduction to its own inputs.
Axiom & Free-Parameter Ledger
axioms (1)
- standard math For an equitable partition the eigenvalues of the quotient matrix form a subset of the eigenvalues of the parent matrix
Reference graph
Works this paper leans on
-
[1]
F. Atik, On equitable partition of matrices and its applications,Linear Multilinear Al- gebra68(11) (2020) 2143–2156
work page 2020
-
[2]
F. Atik and P. Panighari, On the distance and distance signless Laplacian eigenvalues of graphs and the smallest Grešgorin disc,Electronic J. Linear Algebra34(2018) 191–204. On Matrices Whose Distinct Eigenvalues Are Fully Captured by Quotient Matrices35
work page 2018
-
[3]
A. E. Brouwer and W. H. Haemers,Spectra of Graphs, Springer, New York, 2010
work page 2010
-
[4]
D. M. Cvetković, P. Rowlison and S. Simić,An Introduction to Theory of Graph Spectra, London Math. Society Student Text, 75, Cambridge University Press, UK, 2010
work page 2010
-
[5]
E. Fritscher, and V. Trevisan, Exploring symmetries to decompose matrices and graphs preserving the spectrum,SIAM J. Matrix Analysis Appl.37(1) (2016) 260–289
work page 2016
-
[6]
S. R. Garcia and R. A. Horn,A Second Course in Linear Algebra, Cambridge University Press, UK, 2017
work page 2017
-
[7]
W. H. Haemers, Interlacing eigenvalues and graphs,Linear Algebra Appl.226-288(1995) 593–616
work page 1995
-
[8]
R. Horn and C. Johnson,Matrix Analysis, Second Edition, Cambridge University Press, New York, (2013)
work page 2013
-
[9]
Z. Mehranian, A. Gholami and A. R. Ashrafi, The spectra of power graphs of certain finite groups, Linear Multilinear Algebra65(5) (2016) 1003–1010
work page 2016
-
[10]
S. Pirzada, B. A. Rather, M. Aijaz and T. A. Chishti, Distance signless Laplacian spectrum of graphs and spectrum of zero divisor graphs ofZn,Linear MultiLinear Algebra 70(17) (2022) 3354–3369
work page 2022
-
[11]
B. A. Rather, H. A. Ganie, K. C. Das and Y. Shang, General extended adjacency eigenvalues of chain graphs,Math.12(2) (2024) 192
work page 2024
-
[12]
B. A. Rather, A note on the distinct eigenvalues of quotient matrices,Indian J. Pure Appl. Math.55(2024) 1429–1439
work page 2024
-
[13]
B.A.RatherandM.Aouchiche, DistanceLaplacianspectraofgraphs: asurvey,Discrete Appl. Math.361(2025) 136–195
work page 2025
-
[14]
B. A. Rather, H. A. Ganie, and J. Wang, Distance signless Laplacian spectra of graphs: a survey,Discrete Appl. Math.(2025), in press
work page 2025
-
[15]
B. A. Rather, S. Pirzada and Z. Goufei, On distance Laplacian spectra of power graphs of certain finite groups,Acta Math. Sinica, English Series39(2023) 603–617
work page 2023
-
[16]
Stevanović, Large sets of long distance equienergetic graphs,Ars Math
D. Stevanović, Large sets of long distance equienergetic graphs,Ars Math. Contemp. 2(1) (2009) 35–40
work page 2009
-
[17]
L. You, M. Yang, W. So and W. Xi, On the spectrum of an equitable quotient matrix and its applications,Linear Algebra Appl.577(2019) 21–40
work page 2019
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.