Table of Contents
Fetching ...

Odd-Ramsey numbers of Hamilton cycles

Simona Boyadzhiyska, Shagnik Das, Thomas Lesgourgues, Kalina Petrova

TL;DR

This work studies the odd-Ramsey number $r_{\text{odd}}(n,H)$ with $H=C_n$, determining $r_{\text{odd}}(n,C_n)$ up to a constant factor in the complete-graph setting: $\big(\frac{\sqrt{2}}{2}+o(1)\big)\sqrt{n} \le r_{\text{odd}}(n,C_n) \le \frac{3\sqrt{2}}{2}\sqrt{n}$. The upper bound uses an explicit finite-field construction, while the lower bound relies on a parity-switch framework built around switches and a SPICy (Switches Placed in Cycles) structure, culminating in a Hamilton cycle with at most one odd colour class. The paper also initiates the study of odd-Ramsey numbers for Hamilton cycles in Dirac graphs, proving that a small increase above the Dirac threshold $n/2$ forces nontrivial odd-Ramsey numbers, and providing bounds for $r_{\text{odd}}(\ast,n,\delta;C_n)$ that depend on the minimum degree. Overall, the authors blend algebraic constructions, parity-switching arguments, and absorption techniques to map the complete-graph landscape and begin the sparse-graph regime, opening several natural directions for further refinement and related Hamiltonian-structural questions.

Abstract

The odd-Ramsey number $r_{\text odd}(n,H)$ of a graph $H$, as introduced by Alon in his work on graph-codes, is the minimum number of colours needed to edge-colour $K_n$ so that every copy of $H$ intersects some colour class in an odd number of edges. In this paper, we determine the odd-Ramsey number of Hamilton cycles up to a small multiplicative factor, proving that $r_{\text odd}(n,C_n) = Θ(\sqrt{n})$. Our upper bound follows from an explicit finite-field construction, while the matching lower bound uses a combinatorial framework based on parity switches. We also initiate the study of odd-Ramsey numbers of Hamilton cycles in Dirac graphs, demonstrating that a small increase in the minimum degree beyond $n/2$ forces nontrivial odd-Ramsey numbers.

Odd-Ramsey numbers of Hamilton cycles

TL;DR

This work studies the odd-Ramsey number with , determining up to a constant factor in the complete-graph setting: . The upper bound uses an explicit finite-field construction, while the lower bound relies on a parity-switch framework built around switches and a SPICy (Switches Placed in Cycles) structure, culminating in a Hamilton cycle with at most one odd colour class. The paper also initiates the study of odd-Ramsey numbers for Hamilton cycles in Dirac graphs, proving that a small increase above the Dirac threshold forces nontrivial odd-Ramsey numbers, and providing bounds for that depend on the minimum degree. Overall, the authors blend algebraic constructions, parity-switching arguments, and absorption techniques to map the complete-graph landscape and begin the sparse-graph regime, opening several natural directions for further refinement and related Hamiltonian-structural questions.

Abstract

The odd-Ramsey number of a graph , as introduced by Alon in his work on graph-codes, is the minimum number of colours needed to edge-colour so that every copy of intersects some colour class in an odd number of edges. In this paper, we determine the odd-Ramsey number of Hamilton cycles up to a small multiplicative factor, proving that . Our upper bound follows from an explicit finite-field construction, while the matching lower bound uses a combinatorial framework based on parity switches. We also initiate the study of odd-Ramsey numbers of Hamilton cycles in Dirac graphs, demonstrating that a small increase in the minimum degree beyond forces nontrivial odd-Ramsey numbers.

Paper Structure

This paper contains 27 sections, 15 theorems, 15 equations, 4 figures.

Key Result

Theorem 1.1

For every even integer $n\geq 4$, we have where the $o(1)$ error term goes to $0$ as $n$ tends to infinity.

Figures (4)

  • Figure 1: Using a switch $S$
  • Figure 2: Proof of \ref{['lem:noswitches']}
  • Figure 3: Evolution of a SPICy
  • Figure 4: The spanning cycle $C'$ in the switch-free portion $\hat{G}$ of $G$

Theorems & Definitions (31)

  • Theorem 1.1
  • Proposition 1.2
  • Theorem 1.3
  • Proposition 2.1
  • proof
  • Definition 3.1: Switch
  • Definition 3.2: Base/flipped matchings
  • Lemma 3.3
  • proof
  • Remark 3.4
  • ...and 21 more