Local dyadic fractional Sobolev spaces: paraproducts, commutators, and the algebra property

Cody B. Stockdale; Mishko Mitkovski; Valentia Fragkiadaki

arxiv: 2603.26565 · v2 · submitted 2026-03-27 · 🧮 math.CA

Local dyadic fractional Sobolev spaces: paraproducts, commutators, and the algebra property

Valentia Fragkiadaki , Mishko Mitkovski , Cody B. Stockdale This is my paper

Pith reviewed 2026-05-14 23:02 UTC · model grok-4.3

classification 🧮 math.CA

keywords dyadic paraproductsfractional Sobolev spacesBMOCMOCarleson embeddingalgebra propertyHaar shiftcommutators

0 comments

The pith

Dyadic paraproducts on local fractional Sobolev spaces H^s are bounded and compact precisely when they meet new dyadic fractional BMO^s and CMO^s conditions defined via Sobolev capacity.

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

The paper establishes a characterization of boundedness and compactness for dyadic paraproducts acting on local dyadic fractional Sobolev spaces H^s. The conditions are expressed through newly introduced dyadic fractional BMO^s and CMO^s spaces that rely on the dyadic fractional Sobolev capacity. Using a new dyadic fractional Carleson embedding theorem, the authors show that these conditions imply the algebra property for H^s when s lies in (1/2, 1), so that the pointwise product of two functions in the space remains in the space. The same characterization yields boundedness and compactness results for commutators between functions in H^s and the Haar shift operator.

Core claim

Boundedness of a dyadic paraproduct on the local dyadic fractional Sobolev space H^s is equivalent to membership of the symbol in a new dyadic fractional BMO^s space defined using the dyadic fractional Sobolev capacity, while compactness corresponds to membership in the associated CMO^s space. The proof proceeds by establishing a dyadic fractional Carleson embedding theorem that controls the relevant testing conditions, and the resulting equivalences directly deliver the algebra property of H^s for s in (1/2, 1) together with the boundedness and compactness of Haar-shift commutators on the same spaces.

What carries the argument

The dyadic fractional BMO^s and CMO^s conditions, defined via the dyadic fractional Sobolev capacity, which serve as the precise testing conditions for paraproduct boundedness and compactness.

If this is right

The pointwise product of any two functions in H^s remains inside H^s whenever s belongs to (1/2, 1).
Commutators formed with the Haar shift operator are bounded and compact on H^s.
The fractional Carleson embedding theorem supplies uniform control over averages of |f|^2 weighted by dyadic intervals in these Sobolev spaces.

Where Pith is reading between the lines

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

The same capacity-based testing conditions may extend to characterize boundedness of other dyadic operators, such as maximal functions or additional Calderón-Zygmund kernels.
The local dyadic framework could serve as a model for obtaining algebra properties in global or non-dyadic fractional Sobolev spaces.
Compactness of the commutators may be useful for studying Fredholm properties of related operators on these spaces.

Load-bearing premise

The new dyadic fractional Carleson embedding theorem holds and correctly controls the integrals that appear in the paraproduct testing conditions.

What would settle it

A concrete dyadic paraproduct whose symbol satisfies the stated BMO^s condition but which fails to map H^s into itself for some s in (1/2, 1), or an explicit pair of functions in H^s whose product lies outside H^s.

read the original abstract

We characterize the boundedness and compactness of dyadic paraproducts on local dyadic fractional Sobolev spaces, $H^s$. We apply this result to establish the algebra property for $H^s$ when $s \in (\frac{1}{2},1)$ and to deduce the boundedness and compactness of commutators with the Haar shift on $H^s$. Our conditions are stated in terms of new dyadic fractional $\text{BMO}^s$ and $\text{CMO}^s$ conditions involving the dyadic fractional Sobolev capacity, and our proof uses a new dyadic fractional version of the Carleson embedding theorem.

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

New fractional BMO^s conditions via Sobolev capacity plus a fractional Carleson theorem let them characterize paraproduct boundedness on local H^s and get the algebra property for s in (1/2,1).

read the letter

