arxiv: 2605.02246 · v1 · submitted 2026-05-04 · 🧮 math.CA · math.AP

Recognition: unknown

Weighted decoupling with lower-dimensional frequency localization

Jongchon Kim

Pith reviewed 2026-05-08 02:28 UTC · model grok-4.3

classification 🧮 math.CA math.AP

keywords weighted decouplingL2 decouplingFourier restrictionunit sphereparaboloidfractal restrictionFalconer distance setfrequency localization

0 comments

The pith

Functions with Fourier transforms near the sphere or paraboloid satisfy weighted L2 decoupling when their frequency support also has lower-dimensional localization.

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

The paper establishes weighted L2 decoupling estimates and refined Lp versions for functions whose Fourier transforms are supported in a thin neighborhood of the unit sphere or a truncated paraboloid. The estimates require an extra lower-dimensional frequency localization condition on the support. This setup recovers the fractal L2 restriction estimate of Du and Zhang but with a sharper dependence on how dense the weight is. The same method also yields improved weighted estimates connected to the Falconer distance set problem, working under a global dimensional condition on the weight rather than a stronger scale-by-scale requirement.

Core claim

We prove weighted L2 and refined Lp decoupling estimates for functions whose Fourier transforms are supported in a small neighborhood of the unit sphere or the truncated paraboloid, provided they satisfy an additional lower-dimensional frequency localization property. As a special case this recovers the fractal L2 restriction estimate of Du and Zhang with sharper dependence on the density of the weight. We also obtain weighted refined decoupling estimates for the Falconer distance set problem that improve on prior results by replacing the assumption that the weight is alpha-dimensional at every scale with a weaker global dimensional condition.

What carries the argument

weighted decoupling estimate combined with lower-dimensional frequency localization of the Fourier support

If this is right

The fractal L2 restriction estimate holds with improved dependence on the density of the weight.
Weighted refined decoupling estimates for the Falconer distance set problem hold under the weaker global dimensional condition on the weight.
Decoupling inequalities extend to the sphere and paraboloid under the combined support and localization assumptions.

Where Pith is reading between the lines

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

The global dimensional condition on weights may suffice for similar decoupling results in other restriction-type problems where scale-by-scale assumptions were previously used.
The lower-dimensional localization property could be adapted to obtain weighted estimates for other hypersurfaces in harmonic analysis.

Load-bearing premise

The Fourier support lies in a small neighborhood of the sphere or paraboloid and carries an additional lower-dimensional frequency localization while the weight satisfies only a global dimensional condition.

What would settle it

A concrete weight satisfying the global dimensional condition together with a function whose Fourier support meets the neighborhood and lower-dimensional localization conditions but violates the claimed weighted L2 decoupling bound.

read the original abstract

We prove weighted $L^2$ and refined $L^p$ decoupling estimates for functions whose Fourier transforms are supported in a small neighborhood of the unit sphere or the truncated paraboloid with an additional lower-dimensional frequency localization property. As a special case, we recover the fractal $L^2$ restriction estimate of Du and Zhang, with a sharper dependence on the density of the weight. We also derive weighted refined decoupling estimates related to the Falconer distance set problem, improving earlier results under the stronger assumption that the underlying weight is $\alpha$-dimensional at every scale.

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.

Desk Editor's Note private letter to a colleague

Kim relaxes the weight assumption to a single global condition and adds lower-dimensional localization to get sharper weighted decoupling, but the iterative argument may still have a local-scale gap.

read the letter

