pith. sign in

arxiv: 2605.17680 · v1 · pith:Y43DL2V3new · submitted 2026-05-17 · 🧮 math.CA · math.MG

On singular integrals with non-negative kernels in the Heisenberg group

Vasileios Chousionis , Sean Li , Lingxiao Zhang This is my paper

Pith reviewed 2026-05-19 21:57 UTC · model grok-4.3

classification 🧮 math.CA math.MG
keywords singular integral operatorsHeisenberg groupAhlfors regular setsrectifiabilitynonnegative kernelsL2 boundednessuniform rectifiability
0
0 comments X

The pith

L^2 boundedness of the K_4 singular integral on a 1-Ahlfors regular set in the Heisenberg group implies it lies in a 1-Ahlfors regular curve.

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 1-Ahlfors regular set E in the Heisenberg group has the singular integral operator with kernel K_4 bounded on L^2(E), then E must be contained in a 1-Ahlfors regular curve. Paired with an earlier converse result, this characterizes uniform 1-rectifiability using the boundedness of this operator. Additionally, it shows that kernels with smaller alpha fail to be bounded on some rectifiable curves and that certain unrectifiable sets can still admit bounded operators with other kernels.

Core claim

For a 1-Ahlfors regular set E in the first Heisenberg group, L^2(E)-boundedness of the singular integral operator with kernel K_4 implies that E is contained in a 1-Ahlfors regular curve. This, together with the converse, characterizes uniform 1-rectifiability via L^2 boundedness of a singular integral operator.

What carries the argument

The kernel K_4 = |z|^2 / ||(x,y,z)||_H^5 which is nonnegative and homogeneous of degree -5, whose boundedness properties detect rectifiability.

If this is right

  • Uniform 1-rectifiability of 1-Ahlfors regular sets is equivalent to the L^2-boundedness of the K_4 operator.
  • For any alpha in (0,2) there exist 1-Ahlfors regular curves on which the K_alpha operator fails to be L^2 bounded.
  • There exist 1-Ahlfors regular purely 1-unrectifiable sets for which the singular integral with kernel |x| / ||(x,y,z)||^2 is L^2 bounded.

Where Pith is reading between the lines

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

  • The result highlights the special role of the homogeneity degree 4 for obtaining the rectifiability implication in this setting.
  • Analogous characterizations could be sought in other Carnot groups using similar nonnegative kernels.
  • The construction of the unrectifiable set with bounded operator suggests that boundedness alone does not always detect rectifiability without additional assumptions.

Load-bearing premise

The set being 1-Ahlfors regular combined with the non-negativity and exact homogeneity of K_4 controls the maximal function and cancellation to yield the curve containment.

What would settle it

Observe a 1-Ahlfors regular set in the Heisenberg group not contained in any 1-Ahlfors regular curve on which the K_4 singular integral operator is nevertheless L^2 bounded.

Figures

Figures reproduced from arXiv: 2605.17680 by Lingxiao Zhang, Sean Li, Vasileios Chousionis.

Figure 1
Figure 1. Figure 1: FIGURE 1: Stage [PITH_FULL_IMAGE:figures/full_fig_p008_1.png] view at source ↗
read the original abstract

In this paper we revisit nonnegative kernels in the first Heisenberg group $\He$, and in particular we further study the family $$K_\alpha(x,y,z)= \frac{|z|^{\alpha/2}}{\|(x,y,z)\|_{H}^{\alpha+1}}, \quad \alpha>0,$$ which was introduced in \cite{CL}. We first show that if $E \subset \He$ is a $1$-Ahlfors regular set and the SIO associated with the kernel $K_4$ is $L^2(E)$-bounded, then $E$ is contained in a $1$-Ahlfors regular curve. Combined with the converse implication which was obtained by F\"assler and Orponen in \cite{FO1dim}, our result provides a characterization of uniform $1$-rectifiability in the Heisenberg group via the $L^2$-boundedness of a singular integral. We also give a negative answer to a question of F\"assler and Orponen from \cite{FO1dim} by showing that for any $\alpha \in (0,2)$ there exists a $1$-Ahlfors regular curve $E_a$ such that the operators associated with the kernels $K_\alpha$ are not bounded in $L^2(E_\alpha)$. We finally show that there exists a $1$-Ahlfors regular and purely $1$-unrectifiable set $E$ such that the singular integral associated with $|x| \|(x,y,z)\|^{-2}$ is $L^2(E)$ -bounded.

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 studies singular integral operators with nonnegative kernels in the Heisenberg group, focusing on the family K_α(x,y,z) = |z|^{α/2} / ||(x,y,z)||_H^{α+1}. It proves that if E ⊂ He is 1-Ahlfors regular and the SIO with kernel K_4 is L²(E)-bounded, then E lies in a 1-Ahlfors regular curve; combined with the converse from Fässler-Orponen, this yields a characterization of uniform 1-rectifiability. It also constructs, for each α ∈ (0,2), a 1-AR curve on which the K_α operator fails to be L²-bounded, and exhibits a 1-AR purely 1-unrectifiable set on which the operator with kernel |x| / ||(x,y,z)||² is L²-bounded.

