Carleson operators on doubling metric measure spaces

Asgar Jamneshan; Christoph Thiele; Floris van Doorn; Lars Becker; Rajula Srivastava

REVIEW 3 major objections 3 minor 1 cited by

Carleson operators on doubling metric measure spaces

T0 review · 3 major / 3 minor · reviewed 2026-08-05 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read Axioms on modulation functions put Carleson operators under Lp control on every doubling metric measure space.

desk verdict A serious and substantially new axiomatic framework for Carleson operators on doubling spaces, backed by a Lean-verification claim, but the advertised examples are not actually checked and one load-bearing lemma is left unproved. read the letter →

arxiv 2508.05563 v1 pith:EYRZKRPG submitted 2025-08-07 math.CA

Lars Becker , Floris van Doorn , Asgar Jamneshan , Rajula Srivastava , Christoph Thiele This is my paper

classification math.CA MSC 42B2042B2543A85

keywords Carlesonoperatordoublingmetricmeasurespacemodulationfunctionsmaximallymodulatedsingularintegralsrestrictedweaktypeestimatestileandforestdecompositionone-sidedCalderón–Zygmundkernel

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

Maximally modulated singular integrals, the Carleson operators, have until now been understood mostly on Euclidean space, where modulation functions are polynomials. This paper replaces that algebraic structure by axioms: a compatible family of continuous modulation functions carrying a ball-dependent metric that controls their oscillation, and a cancellative axiom that supplies quantitative decay of oscillatory integrals. Under these axioms, plus an $L^2$ bound on the non-tangential maximal truncation of the kernel, the generalized Carleson operator satisfies restricted weak-type $(q,q)$ estimates for $1

What carries the argument

The machinery is a tile structure linking a dyadic grid on $X$ to a covering of the modulation space $\Theta$ by balls in the family of metrics $d_B$; tiles are then organized into forests (collections of trees where the modulation is effectively constant and separated) and antichains (almost orthogonal individual tiles). The cancellative axiom (1.7) is converted by a Hölder van der Corput estimate into the oscillatory decay needed for tile correlation, and the whole proof reduces to the forest and antichain operator estimates.

What would settle it

Take a ball $B$ in hyperbolic space, with $\Theta=\{\xi\cdot \rho(\cdot,x_0):\xi\in\mathbb{R}\}$ and $d_B$ the oscillation metric, and compute $\int_B e^{i(\xi-\eta)\rho(x,x_0)}\varphi(x)d\mu(x)$ for Lipschitz $\varphi$. The cancellative axiom requires decay $(1+|\xi-\eta|R)^{-1/a}$; if the true decay is slower, this modulation family violates (1.7). A more decisive falsifier would be a family satisfying all hypotheses but for which the restricted weak-type estimate (1.13) fails.

Watch

Extended reading notes

Core claim

The central claim is a conditional restricted weak-type theorem: on any doubling metric measure space, any cancellative compatible family of modulations, and any one-sided Calderón–Zygmund kernel with an $L^2$ bound on its non-tangential maximal truncation, the generalized Carleson operator satisfies $|\int_G Tf\,d\mu|\le 2^{443a^3}(q-1)^{-6}\mu(G)^{1-1/q}\mu(F)^{1/q}$ for $1<q\le2$, hence $L^q$ bounds for $1<q<2$. A linearized version weakens the hypothesis by fixing the modulation choice and truncating at the radius where the selected modulation remains close to a tile's modulation.

Load-bearing premise

The load-bearing premise is the cancellative axiom (1.7): for every ball and every pair of modulation functions, oscillatory integrals against Lipschitz test functions must decay at the polynomial rate $(1+d_B(\vartheta,\theta))^{-1/a}$; if some natural modulation class misses this rate, the conclusions of Theorem 1.1 do not follow.

Editorial extensions

If this is right

The classical Carleson-Hunt theorem is a special case: Euclidean line, Hilbert kernel, linear modulations, so almost-everywhere convergence of Fourier series in $L^2$ follows from the framework.
Known polynomial Carleson theorems, Stein-Wainger type modulations, and non-polynomial modulation classes are subsumed under one set of axioms with explicit constants.
Any doubling metric measure space admits a Carleson theorem once its modulation family is shown compatible and cancellative, opening the way to Carnot groups, manifolds with doubling measure, and fractal spaces.
The linearized version supplies the missing ingredient for a Walsh-Carleson-type deduction where only a selection-function-adapted $L^2$ bound is available.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

