Pith. sign in

REVIEW 2 major objections 2 minor 38 references

Fourier restriction estimates based on $L^q$-dimensions: beyond Stein--Tomas

T0 review · 2 major / 2 minor · reviewed 2026-06-27 · grok-4.3

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read Fourier restriction estimates hold when measures satisfy L^q-dimension bounds instead of the Frostman condition.

desk verdict The paper replaces Frostman with L^q-dimensions in restriction estimates and adds a convolution-norm description of those dimensions, but the complex interpolation step for the endpoint needs verification against the stress-test concern. read the letter →

arxiv 2606.07143 v1 pith:DJIO22CP submitted 2026-06-05 math.CA math.DSmath.FAmath.MGmath.PR

Marc Carnovale , Jonathan M. Fraser , Ana E. de Orellana This is my paper · ORCID
classification math.CAmath.DSmath.FAmath.MGmath.PR
keywords FourierrestrictionL^q-dimensionsStein-TomastheoremFrostmanconditioncomplexinterpolationMandelbrotcascadesmultifractalmeasuresharmonicanalysis
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

The paper proves a Fourier restriction theorem that substitutes the L^q-dimensions of a measure for the usual Frostman condition on ball measures. This creates a range of estimates indexed by q that all recover the Stein-Tomas theorem when q reaches infinity. The argument proceeds by establishing the endpoint via Stein's complex interpolation method for every q greater than 1. Readers should care because the L^q-dimensions capture finer local dimension information than the uniform Frostman bound, allowing the result to apply to measures with multifractal structure such as certain random cascades.

What carries the argument

The L^q-dimensions of the measure, which quantify its local dimension fluctuations and substitute for the Frostman condition in the restriction estimates.

What would settle it

Check whether a specific Mandelbrot cascade measure with known L^q-dimensions satisfies the restriction bound at the improved range for finite q but outside the Stein-Tomas range.

Watch

Extended reading notes

Core claim

The authors establish a new Fourier restriction theorem in which the Frostman condition is replaced by a lower bound on the L^q-dimension of the measure. This produces a family of estimates parametrized by q that coincide with the Stein-Tomas theorem at the endpoint q=∞. The endpoint is obtained for each q by means of Stein's complex interpolation, and a novel expression for the L^q-dimensions is derived from convolution norms. The result improves on the classical theorem for measures with multifractal properties, such as Mandelbrot cascades.

Load-bearing premise

The L^q-dimensions of the measure can be substituted for the Frostman condition inside the existing restriction machinery while preserving the validity of the complex interpolation argument that yields the endpoint.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

Referee Report

2 major / 2 minor

Summary. The paper proves a new Fourier restriction theorem replacing the Frostman condition with L^q-dimensions of the measure, yielding a continuum of estimates that recover the Stein-Tomas theorem at the q=∞ endpoint. The argument substitutes the dimension hypothesis into the Mockenhaupt-Mitsis-Bak-Seeger framework and applies Stein complex interpolation to obtain the endpoint for every q ∈ (1,∞]. A novel characterization of L^q-dimensions via convolution norms is obtained en route. The result is shown to improve on Stein-Tomas for Mandelbrot cascades and other multifractal measures, partially resolving a question of Bak and Seeger.

Significance. If valid, the work meaningfully extends the scope of restriction estimates by incorporating the finer scaling information encoded in L^q-dimensions, thereby connecting harmonic analysis more directly to multifractal analysis. The convolution-norm description of dimensions may be of independent interest. The partial resolution of the Bak-Seeger question at q=∞ is a concrete advance.

