arXiv++ Combinatorics

The quantum chromatic number is a fundamental parameter in the study of nonlocal games, capturing the extent to which entanglement can improve performance in distributed tasks. In this paper, we investigate the quantum chromatic number of generalized Johnson graphs. By constructing modulus-one orthogonal representations, we obtain general upper bounds on their quantum chromatic numbers. We further analyze the smallest eigenvalue of these graphs. Combining the resulting Hoffman-type lower bounds with the upper bounds obtained from orthogonal representations, we determine the exact quantum chromatic numbers of two infinite families of generalized Johnson graphs. Finally, applying a forbidden-distance theorem for binary codes, we show that the classical chromatic numbers of these families grow exponentially with $n$, whereas their quantum chromatic numbers grow linearly. These families exhibit an exponential separation between the classical and quantum chromatic numbers.

The smallest eigenvalues of (distance-j) Hamming graphs with distance parameter j at least half the length were completely determined by Brouwer et al. (2018). In the present work, we address the complementary regime, namely distances j strictly less than half the length, and derive asymptotic lower bounds on the smallest eigenvalue of binary Hamming graphs. For certain natural generalizations, specifically Cayley graphs defined over quaternary vector spaces, we asymptotically determine the smallest eigenvalue as well. As an application, we obtain lower bounds on the quantum chromatic number of these graphs. In particular, for the aforementioned Cayley graphs over quaternary vectors, our lower bounds for the quantum chromatic number coincide with known upper bounds.

The determination of the quantum chromatic number of graphs has attracted considerable attention recently. However, there are few families of graphs whose quantum chromatic numbers are determined. A notable exception is the family of orthogonality graphs, whose quantum chromatic numbers are fully determined. In this paper, we extend these results by determining the exact quantum chromatic number of several subgraphs of the orthogonality graphs. Using the technique of combinatorial designs, we also determine the quantum chromatic number of the distance-2 Hamming graph, whose edges consist of binary vectors of Hamming distance 2, for infinitely many length.

Quantum coloring finds applications in quantum cryptography and information. In this paper, we study the quantum chromatic numbers of Hamming graphs and a generalization of Hadamard graphs. We investigate the separation between the quantum and classical chromatic numbers of these graphs and determine the quantum chromatic numbers for some of them. For the upper bounds of the quantum chromatic numbers, we develop a linear programming approach over the Hamming scheme to construct modulus-one orthogonal representations. For the lower bounds, we determine the minimum eigenvalues for some of these graphs to derive corresponding spectral lower bounds on their quantum chromatic numbers.

Let $A_G $ be the adjacency matrix of a simple graph $ G $, and let $ χ(G) $, $ χ_f(G) $, $ χ_q(G) $, $ ξ(G) $ and $ ξ_f(G) $ denote its chromatic number, fractional chromatic number, quantum chromatic number, orthogonal rank and projective rank, respectively. For $ p \geq 0 $, we define the positive and negative $ p $-energies of $ G $ by $$ \mathcal{E}_p^+(G) = \sum_{λ_i > 0} λ_i^p, \quad \mathcal{E}_p^-(G) = \sum_{λ_i < 0} |λ_i|^p, $$ where $ λ_1 \geq \cdots \geq λ_n $ are the eigenvalues of $A_G $. We prove that for all $ p \geq 0 $, $$ χ(G) \geq \left\{χ_f(G), χ_q(G), ξ(G) \right\} \geq ξ_f(G) \geq 1 + \max\left\{ \frac{\mathcal{E}_p^+(G)}{\mathcal{E}_p^-(G)}, \frac{\mathcal{E}_p^-(G)}{\mathcal{E}_p^+(G)} \right\}^{\frac{1}{|p - 1|}}. $$ This result unifies and strengthens a series of existing bounds corresponding to the cases $ p \in \{0, 2, \infty\} $. In particular, the case $ p = 0 $ yields the inertia bound $$ χ_f(G) \geq ξ_f(G) \geq1 + \max\left\{\frac{n^+}{n^-}, \frac{n^-}{n^+}\right\}, $$ where $ n^+ $ and $ n^- $ denote the number of positive and negative eigenvalues of $ A_G $, respectively. This resolves two conjectures of Elphick and Wocjan. We also demonstrate that for certain graphs, non-integer values of $ p $ provide sharper lower bounds than existing spectral bounds. As an example, we determine $ χ_q $ for the Tilley graph, which cannot be achieved using existing (unweighted) $p$-energy bounds. Our proof employs a novel synthesis of linear algebra and measure-theoretic tools, which allows us to surpass existing spectral bounds.

