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 generator
Definition
Let with . Identify its real matrices with , the finite matrix space with row and column indices in from The vector space of by matrices over a field, with entrywise operations, and use the matrix-product and identity conventions of Rectangular matrix multiplication and the identity matrix , including zero-sized shapes. A finite column generator on is a real matrix satisfying
The column index is the source state and the row index is the destination state: for , is the transition rate from to . The exit rate from is
A column probability vector is with for each and . A subprobability vector has the same coordinatewise nonnegativity and has coordinate sum at most one. These conventions are used throughout this page.
Depends on
Used by
- Budgeted uniformization accumulation with time splitting Algorithm
- Uniformized finite-generator stationary residual certificate Corollary
- Killed finite-state projection and cemetery lift Definition
- A stiff reversible two-compartment transfer Example
- A three-state birth–death generator and detailed balance Example
- Equal mean trajectories do not determine a master-equation state Example
- Three-state birth-death chain with a certified Poisson tail Example
- Two-state gating through uniformization Example
- The finite uniformized matrix is column stochastic Lemma
- Finite master equation and uniformization formula Theorem
- Finite-state killed projection has an exact lost-mass certificate Theorem
- Positive graph-diffusion semigroup and Euler maps Theorem
- Uniformization truncation, mass loss, and arithmetic-error ledger Theorem
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
- Ward Whitt, Continuous-Time Markov Chains, full lecture notes (2006) (standard reference, not scraped)
- Brian Munsky and Mustafa Khammash, The Finite State Projection Algorithm for the Solution of the Chemical Master Equation (standard reference, not scraped)