pith. sign in

arxiv: 2605.26614 · v2 · pith:TSWYJZRJnew · submitted 2026-05-26 · 🧮 math.CO

Spectral Sidorenko inequalities and edge-spectral supersaturation

Yongtao Li , Wilson Lin , Hong Liu , Shengtong Zhang This is my paper

Pith reviewed 2026-06-29 17:48 UTC · model grok-4.3

classification 🧮 math.CO
keywords Sidorenko conjecturespectral graph theorygraph homomorphismssupersaturationbipartite graphseigenvaluesextremal combinatorics
0
0 comments X

The pith

Sidorenko's conjecture is equivalent to a spectral strengthening that uses the largest eigenvalue of the host graph.

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

The authors establish an equivalence between Sidorenko's conjecture and a spectral version of it for bipartite graphs H with at most as many vertices as edges. If true, this equivalence immediately implies sharp asymptotic lower bounds on the number of copies of K_{t,t} and C_{2t} in any graph whose spectral radius exceeds that of a certain split graph. The spectral form replaces the usual edge-density term with a term involving the largest eigenvalue λ(G). This matters because it supplies a new tool for proving homomorphism inequalities and for obtaining precise supersaturation results in extremal graph theory.

Core claim

Sidorenko's conjecture is equivalent to the inequality hom(H,G) ≥ λ(G)^{2e-v} M(G)^{v-e} whenever the standard Sidorenko inequality holds, for bipartite H with v vertices and e edges where v ≤ e. The proof of the converse uses a tensor-power spectral regularization lemma, while some direct cases follow from an operator-norm certificate via Riesz-Thorin interpolation. This equivalence furnishes a unified framework that yields the stated sharp supersaturation bounds for the number of K_{t,t} and C_{2t} subgraphs.

What carries the argument

The spectral strengthening hom(H,G) ≥ λ(G)^{2e-v} M(G)^{v-e}, shown equivalent to the classical Sidorenko bound hom(H,G) ≥ M(G)^e |V(G)|^{v-2e}.

If this is right

  • Any m-edge graph G whose largest eigenvalue exceeds that of the split graph S_{t-1,m} contains at least (2^{-(t-1)^2}/(t!)^2 - o(1)) m^t copies of K_{t,t}.
  • The same graphs contain at least ((t-1)! / 2 t^t - o(1)) m^t copies of C_{2t}.
  • Both constants are asymptotically tight, with random graphs achieving the first and split graphs achieving the second.
  • The proofs combine the spectral inequality with heavy-edge pruning, a Perron-vector localized/delocalized split, and incidence-matrix bounds.

Where Pith is reading between the lines

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

  • The same equivalence technique might produce spectral strengthenings for other homomorphism inequalities beyond Sidorenko.
  • The operator-norm certificate could shorten proofs that a given bipartite graph satisfies Sidorenko's conjecture.
  • The heavy-edge pruning and eigenvector dichotomy may transfer to supersaturation questions for non-Sidorenko graphs.
  • Tensor-power regularization may serve as a general bridge between edge-count and spectral formulations in other counting problems.

Load-bearing premise

The tensor-power spectral regularization lemma correctly converts the standard Sidorenko inequality into the spectral form.

What would settle it

A bipartite graph H with v ≤ e together with a host graph G that meets the classical Sidorenko bound on homomorphisms but violates the eigenvalue-powered bound.

read the original abstract