major comments (2)
  1. [Proof of the main theorem (interpolation argument)] The central claim requires that the L^q-dimension hypothesis be compatible with the holomorphic family of operators and the endpoint norm bounds needed for Stein interpolation. The abstract states that the substitution is performed and interpolation is applied, but the manuscript must explicitly verify that the averaged/local scaling control supplied by the L^q-dimensions (rather than uniform ball-growth) preserves analyticity and the requisite operator-norm estimates at the interpolation endpoints; without this verification the interpolation step does not close.
  2. [Applications and examples section] The improvement over Stein-Tomas is asserted for Mandelbrot cascade measures and multifractal examples. The manuscript must supply explicit computations of the relevant L^q-dimensions for at least one such measure, together with the resulting restriction exponent, to confirm that the range is strictly larger than the q=∞ case.
minor comments (2)
  1. [Introduction and preliminaries] The precise variant of L^q-dimension (upper/lower, with respect to which measure, etc.) should be stated at the first appearance and kept consistent throughout.
  2. [Introduction] A short comparison table or diagram contrasting the Frostman condition with the L^q-dimension hypotheses would improve readability.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript and for the positive assessment of its significance. We address each major comment below.

read point-by-point responses

  1. Referee: The central claim requires that the L^q-dimension hypothesis be compatible with the holomorphic family of operators and the endpoint norm bounds needed for Stein interpolation. The abstract states that the substitution is performed and interpolation is applied, but the manuscript must explicitly verify that the averaged/local scaling control supplied by the L^q-dimensions (rather than uniform ball-growth) preserves analyticity and the requisite operator-norm estimates at the interpolation endpoints; without this verification the interpolation step does not close.

    Authors: We appreciate the referee drawing attention to the need for explicit verification in the interpolation argument. The proof in Section 3 substitutes the L^q-dimension hypothesis directly into the Mockenhaupt-Mitsis-Bak-Seeger estimates and applies Stein interpolation to the same holomorphic family of operators used in the classical setting. Analyticity of the family is unaffected by the measure, as it arises from the Fourier multiplier and is independent of scaling properties. The endpoint operator-norm bounds are controlled via the convolution-norm characterization of L^q-dimensions (Theorem 2.3), which provides the necessary averaged estimates in place of uniform Frostman growth; these suffice for the L^2 and L^infty bounds at the endpoints. Nevertheless, to make this compatibility fully explicit, we will insert a short clarifying paragraph immediately after the statement of the main theorem. revision: yes

  2. Referee: The improvement over Stein-Tomas is asserted for Mandelbrot cascade measures and multifractal examples. The manuscript must supply explicit computations of the relevant L^q-dimensions for at least one such measure, together with the resulting restriction exponent, to confirm that the range is strictly larger than the q=∞ case.

    Authors: We agree that concrete computations would make the improvement over the Stein-Tomas theorem more transparent. The current discussion in Section 4 relies on known formulas for the L^q-dimensions of Mandelbrot cascades and on the general theory of multifractal measures. We will add an explicit example: for a specific binomial cascade with probabilities (p,1-p) where p ≠ 1/2, we compute the L^q-dimensions explicitly via the Legendre transform of the associated pressure function, derive the resulting restriction exponent as a function of q, and verify numerically that it is strictly better than the q=∞ endpoint for a range of q in (1,∞). revision: yes

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: derivation substitutes L^q-dimensions into existing restriction machinery and applies external Stein interpolation

full rationale

The paper replaces the Frostman condition with L^q-dimensions inside the Mockenhaupt–Mitsis–Bak–Seeger framework and invokes Stein complex interpolation for the endpoint. No step reduces by definition to a fitted quantity from the same data, no self-citation supplies the load-bearing uniqueness or ansatz, and the convolution-norm description of L^q-dimensions is presented as novel rather than a renaming. The argument is self-contained against external benchmarks (prior restriction theorems and Stein interpolation) with no reduction to the paper's own inputs.

Assumptions & free parameters 0 free parameters · 1 assumptions · 0 invented entities

The abstract invokes Stein's complex interpolation theorem and standard properties of L^q-dimensions from fractal geometry; no free parameters, new entities, or ad-hoc axioms are mentioned.

assumptions (1)
  • standard math Stein's complex interpolation theorem applies to the family of restriction operators indexed by q
    Cited as the tool that yields the endpoint estimates for every q in (1,∞]

