---
title: 'Win-Martingales: Models and Fluctuation Analysis'
url: https://www.emergentmind.com/topics/win-martingales
type: topic
---

# Win-Martingales: Models and Fluctuation Analysis

Searching arXiv for relevant papers on win-martingales and closely related work.
Win-martingales are continuous or discrete-time martingale models for evolving win probabilities that start from an initial value in $(0,1)$ and terminate in the degenerate outcome set $\{0,1\}$. In the canonical two-outcome formulation, the process represents the conditional probability of eventual victory given the currently available information, so the martingale property is a direct consequence of conditional expectation. The notion appears both in contest models with many competitors, where one tracks a family of conditional winning-probability martingales, and in continuous-path optimal-transport and information-theoretic problems, where one studies the class of laws on $C([0,1];\mathbb R)$ satisfying $X_0=x_0\in(0,1)$, $X_1\in\{0,1\}$, and martingale dynamics with absolutely continuous quadratic variation [1211.2045; 2305.14037; 2602.14776]. The topic connects fluctuation theory, prediction-market modeling, Wright–Fisher diffusions, martingale optimal transport, and entropy- or divergence-based variational principles.

## 1. Formal definition and probabilistic interpretation

In the binary setting, a win-martingale is a process of the form
\[
M_t=P(Y=1\mid\mathcal F_t),
\]
where $Y\in\{0,1\}$ is the terminal win indicator and $(\mathcal F_t)$ is the information filtration. By the tower property, $(M_t)$ is a martingale; one has $M_0=P(Y=1)\in(0,1)$ and $M_T=Y\in\{0,1\}$ [2601.18774]. In continuous-time formulations used in the recent optimal-transport and entropy literature, the process is idealized to have continuous sample paths on $[0,1]$, with prescribed start $x_0\in(0,1)$ and terminal Bernoulli law [2305.14037; 2404.19672].

A more general many-contestant version considers a collection $\{M_i(t)\}_{i\ge 1}$ adapted to a common filtration, with $M_i(t)$ interpreted as the conditional probability that contestant $i$ ultimately wins. In the formulation of a $p$-feasible process, these coordinates satisfy $M_i(0)=p_i$, $0\le M_i(t)\le 1$, $\sum_i M_i(t)=1$, each $(M_i(t),t\ge 0)$ is a continuous-path martingale, and there is an almost surely finite stopping time $T$ and a random index $I$ such that $M_I(T)=1$ while all other coordinates equal $0$ [1211.2045]. This realizes the same principle in a simplex-valued rather than scalar setting.

The common interpretation is that win-martingales encode information flow rather than physical scores. In sports analytics, prediction markets, or contest models, the process is the endogenous evolution of conditional winning probabilities under a filtration. In population-genetic models, the same structure appears through allele frequencies under pure drift, and in particular through Wright–Fisher diffusions, whose coordinates are martingales summing to one and eventually collapse to fixation [1211.2045].

## 2. Canonical fluctuation quantities and distribution-free identities

For a family of contestant win-probabilities $\{M_i\}$, two natural fluctuation counts are emphasized in the contest-model literature. For thresholds $0<a<b<1$,
\[
N_b = \bigl|\{i:\sup_{t\ge 0} M_i(t)\ge b\}\bigr|
\]
counts how many contestants ever reach level $b$, and
\[
D_{a,b}
\]
counts total downcrossings of $[a,b]$ by all coordinate martingales [1211.2045]. These quantities are model-dependent in distribution but admit model-independent first moments.

Specifically, in any $p$-feasible process with $\max_i p_i\le b$, the exact identities
\[
E[N_b]=1/b,\qquad E[D_{a,b}]=(1-b)/(b-a)
\]
hold by optional-sampling and classical downcrossing arguments [1211.2045]. The derivation reduces first to a single absorbed continuous martingale $M$ with initial value $x\le b$, for which
\[
P(\sup M\ge b\mid M(0)=x)=x/b,
\]
and then sums over contestants [1211.2045]. These formulas are notable because they depend only on the martingale structure and boundary conditions, not on detailed path dynamics.

In the binary one-dimensional setting, the running maximum
\[
M_t^*=\sup_{s\le t} M_s
\]
is the central fluctuation observable. For discrete-time binary Doob martingales, optional stopping at the first-passage time $\tau_x=\inf\{k\ge 0:M_k\ge x\}$ yields
\[
P(M_N^*\ge x)\le \frac{p_0}{x},\qquad x\in[p_0,1),
\]
equivalently
\[
F_{M_N^*}(x)\ge 1-\frac{p_0}{x},
\]
with sharpness governed by the absence of overshoot and of terminal-time first-hit effects [2601.18774]. Conditioning on eventual loss gives the bound
\[
F_{M_N^*\mid Y=0}(x)\ge 1-\frac{p_0}{1-p_0}\frac{1-x}{x}
\]
for $x\in[p_0,1)$ [2601.18774].

