Pith. sign in

REVIEW 3 major objections 5 minor 37 references

Existence of maximizers for $L^p$ Fourier extension from the hyperbolic paraboloid

T0 review · 3 major / 5 minor · reviewed 2026-08-02 · deepseek-v4-flash

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

Pith's one-line read For the hyperbolic paraboloid, every nonendpoint L^p extension inequality below the boundedness range is maximizable, with maximizing sequences precompact modulo symmetries.

desk verdict Solid and likely correct: first extremizer existence for the hyperbolic paraboloid, conditional on boundedness, with a real but fixable gap in the imported profile decomposition. read the letter →

arxiv 2607.13181 v1 pith:C5QMLEOM submitted 2026-07-14 math.CA math.AP

Benjamin Bruce , Diogo Oliveira e Silva , Betsy Stovall This is my paper · ORCID
classification math.CAmath.AP MSC 42B10
keywords FourierextensionhyperbolicparaboloidmaximizersprecompactnesssharpconstantsHunt–Marcinkiewiczinterpolationprofiledecompositionrestrictiontheory
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 that the sharp $L^p$ Fourier extension inequality for the hyperbolic paraboloid in $\mathbb{R}^3$ has actual maximizers whenever the exponent $p$ lies strictly below any exponent for which the extension operator is known to be bounded. It also proves that every norm-one maximizing sequence has a subsequence converging, after dilations, frequency translations, and modulations, to a maximizer. This addresses a class of negatively curved surfaces where earlier existence proofs, built for the paraboloid, cone, and sphere, did not transfer because bilinear-to-linear arguments lose too much. The proof rests on a sharpened Hunt–Marcinkiewicz interpolation lemma, a tile-based frequency localization showing that near-maximizers concentrate on a single tile, and an imported $L^p$-profile decomposition whose pieces have additive extension norms.

What carries the argument

The central mechanism is a two-step localization. First, a sharpened Hunt–Marcinkiewicz interpolation lemma (Lemma 3.4) converts the operator's restricted weak-type bounds into an estimate controlling $\|Ef\|_q$ by the largest contribution of $f$'s dyadic-level sets on dyadic tiles (Proposition 3.1). A tile-selection argument (Proposition 3.5) then shows that near-maximizers must have a 'first tile' carrying a non-negligible share of the norm, and Proposition 4.1 upgrades this to: after composing with a symmetry, a near-maximizer is almost entirely supported in a fixed ball and has bounded amplitude. With that frequency localization in hand, the proof imports an $L^p$-based profile decomposition $f$

What would settle it

Find an $L^p$-normalized maximizing sequence for some $p<p_0$ whose $L^p$-profile decomposition (Proposition 5.2) has two nonzero profiles with nonzero extension norms; the claimed convergence to a single profile would be contradicted, since the proof's uniform-convexity step forces all but one profile to vanish.

Watch

Extended reading notes

Core claim

