pith. sign in

arxiv: 2605.19500 · v1 · pith:L24UIJD6new · submitted 2026-05-19 · 🧮 math.CA

The bilinear cone multiplier on mathbb{R}²times mathbb{R}²

Pith reviewed 2026-05-20 02:34 UTC · model grok-4.3

classification 🧮 math.CA
keywords bilinear cone multiplierL^p boundednesssquare functionsstrong maximal functionsgeometric estimatesHölder scalingFourier multiplierstwo-dimensional analysis
0
0 comments X

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.

The paper establishes L^{p1} times L^{p2} to L^p boundedness for a regularized version of the bilinear cone multiplier operator in two dimensions, provided the exponents satisfy the Hölder scaling condition. The argument rests on decomposing the bilinear operator into square functions built from linear cone multipliers and variants. Pointwise control of these square functions follows from strong maximal function estimates, while sharp L^4 bounds are obtained via geometric arguments of Córdoba and Carbery. A reader would care because such operators encode oscillatory integral behavior central to Fourier analysis and related PDE estimates.

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

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

  • 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

Figures reproduced from arXiv: 2605.19500 by Kalachand Shuin, Linfei Zheng, Luz Roncal, Saurabh Shrivastava.

Figure 1
Figure 1. Figure 1: Admissible region for (1/p1, 1/p2, λ) in Theorem 1.1. The piecewise surface represents the threshold conditions on λ arising from the different cases of the theorem; it is conjectured that the entire region above λ = 0 is admissible [PITH_FULL_IMAGE:figures/full_fig_p003_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: Scheme of proof of Theorem 1.1 Notation. Throughout the paper, we use standard notation. We write A ≲ B to indicate that A ≤ CB for some constant C > 0 independent of the main parameters, and A ≈ B if both A ≲ B and B ≲ A hold. The value of C may change from line to line [PITH_FULL_IMAGE:figures/full_fig_p004_2.png] view at source ↗
Figure 3
Figure 3. Figure 3: Decomposition of Ai where A0 := B(0,(δt) −1 ) ∩ Q4 and Ai :=  B(0,(δt) −1 2 i ) \ B(0,(δt) −1 2 i−1 )  ∩ Q4, i ≥ 1. For i ≥ 0, we further decompose Ai into − log(δt) almost rectangles {Ai,k} ⌊− log(δt)⌋+1 k=0 , where Ai,0 := Ai ∩ {y ∈ R 2 : |ty1 + y2| < 2 i−2 }, Ai,k := Ai ∩ {y ∈ R 2 : 2i+k−3 ≤ |ty1 + y2| < 2 i+k−2 }, for 1 ≤ k ≤ ⌊− log(δt)⌋, Ai,⌊− log(δt)⌋+1 := Ai ∩ {y ∈ R 2 : (δt) −1 2 i−2 ≤ |ty1 + y2|… view at source ↗
Figure 5
Figure 5. Figure 5: Decomposition of K Q1 j,t,k for any θ ∈ [0, 1]. It is enough to work with the kernel K µ j,tχQ1 =: K Q1 j,t , where Q1 = {y ∈ R 2 : y1, y2 ≥ 0} denotes the first quadrant in R 2 . Decompose the kernel (3.16) K Q1 j,t = X k≥1 K Q1 j,t,k + K Q1 j,t,0 , where K Q1 j,t,0 := K Q1 j,t χB(0,2 j ) and K Q1 j,t,k := K Q1 j,t χB(0,2 j+k)\B(0,2 j+k−1) . Let us first consider the term K Q1 j,t,0 . We decompose B(0, 2 … view at source ↗
Figure 6
Figure 6. Figure 6: The trapezoids X−2, X−1 and X0, and an illustration of S j 0 , j = 1, . . . , 2 2 We prove an L 4 estimate for the corresponding square function. The approach is motivated by [C´or81, Car83]. Proposition 6.1. There exists β > 0 such that for every ℓ ∈ N, the inequality [PITH_FULL_IMAGE:figures/full_fig_p019_6.png] view at source ↗
Figure 7
Figure 7. Figure 7: Summation over j and α where we used the Littlewood–Paley theorem and the boundedness of the strong maximal function. We illustrate the strategy of the summation above in [PITH_FULL_IMAGE:figures/full_fig_p021_7.png] view at source ↗
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.

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

1 major / 2 minor

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)
  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)
  1. [§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.
  2. [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

1 responses · 0 unresolved

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
  1. 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

0 steps flagged

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

0 free parameters · 2 axioms · 0 invented entities

The work rests on standard background from harmonic analysis and the cited geometric methods; no new free parameters or invented entities are introduced in the abstract.

axioms (2)
  • domain assumption Hölder scaling condition on the exponents p1, p2, p
    The boundedness is claimed precisely for exponents satisfying this relation, as stated in the abstract.
  • standard math Pointwise bounds for square functions via strong maximal functions hold for the linear cone multipliers
    Invoked as the first step in the decomposition approach described in the abstract.

pith-pipeline@v0.9.0 · 5657 in / 1338 out tokens · 42995 ms · 2026-05-20T02:34:47.025224+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

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

55 extracted references · 55 canonical work pages

  1. [1]

    Str\"omberg, Jan-Olov , TITLE =. Ann. of Math. (2) , FJOURNAL =. 1978 , NUMBER =. doi:10.2307/1971122 , URL =

  2. [2]

    , TITLE =

    Wolff, T. , TITLE =. Geom. Funct. Anal. , FJOURNAL =. 2000 , NUMBER =. doi:10.1007/PL00001652 , URL =

  3. [3]

    and Vargas, A

    Tao, T. and Vargas, A. , TITLE =. Geom. Funct. Anal. , FJOURNAL =. 2000 , NUMBER =. doi:10.1007/s000390050007 , URL =

  4. [4]

    Garrig\'os, Gustavo and Seeger, Andreas , TITLE =. Proc. Edinb. Math. Soc. (2) , FJOURNAL =. 2009 , NUMBER =. doi:10.1017/S001309150700048X , URL =

  5. [5]

    , TITLE =

    Bourgain, J. , TITLE =. Geometric aspects of functional analysis (. 1995 , ISBN =

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

    2025 , eprint=

    On the bilinear cone multiplier , author=. 2025 , eprint=

  8. [8]

    2408.17069 , archivePrefix=

    Kalachand Shuin , year=. 2408.17069 , archivePrefix=

  9. [9]

    Liu, Heping and Wang, Min , TITLE =. Proc. Amer. Math. Soc. , FJOURNAL =. 2020 , NUMBER =. doi:10.1090/proc/14819 , URL =

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

    Annals of Math

    de Leeuw, Karel , TITLE =. Annals of Math. , FJOURNAL =. 1965 , NUMBER =

  12. [12]

    Bose, Debashish and Madan, Shobha and Mohanty, Parasar and Shrivastava, Saurabh , TITLE =. Proc. Indian Acad. Sci. (Math. Sci.) , FJOURNAL =. 2009 , PAGES =

  13. [13]

    World Scientific publishing Co

    Blasco, \'Oscar , TITLE =. World Scientific publishing Co. Pte. Ltd., Hackensack, NJ , YEAR =

  14. [14]

    Duoandikoetxea, Fourier Analysis, vol

    Duoandikoetxea, Javier , TITLE =. 2001 , PAGES =. doi:10.1090/gsm/029 , URL =

  15. [15]

    On pointwise convergence of multilinear

    Danqing He and Kangwei Li and Jiqiang Zheng , year=. On pointwise convergence of multilinear. 2412.00296 , archivePrefix=

  16. [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. [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. [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. [19]

    Grafakos, Loukas and Li, Xiaochun , TITLE =. Amer. J. Math. , FJOURNAL =. 2006 , NUMBER =

  20. [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. [21]

    Indiana Univ

    Tao, Terence , TITLE =. Indiana Univ. Math. J. , FJOURNAL =. 1998 , NUMBER =. doi:10.1512/iumj.1998.47.1544 , URL =

  22. [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. [23]

    and Weiss, Guido , TITLE =

    Stein, Elias M. and Weiss, Guido , TITLE =. 1971 , PAGES =

  24. [24]

    2004 , ISSN =

    Grafakos, Loukas , TITLE =. 2004 , ISSN =

  25. [25]

    2014 , PAGES =

    Grafakos, Loukas , TITLE =. 2014 , PAGES =. doi:10.1007/978-1-4939-1230-8 , URL =

  26. [26]

    Mockenhaupt, Gerd , TITLE =. Proc. Amer. Math. Soc. , FJOURNAL =. 1993 , NUMBER =. doi:10.2307/2159709 , URL =

  27. [27]

    On almost everywhere convergence of planar

    Xiaochun Li and Shukun Wu , year=. On almost everywhere convergence of planar. 2407.20887 , archivePrefix=

  28. [28]

    Li, Xiaochun and Wu, Shukun , TITLE =. Math. Ann. , FJOURNAL =. 2020 , NUMBER =. doi:10.1007/s00208-020-02038-w , URL =

  29. [29]

    Lee, Sanghyuk and Vargas, Ana , TITLE =. J. Funct. Anal. , FJOURNAL =. 2012 , NUMBER =. doi:10.1016/j.jfa.2012.05.010 , URL =

  30. [30]

    and Seeger, Andreas , TITLE =

    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. [31]

    Lee, Sanghyuk , TITLE =. Anal. PDE , FJOURNAL =. 2018 , NUMBER =. doi:10.2140/apde.2018.11.1535 , URL =

  32. [32]

    Duke Math

    Lee, Sanghyuk , TITLE =. Duke Math. J. , FJOURNAL =. 2004 , NUMBER =. doi:10.1215/S0012-7094-04-12217-1 , URL =

  33. [33]

    Weighted decoupling estimates and the

    Jongchon Kim , year=. Weighted decoupling estimates and the. 2406.03741 , archivePrefix=

  34. [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. [35]

    Jeong, Eunhee and Lee, Sanghyuk and Vargas, Ana , TITLE =. Math. Ann. , FJOURNAL =. 2018 , NUMBER =. doi:10.1007/s00208-018-1696-6 , URL =

  36. [36]

    Jeong, Eunhee and Lee, Sanghyuk , TITLE =. J. Funct. Anal. , FJOURNAL =. 2020 , NUMBER =. doi:10.1016/j.jfa.2020.108629 , URL =

  37. [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. [38]

    Indiana Univ

    Heo, Yaryong , TITLE =. Indiana Univ. Math. J. , FJOURNAL =. 2009 , NUMBER =. doi:10.1512/iumj.2009.58.3553 , URL =

  39. [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. [40]

    Fefferman, Charles , TITLE =. Ann. of Math. (2) , FJOURNAL =. 1971 , PAGES =. doi:10.2307/1970864 , URL =

  41. [41]

    Christ, Michael , TITLE =. Proc. Amer. Math. Soc. , FJOURNAL =. 1985 , NUMBER =. doi:10.2307/2045566 , URL =

  42. [42]

    Choudhary, Surjeet Singh and Shrivastava, Saurabh , TITLE =. J. Geom. Anal. , FJOURNAL =. 2023 , NUMBER =. doi:10.1007/s12220-022-01122-8 , URL =

  43. [43]

    On pointwise convergence of cone multipliers , author=. J. Funct. Anal. , FJOURNAL=. 2025 , NUMBER =

  44. [44]

    Duke Math

    Carbery, Anthony , TITLE =. Duke Math. J. , FJOURNAL =. 1983 , NUMBER =

  45. [45]

    Geometric aspects of functional analysis (

    Bourgain, Jean , TITLE =. Geometric aspects of functional analysis (. 1995 , ISBN =

  46. [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. [47]

    Stein, E. M. , TITLE =. Harmonic analysis in. 1979 , ISBN =

  48. [48]

    and Meyer, Y

    Coifman, R. and Meyer, Y. , TITLE =. Ann. Inst. Fourier (Grenoble) , FJOURNAL =. 1978 , NUMBER =

  49. [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. [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. [51]

    Grafakos, Loukas and He, Danqing and Slav\'. Math. Ann. , FJOURNAL =. 2020 , NUMBER =. doi:10.1007/s00208-018-1794-5 , URL =

  52. [52]

    , TITLE =

    Grafakos, Loukas and Torres, Rodolfo H. , TITLE =. Adv. Math. , FJOURNAL =. 2002 , NUMBER =. doi:10.1006/aima.2001.2028 , URL =

  53. [53]

    C\'ordoba, Antonio , TITLE =. Ann. Inst. Fourier (Grenoble) , FJOURNAL =. 1982 , NUMBER =. doi:10.5802/aif.885 , URL =

  54. [54]

    C\'ordoba, Antonio , TITLE =. Rend. Circ. Mat. Palermo (2) , FJOURNAL =. 1981 , NUMBER =

  55. [55]

    2024 , PAGES =

    C\'ordoba, Antonio , TITLE =. 2024 , PAGES =