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.
Finite column-stochastic matrices and probability vectors
Definition
Let with . A matrix is column-stochastic when and for every source index . A column probability vector is with and . A stationary probability vector for is a column probability vector satisfying . For , write and .
The published transition-matrix convention Transition matrices and n-step probabilities is row-stochastic: its row index is the source and its column index the destination. If is such a matrix, then is column-stochastic; a row law updated by corresponds to the column law updated by . All displays on this page that use or use this column convention.
Depends on
Used by
- Correct and certify a finite-chain stationary candidate Algorithm
- Finite Markov closed-class graph decomposition Algorithm
- Column-overlap formula for the zero-sum ℓ1 coefficient Lemma
- Column-stochastic matrices preserve mass and contract ℓ1 Lemma
- An irreducible finite class has a unique invariant vector Theorem
- Closed-class stationary laws and initial-law-dependent Cesàro weights Theorem
- Correctness of finite Markov closed-class decomposition Theorem
- m-step Dobrushin certificate for a stationary probability Theorem
- One closed class makes the normalized stationary system nonsingular Theorem
Dependency tree · two levels
3 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
- Charles M. Grinstead and J. Laurie Snell, Introduction to Probability, Chapter 11 (standard reference, not scraped)
- Ilse C. F. Ipsen and Teresa M. Selee, Ergodicity Coefficients Defined by Vector Norms (standard reference, not scraped)