arXiv++ Combinatorics

We prove that any perfect quantum strategy for the two-prover game encoding a constraint satisfaction problem (CSP) can be simulated via a perfect classical strategy with an extra classical communication channel, whose size depends only on $(i)$ the size of the shared quantum system used in the quantum strategy, and $(ii)$ structural parameters of the CSP template. The result is obtained via a combinatorial characterisation of perfect classical strategies with extra communication channels and a geometric rounding procedure for the projection-valued measurements involved in quantum strategies. A key intermediate step of our proof is to establish that the gap between the classical chromatic number of graphs and its quantum variant is bounded when the quantum strategy involves shared quantum information of bounded size.

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.

For a non-decreasing sequence of integers $S=(s_1,s_2, \dots, s_k)$, an $S$-packing coloring of $G$ is a partition of $V(G)$ into $k$ subsets $V_1,V_2,\dots,V_k$ such that the distance between any two distinct vertices $x,y \in V_i$ is at least $s_{i}+1$, $1\leq i\leq k$. The packing chromatic number $χ_ρ(G)$ of a graph $G$ is the smallest integer $p$ such that $G$ is $(1,2,\dots ,p)$-packing colorable. Gastineau and Togni asked whether the subdivision $S(G)$ of every subcubic graph $G$ has $χ_ρ(S(G))\leq 5$ and whether every subcubic graph, except the Petersen graph, is $(1,1,2,2)$-packing colorable; these questions were later conjectured by Brešar et al. Moreover, Gastineau and Togni proved that a positive answer to the second question implies a positive answer to the first. In this paper, we completely resolve the second question for connected non-regular subcubic graphs, proving that they are $(1,1,2,2)$-packing colorable and hence satisfy $χ_ρ(S(G)) \leq 5$. We also establish the same result for several classes of cubic graphs, including those with diamonds, certain cut-vertices, and bridges on short cycles. Finally, we strengthen the recent result of Liu, Zhang, and Zhang [\textit{Discrete Math.} 348 (11) (2025). 114610] that every subcubic graph is $(1,1,2,2,3)$-packing colorable by proving that every connected cubic graph admits a $(1,1,2,2,k)$-packing coloring in which at most one vertex receives color $k$, where $k$ is arbitrary. This not only simplifies the existing argument but also strictly improves the bound.

Let $G$ be an embedded graph and $A$ an edge subset of $G$. The partial dual of $G$ with respect to $A$, denoted by $G^A$, can be viewed as the geometric dual $G^*$ of $G$ over $A$. If $A=E(G)$, then $G^A=G^*$. Denote by $γ(G^A)$ the genus of the embedded graph $G^A$. The maximum partial-dual genus of $G$ is defined as $$^\partialγ_{M}(G):=\max_{A \subseteq E(G)}γ(G^A).$$ For any planar graph $G$, it had been proved that $^\partialγ_{M}(G)$ does not rely on the embeddings of $G$. In this paper, we further prove that if $G$ is a connected planar graph of order $n\geq 2$, then $^{\partial}γ_{M}(G)\geq \frac{n-n_2-2n_1}{2}+1$, where $n_i$ is the number of vertices of degree $i$ in $G$. As a consequence, if $G$ is a connected planar graph of order $n$ with minimum degree at least 3, then $^{\partial}γ_{M}(G) \geq \frac{n}{2}+1$. Denote by $G^c$ the complement of a graph $G$ and by $χ(G^c)$ the chromatic number of $G^c$. Moreover, we prove that if $G \ncong K_4$ is a $λ$-edge-connected planar graph of order $n$, then $^{\partial}γ_{M}(G) \geq f(n,λ,χ(G^c))$, where $f(n,λ,χ(G^c))$ is a function of $n$, $λ$ and $χ(G^c)$. The first lower bound is tight for any $n$, and the second lower bound is tight for some 3-edge-connected graphs.

This study examines the fractional chromatic number associated with the direct product of signed graphs. It shows that if $(H,τ)$ is a signed circulant graph $G(n,S,T)$, then for any signed graph $(G,σ)$, the fractional chromatic number of their direct product is the lower number between the fractional chromatic number of $(G,σ)$ and $(H,τ)$.