The main thing here is that they define new dyadic fractional BMO^s and CMO^s using fractional Sobolev capacity, prove a matching Carleson embedding theorem, and apply both to characterize when dyadic paraproducts are bounded and compact on local H^s. From that they recover the algebra property for s between 1/2 and 1 plus boundedness and compactness of commutators with Haar shifts. The conditions are stated directly in terms of the new capacity-based objects rather than reducing to older integer-order versions. This looks like a clean extension of the dyadic program into the fractional setting. The algebra and commutator results follow in a straightforward way once the characterization is available, which is the part that will probably be most useful to people writing PDE estimates. The new Carleson theorem is the load-bearing piece, and the abstract presents it as independent rather than a minor tweak of the classical one. The soft spot is that the full proof of that theorem is not visible in the abstract, so it is hard to check for hidden restrictions on the range of s or on the constants. The restriction to s in (1/2,1) for the algebra property also feels specific; it would help to see whether the argument stops working below 1/2 or if that is just the range they needed. This paper is aimed at harmonic analysts who already work with dyadic paraproducts, BMO, and Carleson embeddings and who need fractional Sobolev versions for estimates. A reader comfortable with the integer-order dyadic theory will see what is new without much trouble. I would send it to peer review. The new conditions and the Carleson variant are genuine additions to the toolkit even if the proofs need some checking.

Referee Report

0 major / 0 minor

Summary. The manuscript claims to characterize the boundedness and compactness of dyadic paraproducts on local dyadic fractional Sobolev spaces H^s. It introduces new dyadic fractional BMO^s and CMO^s conditions defined via dyadic fractional Sobolev capacity, proves a new dyadic fractional Carleson embedding theorem, and applies these to establish the algebra property for H^s when s ∈ (1/2,1) as well as the boundedness and compactness of commutators with the Haar shift on H^s.

Significance. If the new Carleson embedding theorem and the associated characterizations hold, the work would supply concrete conditions for operator boundedness and compactness on these spaces and confirm the algebra property in the indicated range of s. This could serve as a reference point for further study of dyadic operators on fractional Sobolev spaces.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for reviewing our manuscript and for accurately summarizing its main contributions regarding the characterization of dyadic paraproducts on local dyadic fractional Sobolev spaces H^s, the introduction of dyadic fractional BMO^s and CMO^s conditions, the new Carleson embedding theorem, and the applications to the algebra property and commutator boundedness. We address the referee's summary point by point below.

read point-by-point responses

Referee: The manuscript claims to characterize the boundedness and compactness of dyadic paraproducts on local dyadic fractional Sobolev spaces H^s. It introduces new dyadic fractional BMO^s and CMO^s conditions defined via dyadic fractional Sobolev capacity, proves a new dyadic fractional Carleson embedding theorem, and applies these to establish the algebra property for H^s when s ∈ (1/2,1) as well as the boundedness and compactness of commutators with the Haar shift on H^s.

Authors: This is a precise summary of the manuscript. The characterizations of boundedness and compactness for the dyadic paraproducts are given in terms of the new dyadic fractional BMO^s and CMO^s conditions (defined using the dyadic fractional Sobolev capacity), the proof of the algebra property for s in (1/2,1) follows from these, and the commutator results with the Haar shift are deduced similarly. The new dyadic fractional Carleson embedding theorem is the key tool. We stand by these claims as stated and proven in the paper. revision: no

Circularity Check

0 steps flagged

No significant circularity; new definitions and theorem are independent

full rationale

The paper introduces new objects (dyadic fractional BMO^s, CMO^s via Sobolev capacity, and a new dyadic fractional Carleson embedding theorem) to characterize paraproduct boundedness/compactness on H^s, then derives the algebra property for s in (1/2,1) and commutator results. These steps rely on the newly stated conditions and theorem rather than reducing by construction to fitted inputs, self-citations, or prior ansatzes from the same authors. No load-bearing step collapses to a self-definition or renamed known result; the derivation chain remains self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 2 invented entities

The central claims rest on the correctness of the newly introduced dyadic fractional BMO^s conditions and the new fractional Carleson embedding theorem; these are the primary additions beyond standard Sobolev and dyadic harmonic analysis background.

axioms (1)

standard math Standard properties of dyadic decompositions and fractional Sobolev norms hold as in prior harmonic analysis literature.
The paper invokes known facts about Haar systems and capacity to define the new spaces.

invented entities (2)

dyadic fractional BMO^s no independent evidence
purpose: To state the precise condition for paraproduct boundedness on H^s.
New space defined in the paper using dyadic fractional Sobolev capacity.
dyadic fractional Carleson embedding theorem no independent evidence
purpose: To control the sums arising in the paraproduct estimates.
New version of the classical theorem adapted to the fractional dyadic setting.

pith-pipeline@v0.9.0 · 5413 in / 1480 out tokens · 75557 ms · 2026-05-14T23:02:33.441260+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

19 extracted references · 19 canonical work pages · 1 internal anchor

[1]

Actis and H

M. Actis and H. Aimar,Dyadic nonlocal diffusions in metric measure spaces, Fract. Calc. Appl. Anal. 18(2015), no. 3, 762–788. MR3351499

work page 2015
[2]

Aimar, B

H. Aimar, B. Bongioanni, and I. Gómez,On dyadic nonlocal Schrödinger equations with Besov initial data, J. Math. Anal. Appl.407(2013), no. 1, 23-34. MR3063102

