Improved dimension bounds for Falconer's distance problem in the plane

Abstract

Let $E\subset\mathbb R^2$ be analytic with $t=\dim_{\mathrm H}E>1$. We prove $\dim_{\mathrm H}ΔE\ge 4/5+η_0$ for an absolute, non-explicit constant $η_0>0$, and \[ \dim_{\mathrm H}ΔE\ge \frac{t^2-2t+5}{2t^2-7t+10} \quad\text{for }1 1$, then \[ \underline{\dim}_{\mathrm B}Δ_xE\ge \max\left\{\frac45+η_0,\min\left\{\frac{3s+1}{5},\frac78\right\}\right\} \] for $μ$-almost every $x$. The same bound holds for pinned Hausdorff dimension under a common dyadic mass law, allowing oscillation with scale. We retain information about both endpoints in the Kolmogorov complexity estimates of Stull and Fiedler--Stull. Applying the partition estimates with the endpoints reversed yields $4/5$ and the rational bound. Equality forces both information profiles to have excess information on a common interval of scales. Encoding one source measure for all pins converts this constraint into a configuration of points and circles with many rich perpendicular bisectors. Lower bounds of Katz--Tardos and Ren--Wang contradict the upper bound of Fu--Gan--Ren; compactness then gives $η_0>0$. This rigidity argument has a precedent in the work of Héra, Shmerkin and Yavicoli on Furstenberg sets, using Bourgain's projection theorem. A separate finite-scale selection proves the pinned lower box bound.