arXiv++ Combinatorics

A ($κ$,$τ$)-regular set is a vertex subset S inducing a $κ$-regular subgraph such that every vertex out of S has $τ$ neighbors in S. This article is an expository overview of the main results obtained for graphs with ($κ$,$τ$)-regular sets. The graphs with classical combinatorial structures, like perfect matchings, Hamilton cycles, efficient dominating sets, etc, are characterized by ($κ$,$τ$)-regular sets whose determination is equivalent to the determination of those classical combinatorial structures. The characterization of graphs with these combinatorial structures are presented. The determination of ($κ$,$τ$)-regular sets in a finite number of steps is deduced and the main spectral properties of these sets are described.

A seminal result by Komlós, Sarközy, and Szemerédi states that if a graph $G$ with $n$ vertices has minimum degree at least $kn/(k + 1)$, for some $k \in \mathbb{N}$ and $n$ sufficiently large, then it contains the $k$-th power of a Hamilton cycle. This is easily seen to be the largest power of a Hamilton cycle one can guarantee, given such a minimum degree assumption. Following a recent trend of studying effects of adding random edges to a dense graph, the model known as the randomly perturbed graph, Dudek, Reiher, Ruciński, and Schacht showed that if the minimum degree is at least $kn/(k + 1) + αn$, for any constant $α> 0$, then adding $O(n)$ random edges on top almost surely results in a graph which contains the $(k + 1)$-st power of a Hamilton cycle. We show that the effect of these random edges is significantly stronger, namely that one can almost surely find the $(2k + 1)$-st power. This is the largest power one can guarantee in such a setting.

A 1-factorization $\mathcal{M} = \{M_1,M_2,\ldots,M_n\}$ of a graph $G$ is called perfect if the union of any pair of 1-factors $M_i, M_j$ with $i \ne j$ is a Hamilton cycle. It is called $k$-semi-perfect if the union of any pair of 1-factors $M_i, M_j$ with $1 \le i \le k$ and $k+1 \le j \le n$ is a Hamilton cycle. We consider 1-factorizations of the discrete cube $Q_d$. There is no perfect 1-factorization of $Q_d$, but it was previously shown that there is a 1-semi-perfect 1-factorization of $Q_d$ for all $d$. Our main result is to prove that there is a $k$-semi-perfect 1-factorization of $Q_d$ for all $k$ and all $d$, except for one possible exception when $k=3$ and $d=6$. This is, in some sense, best possible. We conclude with some questions concerning other generalisations of perfect 1-factorizations.

Given a graph $Γ= (V, E)$ on $n$ vertices and $m$ edges, we define the Erdős-Rényi graph process with host $Γ$ as follows. A permutation $e_1,\dots,e_m$ of $E$ is chosen uniformly at random, and for $t\leq m$ we let $Γ_t = (V, \{e_1,\dots,e_t\})$. Suppose the minimum degree of $Γ$ is $δ(Γ) \geq (1/2 + \varepsilon)n$ for some constant $\varepsilon > 0$. Then with high probability, $Γ_t$ becomes Hamiltonian at the same moment that its minimum degree becomes at least two. Given $0\leq p\leq 1$ we let $Γ_p$ be the Erdős-Rényi subgraph of $Γ$, obtained by retaining each edge independently with probability $p$. When $δ(Γ)\geq (1/2 + \varepsilon)n$, we provide a threshold function $p_0$ for Hamiltonicity, such that if $(p-p_0)n\to -\infty$ then $Γ_p$ is not Hamiltonian whp, and if $(p-p_0)n\to\infty$ then $Γ_p$ is Hamiltonian whp.

