arXiv++ Combinatorics

In this paper, we study edge-transitive surfaces, i.e. triangulated 2-dimensional manifolds whose automorphism groups act transitively on the edges of these triangulated surfaces. We show that there exist four types of edge-transitive surfaces, splitting up further into a total of five sub-types. We exploit our theoretical results to compute a census of edge-transitive surfaces with up to 5000 faces by constructing suitable cycle double covers of edge-transitive cubic graphs.

A long-standing conjecture of Thomassen says that every longest cycle of a $3$-connected graph has a chord. Thomassen (2018) proved that if $G$ is a $2$-connected cubic graph, then any longest cycle must have a chord. He also showed that in any 3-connected graph with minimum degree at least four, some longest cycle must contain a chord. Harvey proved that every longest cycle has a chord for graphs with a large minimum degree. He also conjectured that any longest cycle in a 2-connected graph with minimum degree at least three has a chord. In this paper, we prove that both Thomassen's and Harvey's conjectures are true for graphs with large circumferences. We also prove a more general result for the existence of chords in longest cycles containing a linear forest.

Let $G$ be a graph. An acyclic $k$-coloring of $G$ is a map $c:V(G)\rightarrow \{1,\dots,k\}$ such that $c(u)\neq c(v)$ for any $uv\in E(G)$ and the subgraph induced by the vertices of any two colors $i,j\in \{1,\dots,k\}$ is a forest. If every vertex $v$ of a color class $V_i$ misses a color $\ell_v\in\{1,\dots,k\}$ in its closed neighborhood, then every $v\in V_i$ can be recolored with $\ell_v$ and we obtain a $(k-1)$-coloring of $G$. If a new coloring $c'$ is also acyclic, then such a recoloring is an acyclic recoloring step and $c'$ is in relation $\triangleleft_a$ with $c$. The acyclic b-chromatic number $A_b(G)$ of $G$ is the maximum number of colors in an acyclic coloring where no acyclic recoloring step is possible. Equivalently, it is the maximum number of colors in a minimum element of the transitive closure of $\triangleleft_a$. In this paper, we consider $A_b(G)$ of cubic graphs.

A set $R\subseteq E(G)$ of a graph $G$ is $k$-removable if $G-R$ has a nowhere-zero $k$-flow. We prove that every graph $G$ admitting a nowhere-zero $4$-flow has a $3$-removable subset consisting of at most $\frac{1}{6}|E(G)|$ edges. This gives a positive answer to a conjecture of M. DeVos, J. McDonald, I. Pivotto, E. Rollová and R. Šámal [$3$-Flows with large support, J. Comb. Theory Ser. B 144 (2020), 32-80] in the case of graphs admitting a nowhere-zero $4$-flow. Moreover, Hoffmann-Ostenhof recently conjectured that every cubic graph with a nowhere-zero $4$-flow has a $4$-removable edge. Bipartite cubic graphs verify this conjecture. Our result gives an approximation for Hoffmann-Ostenhof's Conjecture in the non-bipartite case. Finally, for cubic graphs, our result implies that every $3$-edge-colorable cubic graph $G$ contains a subgraph $H$ whose connected components are either cycles or subdivisions of bipartite cubic graphs, such that $|E(H)|\ge \frac{5}{6}|E(G)|$.

We investigate multidimensional nowhere-zero flows of bridgeless graphs. By extending the established use of the Euclidean norm, this paper considers the Manhattan and Chebyshev norms, leading to the definition of the flow numbers $Φ_d^1(G)$ and $Φ_d^\infty(G)$, respectively. These flow numbers are always rational and in two dimensions, they distinguish between cubic graphs that are 3-edge-colourable and those that are not. We also prove that, for any bridgeless graph $G$, the two values $Φ^1_2(G)$ and $Φ^\infty_2(G)$ are the same. We give new upper and lower bounds and structural results, and we find connections with cycle covers. Finally, we introduce the idea of $t$-flow-pairs, which comes from a method used in Seymour's proof of the 6-flow theorem, and we propose new conjectures that could be stronger than Tutte's famous 5-flow conjecture.

