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.
A two-state uncertain reaction rate has an exact degree-one chaos expansion
Example
Let take the values and with probability each, choose cutoff , and let the uncertain positive reaction rate be with and . Its degree-one chaos expansion is exact, with mean and variance .
Facts & Assumptions
Given: The symmetric two-point probability law and the rate parameters , .
Finite product-law polynomial-chaos input data requires finite moments and a positive-definite monomial Gram matrix through the chosen cutoff.
Positive moment Gram matrices produce orthonormal polynomial families constructs the normalized degree-zero and degree-one polynomials.
Finite chaos projection, Parseval identity, mean, and variance identifies the constant and first nonconstant coefficients with mean and variance contributions.
Verification
The first two moments are and , so the degree-one Gram matrix is , positive definite. Thus [F1] applies. Gram--Schmidt gives and , since already has mean zero and unit norm and its leading coefficient is positive.
Substitution gives at both support points, so the degree-one projection residual is identically zero. Its coefficients are and . By [F3], the mean is and variance is .
The condition implies at both states, so the reaction rate is positive on its whole support. Every function on this support also has the exact form ; hence this two-dimensional finite basis spans for this particular law.
Depends on
Used by
Nothing in the library uses this result yet.
Dependency tree · two levels
14 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.