The cancellative axiom is probably not needed at full strength: the Hölder van der Corput step suggests that any polynomial decay rate in (1.7) would drive the same proof with worse constants.
A concrete payoff to test is the family of distance functions or Busemann functions in hyperbolic and CAT(0) spaces; checking the metric axioms (1.3)-(1.6) and the cancellative estimate (1.7) there would yield genuinely non-algebraic Carleson theorems.
The constants such as $2^{443a^3}$ are likely far from optimal; optimizing the dependence on $a$ and $q$, or proving a matching lower bound for a natural modulation family, would clarify how much the cancellative axiom costs.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Desk Editor's Note

read the letter

This paper is worth engaging with. What is genuinely new is the axiomatic setup: compatible and cancellative modulation classes defined through ball-dependent metrics, which lets the authors transfer the Fefferman–Lie–Zorin-Kranich tile/forest machinery from Euclidean space to doubling metric measure spaces. The main theorem is a clean conditional statement—restricted weak-type bounds for the generalized Carleson operator, assuming an L2 bound for the nontangential maximal operator—and the proof is modular, explicit about constants, and unusually readable for this kind of argument. The claim that the main theorems are computer-verified in Lean is a significant piece of evidence; if the sibling communication really covers these statements, that is about as strong a check as one can get in this area.

The soft spots are real but not fatal. First, the paper never verifies that any of the named examples—linear, polynomial, Walsh, Malmquist-Takenaka—actually satisfy the compatibility and cancellative axioms. That is a strange omission for a paper whose selling point is generalization. The Walsh case is the sharpest problem: Walsh modulations are step functions, not continuous, so they do not fall under the stated framework at all. The text mentions only a "possible deduction" of the Walsh theorem in a modified sense, which is honest but far from the abstract's suggestion that Walsh is covered as a special case. Second, Lemma 7.1, the Hölder-to-Lipschitz approximation lemma, is explicitly not proved and it is load-bearing for the van der Corput step. It looks like a standard quantitative approximation argument and is probably covered by the Lean formalization, but as written the English proof has a hole there. Lemma 6.6 is a minor version of the same issue and is not concerning.

Overall, I think the central argument is very likely correct. The gaps are in presentation and verification of scope, not in the architecture. The paper deserves a serious referee. The referee should be asked to make the examples claim precise, either by proving the axioms for the Euclidean polynomial modulations or by clearly stating which of the named examples are and are not covered. The authors should also either prove Lemma 7.1 or give a precise reference. With those fixes, this would be a strong and durable contribution.

Referee Report

3 major / 3 minor

Summary. The paper develops an axiomatic framework for maximally modulated singular integrals (Carleson operators) on doubling metric measure spaces. The main result, Theorem 1.1, is a restricted weak-type (q,q) estimate for a generalized Carleson operator T under three families of hypotheses: (i) a doubling metric measure space, (ii) a 'cancellative compatible' collection of continuous modulation functions satisfying oscillation and metric axioms (1.2)–(1.7), and (iii) an assumed L2 bound for a non-tangential maximal truncated singular integral T*. Theorem 1.2 is a linearized version with a weaker L2 hypothesis. The proof follows the Euclidean time-frequency analysis of Fefferman and Zorin-Kranich: tiles, trees, forests, antichains, density parameters, and a Hölder van der Corput estimate (Proposition 2.5). The paper claims that the main theorems have been computer-verified in Lean (sibling communication).

Significance. If the proof is completed, the paper makes a significant contribution by placing Carleson operators in a general metric-measure setting and by providing a modular, constant-explicit argument that is amenable to formal verification. The explicit constants and the conditional framing are strengths, and the claimed Lean formalization, if accurate, is a major independent check. However, the significance is currently tempered by two load-bearing gaps: an unproved Hölder-to-Lipschitz approximation lemma used in the pivotal van der Corput step, and the absence of any verified concrete modulation class satisfying the cancellative axiom (1.7). The advertised applications to classical Walsh and polynomial Carleson theorems are not established in this text.

major comments (3)

