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.

The characteristic polynomials of uniform hypercycles with length four

The Turán Density of 4-Uniform Tight Cycles

On Spectral Characterization of Two Classes of Unicycle Graphs

Digraph Polynomials for Counting Cycles and Paths

Characteristic Polynomials and Hypergraph Generating Functions via Heaps of Pieces

The reduced formula of the characteristic polynomial of hypergraphs and the spectrum of hyperpaths

Vertex-disjoint cycles of different lengths in tournaments

Interlacing Property of a Family of Generating Polynomials over Dyck Paths

Non-vanishing of Ceresa and Gross--Kudla--Schoen cycles associated to modular curves

Algebraic cycles of a fixed degree

On the cyclicity of hyperbolic polycycles

Algebraic cycles on hyper-Kähler varieties of generalized Kummer type

Spanning Euler Tours in Hypergraphs

The Hamilton-Waterloo problem for Hamilton cycles and C4k-factors

On the Structure of Laplacian Characteristic Polynomial of Circulant Graphs

On the classification and dispersability of circulant graphs with two jump lengths

Hecke and Galois Properties of Special Cycles on Unitary Shimura Varieties

Algebraic cycles on the generic abelian fourfold with polarization of type (1,2,2,2)

Simple and efficient four-cycle counting on sparse graphs

The Ramsey number for 4-uniform tight cycles