arXiv++ Combinatorics

An $r$-dynamic coloring of a graph $G$ is a proper vertex coloring in which every vertex $v$ sees at least $\min\{r,d(v)\}$ distinct colors in its neighborhood. The minimum number of colors in such a coloring is the $r$-dynamic chromatic number $χ_r(G)$. We study dynamic colorings of regular graphs. A straighforward observation shows that $χ_r(G)=χ(G^2)$, for any $r$-regular graph $G$. We prove that $χ_3(G)=χ(G^2)\le6$ for every claw-free cubic graph $G$, and the bound is sharp. For Hamiltonian claw-free cubic graphs, we improve the bound to $5$ apart from four explicit exceptions. We also determine exactly the $r$-dynamic chromatic number of the $4$-regular circulant graph $C_p(1,3)$ for each $r\in\{2,3,4\}$. In particular, the case $r=4$ determines $χ(C^2_p(1,3))$.

Tutte's flow conjectures ask when a graph has a nowhere-zero flow with small integer values. We approach these questions through spanning-tree packing and an analytic minimization argument of Alon, Bucić, and Davies. For every integer $q\ge2$, we prove that $q$ edge-disjoint spanning trees suffice to realize every compatible outdegree prescription modulo $q$. For odd prime moduli this proves the graphic Additive Base Conjecture. More generally, integer intervals of edge values realize every prescribed boundary when their widths satisfy the corresponding tree-packing inequalities. We strengthen this condition by allowing a deficit of two in every partition inequality, provided every cut has total width at least $q-1$. The allowance of two is sharp for $q\ge3$. Consequently, five-edge-connected graphs with at most ten odd-degree vertices are $\mathbb Z_3$-connected, and three-edge-connected graphs with at most fourteen odd-degree vertices are $\mathbb Z_5$-connected. Every orientation of a nine-edge-connected graph with at most fourteen odd-degree vertices admits an antisymmetric $\mathbb Z_5$-flow. The refinement also gives sharp bounds for extending preorientations after deleting edges or vertices, including the boundary case of $2q$-edge-connectivity. The same argument recovers Seymour's six-flow theorem, the three-flow theorem for six-edge-connected graphs, and the four-flow theorem for graphs with two edge-disjoint spanning trees. It also gives sharp circular-flow bounds and a cycle-rank bound strictly below six. We examine a five-flow reformulation obtained by tripling the edges of cubic graphs. A $46$-vertex graph of fractional packing number $41/9$ with no modulo-five orientation shows that packing greater than $9/2$ alone does not guarantee such an orientation in arbitrary graphs.

We study which graph classes determine every graph with simple spectrum up to isomorphism by homomorphism counts from their members. We show that such a class has unbounded treewidth and Euler genus and contains a graph with the complete graph on seven vertices as a minor. To prove these conditions, we construct pairs of non-isomorphic cospectral graphs with simple spectrum, each bipartite, nonsingular and of maximum degree at most six. The construction attaches rooted trees to Cai-Furer-Immerman graphs and preserves homomorphism indistinguishability over every minor-closed class. We then prove that subcubic homomorphism counts determine every graph whose adjacency matrix has kernel dimension at most one. This extends the known result for nonsingular graphs and applies to all graphs with simple spectrum. We also prove that two graphs have the same subcubic homomorphism counts if and only if they have the same number of vertices and there is a bijective linear isometry between the images of their adjacency matrices that intertwines the adjacency operators and preserves the coordinatewise trilinear forms. Finally, we prove that homomorphism counts from the single-vertex graph and from subdivisions of any sequence of connected cubic graphs have the same distinguishing power as subcubic homomorphism counts if every complete graph is a minor of some member of the sequence.

The location-domination number is conjectured to be at most half of the order for twin-free graphs with no isolated vertices. We prove that this conjecture holds and is tight for subcubic graphs. We also show that the same upper bound holds for subcubic graphs with open twins of degree 3 and closed twins of any degree, but not for subcubic graphs with open twins of degree 1 or 2. These results then imply that the same upper bound holds for all cubic graphs (with or without twins) except $K_4$ and $K_{3,3}$.