Under continuous-path regularity, the discrete correction terms disappear, and exact identities replace inequalities. If $M_t=P(Y=1\mid\mathcal F_t)$ has continuous sample paths on $[0,1]$, then for $x\in[p_0,1)$,
\[
F_{M^*}(x)=1-\frac{p_0}{x},
\]
while
\[
F_{M^*\mid Y=0}(x)=1-\frac{p_0}{1-p_0}\frac{1-x}{x}.
\]
In particular, $P(M^*=1)=p_0$ [2601.18774]. These formulas provide benchmark laws for maxima of correctly specified binary forecast martingales.

## 3. Extremal constructions and variance phenomena

Although the first moments of $N_b$ and $D_{a,b}$ are universal in the many-contestant setting, their distributions can vary sharply across feasible models. Two extremal constructions organize this variability [1211.2045].

The first is the progressive-elimination or “Survivor” model. One starts with all active contestants, evolves a suitable Wright–Fisher diffusion on active fractions, and whenever some $M_i$ hits $b$, that coordinate is frozen at $b$ while the remainder continue evolving. Iteration yields a model in which $N_b$ takes either $\lfloor 1/b\rfloor$ or $\lceil 1/b\rceil$, so $N_b$ is as concentrated as possible around its mean $1/b$ [1211.2045].

The second is the sequential-examination or “Millionaire” model. Contestants are ordered, and one reveals $M_1$ until it either hits $1$ with chance $b$ or $0$ with chance $1-b$; if it loses, one examines $M_2$, and so forth. In the limit $\max_i p_i\to 0$, this produces
\[
N_b\sim \mathrm{Geometric}(b),
\]
with variance $(1-b)/b^2$, which is the largest possible among feasible processes [1211.2045]. Correspondingly, in any $p$- or $0$-feasible process,
\[
\mathrm{Var}(N_b)\le (1-b)/b^2,
\]
and equality is attained by the Geometric$(b)$ law in the maximal-spread construction [1211.2045].

A related maximal-spread construction exists for downcrossings. In the sequential-examination limit,
\[
D_{a,b}+1\sim \mathrm{Geometric}\!\left(\frac{b-a}{1-a}\right),
\]
and this yields the largest possible asymptotic order $O((b-a)^{-2})$ for the variance, at fixed $a/b$ [1211.2045]. At the same time, a reflection-coupling construction shows that there are $0$-feasible processes where $\mathrm{Var}(D_{a,b})$ remains $O(1)$ as $b\to 0$ with $a/b$ bounded away from $1$ [1211.2045]. This makes clear that universal fluctuation identities for win-martingales are primarily first-moment statements; higher-order behavior depends strongly on mechanism.

## 4. Wright–Fisher structures and the infinite-contestant limit

The Wright–Fisher diffusion plays a canonical role in the theory of win-martingales. In the contest setting, the infinitely-many-alleles Wright–Fisher diffusion with no mutation and no selection yields a natural $0$-feasible process after a labeling-and-consistency construction [1211.2045]. In finite dimensions, the $k$-allele Wright–Fisher diffusion on the simplex has generator
\[
\frac12 \sum_{i,j=1}^k x_i(\delta_{ij}-x_j)\frac{\partial^2}{\partial x_i\partial x_j},
\]
and each coordinate is a martingale with variance rate $X_i(1-X_i)$ [1211.2045]. In the limit $k\to\infty$, one obtains a diffusion on the ranked infinite simplex that can be lifted to a $0$-feasible win-martingale system [1211.2045].

This canonical process preserves the universal identities
\[
E[N_b]=1/b,\qquad E[D_{a,b}]=(1-b)/(b-a),
\]
but the exact laws of $N_b$ and $D_{a,b}$ remain open [1211.2045]. The associated open problem is equivalent to determining joint threshold-hitting probabilities such as
\[
P\{\sup_{t\ge 0}M_1(t)\ge b,\ \sup_{t\ge 0}M_2(t)\ge b\mid M_1(0)=x,M_2(0)=y\},
\]
which solves an elliptic PDE on $[0,b]^2$ but has no known closed-form solution [1211.2045].

