pith. sign in

arxiv: 2302.12701 · v3 · pith:CCDBL2QOnew · submitted 2023-02-24 · 🧮 math.AP · math.CA

Function spaces for decoupling

Andrew Hassell , Pierre Portal , Jan Rozendaal , Po-Lam Yung This is my paper

Pith reviewed 2026-05-24 10:21 UTC · model grok-4.3

classification 🧮 math.AP math.CA
keywords function spacesdecoupling inequalitieshalf-wave propagatorFourier integral operatorsfractional integrationlocal smoothingspherelight cone
0
0 comments X

The pith

New function spaces recast ell^q L^p decoupling inequalities for the sphere and light cone.

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

The authors introduce new function spaces L sub W,s to the q,p of R to the n that turn the ell to the q L to the p decoupling inequalities for the sphere and the light cone into statements about whether a function belongs to the space. These spaces stay fixed when the Euclidean half-wave propagator acts on them. The same construction produces stronger versions of the fractional integration theorem and local smoothing estimates for solutions to the wave equation. A sympathetic reader would care because many estimates in harmonic analysis and PDE ultimately reduce to controlling how energy concentrates on curved surfaces, and a function-space language that matches the decoupling exactly could streamline proofs and sharpen constants.

Core claim

We introduce new function spaces L_{W,s}^{q,p}(R^n) that yield a natural reformulation of the ell^q L^p decoupling inequalities for the sphere and the light cone. These spaces are invariant under the Euclidean half-wave propagators, but not under all Fourier integral operators unless p=q, in which case they coincide with the Hardy spaces for Fourier integral operators. We use these spaces to obtain improvements of the classical fractional integration theorem and local smoothing estimates.

What carries the argument

The function spaces L_{W,s}^{q,p}(R^n), which recast decoupling inequalities as norm statements and remain unchanged under half-wave propagation.

If this is right

  • The ell^q L^p decoupling inequalities become equivalent to the function having finite norm in the new spaces.
  • The spaces remain unchanged when the Euclidean half-wave propagator is applied.
  • When p equals q the spaces reduce exactly to the Hardy spaces for Fourier integral operators.
  • Sharper bounds hold in the fractional integration theorem.
  • Sharper local smoothing estimates hold for the wave equation.

Where Pith is reading between the lines

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

  • The same spaces might be tested on decoupling problems for other curved surfaces or in higher dimensions.
  • Checking invariance under other dispersive propagators could extend the method to the Schrödinger equation or other equations.
  • The gap between p not equal to q and the p equals q case might point to new distinctions among classes of Fourier integral operators.
  • One could ask whether these spaces interact usefully with existing scales such as Besov or Triebel-Lizorkin spaces.

Load-bearing premise

The spaces are defined so that a function satisfies the decoupling inequality if and only if its norm in the space is finite.

What would settle it

A concrete function whose ell^q L^p decoupling norm is finite yet whose norm in L_{W,s}^{q,p} is infinite, or a function in the space whose image under the half-wave propagator leaves the space.

read the original abstract

We introduce new function spaces $\mathcal{L}_{W,s}^{q,p}(\mathbb{R}^{n})$ that yield a natural reformulation of the $\ell^{q}L^{p}$ decoupling inequalities for the sphere and the light cone. These spaces are invariant under the Euclidean half-wave propagators, but not under all Fourier integral operators unless $p=q$, in which case they coincide with the Hardy spaces for Fourier integral operators. We use these spaces to obtain improvements of the classical fractional integration theorem and local smoothing estimates.

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

0 major / 1 minor

Summary. The paper introduces new function spaces L_{W,s}^{q,p}(R^n) that yield a natural reformulation of the ell^q L^p decoupling inequalities for the sphere and the light cone. These spaces are invariant under the Euclidean half-wave propagators, but not under all Fourier integral operators unless p=q, in which case they coincide with the Hardy spaces for Fourier integral operators. The spaces are then used to obtain improvements of the classical fractional integration theorem and local smoothing estimates.

Significance. If the central claims hold, the work supplies a functional-analytic reformulation of decoupling inequalities with built-in invariance under half-wave propagators. This framework could streamline proofs of decoupling-type estimates and yield sharper versions of fractional integration and local smoothing, particularly in settings where the p=q case reduces to known FIO Hardy spaces. The absence of free parameters or ad-hoc axioms in the abstract formulation is a positive feature.

