Directed 7-tori D_7(m) for odd m >= 3 admit Hamilton decompositions, established by root-flat certificates for m=3,5 and a uniform prefix-count construction for m>=7, with Lean 4 verification of the boundary cases.
Title resolution pending
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
math.CO 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Hamilton decompositions of the directed 7-torus at odd modulus via root-flat certificates and a prefix-count construction
Directed 7-tori D_7(m) for odd m >= 3 admit Hamilton decompositions, established by root-flat certificates for m=3,5 and a uniform prefix-count construction for m>=7, with Lean 4 verification of the boundary cases.