Let $\Sigma = \{(\xi_1\xi_2, \xi_1, \xi_2) : \xi \in \mathbb{R}^2\}$ be the hyperbolic paraboloid and $Ef(t,x) = \int_{\mathbb{R}^2} e^{i(t,x)\cdot(\xi_1\xi_2,\xi)} f(\xi) \, d\xi$ its Fourier extension operator. The main theorem assumes $E$ is bounded from $L^{p_0}(\mathbb{R}^2)$ into $L^{2p_0'}(\mathbb{R}^{1+2})$ for some $1<p_0<3$. Then for every $1<p<p_0$ the sharp constant $A_p = \sup_{\|f\|_p=1} \|Ef\|_{2p'}$ is attained: there is a nonzero $f \in L^p$ with $\|Ef\|_{2p'} = A_p \|f\|_p$. Moreover, any $L^p$-normalized maximizing sequence has a subsequence that, after precomposing with dilations, frequency translations, and modulations, converges in $L^p$ to a maximizer. In the known boundedness range $p_0 < 11/4$ the theorem is unconditional; for $11/4 \le p_0 < 3$ it is conditional on future improvement

Load-bearing premise

The proof relies on an imported $L^p$-profile decomposition for frequency-localized sequences that is stated without proof and whose printed norm identity appears malformed; if that decomposition fails in the symmetry setting of the hyperbolic paraboloid, the main theorem does not follow.

Editorial extensions

If this is right

  • Existence: for every p below the boundedness threshold, the sharp constant A_p is attained; no loss of compactness occurs at nonendpoint exponents.
  • Structure of near-extremizers: every maximizing sequence is asymptotically a single modulated, dilated, and translated copy of a fixed maximizer, giving a complete modulo-symmetry description.
  • Duality: the analogous precompactness and existence statement holds for the restriction operator mapping L^{2p'} to L^p (Remark 1.2).
  • Robustness: any future improvement of the boundedness range will automatically deliver maximizers and compactness for all newly covered exponents, since Theorem 1.1 is conditional only on boundedness.
  • New interpolation tool: the sharpened Hunt–Marcinkiewicz lemma provides a general way to pass from restricted weak-type bounds to tile-localized estimates, which may be useful for other Fourier extension problems.

Reading between the lines

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

  • The proof's reliance on an imported profile decomposition suggests a modular strategy: the same frequency-localization and interpolation steps could, in principle, be adapted to any hypersurface that admits a suitable L^p-profile decomposition and a refined Strichartz inequality.
  • Because maximizing sequences converge to a single profile, the sharp constant A_p could be approached numerically by solving a low-dimensional variational problem over the symmetry group of a known maximizer, rather than over all of L^p.
  • If the restriction conjecture for the hyperbolic paraboloid (boundedness for all p<3) is eventually proved, Theorem 1.1 would immediately yield maximizers and compactness for every p in (1,3), closing the gap at the endpoint behavior p→3.
  • The malformed condition (ii) in the printed profile decomposition is a testable detail: a reader can compare against the original statement and verify whether the exponent should be \tilde p in the sum; if the original statement differs, the present proof may need a small adjustment in the Cauchy step.
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

3 major / 5 minor

Summary. The paper proves that, conditional on the boundedness of the Fourier extension operator E from L^{p_0}(R^2) to L^{2p_0'}(R^{1+2}) for some 1<p_0<3, all nonendpoint inequalities \|Ef\|_{2p'} ≤ A_p\|f\|_p with 1<p<p_0 admit extremizers, and every maximizing sequence is precompact modulo the dilation/translation/modulation symmetries of the hyperbolic paraboloid. The argument combines a new sharpened Hunt–Marcinkiewicz interpolation lemma (Lemma 3.4), a range-localization and tile-selection routine (Section 3), a frequency-localization result for near-maximizers (Proposition 4.1, with the bilinear Lemma 4.2), and an L^p-based profile decomposition imported from [33] (Proposition 5.2). The theorem is explicitly conditional on the known or conjectured range of boundedness, and the proof is largely self-contained except for that imported decomposition.

Significance. If the result holds, it provides the first extremizer existence and modular precompactness theorem for Fourier extension from a negatively curved surface (the hyperbolic paraboloid) beyond the Stein–Tomas range, up to the currently known threshold p<11/4 and conditionally beyond. The sharpened Hunt–Marcinkiewicz lemma (Lemma 3.4) and the ‘funky characteristic function’ range-localization argument are substantive technical novelties of independent interest. The paper is honest about its conditional nature and about the fact that Proposition 5.2 is taken from [33]. However, the central proof depends critically on that imported decomposition, and the printed version contains several malformed displays that must be corrected before the argument can be verified.

major comments (3)
  1. [§5, Proposition 5.2 and its use in Theorem 1.1] The L^p profile decomposition is the load-bearing import from [33], yet property (ii) is malformed: the displayed inequality "liminf_n(\|f_n\|_p - (Σ_{j=1}^{J_0} \|φ_j\|_{tilde p}^p)^{1/tilde p} ≥ 0" mixes L^p and L^{tilde p} norms and the parentheses are unbalanced. The proof of Theorem 1.1 then uses the decomposition to conclude Σ\|φ_j\|_{tilde p}^p ≤ 1 and bounds \|Eφ_j\|_q via A_{tilde p}; the final conclusion requires \|φ^m\|_p ≥ 1-o_m(1). Please state the correct defect relation and either prove its adaptation to the hyperbolic-paraboloid phase or give a precise reference that covers this case. As printed, the central argument is not verifiable.
  2. [§5, proof of Theorem 1.1 (display before (5.1))] The chain A_p^q - o_m(1) ≤ Σ\|Eφ^{m,j}\|_q^q ≤ A_{tilde p}^p max_j \|Eφ^{m,j}\|_q^{q-tilde p} Σ\|φ^{m,j}\|_{tilde p}^p ≤ A_{tilde p}^p max_j \|Eφ^{m,j}\|_q^{q-tilde p} ≤ A_p^q max_j \|φ^{m,j}\|_p^{q-tilde p} is internally inconsistent: the middle terms use A_{tilde p} and L^{tilde p} norms while the final bound uses A_p and L^p norms. For the conclusion \|φ^m\|_p ≥ 1-o_m(1) to follow, one expects a bound of the form Σ\|φ_j\|_p^{tilde p} ≤ 1 (or with matching powers). Please rewrite this display and reconcile it with the corrected Proposition 5.2(ii).
  3. [§4, Lemma 4.2, Case 2] The assertion that Q_i^n is nonempty for at most two values of i with i ≥ -l_n (and analogously τ_i^n with i ≥ k_n) appears false when the bad tile overlaps the unit square: the dyadic annuli {|ξ_2-ζ_{n,2}| ∼ 2^{l_n+i}} intersect [0,1] for O(-l_n) values of i, and similarly there are O(k_n) nonempty vertical strips. The subsequent summation over i,i' ≥ C depends on this counting statement. The final estimate may still hold because the bilinear exponent 2-4/q-2/r is negative for r sufficiently close to (q/2)', but the written proof needs a corrected accounting of the number of nonempty strips.
minor comments (5)
  1. [§5, Eq. (5.1)] The right-hand side of the second estimate reads "A_p - o_m(1) ≤ \|Eφ^m\|_p"; the target norm should be \|Eφ^m\|_q. Also the earlier display starts with "A_q^p" where the context requires "A_p^q".
  2. [§5, Proposition 5.2(ii)] Please fix the unbalanced parentheses in the statement of property (ii). The current rendering is not a well-formed inequality.
  3. [§1.6, terminology] The phrase using "X ∼= Y" for X=CY is nonstandard; consider using "X = C Y" or define the notation more explicitly.
  4. [Keywords] Typo: "Hunt–Marcinkiwicz" should be "Hunt–Marcinkiewicz".
  5. [References] [23] is cited with an access date in April 2026; if this is a preprint/lecture note, please provide a more stable reference or archive link.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the argument is conditional, imports external profile-decomposition theorems as independent support, and does not reduce its conclusion to its inputs.

full rationale

The derivation is conditional: Theorem 1.1 starts from the assumed boundedness of E and proves existence and precompactness of maximizers; it never derives the inequality from the maximizer, so there is no definitional loop. The self-contained parts (Lemma 3.4, sharpened Hunt-Marcinkiewicz; Proposition 3.1; Proposition 3.5; Proposition 4.1; Lemma 4.2) are proved in the paper, with external input from [32] and [9], both independent published results. The main imported tool, Proposition 5.2, is deferred to [33, Prop 4.1] with the sentence "we will omit some details, such as the proof of Proposition 5.2"; this is a genuine omitted proof, and the printed property (ii) is malformed, so the proof is not fully verifiable from this manuscript alone. But that is a correctness/verifiability gap, not circularity: [33] is an external theorem for a different surface, and the present conclusion about hyperbolic-paraboloid maximizers is not used as an assumption, nor is any fitted parameter renamed as a prediction. The heavy reliance on Stovall's prior work [32,33] is self-citation in provenance, but it constitutes independent published support under the stated rules and does not make the target result equivalent to its input.

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

The paper introduces no new objects — no new particles, fields, or conserved quantities; 'funky' characteristic functions are a proof device, not a new entity. Free parameters are absent because the claim is a conditional existence theorem in pure analysis. All axioms are either the stated hypothesis or established theorems from the literature, several from the same authors.

assumptions (6)
  • domain assumption E is bounded from L^{p0}(R²) to L^{2p0′}(R^{1+2}) for some 1<p0<3.
    Explicit hypothesis of Theorem 1.1; known for p0<11/4 via [13,19,32], open for 11/4≤p0<3, where the theorem is conditional.
  • standard math Stovall's scale-invariant extension estimates for the hyperbolic paraboloid, including [32, Theorem 1.1], [32, Prop 2.2], [32, Lemma 3.2].
    Invoked in Lemma 3.3 and throughout §4; established in prior work by one of the current authors.
  • standard math L² profile decomposition for the hyperbolic Schrödinger equation [9, Theorem 12] (quoted as Theorem 5.1).
    Base of the L^p-based profile decomposition upgrade in §5.
  • standard math L^p-based profile decomposition for frequency-localized functions [33, Proposition 4.1], quoted as Proposition 5.2 without proof.
    Load-bearing in the final convergence argument; the manuscript explicitly omits its proof.
  • standard math Bilinear extension estimates for the hyperbolic paraboloid of Lee [25] and Vargas [37], including the existence of r(q) < (q/2)′ in Lemma 4.2.
    Provides the separation-conditioned decay used in Lemma 4.2 Cases 2–3.
  • standard math Classical Hunt–Marcinkiewicz interpolation theorem [22] and its proof style from [23].
    Basis for the sharpened Lemma 3.4.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Existence of maximizers for $L^p$ Fourier extension from the hyperbolic paraboloid." pith.science (2026). https://pith.science/paper/C5QMLEOM

@misc{pith2026260713181,
  author       = {Pith},
  title        = {Pith review of: Existence of maximizers for $L^p$ Fourier extension from the hyperbolic paraboloid},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/C5QMLEOM}},
  note         = {Machine review of arXiv:2607.13181}
}
abstract

