선택적 중단 정리

선택적 중단 정리(Optional Stopping Theorem)는 무한정 기다리는 것을 배제하는 조건 하에서, 공정한 게임을 영리하게 선택된 임의의 시간에 중단하는 것이 기대값을 변경할 수 없다고 말합니다.

Definition

선택적 중단 정리(Optional Stopping Theorem)는 적절한 적분가능성 또는 유계성 조건을 만족하는 마팅게일(martingale)과 중단 시간(stopping time)에 대해, 중단 시간에서의 마팅게일의 기대값은 초기 기대값과 같으므로, 중단된 마팅게일은 여전히 마팅게일임을 주장합니다.

Scope

이 주제는 중단 시간(stopping times)과 중단된 과정(stopped process), 선택적 중단 정리의 진술 및 유계 중단 시간(bounded stopping times), 유계 마팅게일(bounded martingales) 또는 균등 적분가능성(uniform integrability)과 같은 가설, 가설이 필요한 이유를 보여주는 더블링 전략(doubling strategy)과 같은 반례, 그리고 도박사의 파산(gambler's ruin), 무작위 행보의 도달 확률(hitting probabilities of random walks), Wald의 항등식(Wald's identities)에 대한 응용을 다룹니다.

Core questions

• 중단 시간(stopping time)이란 무엇이며, 과정(process)을 중단 시간에서 중단한다는 것은 무엇을 의미합니까?
• 어떤 조건에서 선택적 중단(optional stopping)이 기대값(expectation)을 보존합니까?
• 일부 중단 전략이 공정한 게임을 이기는 것처럼 보이는 이유는 무엇이며, 어떤 가설이 실패합니까?
• 이 정리는 도달 확률(hitting probabilities)과 예상 도달 시간(expected hitting times)을 어떻게 산출합니까?

Key theories

충분 조건 하의 선택적 중단

중단 시간(stopping time)이 유계(bounded)이거나, 마팅게일(martingale)이 유계이거나, 중단된 값들의 집합이 균등 적분가능(uniformly integrable)하다면, 중단 시간에서의 마팅게일의 기대값은 시작 값과 같아 공정한 게임 속성(fair-game property)이 보존됩니다.

Wald의 항등식과 파산 문제

무작위 행보 마팅게일(random-walk martingale)에 선택적 중단(optional stopping)을 적용하면 중단된 합(stopped sum)과 중단 시간(stopping time)을 연결하는 Wald의 첫 번째 및 두 번째 항등식이 도출되며, 명시적인 도박사의 파산 확률(gambler's-ruin probabilities)과 예상 지속 시간(expected durations)을 제공합니다.

Clinical relevance

선택적 중단은 어떤 베팅 시스템도 공정한 게임을 이길 수 없는 엄격한 이유이며, 무작위 행보(random walks)에 대한 파산 및 도달 확률(hitting probabilities)의 명확한 유도를 제공하고, 순차 통계(sequential statistics)에서는 데이터가 도착함에 따라 적응적으로 중단되는 테스트의 오류를 제어합니다.

History

Doob는 1940년대와 1950년대에 Wald의 1940년대 순차 분석 항등식(sequential-analysis identities)을 일반화하여 선택적 표본 추출(optional sampling)을 공식화했으며, 더블링 전략의 실패로 설명되는 이 정리와 그 신중한 가설은 응용 마팅게일 이론(applied martingale theory)과 수리 금융(mathematical finance)의 초석이 되었습니다.

Key figures

• Joseph Doob
• Abraham Wald
• David Williams

Seminal works

• doob1953

Frequently asked questions

영리한 중단 규칙이 공정한 게임을 이길 수 있습니까?

아니요, 선택적 중단 정리의 조건이 충족되는 한 그렇지 않습니다. 더블링 베팅과 같이 이기는 것처럼 보이는 전략은 무한한 자본이나 무한한 예상 시간을 필요로 하며, 이는 정리의 가설을 위반합니다.

중단 시간(stopping time)이란 무엇입니까?

이는 미래를 내다보지 않고, 해당 순간까지 사용 가능한 정보만을 사용하여 발생 여부를 결정할 수 있는 임의의 시간으로, 예를 들어 과정이 주어진 수준에 처음 도달하는 시간과 같습니다.