arXiv++ Combinatorics

We construct a moduli space of four colorings on planar cubic graphs. More precisely, we introduce the notion of weak Hamiltonian, a generalization of Hamiltonian cycles, and relate it to 4-colorings. Weak Hamiltonians have a form of deformation, which we call mutation, which gives them a graph structure, the Weak Hamiltonian graph. This graph encodes the different colorings as 3 vertex cliques. Identifying vertices on these cliques, we obtain a new graph, the chromatic graph, whose vertices are exactly the colorings of the original graph. Also, this construction gives a heuristic argument on why 4 colors are sufficient to color planar maps.

In this article we discuss the question of presence of Hamiltonian cycle in the un-directed power graph of a group. In the process we develop weighted Hamiltonian cycle concept and prove a few general results regarding the Hamiltonian question.

A hamiltonian cycle system (HCS, for short) of a graph $Γ$ is a partition of the edges of $Γ$ into hamiltonian cycles. A HCS is cyclic when it is invariant under a cyclic permutation of all the vertices of $Γ$; the existence problem for a cyclic HCS has been completely solved by Buratti and Del Fra in 2004 when $Γ$ is the complete graph $K_v$, $v$ odd, and by Jordon and Morris in 2008 when $Γ$ is the complete graph minus a $1$-factor $K_v-I$, $v$ even. In this work we present a complete solution to the existence problem of a cyclic HCS for $Γ= K_{m\times n}$, the complete multipartite graph, when the number of parts $m$ is even. We also give necessary and sufficient conditions for the existence of a cyclic and symmetric HCS of $Γ$; the notion of a symmetric HCS of a graph $Γ$ has been introduced in 2004 by Akiyama, Kobayashi, and Nakamura for $Γ=K_v$, $v$ odd, in 2011 by Brualdi and Schroeder when $Γ= K_v-I$, $v$ even, and, very recently, by Schroeder when $Γ$ is the complete multipartite graph.

Although, the Hamiltonicity of solid grid graphs are polynomial-time decidable, the complexity of the longest cycle problem in these graphs is still open. In this paper, by presenting a linear-time constant-factor approximation algorithm, we show that the longest cycle problem in solid grid graphs is in APX. More precisely, our algorithm finds a cycle of length at least $\frac{2n}{3}+1$ in 2-connected $n$-node solid grid graphs. Keywords: Longest cycle, Hamiltonian cycle, Approximation algorithm, Solid grid graph.

It is shown that a necessary condition for an abstract group G to be the full automorphism group of a Hamiltonian cycle system is that G has odd order or it is either binary, or the affine linear group AGL(1; p) with p prime. We show that this condition is also sufficient except possibly for the class of non-solvable binary groups.

A graph $G$ is pseudo 2-factor isomorphic if the parity of the number of cycles in a 2-factor is the same for all 2-factors of $G$. Abreu et al. conjectured that $K_{3,3}$, the Heawood graph and the Pappus graph are the only essentially 4-edge-connected pseudo 2-factor isomorphic cubic bipartite graphs (Abreu et al., Journal of Combinatorial Theory, Series B, 2008, Conjecture 3.6). Using a computer search we show that this conjecture is false by constructing a counterexample with 30 vertices. We also show that this is the only counterexample up to at least 40 vertices. A graph $G$ is 2-factor hamiltonian if all 2-factors of $G$ are hamiltonian cycles. Funk et al. conjectured that every 2-factor hamiltonian cubic bipartite graph can be obtained from $K_{3,3}$ and the Heawood graph by applying repeated star products (Funk et al., Journal of Combinatorial Theory, Series B, 2003, Conjecture 3.2). We verify that this conjecture holds up to at least 40 vertices.

We show that an edge-dominating cycle in a $2K_2$-free graph can be found in polynomial time; this implies that every 1/(k-1)-tough $2K_2$-free graph admits a k-walk, and it can be found in polynomial time. For this class of graphs, this proves a long-standing conjecture due to Jackson and Wormald (1990). Furthermore, we prove that for any ε>0 every (1+ε)-tough $2K_2$-free graph is prism-Hamiltonian and give an effective construction of a Hamiltonian cycle in the corresponding prism, along with few other similar results.