The Wright–Fisher diffusion also reappears as an optimizer in more recent variational formulations. In the setting of reciprocal specific relative entropy between continuous martingales, the optimization is carried out over the class $\mathcal M^{\rm win}_{0,x_0}$ of continuous martingale laws $\mathbb Q$ such that $X_0=x_0$, $X_1\in\{0,1\}$ almost surely, and quadratic variation is absolutely continuous with density $\Sigma$ [2602.14776]. The unique minimizer is a time-changed neutral Wright–Fisher diffusion with volatility density
\[
\Sigma^*(t,x)=\frac{x(1-x)}{1-t},
\]
that is,
\[
dX_t=\sqrt{\frac{X_t(1-X_t)}{1-t}}\,dB_t,\qquad X_0=x_0,\qquad X_1\in\{0,1\}
\]
[2602.14776]. This establishes the neutral Wright–Fisher process as a canonical win-martingale in an information-theoretic sense.

## 5. Entropy, divergence minimization, and extremal win-martingales

A major recent direction treats win-martingales as admissible laws in variational problems relative to Brownian motion. In the maximal-entropy formulation, one considers the class $\mathcal M^c_{x_0,\mathrm{win}}$ of continuous-path martingale laws with $M_0=x_0$ and $M_1\in\{0,1\}$, and minimizes the specific relative entropy with respect to Wiener measure [2305.14037]. If under a law $Q$ the canonical process has absolutely continuous quadratic variation with density $\Sigma_t$, then
\[
h(Q\|\mathbb W^{x_0})=\frac12\,\mathbb E_Q\!\left[\int_0^1\{\Sigma_t-\ln\Sigma_t-1\}\,dt\right]
\]
[2305.14037]. The unique minimizer is therefore called the max-entropy win-martingale [2305.14037].

