The bilinear cone multiplier on mathbb{R}²times mathbb{R}²
Pith reviewed 2026-05-20 02:34 UTC · model grok-4.3
The pith
A regularized bilinear cone multiplier on R^2 x R^2 is bounded from L^{p1} x L^{p2} to L^p for a broad range of Hölder exponents.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
We establish L^{p1}×L^{p2}→Lp boundedness for a regularized version of the bilinear cone multiplier operator over a broad range of exponents satisfying the Hölder scaling condition. The approach decomposes the bilinear operator into square functions associated with linear cone multipliers and their variants. Pointwise bounds for these square functions are derived via suitable strong maximal function estimates, and sharp L^4 bounds are obtained using geometric methods originating in the work of Córdoba and Carbery. The combination of these estimates yields the Lp boundedness for the bilinear cone multiplier.
What carries the argument
Decomposition of the bilinear cone multiplier into square functions associated with linear cone multipliers, which transfers pointwise bounds from maximal functions and geometric L^4 estimates.
If this is right
- The regularized operator satisfies the claimed mapping properties for all exponents obeying the Hölder relation.
- Pointwise bounds on the square functions follow from strong maximal function estimates.
- Sharp L^4 bounds are available from the geometric methods of Córdoba and Carbery.
- The estimates remain valid without introducing singularities beyond those already present in the linear case.
Where Pith is reading between the lines
- The same decomposition strategy could be tested on related bilinear multipliers whose symbols have similar conical singularities.
- If the regularization can be removed while preserving the estimates, the result would cover the unregularized operator.
- The geometric L^4 technique may extend to other square-function decompositions arising in higher-dimensional multiplier problems.
Load-bearing premise
The regularization permits a decomposition into square functions associated with linear cone multipliers such that pointwise bounds and geometric estimates carry over without new singularities or loss of mapping properties.
What would settle it
An explicit counterexample of an exponent triple satisfying the Hölder condition for which the regularized operator fails to map L^{p1}×L^{p2} into L^p, or a direct computation showing the square-function decomposition loses the required pointwise control.
Figures
read the original abstract
In this paper, we study the bilinear cone multiplier operator in two dimensions. We establish $L^{p_1}\times L^{p_2}\to L^{p}$ boundedness for a regularized version of this operator over a broad range of exponents satisfying the H\"older scaling condition. Our approach is based on a decomposition of the bilinear operator into square functions associated with linear cone multipliers and their variants. We derive pointwise bounds for these square functions via suitable strong maximal function estimates, and obtain sharp $L^4$ bounds using geometric methods originating in the work of C\'ordoba and Carbery. The combination of these estimates yields the $L^p$ boundedness for the bilinear cone multiplier.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper establishes L^{p_1} × L^{p_2} → L^p boundedness for a regularized version of the bilinear cone multiplier operator on R^2 × R^2, for a broad range of exponents satisfying the Hölder scaling condition 1/p = 1/p_1 + 1/p_2. The proof decomposes the bilinear operator into square functions associated with linear cone multipliers, derives pointwise bounds via strong maximal function estimates, and obtains sharp L^4 bounds using geometric methods of Córdoba and Carbery.
Significance. If the estimates close rigorously, the result advances the theory of bilinear multipliers with conical singularities by providing a systematic decomposition that preserves mapping properties. The approach builds directly on established linear theory and geometric L^4 techniques, offering a template that may extend to the unregularized operator; the explicit use of strong maximal functions and Córdoba-Carbery geometry is a clear strength.
major comments (1)
- [Main Theorem / §1] The central claim concerns only the regularized operator. The manuscript should clarify (e.g., in the statement of the main theorem) whether the constants are uniform in the regularization parameter and whether the limit as the parameter tends to zero recovers the original bilinear cone multiplier; without this, the result remains formally correct but its relation to the unregularized problem is not fully load-bearing for the stated conclusions.
minor comments (2)
- [§2] Notation for the regularization parameter and the associated square-function decomposition should be introduced with explicit definitions before the pointwise estimates are derived, to improve readability.
- [Theorem 1.1] The range of exponents is described as 'broad' and 'satisfying the Hölder scaling condition'; a precise statement of the admissible (p_1, p_2, p) region, including any endpoint exclusions, would strengthen the main theorem.
Simulated Author's Rebuttal
We thank the referee for the careful reading of the manuscript and the constructive comment. We address the point raised below and will incorporate the requested clarification in the revised version.
read point-by-point responses
-
Referee: [Main Theorem / §1] The central claim concerns only the regularized operator. The manuscript should clarify (e.g., in the statement of the main theorem) whether the constants are uniform in the regularization parameter and whether the limit as the parameter tends to zero recovers the original bilinear cone multiplier; without this, the result remains formally correct but its relation to the unregularized problem is not fully load-bearing for the stated conclusions.
Authors: We agree that the scope of the result relative to the unregularized operator merits explicit clarification. In the revised manuscript we will update the statement of the main theorem to indicate that the bounds hold for the regularized bilinear cone multiplier with fixed regularization parameter ε > 0, and that the implicit constants may depend on ε. We will also add a short remark noting that a limiting argument as ε → 0 to recover the original operator would require additional justification (for instance via approximation or density arguments) that lies outside the present work. This revision will make the precise contribution of the paper unambiguous while preserving the validity of the established estimates for the regularized case. revision: yes
Circularity Check
No significant circularity; derivation self-contained via external results
full rationale
The paper's central argument decomposes the regularized bilinear cone multiplier into square functions tied to linear cone multipliers, obtains pointwise bounds from strong maximal function estimates, and invokes geometric methods from the independent prior work of Córdoba and Carbery to reach the L^4 endpoint before combining estimates for the full range. These steps rely on standard maximal-function theory and externally established geometric facts rather than any quantity defined or fitted inside the present manuscript; the regularization is introduced explicitly to enable the decomposition without introducing new singularities or altering essential mapping properties. No equation reduces the target L^{p1}×L^{p2}→Lp bound to an input that is itself constructed from the paper's own fitted parameters or self-referential definitions, and the cited tools are independent of the current authors' prior results.
Axiom & Free-Parameter Ledger
axioms (2)
- domain assumption Hölder scaling condition on the exponents p1, p2, p
- standard math Pointwise bounds for square functions via strong maximal functions hold for the linear cone multipliers
Lean theorems connected to this paper
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
Our approach is based on a decomposition of the bilinear operator into square functions associated with linear cone multipliers... obtain sharp L^4 bounds using geometric methods originating in the work of Córdoba and Carbery.
-
IndisputableMonolith/Foundation/AbsoluteFloorClosure.leanabsolute_floor_iff_bare_distinguishability unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
We derive pointwise bounds for these square functions via suitable strong maximal function estimates
What do these tags mean?
- matches
- The paper's claim is directly supported by a theorem in the formal canon.
- supports
- The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
- extends
- The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
- uses
- The paper appears to rely on the theorem as machinery.
- contradicts
- The paper's claim conflicts with a theorem or certificate in the canon.
- unclear
- Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.
Reference graph
Works this paper leans on
-
[1]
Str\"omberg, Jan-Olov , TITLE =. Ann. of Math. (2) , FJOURNAL =. 1978 , NUMBER =. doi:10.2307/1971122 , URL =
-
[2]
Wolff, T. , TITLE =. Geom. Funct. Anal. , FJOURNAL =. 2000 , NUMBER =. doi:10.1007/PL00001652 , URL =
-
[3]
Tao, T. and Vargas, A. , TITLE =. Geom. Funct. Anal. , FJOURNAL =. 2000 , NUMBER =. doi:10.1007/s000390050007 , URL =
-
[4]
Garrig\'os, Gustavo and Seeger, Andreas , TITLE =. Proc. Edinb. Math. Soc. (2) , FJOURNAL =. 2009 , NUMBER =. doi:10.1017/S001309150700048X , URL =
- [5]
-
[6]
Accomazzo, Natalia and Di Plinio, Francesco and Hagelstein, Paul and Parissis, Ioannis and Roncal, Luz , TITLE =. Anal. PDE , FJOURNAL =. 2023 , NUMBER =. doi:10.2140/apde.2023.16.1651 , URL =
- [7]
- [8]
-
[9]
Liu, Heping and Wang, Min , TITLE =. Proc. Amer. Math. Soc. , FJOURNAL =. 2020 , NUMBER =. doi:10.1090/proc/14819 , URL =
-
[10]
Almost everywhere summability of
Carbery, Anthony and Rubio de Francia, Jos\'. Almost everywhere summability of. J. London Math. Soc. (2) , FJOURNAL =. 1988 , NUMBER =. doi:10.1112/jlms/s2-38.3.513 , URL =
-
[11]
de Leeuw, Karel , TITLE =. Annals of Math. , FJOURNAL =. 1965 , NUMBER =
work page 1965
-
[12]
Bose, Debashish and Madan, Shobha and Mohanty, Parasar and Shrivastava, Saurabh , TITLE =. Proc. Indian Acad. Sci. (Math. Sci.) , FJOURNAL =. 2009 , PAGES =
work page 2009
-
[13]
World Scientific publishing Co
Blasco, \'Oscar , TITLE =. World Scientific publishing Co. Pte. Ltd., Hackensack, NJ , YEAR =
-
[14]
Duoandikoetxea, Fourier Analysis, vol
Duoandikoetxea, Javier , TITLE =. 2001 , PAGES =. doi:10.1090/gsm/029 , URL =
-
[15]
On pointwise convergence of multilinear
Danqing He and Kangwei Li and Jiqiang Zheng , year=. On pointwise convergence of multilinear. 2412.00296 , archivePrefix=
-
[16]
and Shrivastava, Saurabh and Shuin, Kalachand , TITLE =
Jotsaroop, K. and Shrivastava, Saurabh and Shuin, Kalachand , TITLE =. Potential Anal. , FJOURNAL =. 2021 , NUMBER =. doi:10.1007/s11118-020-09870-4 , URL =
-
[17]
and Shrivastava, Saurabh and Shuin, Kalachand , TITLE =
Choudhary, Surjeet Singh and Jotsaroop, K. and Shrivastava, Saurabh and Shuin, Kalachand , TITLE =. J. Fourier Anal. Appl. , FJOURNAL =. 2023 , NUMBER =. doi:10.1007/s00041-023-10049-9 , URL =
-
[18]
Bhojak, Ankit and Choudhary, Surjeet Singh and Shrivastava, Saurabh , TITLE =. Math. Ann. , FJOURNAL =. 2025 , NUMBER =. doi:10.1007/s00208-024-02976-9 , URL =
-
[19]
Grafakos, Loukas and Li, Xiaochun , TITLE =. Amer. J. Math. , FJOURNAL =. 2006 , NUMBER =
work page 2006
-
[20]
Guth, Larry and Wang, Hong and Zhang, Ruixiang , TITLE =. Ann. of Math. (2) , FJOURNAL =. 2020 , NUMBER =. doi:10.4007/annals.2020.192.2.6 , URL =
-
[21]
Tao, Terence , TITLE =. Indiana Univ. Math. J. , FJOURNAL =. 1998 , NUMBER =. doi:10.1512/iumj.1998.47.1544 , URL =
-
[22]
On the cross-norm of the direct product ofC ∗-algebras.Tohoku Math
Sunouchi, Gen-ichir\^o , TITLE =. Tohoku Math. J. (2) , FJOURNAL =. 1967 , PAGES =. doi:10.2748/tmj/1178243254 , URL =
-
[23]
Stein, Elias M. and Weiss, Guido , TITLE =. 1971 , PAGES =
work page 1971
- [24]
-
[25]
Grafakos, Loukas , TITLE =. 2014 , PAGES =. doi:10.1007/978-1-4939-1230-8 , URL =
-
[26]
Mockenhaupt, Gerd , TITLE =. Proc. Amer. Math. Soc. , FJOURNAL =. 1993 , NUMBER =. doi:10.2307/2159709 , URL =
-
[27]
On almost everywhere convergence of planar
Xiaochun Li and Shukun Wu , year=. On almost everywhere convergence of planar. 2407.20887 , archivePrefix=
-
[28]
Li, Xiaochun and Wu, Shukun , TITLE =. Math. Ann. , FJOURNAL =. 2020 , NUMBER =. doi:10.1007/s00208-020-02038-w , URL =
-
[29]
Lee, Sanghyuk and Vargas, Ana , TITLE =. J. Funct. Anal. , FJOURNAL =. 2012 , NUMBER =. doi:10.1016/j.jfa.2012.05.010 , URL =
-
[30]
Lee, Sanghyuk and Rogers, Keith M. and Seeger, Andreas , TITLE =. Proc. Lond. Math. Soc. (3) , FJOURNAL =. 2012 , NUMBER =. doi:10.1112/plms/pdr067 , URL =
-
[31]
Lee, Sanghyuk , TITLE =. Anal. PDE , FJOURNAL =. 2018 , NUMBER =. doi:10.2140/apde.2018.11.1535 , URL =
-
[32]
Lee, Sanghyuk , TITLE =. Duke Math. J. , FJOURNAL =. 2004 , NUMBER =. doi:10.1215/S0012-7094-04-12217-1 , URL =
-
[33]
Weighted decoupling estimates and the
Jongchon Kim , year=. Weighted decoupling estimates and the. 2406.03741 , archivePrefix=
-
[34]
and Shrivastava, Saurabh , TITLE =
Jotsaroop, K. and Shrivastava, Saurabh , TITLE =. Adv. Math. , FJOURNAL =. 2022 , PAGES =. doi:10.1016/j.aim.2021.108100 , URL =
-
[35]
Jeong, Eunhee and Lee, Sanghyuk and Vargas, Ana , TITLE =. Math. Ann. , FJOURNAL =. 2018 , NUMBER =. doi:10.1007/s00208-018-1696-6 , URL =
-
[36]
Jeong, Eunhee and Lee, Sanghyuk , TITLE =. J. Funct. Anal. , FJOURNAL =. 2020 , NUMBER =. doi:10.1016/j.jfa.2020.108629 , URL =
-
[37]
Heo, Yaryong and Hong, Sunggeum and Yang, Chan Woo , TITLE =. Proc. Amer. Math. Soc. , FJOURNAL =. 2010 , NUMBER =. doi:10.1090/S0002-9939-09-10112-0 , URL =
-
[38]
Heo, Yaryong , TITLE =. Indiana Univ. Math. J. , FJOURNAL =. 2009 , NUMBER =. doi:10.1512/iumj.2009.58.3553 , URL =
-
[39]
A weighted decoupling inequality and its application to the maximal
Shengwen Gan and Shukun Wu , year=. A weighted decoupling inequality and its application to the maximal. 2403.05017 , archivePrefix=
-
[40]
Fefferman, Charles , TITLE =. Ann. of Math. (2) , FJOURNAL =. 1971 , PAGES =. doi:10.2307/1970864 , URL =
-
[41]
Christ, Michael , TITLE =. Proc. Amer. Math. Soc. , FJOURNAL =. 1985 , NUMBER =. doi:10.2307/2045566 , URL =
-
[42]
Choudhary, Surjeet Singh and Shrivastava, Saurabh , TITLE =. J. Geom. Anal. , FJOURNAL =. 2023 , NUMBER =. doi:10.1007/s12220-022-01122-8 , URL =
-
[43]
On pointwise convergence of cone multipliers , author=. J. Funct. Anal. , FJOURNAL=. 2025 , NUMBER =
work page 2025
- [44]
-
[45]
Geometric aspects of functional analysis (
Bourgain, Jean , TITLE =. Geometric aspects of functional analysis (. 1995 , ISBN =
work page 1995
-
[46]
Bernicot, Fr\'ed\'eric and Grafakos, Loukas and Song, Liang and Yan, Lixin , TITLE =. J. Anal. Math. , FJOURNAL =. 2015 , PAGES =. doi:10.1007/s11854-015-0028-y , URL =
-
[47]
Stein, E. M. , TITLE =. Harmonic analysis in. 1979 , ISBN =
work page 1979
-
[48]
Coifman, R. and Meyer, Y. , TITLE =. Ann. Inst. Fourier (Grenoble) , FJOURNAL =. 1978 , NUMBER =
work page 1978
-
[49]
Multilinear singular integrals with homogeneous kernels near
Dosidis, Georgios and Slavíková, Lenka , YEAR =. Multilinear singular integrals with homogeneous kernels near. Mathematische Annalen , ISSN =
-
[50]
Rough bilinear singular integrals , JOURNAL =
Grafakos, Loukas and He, Danqing and Honz\'. Rough bilinear singular integrals , JOURNAL =. 2018 , PAGES =. doi:10.1016/j.aim.2017.12.013 , URL =
-
[51]
Grafakos, Loukas and He, Danqing and Slav\'. Math. Ann. , FJOURNAL =. 2020 , NUMBER =. doi:10.1007/s00208-018-1794-5 , URL =
-
[52]
Grafakos, Loukas and Torres, Rodolfo H. , TITLE =. Adv. Math. , FJOURNAL =. 2002 , NUMBER =. doi:10.1006/aima.2001.2028 , URL =
-
[53]
C\'ordoba, Antonio , TITLE =. Ann. Inst. Fourier (Grenoble) , FJOURNAL =. 1982 , NUMBER =. doi:10.5802/aif.885 , URL =
-
[54]
C\'ordoba, Antonio , TITLE =. Rend. Circ. Mat. Palermo (2) , FJOURNAL =. 1981 , NUMBER =
work page 1981
- [55]
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.