{"id":"arxiv/2604.25214","url":"https://arxiv.org/abs/2604.25214","tags":["math.CO","cs.DM"],"score":0,"title":"Size-4 Counterexamples to the Sidon-Extension Conjecture","domain":"math.CO","source":"arxiv","authors":["Tong Niu"],"reviews":0,"subject":"math.CO","summary":"A finite set $S \\subset \\mathbb{Z}$ is a Sidon set if its pairwise differences are distinct. Recall that a perfect difference set (PDS) of order $n$ is a set $B \\subset \\mathbb{Z}_v$ ($v = n^2 - n + 1$) of size $n$ such that every nonzero residue arises exactly once as a difference of two elements of $B$. Erdős's \\$1000 conjecture -- that every finite Sidon set extends to a finite PDS -- was disproved by Alexeev and Mixon (arXiv:2510.19804, October 2025), via the size-5 counterexamples $\\{1,2,4,8,13\\}$ and Hall's earlier $\\{1,3,9,10,13\\}$; they then asked: what is the smallest size $s$ of a…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-04-28","reactions":{}}