We characterize all orientations of cycles $C$ for which for every fixed $\varepsilon > 0$ there exists a constant $c \geq 1$ such that every digraph $D$ without loops or parallel arcs with $χ(D) \geq c$ and minimum out-degree at least $\varepsilon |V(D)|$ contains $C$ as a subdigraph. This generalizes a result of Thomassen.

Independently posed by Behzad and Vizing, the Total Coloring Conjecture asserts that the total chromatic number of a simple connected graph $G$ is either $Δ(G)+1$ or $Δ(G)+2$, where $Δ(G)$ is the largest degree of any vertex of $G$. To decide whether a cubic graph $G$ has total chromatic number $Δ(G)+1$, even for bipartite cubic graphs, is NP-hard. The resulting problems and research persist even for total colorings that are equitable, namely with the cardinalities of the color classes differing at most by 1. Williams and Holroyd gave a new condition to solve total coloring problems via the introduction of semi-total colorings. We focus on how to obtain equitable total colorings of symmetric cubic graphs and cage graphs by means of a variation of Kempe'a 1879 graph-coloring algorithm. Such variation takes semi-total colorings to equitable ones.

It is consistent relative to an inaccessible cardinal that ZF+DC holds, the hypergraph of equilateral triangles on a given Euclidean space has countable chromatic number, while the hypergraph of isosceles triangles in the plane does not.

The Sudoku number $s(G)$ of graph $G$ with chromatic number $χ(G)$ is the smallest partial $χ(G)$-colouring of $G$ that determines a unique $χ(G)$-colouring of the entire graph. We show that the Sudoku number of the random $3$-regular graph $\mathcal{G}_{n,3}$ satisfies $s(\mathcal{G}_{n,3}) \leq (1+o(1))\frac{n}{3}$ asymptotically almost surely. We prove this by analyzing an algorithm which $3$-colours $\mathcal{G}_{n,3}$ in a way that produces many locally forced vertices, i.e., vertices which see two distinct colours among their neighbours. The intricacies of the algorithm present some challenges for the analysis, and to overcome these we use a non-standard application of Wormald's differential equations method that incorporates tools from finite Markov chains.

Confirming a conjecture of Erdős on the chromatic number of Kneser hypergraphs, Alon, Frankl and Lovász proved that in any $q$-colouring of the edges of the complete $r$-uniform hypergraph, there exists a monochromatic matching of size $\lfloor \frac{n+q-1}{r+q-1}\rfloor$. In this paper, we prove a transference version of this theorem. More precisely, for fixed $q$ and $r$, we show that with high probability, a monochromatic matching of approximately the same size exists in any $q$-colouring of a random hypergraph, already when the average degree is a sufficiently large constant. In fact, our main new result is a defect version of the Alon--Frankl--Lovász theorem for almost complete hypergraphs. From this, the transference version is obtained via a variant of the weak hypergraph regularity lemma. The proof of the defect version uses tools from extremal set theory developed in the study of the Erdős matching conjecture.

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.

Generalizing the notion of odd-sum colorings, a $\mathbb{Z}$-labeling of a graph $G$ is called a closed coloring with remainder $k\mod n$ if the closed neighborhood label sum of each vertex is congruent to $k\mod n$. If such colorings exist, we write $χ_{n,k}(G)$ for the minimum number of colors used for a closed coloring with remainder $k\mod n$ such that no neighboring vertices have the same color. General estimates for $χ_{n,k}(G)$ are given along with evaluations of $χ_{n,k}(G)$ for some finite and infinite order graphs.

