Pith. sign in

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.

arxiv 2607.20373 v1 pith:GARIHGZI submitted 2026-07-22 math.PR math.STstat.TH

Embedding martingale diffusions as binary posteriors in sequential inference

classification math.PR math.STstat.TH MSC 60G4460H1060J6062L1093E11
keywords posterior martingalesbinary sequential inferencestochastic filteringDoob h-transformLamperti transformRiccati equationmartingale diffusionsequential testing
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

This paper proves that every time-homogeneous martingale diffusion on [0,1] with strictly positive smooth volatility and absorbing endpoints—called an autonomous win-martingale—can be represented exactly as the Bayesian posterior belief of an observer who sees a scalar diffusion whose drift depends on a hidden binary state. The representation is constructive: place the martingale in Lamperti coordinates, condition its law on the two terminal outcomes, and the resulting conditional drifts define the experiment. Going the other way, the paper characterizes which binary diffusion experiments produce posteriors that are functions of the current time and observation alone: the difference between the two signal drifts must solve a Riccati equation, equivalently the likelihood ratio must be a Doob h-transform for the null dynamics. Autonomy of the posterior then forces either the spatially harmonic case or a constant drift difference, recovering the classical two-state sequential-testing filter. This gives concrete learning experiments for a broad family of bounded martingales, including absorbed Brownian motion, the Wright–Fisher diffusion, and the most-exciting-game martingale.

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.

Watch this falsifier — get emailed when new claim-graph text bears on it.

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

These are editorial extensions of the paper, not claims the author makes directly.

  • 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.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

Referee Report

0 major / 4 minor

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)
  1. [§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.
  2. [§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.
  3. [§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).
  4. [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

0 steps flagged

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

0 free parameters · 7 axioms · 0 invented entities

The paper's central claims rest on standard probabilistic machinery (stochastic calculus, filtering theory, Doob transforms) plus the explicit domain assumptions of the model: binary state, scalar non-degenerate diffusion observation with smooth drifts, and win-martingales with strictly positive smooth volatility. No free parameters are fitted, and no new entities are postulated.

axioms (7)
  • standard math Engelbert–Schmidt and Yamada–Watanabe existence/uniqueness for SDEs (Lemmas 2.1, 2.2)
    Justifies pathwise unique strong solutions for the win-martingale and the signal; standard probabilistic background.
  • standard math Girsanov theorem and Bayes/Kallianpur–Striebel formula for the filter (Proposition 2.3)
    Used to derive the likelihood-ratio process, the innovation Brownian motion, and the filtering equation.
  • standard math Doob h-transform: positive space-time harmonic functions generate local changes of measure (Section 2.2)
    Used to rephrase the Riccati condition in Corollary 4.4 and in the examples.
  • 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)
    This is the epistemic setup the whole paper operates in; it excludes degenerate/noise-free observations and non-smooth drift gaps.
  • domain assumption Win-martingale definition (2.1): time-homogeneous volatility σ∈C^1((0,1);(0,∞)), absorbing endpoints
    Definition of autonomous win-martingale; strict positivity is needed for the Lamperti transform.
  • standard math Lévy's upward theorem and martingale convergence for P (Remarks 2.4, 4.8)
    Used to justify posterior convergence to a terminal value in {0,1} and the absorption arguments.
  • standard math Picard–Lindelöf theorem for ODE uniqueness (Theorem 4.7)
    Used to show δ either vanishes identically or has no zeros in the κ=0 case.

pith-pipeline@v1.3.0-alltime-deepseek · 16624 in / 20431 out tokens · 160362 ms · 2026-08-01T10:00:28.676217+00:00 · methodology

0 comments
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."

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

24 extracted references · 2 linked inside Pith

  1. [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

  2. [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

  3. [3]

    Julio Backhoff and Xin Zhang,Reciprocal specific relative entropy between continuous martingales, Electron. Commun. Probab.31(2026), Paper No. 24, 12. MR 5072231

  4. [4]

    Julio Backhoff-Veraguas and Mathias Beiglb¨ ock,The most exciting game, Electron. Commun. Probab.29(2024), Paper No. 6, 12. MR 4708993

  5. [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

  6. [6]

    Julio Backhoff-Veraguas and Xin Zhang,Specific Wasserstein divergence between continuous martingales, Math- ematics of Operations Research (2026)

  7. [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

  8. [8]

    Erhan Bayraktar and Yuqiong Wang,On hypoellipticity of degenerate operators in testing and detection problems, arXiv preprint arXiv:2510.22150 (2025)

  9. [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)

  10. [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

  11. [11]

    Steven Campbell and Yuchong Zhang,A bayesian sequential soft classification problem for a brownian motion ’s drift, arXiv preprint arXiv:2501.11314 (2025)

  12. [12]

    5, 789–806

    Erik Ekstr¨ om and Yuqiong Wang,Multi-dimensional sequential testing and detection, Stochastics94(2022), no. 5, 789–806. MR 4445993

  13. [13]

    1, 215–260

    Jeffrey Ely, Alexander Frankel, and Emir Kamenica,Suspense and surprise, Journal of Political Economy123 (2015), no. 1, 215–260

  14. [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

  15. [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

  16. [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

  17. [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

  18. [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

  19. [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

  20. [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

  21. [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

  22. [22]

    A. N. Shiryaev,Two problems of sequential analysis, Cybernetics3(1967), no. 2, 63–69. MR 272119

  23. [23]

    MR 20764

    Abraham Wald,Sequential Analysis, John Wiley & Sons, Inc., New York; Chapman & Hall, Ltd., London, 1947. MR 20764

  24. [24]

    W. M. Wonham,Some applications of stochastic differential equations to optimal nonlinear filtering, J. SIAM Control Ser. A2(1965), 347–369. MR 186472