---
title: Finite Population Causal Effects
url: https://www.emergentmind.com/topics/finite-population-causal-effects
type: topic
---

# Finite Population Causal Effects

Finite population causal effects refer to causal estimands, inferential procedures, and identification strategies where all randomness arises from the assignment mechanism within a fixed, non-superpopulation collection of units, and inference targets factual contrasts or distributions of causal effects across the specific finite population at hand. The finite population perspective underpins design-based inference used in randomized experiments, panel designs, factorial studies, instrumental variable settings, and compliance-adjusted analyses. This approach contrasts with superpopulation-based inference, which presumes units are sampled from an underlying infinite population and employs stochastic models for unobserved potential outcomes. Modern finite population causal inference theory encompasses identification, nonparametric and Bayesian estimation, central limit theorems, variance estimation, extensions to dynamic and factorial settings, and exact methods for both sharp and weak null hypotheses.

## 1. Formal Setup and Core Estimands

The finite population framework fixes a collection of $N$ units $\{i=1,\ldots,N\}$ with associated potential outcomes for each possible treatment or path. For a binary treatment, each unit $i$ has $\{Y_i(0),Y_i(1)\}$ under SUTVA assumptions [1702.08615]. The main estimand is the population-average causal effect:
\[
\tau_N = \frac{1}{N} \sum_{i=1}^N [Y_i(1)-Y_i(0)]
\]
For multi-arm, factorial, or longitudinal designs, potential outcomes generalize to $Y_i(z)$ for $z$ in the full treatment grid, or $Y_{i,t}(w_{i,1:t})$ for dynamic panels [2003.09915, 1606.05418]. Finite population estimands include:
- Average treatment effects (ATE)
- Conditional mean/median/mode contrasts (particularly for non-numeric ordinal outcomes [1501.01234])
- Product moments and higher-order moments of individual treatment effects $\{\Delta_i\}$ [2505.04971]
- Factorial effect contrasts $\tau(l) = \sum_z g(z)\bar{Y}(z)$ with specified contrast weights [1606.05279]
- Dynamic/panel lagged effects $\bar{\tau}(w,\tilde{w};p)$ quantifying alternative paths [2003.09915]

Identification in this setting does not require distributional assumptions over an underlying superpopulation but relies on the properties induced by randomization and exclusion restrictions.

## 2. Identification and Nonparametric Estimation Procedures

Finite-population causal effects are identifiable under the known randomization mechanism, provided positivity (every unit has nonzero probability of assignment to each treatment). The difference-in-means estimator is unbiased for the finite-population average causal effect [1702.08615].

For multi-arm or factorial settings, contrasts of Horvitz-Thompson or regression-adjusted estimators identify population-level effects [1606.05418, 1606.05279]. In panel experiments, lag-p dynamic effects are unbiasedly estimable by adapted Horvitz-Thompson formulas utilizing assignment-path probabilities [2003.09915, 2601.16749]. For ordinal non-numeric outcomes, joint and conditional joint distributions ($M_j = \mathsf{Law}[Y(1)\mid Y(0)=j]$) serve as the primary estimands, necessitating imputation or model-based procedures [1501.01234].

Estimation of higher-order moments and product moments of causal effects requires knowledge or bounds on the joint distribution of potential outcomes. Under randomization with monotonicity, plug-in and integral-based estimators are consistent; when monotonicity fails, sharp Fréchet-Hoeffding bounds yield partial identification [2505.04971].

## 3. Asymptotic Theory and Finite Population Central Limit Theorems

Finite-population central limit theorems provide normal approximations to causal estimators as population size increases, assuming boundedness and no dominating unit effects [1610.04821, 1910.09062]. For $Q$ treatment arms and vector contrasts:
\[
\sqrt{N}\left(\hat \tau(A) - \tau(A)\right) \xrightarrow{d} N(0,V)
\]
where $V$ is the limiting finite-population covariance. Variance formulas reflect randomization and account for non-additivity:
\[
\mathrm{Var}(\hat\tau) = \sum_q \frac{S^2_q}{n_q} - \frac{S^2_{\tau(A)}}{N}
\]
CLTs extend to regression adjustment, instrumental variables, rerandomization, clustering, and factorial designs; generalizations apply to nonlinear estimands under the finite-population delta method [1910.09062]. In panel and dynamic designs, martingale-difference CLTs hold for time-averaged, unit-averaged, and aggregate causal effect estimators [2003.09915].

## 4. Inference, Testing, and Variance Estimation