Circular $r$-coloring of a signed graph $(G,σ)$ is a mapping of its vertices to a circle of circumference $r$ such that: I. each pair of vertices with a negative connection is at distance at least $1$, and II. for each pair with a positive connection, the distance of one from the antipodal of the other is at least $1$. A signed graph $(G,σ)$ admits a circular $r$-coloring for some values of $r$ if and only if it has no negative loop. The smallest value of such $r$ is the circular chromatic number, denoted $χ_{c}(G,σ)$. The circular chromatic number is a refinement of the balanced chromatic number, which is mostly studied under the equivalent term $0$-free coloring in the literature. Extending Brooks' theorem, Má\v cajová, Raspaud, and Škoviera showed that if $Δ(G)$ is an even number, $G$ is connected, and $(G,σ)$ is not (switching) isomorphic to $(K_{Δ+1},-)$ or $C_{-\ell}$ (when $Δ(G)=2$), then $χ_c(G,σ)\leq Δ(G)$ and that the upper bound is tight. For the odd values of $Δ(G)$, assuming a connected signed graph $(G,σ)$ is not isomorphic to $(K_{Δ+1},-)$, determining the best upper bound for $χ_c(G, σ)$ proves to be more of a challenge. In this work, addressing the first step of this question, we show that if $(G, σ)$ is a signed graph of maximum degree 3 with no component isomorphic to $(K_4, -)$, then $χ_{c}(G, σ)\leq \frac{10}{3}$. The upper bound is tight even among signed cubic graphs of girth 5. In particular, there is a signature on the Petersen graph for which the upper of $\frac{10}{3}$ is achieved.

A set $S$ of vertices in a graph $G$ is a dominating set of $G$ if every vertex not in $S$ is adjacent to a vertex in~$S$. An independent dominating set in $G$ is a dominating set of $G$ with the additional property that it is an independent set. The domination number, $γ(G)$, and the independent domination number, $i(G)$, are the minimum cardinalities among all dominating sets and independent dominating sets in $G$, respectively. By definition, $γ(G) \le i(G)$ for all graphs $G$. Let $G$ be a connected cubic graph of order~$n$. In 1996 Reed [Combin.\ Probab.\ Comput.\ 5 (1996), 277--295] proved a breakthrough result that $γ(G) \le \frac{3}{8}n$. We prove the stronger result that if $G$ is different from $K_{3,3}$ and the $5$-prism $C_5 \, \Box \, K_2$, then $i(G) \le \frac{3}{8}n$. This proves a known conjecture. The bound is tight in the sense that there are infinite families of connected cubic graphs that achieve equality in this bound.

In 1983, Bouchet conjectured that every flow-admissible signed graph admits a nowhere-zero 6-flow. We verify this conjecture for the class of flow-admissible signed graphs possessing a spanning even Eulerian subgraph, which includes as a special case all signed graphs with a balanced Hamiltonian circuit. Furthermore, we show that this result is sharp by citing a known infinite family of signed graphs with a balanced Hamiltonian circuit that do not admit a nowhere-zero 5-flow. Our proof relies on a construction that transforms signed graphs whose underlying graph admits a nowhere-zero 4-flow into a signed 3-edge-colorable cubic graph. This transformation has the crucial property of establishing a sign-preserving bijection between the bichromatic cycles of the resulting signed cubic graph and certain Eulerian subgraphs of the original signed graph. As an application of our main result, we also show that Bouchet's conjecture holds for all signed abelian Cayley graphs.

Using the graphs of prisms and Tutte Fragments, we construct an infinite family of hamiltonian and non-hamiltonian graphs in which Tutte's counterexample to Tait's conjecture appears in a certain sense as a minimal element. We observe that generalizations of the minimum-cardinality counterexamples of Holton and McKay to Tait's conjecture are as well contained in this family.