A dominating set $D$ of a graph is called $1$-limited if every vertex of $D$ has at most one neighbor outside $D$, while a $(1,2)$-dominating set is a dominating set in which every vertex of the set has at least two neighbors within the set. These two notions coincide on cubic graphs. We prove that the decision problem 1-Limited Dominating Set is $\mathsf{NP}$-complete even when restricted to $2$-connected planar cubic graphs, thereby completing the known complexity results for $k$-Limited Dominating Set for all fixed positive integers $k$. We also determine the exact $1$-limited domination number of the entire Goldberg family. This provides a further infinite family of cubic graphs supporting several open conjectures and proposed bounds concerning $(1,2)$-domination and induced cycles.

The Berge conjecture [Proc. London Math. Soc., 1979] asserts that every bridgeless cubic graph can be covered by five perfect matchings. The 5-cycle double cover conjecture, proposed independently by Preissmann (1981) and Celmins (1984), asserts that every bridgeless graph admits five even subgraphs such that every edge belongs to exactly two of them. Hakobyan and Mkrtchyan [Ars Math. Contemp., 2019] proved that the 5-cycle double cover conjecture holds if and only if every bridgeless claw-free cubic graph can be covered by four perfect matchings. In this paper, we prove that the Berge conjecture holds for bridgeless claw-free cubic graphs. Moreover, we show that every bridgeless claw-free cubic graph $G$ admits four perfect matchings that cover at least $\frac{299}{315}|E(G)|$ edges.

In 1988, Jaeger conjectured that every bridgeless cubic graph $G$ admits a Petersen coloring; that is, a map $E(G) \to E(P)$ mapping any two adjacent edges of $G$ to two adjacent edges of the Petersen graph $P$. A positive resolution of Jaeger's conjecture would have immediately resolved several other famous and long-standing problems in graph theory. In July 2026, a 68-vertex counterexample was announced on X. Shortly afterwards, Putman independently presented two non-isomorphic 112-vertex counterexamples, relying solely on computer-assisted verification. In this paper, we present two counterexamples of order $52$, currently the smallest known, and provide a purely theoretical proof. In the second part, we construct an infinite family of cyclically $4$-edge-connected cubic graphs without a Petersen coloring for every even order at least $60$. Additionally, through computational verification, we show that any counterexample must have order at least $40$. Moreover, we show that our counterexamples provide a negative answer to other related problems. Finally, we conclude the paper by discussing key open problems and highlighting avenues for future work.

We discuss the question whether the existence of perfect matchings in a cubic graph can be seen from the spectrum of its adjacency matrix. For regular graphs in general and for three edge-disjoint perfect matchings in a cubic graph (that is, an edge colouring with three colors) the answer is known to be negative. In the latter case, a few counter examples (found by computer) are known. Here we show that these counter examples can be extended to an infinite family by use of truncation. Thus we obtain infinitely many pairs of cospectral cubic graphs with different edge-chromatic number. For all these pairs both graphs have a perfect matching, and the mentioned question is still open. We obtain a few more results concerning spectral characterisations of cubic graphs, and point out a serious mistake in Section 3 of an earlier version of this paper.

We exhibit a cubic graph with total chromatic number equal to four and list total chromatic number five. This disproves the List Total Colouring Conjecture of Borodin--Kostochka--Woodall, Juvan--Mohar--Škrekovski and Hilton--Johnson from the late 1990s. ChatGPT 6 Astra Ultra discovered the counterexample with little input from the author.

We construct a finite connected simple cubic graph $F$ such that every signing of its edges yields a signed adjacency matrix with an eigenvalue outside $[-2\sqrt2,2\sqrt2]$. This disproves the Bilu--Linial signing conjecture for general regular graphs. The graph $F$ is not Ramanujan, and the conjecture restricted to Ramanujan base graphs remains open.

