[论文解读] Continuity of the Shafer-Vovk-Ville Operator

Natan T’Joens, Gert de Cooman+1 more|arXiv (Cornell University)|Apr 5, 2018

Risk and Portfolio Optimization参考文献 9被引用 3

一句话总结

本文研究了由 Shafer 和 Vovk 引入的博弈论上期望算子的连续性性质，该算子通过避免在所有可测事件上指定概率测度，推广了 K olmogorov 的测度论概率。主要贡献在于证明了该算子关于一致有下界的序列的上极限收敛具有连续性，且关于双侧截断的逐点极限也具有连续性，同时在此框架下建立了广义的 Fatou 引理。

ABSTRACT

Kolmogorovs axiomatic framework is the best-known approach to describing probabilities and, due to its use of the Lebesgue integral, leads to remarkably strong continuity properties. However, it relies on the specification of a probability measure on all measurable events. The game-theoretic framework proposed by Shafer and Vovk does without this restriction. They define global upper expectation operators using local betting options. We study the continuity properties of these more general operators. We prove that they are continuous with respect to upward convergence and show that this is not the case for downward convergence. We also prove a version of Fatous Lemma in this more general context. Finally, we prove their continuity with respect to point-wise limits of two-sided cuts.

研究动机与目标

• 分析在缺乏完整概率测度的情况下，Shafer-Vovk-Ville 上期望算子的连续性性质。
• 确定该算子在赌局序列的上、下收敛下是否保持极限。
• 将经典结果如 Fatou 引理推广至博弈论框架。
• 研究该算子关于赌局双侧截断的逐点极限的连续性。

提出的方法

• 本文通过一致有下界的上鞅定义上期望算子，其在博弈论框架中代表全局投注策略。
• 它将上期望表示为所有此类上鞅中确保财富过程非负所需的初始资本下确界。
• 分析依赖于构造辅助赌局 $ f_A $ 和 $ f_{A,B} $，分别对原赌局从下方和上方进行截断。
• 利用上鞅的单调性与收敛性性质，推导上期望泛函的极限行为。
• 证明依赖于样本空间 $ \Omega = \mathscr{X}^{\mathbb{N}} $ 中的柱集结构与路径收敛性。
• 关键结果通过上期望与下期望之间的对偶性以及共轭表示 $ \underline{\mathrm{E}}(f) = -\overline{\mathrm{E}}(-f) $ 推导得出。

实验结果

研究问题

• RQ1 Shafer-Vovk-Ville 上期望算子是否关于一致有下界的赌局序列的上收敛具有连续性？
• RQ2 该算子在下收敛下是否保持极限？若否，原因是什么？
• RQ3 能否在博弈论框架中建立广义的 Fatou 引理？
• RQ4 该算子是否关于赌局双侧截断的逐点极限具有连续性？
• RQ5 通过 $ f_A = \max\{f, A\} $ 截断赌局时，上期望的行为如何？

主要发现

• 上期望算子 $ \overline{\mathrm{E}}_{\mathrm{V}} $ 关于上收敛具有连续性：若 $ f_k \uparrow f $ 且 $ f_k $ 一致有下界，则 $ \overline{\mathrm{E}}_{\mathrm{V}}(f_k) \uparrow \overline{\mathrm{E}}_{\mathrm{V}}(f) $。
• 该算子关于下收敛不具有连续性，框架中已通过反例证明。
• 广义的 Fatou 引理成立：若 $ f_k \downarrow f $，则 $ \varlimsup \overline{\mathrm{E}}_{\mathrm{V}}(f_k) \geq \overline{\mathrm{E}}_{\mathrm{V}}(f) $。
• 该算子关于双侧截断的逐点极限具有连续性：$ \lim_{A \to -\infty} \lim_{B \to \infty} \overline{\mathrm{E}}_{\mathrm{V}}(f_{A,B}) = \overline{\mathrm{E}}_{\mathrm{V}}(f) $，其中 $ f_{A,B} = \max\{\min\{f, B\}, A\} $。
• 对于任意上期望有限的赌局 $ f $，存在截断 $ f_A $，使得对所有 $ A \leq A^* $，有 $ \overline{\mathrm{E}}_{\mathrm{V}}(f_A) < \infty $，从而确保下截断下的稳定性。
• 极限 $ \lim_{A \to -\infty} \overline{\mathrm{E}}_{\mathrm{V}}(f_A) = \overline{\mathrm{E}}_{\mathrm{V}}(f) $ 成立，这对于建立截断下的连续性至关重要。