Pith. sign in

REVIEW 4 major objections 6 minor 2 cited by

Weighted $L^2$ estimates with applications to $L^p$ problems

T0 review · 4 major / 6 minor · reviewed 2026-08-07 · deepseek-v4-flash

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

Pith's one-line read The paper proves a weighted L^2 bound for the broad Fourier extension operator on one-dimensional fractal sets in R^2, with exponent |X|^{2/9}, and uses it to prove new circular-decay, maximal Schrödinger, maximal extension, and…

desk verdict New weighted L2 broad estimate with exponent 2/9 and several nice applications, but the load-bearing two-ends Furstenberg input is cited from a same-author preprint and one incidence step has a real hypothesis gap. read the letter →

arxiv 2506.02650 v1 pith:T6JOXZED submitted 2025-06-03 math.CA math.AP

Shukun Wu This is my paper
classification math.CAmath.AP MSC 42B1042B2542B37
keywords FourierextensionoperatorweightedL2estimatesbroadKatz-TaosetsdecouplingmaximalSchrödingercircularmeansMizohata-Takeuchiconjecture
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

This paper establishes weighted $L^2$ estimates for the Fourier extension operator on a compact nonzero-curvature curve $S$ in $\mathbb{R}^2$, with a weight that is a one-dimensional fractal set: the broad extension operator satisfies $\|\mathrm{Br}_A E_S f\|_{L^2(X)} \leq C_{\varepsilon,\varepsilon'} R^{\varepsilon} |X|^{2/9} \|f\|_2$ for $A \geq R^{\varepsilon'}$ and $K \leq R^{\varepsilon^4}$. This improves the classical bilinear-restriction exponent $1/4$ for fractal weights, which is the feature the applications need. From that estimate, the paper derives four $L^p$ results: decay of circular $L^p$-means of Fourier transforms of Frostman measures with exponent $1/(2p)$, estimates for the maximal Schrödinger and maximal extension operators for $q>18/5$, and an $L^p$ analogue of the Mizohata–Takeuchi conjecture for $p \geq 18/5$. The paper derives the four applications from this bound by standard broad-narrow analysis.

What carries the argument

