Pith. sign in

REVIEW 2 major objections 8 minor 4 references

A characterization of mutual absolute continuity of probability measures on a filtered space

T0 review · 2 major / 8 minor · reviewed 2026-08-12 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read Mutual absolute continuity on a filtered space is characterized by a martingale limit $M$ being equal to 1 almost surely.

desk verdict New and plausible characterization of mutual absolute continuity; the proof has a fillable gap in the key theorem and a mis-stated corollary, but the result deserves a referee. read the letter →

arxiv 2411.18555 v1 pith:D7ZENJJP submitted 2024-11-27 math.PR

Matthias Georg Mayer This is my paper · ORCID
classification math.PR MSC 60G60B10
keywords mutualabsolutecontinuityfilteredspaceRadon-Nikodymderivativemartingalelimitproductprobabilitymeasuresstochasticprocessesof
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

This paper gives a new criterion for deciding whether two probability measures on the same filtered space are mutually absolutely continuous, meaning they assign zero probability to exactly the same events. The criterion is a single martingale limit $M$ built from the square roots of the successive Radon-Nikodym density ratios between the two measures. The paper proves that the two measures are mutually absolutely continuous if and only if $M=1$ almost surely under both measures, and that in this case the square-root densities converge in $L^2$ to the square root of the final density. Because laws of random variables and stochastic processes live on product spaces, the result immediately gives a characterization of equivalence of such laws in terms of finite-dimensional marginals.

What carries the argument

The central object is the martingale limit $M=\lim_n \lim_k \mathbb{E}(\prod_{i=n}^k \sqrt{\varphi_i}\,|\,\mathcal{F}_n)$, where $\varphi_n=\Phi_{n+1}/\Phi_n$ is the density ratio between consecutive filtration levels. Morally, $M$ measures the similarity of the two measures at infinity, after removing the information already seen at time $n$. The proof also uses the companion process $N_n=\sqrt{\varphi_1\cdots\varphi_{n-1}}\,M_n$, which is a uniform $L^2$-martingale whose limit $N$ records whether the product of all densities converges to a positive limit. The argument splits the sample space according to whether $N$ and its counterpart $N'$ vanish: on $\{N>0\}$ the paper forces $M=1$, while on $\{N=0\}$ it shows the two measures are orthogonal. The generator approximation theorem is the tool that lets the orthogonality proof approximate the set $\{N=0\}$ by filtration sets.

What would settle it

Compute $M$ for a pair of singular product measures, for example two independent Bernoulli laws with different success probabilities; the theorem predicts $M<1$ on a set of positive measure, and if the computation instead gives $M=1$ almost surely, the characterization is false.

Watch

Extended reading notes

Core claim

