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.
Poisson nonnegative matrix-factorization model
Definition
Let be positive integers and write . An observed count matrix is admissible when every row and every column contains a positive entry. A Poisson nonnegative matrix-factorization parameter of inner dimension consists of matrices
At this parameter, the random counts are mutually independent and have Poisson means . For , the Poisson law is
for , it assigns probability to and probability to every . This model defines a likelihood for the observed matrix; it makes no convexity or global-optimality assertion about the factor parameters.
Definition references
Used by
- Finite Poisson NMF multiplicative-update sweeps Algorithm
- A positive rate matrix has NMFs beyond scale and permutation Example
- A zero-count cell remains well-defined in a positive NMF update Example
- Strictly positive initialization keeps the Poisson NMF updates well-defined Lemma
- Independent Poisson counts have the stated NMF log-likelihood Proposition
- Positive component rescaling and permutation preserve an NMF rate matrix Proposition
Dependency tree · 0 levels
Nothing. This result depends on no other item in the library.
Sources
- Trevor Hastie, Robert Tibshirani, and Jerome Friedman, The Elements of Statistical Learning, second edition, corrected 12th printing (standard reference, not scraped)
- Daniel D. Lee and H. Sebastian Seung, Algorithms for Non-negative Matrix Factorization, NIPS 2000 (standard reference, not scraped)