Significance. If the claims hold, the work supplies a kernel-specific characterization of rectifiability in the Heisenberg group that parallels Euclidean positivity results while exploiting the precise homogeneity and non-negativity of K_4. The counter-examples for smaller α and the boundedness result on an unrectifiable set clarify the necessity of the homogeneity degree -1 and the role of the kernel, strengthening the geometric conclusions. The combination with an external prior result for the converse and the explicit constructions are strengths.

minor comments (2)
  1. In the abstract and introduction, the third result is stated with the kernel written as |x| ||(x,y,z)||^{-2}; a brief reminder of the precise homogeneity degree and the relation to the K_α family would improve readability for readers unfamiliar with the earlier notation.
  2. Section 2 (or the preliminaries) introduces the Heisenberg norm and the kernels; ensure that the definition of the associated maximal function is stated with the same constants used in the main estimates of §4.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of the manuscript and for recommending acceptance. The referee's summary accurately reflects the main results: the characterization of 1-rectifiability via L²-boundedness of the operator with kernel K₄, the negative results for α ∈ (0,2), and the boundedness example on a purely 1-unrectifiable set.

Circularity Check

0 steps flagged

No significant circularity in derivation chain

full rationale

The paper establishes a new implication: 1-Ahlfors regularity of E plus L^2(E)-boundedness of the K_4 singular integral operator implies E lies in a 1-Ahlfors regular curve. This rests on fresh analytic arguments exploiting non-negativity and exact homogeneity of K_4, together with an external converse result from Fässler-Orponen. The reference to CL merely introduces the kernel family K_alpha and carries no load-bearing role in the central claim or its proof. Counterexamples for alpha<2 and for the |x| kernel are constructed independently and confirm kernel-specificity. No step reduces a prediction or conclusion to a quantity defined by the paper's own inputs, fitted parameters, or self-referential normalizations; the derivation remains self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The paper relies on standard definitions and background results from geometric measure theory and harmonic analysis on the Heisenberg group; no new free parameters, ad-hoc axioms, or invented entities are introduced.

axioms (2)
  • standard math The Heisenberg group equipped with its standard Carnot-Carathéodory metric and group operation.
    Invoked as the ambient space throughout the statements and proofs.
  • standard math The definition of 1-Ahlfors regular sets and uniform rectifiability.
    Used as the hypothesis class for all three main theorems.

pith-pipeline@v0.9.0 · 5832 in / 1402 out tokens · 65679 ms · 2026-05-19T21:57:23.462304+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

