REVIEW 4 major objections 5 minor 19 references
The Duval--Reiner Conjecture: Counterexamples and the Second Partial-Sum Inequality
T0 review · 4 major / 5 minor · reviewed 2026-08-01 · deepseek-v4-flash
Pith's one-line read The sum of the r largest Laplacian eigenvalues can exceed the degree-based bound for every r≥5.
desk verdict A genuine disproof of the majorization assertion of Duval–Reiner, with explicit exact counterexamples and a solid universal r=2 inequality; deserves careful peer review. 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 counterexample construction is carried by two 3-uniform seed families, F15 and F16, whose Gram matrices and characteristic polynomials are computed exactly. The key engine is a ridge-whiskering operation: for a ridge η with signed incidence vector y_η satisfying M_F y_η = (d_F(η)+q−1) y_η, adjoining new facets of the form η∪{w_i} multiplies the characteristic polynomial by a known factor and preserves the spectral defect. Complementing the family in a larger ambient set transfers the defect at index r to index f−r. For the r=2 result, the paper completes the family to a full q-simplex on the core vertices and uses a variational maximum principle together with a trace bound for block matr
What would settle it
Recompute, with exact integer arithmetic, the eigenvalues of the 16-facet seed and check that s_5(F16) > D_5(F16) (equivalently that the two largest roots of p_16 sum to more than 12), and independently verify the identity M_F15 y_η = 7y_η with ‖y_η‖²=5 for the ridge η={2,3}. A failure of either computation would invalidate the counterexample construction.
Extended reading notes
Core claim
The central claim is that the universal majorization bound s_r(F) ≤ D_r(F), which holds for graphs and was conjectured to hold for all q-uniform families, is false for r≥5. The proof produces, from two explicitly computed 3-uniform seed families on seven vertices, strict counterexamples at every index r≥5 via two operations: ridge-whiskering, which attaches fresh vertices along a distinguished ridge and shifts the spectrum, and set-complement duality, which transfers a spectral defect at index r to the complementary index f−r. The paper also establishes the second partial-sum inequality s_2(F) ≤ D_2(F) in all uniformities, with equality classified into four structural cases involving pendant
Load-bearing premise
The systematic counterexamples for all r≥7 and all q≥4 depend on a single exact eigenvector identity for one 15-facet seed family; if that identity fails — even though it is verified by exact arithmetic — the transfer construction no longer works.
Editorial extensions
If this is right
- For every r≥5 the majorization inequality fails somewhere, so the original conjecture's main assertion is disproved outright.
- The only universal inequalities that could still hold are at r=3 and r=4; these are now the sole open cases.
- For every uniformity q≥3, some index r≥5 sees a violation, showing the failure is not confined to any single dimension.
- The inequality at r=2 is true in all uniformities and equality is fully characterized by four explicit structural conditions.
- Counterexamples can be chosen with empty intersection across all facets, so they cannot be dismissed as trivial cones over lower-dimensional examples.
Reading between the lines
- The existence of two complementary quantifier directions suggests checking whether r=3 and r=4 can also be broken by similar seed-transfer constructions; if so, the entire conjecture collapses at every index.
- The margin of violation at r=5 is small (about 1.96×10^-4 in the seed example), hinting that quantitative refinements of the conjectured bound, perhaps with a correction depending on the family's structure, may still be true.
- The rank condition on the missing-core matrix in the r=2 equality classification offers a general way to measure how close a family is to saturating the bound, potentially leading to stronger two-eigenvalue estimates.
- The exact eigenvector identity that powers ridge-whiskering is delicate; exploring whether analogous identities hold for other seeds could either produce counterexamples at r=3 and r=4 or explain why those indices are special.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper disproves the majorization assertion of the Duval–Reiner conjecture by constructing explicit q-uniform families F with s_r(F) > D_r(F) for every r ≥ 5 (in some uniformity) and for every q ≥ 3 (at some index r ≥ 5). The construction uses two 3-uniform seeds F16 and F15, explicit characteristic polynomials, root isolation giving the positive defect d* = θ4+θ5−12, and two defect-preserving operations: ridge-whiskering (Lemma 3.4) and set-complement duality (Lemma 3.6). In parallel, the paper proves the universal inequality s_2(F) ≤ D_2(F) for all q-uniform families and classifies equality through core completion, a block-matrix trace bound, and Ky Fan variational arguments. The appendix provides the full 15×15 and 16×16 Gram matrices for direct verification of the characteristic polynomials.
Significance. If the counterexample construction is correct, it settles a long-standing conjecture in the negative, resolving the majorization question for all but indices 3 and 4. The paper also provides the first unrestricted-uniformity proof of the second partial-sum inequality, with a complete equality classification. A notable strength is the machine-checkable exactness: the counterexamples rely on explicit integer matrices, exact characteristic polynomial factorizations, an exact root-isolation proof of the tiny positive defect d*, and fully stated transfer lemmas. This is a significant contribution to spectral hypergraph theory and combinatorial Laplacian majorization. The r=2 theorem (Theorem 1.3) is substantive and appears correct, with the equality classification being a strong addition. The paper is honest about the quantifier structure and does not overclaim, and the remaining open cases s_3 and s_4 are clearly identified.
major comments (4)
- [§3, Proposition 3.3 and root ordering] The counterexample claim for all r ≥ 5 depends on exact verification that the five largest eigenvalues of M_F15 at indices 8 and 9 are as stated. The list '7, 7−θ1, 6, 6, 7−θ2, 4, 4, 7−θ3' requires checking the relative ordering of the explicit eigenvalues; this follows from the root bounds θ1∈(0,1), θ2∈(2,3), θ3∈(4,5), θ4∈(5,6), θ5∈(6,7) and is correct, but the ordering verification is compressed. Since the entire counterexample family rests on this list, a short explicit display of the ordering would improve rigor.
- [§3, search provenance of F15 and F16] The two seeds were 'identified through an exhaustive computer search on seven vertices,' but the search is not described and no search certificate is provided. The displayed matrices make the construction independently verifiable, so this is not a correctness issue, but it is a reproducibility gap: an interested reader cannot know whether the search was complete or how the seeds are special. A short paragraph describing the search space and the exact criterion would remove this gap.
- [§4, proof of equality classification in Theorem 1.3] The equality case of s_2(F) = D_2(F) uses several compressed steps: the conclusion that t≥3 contradicts equality, the derivation that s_2(hat F) = 2m + p_1 only when t≤2, the identification of the two-dimensional maximizing subspace supported on F, and the passage from dim V_K ≥ 2 to condition (a). These steps are correct given Lemma 4.9 and the orthogonal decomposition in Lemma 4.6, but they are dense. Expanding the argument around the sentence 'the same orthogonal decomposition shows that all remaining eigenvalues ...' would materially improve the paper.
- [§3, Lemma 3.6 transfer identity] The transfer identity Δ_{f−r}(F*) = Δ_r(F) is stated for 1 ≤ r < f, and Theorem 1.2 uses it with r = 8 and r = 9 for F15 and F15(t). The argument is correct, including the degree-counting identity. The proof is clear and self-contained; no issue beyond the notation 'F*' which should be consistently typeset as F^\star.
minor comments (5)
- [Introduction, §1] The phrase 'while t ridge whiskers preserve its defect at r = 8' should read 'while t ridge-whisker facets preserve' or 'while t ridge whiskers preserve' with a hyphen. Also 'Both lie on {0, 1, ..., 6}' uses set notation without braces; prefer 'on the vertex set {0,1,...,6}'.
- [§2, Lemma 2.5] The vectors u_i and v_i are not normalized but are used as eigenvectors; the spectral decomposition formula is correct, but the word 'orthogonal eigenvectors' could be clarified as 'mutually orthogonal eigenvectors' since they are not unit vectors.
- [§3, Lemma 3.1] The sentence 'Bareiss fraction-free elimination ... entirely in Z[x]' is correct. In the appendix, 'the pivots are nonzero because the leading principal minors of xI−M_F are monic polynomials' is terse but valid; adding that the leading principal minors are monic of degree i would help.
- [Appendix A] The displayed matrices are legible, but the facet labels are only given in the surrounding text; placing the facet labels above the columns of the Gram matrices would ease direct verification.
- [References] The arXiv labels [13] and [19] are 'v1' versions that postdate the submission date of this paper. Since this is a future-dated timeline, this is only a minor housekeeping issue; the version numbers should be updated when available.
Circularity Check
No significant circularity; construction is exact and self-contained.
full rationale
The paper's central claim is a constructive counterexample to the Duval–Reiner majorization assertion, built from explicit 3-uniform seeds. The load-bearing special input is the exact eigenvector identity (3), M_F15 y_eta = 7 y_eta, with ||y_eta||^2 = 5. This is not a fitted parameter or a renamed prediction: the paper prints the full 15x15 Gram matrix and the vector, and the identity is directly checkable by exact multiplication. The characteristic polynomials in Lemma 3.1 are obtained by exact Bareiss fraction-free elimination over Z[x], and the positivity of d* = theta_4 + theta_5 - 12 is proved by exact root isolation using evaluations of p_16, not by numerical fitting. The transfer machinery (ridge-whiskering, Lemma 3.4, and complement duality, Lemma 3.6) is derived from the spectral reflection identity of Duval and Reiner, an external published result, plus elementary trace and degree-counting identities. No step relies on a self-citation, a uniqueness theorem imported from the author's own prior work, or an ansatz smuggled in via citation. The r=2 inequality and equality classification use standard external tools (Ky Fan's principle, Weyl monotonicity, interlacing, and the explicit spectral decomposition of the complete-simplex boundary matrix) and derive the equality cases from structural conditions, not from assuming the target inequality. The only computational burden is the displayed arithmetic of the seed matrices, which the appendix makes independently verifiable. There is no reduction of a claimed prediction to its inputs by construction, and no fitted input is renamed as a prediction.
Assumptions & free parameters
assumptions (4)
- standard math Finite-dimensional spectral theorem and Ky Fan maximum principle for symmetric matrices (Lemma 2.1).
- standard math Weyl/Ky Fan monotonicity and interlacing for positive semidefinite matrices (Lemmas 2.2 and 2.4).
- domain assumption The oriented boundary convention with ∂²=0; changing vertex order or facet orientation only conjugates the boundary matrix by signed permutation matrices.
- domain assumption Duval–Reiner's set-complement duality M_{F⋆}=S(nI−M_F)S (Lemma 3.5).
Cite this review
Pith. "Pith review of The Duval--Reiner Conjecture: Counterexamples and the Second Partial-Sum Inequality." pith.science (2026). https://pith.science/paper/H656OHH4
@misc{pith2026260720051,
author = {Pith},
title = {Pith review of: The Duval--Reiner Conjecture: Counterexamples and the Second Partial-Sum Inequality},
year = {2026},
howpublished = {\url{https://pith.science/paper/H656OHH4}},
note = {Machine review of arXiv:2607.20051}
}
abstract
Let \(F\subseteq\binom{V}{q}\) be a \(q\)-uniform family on a finite vertex set \(V\). Write \(s_r(F)\) for the sum of the \(r\) largest eigenvalues of its simplicial up-Laplacian and \(d_F(v)\) for the degree of \(v\in V\). Then $D_r(F)=\sum_{v\in V}\min\{d_F(v),r\}$ is the \(r\)-th partial sum of the conjugate degree sequence of \(F\). The majorization assertion in the Duval--Reiner conjecture [Trans. Amer. Math. Soc., 2002] states that \(s_r(F)\le D_r(F)\) for every \(q\)-uniform family \(F\) and every \(r\ge1\). We disprove this assertion in two complementary senses: for every \(r\ge5\), there is a strict counterexample at index \(r\) in some uniformity, while every uniformity \(q\ge3\) admits a strict counterexample at some index \(r\ge5\). In contrast, we prove the universal inequality \(s_2(F)\le D_2(F)\) and classify all equality cases. The counterexamples are obtained from two \(3\)-uniform seeds with explicitly computed characteristic polynomials through defect-preserving ridge-whiskering and set-complement duality. For the second partial sum, core completion reduces the problem to the boundary matrix of a complete simplex, where Ky Fan variational and compression arguments yield both the inequality and its equality classification.
Reference graph
Works this paper leans on
-
[1]
R. Abebe, A conjectural Brouwer inequality for higher-dimensional Laplacian spectra, arXiv (2019), arXiv:1907.07541
arXiv 2019
-
[2]
Abebe and J
R. Abebe and J. Pfeffer, On the partial sum of the Laplacian eigenvalues of abstract simplicial complexes. Unpublished report, https://www-users.cse.umn.edu/ reiner/REU/ AbebePfef- fer2012.pdf
-
[3]
Bai, The Grone–Merris conjecture,Transactions of the American Mathematical Society 363(2011), no
H. Bai, The Grone–Merris conjecture,Transactions of the American Mathematical Society 363(2011), no. 8, 4463–4474
2011
-
[4]
R. B. Bapat, A. K. Lal, and S. Pati, Laplacian spectrum of weakly quasi-threshold graphs, Graphs and Combinatorics24(2008), 273–290
2008
-
[5]
E. H. Bareiss, Sylvester’s identity and multistep integer-preserving Gaussian elimination, Mathematics of Computation22(1968), no. 103, 565–578
1968
-
[6]
Bhatia,Matrix Analysis, Graduate Texts in Mathematics, Vol
R. Bhatia,Matrix Analysis, Graduate Texts in Mathematics, Vol. 169, Springer, New York, 1997
1997
-
[7]
A. M. Duval, A common recursion for Laplacians of matroids and shifted simplicial complexes, Documenta Mathematica10(2005), 583–618
2005
-
[8]
A. M. Duval and V. Reiner, Shifted simplicial complexes are Laplacian integral,Transactions of the American Mathematical Society354(2002), no. 11, 4313–4344
2002
Show all 19 references
-
[9]
Eckmann, Harmonische Funktionen und Randwertaufgaben in einem Komplex,Commentarii Mathematici Helvetici17(1944), 240–255
B. Eckmann, Harmonische Funktionen und Randwertaufgaben in einem Komplex,Commentarii Mathematici Helvetici17(1944), 240–255
1944
-
[10]
Fan, On a theorem of Weyl concerning eigenvalues of linear transformations I,Proceedings of the National Academy of Sciences of the United States of America35(1949), no
K. Fan, On a theorem of Weyl concerning eigenvalues of linear transformations I,Proceedings of the National Academy of Sciences of the United States of America35(1949), no. 11, 652–655
1949
-
[11]
Y. Fan, H. Wu, and Y. Wang, The largest Laplacian eigenvalue and the balancedness of simplicial complexes,Journal of Algebraic Combinatorics61(2025), Article 53
2025
-
[12]
Grone and R
R. Grone and R. Merris, The Laplacian spectrum of a graph. II,SIAM Journal on Discrete Mathematics7(1994), no. 2, 221–229
1994
-
[13]
Y. Han, L. Lu, and J. Wang, On the sum of the two largest eigenvalues of the curl-curl operator on graphs, arXiv (2026), arXiv:2606.26512v1
2026 arXiv
-
[14]
N. H. Katz, The Grone–Merris conjecture and a quadratic eigenvalue problem, arXiv (2005), arXiv:math/0512647
2005 arXiv
-
[15]
G. Kirchhoff, Ueber die Auflösung der Gleichungen, auf welche man bei der Untersuchung der linearen Vertheilung galvanischer Ströme geführt wird,Annalen der Physik und Chemie148 (1847), no. 12, 497–508. 22
-
[16]
Kirkland, Near threshold graphs,The Electronic Journal of Combinatorics16(2009), no
S. Kirkland, Near threshold graphs,The Electronic Journal of Combinatorics16(2009), no. 1, Research Paper R42
2009
-
[17]
Lew, Sums of Laplacian eigenvalues and sums of degrees, arXiv (2025), arXiv:2508.04209v1
A. Lew, Sums of Laplacian eigenvalues and sums of degrees, arXiv (2025), arXiv:2508.04209v1
2025 arXiv
-
[18]
Stephen, A majorization bound for the eigenvalues of some graph Laplacians,SIAM Journal on Discrete Mathematics21(2007), no
T. Stephen, A majorization bound for the eigenvalues of some graph Laplacians,SIAM Journal on Discrete Mathematics21(2007), no. 2, 303–312
2007
-
[19]
Zhang and Y
H. Zhang and Y. Fan, Upper bounds for the largest Laplacian eigenvalue of simplicial complexes, arXiv (2026), arXiv:2606.21233v1. 23
2026 arXiv
Reviewed August 1, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.