work page 2013
[3]

Aimar, J

H. Aimar, J. Comesatti, I. Gómez, and L. Nowak,Partial derivatives, singular integrals and Sobolev Spaces in dyadic settings, Anal. Theory Appl.39(2023), 287–298. MR4645410

work page 2023
[4]

Alonso Ruiz and V

P. Alonso Ruiz and V. Fragkiadaki,Fractional Sobolev embeddings and algebra property: A dyadic view, J. Math. Anal. Appl.559(2026), no. 2, Paper No. 130536. MR5036513

work page 2026
[5]

,Dyadic fractional Sobolev spaces: Embeddings and algebra property, arXiv:2511.14877 (2025)

work page internal anchor Pith review Pith/arXiv arXiv 2025
[6]

J. M. Bony,Calcul symbolique et propagation des singularités pour les équations aux dérivées partielles non linéaires, Ann. Sci. École Norm.14(1981), 209-246. MR0631751

work page 1981
[7]

Coifman and Y

R. Coifman and Y. Meyer,Au-delà des opérateurs pseudo-diffèrentiels, Astérisque, 57, Société Math. de France, Paris, 1978, i+185 pp. MR0518170

work page 1978
[8]

R. R. Coifman and T. Murai,Commutators on the potential-theoretic energy spaces, Tohoku Math. J. (2)40(1988), no. 3, 397–407. MR0957051

work page 1988
[9]

Coifman and G

R. Coifman and G. Weiss,Extensions of Hardy spaces and their use in analysis, Bull. Amer. Math. Soc 83(1977), no. 4, 569–645. MR0447954

work page 1977
[10]

Di Plinio, A

F. Di Plinio, A. W. Green, and B. D. Wick,Multilinear paraproducts on Sobolev spaces, Boll. Unione Mat. Ital.18(2025), no. 1, 167–183. MR4871885

work page 2025
[11]

,Wavelet resolution and Sobolev regularity of Calderón-Zygmund operators on domains, arXiv:2304.13909 (2023)

work page arXiv 2023
[12]

J. B. Garnett and P. W. Jones,BMO from dyadic BMO, Pacific J. Math.99(1982), no. 2, 351–371. MR0658065

work page 1982
[13]

T. P. Hytönen,The sharp weighted bound for general Calderón-Zygmund operators, Ann. of Math. (2) 175(2012), no. 3, 1473–1506. MR2912709 22 V ALENTIA FRAGKIADAKI, MISHKO MITKOVSKI, AND CODY B. STOCKDALE

work page 2012
[14]

Kinnunen, J

J. Kinnunen, J. Lehrbäck, and A. Vähäkangas,Maximal Function Methods for Sobolev Spaces, American Mathematical Society, Providence, RI, 2021, xii+338 pp. MR4306765

work page 2021
[15]

Mei,BMO is the intersection of two translates of dyadic BMO, C

T. Mei,BMO is the intersection of two translates of dyadic BMO, C. R. Math. Acad. Sci. Paris336 (2003), no. 12, 1003–1006. MR1993970

work page 2003
[16]

Petermichl,Dyadic shifts and a logarithmic estimate for Hankel operators with matrix symbol, C

S. Petermichl,Dyadic shifts and a logarithmic estimate for Hankel operators with matrix symbol, C. R. Acad. Sci. Paris Sér. I Math.330(2000), no. 6, 455–460. MR1756958

work page 2000
[17]

,The sharp bound for the Hilbert transform on weighted Lebesgue spaces in terms of the classical Ap characteristic, Amer. J. Math.129(2007), no. 5, 1355–1375. MR2354322

work page 2007
[18]

Sarason,Functions of vanishing mean oscillation, Trans

D. Sarason,Functions of vanishing mean oscillation, Trans. Amer. Math. Soc.207(1975), 391–405. MR0377518

work page 1975
[19]

Wu,Strong type estimate and Carleson measures for Lipschitz spaces, Proc

Z. Wu,Strong type estimate and Carleson measures for Lipschitz spaces, Proc. Amer. Math. Soc.127 (1999), no. 11, 3243–3249. MR1637452 V alentia Fragkiadaki, School of Mathematical Sciences and Statistics, Clemson Univer- sity, Clemson, SC 29634, USA Email address:vfragki@clemson.edu Mishko Mitkovski, School of Mathematical Sciences and Statistics, Clemson...

work page 1999

[1] [1]

Actis and H

M. Actis and H. Aimar,Dyadic nonlocal diffusions in metric measure spaces, Fract. Calc. Appl. Anal. 18(2015), no. 3, 762–788. MR3351499

work page 2015

[2] [2]

Aimar, B

