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.

Two-level full factorial designs and coded effects

Definition

Fix an integer k≥1 and write [k]={1,…,k}. A two-level full factorial design has run set Xk={−1,+1}[k], so every one of the 2k sign combinations occurs once. For a run x∈Xk and a subset A⊆[k], define its sign column by xA=∏j∈Axj, where the empty product is x∅=1. The design matrix X has one row for each run, one column for each subset of factors, and entry Xx,A=xA. Any fixed ordering of the runs and subsets may be used.

The run set and subset index set both have 2k elements: a subset A corresponds to the sign vector whose jth coordinate is +1 exactly when j∈A. Thus X is a square 2k×2k matrix.

For a real response table y=(yx)x∈Xk, define its normalized factorial coefficient by β^A(y)=2−k∑x∈XkxAyx. For nonempty A, put GA,+={x:xA=+1} and GA,−={x:xA=−1}. Both sets are nonempty: the all-positive run lies in GA,+, and flipping any coordinate in A gives a run in GA,−. Define the factorial effect on this response scale as τ^A(y)=1∣GA,+∣∑x∈GA,+yx−1∣GA,−∣∑x∈GA,−yx.

Used by

Dependency tree · 0 levels

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

Sources