For a broad class of win-martingale belief processes, the paper characterizes the optimal stopping rule by a free boundary, proves the boundary is smooth before the horizon, and derives a unique integral equation for it.
Embedding martingale diffusions as binary posteriors in sequential inference
1 Pith paper cite this work. Polarity classification is still indexing.
abstract
Posterior probabilities are bounded martingales, but this fact alone does not identify the experiment that generates them. We show that every time-homogeneous martingale diffusion on $[0,1]$ with strictly positive $C^1$ volatility on the interior and absorbing endpoints, which we call an autonomous win-martingale, can be realized as the Bayesian posterior of an explicit binary sequential experiment observed through a scalar diffusion. Conversely, in a general binary diffusion experiment, the current time and observation are jointly sufficient for the hidden state precisely when the difference between the signal drifts under the two hypotheses satisfies a Riccati equation. Equivalently, this holds when the likelihood ratio is generated by a Doob $h$-transform associated with a positive space-time harmonic function for the null dynamics. Within this class, when that function is spatially harmonic, the posterior is an autonomous martingale. Outside this harmonic case, autonomy forces the drift difference to be constant, recovering the classical two-state Shiryaev-Wonham filter from binary testing. These results give concrete sequential inference interpretations to a broad class of bounded martingale diffusions, including absorbed Brownian motion, the Wright-Fisher diffusion, and the Aldous martingale of the "most exciting game."
fields
math.PR 1years
2026 1verdicts
CONDITIONAL 1representative citing papers
citing papers explorer
-
When should one stop the most exciting game? Sequential Inference for win-martingales
For a broad class of win-martingale belief processes, the paper characterizes the optimal stopping rule by a free boundary, proves the boundary is smooth before the horizon, and derives a unique integral equation for it.