The optimizer is characterized by the stochastic differential equation
\[
dM_t=\frac{\sin(\pi M_t)}{\pi\sqrt{1-t}}\,dB_t,\qquad M_0=x_0,
\]
with $M_t\in[0,1]$ and $M_1\in\{0,1\}$ almost surely [2305.14037]. The derivation uses a martingale-transport first-order condition and a scaling argument, leading to the bounded solution
\[
\sigma(x)=\frac{\sin(\pi x)}{\pi}
\]
of the ODE
\[
\sigma''(x)\sigma(x)-[\sigma'(x)]^2=-1
\]
on $[0,1]$ [2305.14037]. The minimal specific entropy has the closed form
\[
\min_{Q\in\mathcal M^c_{x_0,\rm win}} h(Q\|\mathbb W^{x_0})
=
\frac{x_0(1-x_0)-1}{2}
-\ln\!\Bigl(\tfrac{\sin(\pi x_0)}{\pi}\Bigr)
\]
[2305.14037].

A related but distinct divergence is the reciprocal specific relative entropy of a continuous martingale law $\mathbb Q$ relative to Wiener measure:
\[
\mathfrak h(\mathbb Q\|\mathbb W)
=
\frac12\,\mathbb E_{\mathbb Q}\!\Biggl[\int_0^1\bigl(\Sigma_t\log\Sigma_t+1-\Sigma_t\bigr)\,dt\Biggr].
\]
This functional penalizes deviations of the instantaneous variance $\Sigma_t$ from $1$, and over the class of win-martingales it is uniquely minimized by the time-changed neutral Wright–Fisher diffusion described above [2602.14776]. The corresponding HJB equation has optimizer
\[
\Sigma^*(t,x)=\exp\bigl(-1-\partial_{xx}v(t,x)\bigr)=\frac{x(1-x)}{1-t},
\]
and the associated value function admits an explicit representation via a separation-of-variables ansatz [2602.14776].

These two variational problems do not select the same optimizer. One selects the sine-volatility martingale of Backhoff-Veraguas and Beiglböck [2305.14037]; the other selects the time-changed neutral Wright–Fisher diffusion [2602.14776]. This suggests that “canonical” win-martingales depend sensitively on the chosen divergence.

## 6. Specific Wasserstein divergence, special exponents, and calibration laws

The divergence framework has been generalized by replacing specific relative entropy with specific $p$-Wasserstein divergence. For continuous-martingale laws $\mathbb Q,\mathbb P$ with volatility densities $\sigma,\eta$, the specific $p$-Wasserstein divergence satisfies
\[
\mathrm{SW}_p(\mathbb Q\|\mathbb P)
=
\Bigl(\frac2\pi\Bigr)^{p/2}
\mathbb E^{\mathbb Q}\!\Bigl[
\int_0^1 \bigl||\sigma(t,X)|-|\eta(t,X)|\bigr|^p\,dt
\Bigr]
\]
[2404.19672]. When the reference law is the constant martingale $\mathbb P_\delta$, optimization over the class of win-martingales becomes equivalent to minimizing
\[
\mathbb E^{\mathbb Q}\!\int_0^1 \sigma(t,X)^p\,dt
\]
subject to the terminal win constraint [2404.19672].

For $p\neq 2$, the unique extremal win-martingale is obtained from a separation-of-variables ansatz
\[
\sigma(t,x)=\frac{1}{\sqrt{1-t}\,h(x)},
\]
where $h$ solves a boundary-value problem derived from a first-order martingale-optimal-transport condition [2404.19672]. The case $p=\tfrac12$ is especially explicit:
\[
\sigma(t,x)=\sqrt{\frac{2}{1-t}\,x(1-x)},
\]
so the optimal win-martingale solves
\[
dM_t=\sqrt{\frac{2}{1-t}\,M_t(1-M_t)}\,dB_t,\qquad M_0=x_0,\qquad M_1\in\{0,1\}
\]
[2404.19672]. This process remains in $(0,1)$ on $[0,1)$ and hits $\{0,1\}$ only at time $1$ [2404.19672]. Under the reparameterization $Y_t=M_{1-e^{-t/2}}$, one has
\[
dY_t=Y_t(1-Y_t)\,dW_t,
\]
and for the log-odds $C_t=\ln(Y_t/(1-Y_t))$,
\[
dC_t=\tfrac12\tanh(C_t/2)\,dt+dW_t
\]
[2404.19672]. The paper further identifies this law with a Schrödinger-problem/entropic-bridge limit [2404.19672].

Win-martingales also furnish model-agnostic calibration diagnostics for sequential probability forecasts. For binary Doob martingales with continuous paths, the exact law of the path maximum gives the benchmark
\[
F_{M^*\mid Y=0}(x)=1-\frac{p_0}{1-p_0}\frac{1-x}{x}
\]
for the peak win probability attained on trajectories that eventually lose [2601.18774]. This supports expectation-calibration checks, empirical CDF comparisons, and threshold-based exceedance tests. For example, under correct specification,
\[
P(M^*\ge 0.9\mid Y=0)=\frac{p_0}{1-p_0}\frac{1-0.9}{0.9}
\]
[2601.18774]. The practical significance is that large apparent “collapses” can be evaluated against a martingale reference law rather than anecdotal intuition.

## 7. Relations to randomness, misconceptions, and open problems

The term “win-martingale” occurs in distinct but related literatures. In prediction and contest models, it denotes conditional winning-probability martingales ending at $0$ or $1$ [1211.2045; 2305.14037; 2601.18774]. In algorithmic randomness, by contrast, martingales are betting strategies on bit sequences, and integer-valued martingales are used to define weakened randomness notions [1004.0838]. That literature studies when a martingale “wins” by making unbounded capital, rather than a process representing a win probability. The overlap is conceptual rather than terminological: both settings exploit martingale fairness, stopping-time arguments, and threshold-hitting structure, but the objects and objectives differ [1004.0838].

A common misconception is that the law of a win-martingale is essentially determined by its start and endpoint. The results above show otherwise. First moments such as $E[N_b]=1/b$ or exact maximum identities such as $P(M^*\ge x)=p_0/x$ under continuity are universal [1211.2045; 2601.18774], but higher-order fluctuation laws can vary dramatically across models [1211.2045]. Likewise, different divergence principles select different “canonical” win-martingales: the maximal-entropy criterion yields the sine-volatility SDE [2305.14037], whereas reciprocal specific relative entropy selects the time-changed neutral Wright–Fisher diffusion [2602.14776], and specific $p$-Wasserstein optimization yields a family depending on $p$, with an explicit form at $p=\tfrac12$ [2404.19672].

Several open problems remain explicit in the literature. In the $0$-Wright–Fisher contest model, the laws of $N_b$ and $D_{a,b}$ are not known [1211.2045]. In algorithmic randomness, open questions include whether allowing all integer multiples of $1$ changes integer-valued randomness and whether there is a pure Kolmogorov-complexity or effective-test characterization of integer-valued or finitely-valued randomness [1004.0838]. A plausible implication is that the win-martingale framework remains technically fertile precisely because universal martingale constraints coexist with strong model dependence at the level of pathwise distribution, divergence geometry, and extremal structure.

Source: https://www.emergentmind.com/topics/win-martingales