geometry-topology / Geometric Measure Theory

Erdős Problem #953

What is the largest possible measure of a subset of a radius-$R$ disk in $\mathbb{R}^2$ containing no pair of points at a positive integer distance? A Poisson-Bessel kernel argument gives $M(R) \ll R^{1/2}$; with Sárközy's lower construction, $M(R) = R^{1/2 + o(1)}$.

10Significance / 100
1Frontier events
0Verification tasks
0Recorded attempts

Temporal state

Current frontier

No reconciled state yet.

Append-only history

Frontier timeline

geometry-topologyApr 27, 2026Significance 10/100Registry: unreviewed

Erdős Problem #953

Prior state unknownproved

What is the largest possible measure of a subset of a radius-$R$ disk in $\mathbb{R}^2$ containing no pair of points at a positive integer distance? A Poisson-Bessel kernel argument gives $M(R) \ll R^{1/2}$; with Sárközy's lower construction, $M(R) = R^{1/2 + o(1)}$.

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

Research memory

Claims and attempts

Scoped claims

Source authenticated

What is the largest possible measure of a subset of a radius-$R$ disk in $\mathbb{R}^2$ containing no pair of points at a positive integer distance? A Poisson-Bessel kernel argument gives $M(R) \ll R^{1/2}$; with Sárközy's lower construction, $M(R) = R^{1/2 + o(1)}$.

Recorded attempts

Evidence graph

Connected research record

No public relationships recorded yet.