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.

Defective eigenvalues of the non-backtracking matrix

Inverse eigenvalue and related problems for hollow matrices described by graphs

There is no going back: Properties of the non-backtracking Laplacian

Non-backtracking eigenvalues and eigenvectors of random regular graphs and hypergraphs

Generalized Eigenspaces and Pseudospectra of Nonnormal and Defective Matrix-Valued Dynamical Systems

Inverse eigenvalue problem for Laplacian matrices of a graph

Bordering of Symmetric Matrices and an Application to the Minimum Number of Distinct Eigenvalues for the Join of Graphs

Inverse Eigenvalue Problem for a Kind of Acyclic Matrices

Assessing Percolation Threshold Based on High-Order Non-Backtracking Matrices

Achievable multiplicity partitions in the inverse eigenvalue problem of a graph

On the inverse eigenvalue problem for block graphs

The Largest and Smallest Eigenvalues of Matrices and Some Hamiltonian Properties of Graphs

Eigenvalues of graph Laplacians via rank-one perturbations

Non-backtracking spectrum of random graphs: community detection and non-regular Ramanujan graphs

The coherent rank of a graph with three eigenvalues

Main $\mathbf{Q}$-eigenvalues of quasi-threshold graphs

Backtracking (the) Algorithms on the Hamiltonian Cycle Problem

Defect in cyclotomic Hecke algebras

On the class of matrices with rows that weakly decrease cyclicly from the diagonal

Singular graphs and the reciprocal eigenvalue property

Spanning Euler Tours in Hypergraphs