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.

Square independent-component model with standardized sources

Definition

Let p≥1 and let X,S be random vectors in Rp, considered through their probability laws. A square independent-component representation of X is a representation in distribution

X=dAS

where A∈GLp(R) is an invertible mixing matrix and S=(S1,…,Sp)T has mutually independent real-valued components. Mutual independence means that for all Borel sets B1,…,Bp⊆R,

P(S1∈B1,…,Sp∈Bp)=∏j=1pP(Sj∈Bj).

Each source is standardized: ESj=0 and ESj2=1. A source is Gaussian if its law has density (2π)−1/2e−x2/2, and is non-Gaussian otherwise. All vectors are columns and matrix transposes use the standard Euclidean inner product. The definition specifies a latent representation, not a claim that it can be recovered uniquely from the law of X.

Used by

Dependency tree · 0 levels

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

Sources