[논문 리뷰] Compactness in Adapted Weak Topologies

Manu Eder|arXiv (Cornell University)|2019. 05. 02.

Stochastic processes and financial applications참고 문헌 13인용 수 8

한 줄 요약

이 논문은 확률과정의 시간적 및 인과적 구조를 반영하기 위해 약화된 위상(또는 헬리그의 정보 위상으로도 알려진)을 개선한 적응형 약화 위상에서 상대적으로 컴팩트한 집합을 특성화한다. 아르체라-아스coli와 프로호로프 정리의 요소를 결합하여, 이 위상에서 컴팩트성 보장을 위한 연속성 모듈러스 조건을 도입한다. 이는 표준 프로호로프 유형 결과가 실패하는 상황에서, 메트릭 완비성에 의존하지 않는 비메트릭 위상 기반의 컴팩트성 기준을 제공한다.

ABSTRACT

Over the years a number of topologies for the set of laws of stochastic processes have been proposed. Building on the weak topology they all aim to capture more accurately the temporal structure of the processes. In a parallel paper we show that all of these topologies (i.e. the information topology of Hellwig, the nested distance topology of Pflug-Pichler, the extended weak convergence of Aldous and a topology built from Lasalle's notion of a causal transference plan) are equal in finite discrete time. Regrettably, the simple characterization of compactness given by Prokhorov's theorem for the weak topology fails to be true in this finer topology. This phenomenon is closely related to the failure of a natural metric for this topology to be complete. For certain problems, a 'fix' consists in passing to the metric completion. Still, it also seems interesting to find out what compact sets look like in the uncompleted space. Here we give a characterization of compact sets in this adapted weak topology which is strongly reminiscent of the Arzelà-Ascoli theorem (with a dash of Prokhorov's theorem). The tools developed are also useful elsewhere. We give a different proof of the continuity of the conditionally independent gluing map of two measures with one marginal in common and in our companion paper the ideas developed here form the main non-algebraic ingredient in showing that the information topology introduced by Hellwig is equal to the nested weak topology of Pflug-Pichler.

연구 동기 및 목표

• 확률과정의 인과적 및 시간적 구조를 고려하는 적응형 약화 위상에서 상대적으로 컴팩트한 집합을 특성화하는 것.
• 메트릭 완비성이 부족하여 기존의 프로호로프 정리가 실패하는 더 세밀한 위상에서 수열이 수렴하지 않을 수 있는 문제를 다루는 것.
• 메트릭 완비성에 의존하지 않는 위상 기반의 컴팩트성 기준을 제공하여, 메트릭 완비화 이전의 원래 공간에 직접 적용 가능한 것.
• 조건부 독립적인 측도의 접합 연산의 연속성을 증명하는 데 유용한 도구를 확립하는 것.
• 동반된 작업에서 보여진 바와 같이, 헬리그의 위상, 플루그-피클러의 위상, 올드스의 위상 등 여러 위상 간의 동치성을 지원하는 것.

제안 방법

• 제품공간 위의 공동확률측도에 대한 연속성 모듈러스를 도입하여, 과거에 대한 변화에 대한 조건부 분포의 민감도를 수량화한다.
• 모듈러스의 연속성 ωμ(δ)를 정의하여, 모든 δ-편차에 대해 공동측도의 변화에 따른 조건부 분포 간의 거리의 상한을 구한다.
• 와서스타인 p-거리로 측도의 쌍대화 거리를 제어하여 조건부 분포의 안정성을 확보한다.
• 다중 시간 단계에 걸쳐 메트릭 및 위상적 성질을 유지하는 쌍대화를 생성하기 위해 측도 간의 접합 연산 ⊗̇ 을 적용한다.
• 분해 및 쌍대화 기법을 활용하여 공동측도의 작은 변화에 따른 조건부 분포의 행동을 분석한다.
• 와서스타인 거리와 모듈러스의 연속성에 기반한 δ-ε 추론을 통해 접합 사상의 연속성을 확립한다.

실험 결과

연구 질문

• RQ1 메트릭 완비성이 없어 프로호로프 정리가 실패하는 적응형 약화 위상에서 상대적으로 컴팩트한 집합은 무엇으로 특성화되는가?
• RQ2 인과적 구조를 고려하는 위상에서 확률과정의 측도 가족이 어떻게 타이트함을 보장할 수 있는가?
• RQ3 적응형 과정의 맥락에서 아르체라-아스coli와 프로호로프 정리의 특성을 통합한 위상 기반의 컴팩트성 기준을 개발할 수 있는가?
• RQ4 연속성 모듈러스는 조건부 분포의 안정성을 편차에 대해 어떻게 제어하는가?
• RQ5 조건부 독립적인 측도의 접합 사상의 연속성은 적응형 약화 위상의 구조와 어떻게 관련되는가?

주요 결과

• 유한 수명의 제품공간 위의 확률측도 가족은, 그 조건부 분포의 집합이 일致적으로 작은 연속성 모듈러스를 가지는 것과 동치로, 적응형 약화 위상에서 상대적으로 컴팩트하다.
• 연속성 모듈러스 조건은 과거의 작은 변화가 미래의 조건부 분포에 작은 변화를 유도함으로써 컴팩트성에 필수적이다.
• 접합 사상 (μ, ν) ↦ μ ⊗̇ ν 는 고정된 마진탈 μ와 변하는 ν에 대해 적응형 약화 위상에서 연속적이다.
• 연속성의 증명은 와서스타인 거리와 쌍대화 기법을 활용한 δ-ε 추론에 기반하며, 조건부 분포 간의 거리를 제어한다.
• 개발된 도구는 유한 이산 시간에서 헬리그의 정보 위상과 네스티드 거리 위상 간의 동치성을 증명하는 데 핵심적인 비대수적 요소를 제공한다.
• 이 특성화는 메트릭 완비성에 의존하지 않아, 완비화 이전의 원래 공간에 직접 적용 가능하다.