The load-bearing object is the broad extension operator $\mathrm{Br}_A E_S f(x) = \max_{\Sigma':\#\Sigma'=A} \min_{\sigma\in\Sigma'} |E_S f_\sigma(x)|$, which isolates inputs whose Fourier support spreads across many $K^{-1}$-arcs, together with the Katz–Tao $(\delta,1)$-condition $\#(E\cap B(x,r)) \leq C(r/\delta)$ that encodes the one-dimensional fractal geometry of the weight. The proof machinery is a wave packet decomposition into $R^{1/2}\times R$ tubes; a refined decoupling theorem converts $L^2$ control into $L^6$ control in the first method, and a two-ends Furstenberg incidence estimate supplies the lower bound on the number of tubes that meet the fractal set. Induction on scales gives the second method. Interpolating the first method's $r^{2/5}$ estimate with the second method's $r^{\alpha_1-1/2}$ estimate yields the $|X_1|^{4/9}$ exponent in the squared $L^2$ inequality, equivalently $|X|^{2/9}$ in the $L^2$ norm.

What would settle it

Construct a Katz–Tao $(\delta,1)$-set of $\delta$-balls and a set of $\delta$-separated lines with $\lambda$-dense, two-ends shadings for which the union of shaded balls is smaller than the lower bound asserted by the two-ends Furstenberg estimate; this would invalidate the incidence step behind equation (2.21). Alternatively, find a fractal unit-ball set $X$ with $|X|\sim R$ and a large $A$ for which $\|\mathrm{Br}_A E_S f\|_{L^2(X)}$ exceeds $C R^\varepsilon |X|^{2/9}\|f\|_2$.

Watch

Extended reading notes

Core claim

The paper's central claim is Theorem 1.3: for a compact curve $S$ in $\mathbb{R}^2$ with nonzero curvature, and for a union $X \subset B_R$ of unit balls whose $R^{-1}$-dilate is a Katz–Tao $(R^{-1},1)$-set (a one-dimensional fractal condition at unit scale), the broad extension operator satisfies $\|\mathrm{Br}_A E_S f\|_{L^2(X)} \leq C_{\varepsilon,\varepsilon'} R^{\varepsilon} |X|^{2/9} \|f\|_2$ whenever $A \geq R^{\varepsilon'}$ and $K \leq R^{\varepsilon^4}$. Here $\mathrm{Br}_A E_S$ is the maximum, over collections of $A$ arcs of length $K^{-1}$, of the minimum of the extensions of the pieces of $f$ localized to those arcs. The proof reduces to a local induction statement, decomposes the input into wave packets, runs two independent estimates (one via refined decoupling plus a two-ends Furstenberg incidence lower bound, one via induction on scales), and interpolates them. The four applications are then derived from this single weighted $L^2$ bound by the standard broad-narrow reduction.

Load-bearing premise

The main bound rests on a combinatorial incidence estimate taken from a companion preprint that the paper does not prove; if that estimate is false or incomplete, Theorem 1.3 does not follow.

Editorial extensions

If this is right

  • For every one-dimensional Frostman measure $\mu$ on $[0,1]^2$, the circular $L^p$-means obey $(\int_{S^1}|\widehat{\mu}(R\xi)|^p\,d\sigma(\xi))^{1/p} \lesssim R^{-1/(2p)}$ for $p\in[9/5,2]$, and a fixed-$R$ example shows this decay rate is sharp.
  • The maximal Schrödinger operator is bounded in the predicted Besov spaces for $q>18/5$ in the plane, verifying Conjectures 1.6 and 1.7 in that range.
  • The maximal extension operator in two dimensions satisfies the conjectured $L^q_x L^\infty_{x_2}$ estimate for $q>18/5$.
  • For $p\geq 18/5$, any set $X\subset B_R$ has $\|E f\|_{L^p(X)}^p \leq C_\varepsilon R^\varepsilon w_R(X)\|f\|_2^p$, the $L^p$ analogue of the Mizohata–Takeuchi conjecture, with $w_R(X)$ the maximal $1\times R$-tube overlap.
  • As an intermediate corollary, for $q\geq 18/5$ the broad extension operator satisfies $\|\mathrm{Br}_A E f\|_{L^q(X)} \leq C_\varepsilon R^\varepsilon \|f\|_2$ on the same class of fractal sets $X$.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • Editorial inference: because the proof imports the two-ends Furstenberg estimate from the companion paper [WW24] without proving it, that incidence theorem is the single external point on which Theorem 1.3 currently rests; an independent proof or counterexample there would settle the status of the whole chain.
  • Editorial inference: the endpoint $q=18/5$ in the applications is forced by interpolating the two methods; if either the refined decoupling input or the two-ends incidence bound were improved, the thresholds in all four applications would likely move together.
  • Editorial inference: the author's lower-bound example shows the weighted exponent cannot beat $1/6$, leaving a gap between $1/6$ and $2/9$; closing that gap would require a mechanism other than the two-method interpolation used here.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

4 major / 6 minor

Summary. The paper proves a weighted L2 estimate for the broad Fourier extension operator on Katz-Tao sets in the plane, and derives several consequences: decay of circular Lp-means of Fourier transforms of fractal measures, maximal Schrödinger and maximal extension operator bounds, and an Lp analogue of the Mizohata–Takeuchi conjecture. The main theorem (Theorem 1.3) is reduced to a scale-induction proposition (Proposition 2.2), whose proof combines wave-packet decompositions, refined decoupling, and a two-ends Furstenberg estimate cited from a preprint by the same author.

Significance. If the central estimate is valid, the applications would genuinely improve known results in several Lp problems (e.g., extending Wolff's L2 circular decay to p>9/5 and pushing the maximal Schrödinger range to q>18/5). The paper is well structured and the application arguments are clearly laid out. However, the central claim is not self-contained: it depends on an unproved, not yet independently refereed two-ends Furstenberg estimate ([WW24]), and the verification of that estimate's hypotheses in the incidence step is incomplete as written. The value of the paper therefore hinges on a load-bearing external input, which the present manuscript neither proves nor fully checks.

major comments (4)
  1. [Section 2.1, Theorem 1.3 to Proposition 2.2] The reduction of Theorem 1.3 to Proposition 2.2 is only stated as 'standard arguments' and is not shown in detail. Additionally, the proof of Proposition 2.2 cites Theorem 2.10 from [WW24] (a preprint coauthored by the author) and its consequence Corollary 2.11 without proof. Since equation (2.21) is the only input that turns the per-cap bush size M into a global tube count and is essential for the first estimate (2.35), the main theorem is conditional on an external result that is not established in this manuscript. The paper should either prove Theorem 2.10 for the specific configuration needed here or state clearly which version is used and verify every hypothesis.
  2. [Section 2.3, Step 2, derivation of (2.21)] The application of Corollary 2.11 is not verbatim. The text sets δ = r^{-1/2+ε0}, δ^{-ε1/2}=K, and δ^{-ε2/2}=A, but Corollary 2.11 requires the two-ends condition #Tσ(Q) ≲ δ^{ε2}#T(Q) for arcs of length δ^{ε1}. The pigeonholing in Step 1 only gives #Tσ(Q) ∼ M for σ ∈ Σ_M(Q) and #T(Q) ≲ KM, and the manuscript does not verify that the chosen index set Σ_M(Q) satisfies the quantitative two-ends hypothesis with the stated constants. In particular, δ^{ε2} = A^{-2}, while the available control is M ≲ A^{-2} K M only if A^2 ≲ K, which is not guaranteed by the hypotheses A ≥ R^{ε'} and K ≤ R^{ε^4} for general ε'. Thus the derivation of (2.21) is not justified as written.
  3. [Section 2.3, Method 2, Step 3, inequality (2.47)] The line 'by considering a single bush rooted at Q, where #T_{1,β}(Q) reaches the maximum in (2.46), we have (2.47) r^{α1−α2} ∼ #Q1 ≳ r^{-ε2} M λβ' is not explained. It is not clear why a bush of size M at a single Q forces at least r^{-ε2}Mλβ distinct r^{1/2}-balls Q in Q1. This lower bound on #Q1 is essential for the second estimate (2.50), so a detailed counting argument is needed.
  4. [Section 2.3, proof of Proposition 2.2] Several intermediate steps are delegated to the preprint [DW25] (also by the present author), including the dyadic pigeonholing after (2.14) and the two-ends reduction in Method 2, Step 1. Since these steps are load-bearing for the induction and for the two-ends/non-two-ends dichotomy, they should be reproduced or at least be replaced by published references. As written, the proof is not verifiable independently of the author's other preprints.
minor comments (6)
  1. [Title and Abstract] The title and abstract contain obvious spacing errors (e.g., 'L2 ESTIMA TES WITH APPLICA TIONS') that should be fixed in the final version.
  2. [Section 1.2.3, reference [Obe23]] The citation [Obe23] is presented as the source for the p=4 result of Carbery–Iliopoulou–Shayya on the Lp variant of the Mizohata–Takeuchi conjecture, but the reference is an Oberwolfach workshop report, which seems unlikely to contain that result. Please verify the correct citation.
  3. [Equation (2.7) and surrounding text] In the wave packet decomposition, the notation T = T_{θ,v} and f_T = f_{θ,v} is used, but the distinction between the tube T and the associated function f_T is not consistently maintained; for example, in (2.19)–(2.20) the factor K appears without a clear definition of how T_{1,Q} is related to the cap partition after pigeonholing.
  4. [Proof of Theorem 3.3, after (3.15)] The set eX_λ (the R-dilate of X_λ) is used without definition, and the factor λR^2 in (3.16) is not derived. Please clarify the normalization of the measure µ_λ and the dilation step.
  5. [Equation (3.36)] The identity w'_{R/K^2}(L_σ(X)) = K^{-3} sup_T ... ||T ∩ X| is asserted without proof; a short explanation of how the tube dimensions and the weight scale under L_σ would help the reader.
  6. [Throughout Section 2] The notation rO(ε0) and KO(1) is used informally; in several places it is unclear whether O(·) is independent of ε. For instance, the line 'r^{O(ε0)} ≤ K^{O(1)}' after (2.22) should be justified with the explicit choice of ε0 and the relation r ≥ R^{ε^2}.

Circularity Check

1 steps flagged · score 5.0 of 10

Main weighted L2 bound rests on the two-ends Furstenberg estimate cited to [WW24], a same-author preprint; incidence step (2.21) is load-bearing.

  1. self citation load bearing [Section 1.1 and Section 2.2–2.3: Theorem 2.10/Corollary 2.11 into equation (2.21)]
    "The proof of Theorem 1.3 uses the two-ends Furstenberg estimate established in [WW24]. ... The next two-ends Furstenberg estimate was proved in [WW24, Theorem 2.1]. ... By the point-line duality, Theorem 2.10 implies the following. ... Thus, Corollary 2.11 gives (2.21) # [union of T_{1,Q} over Q in Q_3] ⪆_{ε'} r^{-O(ε0)} K^{-1} M^{3/2} r^{-1/4} #Q_2."

    Theorem 1.3 is obtained from Proposition 2.2. In the first method, Step 2 derives the lower bound (2.21) by applying Corollary 2.11, which is stated as a consequence of Theorem 2.10. Theorem 2.10 is not proved in this paper; it is quoted from [WW24], a preprint coauthored by the present author with H. Wang. Equation (2.21) is the specific step that converts the per-cap bush count M into a global tube count; it is then used in (2.25) and in the interpolation (2.35) with Method 2 to obtain the factor |X|^{4/9}. Hence the central claim's proof reduces to a load-bearing self-citation rather than to a proof contained in or independently verified for this paper.

full rationale

The paper's chain is: Theorem 1.3 reduces to Proposition 2.2, whose proof combines the decoupling theorem, induction on scales, and the two-ends Furstenberg estimate. The only step that is both essential and not proved here is the incidence lower bound (2.21), obtained via Corollary 2.11 from Theorem 2.10, which is cited to [WW24, Theorem 2.1], a preprint by the same author and H. Wang. This is a genuine self-citation of a load-bearing ingredient: without (2.21), the first method does not produce the r^{1/4} factor, and the interpolation (2.35)/(2.50) that yields |X|^{4/9} in (2.51) fails. The applications in Section 3 are honest consequences of Theorem 1.3 once that estimate is granted, and I see no constructional equivalence or fitted-parameter-renamed-as-prediction circularity. The residual concerns are the unverified same-author preprint and the not-fully-spelled-out verification of the two-ends hypothesis in applying Corollary 2.11 (the text passes from caps and pigeonhole counts to the quantitative hypothesis #T_sigma(Q) << delta^{eps2} #T(Q) without full bookkeeping); these are correctness or completeness risks rather than definitional circularity. Accordingly the score is moderate, reflecting a load-bearing self-citation, but not the maximal score, since the main weighted L2 estimate has independent content if the Furstenberg input is true.

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

The paper introduces no physical entities. The broad operator Br_A E is a standard analytic construct taken from Guth. The central claim rests on several deep external theorems, notably the same-author two-ends Furstenberg estimate, which creates a high circularity burden.

assumptions (6)
  • standard math Refined l2 decoupling for the parabola (Theorem 2.5, cited to [GIOW20, Theorem 4.2])
    Used in Method 1 Step 3 to pass from L2 on X to L6 decoupling; load-bearing for the M^{-1/3} gain in equation (2.30).
  • domain assumption Two-ends Furstenberg estimate for delta-separated lines (Theorem 2.10, cited to [WW24, Theorem 2.1])
    Provides the incidence lower bound (2.21) in Step 2 of Method 1; the main combinatorial engine. Not independently verified in this paper.
  • standard math Random sampling lemma (Lemma 2.7, cited to [WW24, Lemma 1.6])
    Converts an arbitrary fractal set to a Katz-Tao set; used in applications and in Step 2 of Method 1 to select Q3.
  • standard math Broad-narrow lemma (Lemma 3.1), attributed to Guth [Gut16]
    Used in all applications to split the extension operator into a sum of narrow pieces and a broad piece.
  • domain assumption Frostman measure regularity mu(B_r) <= C r for 1-dimensional measures
    Assumed for the probability measure mu in Theorem 3.3 about circular Lp decay of Fourier transforms of fractal measures.
  • standard math Standard reduction to a graph phase with |Phi''| ~ 1
    Reduces Theorem 1.3 to Proposition 2.2; the reduction is merely asserted as 'standard' in Section 2.1.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Weighted $L^2$ estimates with applications to $L^p$ problems." pith.science (2026). https://pith.science/paper/T6JOXZED

@misc{pith2026250602650,
  author       = {Pith},
  title        = {Pith review of: Weighted $L^2$ estimates with applications to $L^p$ problems},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/T6JOXZED}},
  note         = {Machine review of arXiv:2506.02650}
}
abstract

