Pension funds, insurers, and banks must match a stream of long-horizon liabilities (retirement payouts, insurance claims, depositor withdrawals) with a portfolio whose returns evolve stochastically over the same decades. The canonical formulation is a multi-stage stochastic programme (Ziemba & Mulvey 1998) over a scenario tree: at each node, decide allocation and contributions conditional on the realised history up to that node; across nodes, enforce non-anticipativity.
Scenario tree, funding ratio, multi-stage objective
Time horizon $t = 0, 1, \ldots, T$. Asset universe $\{1, \ldots, n\}$ with stochastic returns $r_{i,t}(\omega)$ across scenarios $\omega$. Deterministic or stochastic liability stream $L_t(\omega)$. Funding ratio $F_t = A_t / \text{PV}(L_{\ge t})$. The plan sponsor wants to maximise expected surplus or probability that $F_t \ge 1$ at every stage, subject to regulatory floors.
For moderate trees the deterministic equivalent LP/QP is solved directly. For realistic $10^4$-$10^6$ scenarios, Benders decomposition, progressive hedging (Rockafellar-Wets), or stochastic dual dynamic programming (Pereira-Pinto 1991) are used. Nested scenario generation (moment-matching, Importance sampling) reduces tree size while preserving decision-relevant moments.
Fund evolution under a fixed allocation policy
Funding-ratio fan chart: median (gold) with 5-95 percentile band (light). Dashed red line = fully funded ($F = 1$). Higher stock shares lift the median but widen the underfunding tail.