Efficient total girth colorings (or ETGCs) of maps of connected simple cubic graphs of girth 4 are reanalyzed in genus-realizing orientable surfaces, where the ETGC condition applies to the restriction of each color class to the vertex set. A necessary condition for such ETGCs to exist is that the maps considered to admit them have only face-cycle lengths divisible by 4. When such ETGCs exist, for which seven constructive tools are provided (four old and three new), the faces of the involved maps are shown to be colorable by the six 3-permutations whenever the face color cycles are length 4 periodic.Moreover, for the vertex coloring of each ETGC, there are two mutually orthogonal subjacent edge colorings leading to two corresponding mutually orthogonal ETGCs distinguishable as the directed ETGC and the reversed ETGC. Furthermore, there are two injections into the set of 3-permutation face colorings: one from the set of periodic directed ETGCs and the other one from the set of periodic reversed ETGCs. Throughout the work, questions and conjectures are posed, among which one asserting that all ETGCs are obtained solely by means of the seven mentioned tools.

A graph $G$ is det-extremal if $|\operatorname{det} A|=\operatorname{per} A$ for its adjacency matrix $A$. Det-extremal cubic bipartite graphs arise in the study of Pólya's permanent problem, and McCuaig characterized the $3$-connected ones as vertex-sums of copies of the Heawood graph. The total domatic number of a graph is the largest number of pairwise disjoint total dominating sets. Characterization of the cubic graphs with total domatic number $1$ has been a long-standing open problem. In this paper, we prove that a connected cubic graph is det-extremal if and only if its total domatic number is $1$. We further show that McCuaig's characterization extends to all $3$-connected cubic graphs, and that every connected det-extremal cubic graph has girth $3$, $5$ or $6$. We also prove that a connected det-extremal cubic non-bipartite graph has at least $28$ vertices, and that this bound is best possible. Through this correspondence, these results carry over to cubic graphs with total domatic number $1$. In addition, in the language of configurations, our results imply that every triangle-free $3$-configuration has a blocking set.

For distinct integers $a$ and $b$, an $\{a,b\}$-edge-weighting assigns $a$ or $b$ to each edge and labels each vertex by the sum of its incident weights. Such a weighting is proper if adjacent vertices receive distinct labels. We prove that, for every fixed pair of distinct integers, deciding whether a proper weighting exists is NP-complete even for simple cubic planar graphs. On planar multigraphs with $m$ edges, we give an exact $2^{O(\sqrt m)}$-time algorithm and, assuming the Exponential Time Hypothesis (ETH), exclude $2^{o(\sqrt m)}$-time algorithms even for simple cubic planar graphs. As a consequence, locally irregular $2$-edge-coloring is NP-complete on simple cubic planar graphs, admits a deterministic $2^{O(\sqrt n)}$-time algorithm on $n$-vertex graphs in this class, and admits no $2^{o(\sqrt n)}$-time algorithm under ETH. For maximizing the number of edges joining vertices with distinct labels, we give a deterministic efficient polynomial-time approximation scheme (EPTAS) on planar multigraphs, a polynomial-time $1/2$-approximation on multigraphs, and APX-completeness even on simple cubic graphs. Extending a partial $\{a,b\}$-edge-weighting to a proper one is NP-complete for every fixed pair even on simple cubic planar bipartite graphs, while it is polynomial-time solvable on trees. The hardness persists even when the prescribed edges form disjoint paths of length $6$ and all edges of each path have the same prescribed weight.

We combine two coloring aspects that work in opposite directions. One can 2-color the vertices of a cubic graph such that each monochromatic component is very small. One can also 2-color the vertices of a cubic graph such that each monochromatic component has degree at least 1. As an intended tool for solving a special case of Wegner's conjecture, Thomassen formulated a conjecture that combined the two previous properties. This led to the concept of a crumby coloring. However it turned out that there are cubic graphs without such coloring. Here we try to see what natural relaxations of the original concept might hold for each cubic graph. We show there exists a constant $c$ such that every cubic graph has a vertex 2-coloring such that every monochromatic component has at least 2 and at most $c$ vertices. We also prove an unbalanced version, which is the natural relaxation of the crumby coloring.

Let $G$ be a cubic graph admitting a $2$-factor consisting of exactly two odd circuits, and let the complementary $1$-factor contain precisely three spokes (along with an arbitrary number of chords). We show that four perfect matchings can cover $G$. As a consequence, $G$ fulfils the 7/5-Conjecture of Alon and Tarsi.

