pith. machine review for the scientific record. sign in

arxiv: 2605.14954 · v1 · submitted 2026-05-14 · 🧮 math.CO

Recognition: no theorem link

On zero-sum Ramsey numbers of cycles and wheels

Authors on Pith no claims yet

Pith reviewed 2026-05-15 03:20 UTC · model grok-4.3

classification 🧮 math.CO
keywords everycyclesintegermathbbobtainproveramseyzero-sum
0
0 comments X

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.

Researchers study complete graphs where every edge gets a label from 0 to q-1. The goal is the smallest number of vertices n such that any labeling guarantees a cycle whose length is a multiple of q and whose labels add up to zero modulo q. They use a known theorem on zero sums in groups to insert vertices and build the desired cycle from smaller ones. This gives an upper bound that matches a simple lower bound construction for odd q when the cycle is long enough. For q=3 they get precise numbers for both cycles and wheels.

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.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The paper invokes the Erdős–Ginzburg–Ziv theorem as a standard tool and relies on one external result of Pikhurko; no free parameters or new entities are introduced.

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
    Invoked to guarantee a zero-sum path segment that can be inserted into a smaller cycle.

pith-pipeline@v0.9.0 · 5677 in / 1288 out tokens · 35483 ms · 2026-05-15T03:20:31.295043+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.