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.

Constant Amortized Time Enumeration of Eulerian trails

Königsberg Sightseeing: Eulerian Walks in Temporal Graphs

Infinite Eulerian trails are computable on graphs with vertices of infinite degree

Ramsey Numbers of Trails

A 2.Vertical-Bar-E-Vertical-Bar-Bit Distributed Algorithm For The Directed Euler Trail Problem

A 2.|E|-Bit Distributed Algorithm for the Directed Euler Trail Problem.

Ramsey numbers of trails and circuits

Enumerating m-Length Walks in Directed Graphs with Constant Delay

Enumeration of self avoiding trails on a square lattice using a transfer matrix technique

The Trail Problem on Finitely Ramified Fractals

Edge-Disjoint Paths in Eulerian Digraphs

From Amortized to Worst Case Delay in Enumeration Algorithms

Packing Odd Walks and Trails in Multiterminal Networks

Enumeration Problems for Regular Path Queries

Spanning Euler Tours in Hypergraphs

Explicit formulas for enumeration of lattice paths: basketball and the kernel method

Excursion Processes Associated with Elliptic Combinatorics

The number of Euler tours of a random directed graph

Formalizing Graph Trail Properties in Isabelle/HOL

Markov chains, CAT(0) cube complexes, and enumeration: monotone paths in a strip mix slowly

Multidimensional Quantum Walks, with Application to $k$-Distinctness