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.
Functional-specific effective sample size
Definition
Let be random elements of a measurable space on a common probability space, and let be measurable. Suppose is a strictly stationary real process in the sense of Stationary process and canonical path shift, and suppose using Moments, variance, and covariance on a probability space. For , put
If and , define the theoretical functional-specific effective sample size for an integer draws by . Here is the scalar functional whose Monte Carlo average is being assessed. When a central limit theorem for that average has asymptotic variance , this definition is the iid sample size with the same asymptotic variance. It does not assert that such a central limit theorem holds. If the covariance series is not absolutely summable or , this definition does not assign a finite positive effective sample size.
Depends on
Used by
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.
Sources
- Aki Vehtari et al., Rank-normalization, folding, and localization, §3.2 (standard reference, not scraped)
- Art B. Owen, Monte Carlo Theory, Methods and Examples, Chapter 11, §11.12 (standard reference, not scraped)