Hoeffding decomposition in $H^1$ spaces

TL;DR

This paper investigates the boundedness of projection operators in various Hardy spaces, extending known results to endpoint cases in $H^1$ spaces and martingale Hardy spaces, with implications for harmonic analysis.

Contribution

It proves boundedness of projections in $H^1$ and martingale Hardy spaces, extending Bourgain and Kwapień's results to endpoint and analytic function settings.

Findings

Boundedness of $P_{ ext{leq } m}$ in $H^1( ext{D}^ ext{infty})$

Boundedness of $P_{ ext{leq } 2}$ in martingale Hardy spaces

Introduction of a multiple indexed martingale Hardy space containing $H^1( ext{D}^ extinfty)$

Abstract

The well known result of Bourgain and Kwapie\'n states that the projection $P_{\leq m}$ onto the subspace of the Hilbert space $L^2\left(\Omega^\infty\right)$ spanned by functions dependent on at most $m$ variables is bounded in $L^p$ with norm $\leq c_p^m$ for $1<p<\infty$. We will be concerned with two kinds of endpoint estimates. We prove that $P_{\leq m}$ is bounded on the space $H^1\left(\mathbb{D}^\infty\right)$ of functions in $L^1\left(\mathbb{T}^\infty\right)$ analytic in each variable. We also prove that $P_{\leq 2}$ is bounded on the martingale Hardy space associated with a natural double-indexed filtration and, more generally, we exhibit a multiple indexed martingale Hardy space which contains $H^1\left(\mathbb{D}^\infty\right)$ as a subspace and $P_{\leq m}$ is bounded on it.

Equations

$${\Vert \sum _i{c}_i{r}_i\Vert }_{L^p}{\simeq }_p{\left(\sum _i{\left|c_i\right|}^2\right)}^{\frac{1}{2}}$$

$$w_A=\prod _{i\in A}{r}_i.$$

$${\Vert \sum _{|A|\le m}{c}_A{w}_A\Vert }_{L^p}{\simeq }_{p,m}{\left(\sum _{|A|\le m}{\left|c_A\right|}^2\right)}^{\frac{1}{2}}$$

$$f(x)=\sum _m\sum _{i_1<\dots <i_m}{f}_{i_1,\dots ,i_m}\left(x_{i_1},\dots ,x_{i_m}\right)$$

$$P_{\left\{i_1,\dots ,i_m\right\}}f(x)=f_{i_1,\dots ,i_m}\left(x_{i_1},\dots ,x_{i_m}\right),P_m=\sum _{|A|=m}{P}_A$$

$${\Vert \sum _{|A|\le m}{P}_{A}f\Vert }_{L^p}{\simeq }_{p,m}{\Vert {\left(\sum _{|A|\le m}{\left|P_{A}f\right|}^2\right)}^{\frac{1}{2}}\Vert }_{L^p},$$

$$\Vert f\Vert :=\mathbb{E}{\left(\sum _i{\left|\sum _{A\in {\mathcal{A}}_i}{P}_{A}f\right|}^2\right)}^{\frac{1}{2}}$$

$${\Vert \sum _{n=1}^N{b}_n{n}^{-s}\Vert }_{{\mathcal{H}}^1}:=\underset{T\to \infty }{\lim }\frac{1}{2T}{\int }_{-T}^T\left|\sum _{n=1}^N{b}_n{n}^{-it}\right|\mathrm{d}t.$$

$$H_{\mathrm{all}}^1\left({\mathbb{T}}^{\infty }\right)\ni \sum _{k\in {\mathbb{N}}^{\oplus \mathbb{N}}}{a}_k{\mathrm{e}}^{i⟨k,t⟩}\mapsto \sum _{n\in \mathbb{N}}{b}_n{n}^{-s}\in {\mathcal{H}}^1$$

$$\overline{\mathrm{span}}\left\{n^{-s}:n\text{ has at most }m\text{ prime factors}\right\}\subset {\mathcal{H}}^1$$

$${\mathbb{E}}_{k}f\left(x\right)={\int }_{{\Omega }^{[k+1,\infty )}}f\left(x_1,\dots ,x_k,y_{k+1},y_{k+2},\dots \right)\mathrm{d}{\mu }^{\otimes [k+1,\infty )}(y),$$

$${\mathbb{E}}_{A}f(x)={\int }_{{\Omega }^{\mathbb{N}\setminus A}}f\left(x_A,y_{\mathbb{N}\setminus A}\right)\mathrm{d}{\mu }^{\otimes \mathbb{N}\setminus A}(y)$$

$$\left(\underset{k}{⨂}{f}_k\right)(x)=\prod _k{f}_k\left(x_k\right).$$

$$\left(\underset{k}{⨂}{T}_k\right)\left(\underset{k}{⨂}{f}_k\right)=\underset{k}{⨂}{T}_k{f}_k,$$

$$\Vert \underset{k}{⨂}{T}_k:\underset{k}{⨂}{X}_k\to L^p\left(\prod _k{\Omega }_k\right)\Vert \le \prod _k\Vert T_k:X_k\to L^p\left({\Omega }_k\right)\Vert$$

$$\hat{f}(n)={\int }_{{\mathbb{T}}^{\mathbb{N}}}f\left(x\right){\mathrm{e}}^{-i{\sum }_{k\in \mathbb{N}}{n}_k{x}_k}\mathrm{d}{\mu }^{\otimes \mathbb{N}}(x).$$

$$\Vert F{\Vert }_{H^1\left({\mathbb{D}}^N\right)}=\underset{0<r_1,\dots ,r_n<1}{\sup }{\int }_{{\mathbb{T}}^N}\left|F\left(r_1{\mathrm{e}}^{i{t}_1},\dots ,r_n{\mathrm{e}}^{i{t}_N}\right)\right|\frac{\mathrm{d}t}{{\left(2\pi \right)}^N}$$

$$H_{\mathrm{all}}^1\left({\mathbb{T}}^N\right)=\overline{\mathrm{span}}\left\{{\mathrm{e}}^{i⟨n,t⟩}:n_1,\dots ,n_N\ge 0\right\}\subset L^1\left({\mathbb{T}}^N\right).$$

$$H_{\mathrm{last}}^1\left({\mathbb{T}}^{\mathbb{N}}\right)=H_{1\mathrm{last}}^1\left({\mathbb{T}}^{\mathbb{N}}\right)=\overline{\mathrm{span}}\left\{{\mathrm{e}}^{i⟨n,t⟩}:n_{i_0}>0\text{ for }{i}_0=\max \left\{i:n_i\ne 0\right\}\right\}\subset L^1\left({\mathbb{T}}^{\mathbb{N}}\right),$$

$$H_{m\mathrm{last}}^1\left({\mathbb{T}}^{\mathbb{N}}\right)=\overline{\mathrm{span}}\left\{{\mathrm{e}}^{i⟨n,t⟩}:m\text{ last of nonzero }{n}_i\text{’s are }>0\right\}\subset L^1\left({\mathbb{T}}^{\mathbb{N}}\right).$$

$$Sf={\left(\sum _{n=0}^{\infty }{\left|{\Delta }_{n}f\right|}^2\right)}^{\frac{1}{2}},f^{\ast }=\underset{n}{\sup }\left|{\mathbb{E}}_{n}f\right|.$$

$${\Vert f\Vert }_{H^1\left[{\left({\mathcal{F}}_n\right)}_{n=1}^{\infty }\right]}=\mathbb{E}Sf.$$

$${\Vert Sf\Vert }_{L^p}{\simeq }_p{\Vert f^{\ast }\Vert }_{L^p}.$$

$${\Vert f\Vert }_{L^p}{\simeq }_p{\Vert Sf\Vert }_{L^p}.$$

