[논문 리뷰] Random Series of Trace Class Operators

Gilles Pisier|arXiv (Cornell University)|2011. 03. 10.

Advanced Banach Space Theory참고 문헌 16인용 수 3

한 줄 요약

이 논문은 가우시안 및 라데마처 수열을 사용하여 트레이스 클래스 연산자의 무작위 급수의 거의 확실 수렴을 조사하며, $L_p$-노름에서의 수렴과 거의 확실 수렴을 연결하는 확률적 프레임워크를 수립한다. 주요 기여는 $G(B)$와 $R(B)$—거의 확실 수렴 급수의 공간—을 텐서곱 분해와 해석적 UMD 성질을 통해 특성화하는 것으로, 특히 적절한 조건 하에 $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$-기반 공간과의 등장사상으로 식별하기.
• 연산자 공간에서 라데마처 급수 공간 $R$에 대한 유사 도함수 공식을 수립하여 $R(E\widehat{\otimes}F) \subset R(E)\widehat{\otimes}F + E\widehat{\otimes}R(F)$를 보여주기.
• 특히 $E=F=G=\ell_2$인 경우에 대해 고차 텐서곱과 $R$-공간의 두 번째 도함수에 관한 열린 문제 탐색하기.

제안 방법

• 모든 $0 \leq p < \infty$ 에 대해 거의 확실 수렴과 $L_p$-수렴이 동치임을 이용하여 문제를 $L_2$-노름 추정으로 단순화한다.
• 문제 1의 일반적 해결책으로 탈라그랑의 주요 측도 조건을 적용하지만, 추가 구조를 가진 구체적 베르부르크 공간들($L_p$, 힐베르트, 연산자 공간 등)에 집중한다.
• 해석적 UMD 성질과 하르 유형 분해를 활용하여 $H^1(\Delta, B)$의 함수를 $g_m, h_m$로 표현하고 급수 표현을 추출한다.
• 복소 스텐하우스 급수 $f(t_0,t_1,\ldots) = \sum e^{it_n} x_n$를 도입하고 무한 토러스 $\Delta$ 위에서의 적분을 통해 $L_1$-노름과 라데마처 급수 노름을 연결한다.
• $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 텐서곱에서의 거의 확실 수렴 라데마처 급수 공간 $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))$에 대해 두 번째 도함수 공식을 수립할 수 있는가? 이는 미적분학의 곱의 법칙과 유사한가?

주요 결과

• 거의 확실 수렴 급수의 공간인 $G(B)$와 $R(B)$는 $B = L_p(\mu)$ 이면 $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$가 유한 코타입을 갖는지 여부이다.