REVIEW 2 major objections 4 minor 1 cited by
Spectral Tur\'an-type problem in non-$r$-partite graphs: Forbidden generalized book graph $B_{r,k}$
T0 review · 2 major / 4 minor · reviewed 2026-08-15 · deepseek-v4-flash
Pith's one-line read For large $n$, the unique spectral extremal among non-$r$-partite $B_{r,k}$-free graphs is $Y_r(n)$, the Turán graph with one extra internal edge and deleted cross edges.
desk verdict Theorem is new and likely correct; the reported gap in Lemma 3.11 dissolves on inspection, though the paper is dense. 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 the candidate graph $Y_r(n)$, a one-edge perturbation of the Turán graph, and the argument is carried by three mechanisms working together. The spectral stability lemma places any extremal graph within $O(\varepsilon n^2)$ edges of $T_r(n)$. The Perron-vector edge-switch inequality shows that moving an edge from a vertex with smaller Perron coordinate to a vertex with larger coordinate strictly increases the spectral radius, and repeated use of this switch pins down the local structure. The local-structure lemmas use Rayleigh quotients and the characteristic equation of the quotient matrix (the averaged block matrix for an equitable partition) for $Y_r(n)$ to force the unique internal edge, the universality of its neighbours, and the final no-common-neighbour condition.
What would settle it
Take $r=3$, $k=1$ and a moderately large $n$ (say $n=30$), compute the Perron vector of the candidate $Y_3(n)$, and check the Rayleigh-quotient inequality in Lemma 3.11 for a neighbour $u_s$ of the internal edge whose non-neighbour $w$ is the other endpoint $v$ of that edge: if deleting $v$ makes the graph 3-partite, the claimed positive gain $2x_{u_s}(x_w-x_u)/x^{\top}x$ cannot be justified, exposing the missing case. A full exhaustive search over all non-3-partite $B_{3,1}$-free graphs at small $n$ would then show whether any graph with two internal edges actually beats $Y_3(n)$ in spectral radius.
Extended reading notes
Core claim
Theorem 1.5 states that if $r\ge 3$, $k\ge 1$, and $n$ is sufficiently large, then every non-$r$-partite $B_{r,k}$-free graph $G$ of order $n$ satisfies $\rho(G)\le \rho(Y_r(n))$, with equality if and only if $G$ is isomorphic to $Y_r(n)$. The extremal graph $Y_r(n)$ is the unique non-$r$-partite spectral extremal: it is the Turán graph $T_r(n)$ with one edge $uv$ added inside one part and $\lfloor n/r\rfloor-1$ cross edges deleted from $u$ to another part plus one cross edge deleted from $v$ to that part, arranged so that $u$ and $v$ have no common neighbour in that part. The proof shows that any extremal graph must be close to $T_r(n)$, then forces all internal edges to shrink to a single edge $uv$, forces every other vertex to be adjacent to all vertices outside its own part, and finally uses the no-common-neighbour condition to identify the graph as $Y_r(n)$.
Load-bearing premise
The load-bearing step in the local-structure proof assumes that deleting any vertex outside the neighbourhood of a chosen neighbour $u_s$ leaves the graph non-$r$-partite; this can fail when the deleted vertex is the other endpoint of the unique internal edge, because then the remaining graph becomes $r$-partite and the Perron-vector lower-bound lemma cannot be applied.
Editorial extensions
If this is right
- For every $r\ge 3$, $k\ge 1$, and sufficiently large $n$, the set $\mathrm{SPEX}_{r+1}(n,B_{r,k})$ contains exactly one graph, namely $Y_r(n)$.
- Because $Y_r(n)$ is also the edge-extremal graph found in [38], the inclusion $\mathrm{SPEX}_{r+1}(n,B_{r,k})\subseteq \mathrm{EX}_{r+1}(n,B_{r,k})$ holds for generalized book graphs, adding evidence for the general containment problem.
- The explicit lower bound $\rho(Y_3(n))>\frac{2}{3}n-\frac{7}{12}$ for $r=3$, together with the $r\ge 4$ analogue, gives a concrete spectral threshold that any non-$r$-partite $B_{r,k}$-free graph must exceed to be extremal.
- The result resolves the spectral version (Problem 2 of [38]) for the whole family $B_{r,k}$ with $r\ge 3$ and $k\ge 1$, complementing the book case $r=2$ handled in [20].
Reading between the lines
- The 'one internal edge plus deleted cross edges' template may be the extremal pattern for every color-critical forbidden graph $H$ whose edge extremal graph is $T_r(n)$ plus $O(1)$ edges, since the structural forcing in the proof uses only color-criticality and the absence of the book.
- An exhaustive spectral-radius search over all non-3-partite $B_{3,1}$-free graphs with small $n$ (say 20 to 40) could determine how large 'sufficiently large' must be in Theorem 1.5, and would test the sharpness of the $Y_3(n)$ construction.
- If the same stability-and-local-structure argument is applied to other color-critical $H$, it may yield a general principle: the non-$r$-partite spectral extremal is obtained from the Turán graph by adding a single edge in a part whose endpoints have no common neighbour in the part where cross edges are deleted.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies the spectral Turán problem for non-r-partite graphs avoiding the generalized book graph B_{r,k} = K_r ∨ kK_1, with r ≥ 3 and k ≥ 1. The main result, Theorem 1.5, asserts that for sufficiently large n, the unique n-vertex non-r-partite B_{r,k}-free graph maximizing the spectral radius is Y_r(n), obtained from the Turán graph T_r(n) by adding one edge inside a part and deleting a set of cross edges so that the endpoints of the new edge have no common neighbor in one of the other parts. The proof uses the spectral stability lemma of Nikiforov and Wang–Kang–Xue, Perron–Frobenius theory, Rayleigh quotient comparisons, and a sequence of local structural lemmas (Lemmas 3.1–3.12), culminating in a comparison with a graph from Li and Peng's Lemma 2.8. The paper also discusses connections to the relationship between spectral extremal and edge-extremal graphs and poses several problems.
Significance. If correct, Theorem 1.5 is a natural and nontrivial extension of recent results by Li–Peng (B_{r,1}), Liu–Miao (B_{2,k}), and Lin–Ning–Wu (B_{2,1}), and it partially resolves Problem 2 of Yu–Li for generalized book graphs. The extremal graph Y_r(n) is explicitly described and the claimed extremal value is concrete and falsifiable. The paper uses standard and appropriate tools: spectral stability, Perron-Frobenius bounds, equitable partitions, and Rayleigh quotient edge-shifts. A particular strength is that the proof attempts a full characterization, including uniqueness, rather than only a spectral bound. However, the written proof contains a load-bearing gap: several local edge-shift operations are asserted to preserve B_{r,k}-freeness without proof, and this assertion is not immediate and is used essentially in Claim 2 of Lemma 3.11 and again in Lemma 3.12 and the final step of Theorem 1.5.
major comments (2)
- [Lemma 3.11, Claim 2] The sentence 'Clearly, G' is non-r-partite and B_{r,k}-free' is the load-bearing step of the claim, but the B_{r,k}-freeness assertion is not proved. The non-r-partite part is correct: G' - u_s = G - u_s, and G - u_s is non-r-partite because d_{V_1}(u) ≥ 2. However, adding all missing edges from u_s to the other parts can complete a new copy of B_{r,k}. For instance, if the missing neighbor w is an internal neighbor of u, then the new edge u_s w, together with the internal edge u w, one vertex from each other part except one, and k vertices in the skipped part, can form a B_{r,k} that was not present in G. The fact that G is B_{r,k}-free does not rule this out, because the edge u_s w was absent in G. This step is essential: Claim 2 is used to derive d_{V_s}(u) ≤ k-1 in Claim 3, and hence the contradiction d(u) ≤ r(k-1) with Lemma 3.9. Please supply a complete proof that this shift preserves B_{r,k}-freeness, or replace it with a shift whose B-freeness can be verified.
- [Lemma 3.12, Claims 4 and 5, and final proof of Theorem 1.5] The same unproved B_{r,k}-freeness appears in the operations that add an edge vw (Claim 5) or move an edge from u to v (the final 's = 1' step). These operations are used to establish the degree bounds (3.5)-(3.10) and the conclusion that d_{V_2}(u) = 1, which in turn gives the subgraph relation G ⊆ K^1_{|V_1|,...,|V_r|}. Since a new copy of B_{r,k} in the shifted graph would invalidate the contradiction, the proof is not self-contained at these points. The authors should state and prove a general lemma that, under the hypotheses of the respective claims, the local operations used in Claim 2 of Lemma 3.11, Claim 4 and Claim 5 of Lemma 3.12, and the final edge-move all preserve B_{r,k}-freeness.
minor comments (4)
- [Lemma 3.11, Claim 2] The specific concern that G-w might be r-partite when w is the partner of a unique internal edge does not land inside Claim 2: there the hypothesis is sum_i e(V_i) ≥ 2 and L = {u}, so deleting any vertex w ≠ u leaves an internal edge and G-w is non-r-partite. The unique-edge situation arises only later, in Lemma 3.12, where the chosen vertices u_s are adjacent to both u and v. It would help to state this explicitly in the proof.
- [Lemma 3.12, Case 2] After constructing G'', the displayed Rayleigh quotient inequality uses ρ(G') instead of ρ(G''); this is a typo and should be corrected.
- [Lemma 3.2] The quotient matrix B is displayed without stating the ordering of the six blocks; for reproducibility, please specify the ordering (e.g., {v}, {u}, {w}, V_1\{v}, V_2\{u,w}, V_3).
- [Lemma 3.7] The assertion that the shifted graph G' − {uv : v ∈ N_G(u)} + {uw : w ∈ N_G(z)\L} is B_{r,k}-free also deserves a one-line justification; in this case it can be proved by replacing u by z in any new copy, since u's new neighbors are a subset of N_G(z)\L.
Circularity Check
No circularity found; the spectral extremal proof rests on external stability lemmas and the independent comparison Lemma 2.8.
full rationale
The derivation of Theorem 1.5 is self-contained against external benchmarks. The proof combines Nikiforov's spectral stability result (Lemma 2.1), Rayleigh-quotient and Perron-Frobenius arguments (Lemmas 2.2, 2.5, 2.6), and the independent comparison lemma of Li and Peng (Lemma 2.8), which bounds the structural graph obtained at the end of Section 3 by the candidate extremal graph Y_r(n). No parameter is fitted to the target spectral radius, and Y_r(n) is not defined in terms of rho(G) or in terms of the extremal graph being characterized. The authors' own prior work [38] is used only to pose Problems 1 and 2 and to compare the edge extremal and spectral extremal sets in Section 4; it is not a load-bearing input to the proof of Theorem 1.5. The reader-identified concern about Lemma 3.11, Claim 2 is a possible proof-gap or correctness issue, not a circularity: the lower bound in Lemma 3.7 would be invoked as a support, not as a restatement of the theorem itself. Thus no specific reduction of a claimed result to its own inputs can be quoted, and the paper exhibits no significant circularity.
Assumptions & free parameters
assumptions (5)
- standard math Simonovits' theorem for color-critical graphs (Theorem 1.2) determines the edge extremal graph for B_{r,k}.
- standard math The spectral stability lemma (Lemma 2.1, from Wang-Kang-Xue) says an H-free graph with spectral radius close to the Turan threshold is within epsilon n^2 edge edits of T_r(n).
- standard math Perron-Frobenius theorem, Rayleigh quotient, and equitable quotient matrix results for adjacency matrices.
- standard math Lemma 2.8 from Li and Peng bounds the spectral radius of the perturbed Turan-type graph and identifies Y_r(n) as the extremal graph among that class.
- domain assumption The constructed graph Y_r(n) is non-r-partite and B_{r,k}-free.
Cite this review
Pith. "Pith review of Spectral Tur\'an-type problem in non-$r$-partite graphs: Forbidden generalized book graph $B_{r,k}$." pith.science (2026). https://pith.science/paper/DMCZBEJF
@misc{pith2026250812034,
author = {Pith},
title = {Pith review of: Spectral Tur\'an-type problem in non-$r$-partite graphs: Forbidden generalized book graph $B_r,k$},
year = {2026},
howpublished = {\url{https://pith.science/paper/DMCZBEJF}},
note = {Machine review of arXiv:2508.12034}
}
abstract
Given a graph $H$, a graph is said to be $H$-free if it does not contain $H$ as a subgraph. A graph is color-critical when it has an edge whose removal leads to a reduction in its chromatic number. For a graph $H$ with a chromatic number of \(r + 1\), we use \(\text{spex}_{r + 1}(n, H)\) to represent the maximum spectral radius among non-$r$-partite $H$-free graphs of order $n$. The set of all non-$r$-partite $H$-free graphs of order $n$ that have a spectral radius of \(\text{spex}_{r + 1}(n, H)\) is denoted as \(\text{SPEX}_{r + 1}(n, H)\). For \(r\geq2\) and \(k\geq1\), we define \(B_{r,k}\) as the graph constructed by connecting each vertex of \(K_r\) to every vertex of an independent set with size $k$. We refer to \(B_{r,k}\) as a book graph (in the case of \(r = 2\)) or a generalized book graph (when \(r\geq3\)). It should be noted that \(B_{r,k}\) is a color-critical graph with a chromatic number of \(r + 1\). Lin, Ning, and Wu (2021) identified the unique extremal graph within \(\text{SPEX}_3(n, B_{2,1})\); Li and Peng (2023) determined the unique extremal graph in \(\text{SPEX}_{r + 1}(n, B_{r,1})\) for all \(r\geq2\). Quite recently, Liu and Miao (2025) specified the unique extremal graph in \(\text{SPEX}_3(n, B_{2,k})\) for all \(k\geq2\). Inspired by these remarkable results, this paper, relying on spectral stability theory, local structure characterization, along with the theory of characteristic equations and Rayleigh quotient equations, aims to determine the unique extremal graph in \(\text{SPEX}_{r + 1}(n, B_{r,k})\) for \(r\geq3\), \(k\geq1\), and sufficiently large $n$. This work partially addresses an open problem put forward in [38].
Forward citations
Cited by 1 Pith paper
-
A reduction principle for non-$r$-partite spectral extremal problems, with a complete multipartite classification
Under s-embeddability and ex_{r+1}(n,F)=|E(T_{n,r})|-⌊n/r⌋+O(1), spectral extremal non-r-partite F-free graphs are edge extremal; for F=K_{1,1,t_3,...,t_{r+1}} the exact count is |E(T_{n,r})|-⌊n/r⌋+2(t_min-1).
Reference graph
Works this paper leans on
-
[38]
Y.T. Yu, S.C. Li, The exact Tur´ an number of generalized book graph Br,k in non-r-partite graphs, arXiv:2508.07533v1[math.CO]
-
[1]
K. Amin, J. Faudree, R.J. Gould, E. Sidorowicz, On the non-( p− 1)-partite Kp-free graphs, Discuss. Math. Graph Theory 33 (2013) 9–33
work page 2013
-
[2]
Bollob´ as, Modern Graph Theory, Springer Science & Business Media, 1998
B. Bollob´ as, Modern Graph Theory, Springer Science & Business Media, 1998
work page 1998
-
[3]
Caccetta, R.-Z
L. Caccetta, R.-Z. Jia, Edge maximal non-bipartite graphs without odd cycles of prescribed lengths, Graphs Combin. 18 (1) (2002) 75–92
2002
- [4]
-
[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, L.H. Feng, M. Tait, X.-D. Zhang, The maximum spectral radius of graphs without friendship subgraphs, Electron. J. Combin. 27 (4) (2020), # 4.22, 19 pp
work page 2020
-
[7]
Erd˝ os, Some theorems on graphs, Riveon Lematematika 9 (1955) 13–17
P. Erd˝ os, Some theorems on graphs, Riveon Lematematika 9 (1955) 13–17
work page 1955
Show all 39 references
-
[8]
L.F. Fang, M. Tait, M.Q. Zhai, Decomposition family and spectral extremal problems on non-bipartite graphs, Discrete Math. 346 (2025) 114527
2025
-
[9]
F¨ uredi, M
Z. F¨ uredi, M. Simonovits, The history of degenerate (bipartite) extremal graph problems, Erd˝ os cen- tennial, Bolyai Soc. Math. Stud. 25 (2013) 169–264
2013
-
[10]
Godsil, G
C. Godsil, G. Royle, Algebraic Graph Theory. vol. 207 of Graduate Texts in Mathematics, Springer- Verlag, New York, 2001
2001
-
[11]
Godsil, Algebraic Combinatorics, Chapman & Hall, New York, 1993
C.D. Godsil, Algebraic Combinatorics, Chapman & Hall, New York, 1993
1993
-
[12]
Hao, S.C
Y.F. Hao, S.C. Li, Tur´ an-type problems on [a,b ]-factors of graphs, and beyond, Electron. J. Combin. 31(3) (2024), # 3.23, 24 pp
2024
-
[13]
M. Kang, O. Pikhurko, Maximum Kr+1-free graphs which are not r-partite, Mat. Stud. 24 (1) (2005) 12–20
2005
-
[14]
Lei, S.C
X.Y. Lei, S.C. Li, Spectral extremal problem on disjoint color-critical graphs, Electron. J. Combin. 31 (1) (2024), #1.25, 19 pp
2024
-
[15]
S.C. Li, S.S. Zhao, L.T. Zou, Spectral extrema of graphs with fixed size: forbidden fan graph, friendship graph or theta graph, J. Graph Theory, https://doi.org/10.1002/jgt.23287
-
[16]
Y.T. Li, W.J. Liu, L.H. Feng, A survey on spectral conditions for some extremal graph problems, Adv. Math. (in Chinese) 51 (2) (2022) 193–258. 21
2022
-
[17]
Y.T. Li, Y.J. Peng, Refinement on spectral Tur´ an’s Theorem, SIAM J. Discrete Math. 37 (4) (2023) 2462–2485
2023
-
[18]
H.Q. Lin, B. Ning, B.Y.D.R. Wu, Eigenvalues and triangles in graphs, Combin. Probab. Comput. 30 (2) (2021) 258–270
2021
-
[19]
L.L. Liu, B. Ning, Spectral Tur´ an-type problems on sparse spanning graphs, arXiv:2307.14629v1, 2023
2023
-
[20]
R.F. Liu, L. Miao, Spectral Tur´ an problem of non-bipartite graphs: forbidden books, European J. Combin. 126 (2025) 104136
2025
-
[21]
Mantel, Problem 28, Solution by H
W. Mantel, Problem 28, Solution by H. Gouwentak, W. Mantel, J. Teixeira de Mattes, F. Schuh and W. A. Wythoff , Wiskundige Opgaven 10 (1907) 60–61
1907
-
[22]
Nikiforov, Some inequalities for the largest eigenvalue of a graph
V. Nikiforov, Some inequalities for the largest eigenvalue of a graph. Combin. Probab Comput., 11(2) (2002) 179–189
2002
-
[23]
Nikiforov, Bounds on graph eigenvalues II, Linear Algebra Appl
V. Nikiforov, Bounds on graph eigenvalues II, Linear Algebra Appl. 427 (2007) 183–189
2007
-
[24]
Nikiforov, Spectral saturation: inverting the spectral Tur´ an theorem
V. Nikiforov, Spectral saturation: inverting the spectral Tur´ an theorem. Electron. J. Combin. 16 (1) (2009) Research Paper 33, 9 pp
2009
-
[25]
Nikiforov, Stability for large forbidden subgraphs, J
V. Nikiforov, Stability for large forbidden subgraphs, J. Graph Theory 62 (4) (2009) 362–368
2009
-
[26]
Nikiforov, Some new results in extremal graph theory: In surveys in Combinatorics 2011, London Math
V. Nikiforov, Some new results in extremal graph theory: In surveys in Combinatorics 2011, London Math. Society Lecture Note Ser. 392 (2011) 141–181
2011
-
[27]
Nikiforov, On a theorem of Nosal, 2021, arXiv:2104.12171
V. Nikiforov, On a theorem of Nosal, 2021, arXiv:2104.12171
2021 arXiv
-
[28]
E. Nosal. Eigenvalues of graphs. Master’s thesis, University of Calgary, 1970
1970
-
[29]
S.J. Ren, J. Wang, S.P. Wang, W.H. Yang, A stability result for C2k+1-free graphs, SIAM J. Discrete Math. 38 (2) (2024) 1733–1756
2024
-
[30]
Simonovits, A method for solving extremal problems in graph theory, stability problems, Academic Press, New York-London (1968) 279–319
M. Simonovits, A method for solving extremal problems in graph theory, stability problems, Academic Press, New York-London (1968) 279–319
1968
-
[31]
Simonovits, Extermal graph problems with symmetrical extremal graphs
M. Simonovits, Extermal graph problems with symmetrical extremal graphs. Additional chromatic conditions, Discrete Math. 7 (1974) 349–376
1974
-
[32]
Sun, K.C
S.W. Sun, K.C. Das, A conjecture on spectral radius of graphs, Linear Algebra Appl. 588 (2020) 74–80
2020
-
[33]
Wang, Private communication
B. Wang, Private communication
-
[34]
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
-
[35]
Wang, L.Y
J. Wang, L.Y. Kang, Y.S. Xue, On a conjecture of spectral extremal problems, J. Comb. Theory Ser. B 159 (2023) 20–41
2023
-
[36]
Wilf, Spectral bounds for the clique and independence numbers of graphs, J
H.S. Wilf, Spectral bounds for the clique and independence numbers of graphs, J. Comb. Theory Ser. B 40 (1986) 113–117
1986
-
[37]
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
-
[39]
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 (6) (2023) 113365. 22
2023
Reviewed August 15, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.