arXiv++ Combinatorics

An Euler tour in a hypergraph $H$ is a closed walk that traverses each edge of $H$ exactly once, and an Euler family is a family of closed walks that jointly traverse each edge of $H$ exactly once. An $\ell$-covering $k$-hypergraph, for $2 \le \ell < k$, is a $k$-uniform hypergraph in which every $\ell$-subset of vertices lie together in at least one edge. In this paper we prove that every $\ell$-covering $k$-hypergraph, for $k \ge 3$, admits an Euler family.

An Euler tour in a hypergraph is a closed walk that traverses each edge of the hypergraph exactly once, while an Euler family is a family of closed walks that jointly traverse each edge exactly once and cannot be concatenated. In this paper, we show how the problem of existence of an Euler tour (family) in a hypergraph $H$ can be reduced to the analogous problem in some smaller hypergraphs that are derived from $H$ using an edge cut of $H$. In the process, new techniques of edge cut assignments and collapsed hypergraphs are introduced. Moreover, we describe algorithms based on these characterizations that determine whether or not a hypergraph admits an Euler tour (family), and can also construct an Euler tour (family) if it exists.

An Euler tour in a hypergraph (also called a rank-2 universal cycle or 1-overlap cycle in the context of designs) is a closed walk that traverses every edge exactly once. In this paper, we define a covering $k$-hypergraph to be a non-empty $k$-uniform hypergraph in which every $(k-1)$-subset of vertices appear together in at least one edge. We then show that every covering $k$-hypergraph, for $k\geq 3$, admits an Euler tour if and only if it has at least two edges.

An Euler tour of a hypergraph is a closed walk that traverses every edge exactly once; if a hypergraph admits such a walk, then it is called eulerian. Although this notion is one of the progenitors of graph theory --- dating back to the eighteenth century --- treatment of this subject has only begun on hypergraphs in the last decade. Other authors have produced results about rank-2 universal cycles and 1-overlap cycles, which are equivalent to our definition of Euler tours. In contrast, an Euler family is a collection of nontrivial closed walks that jointly traverse every edge of the hypergraph exactly once and cannot be concatenated simply. Since an Euler tour is an Euler family comprising a single walk, having an Euler family is a weaker attribute than being eulerian; we call a hypergraph quasi-eulerian if it admits an Euler family. A triple system is a 3-uniform hypergraph in which every pair of vertices lie in exactly $λ$ edges together, for some parameter $λ$. We first prove that all triple systems with at least two edges are eulerian. We then define a new kind of hypergraph, which we call $\ell$-covering $k$-hypergraphs: these are $k$-uniform hypergraphs in which every $\ell$-subset of the vertices lie in at least one edge together. We are able to show that such hypergraphs are eulerian when $\ell=k-1$ and quasi-eulerian otherwise, as long as they have at least two edges. Finally, we give some constructive results on hypergraphs with small edge cuts. There has been analogous work by other authors on hypergraphs with small vertex cuts. We reduce the problem of finding an Euler tour in a hypergraph to finding an Euler tour in each of the connected components of the edge-deleted subhypergraph, then show how these individual Euler tours can be concatenated.