The largest known gap between quantum and classical chromatic number of graphs, obtained via quantum protocols for colouring Hadamard graphs based on the Deutsch--Jozsa algorithm and the quantum Fourier transform, is exponential. We put forth a quantum pseudo-telepathy version of Khot's $d$-to-$1$ Games Conjecture and prove that, conditional to its validity, the gap is unbounded: There exist graphs whose quantum chromatic number is $3$ and whose classical chromatic number is arbitrarily large. Furthermore, we show that the existence of a certain form of pseudo-telepathic XOR games would imply the conjecture and, thus, the unboundedness of the quantum chromatic gap. As two technical steps of our proof that might be of independent interest, we establish a quantum adjunction theorem for Pultr functors between categories of relational structures, and we prove that the Dinur--Khot--Kindler--Minzer--Safra reduction, recently used for proving the $2$-to-$2$ Games Theorem, is quantum complete.

The quantum chromatic number, a generalization of the chromatic number, was first defined in relation to the non-local quantum coloring game. We generalize the former by defining the quantum $k$-distance chromatic number $χ_{kq}(G)$ of a graph $G$, which can be seen as the quantum chromatic number of the $k$-th power graph, $G^k$, and as generalization of the classical $k$-distance chromatic number $χ_k(G)$ of a graph. It can easily be shown that $χ_{kq}(G) \leq χ_k(G)$. In this paper, we strengthen three classical eigenvalue bounds for the $k$-distance chromatic number by showing they also hold for the quantum counterpart of this parameter. This shows that several bounds by Elphick et al. [J. Combinatorial Theory Ser. A 168, 2019, Electron. J. Comb. 27(4), 2020] hold in the more general setting of distance-$k$ colorings. As a consequence we obtain several graph classes for which $χ_{kq}(G)=χ_{k}(G)$, thus increasing the number of graphs for which the quantum parameter is known.

The study of quantum chromatic numbers of graphs is a hot research topic in recent years. However, the infinite family of graphs with known quantum chromatic numbers are rare, as far as we know, the only known such graphs (except for complete graphs, cycles, bipartite graphs and some trivial cases) are the Hadamard graphs $H_n$ with $2^n$ vertices and $n$ a multiple of $4$. In this paper, we consider the graphs in Hamming schemes, we determined the quantum chromatic numbers of one class of such graphs. Notably, this is the second known family of graphs whose quantum chromatic numbers are explicitly determined except for some cases aforementioned. We also provide some bounds for the quantum chromatic numbers of some other graphs in Hamming schemes. Consequently, we can obtain the quantum chromatic numbers of products of some graphs.

We compute the exact value of the quantum chromatic numbers of Hadamard graphs of order $n=2^N$ for $N$ a multiple of $4$ using the upper bound derived by Avis, Hasegawa, Kikuchi, and Sasaki, as well as an application of the Hoffman-like lower bound of Elphick and Wocjan that was generalized by Ganesan for quantum graphs. As opposed to prior computations for the lower bound, our approach uses Ito's results on conjugacy class graphs allowing us to also find bounds on the quantum chromatic numbers of products of Hadamard graphs. In particular, we also compute the exact quantum chromatic number of the categorical product of Hadamard graphs.

We construct a new graph on 120 vertices whose quantum and classical independence numbers are different. At the same time, we construct an infinite family of graphs whose quantum chromatic numbers are smaller than the classical chromatic numbers. Furthermore, we discover the relation to Kochen-Specker sets that characterizes quantum cocliques that are strictly bigger than classical ones. Finally, we prove that for graphs with independence number is two, quantum and classical independence numbers coincide.

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$.

Given a graph $G$ and a positive integer $d$, an orthogonal vector $d$-coloring of $G$ is an assignment $f$ of vectors of $\mathbb{R}^d$ to $V(G)$ in such a way that adjacent vertices receive orthogonal vectors. The orthogonal chromatic number of $G$, denoted by $χ_v(G)$, is the minimum $d$ for which $G$ admits an orthogonal vector $d$-coloring. This notion has close ties with the notions of Lovász Theta Function, quantum chromatic number, and many other problems, and even though this and related metrics have been extensively studied over the years, we have found that there is a gap in the knowledge concerning the edge version of the problem. In this article, we discuss this version and its relation with other insteresting known facts, and pose a question about the orthogonal chromatic index of cubic graphs.

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.