This paper proves weighted L2 and refined Lp decoupling estimates for Fourier supports in a thin neighborhood of the sphere or truncated paraboloid, together with an extra lower-dimensional frequency localization. The concrete gains are recovering the Du-Zhang fractal L2 restriction theorem with better dependence on the weight density, and obtaining weighted refined decoupling for the Falconer distance-set problem while dropping the stronger requirement that the weight be alpha-dimensional at every scale separately. The lower-dimensional localization is the ingredient that apparently makes the weaker global condition workable. The abstract states these improvements plainly and ties them directly to the two applications without extra claims. That is the useful part: targeted relaxations in a tool that gets used for restriction and geometric measure theory questions. The main soft spot is the one raised in the stress-test note. The proofs almost certainly proceed by iterating over dyadic scales and controlling weighted norms via the localization. A weight that meets only the global integral condition can still put too much mass at one particular scale, and it is not obvious from the abstract whether the lower-dimensional localization fully prevents the local weighted norms from blowing up during the iteration. Without the actual estimates or the way the constants depend on the density parameter, it is hard to tell if the claimed dependence survives or if some extra control is hidden in the argument. Readers already working with decoupling for restriction or Falconer problems will see the value right away. Someone who knows the Du-Zhang paper and the earlier scale-by-scale results will recognize that the relaxations are real if they hold. The paper engages the literature honestly and makes claims that can be checked. It deserves a serious referee to verify the iteration step and the constants. I would send it to peer review.

Referee Report

2 major / 2 minor

Summary. The paper proves weighted L² decoupling estimates and refined L^p decoupling estimates for functions with Fourier transforms supported in a thin neighborhood of the unit sphere or truncated paraboloid, under an additional lower-dimensional frequency localization condition on the support. As a special case it recovers the fractal L² restriction estimate of Du and Zhang with a sharper dependence on the density parameter of the weight; it also obtains weighted refined decoupling estimates relevant to the Falconer distance set problem, improving on prior work by replacing the pointwise-in-scale α-dimensionality assumption on the weight with a single global integral condition.

Significance. If the central estimates hold, the work strengthens decoupling theory by relaxing the weight hypothesis from local scale-by-scale control to a global dimensional condition while preserving the claimed dependence on the density parameter. The lower-dimensional localization is a technically useful device that may find further applications. The sharper recovery of the Du-Zhang estimate and the improvement for distance sets are concrete advances.

major comments (2)

[§3] §3 (the iterative decoupling argument, around the passage from (3.8) to (3.12)): the passage from the global α-dimensionality integral condition on the weight to the scale-by-scale weighted L^p bounds appears to rely on summing contributions across dyadic scales without an explicit local mass control at each scale. A weight satisfying only the global condition can still concentrate at isolated scales, which would inflate the local weighted norms and potentially spoil the claimed dependence on α. A concrete estimate or counter-example check is needed to confirm this step is load-bearing for the main theorems.
[Theorem 1.3] Theorem 1.3 (the refined L^p decoupling for the paraboloid): the error term arising from the lower-dimensional frequency localization is stated to be absorbed into the main term, but the dependence on the localization parameter δ and the weight density α is not displayed explicitly in the final bound. Clarifying this dependence is necessary to verify that the improvement over earlier results is uniform.

minor comments (2)

[Definition 2.4] The notation for the lower-dimensional localization (e.g., the parameter η in Definition 2.4) is introduced without an immediate comparison to the standard cap/tube decompositions used in prior decoupling literature; a short remark relating the two would improve readability.
Several constants (e.g., the implicit constant in the weighted L² estimate) are stated to be independent of the weight density α, but the dependence on the neighborhood size δ is not tracked uniformly across all lemmas; adding a remark on this would help.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments. We respond point-by-point to the major comments below, indicating where we will revise the manuscript to address the concerns.

read point-by-point responses

Referee: [§3] §3 (the iterative decoupling argument, around the passage from (3.8) to (3.12)): the passage from the global α-dimensionality integral condition on the weight to the scale-by-scale weighted L^p bounds appears to rely on summing contributions across dyadic scales without an explicit local mass control at each scale. A weight satisfying only the global condition can still concentrate at isolated scales, which would inflate the local weighted norms and potentially spoil the claimed dependence on α. A concrete estimate or counter-example check is needed to confirm this step is load-bearing for the main theorems.