The square of a graph is obtained by adding additional edges joining all pair of vertices of distance two in the original graph. Particularly, if $C$ is a hamiltonian cycle of a graph $G$, then the square of $C$ is called a hamiltonian square of $G$. In this paper, we characterize all possible forbidden pairs, which implies the containment of a hamiltonian square, in a 4-connected graph. The connectivity condition is necessary as, except $K_3$ and $K_4$, the square of a cycle is always 4-connected.

A $c$-edge-colored multigraph has each edge colored with one of the $c$ available colors and no two parallel edges have the same color. A proper Hamiltonian cycle is a cycle containing all the vertices of the multigraph such that no two adjacent edges have the same color. In this work we establish sufficient conditions for a multigraph to have a proper Hamiltonian cycle, depending on several parameters such as the number of edges and the rainbow degree.

We consider a refinement of the partition function of graph homomorphisms and present a quasi-polynomial algorithm to compute it in a certain domain. As a corollary, we obtain quasi-polynomial algorithms for computing partition functions for independent sets, perfect matchings, Hamiltonian cycles and dense subgraphs in graphs as well as for graph colorings. This allows us to tell apart in quasi-polynomial time graphs that are sufficiently far from having a structure of a given type (i.e., independent set of a given size, Hamiltonian cycle, etc.) from graphs that have sufficiently many structures of that type, even when the probability to hit such a structure at random is exponentially small.

Operators are induced on fermion and zeon algebras by the action of adjacency matrices and combinatorial Laplacians on the vector spaces spanned by the graph's vertices. Properties of the algebras automatically give information about the graph's spanning trees and vertex coverings by cycles \& matchings. Combining the properties of operators induced on fermions and zeons gives a fermion-zeon convolution that recovers the number of Hamiltonian cycles in an arbitrary graph. The mathematics underlying the graph-theoretic interpretation of these operators is provided by Kirchhoff's theorem and by the seminal works of Goulden and Jackson and Liu, who established formulas for enumeration of Hamiltonian cycles and paths using determinants and permanents of adjacency matrices.

We define and study a special type of hypergraph. A $σ$-hypergraph $H= H(n,r,q$ $\mid$ $σ$), where $σ$ is a partition of $r$, is an $r$-uniform hypergraph having $nq$ vertices partitioned into $ n$ classes of $q$ vertices each. If the classes are denoted by $V_1$, $V_2$,...,$V_n$, then a subset $K$ of $V(H)$ of size $r$ is an edge if the partition of $r$ formed by the non-zero cardinalities $ \mid$ $K$ $\cap$ $V_i \mid$, $ 1 \leq i \leq n$, is $σ$. The non-empty intersections $K$ $\cap$ $V_i$ are called the parts of $K$, and $s(σ)$ denotes the number of parts. We consider various types of cycles in hypergraphs such as Berge cycles and sharp cycles in which only consecutive edges have a nonempty intersection. We show that most $σ$-hypergraphs contain a Hamiltonian Berge cycle and that, for $n \geq s+1$ and $q \geq r(r-1)$, a $σ$-hypergraph $H$ always contains a sharp Hamiltonian cycle. We also extend this result to $k$-intersecting cycles.

Thomassen conjectured that there is a function $f(k)$ such that every strongly $f(k)$-connected tournament contains $k$ edge-disjoint Hamiltonian cycles. This conjecture was recently proved by Kühn, Lapinskas, Osthus, and Patel who showed that $f(k)\leq O(k^2(\log k)^2)$ and conjectured that there is a constant $C$ such that $f(k)\leq Ck^2$. We prove this conjecture.

A $triangulation$ is an embedding of a graph on surfaces where every face has length three. In this article, we show the existence of contractible Hamiltonian cycle in triangulated maps of which minimum degree is four.

Benjamini, Shinkar, and Tsur stated the following conjecture on the acquaintance time: asymptotically almost surely $AC(G) \le p^{-1} \log^{O(1)} n$ for a random graph $G \in G(n,p)$, provided that $G$ is connected. Recently, Kinnersley, Mitsche, and the second author made a major step towards this conjecture by showing that asymptotically almost surely $AC(G) = O(\log n / p)$, provided that $G$ has a Hamiltonian cycle. In this paper, we finish the task by showing that the conjecture holds in the strongest possible sense, that is, it holds right at the time the random graph process creates a connected graph. Moreover, we generalize and investigate the problem for random hypergraphs.

