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.
Two-level full factorial designs and coded effects
Definition
Fix an integer and write . A two-level full factorial design has run set so every one of the sign combinations occurs once. For a run and a subset , define its sign column by where the empty product is . The design matrix has one row for each run, one column for each subset of factors, and entry . Any fixed ordering of the runs and subsets may be used.
The run set and subset index set both have elements: a subset corresponds to the sign vector whose th coordinate is exactly when . Thus is a square matrix.
For a real response table , define its normalized factorial coefficient by For nonempty , put and . Both sets are nonempty: the all-positive run lies in , and flipping any coordinate in gives a run in . Define the factorial effect on this response scale as
Used by
- Central composite designs Definition
- Regular two-level fractions, signed defining relations, and resolution Definition
- A two-factor interaction depends on response scale Example
- Unequal replication removes factorial-column orthogonality Example
- Coefficient and factorial-effect variances under equal replication Theorem
- Orthogonality of the full two-level factorial contrasts Theorem
Dependency tree · 0 levels
Nothing. This result depends on no other item in the library.
Sources
- Gary W. Oehlert, A First Course in Design and Analysis of Experiments, Chapter 8, §§8.2 and 8.5 (standard reference, not scraped)
- NIST/SEMATECH e-Handbook of Statistical Methods, §5.3.3.3.1, Two-level full factorial designs (standard reference, not scraped)
- NIST/SEMATECH e-Handbook of Statistical Methods, §5.3.3.3.2, Full factorial example (standard reference, not scraped)