REVIEW 1 major objections 4 minor 50 references
Spectral Tur\'{a}n problem of non-bipartite graphs: Forbidden books
T0 review · 1 major / 4 minor · reviewed 2026-08-07 · deepseek-v4-flash
Pith's one-line read The paper finds the exact maximum spectral radius among non-bipartite graphs with no book of r+1 triangles, for every r and large n.
desk verdict A genuinely new non-bipartite spectral Turán theorem with a repairable but load-bearing gap in one case of the proof. 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 proof is carried out on a partition $V(G^*)=\{u^*\}\cup A\cup B$, where $u^*$ is a vertex of largest leading-eigenvector entry, $A=N(u^*)$ is its neighbourhood, and $B$ is the set of remaining vertices. The load-bearing tool is the residual index $\Gamma_w=d_A(w)(x_{u^*}-x_w)$ for $w\in B$, which measures how much the leading eigenvector drops on vertices of $B$ with many neighbours in $A$; accumulating these drops and comparing with a lower bound on $\rho(G^*)^2$ rules out configurations in which $A$ has no edges. Additional machinery includes a degree-versus-matching-number bound (Lemma 2.1) that controls $e(A)$, a local edge-swap lemma (Lemma 2.2) that shows certain one-edge modifications increase the spectral radius while preserving both non-bipartiteness and $B_{r+1}$-freeness, and an equitable-partition computation that gives the quintic equation for the spectral radius of the candidate graph.
What would settle it
Take $r=1$ and $n=48$, enumerate or heuristically maximize the spectral radius over non-bipartite graphs on 48 vertices with no two triangles sharing an edge, and check whether any graph beats $K^{1,1}_{23,24}$; a single counterexample would refute the theorem. More broadly, for each $r\geq1$ and $n\geq8(r^2+r+4)$, compare the candidate against a balanced complete bipartite graph with one extra edge inside a part, with a pendant triangle, or with a different apex-degree pattern, since any such graph with larger spectral radius would disprove the claimed uniqueness.
Extended reading notes
Core claim
The central claim is Theorem 1.3: for $r\geq1$ and $n\geq 8(r^2+r+4)$, if $G$ is a non-bipartite $B_{r+1}$-free graph of order $n$, then $\rho(G)\leq\rho(K^{r,r}_{\lfloor(n-1)/2\rfloor,\lceil(n-1)/2\rceil})$, with equality if and only if $G$ is isomorphic to $K^{r,r}_{\lfloor(n-1)/2\rfloor,\lceil(n-1)/2\rceil}$. Here the forbidden book $B_{r+1}$ consists of $r+1$ triangles sharing a common edge, and the extremal graph is obtained from the complete bipartite graph $K_{\lfloor(n-1)/2\rfloor,\lceil(n-1)/2\rceil}$ by adding a new vertex $v_0$ adjacent to exactly $r$ vertices in each part. The paper also computes $\rho(K^{r,r}_{s,t})$ as the largest root of the quintic $x^5-(2r+st)x^3-2r^2x^2+(2str-sr^2-tr^2)x=0$, and proves structural rigidity of the extremal graph: with respect to the vertex of largest leading-eigenvector entry, the neighbourhood set and its complement each have matching number at most one, and the sum of the two matching numbers is exactly one.
Load-bearing premise
The load-bearing premise is that a maximal counterexample can always be locally rearranged — by moving or adding an edge incident to a vertex with smaller leading-eigenvector entry — without accidentally creating the forbidden book or making the graph bipartite; if one of these rearrangements fails in an unexamined subcase, the uniqueness conclusion does not follow.
Editorial extensions
If this is right
- If the theorem is correct, any non-bipartite $n$-vertex graph with spectral radius greater than $\rho(K^{r,r}_{\lfloor(n-1)/2\rfloor,\lceil(n-1)/2\rceil})$ must contain a book $B_{r+1}$; this is a sharp spectral forcing condition for books.
- The extremal graph is uniquely characterized for every $r\geq1$, so the non-bipartite spectral extremal problem for books is now completely solved in the regime $n\geq8(r^2+r+4)$.
- The result completes the comparison across book sizes: for $r=0$ the extremal graph is a balanced complete bipartite graph with one edge subdivided, while for every $r\geq1$ it is the apex graph with $r$ neighbours in each part.
- The proof's structural lemmas imply that in any extremal graph the two sides of the partition are almost completely joined, with exactly one internal edge inside the neighbourhood set or inside its complement, yielding the rigid shape of the candidate.
Reading between the lines
- Beyond the paper's range, the bound $n\geq8(r^2+r+4)$ is forced by inequalities rather than by an observed phase transition, so the same extremal graph likely persists for smaller $n$; locating the true threshold is a concrete next question.
- The residual-index technique should transfer to other 3-chromatic color-critical forbidden subgraphs, yielding extremal graphs shaped as balanced complete bipartite graphs with a small non-bipartite cap; testing odd wheels or books with pendant structure would show how general the mechanism is.
- The paper's closing fixed-size conjecture, if true, implies the extremal non-bipartite book-free graph is a star plus one edge regardless of $r$; a small computational search for fixed edge counts would test whether the order-based and size-based extremal graphs really diverge this sharply.
- Since the candidate spectral radius is the largest root of an explicit quintic, one gets the asymptotic $\rho\sim(n-1)/2$; a higher-order expansion could sharpen the spectral forcing condition and benchmark near-extremal graphs.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies the spectral Turan problem for non-bipartite graphs excluding the book graph B_{r+1}, for r>=1. The main theorem (Theorem 1.3) states that for n>=8(r^2+r+4), every non-bipartite B_{r+1}-free graph G of order n satisfies rho(G) <= rho(K^{r,r}_{floor((n-1)/2),ceil((n-1)/2)}), with equality only for that graph. The proof uses a Perron-vector partition into A=N(u*) and B, the Chvatal-Hanson bound on e(A), the residual index Gamma_w, and a long structural case analysis. The lower bound is derived from an equitable quotient matrix (Lemma 2.4), and the upper bound is obtained by a series of contradiction inequalities that narrow the structure of the extremal graph to the claimed extremal graph.
Significance. If the proof is correct, the result resolves Problem 1.2 and complements the known bipartite extremal result of Zhai and Lin by showing that the non-bipartite extremal graph is a complete bipartite graph K_{floor((n-1)/2),ceil((n-1)/2)} with r extra neighbours of a new vertex in each part. This is a natural and nontrivial extension of the r=0 result of Lin, Ning and Wu. The paper gives explicit parameter-free lower bounds, uses the Chvatal-Hanson theorem in a clean way, and the quotient-matrix computation in Lemma 2.4 is checkable. The main weakness is that the structural proof is long and terse, and one step in Theorem 3.11 is genuinely incomplete. Because that step is load-bearing, the current version cannot be accepted as is, although the gap appears local and likely repairable.
major comments (1)
- [Theorem 3.11, Case 1.1, Claim 1 (page 11)] The proof that G' remains non-bipartite is incomplete. The inference 'If G' is bipartite, then ... C must be a 5-cycle' is false under the stated local hypotheses. For r=1, take u*, A={u0,u1,u2}, B={w0,w1,z}, with edges u*ui for each i, w0w1, w0u0, w1u1, zu0, zu2. This graph is non-bipartite (it contains the 7-cycle u0-w0-w1-u1-u*-u2-z-u0), is B_2-free, satisfies e(A)=0, G*[B]=K2 plus an isolated vertex, and NA(w0)={u0} is not a subset of NA(w1)={u1}. However G'=G*-u0w0+u0w1 is bipartite. Thus the assertion that every odd cycle must be a 5-cycle is contradicted by a graph satisfying exactly the hypotheses used at that point. The subsequent restriction to 5-cycles is used to prove the non-bipartiteness of G', and hence Claim 1's conclusion NA(w0) is a subset of NA(w1); this conclusion is needed to establish dA(w0)=r and ultimately to prove e(A)!=0 in Theorem 3.11. The gap is load-bearing. A repair through edge-maximality, for instance adding a missing edge from w0 to an A-neighbour of w1 after the swap, is plausible, but it is not present in the manuscript.
minor comments (4)
- [Section 3, notation before Lemma 3.6] The notation dA(u), dB(u) is overloaded: earlier it denotes the number of neighbours, while from Lemma 3.6 onward it sometimes denotes the number of non-neighbours. The overlines are not consistently rendered in the text, which makes parts of Theorem 3.11 very hard to follow. A clean distinction, e.g. d_bar_A(u), would improve readability.
- [Theorem 3.11, Case 1.1, after (9)] The sentence 'By (9), it follows that dA(w1)>=1' does not follow from dA(w1)<=|A|-1 alone; in the context it relies on the earlier observation that NA(w1) is nonempty because G* is non-bipartite. That earlier observation should be restated or the implication clarified.
- [Throughout] There are several typographical issues: for example, 'G Tn,2' appears for non-isomorphism symbols in the abstract and introduction, and 'outplanar' in the introduction should be 'outerplanar'. These do not affect the mathematics.
- [Lemma 2.5, even n case] The line 'f((n-2)/2, n/2, r, (n-1)/2 - 1/(4(n-1))) < 0' is asserted without showing the computation. The inequality is believable and consistent with the subsequent bound, but a short verification would help the reader.
Circularity Check
No circularity: the theorem is derived from external inequalities and equitable-quotient computations; the flagged 5-cycle inference is a correctness concern, not a circular reduction.
full rationale
The paper's central claim is a spectral Turan-type upper bound with a uniquely characterized extremal graph. The candidate K^{r,r} is constructed directly, its spectral radius is computed from an equitable partition in Lemma 2.4, and the required lower bounds are derived by evaluating the resulting characteristic polynomial in Lemma 2.5. The upper-bound side is driven by the Chvatal-Hanson lemma, the Wu-Xiao-Hong Perron-vector edge-swap lemma, and the quotient-matrix spectral lemma, all of which are standard external results and are not restatements of the target theorem. No parameter is fitted to a subset of the extremal data and then renamed as a prediction: the extremal graph is not inferred from spectral measurements but is the output of structural contradictions. Prior theorems by Zhai-Lin and Lin-Ning-Wu are used only as motivational context and do not carry the proof. The one passage worth flagging is in Theorem 3.11, Case 1.1, where the proof asserts that if G' is bipartite then every odd cycle of G* must be a 5-cycle; a 7-cycle may exist under the stated local hypotheses, so this appears to be a possible correctness gap in the manuscript rather than a circular step. Because a mathematical error of that kind is not an equivalence-by-construction, self-citation, or fitted-input reduction, it does not raise the circularity score. None of the seven enumerated circularity patterns occurs in the derivation.
Assumptions & free parameters
assumptions (5)
- standard math Chvátal-Hanson bound: f(ν,Δ) ≤ ν(Δ+1) for all positive integers ν,Δ
- standard math Perron-Frobenius spectral radius and Perron vector properties
- standard math Lemma 2.2 (Wu-Xiao-Hong): edge rotation increases spectral radius when Perron entry of target vertex is at least source
- standard math Equitable quotient matrix lemma: largest eigenvalue of nonnegative irreducible symmetric matrix equals largest eigenvalue of equitable quotient
- domain assumption Existence and edge-maximality of an extremal graph on the finite set of n-vertex graphs
Cite this review
Pith. "Pith review of Spectral Tur\'{a}n problem of non-bipartite graphs: Forbidden books." pith.science (2026). https://pith.science/paper/R6D3HBCK
@misc{pith2026250604884,
author = {Pith},
title = {Pith review of: Spectral Tur\'an problem of non-bipartite graphs: Forbidden books},
year = {2026},
howpublished = {\url{https://pith.science/paper/R6D3HBCK}},
note = {Machine review of arXiv:2506.04884}
}
abstract
A book graph $B_{r+1}$ is a set of $r+1$ triangles with a common edge, where $r\geq0$ is an integer. Zhai and Lin [J. Graph Theory 102 (2023) 502-520] proved that for $n\geq\frac{13}{2}r$, if $G$ is a $B_{r+1}$-free graph of order $n$, then $\rho(G)\leq\rho(T_{n,2})$, with equality if and only if $G\cong T_{n,2}$. Note that the extremal graph $T_{n,2}$ is bipartite. Motivated by the above elegant result, we investigate the spectral Tur\'{a}n problem of non-bipartite $B_{r+1}$-free graphs of order $n$. For general $r\geq1$, let $K_{\lfloor\frac{n-1}{2}\rfloor,\lceil\frac{n-1}{2}\rceil}^{r, r}$ be the graph obtained from $K_{\lceil\frac{n-1}{2}\rceil,\lfloor\frac{n-1}{2}\rfloor}$ by adding a new vertex $v_{0}$ such that $v_{0}$ has exactly $r$ neighbours in each part of $K_{\lceil\frac{n-1}{2}\rceil,\lfloor\frac{n-1}{2}\rfloor}$. By adopting a different technique named the residual index, Chv\'{a}tal-Hanson theorem and typical spectral extremal methods, we in this paper prove that: If $G$ is a non-bipartite $B_{r+1}$-free graph of order $n$, then $\rho(G)\leq\rho\Big(K_{\lfloor\frac{n-1}{2}\rfloor,\lceil\frac{n-1}{2}\rceil}^{r, r}\Big)$ , with equality if and only if $G\cong K_{\lfloor\frac{n-1}{2}\rfloor,\lceil\frac{n-1}{2}\rceil}^{r, r}$. An interesting phenomenon is that the spectral extremal graphs are completely different for $r=0$ and general $r\geq1$.
Figures
Figures from the paper (3 more)
Reference graph
Works this paper leans on
-
[1]
Brouwer, W.H
A.E. Brouwer, W.H. Haemers, Spectra of Graphs, Springer, Berlin, 2011
2011
-
[2]
M.-Z. Chen, A.-M. Liu, X.-D. Zhang, Spectral extremal results with forbidding linear forests, Graphs Combin. 35 (2019) 335–351
work page 2019
-
[3]
M.-Z. Chen, A.-M. Liu, X.-D. Zhang, The spectral radius of minor-free graphs, European J. Combin. 40 (2024) 370–381
work page 2024
-
[4]
V . Chv´atal, D. Hanson, Degrees and matchings, J. Combin. Theory Ser. B20 (1976) 128–138
work page 1976
-
[5]
S. Cioab ˘a, D.N. Desai, M. Tait, The spectral radius of graphs with no odd wheels, European J. Combin. 99 (2022) 103420
work page 2022
-
[6]
S. Cioab ˘a, D.N. Desai, M. Tait, The spectral even cycle problem,Combin. Theory 4 (2024) 10
work page 2024
-
[7]
S. Cioab ˘a, D.N. Desai, M. Tait, A spectral Erd ˝os-S´os theorem, SIAM J. Discrete Math. 37 (2023) 2228–2239
work page 2023
-
[8]
S. Cioab ˘a, L.H. Feng, M. Tait, X.-D. Zhang, The maximum spectral radius of graphs without friendship subgraphs, Electron. J. Combin. 27 (2020) P4.22
work page 2020
Show all 50 references
-
[9]
Desai, L.Y
D.N. Desai, L.Y . Kang, Y .T. Li, Z.Y . Ni, M. Tait, J. Wang, Spectral extremal graphs for intersecting cliques, Linear Algebra Appl. 644 (2022) 234–258
2022
-
[10]
Erd ˝os, On a theorem of Rademacher-Tur´an, Illinois J
P. Erd ˝os, On a theorem of Rademacher-Tur´an, Illinois J. Math. 6 (1962) 122–127
1962
-
[11]
Erd ˝os, R
P. Erd ˝os, R. Faudree, E. Gy ¨ori, On the book size of graphs with large minimum degree, Studia Sci. Math. Hungar. 30 (1995) 25–46
1995
-
[12]
Erd ˝os, R
P. Erd ˝os, R. Faudree, C. Rousseau, Extremal problems and generalized degrees, Graph Theory and Applications (Hakone, 1990), Discrete Math. 127 (1994) 139– 152. 23
1994
-
[13]
L.F. Fang, M. Tait, M.Q. Zhai, Tur ´an numbers for non-bipartite graphs and applications to spectral extremal problems, arXiv:2404.09069, 2024
2024 arXiv
-
[14]
F ¨uredi, M
Z. F ¨uredi, M. Simonovits, The history of degenerate (bipartite) extremal graph problems, The Erd˝ os Centennial, in: Bolyai Soc. Studies25 (2013) 167–262
2013
-
[15]
He, Y .T
X.C. He, Y .T. Li, L.H. Feng, Spectral extremal graphs without intersecting triangles as a minor, Electron. J. Combin. 31 (2024) P3.7
2024
-
[16]
Gao, X.M
J. Gao, X.M. Hou, The spectral radius of graphs without long cycles,Linear Algebra Appl. 566 (2019) 17–33
2019
-
[17]
Guo, H.Q
H.T. Guo, H.Q. Lin, Y .H. Zhao, A spectral condition for the existence of a pentagon in non-bipartite graphs, Linear Algebra Appl. 627 (2021) 140–149
2021
-
[18]
Godsil, G
C. Godsil, G. Royle, Algebraic Graph Theory, Graduate Texts in Mathematics, vol. 207, Springer-Verlag, New York, 2001
2001
-
[19]
Khad ˇZiivanov, V
N. Khad ˇZiivanov, V . Nikiforov, Solution of a problem of P. Erd ˝os about the maximum number of triangles with a common edge in a graph, C. R. Acad. Bulgare Sci. 32 (1979) 1315–1318 (in Russian)
1979
-
[20]
Lei, S.C
X.Y . Lei, S.C. Li, Spectral extremal problem on disjoint color-critical graphs, Electron. J. Combin. 31 (2024) P1.25
2024
-
[21]
S.C. Li, W.T. Sun, Y .T. Yu, Adjacency eigenvalues of graphs without short odd cycles, Discrete Math. 345 (2022) 112633
2022
-
[22]
Y .T. Li, W.J. Liu, L.H. Feng, A survey on spectral conditions for some extremal graph problems, Adv. Math. (China) 51 (2022) 193–258
2022
-
[23]
Li, Y .J
Y .T. Li, Y .J. Peng, The spectral radius of graphs with no intersecting odd cycles, Discrete Math. 345 (2022) 112907
2022
-
[24]
Li, Y .J
Y .T. Li, Y .J. Peng, Refinement on spectral Tur´an’s theorem, SIAM J. Discrete Math. 37 (2023) 2462–2485
2023
-
[25]
Lin, H.T
H.Q. Lin, H.T. Guo, A spectral condition for odd cycles in non-bipartite graphs, Linear Algebra Appl. 631 (2021) 83–93
2021
-
[26]
H.Q. Lin, B. Ning, A complete solution to the Cvetkovi ´c-Rowlinson conjecture, J. Graph Theory 97 (2021) 441–450
2021
-
[27]
H.Q. Lin, B. Ning, B. Wu, Eigenvalues and triangles in graphs, Comb. Probab. Comput. 30 (2021) 258–270
2021
-
[28]
Lin, M.Q Zhai, Y .H
H.Q. Lin, M.Q Zhai, Y .H. Zhao, Spectral radius, edge-disjoint cycles and cycles of the same length, Electron. J. Combin. 29 (2022) P2.1
2022
-
[29]
L.L. Liu, B. Ning, Spectral Tur ´an-type problems on sparse spanning graphs, arXiv:2307.14629, 2023. 24
2023
-
[30]
Mantel, Problem 28, soln
W. Mantel, Problem 28, soln. by H. Gouventak, W. Mantel, J. Teixeira de Mattes, F. Schuh and W.A. Wythoff, Wiskundige Opgaven, 10 (1907) 60–61
1907
-
[31]
Nikiforov, Bounds on graph eigenvalues II, Linear Algebra Appl
V . Nikiforov, Bounds on graph eigenvalues II, Linear Algebra Appl. 427 (2007) 183–189
2007
-
[32]
Nikiforov, A spectral condition for odd cycles in graphs, Linear Algebra Appl
V . Nikiforov, A spectral condition for odd cycles in graphs, Linear Algebra Appl. 428 (2008) 1492–1498
2008
-
[33]
Nikiforov, Spectral saturation: Inverting the spectral Tur´an theorem, Electron
V . Nikiforov, Spectral saturation: Inverting the spectral Tur´an theorem, Electron. J. Combin. 16 (2009) R33
2009
-
[34]
Nikiforov, The spectral radius of graphs without paths and cycles of specified length, Linear Algebra Appl
V . Nikiforov, The spectral radius of graphs without paths and cycles of specified length, Linear Algebra Appl. 432 (2010) 2243–2256
2010
-
[35]
Nikiforov, On a theorem of Nosal, arXiv:2104.12171, 2021
V . Nikiforov, On a theorem of Nosal, arXiv:2104.12171, 2021
2021 arXiv
-
[36]
Nikiforov, C.C
V . Nikiforov, C.C. Rousseau, A note on Ramsey numbers for books,J. Graph Theory 49 (2005) 168–176
2005
-
[37]
Z.Y . Ni, J. Wang, L.Y . Kang, Spectral extremal graphs for disjoint cliques,Electron. J. Combin. 30 (2023) P1.20
2023
-
[38]
Rousseau, J
C.C. Rousseau, J. Sheehan, On Ramsey numbers for books, J. Graph Theory 2 (1978) 77–87
1978
-
[39]
M. Tait, J. Tobin, Three conjectures in extremal spectral graph theory, J. Combin. Theory Ser. B 126 (2017) 137–161
2017
-
[40]
Tait, The Colin de Verdi ´ere parameter, excluded minors, and the spectral radius, J
M. Tait, The Colin de Verdi ´ere parameter, excluded minors, and the spectral radius, J. Combin. Theory Ser. A166 (2019) 42–58
2019
-
[41]
Tur ´an, On an extremal problem in graph theory, Mat
P. Tur ´an, On an extremal problem in graph theory, Mat. Fiz. Lapok 48 (1941) 436– 452 (in Hungarian)
1941
-
[42]
Wang, L.Y
J. Wang, L.Y . Kang, Y .S. Xue, On a conjecture of spectral extremal problems, J. Combin. Theory Ser. B 159 (2023) 20–41
2023
-
[43]
Wilf, Spectral bounds for the clique and indendence numbers of graphs, J
H. Wilf, Spectral bounds for the clique and indendence numbers of graphs, J. Combin. Theory Ser. B 40 (1986) 113–117
1986
-
[44]
B.F. Wu, E.L. Xiao, Y . Hong, The spectral radius of trees on k pendant vertices, Linear Algebra Appl. 395 (2005) 343–349
2005
-
[45]
Zhai, L.F
M.Q. Zhai, L.F. Fang, H.Q. Lin, Eigenvalues and graph minors, arXiv:2404.13389, 2024
2024
-
[46]
Zhai, H.Q
M.Q. Zhai, H.Q. Lin, Spectral extrema of graphs: forbidden hexagon, Discrete Math. 343 (2020) 112028
2020
-
[47]
Zhai, H.Q
M.Q. Zhai, H.Q. Lin, Spectral extrema of Ks,t-minor free graphs-on a conjecture of M. Tait, J. Combin. Theory Ser. B157 (2022) 184–215. 25
2022
-
[48]
Zhai, H.Q
M.Q. Zhai, H.Q. Lin, A strengthening of the spectral chromatic critical edge theorem: Books and theta graphs, J. Graph Theory 102 (2023) 502–520
2023
-
[49]
Zhai, H.Q
M.Q. Zhai, H.Q. Lin, J.L. Shu, Spectral extrema of graphs with fixed size: Cycles and complete bipartite graphs, European J. Combin. 95 (2021) 103322
2021
-
[50]
Zhang, Y .H
Z.Y . Zhang, Y .H. Zhao, A spectral condition for the existence of cycles with consecutive odd lengths in non-bipartite graphs,Discrete Math. 346 (2023) 113365
2023
Reviewed August 7, 2026 · model on record in the stance chip above.
Discussion (0). Sign in to comment.