Pósa's theorem states that any graph $G$ whose degree sequence $d_1 \le \ldots \le d_n$ satisfies $d_i \ge i+1$ for all $i < n/2$ has a Hamilton cycle. This degree condition is best possible. We show that a similar result holds for suitable subgraphs $G$ of random graphs, i.e. we prove a `resilience version' of Pósa's theorem: if $pn \ge C \log n$ and the $i$-th vertex degree (ordered increasingly) of $G \subseteq G_{n,p}$ is at least $(i+o(n))p$ for all $i<n/2$, then $G$ has a Hamilton cycle. This is essentially best possible and strengthens a resilience version of Dirac's theorem obtained by Lee and Sudakov. Chvátal's theorem generalises Pósa's theorem and characterises all degree sequences which ensure the existence of a Hamilton cycle. We show that a natural guess for a resilience version of Chvátal's theorem fails to be true. We formulate a conjecture which would repair this guess, and show that the corresponding degree conditions ensure the existence of a perfect matching in any subgraph of $G_{n,p}$ which satisfies these conditions. This provides an asymptotic characterisation of all degree sequences which resiliently guarantee the existence of a perfect matching.

The classical global criteria for the existence of Hamilton cycles only apply to graphs with large edge density and small diameter. In a series of papers Asratian and Khachatryan developed local criteria for the existence of Hamilton cycles in finite connected graphs, which are analogues of the classical global criteria due to Dirac (1952), Ore (1960), Jung (1978), and Nash-Williams (1971). The idea was to show that the global concept of Hamiltonicity can, under rather general conditions, be captured by local phenomena, using the structure of balls of small radii. (The ball of radius $r$ centered at a vertex $u$ is a subgraph of $G$ induced by the set of vertices whose distances from $u$ do not exceed $r$.) Such results are called localization theorems and present a possibility to extend known classes of finite Hamiltonian graphs. In this paper we formulate a general approach for finding localization theorems and use this approach to formulate local analogues of well-known results of Bauer et al. (1989), Bondy (1980), Häggkvist and Nicoghossian (1981), and Moon and Moser (1963). Finally we extend two of our results to infinite locally finite graphs and show that they guarantee the existence of Hamiltonian curves, introduced by Kündgen, Li and Thomassen (2017).

In 1963, Anton Kotzig conjectured that for each $n \geq 2$ the complete graph $K_{2n}$ has a perfect one-factorisation (i.e., a decomposition into perfect matchings such that each pair of perfect matchings of the decomposition induces a Hamilton cycle). We affirmatively settle the smallest unresolved case for this conjecture.

We show that the probability that a random graph $G\sim G(n,p)$ contains no Hamilton cycle is $(1+o(1))Pr(δ(G) < 2)$ for all values of $p = p(n)$. We also prove an analogous result for perfect matchings.

Since first introduced by Sudakov and Vu in 2008, the study of resilience problems in random graphs received a lot of attention in probabilistic combinatorics. Of particular interest are resilience problems of spanning structures. It is known that for spanning structures which contain many triangles, local resilience cannot prevent an adversary from destroying all copies of the structure by removing a negligible amount of edges incident to every vertex. In this paper we generalise the notion of local resilience to $H$-resilience and demonstrate its usefulness on the containment problem of the square of a Hamilton cycle. In particular, we show that there exists a constant $C > 0$ such that if $p \geq C\log^3 n/\sqrt{n}$ then w.h.p. in every subgraph $G$ of a random graph $G_{n, p}$ there exists the square of a Hamilton cycle, provided that every vertex of $G$ remains on at least a $(4/9 + o(1))$-fraction of its triangles from $G_{n, p}$. The constant $4/9$ is optimal and the value of $p$ slightly improves on the best-known appearance threshold of such a structure and is optimal up to the logarithmic factor.

A famous theorem of Dirac states that any graph on $n$ vertices with minimum degree at least $n/2$ has a Hamilton cycle. Such graphs are called Dirac graphs. Strengthening this result, we show the existence of rainbow Hamilton cycles in $μn$-bounded colourings of Dirac graphs for sufficiently small $μ>0$.

A step forward is made in a long standing Lovász's problem regarding hamiltonicity of vertex-transitive graphs by showing that every connected vertex-transitive graph of order a product of two primes, other than the Petersen graph, contains a Hamilton cycle. Essential tools used in the proof range from classical results on existence of Hamilton cycles, such as Chvátal's theorem and Jackson's theorem, to certain results on polynomial representations of quadratic residues at primitive roots in finite fields.