Given a graph $G$ and a list assignment $L$ for $G$, the indicated $L$-colouring game on $G$ is played by two players: Ann and Ben. In each round, Ann chooses an uncoloured vertex $v$, and Ben colours $v$ with a colour from $L(v)$ that is not used by its coloured neighbours. If all vertices are coloured, then Ann wins the game. Otherwise after a finite number of rounds, there remains an uncoloured vertex $v$ such that all colours in $L(v)$ have been used by its coloured neighbours, Ben wins. We say $G$ is indicated $L$-colourable if Ann has a winning strategy for the indicated $L$-colouring game on $G$. For a mapping $g: V(G) \to \mathbb{N}$, we say $G$ is indicated $g$-choosable if $G$ is indicated $L$-colourable for every list assignment $L$ with $|L(v)| \ge g(v)$ for each vertex $v$, and $G$ is indicated degree-choosable if $G$ is indicated $g$-choosable for $g(v) =d_G(v)$ (the degree of $v$). This paper proves that a graph $G$ is not indicated degree-choosable if and only if $G$ is an expanded Gallai-tree - a graph whose maximal connected induced subgraphs with no clique-cut are complete graphs or blow-ups of odd cycles, along with a technical condition (see Definition \ref{def-egt}). This leads to a linear-time algorithm that determines if a graph is indicated degree-choosable. A connected graph $G$ is called an IC-Brooks graph if its indicated chromatic number equals $Δ(G)+1$. Every IC-Brooks graph is a regular expanded Gallai-tree. We show that if $r \le 3$, then every $r$-regular expanded Gallai-tree is an IC-Brooks graph. For $r \ge 4$, there are $r$-regular expanded Gallai-trees that are not IC-Brooks graphs. We give a characterization of IC-Brooks graphs, and present a linear-time algorithm that determines if a given graph of bounded maximum degree is an IC-Brooks graph.

This paper addresses the behavior of the Lovász number for dense random circulant graphs. The Lovász number is a well-known semidefinite programming upper bound on the independence number. Circulant graphs, an example of a Cayley graph, are highly structured vertex-transitive graphs on integers modulo $n$, where the connectivity of pairs of vertices depends only on the difference between their labels. While for random circulant graphs the asymptotics of fundamental quantities such as the clique and the chromatic number are well-understood, characterizing the exact behavior of the Lovász number remains open. In this work, we provide upper and lower bounds on the expected value of the Lovász number and show that it scales as the square root of the number of vertices, up to a log log factor. Our proof relies on a reduction of the semidefinite program formulation of the Lovász number to a linear program with random objective and constraints via diagonalization of the adjacency matrix of a circulant graph by the discrete Fourier transform (DFT). This leads to a problem about controlling the norms of vectors with sparse Fourier coefficients, which we study using results on the restricted isometry property of subsampled DFT matrices.

For a graph $F$, let ${\rm EX}(n,F)$ be the set of $F$-free graphs of order $n$ with the maximum number of edges. The graph $F$ is called vertex-critical, if the deletion of its some vertex induces a graph with smaller chromatic number. For example, an odd wheel (obtained by connecting a vertex to a cycle of even length) is a vertex-critical graph with chromatic number 3. For $h\geq2$, let $F_{1},F_{2},...,F_{h}$ be vertex-critical graphs with the same chromatic number. Let $\cup_{1\leq i\leq h}F_{i}$ be the disjoint union of them. In this paper, we characterize the graphs in ${\rm EX}(n,\cup_{1\leq i\leq h}F_{i})$, when there is a proper order among the graphs $F_{1},F_{2},...,F_{h}$. This solves a conjecture (on extremal problem for disjoint union of odd wheels) proposed by Xiao and Zamora \cite{XZ}.

The celebrated Erdős--Stone--Simonovits theorem states that $\mathrm{ex}(n,F)= \big(1-\frac{1}{χ(F)-1}+o(1) \big)\frac{n^{2}}{2}$, where $χ(F)$ is the chromatic number of $F$. In 2009, Nikiforov proved a spectral extension of the Erdős--Stone--Simonovits theorem in terms of the adjacency spectral radius. In this paper, we shall establish a unified extension in terms of the signless Laplacian spectral radius. Let $q(G)$ be the signless Laplacian spectral radius of $G$ and we denote $\mathrm{ex}_{q}(n,F) =\max \{q(G):|G|=n ~\mbox{and}~F\nsubseteq G\}$. It is known that the Erdős--Stone--Simonovits type result for the signless Laplacian spectral radius does not hold for even cycles. We prove that if $F$ is a graph with $χ(F)\geq 3$, then $\mathrm{ex}_{q}(n,F)=\big(1-\frac{1}{χ(F)-1}+o(1) \big)2n$. This solves a problem proposed by Li, Liu and Feng (2022), which gives an entirely satisfactory answer to the problem of estimating $\mathrm{ex}_q(n,F)$. Furthermore, it extends the aforementioned result of Erdős, Stone and Simonovits as well as the spectral result of Nikiforov. Our result indicates that the Erdős--Stone--Simonovits type result regarding the signless Laplacian spectral radius is valid in general.

