[논문 리뷰] Ergodic Theorems for Lower Probabilities

Simone Cerreia‐Vioglio, Fabio Maccheroni외 1명|arXiv (Cornell University)|2015. 08. 06.

Probability and Statistical Research참고 문헌 15인용 수 4

한 줄 요약

이 논문은 하한 확률, 즉 표준 확률 측도의 비가환 일반화에 대해, 네 가지의 불변성 개념을 도입하고, 시간 평균이 하한 확률에 거의 확실히 수렴함을 증명함으로써 하한 확률에 대한 에르고딕 정리를 수립한다. 주요 기여는 에르고디시티 조건 하에서 콜레티 적분을 통해 유도된 수렴 한계를 갖는 비가환적 강한 법칙의 수렴을 보장하는 비가환 버전의 강한 법칙의 수렴이다.

ABSTRACT

We establish an Ergodic Theorem for lower probabilities, a generalization of standard probabilities widely used in applications. As a by-product, we provide a version for lower probabilities of the Strong Law of Large Numbers.

연구 동기 및 목표

• 표준 가환 확률이 불확실성을 모델링하는 데 실패할 때 사용되는 비가환 집합 함수인 하한 확률로 에르고딕 이론을 일반화하기.
• 하한 확률에 대한 여러 불변성 개념을 정의하고 분석하여, 가환 설정에서는 동치임을 보이고 비가환 설정에서는 서로 다른 역할을 함을 밝히기.
• 시간 평균이 하한 확률 ν-거의 확실히 수렴하는 비가환적 에르고딕 정리를 수립하기.
• 하한 확률 측도 하에서 정적이고 에르고딕인 확률 과정에 대해 비가환적 강한 법칙의 수렴을 유도하기.
• 에르고딕성과 더 강한 불변성 조건 하에서 시간 평균의 극한을 하한 및 상한 콜레티 적분을 사용하여 특성화하기.

제안 방법

• 하한 확률에 대한 네 가지 불변성 정의를 도입하며, 정의 1이 가장 약한 조건이지만 주요 에르고딕 결과에 충분함.
• 시간 평균의 극한을 콜레티 적분을 사용하여 유계함을 보장하며, 하한 확률의 공액 상한 확률과 핵심을 활용함.
• 강한 불변성 조건 하에서 콜레티 적분을 사용하여 콜레티 적분을 사용하여 수렴을 도출하기 위해 킹먼의 초-하향적 에르고딕 정리를 비가환 설정에 적용함.
• 하한 확률의 핵심에서 약한* 위상에서의 연속성과 컴팩턴스 추론을 사용하여 적분의 수렴을 보장함.
• 볼록 용량의 성질과 S에서의 연속성에 기반하여 수렴 집합이 하한 확률 1을 갖는다는 것을 보여 시간 평균의 수렴을 확립함.
• 측도 선택과 균일 유계성 조건을 활용하여 핵심 하한 확률의 맥락에서 극한과 적분의 순서를 바꾸는 것을 수렴 정리에 기반하여 정당화함.

실험 결과

연구 질문

• RQ1 하한 확률, 즉 비가환이면서 연속적인 집합 함수인 하한 확률에 대해 에르고딕 정리를 수립할 수 있는가?
• RQ2 하한 확률에 대한 다양한 불변성 개념은 어떻게 관련되어 있으며, 시간 평균의 수렴을 보장하는 데 어떤 것이 충분한가?
• RQ3 하한 확률 측도 하에서 비가환적 강한 법칙의 수렴은 무엇인가?
• RQ4 하한 확률이 에르고딕일 경우, 시간 평균의 극한을 콜레티 적분을 사용하여 어떻게 유계화할 수 있는가?
• RQ5 하한 확률 하에서 유계 가측 함수에 대해 시간 평균의 극한이 ν-거의 확실히 존재하는 조건은 무엇인가?

주요 결과

• 에르고딕성 조건 하에서, 유계 가측 함수의 시간 평균은 하한 및 상한 콜레티 적분 사이에 위치하는 극한으로 ν-거의 확실히 수렴한다.
• 이동 불변성과 에르고딕성을 갖는 하한 확률에 대해, 시간 평균의 극한은 하한 및 상한 확률에 대한 극한 함수의 콜레티 적분으로 거의 확실히 유계된다.
• 기저 공간이 표준 보렐 공간이고 하한 확률이 S에서 연속일 경우, 시간 평균의 극한은 하한 확률의 핵심을 통해 정확히 특성화된다.
• 논문은 비가환적 강한 법칙의 수렴을 증명한다: 정적이고 에르고딕인 과정에 대해, 경험 평균은 첫 번째 랜덤 변수의 하한 및 상한 콜레티 적분으로 유계된 구간으로 수렴한다.
• 더 강한 불변성 조건 하에서, 시간 평균의 수렴은 하한 확률 1을 갖는다. 이때 극한은 불변 σ-대각에 대해 가측이다.
• 극한 함수가 가측임을 보이고, 핵심 하한 확률의 맥락에서 균일 유계성과 수렴 정리를 활용하여 적분의 극한과 극한의 적분이 일치함을 증명한다.