A biased graph is a graph $G$, together with a distinguished subset $\mathcal{B}$ of its cycles so that no Theta-subgraph of $G$ contains precisely two cycles in $\mathcal{B}$. A large number of biased graphs can be constructed by choosing $G$ to be a complete graph, and $\mathcal{B}$ to be an arbitrary subset of its Hamilton cycles. We show that, on the logarithmic scale, the total number of simple biased graphs on $n$ vertices does not asymptotically exceed the number that can be constructed in this elementary way.

Finding a Hamilton graph from simple connected graphs is an important problem in discrete mathematics and computer science. Grinberg Theorem is a well-known necessary condition for planar Hamilton graphs. It divides a plane into two parts: inside and outside faces. The sum of inside faces in a Hamilton graph is a Hamilton cycle. In this paper, using a basis of the cycle space to represent a graph and by the Inclusion-Exclusion Principle, we derive the equality with respect to the inside faces that can be also obtained from Grinberg Theorem. By further investigating the cycle structure of inside faces, we give a new combinatorial interpretation to Grinberg's condition, which explains why Grinberg Theorem is not sufficient for Hamilton graphs. Our results will improve deriving an efficient condition for Hamilton graphs.

Let $P$ be a cubic $3$-connected bipartite plane graph which has a $2$-factor which consists only of facial $4$-cycles, and suppose that $P^{*}$ is the dual graph. We show that $P$ has at least $3^{\frac{2|P^{*}|}{Δ^{2}{(P^{*})}}}$ different Hamilton cycles.

The 2-block intersection graph (2-BIG) of a twofold triple system (TTS) is the graph whose vertex set is composed of the blocks of the TTS and two vertices are joined by an edge if the corresponding blocks intersect in exactly two elements. The 2-BIGs are themselves interesting graphs: each component is cubic and 3-connected, and a 2-BIG is bipartite exactly when the TTS is decomposable to two Steiner triple systems. Any connected bipartite 2-BIG with no Hamilton cycle is a counter-example to a conjecture posed by Tutte in 1971. Our main result is that there exists an integer $N$ such that for all $v\geq N$, if $v\equiv 1$ or $3\mod{6}$ then there exists a TTS($v$) whose 2-BIG is bipartite and connected but not Hamiltonian. Furthermore, $13<N\leq 663$. Our approach is to construct a TTS($u$) whose 2-BIG is connected bipartite and non-Hamiltonian and embed it within a TTS($v$) where $v>2u$ in such a way that, after a single trade, the 2-BIG of the resulting TTS($v$) is bipartite connected and non-Hamiltonian.

We prove several results on approximate decompositions of edge-coloured quasirandom graphs into rainbow spanning structures. More precisely, we say that an edge-colouring of a graph is locally $\ell$-bounded if no vertex is incident to more than $\ell$ edges of any given colour, and that it is (globally) $g$-bounded if no colour appears more than $g$ times in the colouring. Note that every proper colouring of an $n$-vertex graph is locally $1$-bounded, and (globally) $n/2$-bounded. Our results imply the following: (i) The existence of approximate decompositions of edge-coloured $K_n$ into rainbow almost-spanning cycles, provided that the colouring is $\frac{n}{2}$-bounded and locally $o(n)$-bounded. (ii) The existence of approximate decompositions of edge-coloured $K_n$ into rainbow Hamilton cycles, provided that the colouring is $(1-o(1))\frac n2$-bounded and locally $o\big(\frac{n}{\log^4 n}\big)$-bounded. (iii) A bipartite version of our results implies that every $n\times n$ array, where each symbol appears $(1-o(1))n$ times in total and appears only $o\big(\frac{n}{\log^2 n}\big)$ times in each row or column, has an approximate decomposition into full transversals. We also prove analogues of (i) and (ii) for $F$-factors, where $F$ is any fixed graph. Apart from the logarithmic factor in (ii), all these bounds are essentially best possible. (i) can be viewed as a generalization of a recent result of Alon, Pokrovskiy and Sudakov, who showed the existence of an almost spanning cycle in a properly coloured complete graph. Both (i) and (ii) imply approximate versions of a conjecture of Brualdi and Hollingsworth, stating that every properly edge-coloured complete graph can be decomposed into rainbow spanning trees.