$${\Vert {\left(\sum _{n=0}^{\infty }{\left|{\mathbb{E}}_n{f}_n\right|}^2\right)}^{\frac{1}{2}}\Vert }_{L^p}{\lesssim }_p{\Vert {\left(\sum _{n=0}^{\infty }{\left|f_n\right|}^2\right)}^{\frac{1}{2}}\Vert }_{L^p}.$$

$$a=u-{\mathbb{E}}_{j-1}u,$$

$$A\in {\mathcal{F}}_j,\mathrm{supp}u\subset A,{\Vert u\Vert }_{L^2}\le |A{|}^{-\frac{1}{2}}.$$

$$f=\sum _{n=1}^{\infty }{c}_n{a}_n$$

$$\sum _{n=1}^{\infty }\left|c_n\right|\lesssim \Vert f{\Vert }_{H^1\left[{\left({\mathcal{F}}_n\right)}_{n=1}^{\infty }\right]}.$$

$$\Vert g{\Vert }_{BMO\left[{\left({\mathcal{F}}_n\right)}_{n=1}^{\infty }\right]}\simeq \underset{k}{\sup }{\Vert {\left({\mathbb{E}}_k\sum _{n\ge k}{\left|{\Delta }_{n}g\right|}^2\right)}^{\frac{1}{2}}\Vert }_{L^{\infty }},$$

Full text

1. 1 Introduction

2. 2 Preliminaries

3. 3 Boundedness of $P_{m}$ on $L^{p}\left(\Omega^{\mathbb{N}}\right)$

4. 4 Boundedness of $P_{m}$ on $H^{1}\left(\mathbb{D}^{\mathbb{N}}\right)$

5. 5 Martingale Hardy spaces

6. 5.1 Double indexed martingales

7. 5.2 Multiple indexed martingales

8. 6 Appendix

1. Introduction

The Rademacher functions $\left(r_{i}\right)_{i\in\mathbb{N}}$ generate a well studied subspace of $L^{p}[0,1]$, which we identify with $L^{p}\left(\mathbb{Z}_{2}^{\mathbb{N}}\right)$. In particular by Khintchine inequality

[TABLE]

for $0<p<\infty$, and $\overline{\mathrm{span}}\left(r_{i}:i\in\mathbb{N}\right)$ is complemented in $L^{p}$ for $1<p<\infty$ but not for $p=1$. We will index the Walsh system by finite subsets of $\mathbb{N}$, i.e.

[TABLE]

The number $|A|$ is called the mutiplicity of $w_{A}$. Analogous problems for Walsh functions of finite multiplicity have been resolved independently by Bonami [2] and Kiener [15]. Namely, the inequality

[TABLE]

holds true, and the orthogonal projection $P_{m}$ onto $\overline{\mathrm{span}}\left(w_{A}:|A|\leq m\right)$ is bounded if and only if $1<p<\infty$. Some lower estimates for $P_{m}$ are also known, see [14] or [22] for a detailed discussion on this subject.

