arxiv: 2603.08446 · v2 · submitted 2026-03-09 · 🧮 math.CA · math.PR

Recognition: no theorem link

Cancellative sparse domination

Jos\'e M. Conde Alonso , Emiel Lorist , Guillermo Rey

Authors on Pith no claims yet

Pith reviewed 2026-05-15 14:09 UTC · model grok-4.3

classification 🧮 math.CA math.PR

keywords sparse dominationcancellative structuremartingale Hardy spacesweighted inequalitiesCalderón-Zygmund operatorslevel-set estimatesgeneral measure spaces

0 comments

The pith

A sparse domination principle that respects cancellation provides a characterization of the martingale H^1 norm and sharp weighted bounds for Calderón-Zygmund operators.

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

The paper establishes a general sparse domination principle that respects the cancellative structure of functions. This principle is applied to general measure spaces, one- and two-parameter martingale settings, and the Euclidean setting. A notable result is the sparse characterization of the H^1 norm in the one-parameter martingale case. The approach leads to new quantitatively sharp weighted results for martingales and Calderón-Zygmund operators on H^p spaces. Readers would care because it extends sparse techniques to settings where cancellation is key, potentially simplifying proofs of boundedness and weighted norm inequalities.

Core claim

We present a general sparse domination principle which respects the cancellative structure of the functions under study. We obtain sparse domination results in general measure spaces, including general martingale settings in one and two parameters, and in the Euclidean setting. In the one-parameter martingale setting, we obtain a sparse characterization of the H^1 norm. The proofs make critical use of precise level-set estimates for generalized versions of medians. Our results imply new, quantitatively sharp, weighted results for martingales and Calderón-Zygmund operators acting on H^p spaces.

What carries the argument

The cancellative sparse domination principle that uses precise level-set estimates for generalized medians to respect cancellation in the functions.

If this is right

Sparse characterization of the H^1 norm holds in one-parameter martingale settings.
New quantitatively sharp weighted results are obtained for martingales acting on H^p spaces.
New weighted results follow for Calderón-Zygmund operators on H^p spaces.
Sparse domination results hold in general measure spaces and two-parameter martingale settings.
The principle applies in the Euclidean setting as well.

Where Pith is reading between the lines

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

This method could extend to other operators that exploit cancellation, such as more general singular integrals.
It may unify treatments of one-parameter and multiparameter problems in analysis.
Verifying the median estimates in additional filtrations could produce new applications.
Connections to minimal assumptions for sparse domination in various spaces may be explored.

Load-bearing premise

Precise level-set estimates for generalized versions of medians must hold in the chosen measure spaces or filtrations.

What would settle it

A specific martingale filtration where the level-set estimates for generalized medians fail, yet a sparse characterization of the H^1 norm still holds, would challenge the necessity of those estimates.

read the original abstract

We present a general sparse domination principle which respects the cancellative structure of the functions under study. We obtain sparse domination results in general measure spaces, including general martingale settings in one and two parameters, and in the Euclidean setting. In the one-parameter martingale setting, we obtain a sparse characterization of the $H^1$ norm. The proofs make critical use of precise level-set estimates for generalized versions of medians. Our results imply new, quantitatively sharp, weighted results for martingales and Calder\'on-Zygmund operators acting on $H^p$ spaces.

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.

Desk Editor's Note private letter to a colleague

This extends sparse domination to respect cancellation via median level sets and gets a sparse H^1 characterization in one-parameter martingales.

read the letter

The main thing here is a cancellative sparse domination principle that works in general measure spaces, one- and two-parameter martingales, and Euclidean space. In the martingale case it produces a sparse characterization of the H^1 norm and some quantitatively sharp weighted bounds for Calderón-Zygmund operators on Hp spaces. They reach this by controlling level sets of generalized medians instead of the usual non-cancellative sparse forms. That step looks like the actual novelty and lets the domination keep the oscillation or sign information that standard sparse bounds lose. The generality without doubling or regularity assumptions is the part that stands out as useful if the estimates hold. The proofs rest directly on those median level-set bounds, so the whole argument is only as strong as that step. If the estimates go through uniformly in arbitrary filtrations, the claims follow cleanly and the weighted results are a direct payoff. The soft spot is exactly whether those estimates need any hidden conditions on the filtration, such as atomicity control or bounds on conditional expectations that might fail in some two-parameter or non-doubling settings. The abstract presents them as holding broadly, but a referee would need to see the explicit verification and any counterexamples where they break. This is for people already working with sparse methods in martingale or weighted harmonic analysis. A reader who knows the standard sparse domination literature will see the extension immediately and can check the median estimates against known examples. It shows clear engagement with the existing tools rather than circular fitting. I would bring it to the next reading group to walk through the median estimates. It deserves a serious referee because the claims are concrete enough to test and the setting is broad enough to matter for downstream work in PDEs and probability.

