Abstract:This paper focuses on a mean-field optimal stopping problem with non-Markov dynamics and common noise, inspired by Talbi, Touzi, and Zhang \cite{TalbiTouziZhang1,TalbiTouziZhang3}. The goal is to establish the limit theory and demonstrate the equivalence of the value functions between weak and strong formulations. The difference between the strong and weak formulations lies in the source of randomness determining the stopping time on a canonical space. In the strong formulation, the randomness of the stopping time originates from Brownian motions. In contrast, this may not necessarily be the case in the weak formulation. Additionally, a $(H)$-Hypothesis-type condition is introduced to guarantee the equivalence of the value functions. The limit theory encompasses the convergence of the value functions and solutions of the large population optimal stopping problem towards those of the mean-field limit, and it shows that every solution of the mean field optimal stopping problem can be approximated by solutions of the large population optimal stopping problem.
What problem does this paper attempt to address?
### Problems the paper attempts to solve
This paper aims to solve the Mean Field Optimal Stopping Problem under non - Markovian dynamics with common noise. Specifically, the goal of the paper is to establish the limit theory and prove the equivalence between the value functions of the weak form and the strong form. Among them, the main difference between the weak form and the strong form lies in the different random sources for determining the stopping time on the canonical space. In the strong form, the randomness of the stopping time comes from Brownian motion, while this is not necessarily the case in the weak form. In addition, the paper introduces a condition similar to the (a) - hypothesis to ensure the equivalence of the value functions.
### Main contributions
1. **Limit theory**: The paper studies the convergence of the value function and the solution of the large - population optimal stopping problem to the mean - field limit, and shows that the solution of each mean - field optimal stopping problem can be approximated by the solution of the large - population optimal stopping problem.
2. **Equivalence proof**: By introducing an appropriate martingale problem, the equivalence between the value functions of the weak form and the strong form is proved.
3. **Technical details**: It is discussed in detail how to approximate any weak stopping rule by a finite - state weak stopping rule, and how to approximate any strong stopping rule by a finite - state strong stopping rule.
### Mathematical model
The main mathematical model in the paper is a McKean - Vlasov stochastic differential equation (SDE) with common noise, which has the following form:
\[
X^\tau_t = X_0 + \int_0^{t \wedge \tau} b(s, X^\tau_{s \wedge \cdot}, \mu_s) \, ds + \int_0^{t \wedge \tau} \sigma(s, X^\tau_{s \wedge \cdot}, \mu_s) \, dW_s + \int_0^{t \wedge \tau} \sigma_0(s, X^\tau_{s \wedge \cdot}, \mu_s) \, dB_s,
\]
where \( W \) and \( B \) are two independent Brownian motions, and for each \( t\in[0, T] \), \( \mu_t \) represents the conditional distribution of \( (X^\tau_{t \wedge \cdot}, W, \tau \wedge t) \) given the common noise \( B \).
### Optimization problem
The optimal stopping problem can be formulated as:
\[
\sup_\tau \mathbb{E} \left[ \int_0^{T \wedge \tau} f(s, X^\tau_{s \wedge \cdot}, \mu_s) \, ds + g(\tau, X^\tau_{\cdot}, \mu_T) \right].
\]
### Conclusion
Through strict mathematical derivation and analysis, the paper proves that under appropriate assumptions, the value function and solution of the large - population optimal stopping problem will converge to the value function and solution of the mean - field optimal stopping problem. This result provides an important theoretical basis for understanding and solving the optimal stopping problem in complex multi - agent systems.