We establish some weighted $L^2$ estimates for the Fourier extension operator in $\mathbb{R}^2$ and discuss several applications to $L^p$ problems. These include estimates for the maximal Schr\"odinger operator and the maximal extension operator, decay of circular $L^p$-means of Fourier transform of fractal measures, and an $L^p$ analogue of the Mizohata-Takeuchi conjecture.

Discussion (0). Sign in to comment.

Forward citations

Cited by 2 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Mizohata-Takeuchi inequalities for orthonormal systems

    math.CA 2025-06 conditional novelty 8.0 of 10

    Orthonormal systems of inputs satisfy a global Mizohata-Takeuchi-type weighted inequality for the sphere and paraboloid, with an X-ray transform norm over the midpoint set K^diamond on the right-hand side.

  2. Two-ends Furstenberg inequality for transversal families and applications to Fourier decay

    math.CA 2026-07 accept novelty 6.5 of 10

    A simplified two-ends Furstenberg inequality holds for transversal curve families and yields L6 Fourier decay R^{2-5s/2+ε} for s-Frostman measures on convex curves when s≤2/3.

Reference graph

Works this paper leans on

15 extracted references · 8 canonical work pages · cited by 2 Pith papers

  1. [1]

    The proof of the l^2 decoupling conjecture

    Jean Bourgain and Ciprian Demeter. The proof of the l^2 decoupling conjecture. Ann. of Math. (2) , 182(1):351--389, 2015

    2015

  2. [2]

    A sharp S chr\" o dinger maximal estimate in R^2

    Xiumin Du, Larry Guth, and Xiaochun Li. A sharp S chr\" o dinger maximal estimate in R^2 . Ann. of Math. (2) , 186(2):607--640, 2017

    2017

  3. [3]

    orn E. J. Dahlberg and Carlos E. Kenig. A note on the almost everywhere behavior of solutions to the S chr\

    Bj\"orn E. J. Dahlberg and Carlos E. Kenig. A note on the almost everywhere behavior of solutions to the S chr\"odinger equation. In Harmonic analysis ( M inneapolis, M inn., 1981) , volume 908 of Lecture Notes in Math. , pages 205--209. Springer, Berlin-New York, 1982

    work page 1981

  4. [4]

    Restriction and decoupling estimates for the hyperbolic paraboloid in $\mathbb{R}^3$

    Ciprian Demeter and Shukun Wu. Restriction and decoupling estimates for the hyperbolic paraboloid in R ^3 . preprint , arXiv:2505.09037, 2025

    work page Pith review arXiv 2025

  5. [5]

    Sharp L^2 estimates of the S chr\" o dinger maximal function in higher dimensions

    Xiumin Du and Ruixiang Zhang. Sharp L^2 estimates of the S chr\" o dinger maximal function in higher dimensions. Ann. of Math. (2) , 189(3):837--861, 2019

    2019

  6. [6]

    On F alconer's distance set problem in the plane

    Larry Guth, Alex Iosevich, Yumeng Ou, and Hong Wang. On F alconer's distance set problem in the plane. Invent. Math. , 219(3):779--830, 2020

    work page 2020

  7. [7]

    A restriction estimate using polynomial partitioning

    Larry Guth. A restriction estimate using polynomial partitioning. J. Amer. Math. Soc. , 29(2):371--413, 2016

    2016

  8. [8]

    Large value estimates in number theory, harmonic analysis, and computer science

    Larry Guth. Large value estimates in number theory, harmonic analysis, and computer science. preprint , arXiv:2503.07410, 2025

    arXiv 2025

