[논문 리뷰] Diffusion processes with weak constraint through penalization approximation

Jean-François Jabir|arXiv (Cornell University)|2017. 04. 05.

Geometric Analysis and Curvature Flows참고 문헌 14인용 수 4

한 줄 요약

이 논문은 $\mathcal{P}(\mathbb{R}^d)$ 내의 확률측도 집합 $K$ 안에 시간별 마진 분포가 유지되도록 하는 제약 조건이 부여된 확산 과정을 구성하기 위한 페널티 방법을 제안한다. 이 과정에서 $W_2$-와서르슈타인 거리에 기반하여 과정의 법을 $K$에 사영함으로써 제약 조건을 구현한다. 주요 결과로는 페널화된 SDE가 약한 제약 조건을 만족하는 극한 과정으로 수렴하며, 제어 과정이 와서르슈타인 공간 내 일반화된 스코로호드 유형의 반사 역할을 한다는 것을 증명한다.

ABSTRACT

In this paper, we investigate the construction of a diffusion process whose time-marginal densities are constrained to belong to a given set at all time. The construction is obtained from a penalization approximation to the constraint set, acting on the Wasserstein distance W2 to the constraint space. Under some technical assumptions on the constraint space and the initial distribution of the model, the penalization approximation yields to a stochastic differential equation analogous to the Skorohod problem of reflected diffusion.

연구 동기 및 목표

• 주어진 부분집합 $K \subset \mathcal{P}(\mathbb{R}^d)$에 대해 시간별 마진 분포가 그 안에 존재하도록 하는 확산 과정을 구성하는 것.
• 과정의 법에 대한 제약 조건을 부여하기 위해 $W_2$-와서르슈타인 거리에 기반한 페널리제이션 근사 방법을 개발하는 것.
• 페널화된 시스템이 약한 제약 조건을 만족하고 일반화된 스코로호드 유형의 반사 조건을 갖는 극한 과정으로 수렴함을 확립하는 것.
• 경로 기반 제약 조건이 아닌 과정의 법에 대한 약한 제약 조건을 고려한 반사 확산의 프레임워크를 확장하는 것.

제안 방법

• 제어 과정 $L^\epsilon_t$가 현재 법 $\mu_\epsilon(t)$에서 $K$에 대한 사영 $\mu^K_\epsilon(t)$로의 $W_2$-최적 운반 지도를 통해 정의되는 $\epsilon$-페널티 SDE를 도입한다.
• 페널티 항을 $L^\epsilon_t = \int_0^t \frac{T^{\mu_\epsilon(s)\to\mu^K_\epsilon(s)}(X^\epsilon_s) - X^\epsilon_s}{\epsilon} \, ds$로 정의하여 법이 $K$로 향하도록 유도한다.
• 현재 법과 제약 조건 집합 사이의 거리를 $W_2$-와서르슈타인 거리로 측정하고, 사영을 위해 최적 운반 이론을 활용한다.
• 제어 과정의 수렴을 다루고 극한에서의 유계성 확보를 위해 랜덤 시간 변화 $\theta_\epsilon$를 통한 시간 변경 형태를 적용한다.
• 스코로호드 수렴을 이용하여 페널화된 과정이 약한 제약 조건을 만족하는 극한 과정으로 법의 수렴을 증명한다.
• 극한 제어 과정 $L^0_t$가 극한 과정의 법을 포함하는 변분부등식을 만족함을 확립하여 제약 조건이 유지됨을 보장한다.

실험 결과

연구 질문

• RQ1 시간별 마진 분포가 주어진 집합 $K \subset \mathcal{P}(\mathbb{R}^d)$ 안에 있도록 하는 확산 과정을 구성할 수 있는가?
• RQ2 어떻게 $W_2$-와서르슈타인 거리에 기반한 페널리제이션 방법을 사용하여 이러한 약한 제약 조건을 부여할 수 있는가?
• RQ3 페널화된 SDE가 약한 제약 조건을 만족하고 일반화된 스코로호드 유형의 반사 조건을 갖는 극한 과정으로 수렴하는가?
• RQ4 최적 운반은 약한 제약 조건이 부여된 확산의 제어 메커니즘을 정의하는 데 어떤 역할을 하는가?
• RQ5 극한 제어 과정은 극한 확산의 법과 와서르슈타인 공간 내에서 어떻게 관련되어 있는가?

주요 결과

• 페널화된 SDE는 법의 수렴이 $\text{Law}(X^0_t) \in K$ 를 모든 $t \in [0,T]$ 에 대해 만족하는 극한 과정 $(X^0_t, L^0_t)$ 으로 수렴한다.
• 극한 제어 과정 $L^0_t$ 는 연속적이며 유한 변동성을 가지며, 모든 $Y$ 에 대해 $\text{Law}(Y_r) \in K$ 를 만족할 때 $\mathbb{E}\left[\int_s^t (Y_r - X^0_r) \cdot dL^0_r\right] \leq 0$ 를 만족하는 변분부등식을 만족한다.
• 극한 과정의 경로 연속성으로 인해, 수렴은 연속 함수 공간 $\mathcal{C}([0,T]; \mathbb{R}^{4d})$ 내에서 스코로호드 위상에 대해 성립한다.
• 극한 과정은 제어 $L^0_t$ 가 법 제약 조건을 보장하므로 $X^0_t = X^0_0 + \int_0^t b(s,X^0_s)ds + \int_0^t \sigma(s,X^0_s)dW_s + L^0_t$ 의 SDE를 만족한다.
• 최적 운반을 기반으로 한 구동 메커니즘을 사용하여, 고전적 스코로호드 반사 문제를 와서르슈타인 공간 내 법에 대한 설정으로 일반화한다.
• 페널리제이션 메커니즘은 과정의 법이 $W_2$-최적 지도를 통해 $K$에 사영되도록 보장하며, 제어 항은 $K$로의 $W_2$-거리에 비례하는 힘으로 작용한다.