minor comments (1)
  1. [Abstract] The abstract asserts improvements to fractional integration and local smoothing without quantifying the gain (e.g., range of exponents or logarithmic factors); a brief statement of the precise improvement would clarify the contribution even at the abstract level.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their review. The summary and significance assessment accurately capture the main points of the manuscript. The recommendation is listed as uncertain, but the major comments section contains no specific items.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The paper introduces new function spaces L_{W,s}^{q,p} explicitly as a reformulation tool for existing ell^q L^p decoupling inequalities on the sphere and light cone. Invariance under half-wave propagators is stated to follow directly from the definition of the spaces, and the p=q case coinciding with FIO Hardy spaces is a direct consequence of that definition rather than a derived claim. No load-bearing self-citations, fitted parameters renamed as predictions, or ansatzes smuggled via prior work are present. The central contribution is definitional and self-contained; the reformulation does not reduce any external theorem to its own inputs by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract-only review; no information on free parameters, axioms, or invented entities is available. The new spaces constitute the primary contribution but are not postulated entities like particles.

pith-pipeline@v0.9.0 · 5603 in / 1090 out tokens · 49687 ms · 2026-05-24T10:21:48.736933+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

40 extracted references · 40 canonical work pages

  1. [1]

    Sharp well-posedness and ill-posedness results for a quadratic non-linear Schr ¨odinger equation

    Ioan Bejenaru and Terence Tao. Sharp well-posedness and ill-posedness results for a quadratic non-linear Schr ¨odinger equation. J. Funct. Anal. , 233(1):228–259, 2006

    work page 2006

  2. [2]

    David Beltran, Jonathan Hickman, and Christopher D. Sog ge. Sharp local smoothing esti- mates for Fourier integral operators. In Geometric aspects of harmonic analysis , volume 45 of Springer INdAM Ser. , pages 29–105. Springer, Cham, [2021] ©2021

    work page 2021

  3. [3]

    Interpolation spaces

    J ¨oran Bergh and J ¨orgen L ¨ofstr¨om. Interpolation spaces. An introduction . Springer-Verlag, Berlin, 1976. Grundlehren der Mathematischen Wissenschaf ten, No. 223

    work page 1976

  4. [4]

    The proof of the l2 decoupling conjecture

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

    work page 2015

  5. [5]

    Proof of the main conjecture in Vino- gradov’s mean value theorem for degrees higher than three

    Jean Bourgain, Ciprian Demeter, and Larry Guth. Proof of the main conjecture in Vino- gradov’s mean value theorem for degrees higher than three. Ann. of Math. (2) , 184(2):633– 682, 2016

    work page 2016

  6. [6]

    Calder´ on and Alberto Torchinsky

    Alberto P. Calder´ on and Alberto Torchinsky. Parabolic maximal functions associated with a distribution. Advances in Math. , 16:1–64, 1975

    work page 1975

  7. [7]

    Calder´ on and Alberto Torchinsky

    Alberto P. Calder´ on and Alberto Torchinsky. Parabolic maximal functions associated with a distribution. II. Advances in Math. , 24(2):101–171, 1977

    work page 1977

  8. [8]

    Global and local regularity of Fourier integral operators on weighted and unweighted spac es

    David Dos Santos Ferreira and W olfgang Staubach. Global and local regularity of Fourier integral operators on weighted and unweighted spac es. Mem. Amer. Math. Soc. , 229(1074):xiv+65, 2014

    work page 2014

  9. [9]

    A sharp Schr ¨odinger maximal estimate in R2

    Xiumin Du, Larry Guth, and Xiaochun Li. A sharp Schr ¨odinger maximal estimate in R2. Ann. of Math. (2) , 186(2):607–640, 2017

    work page 2017

  10. [10]

    Sharp L2 estimates of the Schr ¨odinger maximal function in higher dimensions

    Xiumin Du and Ruixiang Zhang. Sharp L2 estimates of the Schr ¨odinger maximal function in higher dimensions. Ann. of Math. (2) , 189(3):837–861, 2019

    work page 2019

  11. [11]

    Duistermaat

    Johannes J. Duistermaat. Fourier integral operators . Modern Birkh ¨auser Classics. Birkh¨auser/Springer, New York, 2011. Reprint of the 1996 edition , based on the original lecture notes published in 1973

    work page 2011

  12. [12]

    C haracterizations of the Hardy space H1 FIO(Rn) for Fourier integral operators

    Zhijie Fan, Naijia Liu, Jan Rozendaal, and Liang Song. C haracterizations of the Hardy space H1 FIO(Rn) for Fourier integral operators. Studia Math. , 270(2):175–207, 2023

    work page 2023

  13. [13]

    A note on spherical summation multip liers

    Charles Fefferman. A note on spherical summation multip liers. Israel J. Math. , 15:44–52, 1973

    work page 1973

  14. [14]

    Folland and Elias M

    Gerald B. Folland and Elias M. Stein. Hardy spaces on homogeneous groups , volume 28 of Mathematical Notes . Princeton University Press, Princeton, NJ; University of Tokyo Press, Tokyo, 1982

    work page 1982

  15. [15]

    Lp estimates for wave equations with specific C0,1 coeffi- cients

    Dorothee Frey and Pierre Portal. Lp estimates for wave equations with specific C0,1 coeffi- cients. Preprint available at https://arxiv.org/abs/2010.08326, 2020

    work page arXiv 2010

  16. [16]

    Spherical maximal functions and Hardy spaces for Fourier integral operators

    Abhishek Ghosh, Naijia Liu, Jan Rozendaal, and Liang So ng. Spherical maximal functions and Hardy spaces for Fourier integral operators. Preprint available at https://arxiv.org/abs/2401.16955, 2024. FUNCTION SPACES FOR DECOUPLING 49

    work page arXiv 2024

  17. [17]

    A short proof of ℓ2 decoupling for the moment curve

    Shaoming Guo, Zane Kun Li, Po-Lam Yung, and Pavel Zorin- Kranich. A short proof of ℓ2 decoupling for the moment curve. Amer. J. Math. , 143(6):1983–1998, 2021

    work page 1983

  18. [18]

    A sharp squar e function estimate for the cone in R3

    Larry Guth, Hong W ang, and Ruixiang Zhang. A sharp squar e function estimate for the cone in R3. Ann. of Math. (2) , 192(2):551–581, 2020

    work page 2020

  19. [19]

    Off-s ingularity bounds and Hardy spaces for Fourier integral operators

    Andrew Hassell, Pierre Portal, and Jan Rozendaal. Off-s ingularity bounds and Hardy spaces for Fourier integral operators. Trans. Amer. Math. Soc. , 373(8):5773–5832, 2020

    work page 2020

  20. [20]

    Lp and Hp F IO regularity for wave equations with rough coefficients

    Andrew Hassell and Jan Rozendaal. Lp and Hp F IO regularity for wave equations with rough coefficients. Pure Appl. Anal. , 5(3):541–599, 2023

    work page 2023

  21. [21]

    Pointwise convergence for the Schr ¨odinger equation [ after Xiumin Du and Ruixiang Zhang]

    Jonathan Hickman. Pointwise convergence for the Schr ¨odinger equation [ after Xiumin Du and Ruixiang Zhang]. 2023

    work page 2023

  22. [22]

    The analysis of linear partial differential operators

    Lars H ¨ormander. The analysis of linear partial differential operators. I . Classics in Mathe- matics. Springer-Verlag, Berlin, 2003. Distribution theo ry and Fourier analysis, Reprint of the second (1990) edition [Springer, Berlin; MR1065993 (91 m:35001a)]

    work page 2003

  23. [23]

    The analysis of linear partial differential operators

    Lars H ¨ormander. The analysis of linear partial differential operators. IV . Classics in Mathe- matics. Springer-Verlag, Berlin, 2009. Fourier integral o perators, Reprint of the 1994 edition

    work page 2009

  24. [24]

    Analysis in Banach spaces

    Tuomas Hyt ¨onen, Jan van Neerven, Mark Veraar, and Lutz W eis. Analysis in Banach spaces. Vol. I. Martingales and Littlewood-Paley theory , volume 63 of Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge. A Series of Modern Surveys in Mathematics [Results in Mathematics and Related Areas. 3rd Series. A Series of Moder n Surveys in Mathematics] . ...

    work page 2016

  25. [25]

    Endpoint Strichartz estim ates

    Markus Keel and Terence Tao. Endpoint Strichartz estim ates. Amer. J. Math. , 120(5):955– 980, 1998

    work page 1998

  26. [26]

    Krantz and Harold R

    Steven G. Krantz and Harold R. Parks. The implicit function theorem . Modern Birkh ¨auser Classics. Birkh ¨auser/Springer, New York, 2013. History, theory, and appli cations, Reprint of the 2003 edition

    work page 2013

  27. [27]

    Lo cal smoothing and Hardy spaces for Fourier integral operators on manifolds

    Naijia Liu, Jan Rozendaal, Liang Song, and Lixin Yan. Lo cal smoothing and Hardy spaces for Fourier integral operators on manifolds. J. Funct. Anal. , 286(2):Paper No. 110221, 72 pp., 2024

    work page 2024

  28. [28]

    Characterizations of Hardy spaces for F ourier integral operators

    Jan Rozendaal. Characterizations of Hardy spaces for F ourier integral operators. Rev. Mat. Iberoam., 37(5):1717–1745, 2021

    work page 2021

  29. [29]

    Local smoothing and Hardy spaces for Fou rier integral operators

    Jan Rozendaal. Local smoothing and Hardy spaces for Fou rier integral operators. J. Funct. Anal., 283(12):Paper No. 109721, 22 pp., 2022

    work page 2022

  30. [30]

    Nonlinear wave equat ions with slowly decaying initial data

    Jan Rozendaal and Robert Schippa. Nonlinear wave equat ions with slowly decaying initial data. J. Differential Equations , 350:152–188, 2023

    work page 2023

  31. [31]

    Rubio de Francia

    Jos´ e L. Rubio de Francia. Martingale and integral tran sforms of Banach space valued func- tions. In Probability and Banach spaces (Zaragoza, 1985) , volume 1221 of Lecture Notes in Math., pages 195–222. Springer, Berlin, 1986

    work page 1985

  32. [32]

    Characterization of parabolic Hardy spa ces by Littlewood-Paley functions

    Shuichi Sato. Characterization of parabolic Hardy spa ces by Littlewood-Paley functions. Re- sults Math. , 73(3):Paper No. 106, 20, 2018

    work page 2018

  33. [33]

    On smoothing estimates in modulation s paces and the nonlinear Schr ¨odinger equation with slowly decaying initial data

    Robert Schippa. On smoothing estimates in modulation s paces and the nonlinear Schr ¨odinger equation with slowly decaying initial data. J. Funct. Anal., 282(5):Paper No. 109352, 46, 2022

    work page 2022

  34. [34]

    Sogge, and Elias M

    Andreas Seeger, Christopher D. Sogge, and Elias M. Stei n. Regularity properties of Fourier integral operators. Ann. of Math. (2) , 134(2):231–251, 1991

    work page 1991

  35. [35]

    Hart F. Smith. A Hardy space for Fourier integral operat ors. J. Geom. Anal. , 8(4):629–653, 1998

    work page 1998

  36. [36]

    Christopher D. Sogge. Fourier integrals in classical analysis , volume 210 of Cambridge Tracts in Mathematics . Cambridge University Press, Cambridge, second edition, 2 017

    work page

  37. [37]

    Elias M. Stein. Harmonic analysis: real-variable methods, orthogonality , and oscillatory in- tegrals, volume 43 of Princeton Mathematical Series . Princeton University Press, Princeton, NJ, 1993. With the assistance of Timothy S. Murphy, Monograp hs in Harmonic Analysis, III

    work page 1993

  38. [38]

    Interpolation Theory, Function Spaces, Differential Opera tors, volume 18 of North-Holland Mathematical Library

    Hans Triebel. Interpolation Theory, Function Spaces, Differential Opera tors, volume 18 of North-Holland Mathematical Library . North-Holland Publishing Co., Amsterdam-New York, 1978

    work page 1978

  39. [39]

    Theory of Function spaces

    Hans Triebel. Theory of Function spaces . Modern Birkh ¨auser Classics. Birkh ¨auser/Springer Basel AG, Basel, 2010. Reprint of 1983 edition

    work page 2010

  40. [40]

    Local smoothing type estimates on Lp for large p

    Thomas W olff. Local smoothing type estimates on Lp for large p. Geom. Funct. Anal. , 10(5):1237–1288, 2000. 50 ANDREW HASSELL, PIERRE PORTAL, JAN ROZENDAAL, AND PO–LAM YUNG Mathematical Sciences Institute, Australian National Unive rsity, Acton ACT 2601, Australia Email address : Andrew.Hassell@anu.edu.au Mathematical Sciences Institute, Australian Nation...

    work page 2000