Hierarchical paraproducts
Oluwadamilola Fasina
TL;DR
An extension of paraproduct decompositions for compositions of the form A(f) is outlined, motivated by situations where one wishes to separate the singular and smooth components of such compositions in graph signal processing environments.
Abstract
We outline an extension of paraproduct decompositions for compositions of the form $A(f)$ where $A \in C^{d}(\mathbb{R}), f \in Λ_α([0,1]^d)$ developed in [arXiv:2503.12629] and [arXiv:2508.13322] to settings where $(A \in C^1(\mathbb{R}),f \in Λ_α(X))$ and $ (A \in C^2(\mathbb{R}),f \in Λ_α(X \times Y))$. To do so, we construct partition trees on $X$ and $X \times Y$ such that analysis with respect to scale is sensible. We obtain results resembling those of [arXiv:2503.12629] and [arXiv:2508.13322], but with the finite sets $X$ and $X \times Y $ as support. In particular we construct the paraproduct $Π_{A',A''}^{L,S}: f \to \tilde{A}_{L,S}(f) + Δ_{L,S}(A,f)$ such that $Δ_{L,S}(A,f) \in Λ_{2α}(X \times Y)$ and $\lVert Δ_{L,S}(A,f) \rVert_{Λ_{2α}(X \times Y)} \leq C_A \lVert f \rVert_{Λ_α(X \times Y)}$. Analogous results are obtained when the support is just one finite set, $X$. This extension is motivated by situations where one wishes to separate the singular and smooth components of such compositions in graph signal processing environments.