For $n\geq 3$ and $r=r(n) \geq 3$, let $\boldsymbol{k} =\boldsymbol{k}(n)=(k_1, \ldots, k_n)$ be a sequence of non-negative integers with sum $M(\boldsymbol{k})=\sum_{j=1}^{n} k_j$. We assume that $M(\boldsymbol{k})$ is divisible by $r$ for infinitely many values of $n$, and restrict our attention to these values. Let $X=X(n)$ be a simple $r$-uniform hypergraph on the vertex set $V=\{v_1,v_2, \ldots, v_n\}$ with $t$ edges and maximum degree $x_{\max}$. We denote by $\mathcal{H}_r(\boldsymbol{k})$ the set of all simple $r$-uniform hypergraphs on the vertex set $V$ with degree sequence $\boldsymbol{k}$, and let $\mathcal{H}_r(\boldsymbol{k},X)$ be the set of all hypergraphs in $\mathcal{H}_r(\boldsymbol{k})$ which contain no edge of $X$. We give an asymptotic enumeration formula for the size of $\mathcal{H}_r(\boldsymbol{k},X)$. This formula holds when $r^4 k_{\max}^3=o(M(\boldsymbol{k}))$, $t\, k_{\max}^{3}\, =o(M(\boldsymbol{k})^2)$ and $r\,t\,k_{\max}^4 = o(M(\boldsymbol{k})^3)$. Our proof involves the switching method. As a corollary, we obtain an asymptotic formula for the number of hypergraphs in $\mathcal{H}_r(\boldsymbol{k})$ which contain every edge of $X$. We apply this result to find asymptotic expressions for the expected number of perfect matchings and loose Hamilton cycles in a random hypergraph in $\mathcal{H}_r(\boldsymbol{k})$ in the regular case.

A consequence of Bertrand's postulate, proved by L. Greenfield and S. Greenfield in 1998, assures that the set of integers $\{1,2,\cdots, 2n\}$ can be partitioned into pairs so that the sum of each pair is a prime number for any positive integer $n$. Cutting through it from the angle of Graph Theory, this paper provides new insights into the problem. We conjecture a stronger statement that the set of integers $\{1,2,\cdots, 2n\}$ can be rearranged into a cycle so that the sum of any two adjacent integers is a prime number. Our main result is that this conjecture is true for infinitely many cases.

Compared to the classical binomial random (hyper)graph model, the study of random regular hypergraphs is made more challenging due to correlations between the occurrence of different edges. We develop an edge-switching technique for hypergraphs which allows us to show that these correlations are limited for a large range of densities. This extends some previous results of Kim, Sudakov and Vu for graphs. From our results we deduce several corollaries on subgraph counts in random $d$-regular hypergraphs. We also prove a conjecture of Dudek, Frieze, Ruciński and Šileikis on the threshold for the existence of an $\ell$-overlapping Hamilton cycle in a random $d$-regular $r$-graph. Moreover, we apply our results to prove bounds on the query complexity of testing subgraph-freeness. The problem of testing subgraph-freeness in the general graphs model was first studied by Alon, Kaufman, Krivelevich and Ron, who obtained several bounds on the query complexity of testing triangle-freeness. We extend some of these previous results beyond the triangle setting and to the hypergraph setting.

We prove that the minimum number of Hamilton cycles in a hamiltonian threshold graph of order $n$ is $2^{\lfloor (n-3)/2\rfloor}$ and this minimum number is attained uniquely by the graph with degree sequence $n-1,n-1,n-2,\ldots,\lceil n/2\rceil,\lceil n/2\rceil,\ldots,3,2$ of $n-2$ distinct degrees. This graph is also the unique graph of minimum size among all hamiltonian threshold graphs of order $n.$