---
title: Davis–Garsia Decomposition
url: https://www.emergentmind.com/topics/davis-garsia-decomposition
type: topic
---

# Davis–Garsia Decomposition

Searching arXiv for relevant Davis–Garsia decomposition papers.
arXiv search query: "Davis Garsia decomposition Hardy martingales noncommutative biparameter"
The Davis–Garsia decomposition is a martingale splitting principle for Hardy martingales in which a given martingale \(F\) is written as \(F=G+B\), with \(G\) carrying the analytically structured, predictably controlled part of the process and \(B\) carrying an \(L^1\)-summable remainder. In the Hardy-martingale setting, the decomposition is distinguished from the general Davis decomposition by preserving analyticity of the increments, and it serves as the structural input for Davis–Garsia inequalities, extrapolation of martingale transforms, vector-valued extensions, dyadic perturbation estimates, noncommutative analogues, and more recent multiparameter variants [1504.06513].

## 1. Analytic setting and basic definitions

Let \(\mathbb T=\{e^{i\theta}:\theta\in[0,2\pi)\}\) be the unit circle with normalized arc-length measure \(m\). For a complex Banach space \(X\) and \(1\le p\le\infty\),
\[
L^p_0(\mathbb T,X)=\Bigl\{f\in L^p(\mathbb T,X):\int_{\mathbb T}f(\zeta)\,dm(\zeta)=0\Bigr\},
\]
and
\[
H^p_0(\mathbb T,X)=\{f\in L^p_0(\mathbb T,X): f\text{ extends holomorphically to }\{|z|<1\}\}.
\]
On \(\Omega=\mathbb T^\infty\) with product Haar measure, let \(\mathcal F_n=\sigma\{\omega_1,\dots,\omega_n\}\). An \(X\)-valued martingale \(F=(F_n)_{n\ge1}\subset L^1(\Omega,X)\) satisfies \(\mathbb E[F_n\mid \mathcal F_{n-1}]=F_{n-1}\). It is a vector-valued Hardy martingale if, for each \(n\) and each \(\mathcal F_{n-1}\)-atom \(\omega'\), the increment \(\Delta F_n=F_n-F_{n-1}\), viewed as a function of the \(n\)th coordinate, belongs to \(H^1_0(\mathbb T,X)\). In the scalar case \(X=\mathbb C\), one writes \(\Delta F_n(\omega)=f_n(\omega_1,\dots,\omega_{n-1},\omega_n)\) with \(f_n\in H^1_0(\mathbb T)\) [1504.06513].

For scalar martingales on \(\mathbb T^\mathbb N\), the norm structure used in the decomposition theory includes
\[
\|M\|_{L^1}=\mathbb E|M_n|,\qquad
\|M\|_{H^1}=\mathbb E\Bigl(\sum_{k=1}^n|\Delta M_k|^2\Bigr)^{1/2},
\]
\[
\|M\|_{\mathcal A}=\mathbb E\sum_{k=1}^n|\Delta M_k|,\qquad
\|M\|_{\mathcal P}=\mathbb E\Bigl(\sum_{k=1}^n\mathbb E_{k-1}|\Delta M_k|^2\Bigr)^{1/2}.
\]
In the same setting, a dyadic martingale is one whose coordinates are measurable with respect to the \(\sigma\)-algebra generated by the Rademacher functions \(\sigma_k(x)=\mathrm{sign}(\Re x_k)\) [1209.3964].

## 2. Scalar Davis–Garsia decomposition for Hardy martingales

For scalar Hardy martingales, the decomposition theorem yields Hardy martingales \(G\) and \(B\) such that
\[
F=G+B,
\]
with increment control
\[
|\Delta G_k|\le C_0\,|F_{k-1}|,
\]
and the conditional \(L^1\)-estimate
\[
|F_{k-1}|+\frac14\,\mathbb E_{k-1}|\Delta B_k|\le \mathbb E_{k-1}|F_k|.
\]
Consequently,
\[
\|B\|_{\mathcal A}+\|G\|_{\mathcal P}\le C\,\|F\|_{L^1},
\qquad
\|F\|_{H^1}\le C\,\|F\|_{L^1}.
\]
This form makes explicit the two complementary roles of the summands: \(G\) has predictable quadratic control, while \(B\) has summable increments in the \(\mathcal A\)-norm [1209.3964].

The proof is based on complex-analytic truncation. After freezing the past \((x_1,\dots,x_{k-1})\), one regards \(\Delta F_k\) as an \(H^1_0(\mathbb T)\)-function \(h\). One then stops complex Brownian motion on the unit disk when \(|h(B_t)|\) exceeds \(C_0|F_{k-1}|\), and defines a truncated increment
\[
g(e^{i\theta})=\mathbb E\bigl[h(B_\rho)\mid B_\tau=e^{i\theta}\bigr].
\]
This yields \(g\in H^\infty_0\), \(\|g\|_\infty\le C_0|F_{k-1}|\), and the one-variable estimate
\[
|F_{k-1}|+\tfrac14\int |h-g|\le \int |F_{k-1}+h|.
\]
After conditioning and iteration over \(k\), the increment bound for \(G\) and the telescoping estimate for \(B\) follow. The analyticity of the increments is preserved throughout because the truncation is carried out inside the Hardy class [1209.3964].

## 3. Vector-valued and strong forms

For general \(X\)-valued martingales, the original Davis decomposition guarantees
\[
\|\Delta G_n\|_X\le C\max_{k<n}\|F_k\|_X,
\qquad
\sum_n\|\Delta B_n\|_X\le C\,\sup_n\|F_n\|_X.
\]
In the Hardy-martingale setting, that construction is insufficient because it does not preserve analyticity. The vector-valued Hardy-martingale version remedies this by producing Hardy martingales \(G\) and \(B\) such that
\[
F_n=G_n+B_n,
\]
and, for \(1\le k\le N\),
\[
\|\Delta G_k\|_X\le 2\,\max_{j<k}\|F_j\|_X,
\qquad
\sum_{k=1}^N\|\Delta B_k\|_X\le C\,\|F_N\|_{L^1(\Omega,X)}.
\]
The construction proceeds by conditioning on \(\mathcal F_{k-1}\), freezing the first \(k-1\) coordinates, and splitting the Hardy increment \(h=\Delta F_k\in H^1_0(\mathbb T,X)\) as \(h=R+S\), with \(\|R\|_\infty\le 2\max_{j<k}\|F_j\|_X\) and \(\int\|S\|\) small; Doob’s projection in the last coordinate preserves analyticity and produces \(\Delta G_k=N(R)\), \(\Delta B_k=N(S)\) [1504.06513].

A stronger version replaces the running maximum by the immediately preceding value. Under the same hypotheses, one can split \(F=G+B\) into Hardy martingales such that
\[
\|\Delta G_k\|_X\le C\,\|F_{k-1}\|_X,
\qquad
\sum_{k=1}^N\|\Delta B_k\|_X\le C\,\|F\|_{L^1(\Omega,X)},
\]
where \(\|F\|_{L^1(\Omega,X)}=\mathbb E[\sup_n\|F_n\|_X]\), equivalently the \(L^1\)-norm of the terminal value. The key analytic input is a Havin-type splitting lemma: for every \(h\in H^1_0(\mathbb T,X)\) and every \(z\in X\), there exists \(g\in H^\infty_0(\mathbb T,X)\) such that
\[
\|g\|_\infty\le C\,\|z\|_X,
\]
and
\[
\|z\|_X+\tfrac18\!\int_{\mathbb T}\|h-g\|_X\,dm
\le
\int_{\mathbb T}\|z+h\|_X\,dm.
\]
Setting \(\Delta G_k=g\) and \(\Delta B_k=h-g\), the integral inequality telescopes in \(k\). This suggests that the strong decomposition is not merely a truncation statement but an analytic factorization principle tied to the geometry of \(H^1_0(\mathbb T,X)\) [1504.06513].

## 4. Passage to Davis–Garsia inequalities and extrapolation

Once a decomposition
\[
F=G+B
\]
is available with
\[
\|\Delta G_k\|\le A\,\|F_{k-1}\|,
\qquad
\sum_k\|\Delta B_k\|\le B\,\|F\|_1,
\]
the nonlinear telescoping device of Bourgain–Garsia–Wilson yields
\[
\Bigl\|\Bigl(\sum_k\|\Delta G_k\|^2\Bigr)^{1/2}\Bigr\|_{L^1}
+
\sum_k\|\Delta B_k\|_{L^1}
\le C\,\|F\|_{L^1}.
\]
In the scalar case this is the Davis–Garsia inequality. In the vector-valued setting, under the additional geometric hypothesis on \(X\) called property \((q)\), one obtains
\[
\Bigl\|\Bigl(\sum_k(\mathbb E_{k-1}\|\Delta G_k\|^q)^{2/q}\Bigr)^{1/2}\Bigr\|_{L^1}
+
\sum_k\|\Delta B_k\|_{L^1}
\le C_q\,\|F\|_{L^1},
\]
for \(2\le q<\infty\) [1504.06513].

The same decomposition underlies extrapolation of martingale transforms. For fixed signs \(\varepsilon_k=\pm1\), define
\[
T_\varepsilon(F)=\sum_k\varepsilon_k\,\Delta F_k.
\]
If square-integrable Hardy martingales \(Z\) satisfy an \(L^2\)-bound
\[
\|T_\varepsilon(Z)\|_{L^2}\le A_2\|Z\|_{L^2},
\]
then every integrable Hardy martingale \(F\) satisfies
\[
\|T_\varepsilon(F)\|_{L^1}\le C(A_2)\,\|F\|_{L^1}.
\]
The decomposition is therefore the mechanism that transfers \(L^2\) control of transforms to \(L^1\) control in the Hardy category [1504.06513].

## 5. Dyadic perturbations, small-increment embeddings, and distance phenomena

The decomposition is stable under dyadic perturbations. If \(F\) is a Hardy martingale and \(D\) is a dyadic martingale, then there exists a Hardy martingale \(G\), with \(B=F-G\), such that
\[
F=G+B,
\qquad
|\Delta G_k|\le C_0\,|F_{k-1}-D_{k-1}|,
\]
and
\[
|F_{k-1}-D_{k-1}|+\frac14\,\mathbb E_{k-1}|\Delta B_k|
\le
\mathbb E_{k-1}|F_k-D_k|.
\]
Hence
\[
\|B\|_{\mathcal A}\le C\,\|F-D\|_{L^1},
\qquad
\|T(G-D)\|_{\mathcal P}\le C\,\|F-D\|_{L^1}^{1/2}\,\|F-D\|_{H^1}^{1/2},
\]
and in particular
\[
\|G\|_{\mathcal P}\le C\bigl(\|F\|_{L^1}+\|D\|_{H^1}\bigr).
\]
This perturbative form is the basis for quantitative separation results between dyadic martingales and Hardy martingales [1209.3964].

One application specializes to \(D=\mathbb E_{\mathcal D}F\), the conditional expectation onto the dyadic \(\sigma\)-algebra. Then
\[
\|\mathbb E_{\mathcal D}F\|_{L^1}
\le
C\,\|F-\mathbb E_{\mathcal D}F\|_{L^1}^{1/8}\,\|F\|_{L^1}^{7/8},
\]
and hence
\[
\|F\|_{L^1}\le A_0\,\|F-\mathbb E_{\mathcal D}F\|_{L^1}.
\]
As a consequence, for every dyadic martingale \(M\),
\[
\inf_{F\in H^1}\|M-F\|_{L^1}\ge \delta\,\|M\|_{L^1},
\]
so dyadic martingales are uniformly far in \(L^1\) from the Hardy class. A further application transfers the estimate back to \(\mathbb T\), yielding an isomorphic embedding of \(L^1(\Sigma)\) into the quotient \(L^1(\mathbb T)/H^1_0(\mathbb T)\), and hence a realization of \(L^1\) as a complemented subspace of \(L^1/H^1\) [1209.3964].

A different application uses Maurey’s small-increment embedding. Any \(f\in H^1(\mathbb T,X)\) can be embedded into a Hardy martingale \(F\) on \(\mathbb T^\infty\) whose increments satisfy
\[
\|\Delta F_n\|\le \eta\,\sup_n\|F_n\|.
\]
By iterating that construction, an arbitrary Hardy martingale \(g\) on \(\mathbb T^\infty\) can be realized as a subsequence of another Hardy martingale \(G\) whose increments are uniformly small and predictable. This gives an alternative route to extrapolation bounds without splitting \(g=G+B\) [1504.06513].

## 6. Noncommutative algebraic and asymmetric variants

In the noncommutative setting, one works with a von Neumann algebra \((\mathcal M,\tau)\) equipped with an increasing filtration of von Neumann subalgebras \((\mathcal N_n)_{n\ge1}\), together with the corresponding \(\tau\)-preserving conditional expectations \(E_n:\mathcal M\to\mathcal N_n\). For a martingale \(x=(x_n)\), with differences \(d_n(x)=x_n-x_{n-1}\), the column and row Hardy-space quasi-norms are
\[
\|x\|_{H^c_p(\mathcal M)}
=
\Big\|\Big(\sum_{n\ge1}E_{n-1}|d_n(x)|^2\Big)^{1/2}\Big\|_{L_p(\mathcal M)},
\]
\[
\|x\|_{H^r_p(\mathcal M)}
=
\Big\|\Big(\sum_{n\ge1}E_{n-1}|d_n(x)^*|^2\Big)^{1/2}\Big\|_{L_p(\mathcal M)}.
\]
For \(1\le p<2\), the theory refines these spaces into conditioned and diagonal pieces, and the algebraic Davis decomposition gives complete quasi-isomorphisms
\[
H^c_p(\mathcal M)\simeq h^c_p(\mathcal M)+h^1_c(\mathcal M)\simeq h_p^{c,aa}(\mathcal M)+h_{1,c}^{aa}(\mathcal M),
\]
and likewise
\[
H^r_p(\mathcal M)\simeq h^r_p(\mathcal M)+h^1_r(\mathcal M)\simeq h_p^{r,aa}(\mathcal M)+h_{1,r}^{aa}(\mathcal M).
\]
Thus every \(x\in H^c_p(\mathcal M)\) splits as \(x=x_{\rm cond}+x_{\rm diag}\), with the two parts admitting single-atom factorizations [1507.02707].

A principal consequence is the asymmetric Davis–Garsia decomposition. For \(1<p<2\) and any \(x\in L_p(\mathcal M)\), there exist \(a,b\in L_p(\mathcal M)\) and contractions \(u_n,v_n\in\mathcal M\) such that
\[
E_n(x)=a\,u_n+v_n\,b,
\qquad
\max\{\|a\|_p,\|b\|_p\}\le C_p\,\|x\|_p.
\]
Moreover, \(a u_n\) and \(v_n b\) converge in the row and column Hardy spaces, respectively. At the endpoint \(p=1\), the results establish a noncommutative form of the comparison between martingale maximal and square functions in \(L_1\). The distinctive features here are the algebraic atomic descriptions, the asymmetric factorization of conditional expectations, and the use of Cuculescu projections together with weak-\(L_{p,\infty}\) spaces at the endpoint [1507.02707].

## 7. Biparameter analogue and the open reverse inequality

For a two-parameter filtration \(\{\mathcal F_{i,j}\}_{i,j\ge0}\) satisfying the Cairoli–Walsh \((F4)\)-condition, the martingale difference operator is
\[
\Delta_{i,j}F
=
E_{i,j}F+E_{i-1,j-1}F-E_{i-1,j}F-E_{i,j-1}F,
\]
so that
\[
F=\sum_{i,j\ge0}\Delta_{i,j}F.
\]
The natural biparameter square function and maximal function are
\[
S_2F=\Bigl(\sum_{i,j\ge0}|\Delta_{i,j}F|^2\Bigr)^{1/2},
\qquad
F^*=\sup_{i,j\ge0}|E_{i,j}F|,
\]
with Hardy-space quasi-norms \(\|F\|_{H^S_1}=E\,S_2F\) and \(\|F\|_{H^*_1}=E\,F^*\) [2509.23351].

In this setting, the one-parameter two-term splitting \(f=g+b\) is replaced by a four-part decomposition. If \(f_{i,j}=\Delta_{i,j}F\), there exist adapted fields \(\alpha_{i,j},\beta_{i,j},\gamma_{i,j},\delta_{i,j}\in\{0,1\}\) such that
\[
\alpha_{i,j}+\beta_{i,j}+\gamma_{i,j}+\delta_{i,j}=1,
\]
and
\[
\Delta_{i,j}F
=
\alpha_{i,j}\Delta_{i,j}F
+
\beta_{i,j}\Delta_{i,j}F
+
\gamma_{i,j}\Delta_{i,j}F
+
\delta_{i,j}\Delta_{i,j}F.
\]
Assembling the corresponding martingales \(A,B,C,D\), one obtains \(F=A+B+C+D\). The central quantitative estimate is
\[
E\!\sum_{i,j}|\Delta_{i,j}F|^2
\gtrsim
E\sum_{i,j}|\alpha_{i,j}\Delta_{i,j}F|
+
E\sum_{i,j}E_{i-1,j-1}\!\bigl|\beta_{i,j}\Delta_{i,j}F\bigr|^2
\]
\[
\qquad\qquad
+
E\!\sum_i\sum_jE_{\infty,j-1}\!\bigl|\gamma_{i,j}\Delta_{i,j}F\bigr|^2
+
E\!\sum_j\sum_iE_{i-1,\infty}\!\bigl|\delta_{i,j}\Delta_{i,j}F\bigr|^2.
\]
Each term is then handled by a different one-parameter argument, yielding
\[
E\,S_2F\gtrsim \|A\|_{H_1^*}+\|B\|_{H_1^*}+\|C\|_{H_1^*}+\|D\|_{H_1^*}\ge \|F\|_{H_1^*}.
\]
Thus the \(\gtrsim\) half of the two-parameter Davis inequality follows [2509.23351].

The reverse inequality remains open in full generality for \((F4)\) filtrations. The stated obstruction is that no single bi-parameter stopping time is known that simultaneously controls the full square function and the two one-parameter square functions. A proposed route is variational: one studies an \(\ell^p\)-square-function quotient and, via a gradient-form lemma, reduces the problem to a lower bound in \((H^S_1)^*\). Two possible approaches are identified: finite-model approximation and variational-embedding techniques. This suggests that, in the biparameter theory, the Davis–Garsia paradigm survives only after substantial structural modification, and that the precise analogue of the one-parameter reverse inequality remains a central open question [2509.23351].

Source: https://www.emergentmind.com/topics/davis-garsia-decomposition