arXiv++ Combinatorics

We study the domination number $γ(Q_n^3)$ of the three-dimensional $n \times n \times n$ queen graph. The main result is a stratified theorem computing, for each position type -- corner, edge, face, or interior -- the number of inner-core vertices dominated by a queen, and showing in particular that interior placements dominate strictly more core cells than boundary placements. This yields a symmetry-reduction principle via the octahedral group and complements the standard counting lower bound and layered upper bound, giving $γ(Q_n^3) = Θ(n^2)$. We also certify exact values for $n \leq 6$ via integer linear programming and independent verification.

As part of the graph minor project, Robertson and Seymour showed in 1990 that the class of graphs that can be embedded in a given surface can be characterized by a finite set of minimal excluded minors. However, their proof, because existential, provides no explicit information about these excluded minors. In 1993, Seymour established the first upper bound on the order of such minimal excluded minors. Very recently, Houdaigoui and Kawarabayashi improved this result by deriving a quasi-polynomial upper bound. Despite this progress, the gap between this bound and the known linear lower bound $Ω(g)$ (where $g$ denotes the genus) remains substantial. In particular, they conjectured that a polynomial upper bound should hold. In this paper, we confirm this conjecture by showing that the order of the minimal excluded minors for a surface of genus $g$ is $O(g^{8+\varepsilon})$ for every $\varepsilon >0$. This result significantly narrows the gap between the known lower and upper bounds, bringing the asymptotic behavior much closer to the conjectured optimum. Our approach introduces a new forbidden structure of minimal excluded minors. Let $G$ be a minimal excluded minor for a surface of Euler genus $g$. Houdaigoui and Kawarabayashi showed that $G$ contains $O(\log g)$ pairwise disjoint cycles that are contractible and nested in some embedding of $G$. We strengthen this result by proving a separator-based variant: for any contractible subgraph $H \subseteq G$ with a separator of size $s$ (with $H$ completely contained in one side), the subgraph $H$ contains $O(\log s)$ disjoint cycles that are contractible and nested in some embedding of $G$. This allows us to replace a genus-dependent bound with a separator-dependent one, which is the main new ingredient in deriving our polynomial bound.

Sample compression schemes were defined by Littlestone and Warmuth (1986) as an abstraction of the structure underlying many learning algorithms. In a sample compression scheme, we are given a large sample of vertices of a fixed hypergraph with labels indicating the containment in some hyperedge. The task is to compress the sample in such a way that we can retrieve the labels of the original sample. The size of a sample compression scheme is the amount of information that is kept in the compression. Every hypergraph with a sample compression scheme of bounded size must have bounded VC-dimension. Conversely, Moran and Yehudayoff (J. ACM, 2016) showed that every hypergraph of bounded VC-dimension admits a sample compression scheme of bounded size. We study a specific class of hypergraphs emerging from balls in graphs. The schemes that we construct (contrary to the ones constructed by Moran and Yehudayoff) are \textit{proper}, meaning that we retrieve not only the labeling of the original sample but also a hyperedge (ball) consistent with the original labeling. First, we prove that for every graph $G$ of treewidth at most $t$, the hypergraph of balls in $G$ has a proper sample compression scheme of size $\mathcal{O}(t\log t)$; this is tight up to the logarithmic factor and improves the quadratic (improper) bound that follows from the result of Moran and Yehudayoff. Second, we prove an analogous result for graphs of cliquewidth at most $t$.

Let $R$ be a commutative ring with identity and let $Z^{\ast}(R)$ denote the set of nonzero zero-divisors of $R$. The \emph{zero-divisor graph} $ \varGamma(R)$ is the simple graph with vertex set $V( \varGamma(R))=Z^{\ast}(R)$, where two distinct vertices$x,y\in Z^{\ast}(R)$ are adjacent if and only if $xy=0$ in $R$. In this paper we investigate the zero-divisor graph of the truncated polynomial ring $R=\mathbb{Z}_{p}[x]/\langle x^{c}\rangle,$ for $c\in\mathbb{N}.$ We determine the spectrum of the $A_α$-matrix associated with $ \varGamma(R)$, and, as special cases, explicitly obtain both the adjacency spectrum and the signless Laplacian spectrum of $ \varGamma(R)$. Furthermore, we prove that the Laplacian eigenvalues, as well as the distance eigenvalues, of these graphs are all integers.

