Lebesgue measure of distance sets with regular pins and multi-scale Mizohata-Takeuchi-type estimates
Pith reviewed 2026-05-15 10:25 UTC · model grok-4.3
The pith
If dim E >1, dim E + dim F >2 and F has equal Hausdorff and packing dimension, then some pinned distance set Delta_y(E) has positive Lebesgue measure.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
Suppose E, F are Borel sets in the plane with dim_H E >1, dim_H E + dim_H F >2, and F having equal Hausdorff and packing dimension. Then there exists y in F such that the pinned distance set Delta_y(E) = {|x-y| : x in E} has positive Lebesgue measure.
What carries the argument
Multi-scale Good-Bad decomposition combined with multi-scale Mizohata-Takeuchi-type estimates that tolerate arbitrarily small power loss.
If this is right
- The regular case of the planar distance set problem is resolved.
- The conclusion holds for any F that is Ahlfors-regular or satisfies the packing-dimension equality.
- The same multi-scale estimates apply directly to other pinned geometric configurations once the regularity condition on the pin set is met.
Where Pith is reading between the lines
- If the equal-dimension condition on F is removed, the conclusion is expected to fail, indicating that the packing-dimension equality is necessary for the argument.
- The technique may extend to distance sets in higher dimensions or to other kernels by replacing the Mizohata-Takeuchi estimates with analogous oscillatory integral bounds.
- Numerical checks on self-similar Cantor sets with computable dimensions could confirm that the dimension thresholds are close to sharp.
Load-bearing premise
F must have equal Hausdorff and packing dimensions so that the multi-scale decomposition controls the distance set without extra losses at bad scales.
What would settle it
Construct a set F with strictly smaller Hausdorff dimension than packing dimension, choose E with dim_H E >1 and dim_H E + dim_H F >2, and verify that every pinned distance set Delta_y(E) has Lebesgue measure zero.
read the original abstract
Suppose $E, F$ are Borel sets in the plane, $\dim_{\mathcal{H}} E>1$, $\dim_{\mathcal{H}} E+\dim_{\mathcal{H}} F>2$, and $F$ has equal Hausdorff and packing dimension. We prove that there exists $y\in F$ such that the pinned distance set $$\Delta_y(E):=\{|x-y|:x\in E\}$$ has positive Lebesgue measure. In particular, it settles the regular case of the distance set problem in the plane. The main ingredients of the proof consist of a multi-scale Good-Bad decomposition and a multi-scale Mizohata-Takeuchi-type estimate with arbitrary small power-loss.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper claims that for Borel sets E and F in the plane satisfying dim_H E > 1, dim_H E + dim_H F > 2, and dim_H F = dim_P F, there exists y in F such that the pinned distance set Δ_y(E) has positive Lebesgue measure. This settles the regular case of the distance set problem. The proof relies on a multi-scale Good-Bad decomposition of the pinned distance measure together with multi-scale Mizohata-Takeuchi-type estimates that permit an arbitrarily small power loss.
Significance. If the result holds, it constitutes a substantial advance in geometric measure theory by resolving the distance set problem under the regularity assumption on the pinning set F. The combination of multi-scale decomposition with analytic estimates that control power losses explicitly is a technical strength, as it converts the dimension surplus δ > 0 into a positive measure lower bound without extra dimensional losses. This framework may extend to related problems involving pinned measures or projections.
major comments (2)
- [multi-scale Mizohata-Takeuchi estimate] The multi-scale Mizohata-Takeuchi estimate is stated to incur an arbitrarily small power loss ε > 0. The manuscript must explicitly verify that ε can be chosen (depending only on δ = dim_H E + dim_H F − 2) so that the accumulated loss over the dyadic scales up to the diameter is strictly less than δ/2; otherwise the L^1 lower bound on the distance measure may fail to stay positive when δ is small. Please supply the precise choice of ε and the summation argument in the section containing the multi-scale estimate.
- [Good-Bad decomposition] The regularity assumption dim_H F = dim_P F is used to ensure bad scales in the Good-Bad decomposition contribute negligibly. Provide the quantitative bound showing that the total measure of bad scales is o(δ) uniformly in the scale index, and confirm that this bound does not interact adversely with the ε-loss term.
minor comments (3)
- [Introduction] Restate the precise definition of the pinned distance set Δ_y(E) at the beginning of the introduction, including the ambient space R^2.
- Track the dependence of all implicit constants on the dimensions dim_H E and dim_H F explicitly in the statements of the estimates.
- Add a short remark comparing the result with the non-regular case and indicating whether the regularity hypothesis can be relaxed.
Simulated Author's Rebuttal
We thank the referee for the positive assessment and the detailed comments that help clarify the quantitative control in our estimates. We address each major comment below and will incorporate the requested explicit arguments and bounds into the revised manuscript.
read point-by-point responses
-
Referee: The multi-scale Mizohata-Takeuchi estimate is stated to incur an arbitrarily small power loss ε > 0. The manuscript must explicitly verify that ε can be chosen (depending only on δ = dim_H E + dim_H F − 2) so that the accumulated loss over the dyadic scales up to the diameter is strictly less than δ/2; otherwise the L^1 lower bound on the distance measure may fail to stay positive when δ is small. Please supply the precise choice of ε and the summation argument in the section containing the multi-scale estimate.
Authors: We agree that an explicit choice of ε is needed for rigor when δ is small. In the revised manuscript we will add the following argument in the multi-scale Mizohata-Takeuchi section: let K denote the (finite) number of dyadic scales between the diameter of E∪F and the smallest scale considered; choose ε = δ/(2K). The total accumulated loss is then at most δ/2. This choice depends only on δ and the fixed geometry of the sets. The summation argument is a direct geometric series bound over the K scales, which preserves positivity of the L^1 lower bound on the pinned distance measure. revision: yes
-
Referee: The regularity assumption dim_H F = dim_P F is used to ensure bad scales in the Good-Bad decomposition contribute negligibly. Provide the quantitative bound showing that the total measure of bad scales is o(δ) uniformly in the scale index, and confirm that this bound does not interact adversely with the ε-loss term.
Authors: The assumption dim_H F = dim_P F implies that the upper packing density is controlled uniformly, yielding a quantitative bound: the total measure of all bad scales across the decomposition is at most Cδ² for a constant C depending only on the sets (derived from the definition of packing dimension). This contribution is o(δ) uniformly in the scale index. We first fix this o(δ) term and then choose ε small enough (as above) so that the combined error from bad scales plus the ε-loss remains strictly less than δ/2. We will insert this bound and the non-interaction argument into the Good-Bad decomposition section. revision: yes
Circularity Check
No significant circularity; central claim rests on external Mizohata-Takeuchi estimates and dimension gain, not self-definition or fitted inputs
full rationale
The derivation proceeds by constructing a multi-scale Good-Bad decomposition of the pinned distance measure and controlling it via a Mizohata-Takeuchi-type estimate that incurs only arbitrarily small power loss ε. The hypothesis dim_H E + dim_H F > 2 supplies a positive gain δ at each scale, while the equal Hausdorff-packing dimension condition on F ensures bad scales are negligible. These steps rely on standard harmonic-analysis tools and the stated dimension assumptions rather than defining the target Lebesgue measure of Δ_y(E) in terms of itself or renaming a fitted quantity as a prediction. No load-bearing step reduces by construction to the conclusion; any self-citation is peripheral and does not substitute for the analytic estimates.
Axiom & Free-Parameter Ledger
axioms (2)
- standard math Standard properties of Hausdorff and packing dimensions on Borel sets in R^2
- domain assumption Existence of multi-scale Good-Bad decomposition compatible with the Mizohata-Takeuchi estimates
Reference graph
Works this paper leans on
-
[1]
S. Agmon and L. H¨ ormander. Asymptotic properties of solutions of differential equations with simple characteristics.J. Analyse Math., 30:1–38, 1976.doi:10.1007/BF02786703
-
[2]
On some non-linear projections of self-similar sets inR3.Fund
Bal´ azs B´ ar´ any. On some non-linear projections of self-similar sets inR3.Fund. Math., 237(1):83– 100, 2017.doi:10.4064/fm90-4-2016
-
[3]
Hausdorff dimension and distance sets.Israel J
Jean Bourgain. Hausdorff dimension and distance sets.Israel J. Math., 87(1-3):193–201, 1994. URL:http://dx.doi.org/10.1007/BF02772994,doi:10.1007/BF02772994
-
[4]
On the Erd˝ os-Volkmann and Katz-Tao ring conjectures.Geom
Jean Bourgain. On the Erd˝ os-Volkmann and Katz-Tao ring conjectures.Geom. Funct. Anal., 13(2):334–365, 2003. URL:http://dx.doi.org/10.1007/s000390300008,doi:10.1007/ s000390300008
-
[5]
A counterexample to the mizohata-takeuchi conjecture
Hannah Cairo. A counterexample to the mizohata-takeuchi conjecture. 2025. URL:https:// arxiv.org/abs/2502.06137,arXiv:2502.06137. PINNED DISTANCE SET AND MIZOHATA-TAKEUCHI-TYPE ESTIMATES 21
-
[6]
Power loss for the Mizohata-Takeuchi conjecture onC k convex hypersurfaces
Hannah Cairo and Ruixiang Zhang. Power loss for the Mizohata-Takeuchi conjecture onC k convex hypersurfaces. 2025. URL:https://arxiv.org/abs/2512.08064,arXiv:2512.08064
-
[7]
H¨ anninen, and Stef´ an Ingi Valdimarsson
Anthony Carbery, Timo S. H¨ anninen, and Stef´ an Ingi Valdimarsson. Disentanglement, multilinear duality and factorisation for nonpositive operators.Anal. PDE, 16(2):511–543, 2023.doi:10. 2140/apde.2023.16.511
work page 2023
-
[8]
Some sharp inequalities of Mizohata- Takeuchi-type.Rev
Anthony Carbery, Marina Iliopoulou, and Hong Wang. Some sharp inequalities of Mizohata- Takeuchi-type.Rev. Mat. Iberoam., 40(4):1387–1418, 2024.doi:10.4171/rmi/1463
-
[9]
Anthony Carbery, Zane Kun Li, Yixuan Pang, and Po-Lam Yung. A weighted formulation of refined decoupling and inequalities of mizohata-takeuchi-type for the moment curve, 2025. URL: https://arxiv.org/abs/2510.04345,arXiv:2510.04345
-
[10]
Cambridge University Press, Cambridge, 2020.doi:10.1017/ 9781108584401
Ciprian Demeter.Fourier restriction, decoupling, and applications, volume 184 ofCambridge Studies in Advanced Mathematics. Cambridge University Press, Cambridge, 2020.doi:10.1017/ 9781108584401
work page 2020
-
[11]
Weighted restriction estimates and application to Falconer distance set problem.Amer
Xiumin Du, Larry Guth, Yumeng Ou, Hong Wang, Bobby Wilson, and Ruixiang Zhang. Weighted restriction estimates and application to Falconer distance set problem.Amer. J. Math., 143(1):175– 211, 2021.doi:10.1353/ajm.2021.0005
-
[12]
An improved result for Falconer’s distance set problem in even dimensions.Math
Xiumin Du, Alex Iosevich, Yumeng Ou, Hong Wang, and Ruixiang Zhang. An improved result for Falconer’s distance set problem in even dimensions.Math. Ann., 380(3-4):1215–1231, 2021. doi:10.1007/s00208-021-02170-1
-
[13]
New improvement to falconer distance set problem in higher dimensions
Xiumin Du, Yumeng Ou, Kevin Ren, and Ruixiang Zhang. New improvement to falconer distance set problem in higher dimensions. 2023. URL:https://arxiv.org/abs/2309.04103, arXiv:2309.04103
-
[14]
Weighted refined decoupling estimates and application to falconer distance set problem
Xiumin Du, Yumeng Ou, Kevin Ren, and Ruixiang Zhang. Weighted refined decoupling estimates and application to falconer distance set problem. 2023. URL:https://arxiv.org/abs/2309. 04501,arXiv:2309.04501
-
[15]
SharpL 2 estimates of the Schr¨ odinger maximal function in higher dimensions.Ann
Xiumin Du and Ruixiang Zhang. SharpL 2 estimates of the Schr¨ odinger maximal function in higher dimensions.Ann. of Math. (2), 189(3):837–861, 2019. URL:https://doi-org.easyaccess1.lib. cuhk.edu.hk/10.4007/annals.2019.189.3.4,doi:10.4007/annals.2019.189.3.4
-
[16]
M. Burak Erdo˘ gan. A bilinear Fourier extension theorem and applications to the distance set problem.Int. Math. Res. Not., (23):1411–1425, 2005. URL:http://dx.doi.org/10.1155/IMRN. 2005.1411,doi:10.1155/IMRN.2005.1411
-
[17]
K. J. Falconer. On the Hausdorff dimensions of distance sets.Mathematika, 32(2):206–212, 1985. URL:http://dx.doi.org/10.1112/S0025579300010998,doi:10.1112/S0025579300010998
-
[18]
K. J. Falconer.The geometry of fractal sets, volume 85 ofCambridge Tracts in Mathematics. Cambridge University Press, Cambridge, 1986
work page 1986
-
[19]
Andrew Ferguson, Jonathan M. Fraser, and Tuomas Sahlsten. Scaling scenery of (×m,×n) invari- ant measures.Adv. Math., 268:564–602, 2015.doi:10.1016/j.aim.2014.09.019
-
[20]
Jacob B. Fiedler and D. M. Stull. Dimension of pinned distance sets for semi-regular sets. 2023. URL:https://arxiv.org/abs/2309.11701,arXiv:2309.11701
-
[21]
Jacob B. Fiedler and D. M. Stull. Pinned distances of planar sets with low dimension. 2024. URL: https://arxiv.org/abs/2408.00889,arXiv:2408.00889
-
[22]
Jonathan M. Fraser. Distance sets, orthogonal projections and passing to weak tangents.Israel J. Math., 226(2):851–875, 2018.doi:10.1007/s11856-018-1715-z
-
[23]
Jonathan M. Fraser. A nonlinear projection theorem for Assouad dimension and applications.J. Lond. Math. Soc. (2), 107(2):777–797, 2023.doi:10.1112/jlms.12697
-
[24]
Jonathan M. Fraser and Mark Pollicott. Micromeasure distributions and applications for con- formally generated fractals.Math. Proc. Cambridge Philos. Soc., 159(3):547–566, 2015.doi: 10.1017/S0305004115000523
-
[25]
An enemy scenario in restriction theory
Larry Guth. An enemy scenario in restriction theory. Joint talk for AIM Research Community ‘Fourier restriction conjecture and related problems’ and HAPPY network., 2022. URL:https: //www.youtube.com/watch?v=x-DET83UjFg
work page 2022
-
[26]
On Falconer’s distance set problem in the plane.Invent
Larry Guth, Alex Iosevich, Yumeng Ou, and Hong Wang. On Falconer’s distance set problem in the plane.Invent. Math., 219(3):779–830, 2020.doi:10.1007/s00222-019-00917-x
-
[27]
Falconer distance problem, additive energy and cartesian products
Alex Iosevich and Bochen Liu. Falconer distance problem, additive energy and cartesian products. Ann. Acad. Sci. Fenn. Math., 41(2):579–585, 2016.doi:doi:10.5186/aasfm.2016.4135. 22 BOCHEN LIU
-
[28]
Some connections between Falconer’s distance set conjecture and sets of Furstenburg type.New York J
Nets Hawk Katz and Terence Tao. Some connections between Falconer’s distance set conjecture and sets of Furstenburg type.New York J. Math., 7:149–187, 2001. URL:http://nyjm.albany. edu:8000/j/2001/7_149.html
work page 2001
-
[29]
New bounds on the dimensions of planar distance sets.Geom
Tam´ as Keleti and Pablo Shmerkin. New bounds on the dimensions of planar distance sets.Geom. Funct. Anal., 29(6):1886–1948, 2019.doi:10.1007/s00039-019-00500-9
-
[30]
AnL 2-identity and pinned distance problem.Geom
Bochen Liu. AnL 2-identity and pinned distance problem.Geom. Funct. Anal., 29(1):283–294,
-
[31]
URL:https://doi-org.easyaccess1.lib.cuhk.edu.hk/10.1007/s00039-019-00482-8, doi:10.1007/s00039-019-00482-8
-
[32]
Hausdorff dimension of pinned distance sets and theL 2-method.Proc
Bochen Liu. Hausdorff dimension of pinned distance sets and theL 2-method.Proc. Amer. Math. Soc., 148(1):333–341, 2020.doi:10.1090/proc/14740
-
[33]
Mixed-norm of orthogonal projections and analytic interpolation on dimensions of measures.Rev
Bochen Liu. Mixed-norm of orthogonal projections and analytic interpolation on dimensions of measures.Rev. Mat. Iberoam., 40(3):827–858, 2024.doi:10.4171/rmi/1472
-
[34]
Pertti Mattila. Spherical averages of Fourier transforms of measures with finite energy; dimension of intersections and distance sets.Mathematika, 34(2):207–228, 1987. URL:http://dx.doi.org/ 10.1112/S0025579300013462,doi:10.1112/S0025579300013462
-
[35]
Cambridge University Press, Cambridge, 1995
Pertti Mattila.Geometry of Sets and Measures in Euclidean Spaces: Fractals and Recti- fiability, volume 44 ofCambridge Studies in Advanced Mathematics. Cambridge University Press, Cambridge, 1995. URL:http://dx.doi.org/10.1017/CBO9780511623813,doi:10.1017/ CBO9780511623813
-
[36]
Random constructions for sharp estimates of mizohata-takeuchi type, 2025
Siddharth Mulherkar. Random constructions for sharp estimates of mizohata-takeuchi type, 2025. URL:https://arxiv.org/abs/2506.05624,arXiv:2506.05624
-
[37]
On the distance sets of self-similar sets.Nonlinearity, 25(6):1919–1929, 2012
Tuomas Orponen. On the distance sets of self-similar sets.Nonlinearity, 25(6):1919–1929, 2012. doi:10.1088/0951-7715/25/6/1919
-
[38]
On the distance sets of Ahlfors-David regular sets.Adv
Tuomas Orponen. On the distance sets of Ahlfors-David regular sets.Adv. Math., 307:1029–1045,
-
[39]
URL:http://dx.doi.org/10.1016/j.aim.2016.11.035,doi:10.1016/j.aim.2016.11. 035
-
[40]
On the dimension and smoothness of radial projections.Anal
Tuomas Orponen. On the dimension and smoothness of radial projections.Anal. PDE, 12(5):1273– 1294, 2019. URL:https://doi-org.easyaccess2.lib.cuhk.edu.hk/10.2140/apde.2019.12. 1273,doi:10.2140/apde.2019.12.1273
-
[41]
Smoothness of projections, Bernoulli convolutions, and the dimension of exceptions.Duke Math
Yuval Peres and Wilhelm Schlag. Smoothness of projections, Bernoulli convolutions, and the dimension of exceptions.Duke Math. J., 102(2):193–251, 2000. URL:http://dx.doi.org/10. 1215/S0012-7094-00-10222-0,doi:10.1215/S0012-7094-00-10222-0
-
[42]
A nonlinear version of bourgain’s projection theorem.J
Pablo Shmerkin. A nonlinear version of bourgain’s projection theorem.J. Eur. Math. Soc. (2022), DOI:10.4171/JEMS/1283
-
[43]
On the Hausdorff dimension of pinned distance sets.Israel J
Pablo Shmerkin. On the Hausdorff dimension of pinned distance sets.Israel J. Math., 230(2):949–972, 2019. URL:https://doi-org.easyaccess1.lib.cuhk.edu.hk/10.1007/ s11856-019-1847-9,doi:10.1007/s11856-019-1847-9
-
[44]
Improved bounds for the dimensions of planar distance sets.J
Pablo Shmerkin. Improved bounds for the dimensions of planar distance sets.J. Fractal Geom., 8(1):27–51, 2021.doi:10.4171/jfg/97
-
[45]
On the distance sets spanned by sets of dimensiond/2 inR d
Pablo Shmerkin and Hong Wang. On the distance sets spanned by sets of dimensiond/2 inR d. Geom. Funct. Anal., 35(1):283–358, 2025.doi:10.1007/s00039-024-00696-5
-
[46]
Elias M. Stein.Harmonic analysis: real-variable methods, orthogonality, and oscillatory integrals, volume 43 ofPrinceton Mathematical Series. Princeton University Press, Princeton, NJ, 1993. With the assistance of Timothy S. Murphy, Monographs in Harmonic Analysis, III
work page 1993
- [47]
-
[48]
An improvement of the pinned distance set problem in even dimensions.Colloq
Zijian Wang and Jiqiang Zheng. An improvement of the pinned distance set problem in even dimensions.Colloq. Math., 170(2):171–191, 2022.doi:10.4064/cm8632-10-2021
-
[49]
Decay of circular means of Fourier transforms of measures.Internat
Thomas Wolff. Decay of circular means of Fourier transforms of measures.Internat. Math. Res. Notices, (10):547–567, 1999. URL:http://dx.doi.org/10.1155/S1073792899000288,doi:10. 1155/S1073792899000288. Email address:Bochen.Liu1989@gmail.com Department of Mathematics & International Center for Mathematics, Southern University of Science and Technology, She...
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.