Randomization inference procedures in finite populations distinguish Fisher-style sharp nulls (no individual effect) from Neyman-style weak nulls (mean effect zero) [2002.06654]. Exact permutation tests are valid for the sharp null. For weak nulls, prepivoted statistics using Gaussian push-forward of CLT-based p-values achieve asymptotic conservativeness while retaining exactness under the sharp null:

| Null type   | Test type          | Valid for finite $N$ | Valid for weak null ($N\to\infty$) |
|-------------|--------------------|----------------------|-------------------------------------|
| Sharp       | Permutation        | Yes                  | Yes                                 |
| Weak        | CLT/variance       | Conservative         | Yes                                 |
| Weak        | Prepivoted randomization | Yes           | Yes                                 |

Variance is typically estimated by plug-in Neyman formulas or bounds derived from assignment mechanism and observed outcomes. Additivity (constant unit-level treatment effects) yields unbiased variance estimators; more general settings require conservative adjustments or minimax bias analysis [1606.05279]. In dynamic and factorial settings with imperfect compliance, Horvitz-Thompson estimators and Bloom-style intervals yield reliable coverage at moderate compliance rates [2601.16749].

## 5. Extensions: Ordinal Outcomes, Factorial, Panel, and Compliance Structures

For ordinal outcomes lacking a numeric scale, classical mean-based estimands are ill-defined. Finite-population conditional distributions of treatment outcomes given baseline levels provide interpretable, multidimensional summaries [1501.01234]. Bayesian estimation with a rank likelihood and ordered-probit latent variable models allows imputation of joint science tables and credible intervals for conditional medians/modes.

Factorial designs and dynamic panel experiments with imperfect compliance yield nonparametric estimands for causal effects along specific treatment sequences, with estimation based on adapted Horvitz-Thompson-type weights and difference operators. These methods outperform standard regression-based estimators (e.g., 2SLS or fixed-effects) in the presence of treatment path dependence, non-additivity, and serial correlation in assignment vectors [2003.09915, 2601.16749].

## 6. Practical Implementation and Policy Interpretation

Finite-population moments (variance, skewness, kurtosis, covariance) of causal effects illuminate effect heterogeneity, tail risk, and policy trade-offs, especially in small experimental samples and real-world interventions [2505.04971]. Scale-free summaries for ordinal outcomes (median shift, stochastic dominance) provide actionable metrics in education and social sciences [1501.01234]. Panel and factorial settings with compliance extend interpretation to sequence-specific and subgroup responses [2601.16749].

Finite-population inference is exact with respect to the design and does not rely on postulated distributions or superpopulation properties, yielding rigorous internal validity. However, identification of features such as monotonicity, while formally attainable, may be statistically underpowered or practically untestable at finite sample sizes [2512.25032].

## 7. Comparison with and Bridging to Superpopulation Inference

The finite-population approach treats all potential outcomes as fixed; randomness stems solely from the assignment mechanism. Superpopulation models assume units are IID from a population, which changes the variance decomposition and interpretation [1702.08615]. Notably, Neyman-type variance estimators based on observed sample variances are automatically conservative for finite-population targets, even though originally derived under superpopulation assumptions. Completeness arguments bridge the finite and superpopulation paradigms and justify the practical use of design-based variance estimators in experiments, blocking, clustering, or factorial designs.

## References

- Volfovsky, A. et al., "Causal inference for ordinal outcomes" [1501.01234]
- Li, X. et al., "Note on the Delta Method for Finite Population Inference..." [1910.09062]
- Lu, S., Ding, P., "Covariate adjustment in randomization-based causal inference for 2K factorial designs" [1606.05418]
- Athey, S. et al., "Panel Experiments and Dynamic Causal Effects..." [2003.09915]
- Kawakami, E. & Tian, J., "Moments of Causal Effects" [2505.04971]
- Li, X., Ding, P., "General forms of finite population central limit theorems..." [1610.04821]
- Mukerjee, R. et al., "Causal Inference in Rebuilding and Extending..." [1606.05279]
- Höltgen, W., Williamson, J., "Causal modelling without introducing counterfactuals..." [2407.17385]
- Kline, P., "Testing Monotonicity in a Finite Population" [2512.25032]
- Ding, P. et al., "Bridging Finite and Super Population Causal Inference" [1702.08615]
- Cohen, P. L., "Gaussian Prepivoting for Finite Population Causal Inference" [2002.06654]
- Rashkovskii, O. et al., "Estimating Causal Effects in Gaussian Linear SCMs with Finite Data" [2601.04673]
- Athey, S., "Finite Population Inference for Factorial Designs and Panel Experiments with Imperfect Compliance" [2601.16749]

Source: https://www.emergentmind.com/topics/finite-population-causal-effects