We present a necessary and sufficient condition for existence of a contractible, non-separating and noncontractible separating Hamiltonian cycle in the edge graph of polyhedral maps on surfaces. In particular, we show the existence of contractible Hamiltonian cycle in equivelar triangulated maps. We also present an algorithm to construct such cycles whenever it exists.

Let $D$ be a strongly connected directed graph of order $n\geq 4$ vertices which satisfies the following condition for every triple $x,y,z$ of vertices such that $x$ and $y$ are non-adjacent: If there is no arc from $x$ to $z$, then $d(x)+d(y)+d^+(x)+d^-(z)\geq 3n-2$. If there is no arc from $z$ to $x$, then $d(x)+d(y)+d^-(x)+d^+(z)\geq 3n-2$. In \cite{[15]} (J. of Graph Theory, Vol.16, No. 5, 51-59, 1992) Y. Manoussakis proved that $D$ is Hamiltonian. In [9] it was shown that $D$ contains a pre-Hamiltonian cycle (i.e., a cycle of length $n-1$) or $n$ is even and $D$ is isomorphic to the complete bipartite digraph with partite sets of cardinalities of $n/2$ and $n/2$. In this paper we show that $D$ contains also a Hamiltonian bypass, (i.e., a subdigraph obtained from a Hamiltonian cycle by reversing exactly one arc) or $D$ is isomorphic to one tournament of order 5.

Let $G$ be a connected simple graph of order $n$ and let $Δ(G)$ and $χ'(G)$ denote the maximum degree and chromatic index of $G$, respectively. Vizing proved that $χ'(G)=Δ(G)$ or $Δ(G)+1$. Following this result, $G$ is called $Δ$-critical if $χ'(G)=Δ(G)+1$ and $χ'(G-e)=Δ(G)$ for every $e\in E(G)$. In 1968, Vizing conjectured that if $G$ is an $n$-vertex $Δ$-critical graph, then the independence number $α(G)\le n/2$. Furthermore, he conjectured that, in fact, $G$ has a 2-factor. Luo and Zhao showed that if $G$ is an $n$-vertex $Δ$-critical graph with $Δ(G)\ge n/2$, then $α(G)\le n/2$. More recently, they showed that if $G$ is an $n$-vertex $Δ$-critical graph with $Δ(G)\ge 6n/7$, then $G$ has a hamiltonian cycle, and so $G$ has a 2-factor. In this paper, we show that if $G$ is an $n$-vertex $Δ$-critical graph with $Δ(G)\ge n/2$, then $G$ has a 2-factor.

Let $D$ be a strongly connected directed graph of order $n\geq 4$ which satisfies the following condition (*): for every pair of non-adjacent vertices $x, y$ with a common in-neighbour $d(x)+d(y)\geq 2n-1$ and $min \{ d(x), d(y)\}\geq n-1$. In \cite{[2]} (J. of Graph Theory 22 (2) (1996) 181-187)) J. Bang-Jensen, G. Gutin and H. Li proved that $D$ is Hamiltonian. In [9] it was shown that if $D$ satisfies the condition (*) and the minimum semi-degree of $D$ at least two, then either $D$ contains a pre-Hamiltonian cycle (i.e., a cycle of length $n-1$) or $n$ is even and $D$ is isomorphic to the complete bipartite digraph (or to the complete bipartite digraph minus one arc) with partite sets of cardinalities of $n/2$ and $n/2$. In this paper we show that if the minimum out-degree of $D$ at least two and the minimum in-degree of $D$ at least three, then $D$ contains also a Hamiltonian bypass, (i.e., a subdigraph is obtained from a Hamiltonian cycle by reversing exactly one arc).

A classic theorem of Dirac from 1952 states that every graph with minimum degree at least n/2 contains a Hamiltonian cycle. In 1963, Pósa conjectured that every graph with minimum degree at least 2n/3 contains the square of a Hamiltonian cycle. In 1960, Ore relaxed the degree condition in the Dirac's theorem by proving that every graph with $deg(u) + deg(v) \geq n$ for every $uv \notin E(G)$ contains a Hamiltonian cycle. Recently, Châu proved an Ore-type version of Pósa's conjecture for graphs on $n\geq n_0$ vertices using the regularity--blow-up method; consequently the $n_0$ is very large (involving a tower function). Here we present another proof that avoids the use of the regularity lemma. Aside from the fact that our proof holds for much smaller $n_0$, we believe that our method of proof will be of independent interest.