Indexed metadata

On the diameter and distribution of Sidon sets

Daniel Carter, Kevin O'Bryant, Terence Tao

Source record

Source: arXiv

Published: Oct 26, 2026

arXiv: 2610.36207

Open original source ↗

Source abstract

A Sidon set is a set A\mathcal{A} of integers with the property that if 0≠a−b=c−d0\neq a-b=c-d and a,b,c,d∈Aa,b,c,d\in\mathcal{A}, then (a,b)=(c,d)(a,b)=(c,d). Our main result is an improved and explicit bound on the diameter of a Sidon set: if A\mathcal{A} is a Sidon set with k≥1k\ge 1 elements, then diam⁡(A)≥k2(11+0.945/k−0.945k)−1;\operatorname{diam}(\mathcal{A}) \ge k^2 \left(\frac{1}{1 + 0.945/\sqrt{k}}-\frac{0.945}{\sqrt k}\right) -1; in particular, diam⁡(A)≥k2−1.89k3/2\operatorname{diam}(\mathcal{A})\ge k^2-1.89 k^{3/2}. This implies that if A⊆[1,N]\mathcal{A}\subseteq[1,N] is a Sidon set, then ∣A∣≤N1/2+0.945 N1/4+0.447|\mathcal{A}| \le N^{1/2}+0.945 \, N^{1/4}+0.447. Our technique also gives an improved bound for the case of large kk, namely diam⁡(A)≥k2−1.88607k3/2\operatorname{diam}(\mathcal{A}) \ge k^2-1.88607 k^{3/2} for k≥483k\ge 483. A γγ-Golomb ruler is a set A\mathcal{A} of integers with the property that there are not γ+1γ+1 distinct pairs (ai,bi)∈A2(a_i,b_i)\in\mathcal{A}^2 with 0≠a1−b1=⋯=aγ+1−bγ+10\neq a_1-b_1=\cdots=a_{γ+1}-b_{γ+1}. Our diameter bounds extend in a natural way to the case of Golomb rulers. Our techniques can also be adapted to address a number of questions on the distribution of Golomb rulers: we provide upper bounds on the two quantities ∣aℓ−a1−ℓ−1k−1(ak−a1)∣\left|a_\ell-a_1 -\frac{\ell-1}{k-1}(a_k-a_1)\right| and max⁡1≤i<k(ai+1−ai)\max_{1\le i<k} (a_{i+1}-a_i), where A={a1<⋯<ak}\mathcal{A}=\{a_1<\dots<a_k\} is a γγ-Golomb ruler with diam⁡(A)≤(k2−bk3/2)/γ\operatorname{diam}(\mathcal{A})\le (k^2-bk^{3/2})/γ (where b∈Rb\in \mathbb{R} is a free parameter).

Evidence graph

No public relationships recorded yet.

Integrity note: This page is a factual metadata record created by deterministic ingestion. It is not a claim that the work moves a mathematical frontier or has been independently verified.