Castling tree of tight Dyck nests with applications to odd and middle-levels graphs
Italo J. Dejter
TL;DR
This work reframes the Hamiltonicity of odd graphs $O_k$ and middle-levels graphs $M_k$ through a castling tree on tight restricted-growth strings (TRGS) and their associated Dyck nests. By mapping TRGS to Dyck words via a casting procedure and blowing nests to fixed lengths, the author constructs anchored word representatives that encode cyclic and dihedral classes, enabling uniform 2-factors and modular arc factorizations that lift between $O_k$ and $M_k$. A clone/update mechanism on Dyck nests along the tree $T$ yields a scalable, combinatorial apparatus for generating Hamilton cycles, including explicit constructions for small $k$ and a general framework to obtain distinct Hamilton cycles from distinct spanning trees in hypergraphs. The approach offers an alternative perspective (via reversed complementation) on existing Hamiltonicity results, with detailed procedures for casting, blowing, anchoring, and assembling cycles that tie together Dyck-path combinatorics, Catalan structures, and Kneser-graph properties. Overall, the paper provides a cohesive, algorithmic pipeline from TRGS to Hamilton cycles in odd and middle-levels graphs, along with complexity bounds for the core castling operation and a suite of structural partitions helpful for SEO-friendly, semantically rich indexing.
Abstract
A subfamily of Dyck words called tight Dyck words is seen to correspond, via a "castling" procedure, to the vertex set of an ordered tree $T$. From $T$, a "blowing" operation recreates the whole family ol Dyck words. The vertices of $T$ can be elementarily updated all along $T$. This simplifies an edge-supplementary arc-factorization view of Hamilton cycles of odd and middle-levels graphs found by T. Mütze et al. This take into account that the Dyck words represent: {\bf(a)} the cyclic and dihedral vertex classes of odd and middle-levels graphs, respectively, and {\bf(b)} the cycles of their 2-factors, as found by T. Mütze et al.
