A quantitative form of the planar Falconer distance theorem
Abstract
We give a quantitative planar form of a multiscale argument for Falconer's distance problem. For every 0<η<1, we obtain a positive lower bound for the Lebesgue measure of the distance set of a compact subset of the unit ball supporting a probability measure with ν(B(x,r))≤ 2r1+η. The bound depends only on η. For a compact set of diameter D carrying a probability measure with μ(B(x,r))≤ A(r/D)1+ε, localization gives |ΔE|≥ cε,pDA−p for every fixed p>1/ε. In particular, compact planar sets of Hausdorff dimension greater than one have distance sets of positive Lebesgue measure. The proof develops the multiscale method of the September 2026 manuscript of OpenAI, using one sequence of restricted distance measures for both the mass and Fourier estimates. A reconstruction lemma combines summable total-variation errors with summable squared Fourier norms. No endpoint or sharpness assertion is made.
Related
- Repairing the refined-decoupling proof of the 5/4 planar pinned Falconer theorem
- On Densities in the Erdős-Falconer Distance Problems over the Integers
- Improved dimension bounds for Falconer's distance problem in the plane
- Distance statistics of block-weighted planar quadrangulations
- A graded version of the separator theorem for planar graphs
BibTeX
@misc{cheng2026quantitative,
title = {{A quantitative form of the planar Falconer distance theorem}},
author = {Guozheng Cheng and Xiang Fang and Menghan Li and Hongdou Qu and Chengbo Xiao},
howpublished = {arXiv},
year = {2026},
month = oct,
doi = {10.48550/arxiv.2610.22222},
eprint = {2610.22222},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2610.22222},
}
RIS
TY - UNPB
TI - A quantitative form of the planar Falconer distance theorem
AU - Guozheng Cheng
AU - Xiang Fang
AU - Menghan Li
AU - Hongdou Qu
AU - Chengbo Xiao
PY - 2026
DA - 2026/10/15
PB - arXiv
DO - 10.48550/arxiv.2610.22222
UR - https://arxiv.org/abs/2610.22222
AB - We give a quantitative planar form of a multiscale argument for Falconer's distance problem. For every 0<η<1, we obtain a positive lower bound for the Lebesgue measure of the distance set of a compact subset of the unit ball supporting a probability measure with ν(B(x,r))≤ 2r^1+η. The bound depends only on η. For a compact set of diameter D carrying a probability measure with μ(B(x,r))≤ A(r/D)^1+ε, localization gives |ΔE|≥ c_ε,pDA^−p for every fixed p>1/ε. In particular, compact planar sets of Hausdorff dimension greater than one have distance sets of positive Lebesgue measure. The proof develops the multiscale method of the September 2026 manuscript of OpenAI, using one sequence of restricted distance measures for both the mass and Fourier estimates. A reconstruction lemma combines summable total-variation errors with summable squared Fourier norms. No endpoint or sharpness assertion is made.
ER -