Alphabeta Math
DefinitionDefinition: Literature-sourcedProof: Not applicablePipeline-generatedjudge pass (gpt-6-luna)
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 n,p,r be positive integers and write N0={0,1,2,…}. An observed count matrix X=(xij)∈N0n×p is admissible when every row and every column contains a positive entry. A Poisson nonnegative matrix-factorization parameter of inner dimension r consists of matrices

W∈[0,∞)n×r,H∈[0,∞)r×p,λij=(WH)ij=∑k=1rWikHkj.

At this parameter, the random counts Yij are mutually independent and have Poisson means λij. For λ>0, the Poisson law is

P(Y=m)=e−λλmm!,m∈N0;

for λ=0, it assigns probability 1 to m=0 and probability 0 to every m>0. This model defines a likelihood for the observed matrix; it makes no convexity or global-optimality assertion about the factor parameters.

Used by

Dependency tree · 0 levels

Nothing. This result depends on no other item in the library.

Sources