We develop a spectral approach to Sidorenko-type inequalities and apply it to establish sharp edge-spectral supersaturation results. Let $H$ be a bipartite graph with $v$ vertices and $e$ edges, where $v\le e$, and write $M(G)=2e(G)$. We prove that Sidorenko's conjecture is equivalent to a spectral strengthening: $$ \hom(H,G)\ge M(G)^e |V(G)|^{v-2e} \quad \text{ if and only if }\quad \hom(H,G)\ge \lambda(G)^{2e-v}M(G)^{v-e}.$$ We also introduce an operator-norm certificate which, via the Riesz--Thorin interpolation, gives direct proofs of the spectral Sidorenko inequality in several cases. The converse direction in the equivalence theorem is proved by a tensor-power spectral regularization lemma. Our main result provides a unified framework to prove sharp asymptotic edge-spectral supersaturation results for degenerate bipartite graphs with the Sidorenko property, including complete bipartite graphs and even cycles. Let $S_{t-1,m}$ be the split graph with $m$ edges obtained by joining a clique $K_{t-1}$ to an independent set. For every $m$-edge graph $G$ with $\lambda(G)>\lambda(S_{t-1,m})$, $$\texttt{#} K_{t,t}(G) \ge \Big(\frac{2^{-(t-1)^2}}{(t!)^2}-o(1)\Big)m^t \quad \text{and}\quad \texttt{#}C_{2t}(G) \ge \Big(\frac{(t-1)!}{2t^t}-o(1)\Big)m^t.$$ Both constants are best possible: the first is attained asymptotically by random graphs, while the second is attained by split graphs. The supersaturation proofs combine spectral Sidorenko inequalities with a heavy-edge pruning process, a Perron-vector localized/delocalized dichotomy, and incidence-matrix inequalities.

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 claims that Sidorenko's conjecture for a bipartite graph H with v vertices and e edges (v ≤ e) is equivalent to the spectral strengthening hom(H,G) ≥ λ(G)^{2e-v} M(G)^{v-e}, where M(G) = 2e(G). The forward direction follows from standard comparisons, while the converse is proved via a tensor-power spectral regularization lemma. Direct proofs of the spectral inequality in special cases are obtained via an operator-norm certificate combined with Riesz–Thorin interpolation. The equivalence is then used, together with heavy-edge pruning, a Perron-vector localized/delocalized dichotomy, and incidence-matrix inequalities, to derive sharp asymptotic supersaturation bounds: for every m-edge graph G with λ(G) > λ(S_{t-1,m}), the number of K_{t,t} copies is at least (2^{-(t-1)^2}/(t!)^2 - o(1)) m^t and the number of C_{2t} copies is at least ((t-1)!/(2 t^t) - o(1)) m^t, with both constants shown to be best possible.

Significance. If the equivalence and the supporting regularization lemma hold, the work supplies a spectral perspective on Sidorenko-type problems that simultaneously yields direct proofs in several cases and a unified framework for sharp edge-spectral supersaturation results on degenerate bipartite graphs possessing the Sidorenko property. The optimality statements (attained asymptotically by random graphs for K_{t,t} and by split graphs for C_{2t}) constitute a concrete strength.

