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.
Independent random elements
Definition
Let be random elements on a common probability space. For each , write
The family is independent when the sigma-algebras are independent in the sense of Independent sigma-algebras and independent events.
When is a Borel sigma-algebra, this agrees with the notation from The sigma-algebra generated by a function.
Depends on
Used by
- Aalen–Johansen cumulative-incidence estimator Algorithm
- Dominating thinning for bounded time-varying propensities Algorithm
- Finite-candidate Gaussian-process acquisition search with explicit statuses Algorithm
- Gillespie direct method with horizon and budget statuses Algorithm
- Identity-corrected random-permutation Monte Carlo p-value Algorithm
- Minimum-intensity coupling of reaction networks Algorithm
- Next-reaction method by internal Poisson clocks Algorithm
- Coordinate random elements of a countable product are independent Corollary
- Finite-sample exactness under equal distributions Corollary
- A last exit time need not be a stopping time Counterexample
- Kolmogorov extension alone does not give a continuous version Counterexample
- Marginal split coverage need not give rare-subgroup coverage Counterexample
- The uncorrected Monte Carlo permutation fraction can be zero and invalid Counterexample
- A simple Markovian mediation model Definition
- Additive measurement error and categorical misclassification models Definition
- Batch and measurement-process variation Definition
- Binary instrumental-variable potential-outcome setup Definition
- Biological and technical replication model Definition
- d-dimensional Brownian motion Definition
- Density targets and the kernel density estimator Definition
- Empirical, centered, and Rademacher processes Definition
- Explicit exponential-family response contracts Definition
- Finite product-law polynomial-chaos input data Definition
- Finite-dimensional linear mixed model with explicit longitudinal roles Definition
- Full-orbit and tie-randomized permutation p-values Definition
- Gaussian sequence model with sparse means Definition
- Identical distribution and IID families Definition
- L2-m-approximable causal Bernoulli shifts Definition
- Linear-Gaussian state-space models with independent noises Definition
- Minimax squared operator risk Definition
- Orbit upper-tail rank p-values Definition
- Poisson and Cox point processes Definition
- Poisson random measure on a standard Borel space Definition
- Randomized conditional upper-tail p-values Definition
- Recursive structural causal models on finite DAGs Definition
- Row-wise independent centered triangular array Definition
- Tail sigma-algebra of a sequence Definition
- A binary SCM where front-door adjustment works Example
- A confounder and a conditioned collider Example
- A Gaussian process retains uncertainty at an independent index Example
…and 116 more results.
Dependency tree · two levels
8 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
- S. R. S. Varadhan, Probability Theory, Definitions 3.2 and 3.4 (standard reference, not scraped)
- Rick Durrett, Probability: Theory and Examples, 5th ed., Section 2.1 (standard reference, not scraped)