[논문 리뷰] Quenched mass transport of particles towards a target

Bruno Bouchard, Boualem Djehiche외 1명|arXiv (Cornell University)|2017. 07. 25.

Stochastic processes and financial applications참고 문헌 17인용 수 6

한 줄 요약

이 논문은 마르코프-블라슈케 방정식의 확률적 목표 문제를 정식화하여, 제어자가 브라운 운동 경로 조건 하에서 입자 시스템의 법칙을 목표 집합으로 이동시키는, 고정된 질량 이동 문제를 연구한다. 기하적 동적 프로그래밍 원리를 수립하고, 가치 함수가 기하학적 PDE의 연속해임을 증명하여, 제어 하에 거의 확실하게 목표로 도달할 수 있는 초기 법칙을 특성화한다.

ABSTRACT

We consider the stochastic target problem of finding the collection of initial laws of a mean-field stochastic differential equation such that we can control its evolution to ensure that it reaches a prescribed set of terminal probability distributions, at a fixed time horizon. Here, laws are considered conditionally to the path of the Brownian motion that drives the system. We establish a version of the geometric dynamic programming principle for the associated reachability sets and prove that the corresponding value function is a viscosity solution of a geometric partial differential equation. This provides a characterization of the initial masses that can be almost-surely transported towards a given target, along the paths of a stochastic differential equation. Our results extend [16] to our setting.

연구 동기 및 목표

• 제어된 평균장 SDE가 주어진 종단 확률 분포 집합에 도달할 수 있는 초기 확률 법칙의 집합을 특성화하기 위해
• 계수들이 브라운 운동 경로에 조건부로 주어진 조건부 법칙에 의존하는 경우에, 확률적 목표 이론을 고정된(경로 기반 조건부) 설정으로 확장하기 위해
• 이 고정된 설정에서 도달 가능성 집합에 대해 기하적 동적 프로그래밍 원리를 수립하기 위해
• 가치 함수가 기하학적 PDE의 점성해임을 증명하여 제어 가능한 초기 질량의 해석적 특성화를 가능하게 하기 위해

제안 방법

• 브라운 운동 경로에 조건부로 주어진 법칙에 따라 드리프트 및 확산 계수에 의존하는 맥키언-블라슈케 SDE에 대한 확률적 목표 문제를 정식화한다.
• 마틴게일 표현 정리를 이용한 조건부 기대값 프레임워크를 도입하여, 평균-목표 제약 조건을 제어된 보조 과정에 대한 거의 확실한 제약 조건으로 재표현한다.
• 도달 가능성 집합에 대해 기하적 동적 프로그래밍 원리(GDP)를 유도하며, 가치 함수가 점성해 성질을 만족함을 보인다.
• 상승 및 하강 연속성의 포화된 가치 함수를 구성하고, 그 상한 및 하한 연속성 폐쇄가 기하학적 PDE의 점성 하위해 및 상위해임을 증명한다.
• 두 가지 유형의 제어를 고려한다: 전체 필터레이션에 대해 점진적으로 가측인 개별 입자 제어와, 단순화된 필터레이션에 대해 점진적으로 가측인 인구 수준 제어.
• [21] 및 [4]의 증명 기법을 고정된 설정으로 적응시키며, 해밀토니안 및 제어 공간 정의를 이에 따라 수정한다.

실험 결과

연구 질문

• RQ1 맥키언-블라슈케 SDE의 제어 하에, 고정된 질량 이동 조건 하에서 어떤 초기 확률 법칙이 거의 확실하게 주어진 종단 분포 집합으로 이동될 수 있는가?
• RQ2 시스템 계수들이 브라운 운동 경로에 조건부로 주어진 법칙에 의존할 경우, 기하적 동적 프로그래밍 원리는 어떻게 변형되는가?
• RQ3 이 고정된 확률적 목표 문제에서 도달 가능성 집합의 PDE 특성화는 무엇인가?
• RQ4 이 조건부 설정에서 가치 함수가 기하학적 PDE의 점성해임을 어떻게 증명할 수 있는가?
• RQ5 다른 제어 클래스(개별 대비 인구 수준)는 도달 가능성 분석과 그 결과로 도출된 PDE 특성화에 어떤 영향을 미치는가?

주요 결과

• 고정된 확률적 목표 문제의 가치 함수는 기하학적 편미분방정식의 점성해로 특성화된다.
• 기하적 동적 프로그래밍 원리는 고정된 설정에서도 성립하며, 가치 함수는 검증 조건과 최소성 조건을 모두 만족한다.
• 도달 가능성 집합은 PDE의 점성해에 의해 완전히 특성화되며, 제어를 통해 목표에 도달할 수 있는 모든 초기 법칙을 식별할 수 있다.
• 이 결과는 브라운 운동 경로에 조건부로 의존하는 계수를 포함함으로써, 이전의 확률적 목표 문제 연구를 고정된 행동을 모델링하는 조건부 의존성으로 확장한다.
• 증명 프레임워크는 다양한 제어 클래스에 대해 안정적이며, 인구 수준의 제어(계통의 조건부 법칙에만 의존)도 포함된다.
• PDE 특성화는 제어 공간의 변화에 대해 안정적이며, 해밀토니안의 수정은 오직 하위해 및 상위해 집합의 정의에만 영향을 미친다.