Let $\mathbb{P}$ and $\mathbb{P}'$ be probability measures on a filtered space $(\Omega,\mathcal{F},(\mathcal{F}_n)_{n\in\mathbb{N}})$ with $\mathcal{F}_1=\{\emptyset,\Omega\}$ and $\mathcal{F}=\sigma(\bigcup_n \mathcal{F}_n)$, and assume $\mathbb{P}|_{\mathcal{F}_n}\sim\mathbb{P}'|_{\mathcal{F}_n}$ for every $n$. Write $\Phi_n=d\mathbb{P}'|_{\mathcal{F}_n}/d\mathbb{P}|_{\mathcal{F}_n}$ and $\varphi_n=\Phi_{n+1}/\Phi_n$. The paper's central claim is that the doubly indexed conditional expectation $M_{n,k}=\mathbb{E}(\prod_{i=n}^k \sqrt{\varphi_i}\,|\,\mathcal{F}_n)$ has limits $M_n=\lim_k M_{n,k}$ and $M=\lim_n M_n$ almost surely with respect to $\mathbb{P}+\mathbb{P}'$, and that $\mathbb{P}\sim\mathbb{P}'$ holds exactly when $M=1$ almost surely for both measures. In that case $(\Phi_n)^{1/2}$ converges in $L^2(\mathbb{P})$ to $(d\mathbb{P}'/d\mathbb{P})^{1/2}$. The 'only if' direction is obtained by showing that wherever $M<1$ the two measures are orthogonal, and the 'if' direction by using $M=1$ to prove that $\sqrt{\Phi_n}$ is a Cauchy sequence in $L^2(\mathbb{P})$.

Load-bearing premise

The characterization assumes the two measures agree on every finite filtration level and that the filtration's union is a family closed under finite intersections and complements that generates the final $\sigma$-algebra; if either fails, the density ratios or the orthogonality argument can break down.

Editorial extensions

If this is right

  • For any pair of measures on a filtered space whose finite-dimensional restrictions are equivalent, mutual absolute continuity of the full measures is decided by the single condition $M=1$ $(\mathbb{P}+\mathbb{P}')$-almost surely.
  • When the condition holds, the square roots of the Radon-Nikodym densities $\Phi_n^{1/2}$ converge in $L^2(\mathbb{P})$ to $(d\mathbb{P}'/d\mathbb{P})^{1/2}$, giving an $L^2$ approximation of the final density by its filtration approximations.
  • For laws of families of random variables or stochastic processes on a product space, equivalence is characterized by applying the criterion along every increasing sequence of finite coordinate sets, reducing the infinite-dimensional equivalence question to a family of finite-dimensional calculations.
  • If $M$ fails to equal 1, the measures split orthogonally on the set where the martingale limit $N$ is zero, so the equivalence-versus-singularity dichotomy is governed by the same tail object.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • An extension the authors do not spell out: because $M$ is built only from conditional expectations of square-root density ratios, it can in principle be estimated pathwise from simulations of the two measures along a filtration, making the criterion computationally testable despite being non-predictable.
  • The condition $M=1$ is a tail condition independent of $\mathbb{P}|_{\mathcal{F}_n}$ and $\mathbb{P}'|_{\mathcal{F}_n}$ for every fixed $n$; one could use the gap $1-M$ as a quantitative measure of distance from equivalence, although the paper does not pursue that.
  • Because the 'only if' direction relies on approximating arbitrary measurable sets by filtration sets, one could replace the filtration by any family closed under finite intersections and complements that generates the final $\sigma$-algebra; checking whether the characterization survives that replacement would map the theorem's structural boundary.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

2 major / 8 minor

Summary. This paper studies mutual absolute continuity (P ~ P') of two probability measures on a filtered space (Omega, F, (F_n)) with F = sigma(union_n F_n), under the standing assumption that P|F_n ~ P'|F_n for every n. Writing Phi_n = dP'|F_n/dP|F_n and phi_n = Phi_{n+1}/Phi_n, the author defines M_{n,k} = E( product_{i=n}^k sqrt(phi_i) | F_n ), proves that the double limit M = lim_n lim_k M_{n,k} exists (P+P')-almost everywhere, and establishes the main characterization (Theorem 5.1): P ~ P' if and only if M = 1 (P+P')-almost surely, in which case sqrt(Phi_n) -> sqrt(dP'/dP) in L^2(P). The proof is organized in four stages: convergence of M and the companion martingale N (Section 4.1); the relations between N and M, including M = 1 on {N > 0} (Section 4.2); orthogonality on {N = 0} and {N' = 0} (Section 4.3); and L^2/L^1 convergence of densities under M = 1 (Section 4.4). A product-space corollary (Corollary 5.2) gives applications to laws of families of random variables and stochastic processes.

Significance. If the main theorem is correct, this is a genuine addition to the classical criteria of Kakutani and Kabanov-Lipcer-Sirjaev: the M = 1 criterion is parameter-free, derived purely from the Radon-Nikodym densities, and comes with an L^2-convergence statement for square-root likelihood ratios that strengthens the existing absolute-continuity criteria. The construction of M is natural (a decreasing conditional-expectation limit in k followed by a bounded-submartingale limit in n), and no ad-hoc entities or fitted parameters enter. The proof is self-contained modulo standard martingale theorems and the generator approximation theorem, and the author is honest about the scope of the result, explicitly noting that unlike the KLS criterion, M is not a limit of a predictable sequence and is therefore 'of a more theoretical nature'. The applications to product spaces are natural and correctly reduce to Theorem 5.1 via Lemma 2.8. The contribution is moderate in scope - a new equivalence rather than a new phenomenon - but it is solid and useful, provided the proof gaps identified in the major comments are closed.

major comments (2)
  1. [Section 4.2, Theorem 4.2.5, Eq. (2)] The stress-test concern is confirmed: the displayed chain (2) contains the step liminf_n E(1_D E(sqrt(phi_{n,...}) wedge 1 | F_n)) = lim_n E(1_D M_n), which is not justified by the stated tools and is false in general. Fatou's lemma for conditional expectations gives only E(sqrt(phi_{n,...}) | F_n) <= liminf_k E(sqrt(phi_{n,...,k}) | F_n) = M_n, and the cap wedge 1 can only decrease the left-hand side; the two quantities differ whenever the infinite product sqrt(phi_{n,...}) exceeds 1 on a set of positive conditional probability, which already occurs in the Kakutani product-measure case. Because this step is what yields E(1_C) <= E(1_C M) on C = {N > 0}, and hence M = 1 on C, the 'only if' direction of Theorem 5.1 is not fully proved as written. The repair is local: replacing the equality with the valid inequality E(1_D E(sqrt(phi_{n,...}) wedge 1 | F_n)) <= E(1_D M_n), together with dominated convergence for E(1_D M_n) -> E(1_D M), gives the same conclusion; the authors should make this change and justify each limit in the chain.
  2. [Section 4.3, Corollary 4.3.2] The statement of Corollary 4.3.2 is the reverse of the implication its proof establishes. As printed, 'Suppose M = 1 does not hold (P+P')-a.e. Then P ~ P'' contradicts the argument, which proves the contrapositive: if M < 1 on a set C with P(C) > 0, then Theorem 4.2.5 gives N = 0 a.e. on C, so P({N = 0}) > 0, and Theorem 4.3.1 yields P|C orthogonal to P'|C, which excludes P ~ P'. The final sentence of the proof, 'Since P(C) != 0, this implies P|C ~ P'|C', is likewise inconsistent with the preceding orthogonality conclusion and should instead note that orthogonality on a set of positive P-measure contradicts mutual absolute continuity. The corollary should be restated as: if M = 1 does not hold (P+P')-a.e., then P and P' are not mutually absolutely continuous; with that restatement, the citation of Corollary 4.3.2 as the '=>' direction in Theorem 5.1 becomes correct.
