[論文レビュー] A random version of Mazur's lemma

José Miguel Zapata-García|arXiv (Cornell University)|Sep 28, 2014

Point processes and geometric inequalities参考文献 10被引用数 5

ひとこと要約

本稿は、局所的 $L^0$-凸モジュラの文脈において、Mazurの補題の確率的バージョンを確立し、ネットの弱収束が、凸包の可算連結閉包内での凸結合の強収束を示すことを証明している。主な貢献は、可算連結性条件が本質的であることを示したことである。反例により、古典的凸包では極限を捉えられず、より強い閉包性質が不可欠であることが示された。

ABSTRACT

The purpose of this paper is to generalize the classical Mazur's lemma from the classical convex analysis to the framework of locally $L^0$-convex modules. In this version an extra condition of countable concatenation is included. We provide a counterexample showing that this condition cannot be removed.

研究の動機と目的

• バナッハ空間におけるMazurの古典的補題を、局所的 $L^0$-凸モジュラの枠組みへ拡張すること。
• この確率的補題が成り立つために必要な追加条件（可算連結性）を同定すること。
• 反例を用いて、可算連結性条件が省略できないことを示すこと。
• 古典的凸解析の道具を $L^0$-モジュラの文脈に適応することで、条件付きリスク測度の理論的基盤を提供すること。
• $L^0$-モジュラ文脈におけるゲージ関数および位相的性質が凸解析に果たす役割を確立すること。

提案手法

• $L^0$ のラティス順序付き環構造とほとんど確実な優越順序を組み込むことで、$L^0$-モジュラへの古典的凸解析道具の一般化。
• $L^0$-凸性、$L^0$-吸収的、$L^0$-斉次、および相対的可算連結性を満たす近傍基を備えた局所的 $L^0$-凸モジュラの定義。
• $L^0$-セミノルムおよび $L^0$-ノルムを導入し、モジュラ上の位相を定義することで、収束および有界性の研究を可能にする。
• $L^0$ 内の本質的上界および下界を用いてゲージ関数を構成し、$L^0$-モジュラの位相を分析する。
• $L^2_{\mathcal{F}}(\mathcal{E})$ 内で、$\mathbb{N}^\mathbb{N}$ に添え字付けられたネット $\{X_{\{n_k\}}\}$ を構成し、二進区間上での振動挙動をモデル化する。
• すべての $Y \in L^2_{\mathcal{F}}(\mathcal{E})$ に対して $\mathbb{E}[X_{\{n_k\}} Y \mid \mathcal{F}] \to 0$ を示すことにより、ゼロへの弱収束を証明するが、$L^0$-凸包のクラスターポイントとして $0$ が存在しないことを示す。

実験結果

リサーチクエスチョン

• RQ1 スカラーが実数ではなく $L^0$ 内の確率的変数である局所的 $L^0$-凸モジュラの文脈において、Mazurの補題を拡張できるか？
• RQ2 弱収束が凸結合の強収束を保証するための、$L^0$-モジュラ文脈における追加の位相的または代数的条件は何か？
• RQ3 収束結果において、可算連結閉包が不可欠であるか、それとも $L^0$-凸包だけで十分か？
• RQ4 弱収束が成立するが、極限が $L^0$-凸包の閉包に属さないような反例を構成できるか。これにより、可算連結性の必要性が証明される。
• RQ5 ゲージ関数および $L^0$-セミノルムの構造が、$L^0$-モジュラにおける収束性にどのように影響するか？

主な発見

• $L^0$-凸包をその可算連結閉包に置き換えることで、確率的Mazurの補題が成立し、弱収束するネットからの凸結合の部分列の強収束が保証される。
• 可算連結性条件は本質的である：反例により、この条件がなければ、弱収束するネットの極限が $L^0$-凸包のクラスターポイントでないことが示された。
• 二進区間 $A_k = [2^{-k}, 2^{-k+1})$ 上で定義されたネット $X_{\{n_k\}}$ は、$L^2_{\mathcal{F}}(\mathcal{E})$ 内でゼロに弱収束する。これは、双対空間のすべての $Y$ に対して $\mathbb{E}[X_{\{n_k\}} Y \mid \mathcal{F}] \to 0$ であることを示す。
• ネットの $L^0$-凸包内の任意の要素 $Y$ に対して、$\|Y \mid \mathcal{F}\|_2^2 \geq \sum_{k \in \mathbb{N}} \frac{1}{2^{N-1}} 1_{A_k}$ が成り立つ。ここで $N$ は凸結合に含まれる項の数である。
• ノルムの下界は、$0$ が正の測度の集合上でゼロから離れていることから、$L^0$-凸包のクラスターポイントではあり得ないことを示している。
• この結果により、この文脈において可算連結閉包は $L^0$-凸包よりも厳密に大きいことが確認され、かつ収束性が成り立つためには前者が不可欠であることが示された。