We prove that maximizers exist and that maximizing sequences possess subsequences that converge modulo symmetries to maximizers for the $L^p \to L^q$ Fourier extension inequalities associated to the hyperbolic paraboloid in three ambient dimensions.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

37 extracted references · 3 linked inside Pith

  1. [33]

    Stovall,Extremizability of Fourier restriction to the paraboloid.Adv

    B. Stovall,Extremizability of Fourier restriction to the paraboloid.Adv. Math.360 (2020), 106898, 18 pp

    2020

  2. [9]

    Dodson, J

    B. Dodson, J. Marzuola, B. Pausader, D. Spirn,The profile decomposition for the hy- perbolic Schr¨ odinger equation.Illinois J. Math.62(2018), no. 1–4, 293–320. Erratum: Illinois J. Math.65(2021), no. 1, 259–260

    2018

  3. [19]

    S. Guo, D. Liu, Y. Xi,Restriction estimates for surfaces with negative curvature in R3. arXiv:2606.16766

    arXiv

  4. [1]

    Barron,Restriction estimates for hyperbolic paraboloids in higher dimensions via bilinear estimates.Rev

    A. Barron,Restriction estimates for hyperbolic paraboloids in higher dimensions via bilinear estimates.Rev. Mat. Iberoam.38(2022), no. 5, 1453–1471

    2022

  5. [2]

    Biswas, B

    C. Biswas, B. Stovall,Existence of extremizers for Fourier restriction to the moment curve.Trans. Amer. Math. Soc.376(2023), no. 5, 3473–3492

    2023

  6. [3]

    Biswas, B

    C. Biswas, B. Stovall,Sharp Fourier restriction to monomial curves.Math. Ann.391 (2025), no. 4, 5391–5425

    2025

  7. [4]

    Bruce, D

    B. Bruce, D. Oliveira e Silva, B. Stovall,Restriction inequalities for the hyperbolic hyperboloid.J. Math. Pures Appl. (9)149(2021), 186–215

    2021

  8. [5]

    Buschenhenke, D

    S. Buschenhenke, D. M¨ uller, A. Vargas,A Fourier restriction theorem for a perturbed hyperbolic paraboloid.Proc. Lond. Math. Soc. (3)120(2020), no. 1, 124–154

    2020