Authors: We thank the referee for highlighting this potential gap. The lower-dimensional frequency localization is designed to prevent arbitrary concentration at single scales by restricting the support in a manner that distributes the mass across scales in a controlled way. Nevertheless, to make the transition from the global integral condition to the local bounds fully rigorous and explicit, we will add a short auxiliary lemma in §3. This lemma will show that the global α-dimensionality implies scale-by-scale weighted L^p bounds with an additional factor depending only on α (absorbed into the overall constant), using a dyadic summation argument that exploits the localization to bound the maximal local mass. We will also include a brief remark confirming that no counter-example exists under the localization hypothesis. This revision will be incorporated in the next version. revision: yes
Referee: [Theorem 1.3] Theorem 1.3 (the refined L^p decoupling for the paraboloid): the error term arising from the lower-dimensional frequency localization is stated to be absorbed into the main term, but the dependence on the localization parameter δ and the weight density α is not displayed explicitly in the final bound. Clarifying this dependence is necessary to verify that the improvement over earlier results is uniform.

Authors: We agree that displaying the dependence explicitly will improve clarity and allow readers to verify uniformity. In the revised manuscript we will restate Theorem 1.3 with the error term written as O_α(δ^θ) times the main decoupling quantity, where θ > 0 is a positive power depending on the dimension and the localization, and the implied constant depends on α through the global integral condition. The proof will be updated to track these factors explicitly. This makes the claimed improvement over prior results (which required scale-by-scale α-dimensionality) transparent and uniform in the stated parameters. revision: yes

Circularity Check

0 steps flagged

No circularity: direct proofs from stated assumptions

full rationale

The paper derives weighted L^2 and refined L^p decoupling estimates directly from the Fourier support condition (small neighborhood of sphere/paraboloid plus lower-dimensional localization) and a global dimensional condition on the weight. It recovers the Du-Zhang fractal restriction estimate as a special case with sharper dependence and improves prior Falconer-related results by relaxing the pointwise alpha-dimensionality assumption to a global integral condition. No steps reduce by construction to fitted inputs, self-definitions, or load-bearing self-citations; the iteration decomposes caps/tubes and bounds norms using the localization property without renaming or smuggling prior ansatzes. The derivation remains self-contained against the given hypotheses.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The work rests on standard tools of harmonic analysis (Fourier transform properties, Littlewood-Paley theory, and basic decoupling machinery) without introducing new free parameters or invented entities.

axioms (2)

standard math Standard properties of the Fourier transform on Schwartz functions and tempered distributions
Invoked throughout decoupling arguments in harmonic analysis
domain assumption Existence of frequency localizations and partitions of unity adapted to the sphere or paraboloid
Common background assumption in restriction and decoupling theory

pith-pipeline@v0.9.0 · 5373 in / 1349 out tokens · 60098 ms · 2026-05-08T02:28:07.811959+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

24 extracted references · 2 canonical work pages

[1]

J. A. Barcel\' o , J. M. Bennett, A. Carbery, A. Ruiz, and M. C. Vilela. Some special solutions of the S chr\" o dinger equation. Indiana Univ. Math. J. , 56(4):1581--1593, 2007

2007
[2]

A study guide for the ^2 decoupling theorem for the paraboloid

Ataleshvara Bhargava, Tiklung Chan, Zi Li Lim, and Yixuan Pang. A study guide for the ^2 decoupling theorem for the paraboloid. arXiv:2402.14756, 2024

work page arXiv 2024
[3]

On the multilinear restriction and K akeya conjectures

Jonathan Bennett, Anthony Carbery, and Terence Tao. On the multilinear restriction and K akeya conjectures. Acta Math. , 196(2):261--302, 2006

2006
[4]

A note on the S chr\" o dinger maximal function

Jean Bourgain. A note on the S chr\" o dinger maximal function. J. Anal. Math. , 130:393--396, 2016

2016
[5]

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
[6]

Bounds on oscillatory integral operators based on multilinear estimates

