Skip to content
Preprint

Square-Difference-Free Sets beyond the Three-Quarter Barrier

Aug 2026 · 1 citation · 9 references
Mathematics

Abstract

Let $D(N)$ denote the largest cardinality of a subset of $\{1,\ldots,N\}$ containing no nonzero square difference. While a construction certifying $D(N)\geq (1-o(1))N^{1/2}$ is almost trivial, Erd\H{o}s conjectured that this bound is sharp up to polylogarithmic factors. This was disproved by S\'ark\"ozy and later again by Ruzsa, who found an elegant construction showing that $D(N)\geq c\cdot N^{0.733077\dots}$, with an absolute constant $c>0$. His approach was subsequently refined, leading to the previously best known lower bound with exponent $0.7334117\dots$ due to Beigel-Gasarch and, independently, Lewko. However, in the original paper Ruzsa observed that $3/4$ seems to be the natural barrier of his approach. In this paper we develop a new construction leading to the lower bound \[ \liminf_{N\to\infty}\frac{\log D(N)}{\log N} \geq \alpha_*:= 0.7527964558\ldots; \] thus crossing the natural exponent-$3/4$ barrier of Ruzsa's method. The value $0.7527964558\ldots$ arises from a simple optimisation problem and appears to be the limit of the new approach.

View source

Similar papers

Preprint Jul 2026

On Gr\"unbaum's problem for symmetric configurations

Let $g_n$ be the largest number of Euclidean balls of diameter $1$ which may be needed to cover a set of diameter $1$ in $\mathbb{R}^n$. We study this problem for finite sets invariant under all coordinate permutations. We prove that the exponential growth rate in this symmetric problem can be characterized exactly as...

Andrii Arman, A. Bondarenko, A. Prymak et al. · 0 citations
Preprint Jul 2026

New bounds for double covers of the discrete box {0,1,2}^d

A proper sub-box of $A=\{0,1,2\}^d$ is a product $S_1\times\dots\times S_d$ with each $\varnothing\neq S_i\subsetneq\{0,1,2\}$. A double cover is a finite multiset of proper sub-boxes covering every point of $A$ exactly twice; write $f(d)$ for the minimum size of a double cover. Leader, Milicevic and Tan asked whether...

Patrick White · 0 citations
Preprint Aug 2026

Bounded independence for the inverse star discrepancy

We give a random-bit-efficient construction for the inverse star discrepancy. For every fixed $u\in(0,1)$, $k$-wise independent uniform points $\boldsymbol{X}_1,\ldots,\boldsymbol{X}_N$ with $k=O(d(1+\log(1+N/d)))$ satisfy the Monte Carlo bound $D_N^*(\boldsymbol{X}_1,\ldots,\boldsymbol{X}_N) =O(\sqrt{d/N})$ with proba...

Kosuke Suzuki · 0 citations
Preprint Aug 2026

Almost factorial many facets for 0/1-polytopes

A long-standing question posed by Fukuda (1995) and Ziegler (2000) inquires about the asymptotic behavior of $g(n)$, the maximum number of facets that an $n$-dimensional $0/1$-polytope can have. A remarkable result by B\'ar\'any and P\'or (2001) via probabilistic methods established that $g(n)$ is at least superexponen...

Federico Castillo, Luis Ferroni · 1 citation
Preprint Jul 2026

The Second Term for Strongly 2-Primitive Sets

Let $F(n)$ be the largest size of a set $A\subseteq[1,n]$ such that $a\nmid bc$ whenever $a,b,c\in A$ and $a\notin\{b,c\}$, with $b$ and $c$ allowed to coincide. We prove \[ F(n)=\pi(n)+\left(\frac{27}{2}+o(1)\right)\frac{n^{2/3}}{(\log n)^2}. \] This determines the second-order constant conjectured by Erd\H{o}s; the u...

Przemek Chojecki · 0 citations
Preprint Aug 2026

Discrepancy of geometric incidences

We study the combinatorial (red-blue) discrepancy of finite point sets with respect to hyperplanes and, more generally, bounded-complexity affine algebraic sets. We prove that every $n$-point set in a real Euclidean space admits a red-blue coloring for which every affine algebraic set of dimension at most $D$ and degre...

A. Adıbelli, István Tomon · 1 citation

We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.