Let $G$ be a group and $S$ be the set of all non-trivial proper subgroups of $G$. The intersection hypergraph of $G$, denoted by $\tildeΓ_\mathcal{H}(G)$, is a hypergraph whose vertex set is $\{H \in S \,\, | \,\, H \cap K = \{e\} \,\, \text{for some} \, K \in S \}$ and hyperedges are the maximal subsets of the vertex set with the property that any two vertices in it have a trivial intersection. The aim of this paper is to study the intersection hypergraph of dihedral groups, $\tildeΓ_\mathcal{H}(D_n)$. We examine some of the structural properties, viz., diameter, girth and chromatic number of $\tildeΓ_\mathcal{H}(D_n)$. Also, we provide characterizations for hypertreees, star structures of $\tildeΓ_\mathcal{H}(D_n)$, and investigate the planarity and non-planarity of $\tildeΓ_\mathcal{H}(D_n)$.

Reed conjectured that the chromatic number of any graph is closer to its clique number than to its maximum degree plus one. We consider a recolouring version of this conjecture, with respect to Kempe changes. Namely, we investigate the largest $\varepsilon$ such that all graphs $G$ are $k$-recolourable for all $k \ge \lceil \varepsilon ω(G) + (1 -\varepsilon)(Δ(G)+1) \rceil$. For general graphs, an existing construction of a frozen colouring shows that $\varepsilon \le 1/3$. We show that this construction is optimal in the sense that there are no frozen colourings below that threshold. For this reason, we conjecture that $\varepsilon = 1/3$. For triangle-free graphs, we give a construction of frozen colourings that shows that $\varepsilon \le 4/9$, and prove that it is also optimal. In the special case of odd-hole-free graphs, we show that $\varepsilon = 1/2$, and that this is tight up to one colour.

The problem of chromatic thresholds seeks for minimum degree conditions that ensure $H$-free graphs to have a bounded chromatic number, or equivalently a bounded size homomorphic image. The strengthened homomorphism thresholds problem further requires that the homomorphic image itself is $H$-free. The purpose of this paper is two-fold. First, we define a generalized notion of threshold which encapsulates and interpolates chromatic and homomorphism thresholds via the theory of VC-dimension. Our first result shows a smooth transition between these two thresholds when varying the restrictions on homomorphic images. In particular, we proved that for $t \ge s \ge 3$ and $ε>0$, if $G$ is an $n$-vertex $K_s$-free graph with VC-dimension $d$ and $δ(G) \ge (\frac{(s-3)(t-s+2)+1}{(s-2)(t-s+2)+1} + ε)n$, then $G$ is homomorphic to a $K_t$-free graph $H$ with $|H| = O(1)$. Moreover, we construct graphs showing that this minimum degree condition is optimal. This extends and unifies the results of Thomassen, Łuczak and Thomassé, and Goddard, Lyle and Nikiforov, and provides a deeper insight into the cause of existences of homomorphic images with various properties. Second, we introduce the blowup threshold $δ_B(H)$ as the infimum $α$ such that every $n$-vertex maximal $H$-free graph $G$ with $δ(G)\geαn$ is a blowup of some $F$ with $|F|=O(1)$. This notion strengthens homomorphism threshold. While the homomorphism thresholds for odd cycles remain unknown, we prove that $δ_B(C_{2k-1})=1/(2k-1)$ for any integer $k\ge 2$. This strengthens the result of Ebsen and Schacht and answers a question of Schacht and shows that, in sharp contrast to the chromatic thresholds, 0 is an accumulation point for blowup thresholds. Our proofs mix tools from VC-dimension theory and an iterative refining process, and draw connection to a problem concerning codes on graphs.

We use a Gröbner basis technique first introduced by Knutson, Miller and Yong to study the interplay between properties of a graph $G$ and algebraic properties of the toric ideal that it defines. We first recover a well-known height formula for the toric ideal of a graph $I_G$ and demonstrate an algebraic property that can detect when a graph deletion is bipartite. We also bound the chromatic number $χ(G)$ using information about an initial ideal of $I_G$.