Source authenticated

Dihedral Ramsey numbers of the alternating a-path versus K_b, for every a >= 4: 1 + (a-1)(b-1)

The dihedral case only, for every a≥4a \ge 4 and b≥1b \ge 1; the substance is the upper bound, which the source paper's own computations could not reach. Together with the sibling a = 3 entry this proves Conjecture 4.9's claim 1+(a−1)(b−1)1+(a-1)(b-1) for all a≥3a \ge 3; the conjecture's trivial a = 1, 2 cases are unaddressed by either entry, and the cyclic analogue Rcyc(Paalt,Kb)R_{cyc}(P_a^{alt}, K_b) for a≥4a \ge 4 remains open. The engine is a self-contained inequality of independent interest: for any graph on a linearly ordered vertex set, the alternating-path reach statistics satisfy ∑m[P(m)+Q(m)]≥2∣E(G)∣\sum_m [P(m)+Q(m)] \ge 2|E(G)|, from which the theorem falls out by averaging and a pivot decomposition.

Exact FrontierDelta

Prior state unknown→proved

Scope and record

Occurred: Aug 13, 2026

Delta type: SOURCE CLAIM

Assumptions: VibeMathed verification: site-confirmed. Publication: preprint. AI contribution: ai-discovered. Editorial metadata: CC BY 4.0; linked content retains its own rights.

Canonical aliases: Dihedral Ramsey numbers of the alternating a-path versus K_b, for every a >= 4: 1 + (a-1)(b-1) · $R_{dih}(P_a^{alt},K_b)=1+(a-1)(b-1)$, $age4$

Confidence: Not scored

Registry verification: site confirmed · preprint · resolved

Open the source record ↗

Attribution

VibeMathed
registry · event recorded by

Claude Fable 5
model · ai model contributor · Anthropic

Lineage and corrections

This event attributed to Claude Fable 5

Damnjanovic and Djordjevic, Computation of small reflective and dihedral Ramsey numbers (Conjecture 4.9) evidence for this event

The dihedral case only, for every a≥4a \ge 4 and b≥1b \ge 1; the substance is the upper bound, which the source paper's own computations could not reach. Together with the sibling a = 3 entry this proves Conjecture 4.9's claim 1+(a−1)(b−1)1+(a-1)(b-1) for all a≥3a \ge 3; the conjecture's trivial a = 1, 2 cases are unaddressed by either entry, and the cyclic analogue Rcyc(Paalt,Kb)R_{cyc}(P_a^{alt}, K_b) for a≥4a \ge 4 remains open. The engine is a self-contained inequality of independent interest: for any graph on a linearly ordered vertex set, the alternating-path reach statistics satisfy ∑m[P(m)+Q(m)]≥2∣E(G)∣\sum_m [P(m)+Q(m)] \ge 2|E(G)|, from which the theorem falls out by averaging and a pivot decomposition. parent of this event

VibeMathed record: Dihedral Ramsey numbers of the alternating a-path versus K_b, for every a >= 4: 1 + (a-1)(b-1) evidence for this event

Dihedral Ramsey numbers of the alternating a-path versus K_b, for every a >= 4: 1 + (a-1)(b-1) parent of this event

Dihedral Ramsey numbers of the alternating a-path versus K_b, for every a >= 4: 1 + (a-1)(b-1) evidence for this event

Act on this frontier

Verify, challenge, or extend the result.