For two graphs $G$ and $H$, a mapping $f\colon E(G) \to E(H)$ is an $H$-coloring of $G$, if it is a proper edge-coloring and for every $v \in V(G)$ there exists a vertex $u \in V(H)$ with $f(\partial_G(v))=\partial_H(u)$. Motivated by the Petersen Coloring Conjecture, Mkrtchyan [A remark on the Petersen coloring conjecture of Jaeger, \emph{Australas. J. Combin.}, 56 (2013), 145-151] and Mkrtchyan together with Hakobyan [$S_{12}$ and $P_{12}$-colorings of cubic graphs, \emph{Ars Math. Contemp.}, 17 (2019), 431-445] made the following two conjectures. (I) Every cubic graph has an $S_{10}$-coloring, where $S_{10}$ is a graph on 10 vertices sometimes also referred to as the Sylvester graph. (II) Every cubic graph with a perfect matching has an $S_{12}$-coloring, where $S_{12}$ is the graph obtained from $S_{10}$ by replacing the central vertex with a triangle. In this note we present a (rather small) counterexample to both conjectures.

For a bridgeless cubic graph $G$, $m_3(G)$ is the ratio of the maximum number of edges of $G$ covered by the union of $3$ perfect matchings to $|E(G)|$. We prove that for any $r\in [4/5, 1)$, there exist infinitely many cubic graphs $G$ such that $m_3(G) = r$. For any $r\in [9/10, 1)$, there exist infinitely many cyclically $4$-connected cubic graphs $G$ with $m_3(G) = r$.

A subgraph $G'$ of a graph $G$ is nice if $G-V(G')$ has a perfect matching. Nice subgraphs play a vital role in the theory of ear decomposition and matching minors of matching covered graphs. A vertex $u$ of a cubic graph is nice if $u$ and its neighbors induce a nice subgraph. D. Král et al. (2010) [9] showed that each vertex of a cubic brick is nice. It is natural to ask how many nice vertices a matching covered cubic graph has. In this paper, using some basic results of matching covered graphs, we prove that if a non-bipartite cubic graph $G$ is 2-connected, then $G$ has at least 4 nice vertices; if $G$ is 3-connected and $G\neq K_4$, then $G$ has at least 6 nice vertices. We also determine all the corresponding extremal graphs. For a cubic bipartite graph $G$ with bipartition $(A,B)$, a pair of vertices $a\in A$ and $b\in B$ is called a nice pair if $a$ and $b$ together with their neighbors induce a nice subgraph. We show that a connected cubic bipartite graph $G$ is a brace if and only if each pair of vertices in distinct color classes is a nice pair. In general, we prove that $G$ has at least 9 nice pairs of vertices and $K_{3,3}$ is the only extremal graph.

A normal edge-coloring of a cubic graph is a proper edge-coloring, in which every edge is adjacent to edges colored with four distinct colors or to edges colored with two distinct colors. It is conjectured that $5$ colors suffice for a normal edge-coloring of any bridgeless cubic graph and this statement is equivalent to the Petersen Coloring Conjecture. In this paper, we extend the result of Mazzuoccolo and Mkrtchyan (Normal 6-edge-colorings of some bridgeless cubic graphs, Discrete Appl. Math. 277 (2020), 252--262), who proved that every cycle permutation graph admits a normal edge-coloring with at most $6$ colors. In particular, we show that every cubic graph with oddness $2$ admits a normal edge-coloring with at most $6$ colors.

Given a graph $G=\big{(}V(G),E(G)\big{)}$, a set $S\subseteq V(G)$ is called a $k$-dominating set if every vertex in $V(G)\setminus S$ has at least $k$ neighbors in $S$. Two disjoint sets $A,B\subset V(G)$ form a $k$-coalition in $G$ if neither set is a $k$-dominating set in $G$ but their union $A\cup B$ is a $k$-dominating set. A partition $Ω$ of $V(G)$ is a $k$-coalition partition if each set in $Ω$ is either a $k$-dominating set of cardinality $k$ or forms a $k$-coalition with another set in $Ω$. The $k$-coalition number $C_{k}(G)$ equals the maximum cardinality of a $k$-coalition partition of $G$. In this work, we give general upper and lower bounds on this parameter. In particular, we show that if $G$ has minimum degree $δ\ge 2$ and maximum degree $Δ\ge 4 \lfloor δ/2 \rfloor$, then $C_{2}(G) \leq (Δ-2\lfloor δ/2 \rfloor+1)(\lfloor δ/2 \rfloor+1) + \lceil δ/2 \rceil+1$, and this bound is sharp. If $T$ is a tree of order~$n \ge 2$, then we prove the upper bound $C_{2}(T) \leq \big\lfloor \frac{n}{2}\big\rfloor+1$ and we characterize the extremal trees achieving equality in this bound. We determine the exact value of $C_{k}(G)$ for any cubic graph $G$ and $k\geq2$. Finally, we give the exact value of $C_{k}$ for any complete bipartite graph, which completes a partial result and resolves an issue from an earlier paper.

