pith. sign in

arxiv: 2603.15328 · v2 · submitted 2026-03-16 · 🧮 math.CA · math.AP· math.CO

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

classification 🧮 math.CA math.APmath.CO
keywords pinned distance setsHausdorff dimensionLebesgue measureGood-Bad decompositionMizohata-Takeuchi estimatesplanar sets
0
0 comments X

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.

The paper proves that for Borel sets E and F in the plane satisfying dim_H E >1 together with dim_H E + dim_H F >2 and the extra regularity that F has equal Hausdorff and packing dimension, there exists at least one point y in F such that the pinned distance set of distances from y to points of E has positive Lebesgue measure. This settles the regular-pin case of the planar distance set problem. The argument proceeds by decomposing the problem at many scales into good and bad parts and then applying Mizohata-Takeuchi-type estimates that lose only an arbitrarily small power of the scale. A reader cares because the result removes the need for extra regularity assumptions on E once the pin set F satisfies the matching-dimension condition.

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

These are editorial extensions of the paper, not claims the author makes directly.

  • 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.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 3 minor

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)
  1. [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.
  2. [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)
  1. [Introduction] Restate the precise definition of the pinned distance set Δ_y(E) at the beginning of the introduction, including the ambient space R^2.
  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.
  3. 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

2 responses · 0 unresolved

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
  1. 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

  2. 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

0 steps flagged

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

0 free parameters · 2 axioms · 0 invented entities

Relies on standard real-analysis and geometric-measure-theory background; no free parameters, new entities, or ad-hoc axioms beyond the stated dimension conditions and the existence of the multi-scale decomposition.

axioms (2)
  • standard math Standard properties of Hausdorff and packing dimensions on Borel sets in R^2
    Invoked in the dimension hypotheses and regularity assumption on F.
  • domain assumption Existence of multi-scale Good-Bad decomposition compatible with the Mizohata-Takeuchi estimates
    Central technical tool stated in the abstract as one of the main ingredients.

pith-pipeline@v0.9.0 · 5413 in / 1202 out tokens · 40870 ms · 2026-05-15T10:25:21.289653+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

49 extracted references · 49 canonical work pages

  1. [1]

    Agmon and L

    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. [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. [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. [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. [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. [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. [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

  8. [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. [9]

    A weighted formulation of refined decoupling and inequalities of mizohata-takeuchi-type for the moment curve, 2025

    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. [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

  11. [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. [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. [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. [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. [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. [16]

    Burak Erdo˘ gan

    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. [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. [18]

    K. J. Falconer.The geometry of fractal sets, volume 85 ofCambridge Tracts in Mathematics. Cambridge University Press, Cambridge, 1986

  19. [19]

    Fraser, and Tuomas Sahlsten

    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. [20]

    Fiedler and D

    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. [21]

    Fiedler and D

    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. [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. [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. [24]

    Fraser and Mark Pollicott

    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. [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

  26. [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. [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. [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

  29. [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. [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. [31]

    URL:https://doi-org.easyaccess1.lib.cuhk.edu.hk/10.1007/s00039-019-00482-8, doi:10.1007/s00039-019-00482-8

  32. [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. [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. [34]

    Spherical averages of Fourier transforms of measures with finite energy; dimension of intersections and distance sets.Mathematika, 34(2):207–228, 1987

    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. [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. [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. [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. [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. [39]

    URL:http://dx.doi.org/10.1016/j.aim.2016.11.035,doi:10.1016/j.aim.2016.11. 035

  40. [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. [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. [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. [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. [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. [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. [46]

    Stein.Harmonic analysis: real-variable methods, orthogonality, and oscillatory integrals, volume 43 ofPrinceton Mathematical Series

    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

  47. [47]

    D. M. Stull. Pinned distance sets using effective dimension. 2022. URL:https://arxiv.org/abs/ 2207.12501,arXiv:2207.12501

  48. [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. [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...