[Section 7, Lemma 7.1] Lemma 7.1 is the only bridge between the Lipschitz testing condition (1.7) and the Hölder-regular kernels used in Lemma 5.3 and Lemma 6.11. The paper states 'we will not prove here' and gives no reference. This lemma is load-bearing: without it, Proposition 2.5 (Hölder van der Corput) is unproved, and the tile correlation bound (5.6), the antichain estimate, and the separated-tree correlation (6.17) all fail. The authors must supply a proof or a precise citation. If the Lean formalization proves this lemma, the paper should say so explicitly and reproduce the argument.
[Section 1 (axioms (1.2)–(1.7) and examples)] The paper claims to generalize the classical Carleson theorem, Walsh–Carleson, and polynomial Carleson operators, but it does not verify that any of these modulation classes satisfies the 'cancellative compatible' axioms, especially the quantitative oscillatory estimate (1.7). In particular, Walsh modulations are step functions and are not continuous, so they cannot form a collection Θ as required. For polynomial modulations on Euclidean spaces, the cancellative axiom is a nontrivial van der Corput-type statement for Lipschitz test functions; no proof or reference is supplied. The main theorem is conditional, but without a single worked example the framework risks being empty. Please add at least one concrete modulation class satisfying (1.2)–(1.7), or explicitly refer to the sibling communication/blueprint where such verification is done.
[Section 6.2, Lemma 6.6] Lemma 6.6 (boundary overlap) is used in the proof of Lemma 6.5 to bound the operator S_{1,u}, and it is stated without proof ('we do not explicitly prove'). This is a simple finite-overlap counting argument, but for a paper that advertises machine-checked and modular proofs, every auxiliary lemma should be either proved or referenced. This is less severe than the Lemma 7.1 gap, but it is part of the same pattern of leaving auxiliary statements unproved.

minor comments (3)

[Throughout] Several typos and formatting issues should be corrected: 'Carleson opera tors' in the title header, 'singular intgral' in Section 1, 'preceeded' in the introduction, and an inconsistent use of 'S' for both the truncation parameter and the set in Section 6.5. These do not affect the mathematics.
[Section 2.1, Eq. (2.6)] The exponent in (2.6) is 2^{442a^3}, while the theorem states 2^{443a^3}. The iterative argument explains the extra factor, but it may help to state this explicitly to avoid confusion.
[Section 4.4, Lemma 4.12] In the proof of Lemma 4.12, the claim 'B(u) and B(u') are disjoint, but also B(u) ⊂ B(p) and B(u') ⊂ B(p)' appears to use the definition of B(p) from (4.6) and the relations 100p ≲ 100u. This is correct, but the notation B(p) is overloaded with B(c(p), r) elsewhere; a remark on notation would improve readability.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the main theorem is an explicit conditional statement, the proof applies its hypotheses directly, and the self-cited sibling formalization is machine-checked independent support.

full rationale

The derivation chain is not circular. Theorem 1.1 is explicitly conditional: it assumes the L2 bound (1.12) for the non-modulated maximal operator T* and proves the restricted weak-type estimate (1.13) for the modulated Carleson operator T. The proof of Theorem 1.2 uses the hypothesis (1.16) to control the nontangential operator T_N^ϑ via the comparison in Section 6.1 and equation (6.3); this is a direct application of the assumption, not a renamed consequence. Proposition 2.5 deduces the Hölder van der Corput estimate from the cancellative axiom (1.7) by means of Lemma 7.1. Lemma 7.1 is explicitly not proved ('which we will not prove here'), so the paper has a real proof gap; however, the lemma is a separate approximation statement, and its omission does not make Proposition 2.5's conclusion equal to the cancellative axiom by construction. The single self-citation to the sibling paper [BdFD+25] reports a Lean/mathlib formalization, which is machine-checked and therefore independent evidence rather than a self-referential assumption. The remark about a 'possible deduction' of the Walsh Carleson theorem is not presented as a consequence of the stated theorem, and the paper's definitions require continuous modulation functions, so the Walsh comment does not smuggle in an unverified example as a load-bearing premise. No fitted parameter is renamed as a prediction, no uniqueness theorem is imported from the authors, and no ansatz is hidden in a citation. The proof is self-contained in the sense that every estimate is traced to one of the stated axioms or hypotheses, with the sole caveat of the omitted proof of Lemma 7.1, which affects completeness but not circularity.

Assumptions & free parameters 0 free parameters · 10 assumptions · 0 invented entities

The central claims depend on the listed hypotheses: doubling condition, compatibility/cancellative axioms, one-sided kernel bounds, and the L2 hypothesis (1.12)/(1.16). The paper also uses Christ's grid construction and several standard analytic inequalities (John-Nirenberg, Hardy-Littlewood maximal) without proof. Two auxiliary lemmas (7.1, 6.6) are stated without proof.

assumptions (10)

domain assumption Doubling metric measure space axioms: complete, locally compact metric space with Borel measure satisfying µ(B(x,2R)) ≤ 2^a µ(B(x,R)).
Section 1, (1.1); ambient setting of the theorems.
domain assumption Compatibility axioms (1.2)-(1.6) for the modulation collection Θ, including the metric control of oscillation and the doubling/covering properties of the metrics.
Section 1; assumptions in Theorems 1.1 and 1.2.
domain assumption Cancellative axiom (1.7): oscillatory integrals of Lipschitz functions against e(ϑ−θ) decay like (1+d_B(ϑ,θ))^{-1/a}.
Section 1; key technical hypothesis used via Proposition 2.5.
domain assumption One-sided Calderón-Zygmund kernel bounds (1.8) and (1.9).
Section 1; assumption on the kernel in both theorems.
domain assumption L2 bound hypothesis (1.12) for T* (or (1.16) for T^ϑ_Q in Theorem 1.2).
Section 1; the theorems are conditional on this L2 bound.
standard math Christ's grid construction on doubling metric spaces (Lemma 3.1, cited [Chr90]).
Section 3; existence of the dyadic grid with small boundary property (2.11).
standard math Hardy-Littlewood maximal function boundedness on Lp for p>1 and weak L1 on doubling spaces.
Used in Sections 4.2, 5.1, 6.5; standard on doubling metric measure spaces.
standard math John-Nirenberg inequality for dyadic cubes (Lemma 4.4).
Used to bound exceptional sets in Section 4.2.
standard math Lipschitz-Holder approximation lemma (Lemma 7.1), stated without proof.
Section 7; called standard by the authors.
standard math Boundary overlap lemma (Lemma 6.6), stated without proof.
Section 6.2; claimed simple consequence of doubling.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Carleson operators on doubling metric measure spaces." pith.science (2026). https://pith.science/paper/EYRZKRPG

@misc{pith2026250805563,
  author       = {Pith},
  title        = {Pith review of: Carleson operators on doubling metric measure spaces},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/EYRZKRPG}},
  note         = {Machine review of arXiv:2508.05563}
}

