arXiv++ Combinatorics

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.

We study how covering a graph by a small number of shortest or approximately shortest paths/walks constrains its treewidth and pathwidth. A path or walk is $(α,β)$-quasi-shortest for $α\geq1$ and $β\geq 0$ if each contiguous segment has length at most $α$ times the distance between its endpoints plus $β$. For graphs vertex-covered by $k$ shortest paths, we establish the first known polynomial pathwidth bound of $O(k^3)$. For edge-coverage, we improve the previously known $O(k^4)$ upper bound to $O(k^2\log k)$. As a main ingredient of the proofs, we first show that if the vertices of a graph can be covered by $k$ $(α,β)$-quasi-shortest paths or walks, then its treewidth is $O_{α,β}(k^2)$; this is a consequence of the fact that such graphs have linear metric growth and the technique developed in [Campbell et al., E-JC 2023]. To obtain the above pathwidth upper bounds, we combine this result with techniques from the literature in a nontrivial way. On the other hand, we show that there exist connected bipartite cubic graph whose edges can be covered by $k$ shortest paths and whose pathwidth is $Ω(k\log k)$, providing the first superlinear lower bound. For graphs covered by $k=2$ $(α,0)$-quasi-shortest paths with $α>1$, we show that, unlike treewidth and unlike the case $α=1$ and $β=0$ of exact shortest paths, the pathwidth may be unbounded. Finally, for every fixed rationals $α\geq1$ and $β\geq 0$, we give XP algorithms with a running time of $n^{f(k,α,β)}$ for some function~$f$ that decide whether the vertices of a graph can be covered by at most $k$ $(α,β)$-quasi-shortest paths or walks. The algorithms combine our treewidth upper bounds with an algorithmic meta-theorem from [Dreier et al., LICS 2025]. [abstract shortened to meet the arXiv requirements]

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.

Heckman and Krakovski proved that every 3-connected cubic planar graph contains a cycle of length 2^m for some 2 $\le$ m $\le$ 7. We extend this to 3-connected cubic graphs embedded in the real projective plane with face-width at least three and edge-width at least 48; the cycle may moreover be taken contractible. The argument passes to the spherical double cover, where the planar theorem provides the cycle inside a subgraph of diameter at most 47, and the condition on the edge-width guarantees that this subgraph projects injectively.

A set $D\subseteq V(G)$ is a $1$-limited dominating set of a graph $G$ if every vertex outside $D$ has a neighbor in $D$ and every vertex of $D$ has at most one neighbor outside $D$. The minimum cardinality among all $1$-limited dominating sets of $G$ is denoted by $γ_1^{\mathrm L}(G)$. For every cubic graph $G$ of order $n$, there exists a nonnegative integer $t$ such that $γ_1^{\mathrm L}(G)=\frac n2+t$. We establish structural properties of $1$-limited dominating sets in terms of $t$ and use them to study the induced cycles vertex number, that is, the maximum number of vertices inducing a $2$-regular subgraph. As applications, we determine the exact $1$-limited domination numbers of generalized Blanuša snarks and flower snarks.

In 2018, Goddard and Henning conjectured that every cubic graph has four total dominating sets covering each vertex at most twice, and asked the analogous question for transversals of $3$-uniform $3$-regular hypergraphs. We prove the conjecture, which also answers the question in the affirmative.

A dominating set in a graph $G$ is a set $S$ of vertices such that every vertex in $V(G) \setminus S$ is adjacent to a vertex in $S$. A restrained dominating set of $G$ is a dominating set $S$ with the additional restraint that the graph $G - S$ obtained by removing all vertices in $S$ is isolate-free. The domination number $γ(G)$ and the restrained domination number $γ_{r}(G)$ are the minimum cardinalities of a dominating set and restrained dominating set, respectively, of $G$. Let $G$ be a cubic graph of order~$n$. A classical result of Reed [Combin. Probab. Comput. 5 (1996), 277--295] states that $γ(G) \le \frac{3}{8}n$, and this bound is best possible. To determine a best possible upper bound on the restrained domination number of $G$ is more challenging, and we prove that $γ_{r}(G) \le \frac{2}{5}n$.

