[論文レビュー] Subgaussian sequences in probability and Fourier analysis

Gilles Pisier|arXiv (Cornell University)|Jul 4, 2016

Mathematical Analysis and Transform Methods参考文献 29被引用数 11

ひとこと要約

この論文は、確率論におけるサブガウスィアン列と調和解析の間の深い関係を確立し、特にトーラス上のサブガウスィアン三角関数系がシドン集合と関連することを示している。一様有界正規直交系がサブガウスィアンであるための必要十分条件が、それがシドンであることであることを証明し、古典的結果を一般化するとともに、演算子論的技法とメーラー核を用いて、有界正規直交系の文脈における長年の未解決問題を解消した。

ABSTRACT

This is a review on subgaussian sequences of random variables, prepared for the Mediterranean Institute for the Mathematical Sciences (MIMS). We first describe the main examples of such sequences. Then we focus on examples coming from the harmonic analysis of Fourier series and we describe the connection of subgaussian sequences of characters on the unidimensional torus (or any compact Abelian group) with Sidon sets. We explain the main combinatorial open problem concerning such subgaussian sequences. We present the answer to the analogous question for subgaussian bounded mean oscillation (BMO) sequences on the unit circle. Lastly, we describe several very recent results that provide a generalization of the preceding ones when the trigonometric system (or its analogue on a compact Abelian group) is replaced by an arbitrary orthonormal system bounded in $L_\infty$.

研究の動機と目的

• コンパクトなアーベル群上のフーリエ解析の文脈において、サブガウスィアン列を特徴づけること。
• そのインデックス集合の算術的性質に基づいてサブガウスィアン列を特徴づけるという未解決問題を解消すること。
• 三角関数系に限らない、任意の一様有界正規直交系へのサブガウスィアン列とシドン集合の間の関係を拡張すること。
• 単位円上のサブガウスィアン有界変動平均（BMO）列がシドン性によって特徴づけられることを確立すること。
• 現代の確率論および関数解析の道具を用いて、古典的なシドン集合に関する結果を一般化すること。

提案手法

• モーメント母関数の有界性に基づくサブガウスィアン列の定義を用いる：E[exp(∑xₙfₙ)] ≤ exp(s²∑xₙ²/2)。
• メーラー核（オルンシュタイン＝ウーレンバック半群）を用いて、正規直交系のテンソル積の近似を構成する。
• 演算子論的分解を用いる：∑φₙ⊗φₙ = t + r で、t は ∧-ノルムに属し、r は演算子ノルムに属する。
• 補間法と有限ランク近似を用いて、L₁-テンソルの結果を L₁⊗L₁ 内の有限ランク作用素へと拡張する。
• スレピアンの定理およびタラグランドの比較定理を用いて、サブガウスィアン性とガウス過程との関係を確立する。
• 列がサブガウスィアンであるための必要十分条件が、その実部と虚部がともにサブガウスィアンであることであるという事実を用いることで、複素数値解析を可能にする。

実験結果

リサーチクエスチョン

• RQ1 トーラス上の文字列が何時サブガウスィアンであり、それがシドン集合とどのように関係するか？
• RQ2 調和解析におけるサブガウスィアン列の特徴づけにおいて、群構造を除去することは可能か？
• RQ3 単位円上のすべてのサブガウスィアン有界正規直交系は、必然的にシドンであるか？
• RQ4 メーラー核は、正規直交系のテンソル積の近似においてどのような役割を果たすか？
• RQ5 サブガウスィアン性は、k > 1 に対して ⊗ᵏ-シドン性を意味するか？

主な発見

• 単位円上では、三角関数系の部分列がサブガウスィアンであるための必要十分条件が、それがシドン集合であることである。
• 一様有界正規直交系に対しては、サブガウスィアンであることとシドンであることとは同値であり、これは調和解析における主要な未解決問題を解消した。
• 本論文は、(φₙ) がサブガウスィアンであることと、(φₙ⊗φₙ) が定数 ≤ 2Cw(δ) でシドンであることとは同値であることを証明した。ここで w(δ) は δ の関数である。
• 証明では、メーラー核を用いて ∑φₙ⊗φₙ = t + r の分解を構成し、‖t‖∧ ≤ Cw(δ) および ‖r‖∨ ≤ Cδ を満たすことを示した。
• この結果は Lᵖ 範囲へ拡張可能である：1 < p < 2 に対して、サブガウスィアン系は f = ∑aₙφₙ に対して ‖f‖ψp′ ≤ Cₚ‖(aₙ)‖p,∞ を満たす。
• 本論文は、(φₙ) が確率的シドンであることと、ある k ≥ 4 に対して ⊗ᵏ-シドンであることとは同値であることを示したが、k = 2,3 の場合については未解決のまま残っている。