Abstract:Motivated by generalizations of de Bruijn cycles to various combinatorial structures (Chung, Diaconis, and Graham), we study various Euler tours in set systems. Let $\mathcal{G}$ be a hypergraph whose corank and rank are $c\geq 3$ and $k$, respetively. The minimum $t$-degree of $\mathcal{G}$ is the fewest number of edges containing every $t$-subset of vertices. An Euler tour (family, respectively) in $\mathcal{G}$ is a (family of, respectively) closed walk(s) that (jointly, respectively) traverses each edge of $\mathcal{G}$ exactly once. An Euler tour is spanning if it traverses all the vertices of $\mathcal{G}$. We show that $\mathcal{G}$ has an Euler family if its incidence graph is $(1+\lceil k/c \rceil)$-edge-connected. Provided that the number of vertices of $\mathcal{G}$ meets a reasonable lower bound, and either $2$-degree is at least $k$ or $t$-degree is at least one for $t\geq 3$, we show that $\mathcal{G}$ has a spanning Euler tour. To exhibit the usefulness of our results, we solve a number of open problems concerning ordering blocks of a design (these have applications in other fields such as erasure-correcting codes). Answering a question of Horan and Hurlbert, we show that a Steiner quadruple system of order $n$ has a (spanning) Euler tour if and only if $n\geq 8$ and $n\equiv 2,4 \pmod 6$, and we prove a similar result for all Steiner systems, as well as all designs except for 2-designs whose index $\lambda$ is less than the largest block size. We nearly solve a conjecture of Dewar and Stevens on the existence of universal cycles in pairwise balanced designs. Motivated by R.L. Graham's question on the existence of Hamiltonian cycles in block-intersection graphs of Steiner triple systems, we establish the Hamiltonicity of the block-intersection graph of a large family of (not necessarily uniform) designs. All our results are constructive and of polynomial time complexity.

Infinite Families of Vertex-Transitive Graphs with Prescribed Hamilton Compression

The Hamilton compression of highly symmetric graphs

Hamiltonicity of Transitive Graphs Whose Automorphism Group Has $\Z_{p}$ as Commutator Subgroups

On vertex‐transitive graphs with a unique hamiltonian cycle

Hamiltonian cycles in Cayley graphs whose order has few prime factors

Longest cycles in vertex-transitive and highly connected graphs

Spanning Euler Tours in Hypergraphs

A generalization of the Hamiltonian cycle in dense digraphs

Graph universal cycles: Compression and connections to universal cycles

Graphs with Many Hamiltonian Paths

Another Hamiltonian Cycle in Bipartite Pfaffian Graphs

Infinite Families of k-Vertex-Critical ( , )-Free Graphs

On Hamiltonian Decompositions of Cayley Graphs on Cyclic Groups

Characterizing and generalizing cycle completable graphs

$K_2$-Hamiltonian Graphs: II

Finite cubic graphs admitting an cyclic group of automorphisms with at most three orbits on vertices

Few hamiltonian cycles in graphs with one or two vertex degrees

The infinite Fibonacci cube and its generalizations

Kneser graphs are Hamiltonian

A general approach to transversal versions of Dirac-type theorems

Generation and New Infinite Families of $K_2$-hypohamiltonian Graphs