how reviews work

0 comments
Cite this review

Pith. "Pith review of Fourier restriction estimates based on $L^q$-dimensions: beyond Stein--Tomas." pith.science (2026). https://pith.science/paper/DJIO22CP

@misc{pith2026260607143,
  author       = {Pith},
  title        = {Pith review of: Fourier restriction estimates based on $L^q$-dimensions: beyond Stein--Tomas},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/DJIO22CP}},
  note         = {Machine review of arXiv:2606.07143}
}
abstract

The well-known Stein--Tomas restriction theorem gives the sharp range of $p$ for which $L^p\to L^2$ restriction estimates hold for the surface measure on the sphere. This was generalised to arbitrary measures satisfying certain Fourier decay and Frostman conditions by Mockenhaupt, Mitsis, and Bak--Seeger, with the most general version now a fundamental result in harmonic analysis. The Frostman condition essentially asks for uniform control on the measure of small balls and is the endpoint of a continuum of more nuanced conditions which describe the local fluctuations of the measure. This analysis gives rise to the $L^q$-dimensions of a measure and these are a central concept in fractal geometry and a crucial tool in multifractal analysis and the theory of large deviations. In this paper we prove a new Fourier restriction theorem which uses the $L^q$-dimensions instead of the Frostman condition, thus providing a continuum of estimates which recover Stein--Tomas at the endpoint. Our proof gives the endpoint estimate for all values of $q\in(1,\infty]$ via Stein's complex interpolation. In particular, in the case $q=\infty$ this partially resolves a question raised by Bak and Seeger. We explore when our theorem improves on Stein--Tomas, that is, when the range is not optimised at $q=\infty$, and show that this is the case quite generally, including for certain Mandelbrot cascade measures and measures with multifractal behaviour. On the way to proving our main theorem we obtain a novel description of the $L^q$-dimensions based on certain convolution norms, which may be of interest in its own right.

Figures

Figures reproduced from arXiv: 2606.07143 by the authors.

Figure 1
Figure 1. A multifractal measure supported on the Sierpi´nski carpet. The dark regions represent high concentration of mass and the light regions low concentra￾tion of mass. 2.2. Dimensions given by the Fourier transform. Given a function f : R d → C, f ∈ L 1 (R d ), its Fourier transform is defined as fb(ξ) = Z Rd e −2πiξ·x f(x) dx, [PITH_FULL_IMAGE:figures/full_fig_p005_1.png] view at source ↗
Figure 2
Figure 2. Two realisations of a Mandelbrot cascade defined with distribution (6.1). We consider a simple explicit example, see [PITH_FULL_IMAGE:figures/full_fig_p015_2.png] view at source ↗
Figure 3
Figure 3. Plot of the lower bounds for p for the extension estimate to hold for the Mandelbrot cascade with distribution (6.1). The dashed line is the Stein–Tomas lower bound and the solid line is the one given by Theorem 6.1 as a function of q. The minimum value is obtained at q ≈ 4.28 . . . [PITH_FULL_IMAGE:figures/full_fig_p015_3.png] view at source ↗
Figures from the paper (1 more)
Figure 4
Figure 4. Figure 4: For W as in (6.2). Left: Bounds for d = 11, N = 2, c = 0.22 and u = 1000. The minimum value is obtained at q = 1.34. Right: Graph of the function which sends c ∈ (0, 0.4) to q ∗ , the value of q which optimises the restriction estimate from Theorem 6.1, for d = 11, N =…

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

