Gives a short second proof that D_d(m) decomposes into d directed Hamilton cycles for d≥2 and odd m≥3 via a fixed-row-sum selection theorem, cyclic lifts, and Lean 4 verification.
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
-
Short Second Proof of the Odd-Modulus Directed Torus Hamilton Decomposition Theorem
Gives a short second proof that D_d(m) decomposes into d directed Hamilton cycles for d≥2 and odd m≥3 via a fixed-row-sum selection theorem, cyclic lifts, and Lean 4 verification.