The Erdős-Gyárfás conjecture posits that every graph with minimum degree at least three contains a cycle of length some power of two. We prove a few simple structural properties for any minimal counter-example to this conjecture. In particular, the fraction of its vertices of degree three must be greater than $2/3$, thus improving on the prior bound of $4/7$ (Carr, 2026). Furthermore, it is either biconnected or the $1$-clique-sum of two biconnected graphs. By exploiting some of these properties, we were able to verify the conjecture for every graph of order at most $40$, every bipartite graph of order at most $66$, and every cubic graph of order at most $48$.

A proof of the cycle double cover conjecture was recently announced, yielding an $8$-cycle double cover for every bridgeless graph. The stronger $5$-cycle double cover conjecture, which is still open, is equivalent to the statement that the edge set of every bridgeless claw-free cubic graph can be covered by at most four perfect matchings. Perfect matchings in bridgeless cubic graphs have been studied extensively, with two of the main conjectures in this area being the Berge--Fulkerson and the Fan--Raspaud conjectures. The latter, a consequence of the former, states that every bridgeless cubic graph admits three perfect matchings $M_1, M_2, M_3$ such that $M_1\cap M_2\cap M_3=\emptyset$. Here we show that the Fan--Raspaud conjecture is true for bridgeless claw-free cubic graphs. This also gives further information on the interaction of perfect matchings in a class where the $5$-cycle double cover conjecture requires control of four of them.

A graph is 1-planar if it has a drawing in which every edge is crossed at most once. We show that the smallest cubic non-1-planar graphs have $30$ vertices. Two such graphs are the Tutte-Coxeter graph of girth eight and a graph of girth seven that we call the Byte graph. Every subcubic graph with fewer than $30$ vertices is 1-planar. Our proof is computer-assisted, but directly testing all relevant graphs is impractical. To establish non-1-planarity of the two graphs, we extend a SAT-based solver with a custom clause propagator based on separating cycles and a case split based on graph automorphisms, allowing independent cases to be solved in parallel. To show that all smaller subcubic graphs are 1-planar, we introduce the concept of $k$-flexibility: every set of at most $k$ prescribed edges can remain uncrossed in some 1-planar drawing. We use this property to reconstruct 1-planar drawings of larger graphs from drawings of smaller $k$-flexible graphs. This replaces exhaustive testing of more than forty billion cubic graphs with computations on far fewer graphs of smaller order.

A set $S$ of vertices of a graph $G$ is a connected mutual-visibility set if every two vertices of $S$ are joined by a shortest path whose internal vertices lie outside $S$, and the subgraph induced by $S$ is connected. We introduce the connected mutual-visibility number $μ_c(G)$, defined as the maximum cardinality of such a set, and investigate its structural and algorithmic properties. We establish fundamental bounds, derive Nordhaus--Gaddum type inequalities, and characterise the graphs attaining the minimum and maximum possible values. For regular $(d,2,-δ)$-graphs, we derive general bounds on $μ_c(G)$ and determine its exact value for the two cubic graphs of defect $2$. We further show that $μ_c(G)$ is determined locally by the block structure of $G$, namely, it is equal to the maximum of the corresponding values over the blocks of $G$. Finally, we present a polynomial-time algorithm for recognising connected mutual-visibility sets and prove that the associated decision problem is $\mathsf{NP}$-complete, even for connected bipartite graphs of diameter at most $4$.

Thomassen (J. Combin. Theory Ser. B 108 (2014), 81-91) showed that every graph admitting a nowhere-zero $3$-flow also admits an $S^1$-flow. He also proved that the converse holds for cubic graphs, but constructed counterexamples showing it fails in general. Wang et al. (SIAM J. Discrete Math. 29 (2015), 2166-2178) presented a couple of sufficient conditions under which the existence of an $S^1$-flow guarantees the existence of a nowhere-zero 3-flow. In this paper, we first prove that a graph with maximum degree at most four admits a nowhere-zero $3$-flow if and only if it admits an $S^1$-flow. We then develop some reduction techniques for $S^1$-flows based on graph operations including bull-growth, $2$-sums, and contractions. Finally, we apply those techniques to characterize triangularly connected graphs and graphs containing a spanning triangle-tree that admit $S^1$-flows, respectively.