Jean Bourgain and Larry Guth. Bounds on oscillatory integral operators based on multilinear estimates. Geom. Funct. Anal. , 21(6):1239--1295, 2011

2011
[7]

Some analytic problems related to statistical mechanics

Lennart Carleson. Some analytic problems related to statistical mechanics. In Euclidean harmonic analysis ( P roc. S em., U niv. M aryland, C ollege P ark, M d., 1979) , volume 779 of Lecture Notes in Math. , pages 5--45. Springer, Berlin, 1980

1979
[8]

A weighted formulation of refined decoupling and inequalities of M izohata- T akeuchi-type for the moment curve

Anthony Carbery, Zane Kun Li, Yixuan Pang, and Po-Lam Yung. A weighted formulation of refined decoupling and inequalities of M izohata- T akeuchi-type for the moment curve. J. Geom. Anal. , 36(2):Paper No. 48, 60, 2026

2026
[9]

On the refined S trichartz estimates

Ciprian Demeter. On the refined S trichartz estimates. arXiv:2002.095257, 2020

work page arXiv 2002
[10]

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

Pointwise convergence of S chr\"odinger solutions and multilinear refined S trichartz estimates

Xiumin Du, Larry Guth, Xiaochun Li, and Ruixiang Zhang. Pointwise convergence of S chr\"odinger solutions and multilinear refined S trichartz estimates. Forum Math. Sigma , 6:Paper No. e14, 18, 2018

2018
[12]

Lower bounds for estimates of the S chr\" o dinger maximal function

Xiumin Du, Jongchon Kim, Hong Wang, and Ruixiang Zhang. Lower bounds for estimates of the S chr\" o dinger maximal function. Math. Res. Lett. , 27(3):687--692, 2020

2020
[13]

l^p weighted F ourier restriction estimates, 2024

Xiumin Du, Jianhui Li, Hong Wang, and Ruixiang Zhang. l^p weighted F ourier restriction estimates, 2024

2024
[14]

New improvement to falconer distance set problem in higher dimensions, 2023

Xiumin Du, Yumeng Ou, Kevin Ren, and Ruixiang Zhang. New improvement to falconer distance set problem in higher dimensions, 2023

2023
[15]

Weighted refined decoupling estimates and application to F alconer distance set problem, 2023

Xiumin Du, Yumeng Ou, Kevin Ren, and Ruixiang Zhang. Weighted refined decoupling estimates and application to F alconer distance set problem, 2023

2023
[16]

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
[17]

K. J. Falconer. On the hausdorff dimensions of distance sets. Mathematika , 32(2):206–212, 1985

1985
[18]

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. Inventiones mathematicae , 219(3):779--830, 2020

2020
[19]

A restriction estimate using polynomial partitioning

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

2016
[20]

Restriction estimates using polynomial partitioning II

Larry Guth. Restriction estimates using polynomial partitioning II . Acta Math. , 221(1):81--142, 2018

2018
[21]

A weighted decoupling inequality and its application to the maximal B ochner- R iesz problem

Shengwen Gan and Shukun Wu. A weighted decoupling inequality and its application to the maximal B ochner- R iesz problem. J. Funct. Anal. , 289(3):Paper No. 110943, 23, 2025

2025
[22]

Weighted decoupling estimates and the B ochner- R iesz means

Jongchon Kim. Weighted decoupling estimates and the B ochner- R iesz means. Forum Math. Sigma , 13:Paper No. e167, 17, 2025

2025
[23]

Spherical averages of F ourier transforms of measures with finite energy; dimension of intersections and distance sets

Pertti Mattila. Spherical averages of F ourier transforms of measures with finite energy; dimension of intersections and distance sets. Mathematika , 34(2):207--228, 1987

1987
[24]

Fourier restriction in low fractal dimensions

Bassam Shayya. Fourier restriction in low fractal dimensions. Proc. Edinb. Math. Soc. (2) , 64(2):373--407, 2021

2021