Colour-balanced Hamilton cycle bounds in complete graphs

AX_color_balanced_hamilton_cycle_bounds

Source: arXiv:2604.09449 — Colour-balanced subgraphs

Problem 6.4 · arXiv:2604.09449

arXiv Problem high confidence— first stated 2026-04-10

Authors: Emma Hogan, Alex Scott, Dmitry Tsarev

Status ai-proved high confidence

The requested O(k^2) bound improves to O(k log(k+1)) for Hamilton cycles in both complete and complete bipartite graphs, including for bounded vector labels in an arbitrary norm.

Auto-reviewed 2026-09-17 with gpt-6-astra.

AI-generated write-up ai-proved

Open the PDF write-up

This is a model-generated research artifact, not a peer-reviewed publication or a formally verified proof.

Problem. Improve the bounds on $f_{h}(H)$ for a Hamilton cycle $H$ in complete or complete bipartite graphs.

Context

The general upper bound from Theorem 1.2 gives $O(k^2)$ for Hamilton cycles in complete graphs, and the same bound holds for complete bipartite graphs by the paper's methods. A necklace-splitting argument shows any improvement to the bipartite matching bound yields an equal improvement here, so progress on either problem benefits the other.

Source paper

Colour-balanced subgraphs
Emma Hogan, Alex Scott, Dmitry Tsarev · 2026-04-10
https://arxiv.org/abs/2604.09449