[論文レビュー] The Independence under Sublinear Expectations

Mingshang Hu|arXiv (Cornell University)|Jul 2, 2011

Stochastic processes and financial applications参考文献 8被引用数 3

ひとこと要約

本稿は、部分線形期待値の下で、二つの非自明な確率変数 X と Y が互いに独立（すなわち、X が Y に対して独立であり、Y が X に対して独立である）であるならば、両者とも最大分布でなければならないことを確立する。主な貢献は、相互独立性を満たす唯一の可能な分布が最大分布であることを証明し、部分線形期待値理論における、対称的独立性のもとでのこのような分布の一意性に関する根本的問題を解決したことにある。

ABSTRACT

We show that, for two non-trivial random variables X and Y under a sublinear expectation space, if X is independent from Y and Y is independent from X, then X and Y must be maximally distributed.

研究の動機と目的

• 部分線形期待値空間における相互独立性（X が Y に対して独立であり、Y が X に対して独立である）が、一意な分布的構造を意味するかどうかを調査すること。
• 両方向の独立性が成立する場合に最大分布が唯一の可能な分布であるかどうかという未解決問題を解明すること。
• 独立性の対称性が課された部分線形期待値における確率変数の構造的制約を明確化すること。
• Pengの基礎的枠組みを拡張し、独立性の対称性を用いて最大分布の特徴づけを確立すること。

提案手法

• 部分線形期待値を族の線形期待値の上界として表現する：$\mathbb{\hat{E}}[X] = \sup_{\theta \in \Theta} E_\theta[X]$。
• 分布的不確実性の概念を適用し、$\mathbb{\hat{E}}[\psi(Y)] = \max_{P \in \mathcal{P}} E_P[\psi]$ を満たす弱コンパクトな確率測度族 $\mathcal{P}$ を構成する。
• 関数的反復プロセスを用い、写像 $G(a) = a^+ - \varepsilon a^-$ を用いて $\mathbb{\hat{E}}[G^n(\psi(Y))]$ の挙動を分析し、恒等式 $\mathbb{\hat{E}}[\psi^+(Y)] = (\mathbb{\hat{E}}[\psi(Y)])^+$ を導出する。
• 分布の台を分析するために、$c(A) = \sup_{P \in \mathcal{P}} P(A)$ という容量を導入し、すべての $\psi \in C_{b.Lip}(\mathbb{R})$ に対して $\psi(Y)$ の本質的上限が $\mathbb{\hat{E}}[\psi(Y)]$ に等しいことを証明する。
• すべての $\psi$ に対して $\psi(y_0) \leq \mathbb{\hat{E}}[\psi(Y)]$ を満たす点 $y_0$ が存在しないと仮定すると、Heine-Borel定理を用いて矛盾を導き、単一の点にDirac質量が存在することを証明する。
• すべての $\psi$ に対して $\psi(y) \leq \mathbb{\hat{E}}[\psi(Y)]$ を満たす点の閉集合 $B$ を用いて、新しいDirac測度族 $\mathcal{P}' = \{\delta_y : y \in B\}$ を構成し、Y が最大分布であることを示す。

実験結果

リサーチクエスチョン

• RQ1 部分線形期待値の下で、相互独立性（X が Y に対して独立であり、Y が X に対して独立である）が、X と Y が最大分布でなければならないことを意味するか？
• RQ2 部分線形期待値空間において、両方向の独立性が成立する場合に最大分布が唯一の可能な分布であるか？
• RQ3 部分線形フレームワークにおける独立性の対称性を用いて、下位の分布の構造を特徴づけることができるか？
• RQ4 容量 $c(A) = \sup_{P \in \mathcal{P}} P(A)$ は、最大分布確率変数の台を特定する際に果たす役割は何か？
• RQ5 集合 $\mathcal{H}_0 = \{\varphi(x)\psi(y)\}$ は部分線形期待値を特定するのに十分か、それ以上の条件が必要か？

主な発見

• 部分線形期待値の下で、X と Y が相互に独立であるならば、両者とも最大分布でなければならない。これは、分布が単一の点に集中していることを意味する。
• すべての $\psi \in C_{b.Lip}(\mathbb{R})$ に対して $\mathbb{\hat{E}}[\psi^+(Y)] = (\mathbb{\hat{E}}[\psi(Y)])^+$ が成り立つならば、Y は最大分布でなければならないことを証明した。
• Heine-Borel定理と容量 $c(A)$ を用いた背理法により、すべての $\psi \in C_{b.Lip}(\mathbb{R})$ に対して $\psi(y_0) \leq \mathbb{\hat{E}}[\psi(Y)]$ を満たす点 $y_0$ の存在が確立された。
• Y の分布が $\mathbb{\hat{E}}[\psi(Y)] = \max_{P \in \mathcal{P}'} E_P[\psi]$ と表せることを示し、最大分布であることを確認した。
• 本結果は、標準的独立性に限らず、弱い独立性に対しても成り立つことから、特徴づけの堅牢性が示された。
• 本稿は、部分線形期待値空間における相互独立性条件の唯一の解が最大分布であることを証明し、未解決問題を解決した。