Sliding-window upper bound for Sidon sets

ID: sliding-window-upper-bound-for-sidon-sets

For a Sidon set , put and let count points in a window of consecutive integers. Each point occurs in windows, so . Cauchy-Schwarz gives . Each positive difference occurs at most once and contributes windows, giving the upper bound . Thus . Taking gives the displayed estimate, which combines with the Bose-Chowla Sidon construction to determine the asymptotic maximum.

New to topics? Read the docs here!