[论文解读] Random Series of Trace Class Operators

Gilles Pisier|arXiv (Cornell University)|Mar 10, 2011

Advanced Banach Space Theory参考文献 16被引用 3

一句话总结

本文通过高斯序列与Rademacher序列研究了迹类算子随机级数的几乎必然收敛性，建立了一个概率框架，将 $L_p$-范数收敛性与几乎必然收敛性联系起来。主要贡献是通过张量积分解与解析UMD性质，对空间 $G(B)$ 和 $R(B)$—即几乎必然收敛级数的空间—进行了表征，特别证明了在适当条件下有 $R(E\widehat{\otimes}F) \subset R(E)\widehat{\otimes}F + E\widehat{\otimes}R(F)$。

ABSTRACT

In this lecture, we present some results on Gaussian (or Rademacher) random series of trace class operators, mainly due jointly with F. Lust-Piquard. We will emphasize the probabilistic reformulation of these results, as well as the open problems suggested by them. We start by a brief survey of what is known about the problem of characterizing a.s. convergent (Gaussian or Rademacher) series of random vectors in a Banach space. The main result presented here is that for certain pairs of Banach spaces $E,F$ that include Hilbert spaces (and type 2 spaces with the analytic UMD property), we have $$ R(E\hat\otimes F) =R(E)\hat\otimes F + E\hat\otimes R(F) $$ where $R(E)$ denotes the space of convergent Rademacher series with coefficients in $E$ and $E\hat\otimes F$ denotes the projective tensor product.

研究动机与目标

• 利用概率与泛函分析工具，表征巴拿赫空间 $B$ 中随机级数 $\sum g_n x_n$ 与 $\sum \varepsilon_n x_n$ 的几乎必然收敛性。
• 在特定条件下，将几乎必然收敛级数的空间 $G(B)$ 与 $R(B)$ 表征为与张量积 $L_p(\mu; \ell_2)$ 或基于 $H^1$ 的空间同构。
• 在算子空间上建立Rademacher级数空间 $R$ 的类似导数的公式，证明 $R(E\widehat{\otimes}F) \subset R(E)\widehat{\otimes}F + E\widehat{\otimes}R(F)$。
• 探讨关于高阶张量积与 $R$-空间二阶导数的开放问题，特别是在 $E=F=G=\ell_2$ 的情形下。

提出的方法

• 利用几乎必然收敛性与 $L_p$-收敛性在 $0 \leq p < \infty$ 下的等价性，将问题约化为 $L_2$-范数估计。
• 应用塔拉格朗德的主要测度条件作为问题1的一般解法，但重点聚焦于具有额外结构的特定巴拿赫空间（如 $L_p$、希尔伯特空间、算子空间）。
• 利用解析UMD性质与哈尓型分解，通过 $g_m, h_m$ 表示 $H^1(\Delta, B)$ 中的函数，并提取级数表示。
• 引入复 Steinhaus 级数 $f(t_0,t_1,\ldots) = \sum e^{it_n} x_n$，并利用无限环面 $\Delta$ 上的积分，将 $L_1$-范数与 Rademacher 级数范数联系起来。
• 通过 $H^2(\Delta, E)$ 与 $H^2(\Delta, F)$ 上的 $L_2$-估计推导范数不等式，从而得到 $\|\sum \varepsilon_n x_n\|_{R(E\widehat{\otimes}F)}$ 的界。
• 利用无限维环面的结构与条件期望 $E_n$，将 $x_n$ 分解为涉及 $d_n g_m$ 与 $d_n h_m$ 的分量，从而实现张量分解。

实验结果

研究问题

• RQ1 在巴拿赫空间 $B$ 中，序列 $(x_n)$ 满足何种条件时，随机级数 $\sum g_n x_n$ 几乎必然在范数意义下收敛？
• RQ2 在张量积空间上，几乎必然收敛的 Rademacher 级数空间 $R(E\widehat{\otimes}F)$ 是否可表征为 $R(E)\widehat{\otimes}F$ 与 $E\widehat{\otimes}R(F)$ 的和？
• RQ3 当 $1 < p, q < 2$ 时，空间 $L_p\widehat{\otimes}L_q$ 是否为有限型？当 $2 \leq p, q < \infty$ 时，其型为何？
• RQ4 类似导数的公式是否可推广至高阶张量积，如 $R(E\widehat{\otimes}F\widehat{\otimes}G)$，从而在每个因子上产生 $R$-项的和？
• RQ5 能否为 $R_1(R_2(E\widehat{\otimes}F))$ 建立类似于微积分乘积法则的二阶导数公式？

主要发现

• 当 $B = L_p(\mu)$ 时，几乎必然收敛的高斯级数与 Rademacher 级数空间 $G(B)$ 与 $R(B)$ 同构于 $L_p(\mu; \ell_2)$，且范数等价，仅依赖于 $p$。
• 当 $B = L_p(\mu)$ 且 $1 \leq p < \infty$ 时，级数 $\sum \varepsilon_n x_n$ 几乎必然收敛当且仅当 $\int \left( \sum |x_n(s)|^2 \right)^{p/2} d\mu(s) < \infty$。
• 在适当条件下，空间 $R(E\widehat{\otimes}F)$ 包含于 $R(E)\widehat{\otimes}F + E\widehat{\otimes}R(F)$，且包含映射的范数有界，其界依赖于 UMD 常数 $K(E)$ 与 $K(F)$。
• $\sum \varepsilon_n x_n$ 在 $R(E\widehat{\otimes}F)$ 中的范数被 $4(CK(E) + CK(F)) \|S\|_{R(E\widehat{\otimes}F)}$ 控制，从而证明了包含关系且常数可控。
• 当 $2 \leq p, q < \infty$ 时，空间 $L_p\widehat{\otimes}L_q$ 的型为 $\max(p,q)$，扩展了已知的 $p=q=2$ 情形结果。
• 开放问题仍在于：当 $1 < p < 2$，$1 < q \leq 2$ 时，$L_p\widehat{\otimes}L_q$ 是否具有有限型（例如型 2）？以及 $\ell_2\widehat{\otimes}\ell_2\widehat{\otimes}\ell_2$ 是否具有有限型。