[논문 리뷰] Continuity Properties of Game-theoretic Upper Expectations

Natan T’Joens, Jasper De Bock외 1명|arXiv (Cornell University)|2019. 02. 25.

Bayesian Modeling and Causal Inference참고 문헌 8인용 수 5

한 줄 요약

이 논문은 이산 시간 불확실 과정에서 게임이론적 상한 기대값의 연속성 성질을 조사하며, 비감소 수열과 유한기능 함수에 대한 그 행동에 대한 기초 결과를 수립한다. 이는 유계 아래의 수열에 대해 점별 수렴하는 유한기능 도박에 대해 상한 기대값 연산자가 연속적임을 증명함으로써, 게임이론적 확률에서의 불확실성 모델링을 위한 핵심 기술적 기반을 제공한다.

ABSTRACT

We consider discrete-time uncertain processes with finite state space and study the properties of game-theoretic upper expectations developed by Shafer and Vovk. We start by proving some basic properties, e.g. monotonicity, law of iterated upper expectations,... Afterwards, we show that this operator satisfies several, more involved continuity properties, including continuity with respect to non-decreasing sequences and continuity with respect to specific sequences of so-called `finitary measurable' functions, which are functions that depend on a finite number of states.

연구 동기 및 목표

• 유계 아래의 확장된 실수 변수의 비감소 수열에 대해 게임이론적 상한 기대값의 연속성 성질을 수립하기 위해.
• 유한한 수의 상태에만 의존하는 유한기능 함수의 수열에 대해 상한 기대값의 행동을 조사하기 위해.
• 동반 논문에서 사용된 직관적 공리들을 만족하는 가장 보수적인 불확실성 모델을 특성화하기 위한 기술적 기반을 제공하기 위해.
• 초마팅글과 전역 게임이론적 상한 기대값 연산자 간의 관계를 체계화하기 위해.
• 주어진 상황에서의 상한 기대값이 국소적으로 함수를 지배하는 모든 유한기능, 한계 유계 도박에 대한 기대값의 하한값과 동일하다는 것을 증명하기 위해.

제안 방법

• 상한 기대값을 네 가지 공리(E1–E4)를 사용하여 유계 아래의 확장된 실수 변수에 정의하며, 이는 일관성과 단조성 포함.
• 초마팅글을 유한한 역사에 정의된 자본 과정으로 정의하여 동적 불확실성을 모델링한다.
• 각 상황에서 초마팅글 값의 하한을 취하여 게임이론적 상한 기대값 연산자를 구성함으로써 전역 일관성을 확보한다.
• 일반적인 확장된 실수 변수를 근사하기 위해 유한기능 도박( n-가측 함수)의 수열을 사용하며, 점별 수렴을 보장한다.
• 모든 (sup h_m)-가측 도박 수열을 n-가측 도박 수열로 변환하여 가측성과 수렴성을 유지한다.
• 상황 s에서의 상한 기대값 E_V(f|s)가 Γ(s)에서 함수를 점별로 지배하는 모든 유한기능, 한계 유계 도박 g에 대해 E_V(g|s)의 하한값과 동일하다는 것을 증명한다.

실험 결과

연구 질문

• RQ1 게임이론적 상한 기대값은 유계 아래의 비감소 수열의 확장된 실수 변수에 대해 연속적인가?
• RQ2 상한 기대값 연산자는 유한한 수의 상태에 의존하는 유한기능 함수 수열에 적용될 때 수렴성을 유지하는가?
• RQ3 주어진 상황에서의 상한 기대값은 모든 유한기능, 한계 유계 지배 도박에 대한 기대값의 하한값으로 특성화될 수 있는가?
• RQ4 초마팅글은 동적 불확실성을 모델링할 때 전역 게임이론적 상한 기대값 연산자와 어떻게 관련되는가?
• RQ5 지배 수열의 점별 수렴에 대해 상한 기대값 연산자는 단조성과 일관성을 유지하는가?

주요 결과

• 상한 기대값 연산자는 비감소 수열의 유계 아래 확장된 실수 변수에 대해 연속적임이 입증되었으며, 이는 극한 상한 부등식과 적절한 n-가측 도박 수열의 구성에 의해 입증된다.
• 모든 상황 s와 확장된 실수 변수 공간의 함수 f에 대해, 상한 기대값 E_V(f|s)는 Γ(s)에서 f를 지배하는 모든 유한기능, 한계 유계 도박 g에 대해 E_V(g|s)의 하한값과 동일하다.
• 증명 과정에서 Γ(s)에서 f를 점별로 지배하는 임의의 초마팅글은 E_V(f|s)의 상한을 제공할 수 있으며, 이는 하한값 특성화를 이끈다.
• f로 점별 수렴하는 n-가측 도박 수열 {f_n}의 구성은 limsup의 기대값이 E_V(f|s) 이하로 유계임을 보장하며, 이는 연속성에 있어 핵심적이다.
• 결과는 게임이론적 상한 기대값이 일관성과 단조성 공리를 만족하는 가장 보수적인 모델임을 확인하며, 이는 일관된 초마팅글 기반 기대값의 하한값으로 정의되기 때문이다.
• 근사 수열이 일정하게 유계 위로 되어 있지 않더라도, 유계 아래로만 되어 있고 점별 수렴이 이루어지면 연속성 결과가 유지된다.