abstract

Doubling metric measure spaces provide a natural framework for singular integral operators. In contrast, the study of maximally modulated singular integral operators, the so-called Carleson operators, has largely been limited to Euclidean space with modulation functions such as polynomials defined by algebraic means. We present a general axiomatic approach to modulation functions on doubling metric measure spaces and prove $L^p$ bounds for the corresponding Carleson operators in Theorem 1.1 and Theorem 1.2. This generalizes classical and modern results on Carleson operators. In addition to the proofs presented here, our main results have been computer verified using the language Lean and the library mathlib, as documented in the sibling communication arXiv:2405.06423.

Discussion (0). Sign in to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

Quantitative Polynomial Wiener-Wintner Theorems
math.DS 2026-01 conditional novelty 6.0 of 10

Polynomial-phase ergodic and singular-integral averages on homogeneous Lie groups satisfy uniform r-variation bounds for every r>2.

Reference graph

Works this paper leans on

7 extracted references · 4 canonical work pages · cited by 1 Pith paper

[1]

Benea, F

[BBL+24] C. Benea, F. Bernicot, V. Lie, and M. Vitturi. The non-resonant bilinear Hilbert-Carleson operator. Adv. Math., 458:Paper No. 109939, 136, 2024 (cited on page 6). [BdFD+25] L. Becker et al. A blueprint for the formalization of Carleson’s theorem on convergence of fourier series,

work page 2024
[5]

[Hun68] R

