How statement and proof provenance work
The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.
- Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
- AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
- AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.
These labels describe origin, not correctness: citations and verification chips remain separate evidence.
Proposal mixing ratios alone do not bound SMC asymptotic variance over time
Statement refuted
Uniform bounds on the true transition density ratios and proposal density ratios , together with a likelihood bounded above and away from zero and a bounded test oscillation, suffice by themselves to keep the SIR asymptotic variance bounded uniformly in time.
Facts & Assumptions
Given: The finite-horizon SMC variance recursion, density-ratio conventions, and SIR target/proposal setup in the cited definition.
Finite-horizon SMC CLT classes and variance recursions: and is the weighted-estimator asymptotic covariance.
Multinomial SMC variance unrolls into local contributions: For multinomial SIR, is the sum of the proposal expectations of over .
Counterexample
Given: Let with counting measure, an initial state , and a one-point observation space with likelihood density . Let the true transition density be for both and all . For , let the proposal be independent of the preceding state, with and . Use .
For every pair of preceding states, both and equal . The likelihood satisfies , and . The filtering target at every has last-state law , while the proposal last-state law is . Its normalized incremental Radon–Nikodym weight is and .
For every preceding path, the forward image of the centered test is Consequently for every , so all earlier-time terms in [F2] vanish.
The remaining term in [F2] is Since , despite all the stated ratio, likelihood, and oscillation bounds. Thus those conditions alone do not imply the claimed time-uniform variance bound.
Depends on
Used by
Nothing in the library uses this result yet.
Dependency tree · two levels
7 results within two dependency steps of this one, each drawn at its shortest distance from it. An arrow runs from a result to what uses it, so the chart reads left to right and ends at this result, which carries a heavier outline. Every node is a link to that result. Click elsewhere on the chart to enlarge it.