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

기술 요약: "법칙에 따라, 모든 평균이 0인 리스크는 동일한 분포를 가진 두 리스크의 차이이다"

문제 정의
본 논문은 확률론 및 리스크 분석의 근본적인 질문을 다룬다: 평균이 0인 $\mathbb{R}$ 상의 모든 확률 법칙이 동일한 주변 분포(marginal distribution)를 공유하는 두 독립적(또는 종속적) 확률 변수의 차이로 표현될 수 있는가? 구체적으로, 평균이 0인 법칙 $\mu$가 주어졌을 때, $X - Y$의 법칙이 $\mu$와 같아지는 동일한 분포의 확률 변수 $X$와 $Y$를 구성하는 것이 목적이다. 이 문제는 Maccheroni et al. (2025)에서 리스크 회피 및 보험 성향과 관련하여 유지되는 "적절성 가정(adequacy assumption)"의 맥락 내에서 발생한다.

방법론
저자 Mark Whitmeyer는 Maccheroni et al. (2025)의 적절성 가정에서 요구되는 특정 사례들에 대해 문제를 해결하는 구성적 증명(constructive proof)을 제공한다. 방법론은 확률 측도 $P$의 성격에 따라 두 가지로 나뉜다:

1. 유한-균등 사례 (The Finite-Uniform Case):
   유한-균등 조건을 만족하는 측도의 경우, 본 논문은 Maccheroni et al. (2025)에서 이미 제공된 "순환 부분합 구성(cyclic partial-sum construction)"에 의존한다. 이 부분집합에 대해서는 새로운 구성이 필요하지 않다.

2. 비원자 사례 (The Nonatomic Case):
   평균이 0인 비원자 확률 측도 $P$에 대하여, 저자는 $X$와 $Y$가 유도되는 곱공간 $S = \mathbb{R}^2$ 상의 결합 분포 $\nu$를 구성한다. 구성 과정은 다음과 같다:

   • 분해 (Decomposition): 측도 $\mu$는 원점에서의 원자($p_0 = \mu(\{0\})$), 양의 부분 $\mu_+ = \mu|_{(0, \infty)}$, 그리고 변환된 음의 부분 $\mu_- = (-\text{id})_\#(\mu|_{(-\infty, 0)})$로 분해된다.
   • 정규화 (Normalization): 스케일링 인자 $a$는 양의 부분의 1차 모멘트로 정의된다: $a = \int_0^\infty x \mu_+(dx) = \int_0^\infty y \mu_-(dy)$.
   • 결합 측도 구성 (Joint Measure Construction):
     • 만약 $a = 0$이면, 결합 측도는 단순히 $\nu = \delta_{(0,0)}$이며, 이는 $X=Y=0$이 거의 확실하게(almost surely) 성립함을 의미한다.
     • 만약 $a > 0$이면, 결합 측도 $\nu$는 원점에서의 원자와 연속 성분의 혼합으로 정의된다. 연속 성분은 $(0, \infty)^2$ 상에서 $\mu_+(dx)\mu_-(dy)$에 대해 적분함으로써 구성된다. 각 쌍 $(x, y)$에 대하여, 구간 $[-y, x)$ 상에서 회전 $R_{x,y}$가 적용되며, 이 측도는 해당 구간에 대해 평균화된다.
   • 주변 분포 검증 (Marginal Verification): 저자는 이 구성을 통해 $\nu$의 주변 분포가 동일함($X \stackrel{d}{=} Y$)을 입증한다. 또한, 구성된 측도의 푸시포워드(pushforward) 계산을 통해 $X - Y$의 분포가 원래의 측도 $\mu$를 회복함을 보여준다.

주요 결과
주요 결과는 임의의 평균 0인 법칙 $\mu$에 대하여, $X - Y \stackrel{d}{=} \mu$를 만족하는 동일한 분포의 확률 변수 $X$와 $Y$가 존재한다는 엄밀한 증명이다. 본 논문은 특히 Maccheroni et al. (2025)의 Lemma 1 중 "비원자 사례"를 검증한다.

또한, 본 논문은 구성된 변수들의 적분 가능성(integrability) 특성을 확립한다:

• 대상 측도 $\mu$가 유계(bounded, 즉 컴팩트 구간에 지지됨)인 경우, 구성된 $X$와 $Y$는 본질적으로 유계($L^\infty$)이다.
• 대상 측도 $\mu$가 모든 차수의 유한 모멘트($M^\infty$)를 갖는 경우, 구성된 $X$와 $Y$ 역시 모든 차수의 유한 모멘트를 갖는다.

의의 및 주장
본 논문은 Maccheroni et al. (2025)에서 제안된 경제적 프레임워크의 "적절성 가정"을 완전히 실증하는 데 필요한 누락된 기술적 연결 고리를 제공한다고 주장한다. 유한-균형 사례와 비원자 사례 모두에서 분해가 성립함을 증명함으로써, 본 논문은 이 두 사례가 인용된 문헌의 경제 모델에 필요한 가정을 "완전하게 채운다(exhaust)"고 단언한다.

저자는 자신의 기여를 광범위한 새로운 확률 이론이라기보다, 참조된 경제 문헌 내의 특정 정리(Lemma 1)에 대한 증명으로 겸허하게 규정한다. 이 작업은 "KS"에게 헌정되었으며, 증명 검토를 위해 ChatGPT를 사용했음을 밝힌다. 결론적으로, 본 논문은 모든 평균 0인 리스크가 실제로 두 동일 분포 리스크의 차이로 표현될 수 있음을 성공적으로 입증하여, 참조된 경제 분석의 이론적 토대를 검증하였다.