캘리브레이션을 위한 기하학적 증명

초록

본 논문은 Blackwell의 접근 가능성 정리를 이용해 임의의 유한한 결과 공간에 대해 보정된 예측자를 존재함을 간결하게 증명한다. 벡터값 보상 함수를 신중히 설계하고, 목표 집합을 적절히 정의함으로써 기존의 이진 경우 증명과 본질적으로 동일한 메커니즘을 일반화한다.

상세 분석

이 논문은 예측 보정(calibration) 문제를 게임 이론의 접근 가능성(approachability) 프레임워크에 직접 매핑함으로써 새로운 시각을 제공한다. 먼저, 예측자는 매 시점 t에서 확률 벡터 pₜ∈Δₖ(결과가 k가지인 단순체)를 제시하고, 자연은 실제 결과 xₜ∈{e₁,…,eₖ}를 선택한다. 보정이란 장기 평균에서 pₜ와 실제 관측 빈도 사이의 차이가 0에 수렴하는 것을 의미한다. 기존 증명들은 보통 확률적 마르코프 부등식이나 이진 경우의 특수 구조에 의존했지만, 저자는 벡터값 보상 함수 g(pₜ,xₜ)=pₜ−xₜ를 정의하고, 목표 집합 C={v∈ℝᵏ:‖v‖₁≤ε}와 같이 작은 L₁-볼을 설정한다. Blackwell 정리에 따르면, 플레이어가 매 라운드마다 기대 보상이 C에 접근하도록 전략을 선택할 수 있다면, 실제 보상 평균도 C에 수렴한다. 핵심은 “모든 가능한 자연의 행동에 대해, 예측자가 적절히 pₜ를 조정하면 기대 보상이 C 안에 들어간다”는 조건을 만족시키는지 확인하는 것이다. 이를 위해 저자는 선형성 및 삼각 부등식을 활용해, pₜ를 현재 누적 오차 벡터의 부호에 따라 선택하면 기대 보상이 C에 들어감(즉, ⟨v−c, E