arXiv++ Combinatorics

A Cayley hyper-digraph is a directed hypergraph that its automorphism group contains a subgroup acting regularly on vertices and a Cayley hypermap is a hypermap whose automorphism group contains a subgroup which induces regular action on the hypervertex set. In this paper, we study Cayley hyper-digraphs and construct Cayley hypermaps which have high level of symmetry. Our main goal is to present the general theory so as to make it clear to study Cayley hypermaps.

Let $n$ be a sufficiently large integer with $n\equiv 0\pmod 4$ and let $F_i \subseteq{[n]\choose 4}$ where $i\in [n/4]$. We show that if each vertex of $F_i$ is contained in more than ${n-1\choose 3}-{3n/4\choose 3}$ edges, then $\{F_1, \ldots ,F_{n/4}\}$ admits a rainbow matching, i.e., a set of $n/4$ edges consisting of one edge from each $F_i$. This generalizes a deep result of Khan on perfect matchings in 4-uniform hypergraphs.

Aharoni and Howard conjectured that, for positive integers $n,k,t$ with $n\ge k$ and $n\ge t$, if $F_1,\ldots, F_t\subseteq {[n]\choose k}$ such that $|F_i|>{n\choose k}-{n-t+1\choose k}$ for $i\in [t]$ then there exist $e_i\in F_i$ for $i\in [t]$ such that $e_1,\ldots,e_t$ are pairwise disjoint. Huang, Loh, and Sudakov proved this conjecture for $t<n/(3k^2)$. In this paper, we show that this conjecture holds for $t\le n/(2k)$ and $n$ sufficiently large.

A {\em brick} is a non-bipartite matching covered graph without non-trivial tight cuts. Bricks are building blocks of matching covered graphs. We say that an edge $e$ in a brick $G$ is {\em $b$-invariant} if $G-e$ is matching covered and a tight cut decomposition of $G-e$ contains exactly one brick. A 2-edge-connected cubic graph is {\em essentially 4-edge-connected} if it does not contain nontrivial 3-cuts. A brick $G$ is {\em near-bipartite} if it has a pair of edges $\{e_1, e_2\}$ such that $G-\{e_1,e_2\}$ is bipartite and matching covered. Kothari, de Carvalho, Lucchesi and Little proved that each essentially 4-edge-connected cubic non-near-bipartite brick $G$, distinct from the Petersen graph, has at least $|V(G)|$ $b$-invariant edges. Moreover, they made a conjecture: every essentially 4-edge-connected cubic near-bipartite brick $G$, distinct from $K_4$, has at least $|V(G)|/2$ $b$-invariant edges. We confirm the conjecture in this paper. Furthermore, all the essentially 4-edge-connected cubic near-bipartite bricks, the numbers of $b$-invariant edges of which attain the lower bound, are presented.

A graph $G$ is $k$-ordered if for any distinct vertices $v_1, v_2, \ldots, v_k \in V(G)$, it has a cycle through $v_1, v_2, \ldots, v_k$ in order. Let $f(k)$ denote the minimum integer so that every $f(k)$-connected graph is $k$-ordered. The first non-trivial case of determining $f(k)$ is when $k=4$, where the previously best known bounds are $7 \leq f(4) \leq 40$. We prove that in fact $f(4)=7$.

Let $H$ be a $k$-partite $k$-graph with $n$ vertices in each partition class, and let $δ_{k-1}(H)$ denote the minimum co-degree of $H$. We characterize those $H$ with $δ_{k-1}(H) \geq n/2$ and with no perfect matching. As a consequence we give an affirmative answer to the following question of Rödl and Ruciński: If $k$ is even or $n \not\equiv 2 \pmod 4$, does $δ_{k-1}(H) \geq n/2$ imply that $H$ has a perfect matching? We also give an example indicating that it is not sufficient to impose this degree bound on only two types of $(k-1)$-sets.

A well known theorem of Kuratowski in 1932 states that a graph is planar if, and only if, it does not contain a subdivision of $K_5$ or $K_{3,3}$. Wagner proved in 1937 that if a graph other than $K_5$ does not contain any subdivision of $K_{3,3}$ then it is planar or it admits a cut of size at most 2. Kelmans and, independently, Seymour conjectured in the 1970s that if a graph does not contain any subdivision of $K_5$ then it is planar or it admits a cut of size at most 4. In this paper, we give a proof of the Kelmans-Seymour conjecture. We also discuss several related results and problems.

Let $G$ be a 5-connected nonplanar graph and let $x_1,x_2,y_1,y_2\in V(G)$ be distinct, such that $G[\{x_1,x_2,y_1,y_2\}]\cong K_4^-$ and $y_1y_2\notin E(G)$. We show that one of the following holds: $G-x_1$ contains $K_4^-$, or $G$ contains a $K_4^-$ in which $x_1$ is of degree 2, or $G$ contains a $TK_5$ in which $x_1$ is not a branch vertex, or $\{x_2,y_1,y_2\}$ may be chosen so that for any distinct $z_0, z_1\in N(x_1)-\{x_2,y_1,y_2\}$, $G-\{x_1v:v\notin \{z_0, z_1,x_2, y_1,y_2\}\}$ contains $TK_5$. This result will be used to prove the Kelmans-Seymour conjecture.

The minimum co-degree threshold for a perfect matching in a $k$-graph with $n$ vertices was determined by Rödl, Ruciński and Szemerédi for the case when $n\equiv 0\pmod k$. Recently, Han resolved the remaining cases when $n \not\equiv 0\pmod k$, establishing a conjecture of Rödl, Ruciński and Szemerédi. In this paper, we determine the minimum co-degree threshold for almost perfect matchings in $k$-partite $k$-graphs, answering a question of Rödl and Ruciński.

Akiyama and Watanabe conjectured that every simple planar bipartite graph on $n$ vertices contains an induced forest on at least $5n/8$ vertices. We apply the discharging method to show that every simple bipartite planar graph on $n$ vertices contains an induced forest on at least $\lceil (4n+3)/7 \rceil$ vertices.

We use $K_4^-$ to denote the graph obtained from $K_4$ by removing an edge, and use $TK_5$ to denote a subdivision of $K_5$. Let $G$ be a 5-connected nonplanar graph and $\{x_1,x_2,y_1,y_2\}\subseteq V(G)$ such that $G[\{x_1,x_2,$ $y_1,y_2\}]\cong K_4^-$ with $y_1y_2\notin E(G)$. Let $w_1,w_2,w_3\in N(y_2)-\{x_1,x_2\}$ be distinct. We show that $G$ contains a $TK_5$ in which $y_2$ is not a branch vertex, or $G-y_2$ contains $K_4^-$, or $G$ has a special 5-separation, or $G-\{y_2v:v\notin \{w_1,w_2,w_3,x_1,x_2\}\}$ contains $TK_5$.

Seymour and, independently, Kelmans conjectured in the 1970s that every 5-connected nonplanar graph contains a subdivision of $K_5$. This conjecture was proved by Ma and Yu for graphs containing $K_4^-$, and an important step in their proof is to deal with a 5-separation in the graph with a planar side. In order to establish the Kelmans-Seymour conjecture for all graphs, we need to consider 5-separations and 6-separations with less restrictive structures. The goal of this paper is to deal with special 5-separations and 6-separations, including those with an apex side. Results will be used in subsequent papers to prove the Kelmans-Seymour conjecture.