We revisit a classical paper about (even hole, triangle)-free graphs [Conforti, Cornuéjols, Kapoor and Vu\v sković, Triangle-free graphs that are signable without even holes, Journal of Graph Theory, 34(3), 204--220, 2000]. In fact, the previous study describes a more general class, the so called triangle-free odd signable graphs, and we further generalise the class to the (theta, triangle, wac)-free graphs (not worth defining in an abstract). We exhibit a stronger structure theorem, by precisely describing basic classes and separators. We prove that the separators preserve the treewidth and several properties. Some consequences are a recognition algorithm with running time $O(|V(G)|^4|E(G)|)$, a proof that the treewidth of graphs in the class is at most~4 (improving a previous bound of~5), and a simple criterion to decide if a graph in the class is planar.

We present an approach to enumerate graphs whose automorphism group has exactly two orbits. Our method exploits the observation that we can enumerate all graphs whose automorphism group contains a given this permutation group. We obtain the relevant groups via Goursat's lemma. In order to scale the enumeration, we employ additional optimizations that prune irrelevant groups. In total, we enumerate, for the first time, all connected two-orbit graphs of up to 27 vertices, totaling 10,094,721 graphs, pushing the state of the art well beyond what direct enumeration methods can achieve.

We investigate the relationship between the lexicographic product of graphs and their multi-word-representation number. Although the lexicographic product of two word-representable graphs need not itself be word-representable, a precise characterization has not previously been established. We provide a complete characterization, showing that for word-representable graphs $G_1$ and $G_2$, the lexicographic product $G_1 \circ G_2$ is word-representable if and only if $G_2$ is a comparability graph. For lexicographic powers, we prove that $G^{[k]}$ is word-representable if and only if $G$ is a comparability graph. The multi-word-representation number $μ$ for lexicographic powers and products satisfies the following bounds. If $G$ is a non-comparability graph, then $μ(G^{[k]}) \le k$, whereas if $G$ is the union of two comparability graphs, then $μ(G^{[k]}) = 2$. More generally, for graphs $G_1$ and $G_2$ with $μ(G_1) = k_1$ and $μ(G_2) = k_2$, the lexicographic product $H = G_1 \circ G_2$ satisfies the upper bound $μ(H) \le k_1 + k_2$. This bound is tight, with equality $μ(H) = k_1$, when $k_1 \ge k_2$ and $G_2$ is the union of $k_1$ comparability graphs. Moreover, if $G_1$ and $G_2$ are minimal non-word-representable graphs, then $μ(G_1 \circ G_2) \le 3$. Finally, we study the function $τ(n)$, which measures the size of the largest word-representable induced subgraph guaranteed in every $n$-vertex graph. By constructing extremal graphs via lexicographic powers, we establish a sublinear upper bound, showing that $τ(n) \le n^{0.86}$ for sufficiently large $n$.

We consider the following question of Knuth: given a directed graph $G$ and a root $r$, can the arborescences of $G$ rooted in $r$ be listed such that any two consecutive arborescences differ by only one arc? Such an ordering is called a pivot Gray code and can be formulated as a Hamiltonian path in the reconfiguration graph of the arborescences of $G$ under arc flips, also called flip graph of $G$. We give a positive answer for tournaments and explore several conditions showing that the flip graph of a directed graph may contain no Hamiltonian cycles.

We study two related problems on simple, un-directed graphs: Edge Deletion to Cactus and Spanning Tree to Cactus. Edge Deletion to Cactus has been known to be NP-hard on general graphs at least since 1988. We show improved exact algorithms for the former and a polynomial time algorithm for the latter.

