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.

Stratified interference and source design-based variance estimators

Definition

In the setting of Two-stage randomized design and strategy-specific effects, stratified interference means that, for each group i, unit j, and treatment count k∈{1,…,ni−1}, the value Yij(zi) is the same for any two assignments zi,zi′ with ∑ℓziℓ=∑ℓziℓ′=k and zij=zij′. Thus at a fixed group treatment count an outcome may depend on the unit's own assignment, but not on which particular peers are treated. This assumption is additional to partial interference and is not needed for point-effect unbiasedness.

For strategy s and own treatment z, write Yij(z;s) for the common outcome at count Kis and own assignment z. Define Siz2(s)=1ni−1∑j=1ni{Yij(z;s)−Yˉi(z;s)}2,dij(s)=Yij(0;s)−Yij(1;s), Si01(s)=1ni−1∑j=1ni{Yij(0;s)−Yˉi(0;s)}{Yij(1;s)−Yˉi(1;s)}, and SiD2(s)=1ni−1∑j=1ni{dij(s)−Di(s)}2, where Di(s)=Yˉi(0;s)−Yˉi(1;s). In an observed group assigned s, define the estimated group direct effect by D^i(s):=Yˉ^i(0;s)−Yˉ^i(1;s). Let siz2(s) be the ordinary sample variance of the mizs observed outcomes in arm z, with denominator mizs−1, and let sD,s2 be the sample variance of the observed group direct-effect estimates D^i(s) across the Cs groups assigned to s.

The source direct-effect variance estimator under strategy s is V^D(s)=(1−CsN)sD,s2Cs+1CsN∑i:Si=s{si02(s)ni−Kis+si12(s)Kis}. For the indirect, total, and overall effect contrasts define V^I(ϕ,ψ)=s0,ϕ2N−C+s0,ψ2C,V^T(ϕ,ψ)=s0,ϕ2N−C+s1,ψ2C, V^O(ϕ,ψ)=sϕ2N−C+sψ2C, where sz,s2 is the sample variance across groups assigned s of the observed group estimates Yˉ^i(z;s), and ss2 is the sample variance across such groups of Yˉ^i(s).

These are design-randomization variance estimators for the fixed finite-population point estimators. The group-arm sample variances in these formulas are defined only if C≥2 and N−C≥2. In addition, V^D(s) requires 2≤Kis≤ni−2 for every group, so both within-group arm sample variances have nonzero denominators. The point estimators themselves remain defined under the broader counts 1≤Kis<ni.

Depends on

Used by

Dependency tree · two levels

13 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.

Sources