arXiv++ Combinatorics

We introduce a robust OR polynomial framework for composing positive semidefinite certificates across OR constraints. We demonstrate the power of this method in two applications. The first is on acute-free families. A set $\mathcal F=\{(x_i^{(1)},\ldots,x_i^{(r)})\}_{i=1}^M \subseteq (S^{n-1})^r$ is $r$-way acute-free if, for every $i\neq j$, there is a coordinate $t\in[r]$ such that $\langle x_i^{(t)},x_j^{(t)}\rangle\leq 0$. We write $M_r(n)$ for the maximum size of such a set, and $M_r^{\pm}(n)$ for the hypercube restriction. On the hypercube, $r$-way acute-free sets are independent sets for some strong power graph $G_n^{\boxtimes r}$. The Lovász theta number $\vartheta(G_n)$ is multiplicative but exponentially loose, whereas the Schrijver number $\vartheta'(G_n)$ gives the correct order, but is not multiplicative. We bypass this obstruction by proving a general quasi-tensorization result for the Schrijver number. That is, for every collection of graphs $G_1,\ldots, G_r$ satisfying $\vartheta'(G_i)\geq 2$, there is an absolute constant $C$ such that $\vartheta'(G_1\boxtimes \cdots \boxtimes G_r) \leq \prod_{i=1}^r \vartheta'(G_i)^{C\log r \log \vartheta'(G_i)}$. Applying this result gives that $M_r^{\pm}(n) \le M_r(n) \le (2n)^{C_0 r\log r\log(2n)}$ for some absolute constant $C_0$. The second application is on multicolor Ramsey numbers. The $r$-color Ramsey number $R_r(k)$ is the minimum $n$ such that every $r$-coloring of the edges of the complete graph on $n$ vertices contains a monochromatic copy of $K_k$. In a breakthrough result, Balister et al. [arXiv:2410.17197] showed that $R_r(k)\le \exp(-Ω(k/r^{12}))r^{rk}$ via a geometric lemma. By improving the $r$ dependency in their geometric lemma via the OR polynomial framework, we prove that $R_r(k)\le \exp(-Ω(k/(r^9(\log r)^6)))r^{rk}$.

For a graph $H$ with $3\mid e(H)$, the zero-sum Ramsey number $R(H,\Z_3)$ is the least integer $N$ such that every labeling of the edges of $K_N$ by elements of $\Z_3$ contains a copy of $H$ whose edge labels sum to zero. We determine the last previously unresolved infinite family in the complete-graph case modulo $3$. More precisely, we prove that \(R(K_n,\Z_3)=n+3\) for every $n\ge 10$ satisfying $n\equiv 1\pmod 3$. Consequently, for $k\ge 1$, \(R(K_{9k+7},\Z_3)=9k+10\), resolving a problem of Caro and Mifsud.

Consider $k$ pairwise disjoint residue classes $a_i \pmod{m_i}$. We prove that \[ \max_{1\leq i<j\leq k}\gcd(m_i,m_j) \gg k\exp\!\left(-(2+o(1)) \sqrt{\frac{\log k}{\log\log k}}\right). \] The proof uses a complete graph whose edges are colored by the gcds of the corresponding moduli, together with a structural lemma, a sieve-theoretic partition, Möbius inversion, and the discrete Fourier transform.

Right-angled Artin groups (RAAGs) and right-angled Coxeter groups (RACGs) associated with finite simple graphs are fundamental objects in geometric group theory. Their one-variable growth series with respect to the standard generating sets was classically expressed by Chiswell in terms of the one-variable independence polynomial of the defining graph [2] with suitable substitutions of the variable. In this paper, we investigate the multivariate growth series of graph products of groups and derive explicit formulas in terms of the multivariate independence polynomial of the underlying graph through suitable substitutions of variables. As special cases, we obtain multivariate growth series formulas for RAAGs and RACGs, thereby extending the classical one-variable identities. We further show that the coefficients of the multivariate growth series of RAAGs and RACGs admit explicit descriptions in terms of the double-marked and marked chromatic polynomials of graphs. This connection reveals a rich interplay between growth series and graph coloring invariants. In particular, we obtain completely explicit formulas for all the coefficients in the case of chordal graphs, which include, for example, trees and complete graphs.

Erdős and Gyárfás conjectured in 1995 that, in every red--blue edge-coloring of a complete graph $K_n$, the vertex set can be covered by at most $\sqrt n$ monochromatic paths, all of the same color. Pokrovskiy, Versteegen and Williams (JCT-B, 2026) proved the conjecture for all sufficiently large $n$. In this paper, by using minimal counterexample method, we confirm the conjecture completely.

Let \(f(k)\) be the minimum integer \(N\) such that any red--blue edge-coloring of the ordered complete graph on \(N\) vertices contains a set of \(k\) vertices whose induced coloring is admissible. In this note, we obtain the exact value of $f(k)$ for $k\ge 3$, which confirms a conjecture posed by Bradač, Liu, Wu and Xu.

Circulant digraphs are Cayley digraphs over finite cyclic groups and constitute a fundamental class of objects in algebraic graph theory. Extending the classification of locally-primitive circulant graphs \cite{JZ-2026}, we completely determine all locally-quasiprimitive circulant digraphs. Our main theorem shows that a connected locally-quasiprimitive circulant digraph is isomorphic to one of the following: the complete graph \(\K_n\), the complete bipartite graph \(\K_{n/2,n/2}\), the graph \(\K_{n/2,n/2}-\frac{n}{2}\K_2\) (with \(n/2\) odd), the cycle \(\C_n\), the directed cycle \(\vec \C_n\), a normal circulant digraph of prime valency, the lexicographic product \(\vec \C_m[\overline{\K_b}]\), or the tensor product \(\vec \C_m\times \K_b\) with \(\gcd(m,b)=1\).

Gupta and Iosevich introduced the edge complexity of a graph as the minimum Fourier ratio of its adjacency matrix over all vertex labelings and bounded it below by graph energy divided by the square root of twice the number of edges. We characterize equality for a fixed labeling: the Fourier transform of the adjacency matrix must have at most one nonzero entry in each row and column. This implies regularity, circulancy of every positive even power of an extremizing adjacency matrix, and a parity restriction on connected components, and it gives equality results for certain Laplacian spectral projectors. We construct equality cases from affine involutions on cyclic groups. Singer difference sets yield, for every prime power $q$, an equality-attaining $(q+1)$-regular graph that is not an abelian Cayley graph. We also establish Fourier-ratio estimates for weak, Cartesian, and strong graph products, including preservation of equality under weak products of coprime orders. We use Fourier-ratio recovery as a coding theorem to obtain entropy upper bounds for low-complexity adjacency matrices and complement them with a lower bound obtained by perturbing complete graphs. Finally, a concentration argument shows that if $Np_N/\log N\to\infty$ and $\limsup_{N\to\infty}p_N<1$, then $\operatorname{FR}_{\min}(G(N,p_N))$ is of order $N$ with probability tending to one.

We study the $b$-biased Oriented-cycle game where two players, OMaker and OBreaker, take turns directing the edges of $K_n$ (the complete graph on $n$ vertices). In each round, OMaker directs one previously undirected edge followed by OBreaker directing between one and $b$ previously undirected edges. The game ends once all edges have been directed, and OMaker wins if and only if the resulting tournament contains a directed cycle. Bollobás and Szabó asked the following question: what is the largest value of the bias $b$ for which OMaker has a winning strategy? Ben-Eliezer, Krivelevich and Sudakov proved that OMaker has a winning strategy for $b \leq n/2 - 2$. In the other direction, Clemens and Liebenau proved that OBreaker has a winning strategy for $b \geq 5n/6+2$. Inspired by their approach, we propose a significantly stronger strategy for OBreaker which we prove to be winning for $b \geq 0.7841n + O(1)$.

We consider the space of $(n-1)$-colored graphs on a fixed set of $N$ vertices. Each edge position of the complete graph $K_N$ has $n$ possible states: the absence of an edge and $n-1$ colors. This gives a natural identification of the space of such graphs with the tensor power $(\mathbb C^n)^{\otimes m}$, where $m=\binom N2$, and defines on it the diagonal action of the Lie algebra $\mathfrak{gl}_n$, and, after restriction, the action of $\mathfrak{sl}_n$. For a fixed profile $α=(α_0,\dots,α_{n-1})$, we consider the graph $J(m;α)$ whose vertices are colored graphs of this profile and whose adjacency is defined by a single exchange of states in two edge positions. This graph is the transposition graph on the set of words with fixed profile, also known as the \emph{multislice}. The main result is an expression of the adjacency operator in terms of the root operators of $\mathfrak{sl}_n$ and a derivation of its spectrum by means of the quadratic Casimir operator of $\mathfrak{gl}_n$ and the Schur--Weyl decomposition. It is proved that the adjacency operator belongs to the center of the algebra $\End_{S_m}(\mathcal C_α)$. The contribution of each spectral block to the multiplicity of the corresponding eigenvalue is described in terms of a Kostka number and the dimension of a Specht module. For $n=2$, one obtains the classical Johnson graph and its known spectrum. As applications, a formula for the valency is established, connectivity is proved, the Hoffman bound for independent sets is obtained, and the three-state case is considered in detail; in this case the natural symmetrized subspace realizes the module $\Sym^m(\mathbb C^3)$.

The toughness of a non-complete graph $G$, denoted $τ(G)$, is defined as \[ τ(G) = \min\left\{ \frac{|S|}{ω(G-S)} : S \subseteq V(G),\ ω(G-S) \geq 2 \right\}, \] where $ω(G-S)$ is the number of components of $G - S$. For a complete graph $G$, we define $τ(G) = \infty$. A graph $G$ is $t$-tough if $τ(G) \geq t$. For a positive integer $k$, a graph $G$ is $(K_2 \cup kK_1)$-free if it contains no induced subgraph isomorphic to $K_2 \cup kK_1$. Recently, Liu \cite{liu} showed that every $2k$-connected $(K_2 \cup kK_1)$-free graph $G$ with $τ(G) > 1$ is Hamilton-connected. In this paper, we strengthen this result by proving that every $(k+1)$-connected $(K_2 \cup kK_1)$-free graph $G$ with $τ(G) > 1$ and minimum degree $δ(G) \geq 2k$ is Hamilton-connected. Moreover, by imposing restrictions to the independence number $α(G)$, we prove that every $k$-connected $(K_2 \cup kK_1)$-free graph $G$ of order $n$ with $2k+1 \leq α(G) < \frac{n}{2}$ and $δ(G) \geq 2k$ is Hamilton-connected, and that the bounds on $α(G)$ are sharp.

For an edge-weighted graph $G=(V,E)$ and a stretch parameter $t\geq 1$, a $t$-spanner is a subgraph $H\subseteq G$ such that the shortest path distances in $G$ and $H$ satisfy $δ_H(u,v)\leq t\, δ_G(u,v)$ for all $u,v\in V$. In metric spanners, $V$ is a finite metric space, and $G$ is the complete graph with edge weights corresponding to the distances between the endpoints. When $G$ is the complete graph on $n$ points in the plane, $O(n)$-size $t$-spanners are possible for any $t>1$: For every $\varepsilon>0$, there is an $(1+\varepsilon)$-spanner with $O(n/\varepsilon)$ edges (i.e., the stretch can be arbitrarily close to 1). When $G=K(R,B)$ is the complete bipartite graph on $n$ bichromatic points in the plane, in general, no spanner construction can guarantee stretch $t<3$ with $o(n^2)$ edges. Bose et al.~(SICOMP 2009) constructed a $(3+\varepsilon)$-spanner with $O(n\log n)$ edges for any constant $\varepsilon>0$. Our main result is a new construction for a $(3+\varepsilon)$-spanner with $O(\sqrt{1/\varepsilon}\cdot n)$ edges. Eliminating the $O(\log n)$ factor resolves a problem left open for more than 17 years, and raises a new research problem about optimizing the dependence on $\varepsilon$. We also study spanners for $G=K(R,B)$ on $n$ bichromatic points on the real line: In this case, we show that the MST of $K(R,B)$ is a 7-spanner, and we construct a 3-spanner with at most $2n-3$ edges.

A famous conjecture of Anton Kotzig states that for every even integer $n\ge 4$, the complete graph $K_n$ of order $n$ can be decomposed into $n - 1$ perfect matchings such that every pair of these matchings forms a Hamilton cycle. Despite the great interest, the conjecture is far from being solved. Here we show that the conjecture holds asymptotically, namely that $K_n$ can be decomposed into $n-1$ perfect matchings such that $(1-o(1))n$ of them have the property that any pair forms a Hamilton cycle.

We investigate the minimum size of finite abelian Cayley graphs that admit an isometric embedding of a finite connected graph. While every connected graph on n vertices embeds isometrically into a binary Cayley graph of dimension at most n-1, the smallest possible abelian host has remained largely unexplored. We establish fundamental lower bounds showing that every binary host has dimension at least max(diam(G), floor(log2 n)), whereas every finite abelian host has order at least max(n, 2^diam(G)). Moreover, we prove that the minimum host order equals n if and only if G is itself an abelian Cayley graph. Exact binary dimensions are obtained for several important graph families. Hypercubes, complete graphs of order 2^k, and even cycles attain the lower bound. For stars we prove k_min(K1,q)=floor(log2 q)+1 using maximum sum-free sets, yielding an exponential improvement over the naive and isometric dimensions. For odd cycles we prove k_min(Cm)=m-1 for all m<17 and reduce the general case to a cyclic-interval lemma, showing that the universal upper bound is tight. Our computational contribution is a certified exhaustive census of all 995 connected graphs with 2<=n<=7 vertices under general abelian compactifications. The data reveal an "abelian dividend": 569 graphs (57 percent) admit a strictly smaller abelian host than the best binary host, 707 (71 percent) admit an optimal host containing a cyclic factor Zm with m>2, and only 17 graphs attain the theoretical order floor max(n,2^diam(G)). These results demonstrate that compact non-binary abelian hosts are typical rather than exceptional, while binary hosts remain the universal worst-case construction. 2020 MSC:05C12, 05C25, 05C30, 11B75, 20K01

Network realignment complexes were introduced by Kozlov. We generalise their definition to arbitrary connected base graphs. For a connected graph $G$, we characterise the connected components of the associated network realignment complex $X_G$ and show that $X_G$ admits an $\operatorname{Aut}(G)$-equivariant strong deformation retraction onto the disjoint union of a complete graph and a discrete $\operatorname{Aut}(G)$-space. For the complete base graph $K_n$, we study the metric structure of the network realignment graph $\mathcal{G}_n$ and obtain explicit upper and lower bounds for its diameter. Finally, we prove that $X_n$ is a cubical flag complex and that every automorphism of $X_n$ is induced by a relabelling of the underlying vertex set. In particular, $\operatorname{Aut}(X_n)\cong S_n$ for all $n\geq 5$.

The Graham-Pollak theorem says that one needs at least $n - 1$ complete bipartite graphs to cover each edge of a complete graph $K_{n}$ on $n$ vertices exactly once. The odd cover problem is a parity analogue which seeks the minimum number of complete bipartite graphs, denoted by $b_2(n)$, such that each edge of $ K_n $ is covered an odd number of times. An odd cover of a complte 3-graph $K_n^{(3)}$ on $n$ vertices is a family of complete $3$-partite $3$-graphs such that every triple is covered an odd number of times. Let $b_3(n)$ be the minimum size of such a family. The values of $b_2(n)$ and $b_3(n)$ are determined for some $n$ in several previous works. In this paper, we first determine the value of $b_2(n)$ for all $n$, which confirms a conjecture due to Buchanan et al. (JGT, 2026), and then show $b_3(n+1)=b_2(n)$ by which the value of $b_3(n)$ is determined for all $n$, that resolves a question posed by Leader and Tan (EJC, 2026).

Throughout, all graphs are simple, finite and have vertex sets of the form $\{ 0, 1, 2, \ldots, n - 1 \}$ for some $n \in \mathbb{N}$. For graphs $G$ and $H$, and a permutation group $Γ$ on the vertex set of $H$, we say that $H$ is $Γ$-embeddable in $G$ if there exists a graph homomorphism from $H$ to $G$ of the form $ψ\circ \varphi$, where $\varphi \in Γ$ and $ψ$ is an increasing injection. Recently, standard and ordered Ramsey numbers of graphs were unified through the introduction of permutational Ramsey numbers, defined as follows. For graphs $H_1, H_2, \ldots, H_k$ and permutation groups $Γ_1, Γ_2, \ldots, Γ_k$ on their respective vertex sets, the permutational Ramsey number $R(H_1^{Γ_1}, H_2^{Γ_2}, \ldots, H_k^{Γ_k})$ is the minimum $n \in \mathbb{N}$ such that for every $k$-edge-coloring of a complete graph on $n$ vertices, there exists some $j \in \{1, 2, \ldots, k\}$ for which $H_j$ is $Γ_j$-embeddable in the spanning subgraph of the complete graph comprising the edges of color $j$. Here, we consider reflective (resp. dihedral) Ramsey numbers, which are a specific class of permutational Ramsey numbers in which each group $Γ_j$ is the reflection group (resp. dihedral group) on the naturally ordered vertex set of $H_j$. Focusing on the two-color case, we apply the SAT-based approach originally proposed by Poljak for ordered Ramsey numbers and recently extended to cyclic Ramsey numbers. We utilize the Kissat SAT solver to obtain exact values and lower bounds for small reflective and dihedral Ramsey numbers whose two arguments belong to the following graph classes: monotone and alternating paths, monotone cycles, start-central stars, complete graphs and nested matchings. We also derive several general results and formulate conjectures based on the computational findings.

A drawing of a graph is {\em $x$-monotone} if every vertical line intersects each edge of the graph at most once. We present an $O(n^5)$ time algorithm for deciding whether a simple drawing of the complete graph $K_n$ is weakly isomorphic to an $x$-monotone drawing. We note that this algorithm can also decide whether a drawing of $K_n$ is strongly isomorphic to an $x$-monotone drawing.

Subdivisions of complete graphs play a central role in combinatorics, having deep connections to structural, extremal, and topological aspects of graph theory. A celebrated conjecture of Mader, proved independently by Bollobás and Thomason and by Komlós and Szemerédi, states that every graph of average degree of order $h^2$ contains a subdivision of $K_h$. In this paper, we consider the induced variant of this problem. A theorem of Kühn and Osthus implies that, for every fixed graph $H$ and every $s\ge 1$, graphs of sufficiently large average degree contain either a copy of $K_{s,s}$ or an induced subdivision of $H$. However, even for $H=K_h$, the best previous quantitative bounds were far from optimal. We prove nearly tight bounds for forcing induced subdivisions of $K_h$. We show that every $K_{s,t}$-free graph of average degree $Ω_{s,t}(h^{2(s-1)}\log^{7(s-1)} h)$ contains an induced subdivision of $K_h$, and that every $C_{2k}$-free graph with $k \geq 3$ and average degree $Ω_k(h\log^5 h)$ contains an induced subdivision of $K_h$. These bounds substantially improve the previously known results and are nearly optimal in both settings. They also hold if $K_h$ is replaced by any other graph on $h$ vertices.

We consider the set of matchings of a graph and a local change operation, called a flip, between them. In the combinatorial setting, the base graphs are either complete graphs or complete bipartite graphs, and in the geometric setting, the graphs are embedded on point sets in the plane, with the requirement that edges must be drawn as straight lines and must not cross. For base graphs with an even number of vertices, we consider perfect matchings, i.e., all vertices are matched, and for base graphs with an odd number of vertices, we consider almost-perfect matchings, i.e., all but one vertex of the graph are matched. A 2-flip between two perfect matchings exchanges two edges, and a 1-flip between two almost-perfect matchings exchanges one edge. The corresponding flip graph has the set of perfect or almost-perfect matchings as vertices, with pairs of them connected by an edge if they differ in a 2-flip or 1-flip, respectively. In this work, we provide a comprehensive picture of Hamiltonicity properties of these flip graphs. We prove that the flip graphs in the combinatorial setting are Hamilton-connected, i.e., they admit a Hamilton path between any two vertices, or, if the flip graphs are bipartite, we prove that they are Hamilton-laceable, i.e., they admit a Hamilton path between any two vertices from different partition classes. In the geometric setting, we prove that any path in them misses exponentially many vertices, in particular, they have no Hamilton paths or cycles. For points in convex position and almost-perfect matchings under 1-flips, we complement this by constructing a cycle in the flip graph that visits almost all vertices.