Abstract:We investigate two conjectured spectral graph theoretic strengthenings of Turán's theorem. Let $\mu_1 \ge \ldots \ge \mu_n$ denote the eigenvalues of a graph $G$ with $n$ vertices, $m$ edges and clique number $\omega(G)$. The concise version of Turán's theorem is that $n/(n - d)$ is a lower bound for the clique number $\omega(G)$, where $d$ is the average degree. Our first conjecture is that $d$ can be replaced in this bound with $\sqrt{s^+}$, where $s^+$ is the sum of the squares of the positive eigenvalues. We prove this conjecture for triangle-free, weakly perfect and Kneser graphs and for almost all graphs. We have also used various software tools to search for a counter-example. Nikiforov proved a spectral version of Turán's theorem that \[ \mu_1^2 \le \frac{2m(\omega(G) - 1)}{\omega(G)}, \] and Bollobás and Nikiforov conjectured that for $G \not = K_n$ \[ \mu_1^2 + \mu_2^2 \le \frac{2m(\omega(G) - 1)}{\omega(G)}. \] For our second conjecture, we propose that for all graphs $(\mu_1^2 + \mu_2^2)$ in this inequality can be replaced by the sum of the squares of the $\omega(G)$ largest eigenvalues, provided they are positive. We prove the conjecture for weakly perfect, Kneser, and classes of strongly regular graphs. We also provide experimental evidence and describe how the bound can be applied. Liu and Ning published a wide-ranging paper entitled ``Unsolved Problems in spectral graph theory'', and these two conjectures were placed second and fourth in their list of such problems.

Two conjectures on strong embeddings and 2-isomorphism for graphs

Strong Embeddings and $2$-Isomorphism

Strong embeddings and -isomorphism

Mathematical Results Inspired by Physics

Graph invariants from ideas in physics and number theory

L_1 embeddings of the Heisenberg group and fast estimation of graph isoperimetry

The embedding conjecture and the approximation conjecture in higher dimension

Hardness of Robust Graph Isomorphism, Lasserre Gaps, and Asymmetry of Random Graphs

Two conjectured strengthenings of Turán's theorem

Generalized Bonahon-Wong-Yang volume conjecture of quantum invariants of surface diffeomorphisms I: the figure eight knot complement

Conic programming to understand sums of squares of eigenvalues of graphs

Strong Embeddings of 3-connected Cubic Planar Graphs on Surfaces of non-negative Euler Characteristic

Hardness of Robust Graph Isomorphism, Lasserre Gaps, and Asymmetry of Random Graphs.

Intersection Forms of Spin 4-Manifolds and the Pin(2)-Equivariant Mahowald Invariant

Invariants of almost embeddings of graphs in the plane: results and problems

Minkowski weak embedding theorem

On the relative Novikov conjecture for coarsely embeddable groups

Three Conjectures of Ostrander on Digraph Laplacian Eigenvectors

The Bounded Isomorphism Conjecture for Spaces of Graphs with Large Girth

A Number Theoretic Conjecture Based on Yau Conjecture

On the surface area of graphs, related connectivity measures and spectral estimates