The reviewed record of science sign in
Pith

arxiv: 2606.26401 · v1 · pith:RAWN6VPW · submitted 2026-06-24 · math.CA · math.AP

A Tb type theorem for suppressed kernels

Marina Fern\`andez-Vilaseca This is my paper

Reviewed by Pith T0 review T1 audit T2 compute T3 formal T4 kernel 2026-06-26 00:39 UTCgrok-4.3pith:RAWN6VPWrecord.jsonopen to challenge →

classification math.CA math.AP
keywords Tb theoremCalderón-Zygmund operatorssuppressed kernelsnon-homogeneous measuressingular integralsL2 boundedness
0
0 comments X

The pith

A non-homogeneous Tb theorem holds for Calderón-Zygmund operators in any dimension even without antisymmetry.

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

The paper proves that if a Calderón-Zygmund singular integral operator satisfies suitable Tb testing conditions with respect to a Radon measure μ in R^d, then the operator is bounded on L2(μ). This extends an earlier result that covered only the planar Cauchy transform and required antisymmetry of the kernel. The argument adapts suppressed kernels to control the singularity, performs decompositions of functions in L2(μ), and uses averages over random choices of the operator to obtain the norm bound. A reader would care because the result supplies a concrete criterion for L2 boundedness that applies to a much wider class of measures and kernels than before.

Core claim

For any dimension d and any Calderón-Zygmund kernel that need not be antisymmetric, the Tb conditions on a measure μ and a test function b with |b| comparable to 1 imply that the associated operator T is bounded on L2(μ). The proof proceeds by introducing suppressed kernels to regularize the operator, obtaining suitable L2(μ) decompositions, and applying a probabilistic averaging argument over the family of operators.

What carries the argument

Suppressed kernels, which regularize the original singular kernel while preserving its size, smoothness, and cancellation properties.

If this is right

  • The operator T is bounded on L2(μ) whenever the Tb conditions hold.
  • The result applies in every dimension d ≥ 1.
  • Antisymmetry of the kernel is not required.
  • Probabilistic averaging over operators yields the L2 bound once the suppressed-kernel estimates are in hand.

Where Pith is reading between the lines

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

  • The same testing conditions might serve as a criterion for boundedness of related operators such as Riesz transforms on the same measures.
  • The method could be tested numerically on self-similar measures supported on Cantor sets in R^3 to check the size of the implied constant.
  • If the Tb conditions are verified for a kernel arising from a divergence-form elliptic operator, the theorem would give L2 solvability on the corresponding measure.

Load-bearing premise

The techniques of suppressed kernels, L2 decompositions, and probabilistic averaging extend from the planar antisymmetric case to general Calderón-Zygmund operators in R^d without new obstructions.

What would settle it

A concrete Calderón-Zygmund operator in dimension three, together with a non-homogeneous measure μ and a test function b satisfying the Tb conditions, for which the operator norm on L2(μ) is infinite.

Figures

Figures reproduced from arXiv: 2606.26401 by Marina Fern\`andez-Vilaseca.

Figure 1
Figure 1. Figure 1: The cube Q and supp(geR,S) are disjoint, whereas Q and Rb are not. Of course, the side length of S in this picture is bigger than it should be, that is, dist(S, ∂R), because of property 3 from the Whitney decomposition. This is due to legibility reasons. Going over the proof of Lemma 3.4, one can see that the same arguments apply in this case. Hence, we obtain that |⟨KΘ(∆1,Qf), geR,S⟩| ≤ c ℓ(Q) η 2 ℓ(Rb) η… view at source ↗
Figure 2
Figure 2. Figure 2: Once we fix Q ∈ Dtr,1 1 , the admissible cubes R ∈ D2 cannot be too far away from it. The same reasoning applies if instead of fixing Q ∈ Dtr,1 1 , we fix R ∈ Dtr,2 2 . Hence, by Cauchy￾Schwarz and Lemma 2.21, one way of proving the desired bound A ≤ c ∥f∥L2(µ)∥g∥L2(µ) would be to show that for all Q and R in the sum in (88), |⟨KΘ(∆1,Qf), ∆2,Rg⟩| ≤ c ∥∆1,Qf∥L2(µ)∥∆2,Rg∥L2(µ) . We can separate the right han… view at source ↗
Figure 3
Figure 3. Figure 3: The set ∆εa inside ∆. Now, we claim that for each ∆ and ∆e εa , there are numbers γj ∈ [bj , bj − ℓεa/2] such that the hyperrectangle ∆εa := x∆ + Y d j=1 [−γj , γj ], satisfies that there is some t∆,εa > 0, depending on εa and ∆, such that for any λ > 0, µ x ∈ ∆ : dist(x, ∂ ∆εa ) ≤ λ diam(∆εa   ≤ t∆,εaλµ(∆). (98) The existence of such a hyperrectangle ∆e εa ⊂ ∆εa ⊂ ∆ is justified by the following lemma,… view at source ↗
Figure 4
Figure 4. Figure 4: The definition of S∂. ∆εa P S P∂ S∂ [PITH_FULL_IMAGE:figures/full_fig_p065_4.png] view at source ↗
Figure 5
Figure 5. Figure 5: The sets P∂, S∂ and ∆εa inside ∆. Lemma 3.17. Let P, S, Q, R and ∆, ∆εa be as above. Then, we have, |⟨KΘ(χ∆∆1,Qf), χ∆εa∆2,Rg⟩| ≤ ca∥∆1,Qf∥L2(µ)∥∆2,Rg∥L2(µ) , where ca is a constant that depends on εa and on the constant α that we fixed in the last paragraph from Section 2.1, but neither on P nor on S. Remark 3.18. Before proving the lemma, we make two easy but useful observations. If Θ is as in Lemma 3.1, … view at source ↗
Figure 6
Figure 6. Figure 6: In dimension d = 2, the set δQ is shaded in blue. Now, fix any x ∈ R d and k ∈ Z. We denote by pε the probability, with respect to w ∈ Ω, that x ∈ δR for some R ∈ D(w) tr,2 and 2 k−m ≤ ℓ(R) ≤ 2 k+m, that is, pε = L d ({w ∈ Ω : ∃R ∈ D(w) tr,2 , 2 k−m ≤ ℓ(R) ≤ 2 k+m, x ∈ δR}) Ld(Ω) . (120) Let us now show how pε behaves as ε → 0 +. 78 [PITH_FULL_IMAGE:figures/full_fig_p078_6.png] view at source ↗
Figure 7
Figure 7. Figure 7: The point y = x1 mod 2 j and the intervals J, J−1. We claim that, up to the set of measure zero consisting of the 4 endpoints of the intervals, the set appearing in the second factor in (121) is J−1 ∪ J. Indeed, for any t ∈ J−1 ∪ J, there is a unique J t ∈ D1 0,j + t containing y, which will be separated no less than 2 N−3 ε from one of its endpoints (see [PITH_FULL_IMAGE:figures/full_fig_p079_7.png] view at source ↗
Figure 8
Figure 8. Figure 8: Jt is the dyadic interval from D1 0,j + t that contains x. This means that in this case we have that L 1 ({w1 ∈ [−2 N−4 , 2 N−4 ] : ∃ I ∈ D1 0,j + w1, x1 ∈ δI}) = L 1 (J−1 ∪ J0) = 2N−2 ε. If J is not completely contained inside [0, 2 N−4 ], by considering its periodic extension of period 2 N−4 and its intersection with [−2 N−4 , 2 N−4 ], we still obtain a set of L 1 -measure 2 N−4 ε (see [PITH_FULL_IMAGE:… view at source ↗
Figure 9
Figure 9. Figure 9: ). 0 2 − N−4 2 N−4 y J ∩ [PITH_FULL_IMAGE:figures/full_fig_p080_9.png] view at source ↗
Figure 10
Figure 10. Figure 10: The sets P0 and δP S inside P \ S. Using this way of writing P \ S as a disjoint union of two subsets, we have that each term |⟨KΨw (χP\S∆1,Qf), χS∆2,Rg⟩| appearing in the sum A1 is controlled by Z y∈P0  Z x∈S |ekΨw (x, y)| |∆1,Qf(y)| |∆2,Rg(x)| dµ(x)  dµ(y) + Z y∈δP S  Z x∈S |ekΨw (x, y)| |∆1,Qf(y)| |∆2,Rg(x)| dµ(x)  dµ(y) := I1 + I2. The bound for I1 is simple, due to the distance to the boundary of… view at source ↗
read the original abstract

In this article, a non-homogeneous $Tb$ type theorem for arbitrary dimensional Calder\'on-Zygmund singular integral operators is proved. This is an extension of an analogous non-homogeneous $Tb$ theorem for the Cauchy transform, in the planar setting, due to Nazarov, Treil and Volberg. The novelties of the present work are the change of dimension and the fact that the operators to which the theorem applies are not necessarily antisymmetric. The techniques used in the proof include, among others, suppressed kernels, decompositions in $L^2(\mu)$, where $\mu$ is a Radon measure in $\mathbb{R}^d$, and a probabilistic argument resulting from taking averages of the operators involved.

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 / 2 minor

Summary. The manuscript proves a non-homogeneous Tb-type theorem for Calderón-Zygmund singular integral operators acting on Radon measures in R^d. It extends the planar antisymmetric Cauchy-transform result of Nazarov-Treil-Volberg by removing the antisymmetry assumption and allowing arbitrary dimension. The argument relies on suppressed kernels, L^2(μ) decompositions, and probabilistic averaging over a family of operators.

Significance. If the extension is carried through without new obstructions, the result would supply a Tb theorem usable for general (non-antisymmetric) CZ kernels on non-homogeneous measures in any dimension. The combination of suppressed kernels with probabilistic averaging is a concrete technical contribution that could be applied to other non-homogeneous problems once the details are verified.

minor comments (2)
  1. The abstract states that the operators are 'not necessarily antisymmetric,' but the precise class of kernels (size, smoothness, and cancellation conditions) is not restated in the provided abstract; a self-contained statement of the kernel hypotheses would help readers compare with the NTV setting.
  2. The probabilistic averaging step is mentioned only at the level of the abstract; a brief indication of the probability space and how the averaging controls the non-antisymmetric part would clarify the novelty.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their summary of the manuscript, which correctly identifies the extension of the Nazarov-Treil-Volberg result to higher dimensions and non-antisymmetric kernels via suppressed kernels. No specific major comments appear under the MAJOR COMMENTS section of the report.

Circularity Check

0 steps flagged

No significant circularity; self-contained extension of external prior result

full rationale

The paper proves a non-homogeneous Tb theorem for general Calderón-Zygmund operators in R^d by extending the Nazarov-Treil-Volberg theorem (different authors) for the planar antisymmetric Cauchy transform. Techniques cited (suppressed kernels, L^2(μ) decompositions, probabilistic averaging) are presented as tools for the extension without any quoted equations or steps reducing the central claim to a self-definition, fitted parameter renamed as prediction, or load-bearing self-citation chain. The derivation is framed as building on an independent external theorem, with no internal reduction by construction detectable from the abstract or claim description.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Abstract-only; no free parameters, invented entities, or non-standard axioms are visible. The result rests on standard properties of CZ kernels and Radon measures.

axioms (1)
  • standard math Calderón-Zygmund kernel estimates and Radon measure properties in R^d
    Invoked implicitly in the statement of the theorem for arbitrary dimensional operators.

pith-pipeline@v0.9.1-grok · 5643 in / 1183 out tokens · 19339 ms · 2026-06-26T00:39:31.644716+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

16 extracted references · 8 canonical work pages

  1. [1]

    Ahlfors, L. V. , year=. Bounded analytic functions , volume=. Duke mathematical journal , publisher=. doi:10.1215/S0012-7094-47-01401-4 , number=

    work page doi:10.1215/s0012-7094-47-01401-4

  2. [2]

    and Verdera, J

    Melnikov, M.S. and Verdera, J. , title =. Internat. Math. Res. Notices , year =

  3. [3]

    , issn =

    Melnikov, M.S. , issn =. Analytic capacity: discrete approach and curvature of measure , volume =. Sbornik. Mathematics , number =

  4. [4]

    Tolsa, X. , year=. Painlevé’s problem and the semiadditivity of analytic capacity , volume=. Acta mathematica , publisher=. doi:10.1007/BF02393237 , number=

    work page doi:10.1007/bf02393237

  5. [5]

    Nazarov, and S

    F. Nazarov, and S. Treil and A. Volberg , title =. CRM preprint , number =

  6. [6]

    Tolsa, X. , year=. Analytic capacity, the Cauchy transform, and non-homogeneous Calderón-Zygmund theory , ISBN=

  7. [7]

    and Journé, J

    David, G. and Journé, J. and Semmes, S. , address=. Opérateurs de Calderón-Zygmund, fonctions para-accrétives et interpolation , volume=. Revista matemática iberoamericana , publisher=. 1985 , month=dec, pages=. doi:10.4171/RMI/17 , number=

    work page doi:10.4171/rmi/17 1985

  8. [8]

    , issn =

    Christ, M. , issn =. A T(b) theorem with remarks on analytic capacity and the Cauchy integral , volume =. Colloquium mathematicum , number =

  9. [9]

    Tolsa, X. , year=. L^2 -boundedness of the Cauchy integral operator for continuous measures , volume=. Duke mathematical journal , publisher=. doi:10.1215/S0012-7094-99-09808-3 , number=

    work page doi:10.1215/s0012-7094-99-09808-3

  10. [10]

    Acta mathematica , publisher=

    The Tb -theorem on non-homogeneous spaces , volume=. Acta mathematica , publisher=. doi:10.1007/BF02392690 , number=

    work page doi:10.1007/bf02392690

  11. [11]

    Volberg, A. , year=. Calderón-Zygmund capacities and operators on nonhomogeneous spaces , ISBN=

  12. [12]

    and Tolsa, X

    Nazarov, F. and Tolsa, X. and Volberg, A. , year=. The Riesz transform, rectificability, and removability for Lipschitz harmonic functions , volume=. Publicacions matemàtiques , publisher=. doi:10.5565/PUBLMAT_58214_26 , number=

    work page doi:10.5565/publmat_58214_26

  13. [13]

    Coifman, R. R. and Jones, Peter W. and Semmes, S. , issn =. Two elementary proofs of the L^2 boundedness of Cauchy integrals on Lipschitz curves , volume =. Journal of the American Mathematical Society , language =

  14. [14]

    and Mourgoglou, M

    Merlo, A. and Mourgoglou, M. and Puliatti, C. , title =

  15. [15]

    Tolsa, X. , year=. Cotlar’s inequality without the doubling condition and existence of principal values for the Cauchy integral of measures , volume=. Journal für die reine und angewandte Mathematik , publisher=. doi:10.1515/crll.1998.087 , number=

    work page doi:10.1515/crll.1998.087 1998

  16. [16]

    and Treil, S

    Nazarov, F. and Treil, S. and Volberg, A. , year=. Weak type estimates and Cotlar inequalities for Calderón-Zygmund operators on nonhomogeneous spaces , volume=. International Mathematics Research Notices , publisher=. doi:10.1155/S1073792898000312 , number=

    work page doi:10.1155/s1073792898000312