최적 측정과 마르코프 전이 커널

본 논문은 “측정의 최적화”라는 추상적 문제를 통해 전통적인 정보 이론·통계 물리학의 변분 문제를 일반화한다. 먼저, 유한·무한 집합 Ω 위에 정의된 실측정 공간 Y와 그 듀얼 X 를 설정하고, 정보 자원을 나타내는 폐쇄 함수 F: Y→ℝ∪{∞} 를 도입한다. F는 KL‑다이버전스와 같은 전통적 정보 거리의 일반화 형태이며, 그 듀얼 F* 가 엄격히 볼록하면 최적화 문제의 해가 양의 원뿔 Y₊ 의 내부에 존재한다는 기본 정리를 증명한다. 이때 최적값 함수 v(u)=inf{F(y) | ⟨x,y⟩≥u} 는 u 에 대한 순서 동형성을 가지며, 이는 F* 와 v 가 서로 Legendre‑Fenchel 변환 관계에 있음을 의미한다. 이러한 구조적 특성은 최적 측정 y* 가 동일한 지지(support)를 공유함을 보장한다. 즉, 최적 측정들 사이에 절대 연속성(mutual absolute continuity)이 성립한다. 절대 연속성의 의미를 복합 시스템 Ω=A×B 에 적용하면, 최적 결합 측정 P(A×B) 는 모든 a∈A 에 대해 P(a)>0 이면 조건부 확률 P(a|b)>0 을 만족한다. 따라서 전이 커널 K(a|b) 은 반드시 비결정론적이며, 하나의 b 에 대해 여러 a 가 양의 확률을 갖는다. 반대로, 결정론적 커널은 K(a|b)∈{0,1} 형태이므로 절대 연속성을 위배한다. 논문은 이 사실을 정리(정리 4)로 명시한다: “정보 자원 F 가 엄격히 볼록한 경우, 최적 마르코프 전이 커널은 비결정론적이며, 모든 결정론적 커널은 정보 제약이 존재하면 엄격히 비최적이다.” 이때 비최적성은 두 가지 형태로 나타난다. 첫째, 기대 효용 E_u