arXiv++ Combinatorics

We investigate two conjectured spectral graph theoretic strengthenings of Turán's theorem. Let $μ_1 \ge \ldots \ge μ_n$ denote the eigenvalues of a graph $G$ with $n$ vertices, $m$ edges and clique number $ω(G)$. The concise version of Turán's theorem is that $n/(n - d)$ is a lower bound for the clique number $ω(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 \[ μ_1^2 \le \frac{2m(ω(G) - 1)}{ω(G)}, \] and Bollobás and Nikiforov conjectured that for $G \not = K_n$ \[ μ_1^2 + μ_2^2 \le \frac{2m(ω(G) - 1)}{ω(G)}. \] For our second conjecture, we propose that for all graphs $(μ_1^2 + μ_2^2)$ in this inequality can be replaced by the sum of the squares of the $ω(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.

Hoffman proved that a graph $G$ with eigenvalues $μ_1 \ge \ldots \ge μ_n$ and chromatic number $χ(G)$ satisfies: \[ χ\ge 1 + κ\] where $κ$ is the smallest integer such that \[ μ_1 + \sum_{i=1}^κ μ_{n+1-i} \le 0. \] We strengthen this well known result by proving that $χ(G)$ can be replaced by the quantum chromatic number, $χ_q(G)$, where for all graphs $χ_q(G) \le χ(G)$ and for some graphs $χ_q(G)$ is significantly smaller than $χ(G)$. We also prove a similar result, and investigate implications of these inequalities for the quantum chromatic number of various classes of graphs, which improves many known results. For example, we demonstrate that the Kneser graph $KG_{p,2}$ has $χ_q = χ= p - 2$.

A well known upper bound for the independence number $α(G)$ of a graph $G$, due to Cvetković, is that \begin{equation*} α(G) \le n^0 + \min\{n^+ , n^-\} \end{equation*} where $(n^+, n^0, n^-)$ is the inertia of $G$. We prove that this bound is also an upper bound for the quantum independence number $α_q$(G), where $α_q(G) \ge α(G)$ and for some graphs $α_q(G) \gg α(G)$. We identify numerous graphs for which $α(G) = α_q(G)$, thus increasing the number of graphs for which $α_q$ is known. We also demonstrate that there are graphs for which the above bound is not exact with any Hermitian weight matrix, for $α(G)$ and $α_q(G)$. Finally, we show this result in the more general context of spectral bounds for the quantum $k$-independence number, where the $k$-independence number is the maximum size of a set of vertices at pairwise distance greater than $k$.

Let $χ(G)$ denote the chromatic number of a graph and $χ_v(G)$ denote the vector chromatic number. For all graphs $χ_v(G) \le χ(G)$ and for some graphs $χ_v(G) \ll χ(G)$. Galtman proved that Hoffman's well-known lower bound for $χ(G)$ is in fact a lower bound for $χ_v(G)$. We prove that two more spectral lower bounds for $χ(G)$ are also lower bounds for $χ_v(G)$. We then use one of these bounds to derive a new characterization of $χ_v(G)$.

A well known upper bound for the independence number $α(G)$ of a graph $G$, is that \[ α(G) \le n^0 + \min\{n^+ , n^-\}, \] where $(n^+, n^0, n^-)$ is the inertia of $G$. We prove that this bound is also an upper bound for the quantum independence number $α_q$(G), where $α_q(G) \ge α(G)$. We identify numerous graphs for which $α(G) = α_q(G)$ and demonstrate that there are graphs for which the above bound is not exact with any Hermitian weight matrix, for $α(G)$ and $α_q(G)$. This result complements results by the authors that many spectral lower bounds for the chromatic number are also lower bounds for the quantum chromatic number.

The orthogonal rank of a graph $G=(V,E)$ is the smallest dimension $ξ$ such that there exist non-zero column vectors $x_v\in\mathbb{C}^ξ$ for $v\in V$ satisfying the orthogonality condition $x_v^\dagger x_w=0$ for all $vw\in E$. We prove that many spectral lower bounds for the chromatic number, $χ$, are also lower bounds for $ξ$. This result complements a previous result by the authors, in which they showed that spectral lower bounds for $χ$ are also lower bounds for the quantum chromatic number $χ_q$. It is known that the quantum chromatic number and the orthogonal rank are incomparable. We conclude by proving an inertial lower bound for the projective rank $ξ_f$, and conjecture that a stronger inertial lower bound for $ξ$ is also a lower bound for $ξ_f$.

The quantum chromatic number, $χ_q(G)$, of a graph $G$ was originally defined as the minimal number of colors necessary in a quantum protocol in which two provers that cannot communicate with each other but share an entangled state can convince an interrogator with certainty that they have a coloring of the graph. We use an equivalent purely combinatorial definition of $χ_q(G)$ to prove that many spectral lower bounds for the chromatic number, $χ(G)$, are also lower bounds for $χ_q(G)$. This is achieved using techniques from linear algebra called pinching and twirling. We illustrate our results with some examples.

It is well known that $n/(n - μ)$, where $μ$ is the spectral radius of a graph with $n$ vertices, is a lower bound for the clique number. We conjecture that $μ$ 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 various classes of graphs, including triangle-free graphs, and for almost all graphs.

Let $(n^+, n^0, n^-)$ denote the inertia of a graph $G$ with $n$ vertices. Nordhaus-Gaddum bounds are known for inertia, except for an upper bound for $n^-$. We conjecture that for any graph \[ n^-(G) + n^-(\bar{G}) \le 1.5(n - 1), \] and prove this bound for various classes of graphs and for almost all graphs. We consider the relationship between this bound and the number of eigenvalues that lie within the interval $-1$ to $0$, which we denote $n_{(-1,0)}(G)$. We conjecture that for any graph \[ n_{(-1,0)}(G) \le 0.5(n - 1). \] and prove this bound for almost all graphs. We also investigate extremal graphs for both bounds and show that both bounds are equivalent for regular graphs.

Let $χ(G$) and $χ_f(G)$ denote the chromatic and fractional chromatic numbers of a graph $G$, and let $(n^+ , n^0 , n^-)$ denote the inertia of $G$. We prove that: \[ 1 + \max\left(\frac{n^+}{n^-} , \frac{n^-}{n^+}\right) \le χ(G) \mbox{ and conjecture that } 1 + \max\left(\frac{n^+}{n^-} , \frac{n^-}{n^+}\right) \le χ_f(G) \] We investigate extremal graphs for these bounds and demonstrate that this inertial bound is not a lower bound for the vector chromatic number. We conclude with a discussion of asymmetry between $n^+$ and $n^-$, including some Nordhaus-Gaddum bounds for inertia.

We review bounds for the general Randić index, $R_α = \sum_{ij \in E} (d_i d_j)^α$, and use the power mean inequality to prove, for example, that $R_α\ge mλ^{2α}$ for $α< 0$, where $λ$ is the spectral radius of a graph. This enables us to strengthen various known lower and upper bounds for $R_α$ and to generalise a non-spectral bound due to Bollobás \emph{et al}. We also prove that the zeroth-order general Randić index, $Q_α= \sum_{i \in V} d_i^α\ge nλ^α$ for $α< 0$.

A well known upper bound for the spectral radius of a graph, due to Hong, is that $μ_1^2 \le 2m - n + 1$. It is conjectured that for connected graphs $n - 1 \le s^+ \le 2m - n + 1$, where $s^+$ denotes the sum of the squares of the positive eigenvalues. The conjecture is proved for various classes of graphs, including bipartite, regular, complete $q$-partite, hyper-energetic, and barbell graphs. Various searches have found no counter-examples. The paper concludes with a brief discussion of the apparent difficulties of proving the conjecture in general.

In this paper, we define and compare four new measures of graph irregularity. We use these measures to prove upper bounds for the chromatic number and the Colin de Verdiere parameter. We also strengthen the concise Turan theorem for irregular graphs and investigate to what extent Turan's theorem can be similarly strengthened for generalized r-partite graphs. We conclude by relating these new measures to the Randic index and using the measures to devise new normalised indices of network heterogeneity.

We study the problem of determining the probability that m vectors selected uniformly at random from the intersection of the full-rank lattice L in R^n and the window [0,B)^n generate $Λ$ when B is chosen to be appropriately large. This problem plays an important role in the analysis of the success probability of quantum algorithms for solving the Discrete Logarithm Problem in infrastructures obtained from number fields and also for computing fundamental units of number fields. We provide the first complete and rigorous proof that 2n+1 vectors suffice to generate L with constant probability (provided that B is chosen to be sufficiently large in terms of n and the covering radius of L and the last n+1 vectors are sampled from a slightly larger window). Based on extensive computer simulations, we conjecture that only n+1 vectors sampled from one window suffice to generate L with constant success probability. If this conjecture is true, then a significantly better success probability of the above quantum algorithms can be guaranteed.

One of the best known results in spectral graph theory is the following lower bound on the chromatic number due to Alan Hoffman, where mu_1 and mu_n are respectively the maximum and minimum eigenvalues of the adjacency matrix: chi >= 1 + mu_1 / (- mu_n). We recently generalised this bound to include all eigenvalues of the adjacency matrix. In this paper, we further generalize these results to include all eigenvalues of the adjacency, Laplacian and signless Laplacian matrices. The various known bounds are also unified by considering the normalized adjacency matrix, and examples are cited for which the new bounds outperform known bounds.

The purpose of this article is to improve existing lower bounds on the chromatic number chi. Let mu_1,...,mu_n be the eigenvalues of the adjacency matrix sorted in non-increasing order. First, we prove the lower bound chi >= 1 + max_m {sum_{i=1}^m mu_i / - sum_{i=1}^m mu_{n-i+1}} for m=1,...,n-1. This generalizes the Hoffman lower bound which only involves the maximum and minimum eigenvalues, i.e., the case $m=1$. We provide several examples for which the new bound exceeds the {\sc Hoffman} lower bound. Second, we conjecture the lower bound chi >= 1 + S^+ / S^-, where S^+ and S^- are the sums of the squares of positive and negative eigenvalues, respectively. To corroborate this conjecture, we prove the weaker bound chi >= S^+/S^-. We show that the conjectured lower bound is tight for several families of graphs. We also performed various searches for a counter-example, but none was found. Our proofs rely on a new technique of converting the adjacency matrix into the zero matrix by conjugating with unitary matrices and use majorization of spectra of self-adjoint matrices. We also show that the above bounds are actually lower bounds on the normalized orthogonal rank of a graph, which is always less than or equal to the chromatic number. The normalized orthogonal rank is the minimum dimension making it possible to assign vectors with entries of modulus one to the vertices such that two such vectors are orthogonal if the corresponding vertices are connected. All these bounds are also valid when we replace the adjacency matrix A by W * A where W is an arbitrary self-adjoint matrix and * denotes the Schur product, that is, entrywise product of W and A.