Let $G$ be a finite simple graph. An independent set $I$ of $G$ is critical if $\left|I\right|-\left|N(I)\right|\ge\left|J\right|-\left|N(J)\right|$ for every independent set $J$ of $G$. A critical independent set is maximum if it has maximum cardinality. The $core$ and the $nucleus$ of $G$ are defined as the intersection of all maximum independent sets and the intersection of all maximum critical independent sets, respectively. In 2019, Jarden, Levit, and Mandrescu posed the problem of characterizing the graphs satisfying $core(G)=nucleus(G)$. In this paper, we provide a complete solution to this problem. Using Larson's independence decomposition, which partitions any graph into a König--Egerváry component $L_G$ an a $2$-bicritical component $L_G^c$, we establish that $core(G)=nucleus(G)$ holds if and only if $core ({L_G^c})=\emptyset$ and no vertex of $corona(G)$ lies in the boundary between $L_G$ and $L_G^c$. We also show that the same boundary condition is equivalent to the identity $diadem(G)=corona(G) \cap L(G)$. Several consequences and related structural properties are also derived.

Lopsided sets were introduced by Jim Lawrence in 1983 when he studied the subsets of $\{-1,+1\}^E$ that encode the intersection pattern of a convex set $K$ with the orthants of ${\mathbb R}^E$. Lopsided sets have been independently rediscovered by several other authors, in particular by Andreas Dress in 1995, who called them \emph{ample} sets. Dress defined ample sets as the set families satisfying equality in a combinatorial inequality, which holds for all set families. In a previous article we characterized ample sets in various combinatorial and graph-theoretical ways. In this paper we study geometric realizations of ample sets as cubihedra (cube complexes), which yields several new characterizations. One such characterization establishes that the cubihedra of ample sets endowed with the intrinsic $\ell_1$-metric are exactly the isometric subspaces of $\ell_1$-spaces (which we call, weakly convex sets). We also view the barycenter maps of faces of cubihedra of ample sets as collections of $\{ \pm 1, 0\}$-sign vectors and, in analogy with the characterization of oriented matroids by the covectors and the cocircuits. Moreover, we characterize the collections of $\{ \pm 1, 0\}$-sign vectors corresponding to barycenter maps of all faces and all maximal faces of an ample set. Furthermore, we show that any ample set $\covectors\subseteq \{ -1,+1\}^E$ is realizable as the intersection pattern of a weakly convex set $K$ with the orthants of ${\mathbb R}^E$. All this testifies that the concept of ample sets is quite natural in the context of cube complexes.