Let $G=(V(G),E(G))$ be a finite connected simple cubic graph. A total coloring $μ:V(G)\cup E(G)\rightarrow\{0,1,2,3\} $ is efficient if each color yields an efficient dominating set, where the efficient dominating condition applies to the restriction of each color class to $V(G)$. If the girth of $G$ is 4 and $μ$ uses 4 colors both on vertices and edges of each 4-cycle, then $μ$ is an ETGC. Maps $M(G)$ of such $G$ are considered on the orientable surfaces. We show that a necessary condition for ETGCs to exist on $M(G)$ is that they have only face lengths divisible by 4. When such ETGCs exist, for which 7 constructive tools are provided, the faces of the maps $M(G)$ possessing them are shown to be colorable by the group $S_3$ of 3-permutations whenever the ETGCs are periodic. For the vertex coloring of each ETGC, there are two orthogonal edge colorings: directed and reversed. There are two injections into the set of face $S_3$-colorings: one from the set of periodic directed ETGCs, the other from that of periodic reversed ETGCs. We take each edge of $G$ as a pair of opposite arcs. Let $A^\leftrightarrow$ be the set of such arcs and let $G^\leftrightarrow$ be the digraph with vertex set $V(G)$ and arc set $A^\leftrightarrow$. A ditotal coloring $μ^\leftrightarrow$ of $G^\leftrightarrow$ is given by having bijections via $μ^\leftrightarrow$ from the sets formed by: {\bf(a)} each vertex and the arcs arriving to it; {\bf(b)} each vertex and the arcs departing from it; {\bf(c)} each vertex and its neighbors; {\bf(d)} each pair of oppositely oriented arcs of an edge and its end-vertices. Then, each ETGC of an $M(G)$ has a ditotal coloring. The Petrie dual of the resulting map $M(G^\leftrightarrow)$ is formed by monochromatic directed cycles.

A sub-quorum coloring is a partial vertex coloring in which every colored vertex sees at least half of its colored closed neighborhood in its own color. We study the maximum number of colors $\psq(G)$ from structural, algorithmic and extremal viewpoints. Every $2$-independent set yields a sub-quorum coloring, so $\psq(G)\geβ_2(G)$. We prove the degree bound $\psq(G)\le Δ(G)|V(G)|/(Δ(G)+δ(G)-1)$ for $δ(G)\ge2$, and obtain an exact matching characterization for graphs of maximum degree at most three. Consequently every cubic graph of order $n$ satisfies $n/2\le\psq(G)\le3n/5$, with a stability identity at the upper endpoint. For trees we give an edge representation and a linear-time dynamic program that computes both $\psq(T)$ and an optimal coloring; we also show on the double star $S_{2,2}$ that $\psq$ can exceed the dissociation number even on trees. We prove NP-completeness even for bipartite graphs and determine exact values for several classical families. For rectangular grids, we formulate the conjecture $\psq(G_{m,n})=β_2(G_{m,n})=F(m,n)$, recover the dissociation-number formula from known $3$-path vertex-cover results, prove the ladder case directly, and verify the conjecture for every fixed width $2\le m\le11$; widths $3$ through $11$ use exact transfer certificates. For hypercubes we prove $\psq(Q_n)=β_2(Q_n)=2^{n-1}$ for every $n\ge2$. Finally, a Nordhaus--Gaddum argument gives $\psq(G)+\psq(\overline G)>\log_2 |V(G)|$ and leads to a complementary upper-bound problem.

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^d(G)$. We study dynamic colorings of regular graphs. A straighforward observation shows that $χ_r^d(G)=χ(G^2)$, for any $r$-regular graph $G$. We prove that $χ_3^d(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))$.

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 every bridgeless claw-free cubic graph $G$ and that $G$ has four perfect matchings covering at least $\frac{299}{315}|E(G)|$ edges.

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.

The connective constant $μ(G)$ of a graph $G$ is the exponential growth rate of the number of self-avoiding walks starting at a given vertex. We prove upper and lower bounds for the connective constants of Cayley graphs $G_ω$ of a general Grigorchuk group encoded by a sequence $ω\in\{0,1,2\}^{\Bbb N}$. In particular, $μ(G_ω) > ϕ$ for any such Cayley graph (subject to a simple condition on $ω$), where $ϕ:= \frac12(1+\sqrt 5)$ is the golden mean. This extends earlier work of the author and Zhongyang Li in "Cubic graphs and the golden mean'', Discrete Math. 343 (2020), article 111638, where it was conjectured that $μ(G)\geϕ$ for all infinite, vertex-transitive, cubic graphs. The current work includes an analysis of the proportions of appearances of given label-sequences in the orbital Schreier graphs of general Grigorchuk groups.

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.

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

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.