22 extracted references · 22 canonical work pages

  1. [1]

    Chousionis, J

    V . Chousionis, J. Mateu, L. Prat, and X. Tolsa. Calderón-Zygmund kernels and rectifiability in the plane.Adv. Math., 231(1):535–568, 2012

    work page 2012

  2. [2]

    Nonnegative kernels and 1-rectifiability in the Heisenberg group.Anal

    Vasileios Chousionis and Sean Li. Nonnegative kernels and 1-rectifiability in the Heisenberg group.Anal. PDE, 10(6):1407–1428, 2017

    work page 2017

  3. [3]

    Singular integrals onC 1,α intrinsic graphs in step 2 Carnot groups.J

    Vasileios Chousionis, Sean Li, and Lingxiao Zhang. Singular integrals onC 1,α intrinsic graphs in step 2 Carnot groups.J. Geom. Anal., 35(12):Paper No. 380, 40, 2025

    work page 2025

  4. [4]

    Published for the Conference Board of the Mathematical Sciences, Washington, DC; by the American Mathematical Society, Providence, RI, 1990

    Michael Christ.Lectures on singular integral operators, volume 77 ofCBMS Regional Conference Series in Mathematics. Published for the Conference Board of the Mathematical Sciences, Washington, DC; by the American Mathematical Society, Providence, RI, 1990

    work page 1990

  5. [5]

    A new family of singular integral operators whoseL 2-boundedness implies rectifiability.J

    Petr Chunaev. A new family of singular integral operators whoseL 2-boundedness implies rectifiability.J. Geom. Anal., 27(4):2725–2757, 2017

    work page 2017

  6. [6]

    Singular integrals unsuitable for the curvature method whose L2-boundedness still implies rectifiability.J

    Petr Chunaev, Joan Mateu, and Xavier Tolsa. Singular integrals unsuitable for the curvature method whose L2-boundedness still implies rectifiability.J. Anal. Math., 138(2):741–764, 2019

    work page 2019

  7. [7]

    David and S

    G. David and S. Semmes. Singular integrals and rectifiable sets inR n: Beyond Lipschitz graphs.Astérisque, (193):152, 1991

    work page 1991

  8. [8]

    Opérateurs intégraux singuliers sur certaines courbes du plan complexe.Ann

    Guy David. Opérateurs intégraux singuliers sur certaines courbes du plan complexe.Ann. Sci. École Norm. Sup. (4), 17(1):157–189, 1984

    work page 1984

  9. [9]

    Singular integrals on regular curves in the Heisenberg group.J

    Katrin Fässler and Tuomas Orponen. Singular integrals on regular curves in the Heisenberg group.J. Math. Pures Appl. (9), 153:30–113, 2021

    work page 2021

  10. [10]

    On various Carleson-type geometric lemmas and uniform rectifiability in metric spaces: Part 1.Rev

    Katrin Fässler and Ivan Yuri Violo. On various Carleson-type geometric lemmas and uniform rectifiability in metric spaces: Part 1.Rev. Mat. Iberoam., 41(6):2003–2054, 2025

    work page 2003

  11. [11]

    Menger curvature and rectifiability in metric spaces.Adv

    Immo Hahlomaa. Menger curvature and rectifiability in metric spaces.Adv. Math., 219(6):1894–1915, 2008

    work page 1915

  12. [12]

    A nicely behaved singular integral on a purely unrectifiable set.Proc

    Petri Huovinen. A nicely behaved singular integral on a purely unrectifiable set.Proc. Amer . Math. Soc., 129(11):3345–3351, 2001

    work page 2001

  13. [13]

    Three revolutions in the kernel are worse than one.Int

    Benjamin Jaye and Fedor Nazarov. Three revolutions in the kernel are worse than one.Int. Math. Res. Not. IMRN, (23):7305–7317, 2018

    work page 2018

  14. [14]

    Markov convexity and nonembeddability of the Heisenberg group.Ann

    Sean Li. Markov convexity and nonembeddability of the Heisenberg group.Ann. Inst. Fourier (Grenoble), 66(4):1615–1651, 2016

    work page 2016

  15. [15]

    Melnikov, and Joan Verdera

    Pertti Mattila, Mark S. Melnikov, and Joan Verdera. The Cauchy integral, analytic capacity, and uniform recti- fiability.Ann. of Math. (2), 144(1):127–136, 1996

    work page 1996

  16. [16]

    Characterizations of intrinsic rectifiability in Heisenberg groups.Ann

    Pertti Mattila, Raul Serapioni, and Francesco Serra Cassano. Characterizations of intrinsic rectifiability in Heisenberg groups.Ann. Sc. Norm. Super . Pisa Cl. Sci. (5), 9(4):687–723, 2010. 14

    work page 2010

  17. [17]

    Melnikov and Joan Verdera

    Mark S. Melnikov and Joan Verdera. A geometric proof of theL 2 boundedness of the Cauchy integral on Lips- chitz graphs.Internat. Math. Res. Notices, (7):325–331, 1995

    work page 1995

  18. [18]

    Métriques de Carnot-Carathéodory et quasiisométries des espaces symétriques de rang un.Ann

    Pierre Pansu. Métriques de Carnot-Carathéodory et quasiisométries des espaces symétriques de rang un.Ann. of Math. (2), 129(1):1–60, 1989

    work page 1989

  19. [19]

    Ahlfors-regular curves in metric spaces.Ann

    Raanan Schul. Ahlfors-regular curves in metric spaces.Ann. Acad. Sci. Fenn. Math., 32(2):437–460, 2007

    work page 2007

  20. [20]

    Some topics of geometric measure theory in Carnot groups

    Francesco Serra Cassano. Some topics of geometric measure theory in Carnot groups. InGeometry, analy- sis and dynamics on sub-Riemannian manifolds. Vol. 1, EMS Ser. Lect. Math., pages 1–121. Eur. Math. Soc., Zürich, 2016

    work page 2016

  21. [21]

    Lusin approximation and horizontal curves in Carnot groups.Rev

    Gareth Speight. Lusin approximation and horizontal curves in Carnot groups.Rev. Mat. Iberoam., 32(4):1423– 1444, 2016

    work page 2016

  22. [22]

    Birkhäuser/Springer, Cham, 2014

    Xavier Tolsa.Analytic capacity, the Cauchy transform, and non-homogeneous Calderón-Zygmund theory, vol- ume 307 ofProgress in Mathematics. Birkhäuser/Springer, Cham, 2014. DEPARTMENT OFMATHEMATICS, UNIVERSITY OFCONNECTICUT Email address:vasileios.chousionis@uconn.edu DEPARTMENT OFMATHEMATICS, UNIVERSITY OFCONNECTICUT Email address:sean.li@uconn.edu DEPART...

    work page 2014