Show all 37 references
  1. [6]

    Buschenhenke, D

    S. Buschenhenke, D. M¨ uller, A. Vargas,Partitions of flat one-variate functions and a Fourier restriction theorem for related perturbations of the hyperbolic paraboloid.J. Geom. Anal.31(2021), no. 7, 6941–6986

    2021

  2. [7]

    Buschenhenke, D

    S. Buschenhenke, D. M¨ uller, A. Vargas,On Fourier restriction for finite-type perturba- tions of the hyperbolic paraboloid.Geometric Aspects of Harmonic Analysis. Springer INdAM Ser. 45, Springer, Cham, 2021, 193–222. 20 BRUCE, OLIVEIRA E SIL V A, AND STOV ALL

    2021

  3. [8]

    Buschenhenke, D

    S. Buschenhenke, D. M¨ uller, A. Vargas,A Fourier restriction theorem for a perturbed hyperbolic paraboloid: polynomial partitioning.Math. Z.301(2022), no. 2, 1913–1938

    2022

  4. [10]

    Carneiro, L

    E. Carneiro, L. Oliveira, M. Sousa,Gaussians never extremize Strichartz inequalities for hyperbolic paraboloids.Proc. Amer. Math. Soc.150(2022), no. 8, 3395–3403

    2022

  5. [11]

    C.-H. Cho, J. Lee,Improved restriction estimate for hyperbolic surfaces inR 3.J. Funct. Anal.273(2017), no. 3, 917–945

    2017

  6. [12]

    Christ, S

    M. Christ, S. Shao,Existence of extremals for a Fourier restriction inequality.Anal. PDE5(2012), no. 2, 261–312

    2012

  7. [13]

    Demeter, S

    C. Demeter, S. Wu,Restriction and decoupling estimates for the hyperbolic paraboloid inR 3. arXiv:2505.09037

    arXiv

  8. [14]

    Fanelli, L

    L. Fanelli, L. Vega, N. Visciglia,Existence of maximizers for Sobolev–Strichartz in- equalities.Adv. Math.229(2012), no. 3, 1912–1923

    2012

  9. [15]

    Flock, B

    T. Flock, B. Stovall,On extremizing sequences for adjoint Fourier restriction to the sphere.Adv. Math.453(2024), Paper No. 109854, 44 pp

    2024

  10. [16]

    Foschi, D

    D. Foschi, D. Oliveira e Silva,Some recent progress on sharp Fourier restriction theory.Anal. Math.43(2017), no. 2, 241–265

    2017

  11. [17]

    Frank, E

    R. Frank, E. H. Lieb, J. Sabin,Maximizers for the Stein–Tomas inequality.Geom. Funct. Anal.26(2016), no. 4, 1095–1134

    2016

  12. [18]

    Gonz´ alez-Riquelme, D

    C. Gonz´ alez-Riquelme, D. Oliveira e Silva,Sharp extension inequalities on finite fields. arXiv:2405.16647

    arXiv

  13. [20]

    S. Guo, C. Oh,A restriction estimate for surfaces with negative Gaussian curvatures. Peking Math. J.7(2024), no. 1, 155–202

    2024

  14. [21]

    Hickman, M

    J. Hickman, M. Iliopoulou,SharpL p estimates for oscillatory integral operators of arbitrary signature.Math. Z.301(2022), no. 1, 1143–1189

    2022

  15. [22]

    R. A. Hunt,An extension of the Marcinkiewicz interpolation theorem to Lorentz spaces.Bull. Amer. Math. Soc.70(1964), 803–807

    1964

  16. [23]

    Killip,247A notes on Lorentz spaces,accessed viahttps://www.math.ucla.edu/ ~killip/247a/Lorentz_space_notes.pdf, April, 2026

    R. Killip,247A notes on Lorentz spaces,accessed viahttps://www.math.ucla.edu/ ~killip/247a/Lorentz_space_notes.pdf, April, 2026

    2026

  17. [24]

    Kim,Some remarks on Fourier restriction estimates.arXiv:1702.01231

    J. Kim,Some remarks on Fourier restriction estimates.arXiv:1702.01231

    arXiv

  18. [25]

    Lee,Bilinear restriction estimates for surfaces with curvatures of different signs

    S. Lee,Bilinear restriction estimates for surfaces with curvatures of different signs. Trans. Amer. Math. Soc.358(2006), no. 8, 3511–3533

    2006

  19. [26]

    Li,Restriction estimates for hyperbolic paraboloids in higher dimensions.J

    Z. Li,Restriction estimates for hyperbolic paraboloids in higher dimensions.J. Fourier Anal. Appl.31(2025), no. 3, Paper No. 28, 17 pp

    2025

  20. [27]

    E. H. Lieb, M. Loss, Analysis, Second Edition, Graduate Studies in Mathematics, vol. 14, American Mathematical Society, Providence, RI, 2001

    2001

  21. [28]

    Negro, D

    G. Negro, D. Oliveira e Silva, B. Stovall, J. Tautges,Exponentials rarely maximize Fourier extension inequalities for cones.J. Lond. Math. Soc. (2)111(2025), no. 3, Paper No. e70112, 38 pp

    2025

  22. [29]

    Negro, D

    G. Negro, D. Oliveira e Silva, C. Thiele,When doese −|τ| maximize Fourier extension for a conic section?Harmonic Analysis and Convexity. Adv. Anal. Geom. 9, De Gruyter, Berlin, 2023, 391–426

    2023

  23. [30]

    Rogers, A

    K. Rogers, A. Vargas,A refinement of the Strichartz inequality on the saddle and applications.J. Funct. Anal.241(2006), no. 1, 212–231

    2006

  24. [31]

    E. M. Stein, Harmonic Analysis: Real-Variable Methods, Orthogonality, and Oscil- latory Integrals. Princeton University Press, Princeton, NJ, 1993

    1993

  25. [32]

    Stovall,Scale-invariant Fourier restriction to a hyperbolic surface.Anal

    B. Stovall,Scale-invariant Fourier restriction to a hyperbolic surface.Anal. PDE12 (2019), no. 5, 1215–1224. EXTENSION MAXIMIZABILITY FROM THE HYPERBOLIC PARABOLOID 21

    2019

  26. [34]

    Strichartz,Restrictions of Fourier transforms to quadratic surfaces and decay of solutions of wave equations.Duke Math

    R. Strichartz,Restrictions of Fourier transforms to quadratic surfaces and decay of solutions of wave equations.Duke Math. J.44(1977), no. 3, 705–714

    1977

  27. [35]

    T. Tao, A. Vargas, L. Vega,A bilinear approach to the restriction and Kakeya con- jectures.J. Amer. Math. Soc.11(1998), no. 4, 967–1000

    1998

  28. [36]

    Tomas,A restriction theorem for the Fourier transform

    P. Tomas,A restriction theorem for the Fourier transform. Bull. Amer. Math. Soc. 81(1975), no. 2, 477–478

    1975

  29. [37]

    Vargas,Restriction theorems for a surface with negative curvature.Math

    A. Vargas,Restriction theorems for a surface with negative curvature.Math. Z.249 (2005), no. 1, 97–111. Trinity College, 300 Summit Street, Hartford, CT 06106, USA. Email address:benjamin.bruce@trincoll.edu Center for Mathematical Analysis, Geometry and Dynamical Systems & Ins...

    2005

Pith tools

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