{"id":"arxiv/2603.26379","url":"https://arxiv.org/abs/2603.26379","tags":["math.CO"],"score":0,"title":"The Bollobás--Nikiforov Conjecture for Complete Multipartite Graphs and Dense $K_4$-Free Graphs","domain":"math.CO","source":"arxiv","authors":["Piero Giacomelli"],"reviews":0,"subject":"math.CO","summary":"The Bollobás--Nikiforov conjecture asserts that for any graph $G \\neq K_n$ with $m$ edges and clique number $ω(G)$, \\[ λ_1^2(G) + λ_2^2(G) \\;\\leq\\; 2\\!\\left(1 - \\frac{1}{ω(G)}\\right)m, \\] where $λ_1(G) \\geq λ_2(G) \\geq \\cdots \\geq λ_n(G)$ are the adjacency eigenvalues of $G$. We prove the conjecture for all complete multipartite graphs $K_{n_1,\\ldots,n_r}$ with $n_1 + \\cdots + n_r > r$. The proof computes the full spectrum via a secular equation, establishes that $λ_2 = 0$ whenever the graph has more vertices than parts, and then applies Nikiforov's spectral Turán theorem; equality holds if…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-03-27","reactions":{}}