minor comments (8)
  1. [Section 1 and Theorem 5.1] In the introduction and in the statement of Theorem 5.1, 'F_1 = empty' should read 'F_1 = {empty, Omega}', and 'F = sigma(union_{n in N} F_n)' has a typographical omission of the subscript n in the published text.
  2. [Section 4.1, after Definition 4.1.1] The sentence 'M_{n,k} is F_k-measurable' should read 'F_n-measurable'; the conditional expectation with respect to F_n is F_n-measurable.
  3. [Section 4.3, proof of Theorem 4.3.1] The simultaneous choice of n and C' in F_n needs explicit justification: Theorem 2.6 applies with the generator union_m F_m (which is cap-stable and complement-closed because each F_m is a sigma-algebra), and applying it to the measure P + P' yields C' in union_m F_m with both P(C' Delta C) and P'(C' Delta C) small, after which n must be enlarged to cover the index of C', which is harmless because int_C N_n <= epsilon for all sufficiently large n. The parenthetical '(uniform integrability)' does not by itself give the third condition; that condition follows from Cauchy-Schwarz and the uniform L^2 bound on N_m once (P+P')(C' Delta C) < epsilon^2. Finally, the passage from the epsilon-bounds to P|C orthogonal to P'|C (e.g., a Borel-Cantelli argument along epsilon_m decreasing to 0) is omitted and should be stated.
  4. [Section 4.1, Lemma 4.1.6] The displayed formula in the proof has an unbalanced parenthesis ('E(phi_{n,...,k})) = 1'), and the inequality E(M_n^2) <= lim_k E(phi_{n,...,k}) is a consequence of Fatou's lemma together with Jensen's inequality (M_{n,k}^2 <= E(phi_{n,...,k} | F_n)), not of dominated convergence by itself; the proof should be rewritten for clarity.
  5. [Section 4.2, Eq. (2)] The expression 'lim inf_n sqrt(phi_{n,...}) wedge 1' is ambiguous; the Fatou step requires the cap to be inside the liminf, that is, liminf_n (sqrt(phi_{n,...}) wedge 1).
  6. [Section 4.4, Lemma 4.4.2] The assertion that phi_{1,...,n} converges (P+P')-a.e. cites Lemma 4.2.2, which is stated for P only; the P' half follows by symmetry of the setup (M' = M) and should be said explicitly.
  7. [Section 5, Corollary 5.2] The symbol phi_{J_i} in the product product_{i=n}^k sqrt(phi_{J_i}) is not defined by the preceding definition phi_{J,K} = Phi_J/Phi_K; it should be the ratio Phi_{J_i}/Phi_{J_{i-1}} (with Phi_empty = 1), and the reference measure for the asserted L^2 convergence of (Phi_{J_n})^{1/2} should be specified.
  8. [Section 3 Related Work] The name 'Kabunov' is used inconsistently alongside 'Kabanov' (see also the bibliography), and the related-work discussion would benefit from a concrete comparison of the new M-criterion with the collapsed KLS criterion of Corollary 3.2, going beyond the qualitative remark that M is not a predictable limit.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the characterization is derived from the Radon-Nikodym densities and standard martingale arguments.

full rationale

The paper constructs the random variable M as a limit of conditional expectations of square roots of density ratios, and then proves equivalence between mutual absolute continuity and M = 1. There are no fitted parameters, no quantities defined in terms of the target conclusion, and no load-bearing self-citations. The background citations to Kabanov et al., Engelbert and Shiryaev, and Kakutani are used for context and related criteria, not as the justification for Theorem 5.1. The central proof chain is self-contained: Lemma 4.1.9 shows that N_n is a uniform L2 martingale, Theorem 4.2.5 relates M and N via Fatou and dominated convergence, Theorem 4.3.1 proves orthogonality on {N = 0} using standard generator approximation, and Lemma 4.4.2 derives L2 convergence of sqrt(Phi_n) from M = 1. None of these steps reduces to the theorem's conclusion by definition. The skeptical note about the equality E(1_D sqrt(varphi_{m,...}) ∧ 1) = lim_m E(1_D M_m) in the proof of Theorem 4.2.5 is a potential correctness gap, not a circularity: even if that equality is unjustified, the theorem is not being assumed or built into the input. Under the reviewing rules, a possible proof error is outside the circularity score and therefore does not raise the score.

Assumptions & free parameters 0 free parameters · 6 assumptions · 2 invented entities

The only new 'objects' are M and N, which are explicit martingale limits of the given densities, so they carry their own definitions and proofs rather than being ad hoc postulates. No fitted parameters appear.

assumptions (6)
  • standard math Radon-Nikodym theorem: since P|F_n ~ P'|F_n, densities Phi_n exist.
    Used throughout Section 4 to define the likelihood ratios.
  • standard math Doob's martingale convergence theorem for bounded submartingales.
    Used to prove existence of M_n in Lemma 4.1.7.
  • standard math Fatou's lemma and dominated convergence theorem.
    Used in Lemma 4.2.1 and Theorem 4.2.5 to interchange limits and integrals.
  • standard math Generator approximation theorem (Thm 2.6).
    Used in Theorem 4.3.1 to approximate {N=0} by sets in the filtration.
  • domain assumption Domain assumption: P|F_n ~ P'|F_n for every n in N.
    Necessary for the densities Phi_n to exist; stated at the start of Section 4.
  • domain assumption Filtration satisfies F_1 = {empty set, Omega} and F = sigma(union F_n).
    Convention for the filtered space; stated in Section 1 and Theorem 5.1.
invented entities (2)
  • Martingale limit M independent evidence
    purpose: Measures the similarity of the tails of the two measures; the paper proves P~P' iff M=1.
    M is defined from the Radon-Nikodym derivatives, not postulated. The theorem itself is the falsifiable handle: M=1 iff the measures are equivalent.
  • N = lim_n N_n independent evidence
    purpose: Auxiliary limit used to relate M to the likelihood ratios; the orthogonality result on {N=0} yields the contrapositive of the characterization.
    Defined from the same densities; its properties (Lemma 4.2.1, Thm 4.2.5) are proved inside the paper.

how reviews work

0 comments
Cite this review

Pith. "Pith review of A characterization of mutual absolute continuity of probability measures on a filtered space." pith.science (2026). https://pith.science/paper/D7ZENJJP

@misc{pith2026241118555,
  author       = {Pith},
  title        = {Pith review of: A characterization of mutual absolute continuity of probability measures on a filtered space},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/D7ZENJJP}},
  note         = {Machine review of arXiv:2411.18555}
}
abstract

We give a new characterization for mutual absolute continuity of probability measures on a filtered space. For this, we introduce a martingale limit $M$ that measures the similarity between the tails of the probability measures restricted to the filtration. The measures are mutually absolutely continuous if and only if $M = 1$ holds almost surely for both measures. In this case, the square roots of the Radon-Nikodym derivatives on the filtration converge in $L^2$. Finally, we apply the result to families of random variables and stochastic processes.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

4 extracted references · 4 canonical work pages

  1. [1]

    Durrett, Probability: theory and examples

    R. Durrett, Probability: theory and examples. Cambridge university press, 2019

    work page 2019

  2. [2]

    On the question of absolute continuity and singularity of probability measures,

    J. M. Kabanov, R. Š. Lipcer, and A. Širjaev, “On the question of absolute continuity and singularity of probability measures,” Mathematics of the USSR-Sbornik , vol. 33, no. 2, p. 203, 1977

    work page 1977

  3. [3]

    On absolute continuity and singularity of probability measures,

    H. J. Engelbert and A. N. Shiryaev, “On absolute continuity and singularity of probability measures,” Banach Center Publications , vol. 6, pp. 121–132, 1980, [Online]. Available: https://api.semanticscholar.org/CorpusID:118481905

    work page 1980

  4. [4]

    On equivalence of infinite product measures,

    S. Kakutani, “On equivalence of infinite product measures,” Annals of Mathematics, vol. 49, no. 1, pp. 214–224, 1948. 8

    work page 1948

Pith tools

Reviewed August 12, 2026 · model on record in the stance chip above.