We study quantum analogs of graph colorings and chromatic number. Initially defined via an interactive protocol, quantum colorings can also be viewed as a natural operator relaxation of graph coloring. Since there is no known algorithm for producing nontrivial quantum colorings, the existing examples rely on ad hoc constructions. Almost all of the known constructions of quantum $d$-colorings start from $d$-dimensional orthogonal representations. We show the limitations of this method by exhibiting, for the first time, a graph with a 3-dimensional orthogonal representation which cannot be quantum 3-colored, and a graph that can be quantum 3-colored but has no 3-dimensional orthogonal representation. Together these examples show that the quantum chromatic number and orthogonal rank are not directly comparable as graph parameters. The former graph also provides an example of several interesting, and previously unknown, properties of quantum colorings. The most striking of these is that adding a new vertex adjacent to all other vertices does not necessarily increase the quantum chromatic number of a graph. This is in stark contrast to the chromatic number and many of its variants. This graph also provides the smallest known example (14 vertices) exhibiting a separation between chromatic number and its quantum analog.

We investigate vector chromatic number, Lovasz theta of the complement, and quantum chromatic number from the perspective of graph homomorphisms. We prove an analog of Sabidussi's theorem for each of these parameters, i.e. that for each of the parameters, the value on the Cartesian product of graphs is equal to the maximum of the values on the factors. We also prove an analog of Hedetniemi's conjecture for Lovasz theta of the complement, i.e. that its value on the categorical product of graphs is equal to the minimum of its values on the factors. We conjecture that the analogous results hold for vector and quantum chromatic number, and we prove that this is the case for some special classes of graphs.

A homomorphism from a graph $X$ to a graph $Y$ is an adjacency preserving mapping $f:V(X) \rightarrow V(Y)$. We consider a nonlocal game in which Alice and Bob are trying to convince a verifier with certainty that a graph $X$ admits a homomorphism to $Y$. This is a generalization of the well-studied graph coloring game. Via systematic study of quantum homomorphisms we prove new results for graph coloring. Most importantly, we show that the Lovász theta number of the complement lower bounds the quantum chromatic number, which itself is not known to be computable. We also show that some of our newly introduced graph parameters, namely quantum independence and clique numbers, can differ from their classical counterparts while others, namely quantum odd girth, cannot. Finally, we show that quantum homomorphisms closely relate to zero-error channel capacity. In particular, we use quantum homomorphisms to construct graphs for which entanglement-assistance increases their one-shot zero-error capacity.

We introduce two generalizations of Kochen-Specker (KS) sets: projective KS sets and generalized KS sets. We then use projective KS sets to characterize all graphs for which the chromatic number is strictly larger than the quantum chromatic number. Here, the quantum chromatic number is defined via a nonlocal game based on graph coloring. We further show that from any graph with separation between these two quantities, one can construct a classical channel for which entanglement assistance increases the one-shot zero-error capacity. As an example, we exhibit a new family of classical channels with an exponential increase.

The quantum chromatic number of a graph $G$ is sandwiched between its chromatic number and its clique number, which are well known NP-hard quantities. We restrict our attention to the rank-1 quantum chromatic number $χ_q^{(1)}(G)$, which upper bounds the quantum chromatic number, but is defined under stronger constraints. We study its relation with the chromatic number $χ(G)$ and the minimum dimension of orthogonal representations $ξ(G)$. It is known that $ξ(G) \leq χ_q^{(1)}(G) \leq χ(G)$. We answer three open questions about these relations: we give a necessary and sufficient condition to have $ξ(G) = χ_q^{(1)}(G)$, we exhibit a class of graphs such that $ξ(G) < χ_q^{(1)}(G)$, and we give a necessary and sufficient condition to have $χ_q^{(1)}(G) < χ(G)$. Our main tools are Kochen-Specker sets, collections of vectors with a traditionally important role in the study of noncontextuality of physical theories, and more recently in the quantification of quantum zero-error capacities. Finally, as a corollary of our results and a result by Avis, Hasegawa, Kikuchi, and Sasaki on the quantum chromatic number, we give a family of Kochen-Specker sets of growing dimension.