arXiv: 2411.01660 [math.CA] (cited on page 6). [Hun68] R. A. Hunt. On the convergence of Fourier series. In Orthogonal Expansions and their Continuous Analogues (Proc. Conf., Ed- wardsville, Ill.,

arXiv
[7]

J. Funct. Anal. , 285(10):Paper No. 110123, 19, 2023 (cited on page 6). [Lie09] V. Lie. The (weak- L2) boundedness of the quadratic Carleson operator. Geom. Funct. Anal. , 19(2):457–497, 2009 (cited on page 3). [Lie20] V. Lie. The polynomial Carleson operator. Ann. of Math. (2) , 192(1):47–163, 2020 (cited on pages 3, 6, 7). [LT00] M. Lacey and C. Thiele....

work page 2023
[242]

[Fef73] C

Springer-Verlag, Berlin-New York, 1971.´Etude de certaines int´ egrales singuli` eres (cited on page 2). [Fef73] C. Fefferman. Pointwise convergence of Fourier series. Ann. of Math. (2) , 98:551–571, 1973 (cited on pages 6, 7, 16). [GL24] A. Gaitan and V. Lie. Non-zero to zero curvature transition: operators along hybrid curves with no quadratic (quasi-)r...

work page 1971
[1967]

Southern Illinois Univ

, pages 235–255. Southern Illinois Univ. Press, Carbondale, IL, 1968 (cited on page 6). [KR22] B. Krause and J. Roos. Discrete analogues of maximally mod- ulated singular integrals of Stein-Wainger type. J. Eur. Math. Soc. (JEMS), 24(9):3183–3213, 2022 (cited on page 6). [KR23] B. Krause and J. Roos. Discrete analogues of maximally mod- ulated singular in...

work page 1968
[2023]

[Bil67] P

arXiv: 2312.01134 [math.CA] (cited on page 6). [Bil67] P. Billard. Sur la convergence presque partout des s´ eries de Fourier-Walsh des fonctions de l’espaceL2 (0, 1). Studia Math., 28:363–388, 1966/67 (cited on pages 3, 6). 48 REFERENCES [Car66] L. Carleson. On convergence and growth of partial sums of Fourier series. Acta Math., 116:135–157, 1966 (cited...

arXiv 1966
[2024]

[GPR+17] S

arXiv: 2402.03451 [math.CA] (cited on page 6). [GPR+17] S. Guo, L. B. Pierce, J. Roos, and P.-L. Yung. Polynomial Car- leson operators along monomial curves in the plane. J. Geom. Anal., 27(4):2977–3012, 2017 (cited on page 6). [GRY20] S. Guo, J. Roos, and P.-L. Yung. Sharp variation-norm esti- mates for oscillatory integrals related to Carleson’s theorem...

arXiv 2017

Pith tools

Reviewed August 5, 2026 · model on record in the stance chip above.

[1] [1]

Benea, F

[BBL+24] C. Benea, F. Bernicot, V. Lie, and M. Vitturi. The non-resonant bilinear Hilbert-Carleson operator. Adv. Math., 458:Paper No. 109939, 136, 2024 (cited on page 6). [BdFD+25] L. Becker et al. A blueprint for the formalization of Carleson’s theorem on convergence of fourier series,

work page 2024

[2] [5]

[Hun68] R

arXiv: 2411.01660 [math.CA] (cited on page 6). [Hun68] R. A. Hunt. On the convergence of Fourier series. In Orthogonal Expansions and their Continuous Analogues (Proc. Conf., Ed- wardsville, Ill.,

arXiv

[3] [7]

J. Funct. Anal. , 285(10):Paper No. 110123, 19, 2023 (cited on page 6). [Lie09] V. Lie. The (weak- L2) boundedness of the quadratic Carleson operator. Geom. Funct. Anal. , 19(2):457–497, 2009 (cited on page 3). [Lie20] V. Lie. The polynomial Carleson operator. Ann. of Math. (2) , 192(1):47–163, 2020 (cited on pages 3, 6, 7). [LT00] M. Lacey and C. Thiele....

work page 2023

[4] [242]

[Fef73] C

Springer-Verlag, Berlin-New York, 1971.´Etude de certaines int´ egrales singuli` eres (cited on page 2). [Fef73] C. Fefferman. Pointwise convergence of Fourier series. Ann. of Math. (2) , 98:551–571, 1973 (cited on pages 6, 7, 16). [GL24] A. Gaitan and V. Lie. Non-zero to zero curvature transition: operators along hybrid curves with no quadratic (quasi-)r...

work page 1971

[5] [1967]

Southern Illinois Univ

, pages 235–255. Southern Illinois Univ. Press, Carbondale, IL, 1968 (cited on page 6). [KR22] B. Krause and J. Roos. Discrete analogues of maximally mod- ulated singular integrals of Stein-Wainger type. J. Eur. Math. Soc. (JEMS), 24(9):3183–3213, 2022 (cited on page 6). [KR23] B. Krause and J. Roos. Discrete analogues of maximally mod- ulated singular in...

work page 1968

[6] [2023]

[Bil67] P

arXiv: 2312.01134 [math.CA] (cited on page 6). [Bil67] P. Billard. Sur la convergence presque partout des s´ eries de Fourier-Walsh des fonctions de l’espaceL2 (0, 1). Studia Math., 28:363–388, 1966/67 (cited on pages 3, 6). 48 REFERENCES [Car66] L. Carleson. On convergence and growth of partial sums of Fourier series. Acta Math., 116:135–157, 1966 (cited...

arXiv 1966

[7] [2024]

[GPR+17] S

arXiv: 2402.03451 [math.CA] (cited on page 6). [GPR+17] S. Guo, L. B. Pierce, J. Roos, and P.-L. Yung. Polynomial Car- leson operators along monomial curves in the plane. J. Geom. Anal., 27(4):2977–3012, 2017 (cited on page 6). [GRY20] S. Guo, J. Roos, and P.-L. Yung. Sharp variation-norm esti- mates for oscillatory integrals related to Carleson’s theorem...

arXiv 2017