Extremal Graph Theory heavily relies on exploring bounds and inequalities between graph invariants, a task complicated by the rapid combinatorial explosion of graphs. Various tools have been developed to assist researchers in navigating this complexity, yet they typically rely on heuristic, probabilistic, or non-exhaustive methods, trading exactness for scalability. PHOEG takes a different stance: rather than approximating, it commits to an exact approach. PHOEG is an interactive online tool (https://phoeg.umons.ac.be) designed to assist researchers and educators in graph theory. Building upon the exact geometrical approach of its predecessor, GraPHedron, PHOEG embeds graphs into a two-dimensional invariant space and computes their convex hull, where facets represent inequalities and vertices correspond to extremal graphs. PHOEG modernizes and expands this approach by offering a comprehensive web interface and API, backed by an extensive database of pairwise non-isomorphic graphs including all graphs up to order 10. Users can intuitively define invariant spaces by selecting a pair of invariants, apply constraints and colorations, visualize resulting convex polytopes, and seamlessly inspect the corresponding drawn graphs. In this paper, we detail the software architecture and new web-based features of PHOEG. Furthermore, we demonstrate its practical value in two primary contexts: in research, by illustrating its ability to quickly identify conjectures or counterexamples to conjectures, and in education, by detailing its integration into university-level coursework to foster student discovery of classical graph theory principles. Finally, this paper serves as a brief survey of the extremal results and conjectures established over the past two decades using this geometric approach.

In 1981, Lubiw proved that the fixed point free automorphism problem (FPFAut) is NP-complete: given a graph G, determine whether there exists an automorphism that maps no vertex of G to itself. We revisit this problem and prove that FPFAut remains NP-complete when restricted to split, bipartite, k-subdivided, and H-free graphs, if H is not an induced subgraph of P_4. The class of P_4-free graphs receives the special name of cographs. We provide a polynomial time algorithm for three extensions of cographs: bounded modular-width graphs, tree-cographs and P_4-sparse graphs. Our approach uses the well known modular decomposition of graphs. As a consequence, we generalize a result of Abiad et. al. on the problem of computing 2-homogeneous equitable partitions.

In a colouring of a graph, a vertex is b-chromatic if it is adjacent to a vertex of every other colour. We consider four well-studied colouring problems: b-Chromatic Number, Tight b-Chromatic Number, Fall Chromatic Number and Fall Achromatic Number, which fit into a framework based on whether every colour class has (i) at least one b-chromatic vertex, (ii) exactly one b-chromatic vertex, or (iii) all of its vertices being b-chromatic. By combining known and new results, we fully classify the computational complexity of b-Chromatic Number, Fall Chromatic Number and Fall Achromatic Number in $H$-free graphs. For Tight b-Chromatic Number in $H$-free graphs, we develop a general technique to determine new graphs $H$, for which the problem is polynomial-time solvable, and we also determine new graphs $H$, for which the problem is still NP-complete. We show, for the first time, the existence of a graph $H$ such that in $H$-free graphs, b-Chromatic Number is NP-hard, while Tight b-Chromatic Number is polynomial-time solvable.

Tree-ordered weakly sparse models have recently emerged as a robust framework for representing structures in an ``almost sparse'' way, while allowing the structure to be reconstructed through a simple first-order interpretation. A prominent example is given by twin-models, which are bounded twin-width tree-ordered weakly sparse representations of structures with bounded twin-width derived from contraction sequences. In this paper, we develop this perspective further. First, we show that twin-models can be chosen such that they preserve linear clique-width or clique-width up to a constant factor. Then, we introduce \emph{merge-models}, a natural analog of twin-models for merge-width. Merge-models represent binary relational structures by tree-ordered weakly sparse structures. The original structures can then be recovered by a fixed first-order interpretation. A merge-model can be constructed from a merge sequence. Then, its radius-$r$ merge-width will be, up to a constant factor, bounded by the radius-$r$ width of the merge sequence from which it is derived. Finally, we show that twin-models arise naturally as special cases of merge-models, and that binary structures with bounded twin-width are exactly those having a loopless merge-model with bounded radius-$r_0$ merge-width (for some sufficiently large constant $r_0$).

We prove that the directed 3-torus D_3(m), or equivalently the Cartesian product of three directed m-cycles, admits a decomposition into three arc-disjoint directed Hamilton cycles for every integer m >= 3. The proof reduces Hamiltonicity to the m-step return maps on the layer section S=i+j+k=0. For odd m, five Kempe swaps of the canonical coloring produce return maps that are explicitly affine-conjugate to the standard 2-dimensional odometer. For even m, a sign-product invariant rules out Kempe-from-canonical constructions, and a different low-layer witness reduces after one further first-return map to a finite-defect clock-and-carry system. The remaining closure is a finite splice analysis, and the case m=4 is handled separately by a finite witness. A Lean 4 formalization accompanies the construction.

We give a near-linear time 4-coloring algorithm for planar graphs, improving on the previous quadratic time algorithm by Robertson et al. from 1996. Such an algorithm cannot be achieved by the known proofs of the Four Color Theorem (4CT). Technically speaking, we show the following significant generalization of the 4CT: every planar triangulation contains linearly many pairwise non-touching reducible configurations or pairwise non-crossing obstructing cycles of length at most 5 (which all allow for making effective 4-coloring reductions). The known proofs of the 4CT only show the existence of a single reducible configuration or obstructing cycle in the above statement. The existence is proved using the discharging method based on combinatorial curvature. It identifies reducible configurations in parts where the local neighborhood has positive combinatorial curvature. Our result significantly strengthens the known proofs of 4CT, showing that we can also find reductions in large ``flat" parts where the curvature is zero, and moreover, we can make reductions almost anywhere in a given planar graph. An interesting aspect of this is that such large flat parts are also found in large triangulations of any fixed surface. From a computational perspective, the old proofs allowed us to apply induction on a problem that is smaller by some additive constant. The inductive step took linear time, resulting in a quadratic total time. With our linear number of reducible configurations or obstructing cycles, we can reduce the problem size by a constant factor. Our inductive step takes $O(n\log n)$ time, yielding a 4-coloring in $O(n\log n)$ total time. In order to efficiently handle a linear number of reducible configurations, we need them to have certain robustness that could also be useful in other applications. All our reducible configurations are what is known as D-reducible.

Graph states are a key resource for measurement-based quantum computation and quantum networking, but state-preparation costs limit their practical use. Graph states related by local complement (LC) operations are equivalent up to single-qubit Clifford gates; one may reduce entangling resources by preparing a favorable LC-equivalent representative. However, exhaustive optimization over the LC orbit is not scalable. We address this problem using the split decomposition and its quotient-augmented strong split tree (QASST). For several families of distance-hereditary (DH) graphs, we use the QASST to characterize LC orbits and identify representatives with reduced controlled-Z count or preparation circuit depth. We also introduce a split-fuse construction for arbitrary DH graph states, achieving linear scaling with respect to entangling gates, time steps, and auxiliary qubits. Beyond the DH setting, we discuss a generalized divide-and-conquer split-fuse strategy and a simple greedy heuristic for generic graphs based on triangle enumeration. Together, these methods outperform direct implementations on sufficiently large graphs, providing a scalable alternative to brute-force optimization.

It was proved in (Levit and Mandrescu, 2022) that both $(V(G), Crown(G))$ and $(V(G), CritIndep(G))$ are augmentoids, established partial augmentation phenomena for the family $Ψ(G)$ of local maximum independent sets, and asked in Problem~5.5 to characterize the graphs whose family $Ψ(G)$ is an augmentoid. We prove that the answer is positive in full generality: for every finite simple graph $G$, the set system $(V(G),Ψ(G))$ is an augmentoid. The proof is constructive. If $S,T\inΨ(G)$, then the explicit choice \[ A=S \setminus N[T],\qquad B=T \setminus N[S] \] satisfies \[ T\cup A\inΨ(G),\qquad S\cup B\inΨ(G),\qquad |T\cup A|=|S\cup B|. \] As a structural consequence, for every fixed $S\inΨ(G)$ the map $T\mapsto S\cup T$ induces a canonical bijection from $Ψ(G-N[S])$ onto the members of $Ψ(G)$ containing $S$, and \[ α(G)=|S|+α(G-N[S]). \] This decomposition also yields explicit formulas for the intersection and the union of all the maximum independent sets extending $S$, together with counting formulas for the local maximum and maximum independent sets containing $S$. We also add a short visual guide to the framework $CritIndep(G) \subseteq Crown(G)\subseteq Psi(G)$ and end with several natural follow-up problems suggested by the theorem.

In a digraph $D=(V,A)$, an oriented path is a sequence $P=x_1x_2\dots x_p$ of distinct vertices such that either $x_ix_{i+1}\in A$ or $x_{i+1}x_{i}\in A$ or both for every $i\in [p-1]$. If $x_ix_{i+1}\in A$ in $P$, then $x_ix_{i+1}$ is a forward arc of $P$; otherwise, $x_{i+1}x_{i}$ is a backward arc. The independence number $α(D)$ is the maximum integer $p$ such that $D$ has a set of $p$ vertices where there is no arc between any pair of vertices. A digraph is $k$-connected if its underlying undirected graph is $k$-connected. Freschi and Lo (JCT-B 2024) proved that every $n$-vertex oriented graph with minimum degree $δ\ge n/2$ has a Hamilton oriented cycle with at most $n-δ$ backward arcs. We prove that every 2-connected digraph $D$ with $α(D)\le 2$ has a Hamilton oriented cycle with at most five backward arcs, and every 1-connected digraph $D$ with $α(D)\le 2$ has a Hamilton oriented path with at most two backward arcs.