38 extracted references · 8 canonical work pages

  1. [1]

    Bak and A

    J.-G. Bak and A. Seeger. Extensions of the Stein--Tomas Theorem. Math. Res. Lett., 18(4), pp. 767--781 (2011)

    2011

  2. [2]

    Barral and D.-J

    J. Barral and D.-J. Feng. Multifractal formalism for almost all self-affine measures. Comm. Math. Phys. , 318 , 473--504 (2013)

    2013

  3. [3]

    Carnovale, J

    M. Carnovale, J. M. Fraser, and A. E. de Orellana. Obtaining the Fourier spectrum via Fourier coefficients. Proc. Amer. Math. Soc., 154, No. 5, pp. 2005--2017 (2026)

    2005

  4. [4]

    Carnovale, J

    M. Carnovale, J. M. Fraser and A. E. de Orellana. L^2 restriction estimates from the Fourier spectrum. Preprint: arXiv:2412.14896 https://arxiv.org/abs/2412.14896 (2025)

    work page arXiv 2025

  5. [5]

    X. Chen. Sets of Salem type and sharpness of the L^2 -Fourier restriction theorem. Trans. Amer. Math. Soc., 368(3), pp. 1959--1977 (2016)

    1959

  6. [6]

    X. Chen, Y. Han, Y. Qiu and Z. Wang. Harmonic analysis of Mandelbrot cascades in the context of vector-valued measures. Preprint: arXiv:2409.13164 https://arxiv.org/abs/2409.13164 (2024)

    work page arXiv 2024

  7. [7]

    C. Chen, B. Li and V. Suomala. Fourier dimension of Mandelbrot multiplicative cascades. Comm. Math. Phys., 406, 182 (2025)

    2025

  8. [8]

    C. Demeter. Fourier Restriction, Decoupling, and Applications. Cambridge University Press, (2020)

    2020