In [5], Bourgain generalized these results to a setting in which $\left(\mathbb{Z}_{2},\left\{\emptyset,\{0\},\{1\},\{0,1\}\right\},\frac{1}{2}\#\right)$ is replaced with an arbitrary probability space $\left(\Omega,\mathcal{F},\mu\right)$. To be more precise, let $\left(\Omega^{\infty},\mathcal{F}^{\otimes\infty},\mu^{\otimes\infty}\right)$ be the infinite product space. Any $f\in L^{2}\left(\Omega^{\infty},\mathcal{F}^{\otimes\infty},\mu^{\otimes\infty}\right)$ can be decomposed in a unique way into a series

[TABLE]

where $f_{i_{1},\ldots,i_{m}}\in L^{2}\left(\Omega^{m}\right)$ is mean zero in each of its $m$ arguments. Thus, $P_{A}$ and $P_{m}$ defined by

[TABLE]

are mutually orthogonal orthogonal projections. In the case of $\Omega=\mathbb{Z}_{2}$, the image of $P_{A}$ is just the one-dimensional space spanned by $w_{A}$, so the above definition of $P_{m}$ coincides for with the projection onto Walsh functions of multiplicity $m$. In [5] Bourgain proved that for $1\leq p<\infty$,

[TABLE]

which is a direct generalization of (1.3). Moreover, he proved that $P_{m}$ is bounded on $L^{p}$ if and only if $1<p<\infty$, with norm smaller than $c_{p}^{m}$ where $c_{p}\lesssim\frac{\hat{p}^{\frac{5}{2}}}{\log\hat{p}}$ and $\hat{p}=p\vee\frac{p}{p-1}$.

It turns out that the projections $P_{m}$ have a well established probabilistic interpretation. In [16], Kwapień connected them to the notion of Hoeffding decomposition, which originated from Hoeffding’s work [13]. More precisely, elements of the image of $P_{m}$ are what is called generalized canonical $U$-statistics and the decomposition $f=\sum_{m}P_{m}f$ plays a crucial role in the proofs of many theorems concerning $U$-statistics. For more information, we refer the reader to [18]. Kwapień provided a shorter proof of Bourgain’s result about boundedness of $P_{m}$, with a better constant $c_{p}\lesssim\frac{\hat{p}}{\log\hat{p}}$.

Let us decribe the main results of this paper, which give certain endpoint estimates for $P_{m}$. One of them (Theorem 4.5 in the text) is obtained by restricting the domain of $P_{m}$. For exact definition of $H^{1}_{\mathrm{all}}$, see Section 2.

Theorem A**.**

$P_{m}$* is bounded on the subspace $H^{1}_{\mathrm{all}}\left(\mathbb{T}^{\infty}\right)$ of $L^{1}\left(\mathbb{T}^{\infty}\right)$ consisting of functions analytic in each variable.*

We also find a norm stronger than $L^{1}$ and weaker than $L^{p}$ ($p>1$), in which $P_{m}$ is bounded. The detailed construction is described in Section 5.2.

Theorem B**.**

For any $m\in\mathbb{N}$, there is a partition of the family of finite subsets of $\mathbb{N}$ into $\dot{\bigcup}_{i\in\mathcal{I}}\mathcal{A}_{i}$ such that the norm

[TABLE]

is between $L^{1}$ and all $L^{p}$ ($p>1$) and $P_{m}$ is bounded in this norm.

It is worth noting that Theorem A translates directly to the space $\mathcal{H}^{1}$ of Dirichlet series, i.e. the closure of polynomials of the form $\sum_{n=1}^{N}b_{n}n^{-s}$ in the norm

[TABLE]

The Bohr lift, dating back to [1], is the map

[TABLE]

where $a_{k}=b_{n}$ for $n$ having the prime number factorization $n=\prod_{j}p_{j}^{k_{j}}$. It is an isometry between $H^{1}_{\mathrm{all}}\left(\mathbb{T}^{\infty}\right)$ and the space $\mathcal{H}^{1}$ of Dirichlet series. Thus, our result is equivalent to the fact that the projection from $\mathcal{H}^{1}$ onto

[TABLE]

is bounded. For a more detailed exposition of Dirichlet series and their relation to polydisc Hardy spaces, see [23].

The paper is organized as follows. In Section 2 we introduce necessary notation and definitions. In Section 3, we provide a new simple proof of the historic $L^{p}$ boundedness result. The proof of the estimate $\left\|P_{m}\right\|\leq\left(\mathrm{e}\left\|P_{1}\right\|\right)^{m}$ is done by means of a combinatorial identity expressing $P_{m}$ in terms of tensor products of $P_{1}$. In Section 4, we show that the same argument carries over with little modification showing boundedness of $P_{m}$ on $H^{1}_{\mathrm{all}}\left(\mathbb{T}^{\infty}\right)$. In Section 5.1, we define, purely in terms of square functions and not referring to analyticity, a multiple indexed martingale Hardy space $H^{1}\left[\mathcal{T}_{m}\right]$ of functions on $\Omega^{\infty}$ that admits a bounded action of $P_{m}$. It turns out that if $\Omega=\mathbb{T}$, there is a subspace $H^{1}_{m\text{ last}}\left(\mathbb{T}^{\mathbb{N}}\right)$ of $L^{1}\left(\mathbb{T}^{\infty}\right)$, much bigger than $H^{1}_{\mathrm{all}}\left(\mathbb{T}^{\infty}\right)$, on which the $L^{1}$ norm is equivalent to $H^{1}\left[\mathcal{T}_{m}\right]$ norm. The arguments rely heavily on $L^{1}$ square function theorem for Hardy martingales and decoupling inequality of Zinn. We present two proofs of the latter in Section 6.

Acknowledgements

The results of this paper are taken from my doctoral thesis [25]. I am grateful to my advisors: Fedor Nazarov and Michał Wojciechowski for their mentorship and support, especially their unending willingness to discuss my research.

2. Preliminaries

Probability spaces and conditional expectations. In all of the text, $\left(\Omega,\mathcal{F},\mu\right)$ will be a probability space. We will equip sets of the form $\Omega^{I}$, where $I$ is an at most countable index set, with the product measure $\mu^{\otimes I}$ defined on $\mathcal{F}^{\otimes I}$. In case we are only concerned with the cardinality of $I$, we will write $\Omega^{n}$, where $n$ is a natural number or $\infty$. By the natural filtration on $\Omega^{\mathbb{N}}$ we mean the filtration $\left(\mathcal{F}_{n}:n=0,1,\ldots\right)$, where $\mathcal{F}_{k}$ is generated by the coordinate projection $\omega\mapsto\left(\omega_{1},\ldots,\omega_{k}\right)$ and denote $\mathbb{E}_{k}=\mathbb{E}\left(\cdot\mid\mathcal{F}_{k}\right)$. In general, for a subset $A$ of the index set, $\mathcal{F}_{A}$ will be the sigma algebra generated by the coordinate projection $\omega\mapsto\left(\omega_{i}\right)_{i\in A}$ and $\mathbb{E}_{A}=\mathbb{E}\left(\cdot\mid\mathcal{F}_{A}\right)$. In more explicit terms, measurability with respect to $\mathcal{F}_{A}$ is equivalent to being dependent only on variables with indices belonging to $A$ and the conditional expectation operator $\mathbb{E}_{A}$ integrates away the dependence on all other variables, so that the formulas

[TABLE]

[TABLE]

are satisfied (with the convention that sequences indexed by $A$ and $\mathbb{N}\setminus A$ are merged in a natural way into a sequence indexed by $\mathbb{N}$). It will often be convenient to identify a function $f$ defined on $\Omega^{A}$ with an $\mathcal{F}_{A}$-measurable function $\Omega^{I}\ni\omega\mapsto f\left(\left(\omega_{i}\right)_{i\in A}\right)$. In order to save space, we will often write $\mathrm{d}x$ instead of $\mathrm{d}\mu(x)$ whenever the measure is implied by context.

Tensor products. Let $1\leq p<\infty$. For $f_{k}\in L^{p}\left(\Omega_{k}\right)$, we will denote by $\bigotimes_{k=1}^{n}f_{k}$ the function on $\prod_{k}\Omega_{k}$ satisfying

[TABLE]

Because of separation of variables, we have $\left\|\bigotimes_{k}f_{k}\right\|_{L^{p}\left(\prod_{k}\Omega_{k}\right)}=\prod_{k}\left\|f_{k}\right\|_{L^{p}\left(\Omega_{k}\right)}$. This way we actually define an injection of the algebraic tensor product $\bigotimes_{k}L^{p}\left(\Omega_{k}\right)$ into $L^{p}\left(\prod_{k}\Omega_{k}\right)$, the image of which is dense.

Let $X_{k}$ be subspaces (by a subspace we always mean a closed linear subspace) of $L^{p}\left(\Omega_{k}\right)$. By $\bigotimes_{k}X_{k}$ we will denote the subspace of $L^{p}\left(\prod_{k}\Omega_{k}\right)$ spanned by functions of the form $\bigotimes_{k}f_{k}$, where $f_{k}\in X_{k}$, and the norm is inherited from $L^{p}\left(\prod_{k}\Omega_{k}\right)$ (care has to be taken, as $\bigotimes_{k}X_{k}$ is not determined solely by $X_{k}$ as Banach spaces, but rather by the particular way they are embedded in $L^{p}\left(\Omega_{k}\right)$). If $T_{k}:X_{k}\to L^{p}\left(\Omega_{k}\right)$ are bounded operators, then we can define an operator $\bigotimes_{k}T_{k}:\bigotimes_{k}X_{k}\to L^{p}\left(\prod_{k}\Omega_{k}\right)$ by the formula

[TABLE]

and easily check that the property

[TABLE]

is satisfied. Indeed, $\bigotimes_{k}T_{k}=\prod_{k}\mathrm{id}_{L^{p}\left(\prod_{j\neq k}\Omega_{j}\right)}\otimes T_{k}$, and any operator of the form $\mathrm{id}\otimes T$ has norm bounded by $\|T\|$, because $\left(\mathrm{id}\otimes T\right)f\left(\omega_{1},\omega_{2}\right)=T\left(f\left(\omega_{1},\cdot\right)\right)\left(\omega_{2}\right)$.

Fourier transform. Let $\mathbb{T}$ be the interval $[0,2\pi)$ equipped with addition modulo $2\pi$ and normalized Lebesgue measure $\mathrm{d}\mu=\frac{\mathrm{d}x}{2\pi}$. We will be exclusively dealing with Fourier transforms of functions on $\mathbb{T}$ or some power of $\mathbb{T}$. Since the group dual to $\mathbb{T}$ is $\mathbb{Z}$, the dual group to the product $\mathbb{T}^{\mathbb{N}}$ is the direct sum $\mathbb{Z}^{\oplus\mathbb{N}}$ (i.e., integer-valued sequences that are eventually 0), on which we define the Fourier transform by

[TABLE]

Hardy spaces of martingales and analytic functions. By $\mathbb{D}$ we denote the unit disk in the complex plane. We can identify $\mathbb{T}$ with the unit circle by the map $t\mapsto\mathrm{e}^{it}$. For $N\in\mathbb{N}$, the space $H^{1}(\mathbb{D}^{N})$ is defined as the space of functions analytic in the polydisc $\mathbb{D}^{N}$ such that the norm

[TABLE]

is finite. It is well-known [12] that such a function has an a.e. radial limit $f\left(t_{1},\ldots,t_{n}\right)=\lim_{r\to 1}F\left(r\mathrm{e}^{it_{1}},\ldots,r\mathrm{e}^{it_{n}}\right)$ on the distinguished boundary $\mathbb{T}^{N}$ and $F$ can be recovered from $f$ by convolution with a Poisson kernel. This sets a one-to-one correspondence between $H^{1}\left(\mathbb{D}^{N}\right)$ and the space

[TABLE]

We also can define $H^{1}_{\mathrm{all}}\left(\mathbb{T}^{\mathbb{N}}\right)$ in the same manner as in (2.8), but care has to be taken, since these functions are can no longer be extended analytically to $\mathbb{D}^{\mathbb{N}}$ in general (hence the shorthand $H^{1}\left(\mathbb{D}^{\mathbb{N}}\right)$, which we will sometimes use, is an abuse of notation). Later we will use two more $H^{1}$ spaces, namely $H^{1}_{\mathrm{last}}\left(\mathbb{T}^{\mathbb{N}}\right)$ (also called Hardy martingales) and $H^{1}_{m\,\mathrm{last}}\left(\mathbb{T}^{\mathbb{N}}\right)$, which we will define as follows.

[TABLE]

[TABLE]

In the space $H^{1}_{m\,\mathrm{last}}\left(\mathbb{T}^{\mathbb{N}}\right)$ we allow characters of the form $\mathrm{e}^{i\langle n,t\rangle}$, where $\left|\mathrm{supp}\,n\right|<m$ and $n_{j}\geq 0$ for all $j$.

Now we recall the definition of a martingale Hardy space and some related inequalities. A standard reference in this matter is [11]. Let $\left(\mathcal{F}_{n}\right)_{n=0}^{\infty}$ be an arbitrary filtration on a probability space $\left(\Omega,\mathcal{F},\mu\right)$, where $\mathcal{F}$ is generated by $\bigcup\mathcal{F}_{n}$. We denote $\mathbb{E}_{k}=\mathbb{E}\left(\cdot\mid\mathcal{F}_{k}\right)$, $\Delta_{0}=\mathbb{E}_{0}$, $\Delta_{k}=\mathbb{E}_{k}-\mathbb{E}_{k-1}$ for $k\geq 1$, and define the square function and maximal function of $f$ respectively by

[TABLE]

This allows us to define the martingale Hardy space.

Definition 2.1**.**

The space $H^{1}\left[\left(\mathcal{F}_{n}\right)_{n=1}^{\infty}\right]$ is a function space on $\Omega$ with the norm

[TABLE]

We will make use of three following classical martingale inequalities.

Theorem 2.2** (Burkholder, Gundy [8] for $1<p<\infty$; Davis [9] for $p=1$).**

For $1\leq p<\infty$,

[TABLE]

Theorem 2.3** (Burkholder [7]).**

For $1<p<\infty$,

[TABLE]

Theorem 2.4** (Stein [4]).**

For $1<p<\infty$ and an arbitrary sequence $\left(f_{n}\right)_{n=0}^{\infty}$,

[TABLE]

Definition 2.5**.**

A martingale atom is a function of the form

[TABLE]

where

[TABLE]

Theorem 2.6**.**

Let $f\in H^{1}\left[\left(\mathcal{F}_{n}\right)_{n=1}^{\infty}\right]$ be of mean [math]. Then there are atoms $a_{1},a_{2},\ldots$ and scalars $c_{1},c_{2},\ldots$ such that

[TABLE]

and

[TABLE]

Theorem 2.7** (Fefferman).**

The dual space to $H^{1}\left[\left(\mathcal{F}_{n}\right)_{n=1}^{\infty}\right]$ is $BMO\left[\left(\mathcal{F}_{n}\right)_{n=1}^{\infty}\right]$, where

[TABLE]

where the duality is given by $\langle f,g\rangle=\lim_{n\to\infty}\mathbb{E}\left(\mathbb{E}_{n}f\mathbb{E}_{n}g\right)$.

Vector-valued inequalities. For a Banach space $B$, by $L^{p}\left(S,B\right)$ we denote the Bochner space of strongly measurable $B$-valued random variables equipped with the norm

[TABLE]

(or, equivalently, the closed span of functions of the form $(f\otimes v)(x)=f(x)v$, where $f\in L^{p}(S)$ and $v\in B$, in the $L^{p}(S,B)$ norm). For an operator $T$ between subspaces of $L^{p}\left(S_{1}\right)$ and $L^{p}\left(S_{2}\right)$ and a linear operator $F:B_{1}\to B_{2}$ we can define $T\otimes F$ and the algebraic tensor product by $\left(T\otimes F\right)\left(f\otimes v\right)=T(f)\otimes F(v)$, but this construction does not necessarlily produce a bounded operator on the closure. The main tool for obtaining vector-vlaued extensions of inequalities will be the following lemma, which for $I_{1},I_{2}$ being singletons is due to Marcinkiewicz and Zygmund [20] (in this case $\lesssim\|T\|$ can be replaced with $\leq\|T\|$).

Lemma 2.8**.**

Let $X_{i}\subset L^{1}\left(S_{i},\ell^{2}\left(I_{i}\right)\right)$ for $i=1,2$, $B$ be a Hilbert space and $T:X_{1}\to X_{2}$ be bounded. Then $T\otimes\mathrm{id}_{B}:X_{1}\otimes B\to X_{2}\otimes B$, where $X_{i}\otimes B$ is treated as a subspace of $L^{1}\left(\Omega_{i},\ell^{2}\left(I_{i},B\right)\right)$, is bounded with norm $\lesssim\|T\|$.

Proof.

Without loss of generality, $B$ is finite-dimensional, say $B=\ell^{2}\left(J\right)$ for some finite $J$. Let $X_{1}\otimes\ell^{2}\left(J\right)\ni f=\left(f_{j}\right)_{j\in J}$, so that $f_{j}\in X_{1}$. Let also $r_{j}$ for $j\in J$ be Rademacher variables. Then, applying $\ell^{2}\left(I_{2}\right)$-valued Khintchine inequality,

[TABLE]

∎

Hoeffding decomposition. Now we define the main object of our interest. In order to avoid technicalities with convergence in strong operator topology, we will work in a finite product of $\Omega$ (all the results extend automatically to $\Omega^{\infty}$ by density). We will see in a moment that any function $f\in L^{1}\left(\Omega^{n}\right)$ can be decomposed in a unique way as

[TABLE]

where $P_{i_{1},\ldots,i_{m}}f\left(x_{1},\ldots,x_{n}\right)$ depends only on $x_{i_{1}},\ldots,x_{i_{m}}$ and is of mean [math] with respect to each of $x_{i_{1}},\ldots,x_{i_{m}}$ (equivalently, $P_{A}f$ is $\mathcal{F}_{A}$-measurable and is orthogonal to all $\mathcal{F}_{B}$-measurable functions for $B\subsetneq A$). This decomposition has been studied in [5], [16]. In particular, $P_{i_{1},\ldots,i_{m}}$ are pairwise orthogonal orthogonal projections. Let

[TABLE]

and $U_{m}$ be the range of $P_{m}$. It is known [5], [16] that $P_{m}$ is bounded on $L^{p}\left(\Omega^{n}\right)$, $1<p<\infty$, with norm independent on $n$, but this is not true for $L^{1}\left(\Omega^{n}\right)$.

One of the possible ways to prove the existence of the above decomposition in $L^{2}\left(\Omega^{n}\right)$ is as follows. First we define the subspace

[TABLE]

for each $m\geq 0$. The sequence of subspaces $U_{\leq 0},U_{\leq 1},\ldots,U_{\leq n}$ is increasing, so by putting

[TABLE]

we obtain a decomposition

[TABLE]

into an orthogonal direct sum of $U_{m}$. We will denote the orthogonal projection onto $U_{m}$ by $P_{m}$.

A more explicit formula for $P_{m}$ can be obtained. For $A\subset[1,n]$, let

[TABLE]

where $\mathrm{id}$ and $\mathbb{E}$ are understood to act on $L^{2}(\Omega)$, and let $U_{A}$ be the range of the projection $P_{A}$. It is easy to see that

[TABLE]

and, since the subspaces $U_{B}$ are mutually orthogonal,

[TABLE]

Moreover

[TABLE]

and consequently

[TABLE]

Decoupling inequalities. We are going to present a special case of a theorem of J. Zinn [27], which will be one of the most important tools.

Theorem 2.9** (Zinn).**

For $k=1,\ldots,N$, let $f_{k}$ be a function on $\Omega^{k}$. Then

[TABLE]

We will provide two new proofs of the above in Section 6. Below, we state two corollaries obtained by iterating Zinn’s inequality.

Corollary 2.10**.**

For $1\leq a<b\leq N$, let $f_{a,b}\in L^{1}\left(\Omega^{N},\mathcal{F}_{[a,b]}\right)$. Denote $\left(x_{a},\ldots,x_{b}\right)$ by $x_{[a,b]}$. Then

[TABLE]

Proof.

Let $F_{b}\in L^{1}\left(\Omega^{N},\mathcal{F}_{b},\ell^{2}\right)$ be defined by $\left(F_{b}\right)_{a}=f_{a,b}$ for $a<b$ and [math] otherwise. Then, by Theorem 2.9 applied for functions $\left\|F_{b}\right\|_{\ell^{2}}$,

[TABLE]

Analogously, by setting $y$ as fixed, and applying Theorem 2.9 with reversed order of variables (which we can do, because we are dealing with finite sums),

[TABLE]

as desired.∎

Corollary 2.11**.**

For all $i=\left(i_{1},\ldots,i_{m}\right)$ such that $i_{1}<\ldots<i_{m}$, let $f_{i}$ be an $\mathcal{F}_{\left[1,i_{1}-1\right]\cup\left\{i_{1},\ldots,i_{m}\right\}}$-measurable function on $\Omega^{\mathbb{N}}$. Then, treating each $f_{i}$ as a function on $\Omega^{\left[1,i_{1}-1\right]}\times\Omega^{\left\{i_{1},\ldots,i_{m}\right\}}$,

[TABLE]

where $y^{(1)},\ldots,y^{(m)}$ are variables in $\Omega^{\mathbb{N}}$.

Proof.

Let us fix $k\in\{1,\ldots,m\}$ and for each $j\in\mathbb{N}$ define a function $\varphi_{j}$ on $\Omega^{\left[1,j\right]}\times\left(\Omega^{\mathbb{N}}\right)^{m-k}$ by the formula

[TABLE]

Then, for fixed $y^{(>k)}=\left(y^{(k+1)},\ldots,y^{(m)}\right)\in\left(\Omega^{\mathbb{N}}\right)^{m-k}$,

[TABLE]

Here, $i_{k}$ plays the role of $j$ and (2.48) is an application of Theorem 2.9 to functions $\left|\varphi_{j}\right|^{2}$. Integrating the resulting inequality with respect to $y^{(>k)}$, we get

[TABLE]

which by induction from $k=m$ to $k=1$ proves (2.44). ∎

3. Boundedness of $P_{m}$ on $L^{p}\left(\Omega^{\mathbb{N}}\right)$

The main motivation for this part is the following theorem, proved by Bourgain with $c_{p}\lesssim\frac{\hat{p}^{\frac{5}{2}}}{\ln\hat{p}}$ and by Kwapień with $c_{p}\lesssim\frac{\hat{p}}{\ln\hat{p}}$, where $\hat{p}=\max\left(p,\frac{p}{p-1}\right)$.

Theorem 3.1** ([5], [16]).**

$P_{m}$* is bounded on $L^{p}\left(\Omega^{\mathbb{N}}\right)$ for $1<p<\infty$, with norm $\lesssim c_{p}^{m}$.*

We will present a proof that yields \|P_{1}:L^{p}\,\rotatebox[origin={c}]{90.0}{\circlearrowleft}\|<\infty and c_{p}=\mathrm{e}\|P_{1}:L^{p}\,\rotatebox[origin={c}]{90.0}{\circlearrowleft}\|.

Proof.

Without loss of generality, we may assume that we are working in $L^{p}\left(\Omega^{[1,N]},\mathcal{F}^{\otimes N}\right)$. Indeed, by (2.33) and (2.37), $P_{m}$ preserves $L^{2}\left(\Omega^{\mathbb{N}},\mathcal{F}_{[1,N]}\right)$, which can be canonically identified with $L^{2}\left(\Omega^{[1,N]},\mathcal{F}^{\otimes N}\right)$. Since the sequence $\left(L^{2}\left(\Omega^{\mathbb{N}},\mathcal{F}_{[1,N]}\right):N\in\mathbb{N}\right)$ is increasing and its sum is dense in $L^{p}\left(\Omega^{\mathbb{N}},\mathcal{F}^{\otimes\mathbb{N}}\right)$, all we need to prove is

[TABLE]

$P_{0}=\mathbb{E}$ is bounded. The $L^{p}$ boundedness of $P_{1}$ is essentially a known result [6], but we provide a proof for the sake of completeness. Let $\left(\mathcal{F}_{k}:k\in[0,N]\right)$ be the natural filtration and $\left(\mathcal{F}^{*}_{k}\right)_{k=0}^{N}$ be the natural reversed filtration, i.e. $\mathcal{F}^{*}_{k}=\mathcal{F}_{[k,N]}$. By (2.32) and (2.37) we see that

[TABLE]

By mutual orthogonality of $P_{A}$’s

[TABLE]

Applying Theorem 2.3, (3.3) and Theorem 2.4, we obtain

[TABLE]

We will now proceed by induction. Suppose that (3.1) is satisfied with $m-1$ in the place of $m$. Let $N=mn$ and define an operator $Q_{m}$ acting on $L^{p}\left(\Omega^{[1,N]}\right)$ by

[TABLE]

Utilising (2.37) we get

[TABLE]

By (2.31),

[TABLE]

Putting the last four equations together, we get

[TABLE]

However, by (3.8) and the induction hypothesis,

[TABLE]

Let $a_{n}\approx b_{n}$ denote $\lim_{n\to\infty}\frac{a_{n}}{b_{n}}=1$. By the Stirling formula,

[TABLE]

Thus

[TABLE]

Finally, by (3.16), (3.19) and (3.24),

[TABLE]

∎

We prvide a short proof of a fact taken from [6] that Theorem 3.1 can not be, extended to $p=1$ or $\infty$, which motivates the next section.

Proposition 3.2**.**

If $\Omega$ is not a single atom, then $P_{m}$ for $m\geq 1$ is not bounded on $L^{1}\left(\Omega^{\infty}\right)$ or $L^{\infty}\left(\Omega^{\infty}\right)$.

Proof.

It is enough to consider $L^{1}\left(\Omega^{\infty}\right)$, because $P_{m}$’s are self-adjoint. Let $f\in L^{2}\left(\Omega\right)$ be such that $\mathbb{E}f=1$, $f\geq 0$ and $\mu\left(\mathrm{supp}\,f\right)<1$. Then $\mathbb{E}|f-1|^{2}>0$. For $F_{n}=f^{\otimes n}\in L^{2}\left(\Omega^{n}\right)$ we have

[TABLE]

which is not dominated by $\left\|F_{n}\right\|_{L^{1}\left(\Omega^{n}\right)}=\left\|f\right\|_{L^{1}\left(\Omega\right)}^{n}=1$. To prove the unboundedness of $P_{m}$ for $m>1$, we simply notice that

[TABLE]

∎

4. Boundedness of $P_{m}$ on $H^{1}\left(\mathbb{D}^{\mathbb{N}}\right)$

The projection $P_{m}$ can be described even more explicitly in the case $\Omega=\mathbb{T}$. Indeed, if $n\in\mathbb{Z}^{\oplus\mathbb{N}}$ is supported on the set $A$, then

[TABLE]

Thus

[TABLE]

and

[TABLE]

In particular, $P_{m}$ preserves the space $H^{2}\left(\mathbb{D}^{\mathbb{N}}\right)=L^{2}\left(\mathbb{T}^{\mathbb{N}}\right)\cap H^{1}\left(\mathbb{D}^{\mathbb{N}}\right)$.

In order to adapt the proof of Theorem 3.1 to the $H^{1}\left(\mathbb{D}^{\mathbb{N}}\right)$ case, we will need a replacement for the argument proving that $P_{1}$ is bounded. The role of the combination of Burkholder-Gundy and Doob inequalities will be played by the following theorem, which can be found in [3].

Theorem 4.1** (Bourgain).**

For $f\in H^{1}_{\mathrm{last}}\left(\mathbb{T}^{\mathbb{N}}\right)$, there is an equivalence of norms

[TABLE]

where $\left(\mathcal{F}_{n}\right)_{n=0}^{\infty}$ is the natural filtration on $\mathbb{T}^{\mathbb{N}}$.

For later use, we note the Hilbert space valued extension.

Corollary 4.2**.**

Let $B$ be a Hilbert space. For $f\in H^{1}_{\mathrm{last}}\left(\mathbb{T}^{\mathbb{N}},B\right)$, there is an equivalence of norms

[TABLE]

where $\left(\mathcal{F}_{n}\right)_{n=0}^{\infty}$ is the natural filtration on $\mathbb{T}^{\mathbb{N}}$.

Proof.

Theorem 4.1 gives a map

[TABLE]

which is an isomorphism onto the subspace of $L^{1}\left(\mathbb{T}^{\mathbb{N}},\ell^{2}\right)$ consisting of functions $f$ such that $f_{k}$ is a $k$-th martingale difference and is analytic in the $k$-th variable, defined by

[TABLE]

Thus, applying Lemma 2.8 with $I_{1}$ being a singleton, $I_{2}=\mathbb{N}$, $T$ as above (and then the same for $T^{-1}$) we get

[TABLE]

∎

The role of the Stein martingale inequality will be played by the following simple observation.

Corollary 4.3**.**

For any sequence $\left(f_{n}:n\in\mathbb{N}\right)$ adapted to the natural filtration on $\Omega^{\mathbb{N}}$,

[TABLE]

Proof.

Let $\tilde{f}_{n}$ be a sequence of functions on $\Omega^{\mathbb{N}}\times\Omega^{\mathbb{N}}$ defined by

[TABLE]

Applying Theorem 2.9 and conditional expectation with respect to the second of two sets of variables,

[TABLE]

∎

By conditioning with respect to the first set of variables, we obtain the inequality

[TABLE]

due to Lepingle [19].

Theorem 4.4**.**

For any $\Omega$, $P_{1}$ is bounded on $H^{1}\left[\left(\mathcal{F}_{n}\right)_{n=0}^{\infty}\right]$.

Proof.

We proceed as in the proof of Theorem 3.1. First, we reduce the problem to the $\Omega^{[1,N]}$ realm. Then we notice that

[TABLE]

which by Corollary 4.3 yields

[TABLE]

∎

Theorem 4.5**.**

$P_{m}$* is bounded on $H^{1}\left(\mathbb{D}^{\mathbb{N}}\right)$ with norm $\leq\frac{1}{\mathrm{e}}c_{1}^{m}$, where*

[TABLE]

Proof.

The case $m=0$ is trivial, $m=1$ follows directly from Theorem 4.1 and Theorem 4.4. The induction step is identical to the proof of Theorem 3.1, up to changing $L^{p}\left(\Omega^{I}\right)$ to $H^{1}\left(\mathbb{D}^{I}\right)$. Alternatively, we can prove the same in a single step. Set

[TABLE]

It is easily seen that for each set $B$ of cardinality $m$, $P_{B}$ appears $m!\binom{(n-1)m}{n-1,\ldots,n-1}$ times in the sum. Therefore

[TABLE]

and since

[TABLE]

we get

[TABLE]

∎

It has to be noted that our proofs of Theorems 3.1 and 4.5 extend naturally to a vector valued case, respectively UMD and AUMD valued. Indeed, Bourgain’s proof of Theorem 2.4, as presented in [22], extends to the UMD valued version, while Theorem 4.1 is just the statement that a one-dimensional space has the AUMD property. In both cases, the induction follows without change. There is also a second direction in which we can generalize. Namely, by looking carefully at the proof of Theorem 4.1, one can see that the only place in which analyticity plays a role is the $H^{1}=H^{2}\cdot H^{2}$ theorem, which is true for $H^{1}$ on any compact and connected group with ordered dual [24], which means that we can replace $\mathbb{T}$ with any such group.

Given that Kwapień’s constant $c_{p}$ in Theorem 3.1 has the best known asymptotics as a function of $p$ for $m=1$, one can ask about the dependence of \left\|P_{m}:L^{p}\left(\Omega^{\infty}\right)\,\rotatebox[origin={c}]{90.0}{\circlearrowleft}\right\| and \left\|P_{m}:H^{1}\left(\mathbb{D}^{\mathbb{N}}\right)\,\rotatebox[origin={c}]{90.0}{\circlearrowleft}\right\| on $m$.

Proposition 4.6**.**

The inequalities

[TABLE]

for nontrivial $\Omega$ and

[TABLE]

where $L^{p}_{0}$ and $H^{1}_{0}$ stand for functions of mean [math], are true. Also,

[TABLE]

Proof.

Let $f\in L^{p}\left(\Omega^{n}\right)$ be of mean [math]. Then $f^{\otimes m}\in L^{p}\left(\Omega^{mn}\right)$ and

[TABLE]

Indeed, we have $f=\sum_{|A|\geq 1}P_{A}f$ because of $\mathbb{E}f=0$, hence

[TABLE]

The only way to get a summand in $U_{m}$ is to have $\left|A_{i}\right|=1$ for all $i$ and the sum of such summands is the right hand side of (4.32). Taking an $f$ which is close to attaining the norm of $P_{1}$ on a respective space proves (4.29) and (4.30).

In order to see (4.31), assume for the sake of contradiction that $P_{1}$ is a contraction on $H^{1}_{0}\left(\mathbb{D}^{2}\right)$. We will test it on functions of the form $F(z)+w+azw$, where $F\in H^{1}_{0}\left(\mathbb{D}\right)$ and $a$ is a scalar. It is easy to see that

[TABLE]

for $\alpha,\beta\in\mathbb{C}$. Hence, from the inequality

[TABLE]

we get

[TABLE]

Since any nonnegative function can be approximated by the modulus of an $H^{1}_{0}\left(\mathbb{D}\right)$ function, (4.35) is true for any nonnegative $F$. In particular, the left hand side attains a local minimum at $a=0$, so by $|u+v|=|u|+\mathrm{Re}\,\frac{u\overline{v}}{|u|}+o(v)$ we infer that

[TABLE]

Now let

[TABLE]

for $r\geq 0$. This is a continuous function, whose values lie on some curve $\gamma$ connecting [math] and $1$ (because $\phi(0)=1$ and $\lim_{r\to\infty}\phi(r)=0$). The condition (4.37) can be rewritten as

[TABLE]

Since $F$ was allowed to be any positive function, $\phi(F)$ can be any function with values in $\gamma$, making (4.39) obviously false. ∎

5. Martingale Hardy spaces

5.1. Double indexed martingales

Above we noticed that the boundedness of $P_{1}$ on $H^{1}\left(\mathbb{D}^{\mathbb{N}}\right)$ follows from the boundedness of $P_{1}$ on a bigger space $H^{1}\left[\left(\mathcal{F}_{n}\right)\right]$. It is temtping to find an abstract martingale inequality responsible for the boundedness of $P_{m}$ on $H^{1}\left(\mathbb{D}^{\mathbb{N}}\right)$. We can do this for $m=2$.

By the natural double-indexed filtration on $\Omega^{\mathbb{N}}$ we will mean the family $\left(\mathcal{F}_{[a,b]}:a\leq b\right)$ (note that the inclusion order in the first index is reversed). Let $\Delta_{n}=\mathbb{E}_{n}-\mathbb{E}_{n-1}$ be the martinagle differences with respect to $\left(\mathcal{F}_{n}\right)$ and $\Delta^{*}_{n}=\mathbb{E}^{*}_{n}-\mathbb{E}^{*}_{n+1}$ be the martingale differences with repsect to $\left(\mathcal{F}^{*}_{n}\right)$, where $\mathcal{F}^{*}_{n}=\mathcal{F}_{[n,\infty)}$. We define the martingale differences with respect to $\left(\mathcal{F}_{[a,b]}\right)$ by

[TABLE]

and an $H^{1}$ norm for this filtration by

[TABLE]

The definition of double martingale differences coincides with what is considered in [26].

Corollary 5.1**.**

For $f\in H^{1}\left(\mathbb{D}^{\mathbb{N}}\right)$, there is an equivalence of norms

[TABLE]

where $\left(\mathcal{F}_{[a,b]}\right)_{a\leq b}$ is the natural double-indexed filtration on $\mathbb{T}^{\mathbb{N}}$.

Proof.

For any $\pm 1$-valued sequence $\left(\varepsilon_{n}:n\in\mathbb{N}\right)$, we define operators $S_{\varepsilon}$ and $S^{*}_{\varepsilon}$ by

[TABLE]

By Theorem 4.1, $S_{\varepsilon}$ is an isomorphism from $H^{1}\left(\mathbb{D}^{\mathbb{N}}\right)$ to itself, uniformly in $\varepsilon$. By reversing the order of variables, the same can be said about $S^{*}_{\varepsilon}$. Thus for any $\varepsilon,\varepsilon^{\prime}$,

[TABLE]

By averaging the last quantity over all choices of $\varepsilon,\varepsilon^{\prime}$ and applying the Khintchine-Kahane inequality twice, we get the desired inequalities. ∎

Theorem 5.2**.**

$P_{2}$* is bounded on $H^{1}\left[\left(\mathcal{F}_{a,b}\right)_{a\leq b}\right]$, for any $\Omega$.*

Proof.

As usual, we reduce the problem to the $\Omega^{[1,N]}$ version. By (3.2),

[TABLE]

Thus

[TABLE]

for $a<b$. We can assume that $P_{0}f=P_{1}f=0$ (i.e. $\mathbb{E}f=0$ and $\Delta_{[a,a]}f=0$ for all $a$), because $U_{\leq 1}$, being the image of $\mathbb{E}+\sum_{a}\Delta_{[a,a]}$ is trivially complemented in the underlying norm and $P_{2}$ is [math] on $U_{\leq 1}$. By applying Corollary 2.10,

[TABLE]

as desired.∎

5.2. Multiple indexed martingales

We will make an attempt at generalizing the above for multiple indexed martingales. Suppose there is a family $\left(T_{i},\partial T_{i}\right)_{i\in\mathcal{I}}$ of pairs of finite subsets of some set $X$ (finite or not) indexed by some set $\mathcal{I}$, such that $\partial T_{i}\subseteq T_{i}$ ($\partial T_{i}$ is not a boundary in a topological sense - we use this notation for resemblance with the case where $T_{i}$ are intervals and $\partial T_{i}$ are their endpoints). We would like to define operators $\Delta_{i}$ on $L^{2}\left(\Omega^{X}\right)$ by the formula

[TABLE]

where $T_{i}^{\prime}$ stands for the complement of $T_{i}$ in $X$. This is supposed to mimic the standard martingale differences when $X=\mathbb{N}$, $\mathcal{I}=\mathbb{N}$, $T_{i}=[0,i]$, $\partial T_{i}=\{i\}$ and double martingale differences when $\mathcal{I}=\left\{\left(a,b\right):a\leq b\right\}$, $T_{a,b}=[a,b]$, $\partial T_{a,b}=\{a,b\}$. The natural condition

[TABLE]

is guaranteed by

[TABLE]

Indeed,

[TABLE]

Hence

[TABLE]

and each $P_{A}$ appears in the above sum exactly once if and only if the condition (5.19) is satisfied. For a family $\left(T_{i},\partial T_{i}\right)_{i\in\mathcal{I}}$ we may define a norm by the formula

[TABLE]

and ask the following:

• •

Is it true that

[TABLE]

for $f\in\|f\|_{H^{1}\left(\mathbb{D}^{\mathbb{N}}\right)}$?

• •

If yes, is there any interesting example of a set $\mathbb{N}^{\oplus\infty}\subset\Gamma\subset\mathbb{Z}^{\oplus\infty}$ such that (5.26) is true for $f\in L^{1}\left(\mathbb{T}^{\infty}\right)$ with $\mathrm{supp}\,\widehat{f}\subset\Gamma$?

• •

For which, if any, $m$ is $P_{m}$ bounded on $H^{1}\left[\left(T_{i},\partial T_{i}\right)_{i\in\mathcal{I}}\right]$?

We are able to answer them in the case when

[TABLE]

[TABLE]

For a finite set $B\subset\mathbb{N}$, the unique $A\in\mathcal{I}$ such that $\partial T_{A}\subseteq B\subseteq T_{A}$, which we will denote by $\partial B$, is

[TABLE]

Theorem 5.3**.**

Let $m\geq 1$ be fixed and $\left(T_{i},\partial T_{i}\right)_{i\in\mathcal{I}}$ be defined by (5.27), (5.28). Then

[TABLE]

*for $f\in H^{1}_{m\,\mathrm{last}}\left(\mathbb{T}^{\mathbb{N}}\right)$, where $\mathbb{T}$ is used as $\Omega$. Moreover, for $m^{\prime}\in\mathbb{N}$ and nontrivial $\Omega$, the following are equivalent.

(i) $m^{\prime}\leq m$

(ii) $P_{m^{\prime}}$ is bounded on $H^{1}\left[\left(T_{i},\partial T_{i}\right)_{i\in\mathcal{I}}\right]$

(iii) $P_{m^{\prime}}$ is bounded on $H^{1}_{m\,\mathrm{last}}\left(\mathbb{T}^{\mathbb{N}}\right)$.*

Proof.

For $A,B\subset\mathbb{N}$, we will write $T^{(m)}_{A}$, $\partial T^{(m)}_{A}$, $\Delta^{(m)}_{A}$, $\partial^{(m)}B$ to indicate the value of $m$ we are currently using. For brevity we will denote $\left(T^{(m)}_{A},\partial T^{(m)}_{A}\right)_{|A|\leq m}$ by $\mathcal{T}_{m}$. For $|A|<m$, we have $\Delta^{(m)}_{A}=\left(\mathrm{id}-\mathbb{E}\right)^{\otimes A}\otimes\mathbb{E}^{\mathbb{N}\setminus A}=P_{A}$. In particular, $\Delta^{(m)}_{\emptyset}=\mathbb{E}$. Therefore, by definition of the $H^{1}\left[\mathcal{T}_{m}\right]$ norm and Corollary 2.11,

[TABLE]

Here, we identify an increasing sequence with the set of its elements, write $\mathrm{d}y^{(1,\ldots,m)}$ to denote $\mathrm{d}y^{(1)}\ldots\mathrm{d}y^{(m)}$ and treat $\Delta^{(m)}_{i}f$ as a function on $\Omega^{\left[1,i_{1}-1\right]}\times\Omega^{\left\{i_{1},\ldots,i_{m}\right\}}$. From this expression, we immediately see the implication $(i)\implies(ii)$. Indeed, for $m^{\prime}<m$,

[TABLE]

which trivializes the inequality $\|f\|_{H^{1}\left[\mathcal{T}_{m}\right]}\gtrsim\|P_{m^{\prime}}f\|_{H^{1}\left[\mathcal{T}_{m}\right]}$. For $m^{\prime}=m$, we notice that

[TABLE]

and the desired inequality follows from

[TABLE]

The implication $(ii)\implies(iii)$ follows from (5.30), which we will prove by induction with respect to $m$. For $m=1$ this is just Theorem 4.1. Suppose it is true for some $m$ and let $f\in H^{1}_{m+1\,\mathrm{last}}\left(\mathbb{T}^{\mathbb{N}}\right)$. In particular, $f\in H^{1}_{m\,\mathrm{last}}\left(\mathbb{T}^{\mathbb{N}}\right)$. By (5.30), which is now the induction hypothesis, and (5.31),

[TABLE]

The last two summands are as they are in the desired expression for $m+1$ instead of $m$ and we only have to deal with the first. For any $i_{1}<\ldots<i_{m}$ and $t\in\mathbb{T}^{\mathbb{N}}$ we have

[TABLE]

Thus, treating $\Delta^{(m)}_{i}f$ as a function on $\mathbb{T}^{\left[1,i_{1}-1\right]}\times\mathbb{T}^{\left\{i_{1},\ldots,i_{m}\right\}}$,

[TABLE]

Let $y$ be fixed and $\Delta^{(1)}_{k}$, where $k\in\mathbb{N}\cup\{\emptyset\}$, act with respect to the variable $x\in\mathbb{T}^{\mathbb{N}}$ (so, technically, $\Delta^{(1)}_{k}$ stands for $\Delta^{(1)}_{k}\otimes\mathrm{id}$). Then

[TABLE]

and

[TABLE]

For $k<i_{1}$,

[TABLE]

By (5.40), $\Delta^{(m)}_{i_{1},\ldots,i_{m}}f\left(x_{<i_{1}},y_{1},\ldots,y_{m}\right)$ is in $H^{1}_{\mathrm{last}}\left(\mathbb{T}^{\mathbb{N}}\right)$ with respect to $x$. Therefore, applying Corollary 4.2 to the vector valued function $x\mapsto\left(\Delta^{(m)}_{i}f\left(x_{<i_{1}},y^{(1)}_{i_{1}},\ldots,y^{(m)}_{i_{m}}\right)\right)_{i_{1}<\ldots<i_{m}}$ with fixed $y^{(1,\ldots,m)}$, plugging in (5.41), (5.42), (5.47) and using Corollary 2.11, we get

[TABLE]

Integrating the resulting equivalence with respect to $y^{(1,\ldots,m)}$ and plugging into (5.38), we verify that $\|f\|_{L^{1}\left(\mathbb{T}^{\mathbb{N}}\right)}\simeq H^{1}\left[\mathcal{T}_{m+1}\right]$, which finishes the proof of (5.30).

In order to see that $(iii)\implies(i)$, let us take $m^{\prime}>m$. For any $g\in L^{1}\left(\mathbb{T}^{n}\right)$, the function $G\in L^{1}\left(\mathbb{T}^{\mathbb{N}}\right)$ defined by

[TABLE]

is in $H^{1}_{m\,\mathrm{last}}\left(\mathbb{T}^{\mathbb{N}}\right)$. But

[TABLE]

so

[TABLE]

which by Proposition 3.2 can be arbitrarily big.∎

It is worth noting that by repeating the above proof of the equivalence between $H^{1}_{m\text{ last}}$ norm and $H^{1}\left[\mathcal{T}_{m}\right]$, one can obtain

[TABLE]

where $H^{p}\left[\mathcal{T}_{m}\right]$ is defined in a natural way. Moreover, by iterating the $\|f\|_{H^{1}}\geq\|f\|_{L^{1}}$ inequality for linearly ordered martingales,

[TABLE]

6. Appendix

We present two proofs of Theorem 2.9 different from the original one by Zinn.

Let us recall the non-linear telescoping lemma due to Bourgain and Müller.

Lemma 6.1** ([3], [21]).**

Let $\lambda_{1},\ldots,\lambda_{n}$, $\varphi_{1},\ldots,\varphi_{n}$ be nonnegative random variables such that

[TABLE]

Then

[TABLE]

Corollary 6.2**.**

Let $X_{1},\ldots,X_{n}$ be independent and set

[TABLE]

Then

[TABLE]

Proof.

The right inequality of (6.4) follows directly from Lemma 6.1, since $\lambda_{k}$ is an increasing sequence of constants. To prove the other inequality, we see that conditioning with respect to $\sigma\left(X_{k+1},\ldots,X_{n}\right)$ gives

[TABLE]

thus by induction

[TABLE]

which for $k=n$ is the desired inequality.∎

Proof of Theorem 2.9.

In order to prove the $\gtrsim$ inequality in (2.38), we merely perform a slight modification of the proof of Lepingle inequality presented in [3]. Let us denote $\Omega^{N}\times\Omega^{N}\ni(x,y)\mapsto f_{n}\left(x_{1},\ldots,x_{n-1},n_{k}\right)$ by $\tilde{f_{n}}$. By tensoring $\left(f_{n}\right)$ against the Rademacher sequence, we may assume that it is a martingale difference sequence. Then the left hand side equals $\|F\|_{H^{1}}$, where $F=\sum_{n=1}^{\infty}f_{n}$ and $f_{n}=\Delta_{n}F$. By Theorem 2.6 it is enough to check the boundedness of the right hand side in the case when $F$ is an atom, because we have an a priori bound for finite sums. Let $F=u-\mathbb{E}_{j-1}u$, where $u$ satisfies (2.17). Then

[TABLE]

By $A\in\mathcal{F}_{j}$, the support of $\mathbb{E}_{k}u$ for $k\geq j$ is contained in $A$ as well, because

[TABLE]

Thus for $k>j$ we have $\mathrm{supp}\,f_{k}\subset\mathrm{supp}\,\mathbb{E}_{k}u\cup\mathrm{supp}\,\mathbb{E}_{k-1}u\subset A$. Consequently

[TABLE]

because if $\left(x,y\right)\in\mathrm{supp}\,\tilde{f}_{k}$, then $\left\{\left(x_{1},\ldots,x_{k-1},y_{k}\right)\right\}\times\Omega^{\left\{k+1,\ldots\right\}}\subset\mathrm{supp}\,f_{k}\subset A$, which by $A\in\mathcal{F}_{j}$ implies $x\in A$. By and (6.8) we have

[TABLE]

Combining (2.17), (6.8), (6.12), (6.13) with the inequality

[TABLE]

and the fact that the projections $\Delta_{k}$ are mutually orthogonal, we obtain

[TABLE]

We will prove the $\lesssim$ inequality in (2.38) now. It is clear that it is enough to prove it with only finitely many of $f_{k}$ nonzero. We define the sequence $\left(\lambda_{k}(x)\right)_{k=1}^{n}$ of functions in $L^{1}\left(\Omega^{\infty}\right)$ inductively by

[TABLE]

For any fixed $x\in\Omega^{\infty}$, this sequence coincides with the sequence defined by (6.3) applied to the independent random variables $f_{k}\left(x_{1},\ldots,x_{k-1},\cdot\right)\in L^{1}(\Omega)$, so Corollary 6.4 yields the pointwise inequality

[TABLE]

By induction it is obvious that $\lambda_{k}$ is $\mathcal{F}_{k-1}$-measurable. Thus

[TABLE]

In particular, $\lambda_{k}$ verify the condition (6.1) with respect to $f_{k}$ and are pointwise increasing, so Lemma 6.1 gives

[TABLE]

Integrating (6.22) with respect to $x$ and applying (6.25) we obtain

[TABLE]

∎

Yet another proof of Theorem 2.9.

Without loss of generality, we may assume that $\Omega$ has a structure of a compact abelian group with Haar measure, e.g. by embedding $\Omega$ in $\mathbb{T}$. Just like previously, we also may assume that $f_{k}$ is a $k$-th martingale difference and notice that the left hand side is just $\left\|\sum_{k}f_{k}\right\|_{H^{1}}$. For $\xi\in\Omega^{N}$ we define an operator $T_{\xi}$ by

[TABLE]

Since $\Delta_{k}T_{\xi}f$ is just a translation of $\Delta_{k}f$,

[TABLE]

For $k>n$, by translation in the variable $y_{k}$,

[TABLE]

Therefore

[TABLE]

We have $T_{\xi}^{*}=T_{-\xi}$, because

[TABLE]

By Theorem 2.7, $T_{\xi}$ are uniformly bounded on martingale $H^{1}$, so

[TABLE]

and thus

[TABLE]

Ultimately, by translating $\xi$ for fixed $x$,

[TABLE]

∎