major comments (2)
  1. [Abstract / equivalence theorem] Abstract (equivalence statement): the converse direction rests on the tensor-power spectral regularization lemma, whose precise statement, hypotheses on H and G, and proof are not supplied in the abstract; because this lemma is load-bearing for the claimed logical equivalence, its complete formulation must be inspected to confirm that it maps arbitrary graphs to regular ones while preserving the homomorphism lower bound without hidden restrictions.
  2. [Main supersaturation result] Supersaturation section (statements for #K_{t,t}(G) and #C_{2t}(G)): the proofs combine the spectral Sidorenko inequality with heavy-edge pruning and a Perron-vector dichotomy; the manuscript must verify that the o(1) error terms remain uniform when λ(G) is only slightly larger than λ(S_{t-1,m}), as any dependence on the gap size would affect the claimed sharpness.
minor comments (2)
  1. [Abstract] Notation: the definition M(G) = 2e(G) is introduced without an explicit equation number; adding a numbered display would improve readability when the quantity is reused in the spectral inequality.
  2. [Operator-norm certificate paragraph] The operator-norm certificate is introduced via Riesz–Thorin but the precise norm and the interpolation parameter are not displayed; a short displayed equation would clarify the direct proofs mentioned for special cases.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and the recommendation of major revision. We respond to each major comment below.

read point-by-point responses

  1. Referee: [Abstract / equivalence theorem] Abstract (equivalence statement): the converse direction rests on the tensor-power spectral regularization lemma, whose precise statement, hypotheses on H and G, and proof are not supplied in the abstract; because this lemma is load-bearing for the claimed logical equivalence, its complete formulation must be inspected to confirm that it maps arbitrary graphs to regular ones while preserving the homomorphism lower bound without hidden restrictions.

    Authors: The abstract is a concise summary. The tensor-power spectral regularization lemma is stated in full (including hypotheses that H is bipartite with v ≤ e and G is arbitrary) as Theorem 3.2, with a complete proof in Section 3 showing that it produces a regular graph via tensor powers while preserving the relevant homomorphism lower bound with no additional restrictions. The equivalence theorem (Theorem 1.1) then follows directly from this lemma together with the standard comparison arguments for the forward direction. revision: no

  2. Referee: [Main supersaturation result] Supersaturation section (statements for #K_{t,t}(G) and #C_{2t}(G)): the proofs combine the spectral Sidorenko inequality with heavy-edge pruning and a Perron-vector dichotomy; the manuscript must verify that the o(1) error terms remain uniform when λ(G) is only slightly larger than λ(S_{t-1,m}), as any dependence on the gap size would affect the claimed sharpness.

    Authors: The o(1) terms arise from the heavy-edge pruning (removing o(m) edges) and the incidence-matrix bounds in Section 5; both are controlled solely in terms of m and t and are independent of the size of the gap λ(G) − λ(S_{t-1,m}). The Perron-vector localized/delocalized dichotomy is applied after pruning and likewise yields gap-independent error terms that vanish as m → ∞. We will insert an explicit paragraph in Section 5 confirming uniformity over all G with λ(G) > λ(S_{t-1,m}). revision: yes

Circularity Check

0 steps flagged

No significant circularity; equivalence and supersaturation derived from independent proof steps

full rationale

The paper proves an if-and-only-if equivalence between Sidorenko's conjecture and the stated spectral strengthening via a tensor-power spectral regularization lemma that is introduced and used within the manuscript. Supersaturation bounds for K_{t,t} and C_{2t} are then obtained by combining the spectral inequality (under the explicit assumption that the target graphs satisfy the Sidorenko property) with heavy-edge pruning, Perron-vector analysis, and incidence-matrix inequalities. No derivation reduces a claimed prediction or first-principles result to its own inputs by construction, no load-bearing step relies on self-citation chains, and no ansatz or uniqueness claim is smuggled via prior work. The central claims remain mathematically self-contained.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract alone supplies no explicit free parameters, invented entities, or non-standard axioms; the work appears to rest on standard facts from spectral graph theory and extremal combinatorics.

pith-pipeline@v0.9.1-grok · 5923 in / 1083 out tokens · 50637 ms · 2026-06-29T17:48:08.893373+00:00 · methodology

discussion (0)

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

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. An edge-spectral supersaturation of Mubayi's theorem for color-critical graphs

    math.CO 2026-07 unverdicted novelty 8.0

    For color-critical F with χ(F)=r+1≥4, λ²(G) ≥ 2(1-1/r)m + q implies N_F(G) ≥ (B_F - o(1)) q m^{(f-2)/2} for small q, with sharp B_F = α_F/4 ⋅ (2r/(r-1))^{f/2}.

Reference graph

Works this paper leans on

42 extracted references · 5 canonical work pages · cited by 1 Pith paper · 2 internal anchors

  1. [1]

    Bollob´ as and V

    B. Bollob´ as and V. Nikiforov. Cliques and the spectral radius.J. Combin. Theory Ser. B, 97:859–865, 2007

    2007

  2. [2]

    Cerd` a.Linear Functional Analysis

    J. Cerd` a.Linear Functional Analysis. Number 116 in GSM. American Mathematical Society, Providence, RI; Real Sociedad Matem´ atica Espa˜ nola, Madrid, 2010

    2010

  3. [3]

    Chao and H.-H

    T.-W. Chao and H.-H. H. Yu. When entropy meets Tur´ an: New proofs and hypergraph Tur´ an results.J. Lond. Math. Soc., 113(3):Paper No. e70473, 2026

    2026

  4. [4]

    H. Chen, J. Li, Y. Li, L. Liu, and B. Ning. An exponentially small gap of the Perron vector on independent sets, 2026. arXiv:2604.24077

    work page internal anchor Pith review Pith/arXiv arXiv 2026

  5. [5]

    F. R. K. Chung.Spectral Graph Theory, volume 92 ofCBMS Regional Conference Series in Mathematics. American Mathematical Society, Providence, RI, 1997

    1997

  6. [6]

    Conlon, J

    D. Conlon, J. Fox, and B. Sudakov. An approximate version of Sidorenko’s conjecture.Geom. Funct. Anal., 20(6):1354–1366, 2010

    2010

  7. [7]

    Conlon, J

    D. Conlon, J. H. Kim, C. Lee, and J. Lee. Some advances on Sidorenko’s conjecture.J. Lond. Math. Soc. (2), 98(3):593–608, 2018

    2018

  8. [8]

    Conlon and J

    D. Conlon and J. Lee. Finite reflection groups and graph norms.Adv. Math., 315:130–165, 2017

    2017

  9. [9]

    L. N. Coregliano and A. A. Razborov. Biregularity in Sidorenko’s conjecture.arXiv preprint arXiv:2108.06599, 2021

    work page arXiv 2021

  10. [10]

    P. Erd˝ os. On a theorem of Rademacher–Tur´ an.Illinois J. Math., 6:122–127, 1962

    1962

  11. [11]

    P. Erd˝ os. On the number of triangles contained in certain graphs.Canadian Mathematical Bulletin, 7(1):53–56, 1964

    1964

  12. [12]

    L. Fang, H. Lin, and M. Zhai. Counting color-critical subgraphs under Nikiforov’s condition,

  13. [13]

    Fox and L

    J. Fox and L. M. Lov´ asz. A tight bound for green’s arithmetic triangle removal lemma in vector spaces.Adv. Math., 321:287–297, 2017

    2017

  14. [14]

    Grafakos.Classical Fourier Analysis

    L. Grafakos.Classical Fourier Analysis. Graduate Texts in Mathematics. Springer, New York, 3rd edition, 2014

    2014

  15. [15]

    H. Hatami. Graph norms and Sidorenko’s conjecture.Israel J. Math., 175:125–150, 2010. 31

    2010

  16. [16]

    R. A. Horn and C. R. Johnson.Matrix Analysis. Cambridge University Press, 2 edition, Oct. 2012

    2012

  17. [17]

    J. H. Kim, C. Lee, and J. Lee. Two approaches to Sidorenko’s conjecture.Trans. Amer. Math. Soc., 368(7):5057–5074, 2016

    2016

  18. [18]

    S. Li, S. Zhao, and L. Zou. Spectral extrema of graphs with fixed size: Forbidden a fan graph, a friendship graph or a theta graph.J. Graph Theory, 110(4):483–495, 2025

    2025

  19. [19]

    X. Li, M. Zhai, and J. Shu. A Brualdi–Hoffman–Tur´ an problem on cycles.European J. Combin., 120:No. 103966, 2024

    2024

  20. [20]

    Y. Li, H. Liu, and S. Zhang. An edge-spectral Erd˝ os–Stone–Simonovits theorem and its stability,

  21. [21]

    Y. Li, H. Liu, and S. Zhang. Edge-spectral Tur´ an theorems for color-critical graphs with appli- cations, 2025. arXiv:2511.15431

    work page arXiv 2025

  22. [22]

    Y. Li, H. Liu, and S. Zhang. More on Nosal’s spectral theorem: Books and 4-cycles.J. Combin. Theory Ser. B, 179:219–249, 2026

    2026

  23. [23]

    Liu and M.-H

    B. Liu and M.-H. Liu. On the spread of the spectrum of a graph.Discrete Math., 309:2727–2732, 2009

    2009

  24. [24]

    C. Liu, J. Li, S. Li, and Y. Yu. A Brualdi–Hoffman–Tur´ an problem on theta graph.Adv. in Appl. Math., 173:Paper No.103000, 2026

    2026

  25. [25]

    H. Liu, O. Pikhurko, and K. Staden. The exact minimum number of triangles in graphs of given order and size.Forum of Math., Pi, 8(e8):144, 2020

    2020

  26. [26]

    Liu and B

    L. Liu and B. Ning. Local properties of the spectral radius and Perron vector in graphs.J. Combin. Theory Ser. B, 176:241–253, 2026

    2026

  27. [27]

    Z. Lou, L. Lu, and M. Zhai. A refinement on spectral Mantel’s theorem.European J. Combin., 127:Paper No. 104142, 2025

    2025

  28. [28]

    L. M. Lov´ asz and L. Sauermann. A lower bound for thek-multicolored sum-free problem inZ n m. Proc. Lond. Math. Soc., 119(1):55–103, 2019

    2019

  29. [29]

    Ma and L.-T

    J. Ma and L.-T. Yuan. Supersaturation beyond color-critical graphs.Combinatorica, 45(2):Paper No. 18, 2025

    2025

  30. [30]

    D. Mubayi. Counting substructures I: Color critical graphs.Adv. Math., 225(5):2731–2740, 2010

    2010

  31. [31]

    Nikiforov

    V. Nikiforov. Some inequalities for the largest eigenvalue of a graph.Combin. Probab. Comput., 11(2):179–189, 2002

    2002

  32. [32]

    Nikiforov

    V. Nikiforov. The maximum spectral radius ofC 4-free graphs of given order and size.Linear Algebra Appl., 430(11):2898–2905, 2009

    2009

  33. [33]

    Nikiforov, On a theorem of Nosal, (2021), arXiv:2104.12171

    V. Nikiforov. On a theorem of Nosal, 2021. arXiv:2104.12171

    work page arXiv 2021

  34. [34]

    Ning and M

    B. Ning and M. Zhai. Counting substructures and eigenvalues I: Triangles.European J. Combin., 110:Paper No. 103685, 12, 2023. 32

    2023

  35. [35]

    Ning and M

    B. Ning and M. Zhai. Counting substructures and eigenvalues II: Quadrilaterals.Electron. J. Combin., 32(4):Paper No. 4.1, 2025

    2025

  36. [36]

    Pikhurko and Z

    O. Pikhurko and Z. B. Yilma. Supersaturation problem for color-critical graphs.J. Combina. Theory, Ser. B, 123:148–185, 2017

    2017

  37. [37]

    C. Reiher. The clique density theorem.Ann. of Math., 184(3):683–707, 2016

    2016

  38. [38]

    Sidorenko

    A. Sidorenko. A correlation inequality for bipartite graphs.Graphs and Combinatorics, 9(2– 4):201–204, 1993

    1993

  39. [39]

    B. Szegedy. Sparse graph limits, entropy maximization and transitive graphs.arXiv preprint arXiv:1504.00858, 2015

    work page internal anchor Pith review Pith/arXiv arXiv 2015

  40. [40]

    T. Tao. The tensor power trick. What’s New (personal blog), 2008.https://terrytao. wordpress.com/2008/08/25/tricks-wiki-article-the-tensor-product-trick/

    2008

  41. [41]

    M. Zhai, R. Li, and Z. Lou. Advances on two spectral conjectures regarding booksize of graphs,

  42. [42]

    M. Zhai, H. Lin, and J. Shu. Spectral extrema of graphs with fixed size: Cycles and complete bipartite graphs.European J. Combin., 95:No. 103322, 2021. 33

    2021