Show all 38 references
  1. [9]

    K. J. Falconer. Generalized dimensions of measures on almost self-affine sets. Nonlinearity, 23 , pp. 1047--1069 (2010)

    2010

  2. [10]

    K. J. Falconer. Fractal Geometry: Mathematical Foundations and Applications . John Wiley & Sons, Hoboken, NJ, 3rd. ed. (2014)

    2014

  3. [11]

    D.-J. Feng. Smoothness of the L^q -spectrum of self-similar measures with overlaps. J. London Math. Soc. , 68 , pp. 102--118 (2003)

    2003

  4. [12]

    J. M. Fraser. The Fourier spectrum and sumset type problems. Math. Ann., 390, pp. 3891--3930 (2024)

    2024

  5. [13]

    J. M. Fraser and A. E. de Orellana. A Fourier analytic approach to exceptional set estimates for orthogonal projections. Indiana U. Math. J. (to appear), preprint: arXiv:2404.11179 https://arxiv.org/abs/2404.11179 (2024)

    2024

  6. [14]

    J. M. Fraser and A. E. de Orellana. Fourier restriction for the additive Brownian sheet. Preprint: arXiv:2601.05802 https://arxiv.org/abs/2601.05802 (2024)

    2024

  7. [15]

    J. M. Fraser and T. Pham. On Fourier decay and the distance set problem. Preprint: arXiv:2604.19486 https://arxiv.org/abs/2604.19486 (2026)

    2026 arXiv

  8. [16]

    Fraser, K

    R. Fraser, K. Hambrook and D. Ryou. Fourier restriction and well-approximable numbers. Math. Ann., 391, pp. 4233--4269 (2025)

    2025

  9. [17]

    Fraser, K

    R. Fraser, K. Hambrook and D. Ryou. Sharpness of the Mockenhaupt--Mitsis--Bak-Seeger Fourier restriction theorem in all dimensions. Preprint: arXiv:2505.19526 https://arxiv.org/abs/2505.19526 (2025)

    2025

  10. [18]

    Grafakos

    L. Grafakos. Classical Fourier analysis , Graduate Texts in Mathematics 249. Springer, New York, 2nd ed. (2008)

    2008

  11. [19]

    Heurteaux

    Y. Heurteaux. An introduction to Mandelbrot cascades. New trends in applied harmonic analysis. Appl. Numer. Harmon. Anal., 67--105 , Birkh\"auser/Springer, Cham, (2016)

    2016

  12. [20]

    B. R. Hunt and V. Y. Kaloshin. How projections affect the dimension spectrum of fractal measures. Nonlinearity, 10, pp. 1031--1046 (1997)

    1997

  13. [21]

    Hambrook and I

    K. Hambrook and I. aba. On the sharpness of Mockenhaupt's restriction theorem. Geom. Funct. Anal., 23, pp. 1262--1277 (2013)

    2013

  14. [22]

    Hambrook and I

    K. Hambrook and I. aba. On the sharpness of Mockenhaupt--Mitsis--Bak--Seeger restriction theorem in higher dimensions. Bull. Lond. Math. Soc., 48, pp. 757--770 (2016)

    2016

  15. [23]

    Kaufmann

    R. Kaufmann. On the theorem of Jarník and Besicovitch. Acta Arith. , 39:(3), pp. 265--267 (1981)

    1981

  16. [24]

    C.-K Lai and C. Y. Lee. Fourier dimension of the graph of fractional Brownian motion with H 1/2 . Preprint: arXiv:2502.09032 https://arxiv.org/abs/2502.09032 (2025)

    2025 arXiv

  17. [25]

    P. Mattila. Fourier analysis and Hausdorff dimension. Cambridge Studies in Advanced Mathematics, 150, Cambridge, (2015)

    2015

  18. [26]

    T. Mitsis. A Stein-Tomas restriction theorem for general measures. Publ. Math. Debrecen , 60, pp. 89--99 (2002)

    2002

  19. [27]

    Mockenhaupt

    G. Mockenhaupt. Salem sets and restriction properties of Fourier transforms. Geom. Funct. Anal. , 10, pp. 1579--1587 (2000)

    2000

  20. [28]

    G. M. Molchan. Scaling exponents and multifractal dimensions for independent random cascades. Commun. Math. Phys., 179, No. 3, pp. 681--702 (1996)

    1996

  21. [29]

    S.-M. Ngai. A dimension result arising from the L^q -spectrum of a measure. Proc. Amer. Math. Soc. , 125 , 2943--2951 (1997)

    1997

  22. [30]

    L. Olsen. A Multifractal Formalism. Adv. Math. , 116, pp. 82--196 (1995)

    1995

  23. [31]

    Oliveira and A

    I. Oliveira and A. E. de Orellana. Multiple convolutions and multilinear fractal Fourier extension estimates. Preprint arXiv:2602.08568 https://arxiv.org/abs/2602.08568 (2026)

    2026

  24. [32]

    Peres and B

    Y. Peres and B. Solomyak. Existence of L^q -dimensions and entropy dimension for self-conformal measures. Indiana Univ. Math. J., 49 , pp. 1603--1621 (2000)

    2000

  25. [33]

    Y. B. Pesin. On rigorous mathematical definitions of correlation dimension and generalized spectrum for dimensions. J. Stat. Phys., 71, pp. 529--547 (1993)

    1993

  26. [34]

    R. Salem. On singular monotonic functions whose spectrum has a given Hausdorff dimension. Ark. Mat. , 1, pp. 353--365 (1951)

    1951

  27. [35]

    Shmerkin

    P. Shmerkin. On Furstenberg's intersection conjecture, self-similar measures, and the L^q norms of convolutions. Ann. Math., 189 , pp. 319--391 (2019)

    2019

  28. [36]

    E. M. Stein. Harmonic analysis: real-variable methods, orthogonality, and oscillatory integrals. Princeton University Press, Princeton, NJ. With the assistance of T. S. Murphy, (1993)

    1993

  29. [37]

    P. A. Tomas. A restriction theorem for the Fourier transform. Bull. Amer. Math. Soc. , 81, pp. 705--714 (1975)

    1975

  30. [38]

    P. A. Tomas. Restriction theorems for the Fourier transform. In Harmonic analysis in Euclidean spaces (Proc. Sympos. Pure Math., Williams Coll., Williamstown, Mass., 1978) , 81, pp. 705--714 (1979)

    1978

Pith tools

Reviewed June 27, 2026 · model on record in the stance chip above.