Referee Report

1 major / 2 minor

Summary. The paper introduces a general sparse domination principle that respects the cancellative structure of the underlying functions. It establishes sparse domination in general measure spaces, including one- and two-parameter martingale filtrations and the Euclidean setting. In the one-parameter martingale case it obtains a sparse characterization of the H^1 norm. The proofs rely on precise level-set estimates for generalized medians; these estimates are used to derive new, quantitatively sharp weighted bounds for martingales and Calderón-Zygmund operators acting on H^p spaces.

Significance. If the level-set estimates hold in the stated generality, the results would provide a meaningful extension of sparse-domination techniques to cancellative operators without doubling or regularity assumptions. The sparse characterization of the martingale H^1 norm and the implied weighted H^p estimates would be of interest to researchers working on martingale inequalities and singular integrals in non-standard settings.

major comments (1)

[Section containing the level-set estimates and the derivation of sparse domination] The precise level-set estimates for generalized medians are presented as critical to the derivation of the sparse domination inequality. The manuscript must supply a self-contained verification that these estimates hold uniformly for arbitrary filtrations (one- and two-parameter) without hidden atomicity or conditional-expectation bounds. If the estimates require additional structural hypotheses that fail for some filtrations, the claimed sparse characterization of H^1 and the weighted H^p results for Calderón-Zygmund operators would not extend to the full generality asserted in the abstract.

minor comments (2)

Notation for the generalized medians and the associated level sets should be introduced with a single consistent definition early in the paper rather than piecemeal.
The distinction between the one-parameter and two-parameter martingale results could be made more explicit in the statement of the main theorems.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading and constructive feedback. We appreciate the recognition of the potential significance of the results. We address the major comment below and will revise the manuscript accordingly to strengthen the presentation.

read point-by-point responses

Referee: [Section containing the level-set estimates and the derivation of sparse domination] The precise level-set estimates for generalized medians are presented as critical to the derivation of the sparse domination inequality. The manuscript must supply a self-contained verification that these estimates hold uniformly for arbitrary filtrations (one- and two-parameter) without hidden atomicity or conditional-expectation bounds. If the estimates require additional structural hypotheses that fail for some filtrations, the claimed sparse characterization of H^1 and the weighted H^p results for Calderón-Zygmund operators would not extend to the full generality asserted in the abstract.

Authors: We agree that the level-set estimates for generalized medians form the core of the argument and that their verification must be fully explicit. These estimates are derived in Section 3 from the definition of the generalized median and the monotonicity properties of the underlying measure, without invoking atomicity or extra bounds on conditional expectations. The one-parameter case is treated in Section 4 and the two-parameter case in Section 5 by direct substitution of the filtration into the general estimates; the arguments use only the tower property and the fact that conditional expectations preserve the relevant level sets. To eliminate any possible ambiguity, we will expand Section 3 with a dedicated subsection that verifies the estimates separately for arbitrary one-parameter and two-parameter filtrations, including an explicit remark confirming the absence of hidden structural hypotheses. This revision will make the self-contained character of the proofs unmistakable while preserving the claimed generality. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation rests on independent median estimates

full rationale

The paper derives sparse domination from precise level-set estimates on generalized medians that are stated as a critical new technical input required to hold in the target generality (arbitrary measure spaces and filtrations). No equations reduce the domination inequality to a tautology by construction, no fitted parameters are relabeled as predictions, and no load-bearing uniqueness theorems or ansatzes are imported solely via self-citation. The argument chain is presented as self-contained once the median estimates are granted, with the estimates themselves not shown to be equivalent to the final domination statements.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The work rests on standard measure-theoretic and martingale axioms plus the new median level-set estimates; no free parameters or invented entities are introduced.

axioms (1)

standard math Standard properties of sigma-finite measure spaces and filtrations
Invoked to set up the general martingale and Euclidean settings.

pith-pipeline@v0.9.0 · 5384 in / 1111 out tokens · 56942 ms · 2026-05-15T14:09:35.489791+00:00 · methodology