[논문 리뷰] A Dynamic Programming Principle for Distribution-Constrained Optimal Stopping

Sigrid Källblad|arXiv (Cornell University)|2017. 03. 24.

Stochastic processes and financial applications인용 수 5

한 줄 요약

이 논문은 측도가치 마팅글(MVMs)를 사용하여 분포 제약이 있는 최적 정지 문제를 재구성함으로써, 분포 제약을 초기 조건으로 전환함으로써 분포 제약이 있는 최적 정지 문제에 대한 동적 프ogram밍 원리(DPP)를 수립한다. 주요 기여는 일반적인 확률 측도와 비용 함수 하에서 이 클래스의 확률적 제어 문제에 대해 DPP를 증명함으로써, 비용 함수나 필터레이션에 대한 구조적 가정 없이도 강력한 동적 프로그래밍 접근법을 가능하게 한다.

ABSTRACT

We consider an optimal stopping problem where a constraint is placed on the distribution of the stopping time. Reformulating the problem in terms of so-called measure-valued martingales allows us to transform the marginal constraint into an initial condition and view the problem as a stochastic control problem; we establish the corresponding dynamic programming principle.

연구 동기 및 목표

• 정지 시점이 (0,∞)에서 사전 지정된 확률 측도 μ를 따라야 하는 최적 정지 문제를 다루기 위해.
• 측도가치 마팅글(MVMs)을 도입하여 분포 제약이 있는 문제를 확률적 제어 문제로 재구성하기 위해.
• MVM 과정에서의 초기 조건으로서의 마진널 제약을 전환하여 동적 프로그래밍 분석을 가능하게 하기 위해.
• 비용 함수와 필터레이션에 대한 일반적인 정규성 조건 하에서, 이 재구성된 문제에 대해 동적 프로그래밍 원리(DPP)를 수립하기 위해.
• 특정한 구조적 가정 없이도 이전의 제약이 있는 최적 정지 문제에 대한 결과들을 통합하고 확장하는 프레임워크를 제공하기 위해.

제안 방법

• 각 정지 시점 τ를 그 조건부 분포 과정 ξ_t = L(τ | F_t)로 식별함으로써, 분포 제약 μ가 있는 최적 정지 문제를 재구성하고, 이를 측도가치 마팅글(MVM)로 형성한다.
• 초기 조건 ξ_0 = μ와 정지 시점의 구조에서 유도되는 적응성 및 마팅글 성질을 만족하는 MVM의 집합을 특성화한다.
• 경로가 ℝ₊에서 ℝ₊의 확률 측도 공간으로의 연속 함수인 캐논리컬 경로 공간에서 약한 공식화를 사용한다. 이 공간은 첫 번째 워샤르슈타인 위상으로 장비되어 있다.
• 초기 조건과 동역학을 만족하는 MVM 집합의 해석성, 연결에 대한 안정성, 그리고 분해 성질을 증명한다.
• 가장자리 선택 정리(Jankov–von Neumann)를 적용하여 가치 함수에 대한 동적 프로그래밍 원리를 수립한다.
• 가짜 마코프 성질과 MVM의 연결을 통한 경로적 구성 기법을 사용하여 DPP를 검증하며, 가측 선택자를 통한 ε-근사 제어의 구성도 포함한다.

실험 결과

연구 질문

• RQ1 정지 시점의 마진널 분포 제약 조건 하에서 최적 정지 문제에 대해 동적 프로그래밍 원리를 수립할 수 있는가?
• RQ2 측도가치 마팅글을 통해 마진널 제약 μ를 어떻게 확률적 제어 프레임워크에 통합할 수 있는가?
• RQ3 일반적인 비용 함수와 (0,∞) 상의 임의의 확률 측도 μ 하에서 DPP는 원자적 또는 이산적 구조를 가정하지 않더라도 성립하는가?
• RQ4 MVM을 통한 약한 공식화는 강한 공식화 접근법에서의 결과들을 얼마나 회복하거나 일반화하는가?
• RQ5 캐논리컬 경로 공간과 가측 선택 기법을 사용하여 이 제약 조건 하에서 DPP를 엄밀하게 유도할 수 있는가?

주요 결과

• 측도가치 마팅글(MVMs)로 재구성된 분포 제약이 있는 최적 정지 문제에 대해 동적 프로그래밍 원리(DPP)가 성립한다.
• 마진널 제약 μ는 MVM 과정에서의 초기 조건 ξ_0 = μ로 전환되어 확률적 제어 공식화를 가능하게 한다.
• 증명은 가측 선택을 통한 ε-근사 제어의 구성에 기반하며, 약한 정규성 조건 하에서 가치 함수가 DPP를 만족함을 보장한다.
• 경로 독립성이나 특정한 구조를 요구하지 않는 일반적인 비용 함수 c(ω,t) = c(ω·∧t,t)에 대해서도 적용 가능하다.
• 이 프레임워크는 Bayraktar와 Miller [3]의 결과들을 포함하여 이전 결과들을 회복하고 확장하며, 그들의 비용 함수 클래스 하에서 강한 공식화와 약한 공식화의 동치성을 보여준다.
• DPP는 MVM의 안정성, 해석성, 분해 성질을 통해 수립되며, 핵심 기술적 단계는 가짜 마코프 성질과 연결 불변성의 검증이다.