A set of vertices of a graph is distinguishing if the only automorphism that preserves it is the identity. The minimal size of such sets, if they exist, is the distinguishing cost. The distinguishing costs of vertex transitive cubic graphs are well known if they are 1-arc-transitive, or if they have two edge orbits and either have girth 3 or vertex-stabilizers of order 1 or 2. There are many results about vertex-transitive cubic graphs of girth 4 with two edge orbits, but for larger girth almost nothing is known about %the existence or the distinguishing costs of such graphs. We prove that cubic vertex-transitive graphs of girth 5 with two edge orbits have distinguishing cost 2, and prove the non-existence of infinite 3-arc-transitive cubic graphs of girth 6.

We prove that an inseparable graph can have any positive number of cycles with the six exceptions 2, 4, 5, 8, 9, 16, and that an inseparable cubic graph has the additional exceptions 1 and 13. The exceptions for simple inseparable cubic graphs are unknown.

We prove relations between the number of $k$-connected components of a graph, Crapo's invariant $β(M)$ of a matroid, and Speyer's polynomial $g_M(t)$. These yield a simple interpretation of $g_M'(-1)$ when $M$ is graphic or cographic. Furthermore, we improve Ferroni's algorithm to compute $g_M(t)$ and provide an implementation and an extensive data set. These calculations reveal a large number of graph theoretic constraints on the second derivative $g_M''(-1)$, which we thus advertise as an intriguing new invariant of graphs. We also propose a relation between the flow polynomial and $g_M''(0)$ for cubic graphs.

In this note we show that there is a cubic graph of girth $5$ that is not a subgraph of any minimal Cayley graph. On the other hand, we show that any Generalized Petersen Graph $G(n,k)$ with $\gcd(n,k)=1$ is an induced subgraph of a minimal Cayley graph. These results give insights into two comments of László Babai in [L. Babai, \emph{Automorphism groups, isomorphism, reconstruction}. Graham, R. L. (ed.) et al., Handbook of combinatorics. Vol. 1-2, 1994].

A theorem due to Seyffarth states that every planar $4$-connected $n$-vertex graph has a cycle double cover (CDC) containing at most $n-1$ cycles (a "small" CDC). We extend this theorem by proving that, in fact, such a graph must contain linearly many small CDCs (in terms of $n$), and provide stronger results in the case of planar $4$-connected triangulations. We complement this result with constructions of planar $4$-connected graphs which contain at most polynomially many small CDCs. Thereafter we treat cubic graphs, strengthening a lemma of Hušek and Šámal on the enumeration of CDCs, and, motivated by a conjecture of Bondy, give an alternative proof of the result that every planar 2-connected cubic graph on $n > 4$ vertices has a CDC of size at most $n/2$. Our proof is much shorter and obtained by combining a decomposition based argument, which might be of independent interest, with further combinatorial insights. Some of our results are accompanied by a version thereof for CDCs containing no cycle twice.

We give a complete characterisation of the cubic graphs with no eigenvalues in the interval $(-2,0)$. There is one thin infinite family consisting of a single graph on $6n$ vertices for each $n \geqslant 2$, and five ``sporadic'' graphs, namely the $3$-prism $K_3 \mathbin{\square} K_2$, the complete bipartite graph $K_{3,3}$, the Petersen graph, the dodecahedron and Tutte's $8$-cage. The proof starts by observing that if a cubic graph has no eigenvalues in $(-2,0)$ then its local structure around a girth-cycle is very constrained. Then a separate case analysis for each possible girth shows that these constraints can be satisfied only by the known examples. All but one of these case analyses can be completed by hand, but for girth five there are sufficiently many cases that it is necessary to use a computer for the analysis.