By Law, Every Zero-Mean Risk Is the Difference of Two Equally Distributed Risks

技術的要約：「法に基づき、すべての平均ゼロのリスクは、等しく分布する二つのリスクの差である」

問題提起
本論文は、確率論およびリスク分析における根本的な問い、すなわち、期待値がゼロである $\mathbb{R}$ 上のあらゆる確率法則は、同一の周辺分布を持つ二つの独立（または従属）な確率変数の差として表現できるか否かという問題に取り組んでいる。具体的には、平均ゼロの法則 $\mu$ が与えられたとき、その差の法則 $X - Y$ が $\mu$ に一致するように、同一の分布を持つ確率変数 $X$ と $Y$ を構成することを目的とする。この問題は、Maccheroniら(2025)におけるリスク回避度と保険加入傾向に関する「妥当性の仮定（adequacy assumption）」の文脈において生じている。

手法
著者であるMark Whitmeyerは、Maccheroniら(2025)における妥当性の仮定で必要とされる特定のケースに対して、この問題を解決する構成的な証明を提供している。手法は、確率測度 $P$ の性質に基づいて二分される：

1. 有限一様ケース（The Finite-Uniform Case）：
   有限一様条件を満たす測度については、本論文はMaccheroniら(2025)によって既に提供されている「循環的部分和構成法（cyclic partial-sum construction）」に依拠している。このサブセットについては、新たな構成は必要とされない。

2. 非原子ケース（The Nonatomic Case）：
   平均ゼロの非原子確率測度 $P$ に対して、著者は $X$ と $Y$ が導出される積空間 $S = \mathbb{R}^2$ 上の結合分布 $\nu$ を構成する。構成は以下の手順で行われる：

   • 分解： 測度 $\mu$ は、原点における原子（$p_0 = \mu(\{0\})$）、正の部分 $\mu_+ = \mu|_{(0, \infty)}$、および変換された負の部分 $\mu_- = (-\text{id})_\#(\mu|_{(-\infty, 0)})$ に分解される。
   • 正規化： スケーリング因子 $a$ は、正の部分の一次モーメントとして定義される：$a = \int_0^\infty x \mu_+(dx) = \int_0^\infty y \mu_-(dy)$。
   • 結合測度の構成：
     • $a = 0$ の場合、結合測量は単に $\nu = \delta_{(0,0)}$ であり、これは $X=Y=0$ がほとんど確実に成立することを意味する。
     • $a > 0$ の場合、結合測量 $\nu$ は、原点における原子と連続成分の混合として定義される。連続成分は、$(0, \infty)^2$ 上で $\mu_+(dx)\mu_-(dy)$ に関して積分することによって構成される。各ペア $(x, y)$ に対して、区間 $[-y, x)$ 上に回転 $R_{x,y}$ が適用され、測量はこの区間上で平均化される。
   • 周辺分布の検証： 著者は、この構成の下で $\nu$ の周辺分布が同一（$X \stackrel{d}{=} Y$）であることを示している。さらに、構成された測量の押し出し（pushforward）に関する計算を通じて、$X - Y$ の分布が元の測量 $\mu$ を回収できることを示している。

主要な結果
主要な結果は、任意の平均ゼロの法則 $\mu$（$\mathbb{R}$ 上）に対して、$X - Y \stackrel{d}{=} \mu$ となる同一分布の確率変数 $X$ と $Y$ が存在するという厳密な証明である。本論文は、Maccheroniら(2025)におけるLemma 1の「非原子ケース」を具体的に検証している。

さらに、本論文は構成された変数の可積分特性を確立している：

• 対象となる測度 $\mu$ が有界である（すなわち、コンパクトな区間に支持されている）場合、構成された $X$ と $Y$ は本質的に有界（$L^\infty$）である。
• 対象となる測度 $\mu$ がすべての次数の有限モーメントを持つ（$M^\infty$）場合、構成された $X$ と $Y$ もまたすべての次数の有限モーメントを持つ。

意義および主張
本論文は、Maccheroniら(2025)で提案された経済学的枠組みにおける「妥当性の仮定」を完全に実証するために必要な、欠落していた技術的連鎖を提供したと主張している。有限一様ケースと非原子ケースの両方について分解が可能であることを証明することで、本論文はこれら二つのケースが、引用された著作における経済モデルに必要な仮定を「網羅」していると断言している。

著者は、自身の貢献を、広範な新しい確率論の理論ではなく、参照された経済学文献における特定の補題（Lemma 1）の証明であると控えめに位置づけている。本論文は「KS」に捧げられ、証明のチェックにChatGPTを使用したことを謝辞として述べている。結論として、本論文は、すべてのゼロ平均のリスクは確かに二つの等しく分布するリスクの差として表現できることを示す構成に成功しており、それによって参照された経済分析の理論的根拠を検証したとしている。