English

Notes and computations on forbidden differences

Number Theory 2025-08-06 v1 Combinatorics

Abstract

We explore from several perspectives the following question: given XZX\subseteq \mathbb{Z} and NNN\in \mathbb{N}, what is the maximum size D(X,N)D(X,N) of A{1,2,,N}A\subseteq \{1,2,\dots,N\} before AA is forced to contain two distinct elements that differ by an element of XX? The set of forbidden differences, XX, is called \textit{intersective} if D(X,N)=o(N)D(X,N)=o(N), with the most well-studied examples being X=S={n2:nN}X=S=\{n^2: n\in \mathbb{N}\} and X=P1={p1:p prime}X=\mathcal{P}-1=\{p-1: p\text{ prime}\}. In addition to some new results, including exact formulas and estimates for D(X,N)D(X,N) in some non-intersective cases like X=PX=\mathcal{P} and X=S+kX=S+k, kNk\in \mathbb{N}, we also provide a comprehensive survey of known bounds and extensive computational data. In particular, we utilize an existing algorithm for finding maximum cliques in graphs to determine D(S,N)D(S,N) for N300N\leq 300 and D(P1,N)D(\mathcal{P}-1,N) for N500N\leq 500. None of these exact values appear previously in the literature.

Keywords

Cite

@article{arxiv.2508.03650,
  title  = {Notes and computations on forbidden differences},
  author = {Christian Dean and Haley Havard and Elizabeth Hawkins and Patch Heard and Andrew Lott and Alex Rice},
  journal= {arXiv preprint arXiv:2508.03650},
  year   = {2025}
}

Comments

10 pages, 5 tables