Show all 15 references
  1. [9]

    Rogers, and Andreas Seeger

    Sanghyuk Lee, Keith M. Rogers, and Andreas Seeger. On space-time estimates for the S chr\"odinger operator. J. Math. Pures Appl. (9) , 99(1):62--85, 2013

    2013

  2. [10]

    On almost everywhere convergence of planar bochner-riesz mean

    Xiaochun Li and Shukun Wu. On almost everywhere convergence of planar bochner-riesz mean. preprint , arXiv:2407.20887, 2024

    2024

  3. [11]

    Oberwolfach Rep

    Incidence problems in harmonic analysis, geometric measure theory, and ergodic theory. Oberwolfach Rep. , 20(2):1397--1452, 2023. Abstracts from the workshop held June 4--9, 2023, Organized by Tuomas Orponen, Pablo Shmerkin and Hong Wang

    2023

  4. [12]

    Decay of circular means of F ourier transforms of measures

    Thomas Wolff. Decay of circular means of F ourier transforms of measures. Internat. Math. Res. Notices , 1999(10):547--567, 1999

    1999

  5. [13]

    Local smoothing type estimates on L^p for large p

    Thomas Wolff. Local smoothing type estimates on L^p for large p . Geom. Funct. Anal. , 10(5):1237--1288, 2000

    2000

  6. [14]

    A note on the refined S trichartz estimates and maximal extension operator

    Shukun Wu. A note on the refined S trichartz estimates and maximal extension operator. J. Fourier Anal. Appl. , 27(3):Paper No. 48, 29, 2021

    2021

  7. [15]

    Restriction estimates using decoupling theorems and two-ends F urstenberg inequalities

    Hong Wang and Shukun Wu. Restriction estimates using decoupling theorems and two-ends F urstenberg inequalities. arXiv:2411.08871 , 2024

    2024 arXiv

Pith tools

Reviewed August 7, 2026 · model on record in the stance chip above.