H. Aimar, B. Bongioanni, and I. Gómez,On dyadic nonlocal Schrödinger equations with Besov initial data, J. Math. Anal. Appl.407(2013), no. 1, 23-34. MR3063102

work page 2013

[3] [3]

Aimar, J

H. Aimar, J. Comesatti, I. Gómez, and L. Nowak,Partial derivatives, singular integrals and Sobolev Spaces in dyadic settings, Anal. Theory Appl.39(2023), 287–298. MR4645410

work page 2023

[4] [4]

Alonso Ruiz and V

P. Alonso Ruiz and V. Fragkiadaki,Fractional Sobolev embeddings and algebra property: A dyadic view, J. Math. Anal. Appl.559(2026), no. 2, Paper No. 130536. MR5036513

work page 2026

[5] [5]

,Dyadic fractional Sobolev spaces: Embeddings and algebra property, arXiv:2511.14877 (2025)

work page internal anchor Pith review Pith/arXiv arXiv 2025

[6] [6]

J. M. Bony,Calcul symbolique et propagation des singularités pour les équations aux dérivées partielles non linéaires, Ann. Sci. École Norm.14(1981), 209-246. MR0631751

work page 1981

[7] [7]

Coifman and Y

R. Coifman and Y. Meyer,Au-delà des opérateurs pseudo-diffèrentiels, Astérisque, 57, Société Math. de France, Paris, 1978, i+185 pp. MR0518170

work page 1978

[8] [8]

R. R. Coifman and T. Murai,Commutators on the potential-theoretic energy spaces, Tohoku Math. J. (2)40(1988), no. 3, 397–407. MR0957051

work page 1988

[9] [9]

Coifman and G

R. Coifman and G. Weiss,Extensions of Hardy spaces and their use in analysis, Bull. Amer. Math. Soc 83(1977), no. 4, 569–645. MR0447954

work page 1977

[10] [10]

Di Plinio, A

F. Di Plinio, A. W. Green, and B. D. Wick,Multilinear paraproducts on Sobolev spaces, Boll. Unione Mat. Ital.18(2025), no. 1, 167–183. MR4871885

work page 2025

[11] [11]

,Wavelet resolution and Sobolev regularity of Calderón-Zygmund operators on domains, arXiv:2304.13909 (2023)

work page arXiv 2023

[12] [12]

J. B. Garnett and P. W. Jones,BMO from dyadic BMO, Pacific J. Math.99(1982), no. 2, 351–371. MR0658065

work page 1982

[13] [13]

T. P. Hytönen,The sharp weighted bound for general Calderón-Zygmund operators, Ann. of Math. (2) 175(2012), no. 3, 1473–1506. MR2912709 22 V ALENTIA FRAGKIADAKI, MISHKO MITKOVSKI, AND CODY B. STOCKDALE

work page 2012

[14] [14]

Kinnunen, J

J. Kinnunen, J. Lehrbäck, and A. Vähäkangas,Maximal Function Methods for Sobolev Spaces, American Mathematical Society, Providence, RI, 2021, xii+338 pp. MR4306765

work page 2021

[15] [15]

Mei,BMO is the intersection of two translates of dyadic BMO, C

T. Mei,BMO is the intersection of two translates of dyadic BMO, C. R. Math. Acad. Sci. Paris336 (2003), no. 12, 1003–1006. MR1993970

work page 2003

[16] [16]

Petermichl,Dyadic shifts and a logarithmic estimate for Hankel operators with matrix symbol, C

S. Petermichl,Dyadic shifts and a logarithmic estimate for Hankel operators with matrix symbol, C. R. Acad. Sci. Paris Sér. I Math.330(2000), no. 6, 455–460. MR1756958

work page 2000

[17] [17]

,The sharp bound for the Hilbert transform on weighted Lebesgue spaces in terms of the classical Ap characteristic, Amer. J. Math.129(2007), no. 5, 1355–1375. MR2354322

work page 2007

[18] [18]

Sarason,Functions of vanishing mean oscillation, Trans

D. Sarason,Functions of vanishing mean oscillation, Trans. Amer. Math. Soc.207(1975), 391–405. MR0377518

work page 1975

[19] [19]

Wu,Strong type estimate and Carleson measures for Lipschitz spaces, Proc

Z. Wu,Strong type estimate and Carleson measures for Lipschitz spaces, Proc. Amer. Math. Soc.127 (1999), no. 11, 3243–3249. MR1637452 V alentia Fragkiadaki, School of Mathematical Sciences and Statistics, Clemson Univer- sity, Clemson, SC 29634, USA Email address:vfragki@clemson.edu Mishko Mitkovski, School of Mathematical Sciences and Statistics, Clemson...

work page 1999