Grab It Before It's Gone: Testing Uncertain Rewards under a Stochastic Deadline
Steven Campbell, Georgy Gaitsgori, Richard Groenewald, Ioannis Karatzas
TL;DR
The paper addresses optimal stopping for an unknown two-point drift observed through $X(t)=R t+W(t)$ under a stochastic deadline $\gamma$, formulating the problem in a Bayesian filtering framework with a posterior probability $\Pi(t)$. It develops a comprehensive theory: reformulating the problem as a Markovian optimal stopping problem, connecting it to American options, and proving existence, smooth-fit, and a free-boundary PDE in the continuation region, along with an integral equation for the boundary. The authors obtain regularity results, boundary continuity under structural assumptions, and provide numerical illustrations across diverse horizon-distribution scenarios. The work advances sequential analysis with random horizons by unifying drift-detection, optimal stopping, and option-theoretic methods, yielding a robust framework for stochastic-deadline problems with practical implications for sequential hiring, testing, and decision-making under uncertainty.
Abstract
We study a sequential estimation problem for an unknown reward in the presence of a random horizon. The reward takes one of two predetermined values which can be inferred from the drift of a Wiener process, which serves as a signal. The objective is to use the information in the signal to estimate the reward which is made available until a stochastic deadline that depends on its value. The observer must therefore work quickly to determine if the reward is favorable and claim it before the deadline passes. Under general assumptions on the stochastic deadline, we provide a full characterization of the solution that includes an identification with the unique solution to a free-boundary problem. Our analysis derives regularity properties of the solution that imply its ``smooth fit'' with the boundary data, and we show that the free-boundary solves a particular integral equation. The continuity of the free-boundary is also established under additional structural assumptions that lead to its representation in terms of a continuous transformation of a monotone function. We provide illustrations for several examples of interest.
