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 , unit , and treatment count , the value is the same for any two assignments with and . 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 and own treatment , write for the common outcome at count and own assignment . Define and where . In an observed group assigned , define the estimated group direct effect by Let be the ordinary sample variance of the observed outcomes in arm , with denominator , and let be the sample variance of the observed group direct-effect estimates across the groups assigned to .
The source direct-effect variance estimator under strategy is For the indirect, total, and overall effect contrasts define where is the sample variance across groups assigned of the observed group estimates , and is the sample variance across such groups of .
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 and . In addition, requires for every group, so both within-group arm sample variances have nonzero denominators. The point estimators themselves remain defined under the broader counts .
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
- Michael G. Hudgens and M. Elizabeth Halloran, Toward Causal Inference With Interference, §4.2 and Theorems 4–9 (standard reference, not scraped)