REVIEW 4 minor 24 references
The paper proves that every time-homogeneous martingale diffusion on [0,1] with strictly positive smooth volatility and absorbing endpoints is the exact Bayesian posterior of an explicitly constructed binary diffusion experiment.
Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →
T0 review · deepseek-v4-flash
2026-08-01 10:00 UTC pith:GARIHGZI
load-bearing objection A genuinely new embedding theorem: every autonomous win-martingale is the exact posterior of an explicit binary diffusion, with a sharp converse classification; the proofs are solid and the acknowledged one-dimensional limitation is the main caveat.
Embedding martingale diffusions as binary posteriors in sequential inference
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
On its own terms, the paper establishes an exact two-way correspondence between autonomous win-martingales (solutions dΠ_t = σ(Π_t) dB_t on [0,1], σ ∈ C^1((0,1);(0,∞)), absorbed at endpoints) and binary diffusion experiments dX_t = μ_θ(X_t) dt + dW_t. Theorem 3.2 gives the forward direction: with F(p)=∫_{1/2}^p du/σ(u) and its inverse G, setting Y_t=F(Π_t), the conditional laws of Y given Π_∞=1 and Π_∞=0 have explicit drifts ν_1 and ν_0, and the experiment with signal X and drifts ν_0,ν_1 has posterior P_t=G(X_t) with exactly the law of Π. The converse, Theorems 4.3 and 4.7, shows that the posterior is a smooth current-state function Γ(t,X_t) iff the drift gap δ=μ_1−μ_0 solves δ′+2μ_0δ+δ^2=−
What carries the argument
The central machinery is the Lamperti transform F(p)=∫_{1/2}^p du/σ(u), which maps an autonomous win-martingale to a unit-volatility diffusion Y=F(Π); conditioning on the terminal outcome then acts as a Doob h-transform with harmonic functions h_1(p)=p and h_0(p)=1−p, producing the two state-dependent signal drifts. In the converse, the Riccati identity δ′+2μ_0δ+δ^2=−κ serves as the compatibility condition, equivalent to the Girsanov density collapsing to an h-transform; it separates autonomy (κ=0) from forced constancy (κ≠0).
Load-bearing premise
The entire construction requires the volatility σ to be strictly positive on (0,1); if σ had an interior zero, the Lamperti transform would not be invertible and the explicit experiment drifts could not be defined.
What would settle it
Take a volatility σ in the class, compute δ(x)=σ(G(x))/(G(x)(1−G(x))) from the embedding drifts, and substitute it into the Riccati equation (4.1); a failure of the identity for some x would expose an inconsistency between the forward and converse directions. Alternatively, simulate the constructed experiment and compare the empirical law of the posterior path with the prescribed martingale law.
If this is right
- Every autonomous win-martingale, including absorbed Brownian motion, the Wright–Fisher diffusion, and the most-exciting-game martingale, comes with an explicit binary signal that a real observer could track.
- The posterior-threshold formulas give closed-form error probabilities and expected decision times for any autonomous win-martingale decision rule.
- Inverse design: choosing any null drift μ_0 and any constant C yields an alternative drift δ=s_0′/(C+s_0) whose experiment has autonomous posterior dynamics.
- Outside the harmonic class κ=0, the only autonomous posterior is the classical two-state filter with volatility |Δ|p(1−p), so that filter is recovered rather than chosen.
- Current-time-and-state sufficiency for the hidden state is equivalent to the Riccati condition, so any experiment violating it must have a posterior that depends on the path history.
Where Pith is reading between the lines
- The embedding suggests a converse design template for other scalar martingales: any bounded martingale with a positive volatility can be given a 'story' as a posterior, and one could ask which cost or optimality criteria select among the many possible experiments for the same posterior law.
- Because the autonomy classification forces the classical filter for κ≠0, optimality criteria that reward belief movement will pick among the κ=0 family; the paper's examples hint that the most-exciting-game and a normal-mixture martingale are time-changed members of that family.
- The threshold formulas imply that, for fixed thresholds, type I/II errors are volatility-independent, but optimizing thresholds reintroduces dependence on σ; a natural extension is to solve the optimal stopping problem for the autonomous posterior family.
- The paper notes that higher-dimensional, multi-hypothesis extensions lack the scalar machinery; a concrete next step is to test whether any multidimensional bounded martingale posterior can be embedded in a similarly explicit multi-hypothesis diffusion experiment.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. This paper studies the relationship between time-homogeneous martingale diffusions on [0,1] and Bayesian posteriors in binary sequential experiments. It calls a process Π an autonomous win-martingale if it satisfies dΠ_t = σ(Π_t)dB_t with σ∈C^1((0,1);(0,∞)) and absorbing endpoints. The main positive result, Theorem 3.2, constructs, for every such Π, a binary diffusion experiment whose posterior is indistinguishable from Π: after the Lamperti transform F, the two state-dependent drifts are (3.5), and the posterior is P=G(X). The paper then characterizes the converse. Theorem 4.3 shows that the posterior depends on (t,X_t) only through a smooth function exactly when the drift gap δ satisfies the Riccati equation (4.1); Corollary 4.4 recasts this as a Doob h-transform of the null dynamics. Theorem 4.7 classifies autonomy: for κ=0 the posterior is a time-independent function of X_t, while for κ≠0 autonomy forces δ to be constant and recovers the classical volatility σ(p)=|Δ|p(1-p). Examples include absorbed Brownian motion, the Wright-Fisher diffusion, and the Aldous martingale, with a table of explicit experiments. A short section gives posterior-threshold error probabilities and expected decision times.
Significance. If correct, the results provide a complete and elegant one-dimensional link between bounded martingale diffusions and Bayesian sequential experiments. The embedding theorem is fully constructive and parameter-free, and the converse gives a precise, checkable condition—Riccati equation (4.1), equivalently a space-time harmonic likelihood ratio—for current-state sufficiency. The classification of autonomy is a genuinely informative dichotomy: the κ=0 branch characterizes exactly the time-homogeneous posterior dynamics from the embedding, while the κ≠0 branch forces the classical Shiryaev–Wonham volatility. The paper is technically careful: proofs use standard tools (Engelbert–Schmidt, Girsanov, filtering theorems, support arguments) with proper localizations, and the examples are nontrivial and correctly computed. The one-dimensional binary setting is a limitation of scope, but it is explicitly acknowledged and does not undermine the paper's claims.
minor comments (4)
- [§3, Eq. (3.5)] The drifts ν_i have denominators G(y) and 1−G(y), which vanish as y approaches the endpoints of the interval I. It would be helpful to state explicitly that continuity is claimed only on the open interval I, as required by the model in Section 2.1, and not up to the boundary; the current wording 'C(I;R)' is clear to specialists but could be misread.
- [§4.1, proof of Theorem 4.7(i)] The use of Picard–Lindelöf for the ODE δ' = −2μ_0δ−δ^2 is slightly compressed. Since μ_0 is only assumed continuous, the standard local uniqueness theorem requires the right-hand side to be continuous in x and locally Lipschitz in δ; this holds here, and the argument then extends globally. A one-sentence explanation would make the step more transparent.
- [§5, Table 1] For the first row, the sentence about the textbook presentation with drifts (0,1) changing κ from 0 to −1 is terse. Spelling out the shift X↦X+t/2 and how μ_0 changes from −1/2 to 0 would make the remark self-contained and avoid confusion about the sign convention in (4.1).
- [Remark 4.5] The remark is correct but could be more reader-friendly: after defining S_t, a short computation showing that the posterior is C-S for S, e.g. logit P_t = logit p + Δ(S_t−S_0)−Δ^2 t/2, would make the point immediately verifiable.
Circularity Check
No significant circularity; the embedding is constructive and the converse is self-contained, with only non-load-bearing self-citations.
full rationale
The derivation chain is self-contained. Theorem 3.2 is a constructive embedding: from an autonomous win-martingale Pi, the paper defines Q_i by conditioning on Pi_infinity (eqs. 3.3-3.4), computes the Girsanov drifts nu_i of Y=F(Pi) under Q_i (eq. 3.5), and then takes these nu_i as the signal drifts in the experiment. The posterior identity P=G(X) is then proved via Bayes' formula and uniqueness in law, not assumed. The converse (Theorems 4.3 and 4.7) compares Ito expansions with the filtering equation (2.6) and uses the support lemma to pass to pointwise PDEs; no parameter is fitted and no data subset is predicted. The only reliance on the authors' own work is a non-load-bearing contextual citation [11] (Campbell-Zhang) in the introduction and a mention of forthcoming work after Corollary 5.1; neither is used as an input to any theorem. The strict positivity of sigma, which the skeptic flags, is an explicit standing assumption in Definition 2.1 rather than a hidden circular premise. All load-bearing citations are to external texts (Karatzas-Shreve, Liptser-Shiryaev, Bain-Crisan, Rogers-Williams). Hence no circular step is present.
Axiom & Free-Parameter Ledger
axioms (7)
- standard math Engelbert–Schmidt and Yamada–Watanabe existence/uniqueness for SDEs (Lemmas 2.1, 2.2)
- standard math Girsanov theorem and Bayes/Kallianpur–Striebel formula for the filter (Proposition 2.3)
- standard math Doob h-transform: positive space-time harmonic functions generate local changes of measure (Section 2.2)
- domain assumption Observation model (2.2): binary state, scalar diffusion with non-degenerate Brownian noise and drifts μ0, μ1 ∈ C(J;R); Section 4 assumes δ∈C^1(J)
- domain assumption Win-martingale definition (2.1): time-homogeneous volatility σ∈C^1((0,1);(0,∞)), absorbing endpoints
- standard math Lévy's upward theorem and martingale convergence for P (Remarks 2.4, 4.8)
- standard math Picard–Lindelöf theorem for ODE uniqueness (Theorem 4.7)
read the original 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."
Reference graph
Works this paper leans on
-
[1]
Aldous,Using prediction market data to illustrate undergraduate probability, Amer
David J. Aldous,Using prediction market data to illustrate undergraduate probability, Amer. Math. Monthly120 (2013), no. 7, 583–593. MR 3096465
2013
-
[2]
2, 933–985
Ned Augenblick and Matthew Rabin,Belief movement, uncertainty reduction, and rational updating, The Quar- terly Journal of Economics136(2021), no. 2, 933–985
2021
-
[3]
Julio Backhoff and Xin Zhang,Reciprocal specific relative entropy between continuous martingales, Electron. Commun. Probab.31(2026), Paper No. 24, 12. MR 5072231
2026
-
[4]
Julio Backhoff-Veraguas and Mathias Beiglb¨ ock,The most exciting game, Electron. Commun. Probab.29(2024), Paper No. 6, 12. MR 4708993
2024
-
[5]
Julio Backhoff-Veraguas, Walter Schachermayer, and Bertram Tschiderer,The Bass functional of martingale transport, Ann. Appl. Probab.35(2025), no. 6, 4282–4301. MR 4993803
2025
-
[6]
Julio Backhoff-Veraguas and Xin Zhang,Specific Wasserstein divergence between continuous martingales, Math- ematics of Operations Research (2026)
2026
-
[7]
60, Springer, New York, 2009
Alan Bain and Dan Crisan,Fundamentals of stochastic filtering, Stochastic Modelling and Applied Probability, vol. 60, Springer, New York, 2009. MR 2454694
2009
-
[8]
Erhan Bayraktar and Yuqiong Wang,On hypoellipticity of degenerate operators in testing and detection problems, arXiv preprint arXiv:2510.22150 (2025)
arXiv 2025
-
[9]
Damiano Brigo and Fr´ ed´ eric Vrins,On the boundaries, asymptotic law and bernoulli-doob representation of ho- mogeneous bounded martingales, arXiv preprint arXiv:2607.12365 (2026)
Pith/arXiv arXiv 2026
-
[10]
Caffarelli and Avner Friedman,Sequential testing of several simple hypotheses for a diffusion process and the corresponding free boundary problem, Pacific J
Luis A. Caffarelli and Avner Friedman,Sequential testing of several simple hypotheses for a diffusion process and the corresponding free boundary problem, Pacific J. Math.93(1981), no. 1, 49–94. MR 621599
1981
-
[11]
Steven Campbell and Yuchong Zhang,A bayesian sequential soft classification problem for a brownian motion ’s drift, arXiv preprint arXiv:2501.11314 (2025)
Pith/arXiv arXiv 2025
-
[12]
5, 789–806
Erik Ekstr¨ om and Yuqiong Wang,Multi-dimensional sequential testing and detection, Stochastics94(2022), no. 5, 789–806. MR 4445993
2022
-
[13]
1, 215–260
Jeffrey Ely, Alexander Frankel, and Emir Kamenica,Suspense and surprise, Journal of Political Economy123 (2015), no. 1, 215–260
2015
-
[14]
224, Universit¨ at Bonn, Mathematisches Institut, Bonn, 1991, Dissertation, Rheinische Friedrich-Wilhelms-Universit¨ at Bonn, Bonn, 1991
Nina Gantert,Einige große Abweichungen der Brownschen Bewegung, Bonner Mathematische Schriften, vol. 224, Universit¨ at Bonn, Mathematisches Institut, Bonn, 1991, Dissertation, Rheinische Friedrich-Wilhelms-Universit¨ at Bonn, Bonn, 1991. MR 1179159 14 MARTINGALE DIFFUSIONS AS BINARY POSTERIORS
1991
-
[15]
P. V. Gapeev and G. Peskir,The Wiener sequential testing problem with finite horizon, Stoch. Stoch. Rep.76 (2004), no. 1, 59–75. MR 2038029
2004
-
[16]
Gapeev and Albert N
Pavel V. Gapeev and Albert N. Shiryaev,On the sequential testing problem for some diffusion processes, Stochas- tics83(2011), no. 4-6, 519–535. MR 2842593
2011
-
[17]
Howison, Dylan Possama ¨ ı, and Christoph Reisinger,Randomness and early termination: what makes a game exciting?, Probab
Gaoyue Guo, Sam D. Howison, Dylan Possama ¨ ı, and Christoph Reisinger,Randomness and early termination: what makes a game exciting?, Probab. Theory Related Fields192(2025), no. 1-2, 135–162. MR 4914060
2025
-
[18]
Finance28(2018), no
Monique Jeanblanc and Fr´ ed´ eric Vrins,Conic martingales from stochastic integrals, Math. Finance28(2018), no. 2, 516–535. MR 3780965
2018
-
[19]
Shreve,Brownian motion and stochastic calculus, second ed., Graduate Texts in Mathematics, vol
Ioannis Karatzas and Steven E. Shreve,Brownian motion and stochastic calculus, second ed., Graduate Texts in Mathematics, vol. 113, Springer-Verlag, New York, 1991. MR 1121940
1991
-
[20]
Liptser and Albert N
Robert S. Liptser and Albert N. Shiryaev,Statistics of random processes. I., expanded ed., Applications of Mathematics (New York), vol. 5, Springer-Verlag, Berlin, 2001, General theory, Translated from the 1974 Russian original by A. B. Aries, Stochastic Modelling and Applied Probability. MR 1800857
2001
-
[21]
L. C. G. Rogers and David Williams,Diffusions, Markov processes, and martingales. Vol. 2, Cambridge Mathe- matical Library, Cambridge University Press, Cambridge, 2000, Itˆ o calculus, Reprint of the second (1994) edition. MR 1780932
2000
-
[22]
A. N. Shiryaev,Two problems of sequential analysis, Cybernetics3(1967), no. 2, 63–69. MR 272119
1967
-
[23]
MR 20764
Abraham Wald,Sequential Analysis, John Wiley & Sons, Inc., New York; Chapman & Hall, Ltd., London, 1947. MR 20764
1947
-
[24]
W. M. Wonham,Some applications of stochastic differential equations to optimal nonlinear filtering, J. SIAM Control Ser. A2(1965), 347–369. MR 186472
1965
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.