Table of Contents
Fetching ...

Control of Conditional Processes and Fleming--Viot Dynamics

Philipp Jettkant

TL;DR

The paper studies control problems for conditional diffusion processes killed at the boundary, with rewards depending on the survival-conditioned law. It proves that open- and closed-loop formulations are equivalent by combining measurable-selection (Haussmann–Lepeltier) with mimicking (Brunick–Shreve), and it connects the conditional McKean–Vlasov dynamics to Fleming–Viot type dynamics where reinsertion occurs according to the current law. A contraction mapping argument on measure flows yields well-posedness of the conditional MV SDE, and a subsequent FV interpretation shows that the control problem can be reformulated in terms of mean-field reinsertion dynamics, broadening potential applications and linking to prior work on soft killing and particle systems. The results provide a rigorous foundation for the equivalence of control formulations and offer a new perspective on reinsertion costs and mean-field limits in stochastic control.

Abstract

We discuss equivalent formulations of the control of conditional processes introduced by Lions. In this problem, a controlled diffusion process is killed once it hits the boundary of a given domain and the controller's reward is computed based on the conditional distribution given the process's survival. So far there is no clarity regarding the relationship between the open- and closed-loop formulation of this nonstandard control problem. We provide a short proof of their equivalence using measurable selection and mimicking arguments. In addition, we link the closed-loop formulation to Fleming--Viot dynamics of McKean--Vlasov type, where upon being killed the diffusion process is reinserted into the domain according to the current law of the process itself. This connection offers a new interpretation of the control problem and opens it up to applications that feature costs caused by reinsertion.

Control of Conditional Processes and Fleming--Viot Dynamics

TL;DR

The paper studies control problems for conditional diffusion processes killed at the boundary, with rewards depending on the survival-conditioned law. It proves that open- and closed-loop formulations are equivalent by combining measurable-selection (Haussmann–Lepeltier) with mimicking (Brunick–Shreve), and it connects the conditional McKean–Vlasov dynamics to Fleming–Viot type dynamics where reinsertion occurs according to the current law. A contraction mapping argument on measure flows yields well-posedness of the conditional MV SDE, and a subsequent FV interpretation shows that the control problem can be reformulated in terms of mean-field reinsertion dynamics, broadening potential applications and linking to prior work on soft killing and particle systems. The results provide a rigorous foundation for the equivalence of control formulations and offer a new perspective on reinsertion costs and mean-field limits in stochastic control.

Abstract

We discuss equivalent formulations of the control of conditional processes introduced by Lions. In this problem, a controlled diffusion process is killed once it hits the boundary of a given domain and the controller's reward is computed based on the conditional distribution given the process's survival. So far there is no clarity regarding the relationship between the open- and closed-loop formulation of this nonstandard control problem. We provide a short proof of their equivalence using measurable selection and mimicking arguments. In addition, we link the closed-loop formulation to Fleming--Viot dynamics of McKean--Vlasov type, where upon being killed the diffusion process is reinserted into the domain according to the current law of the process itself. This connection offers a new interpretation of the control problem and opens it up to applications that feature costs caused by reinsertion.
Paper Structure (7 sections, 7 theorems, 69 equations)

This paper contains 7 sections, 7 theorems, 69 equations.

Key Result

Proposition 2.3

Let Assumption ass:control_problem be satisfied. Then for any measurable function $a \mathpunct{:} [0, \infty) \times \mathbb{R}^d \to A$, the conditional McKean--Vlasov SDE eq:conditional_mv_closed has a unique strong solution. In particular, the set $\mathcal{A}$ of admissible controls is nonempty

Theorems & Definitions (21)

  • Proposition 2.3
  • proof
  • Theorem 2.4
  • proof
  • Remark 2.5
  • Remark 2.6
  • Definition 3.1
  • Definition 3.2
  • Definition 3.3
  • Theorem 3.4
  • ...and 11 more