Recognition: no theorem link
On zero-sum Ramsey numbers of cycles and wheels
Pith reviewed 2026-05-15 03:20 UTC · model grok-4.3
The pith
R(C_qk, Z_q) equals qk + q - 1 exactly for odd q ≥ 3 and k ≥ 35q, with matching exact results for q=3 cycles and wheels W_3k.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
For every fixed odd q≥3 and every k≥35q, we obtain the exact value R(C_qk,Z_q)=qk+q-1. For q=3, R(C_3k,Z_3)=3k+2 for k≥2 and R(W_3k,Z_3)=3k+1 for k≥2.
Load-bearing premise
The upper bound for general q relies on Pikhurko's external result that R(C_2q,Z_q)≤35q²; if that bound is loose or inapplicable in the insertion step, the claimed exact value for large k would not hold.
read the original abstract
For an integer $q\ge 2$ and a graph $F$ with $q\mid e(F)$, let $R(F,\Z_q)$ be the least integer $n$ such that every edge-labeling $w\colon E(K_n)\to \Z_q$ contains a copy of $F$ whose edge-label sum is zero in $\Z_q$. Write $C_{qk}$ for the cycle on $qk$ vertices. We prove that $R(C_{qk},\Z_q)\le \max\{R(C_{2q},\Z_q),qk+q-1\}$ via an insertion argument rooted in the classic Erd\H{o}s-Ginzburg-Ziv theorem. Combined with Pikhurko's result, we obtain $R(C_{qk},\Z_q)\le \max\{35q^2,qk+q-1\}$ for every $q\ge 3$. We also show that $R(C_{qk},\Z_q)\ge qk+q-1$ for odd $q\ge 3$. Hence, for every fixed odd $q\ge 3$ and every $k\ge 35q$, we obtain the exact value $R(C_{qk},\Z_q)=qk+q-1$. For even $q\ge 4$, the same method gives $qk+\frac q2-1\le R(C_{qk},\Z_q)\le \max\{35q^2,qk+q-1\}$, leaving an additive gap of order $q/2$ when $k$ is large. Moreover, for the case $q=3$, we prove that \(R(C_{3k}, \mathbb{Z}_3) = 3k + 2\) for all \(k \ge 2\). Extending our techniques beyond cycles, we also resolve the zero-sum Ramsey number for wheel graphs \(W_m = C_m + K_1\), proving that \(R(W_{3k}, \mathbb{Z}_3) = 3k + 1\) for all \(k \ge 2\).
Editorial analysis
A structured set of objections, weighed in public.
Axiom & Free-Parameter Ledger
axioms (1)
- standard math Erdős–Ginzburg–Ziv theorem: in any sequence of 2q-1 integers there is a subsequence of q that sums to 0 mod q
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.