The Propensity Score Controversy - Simulations

A few months ago, I wrote a blog post about the controversial use of propensity scores (PS). I believe it would be more informative to illustrate the key issues with supporting evidence from simulations.
Let us consider a simple scenario in which the response of interest, š, is a continuous variable associated with three prognostic covariates, šøā, šøā, and š. We assume that šøā and šøā are continuous and observed, whereas š is binary and unobserved. Suppose the outcome is generated according to a linear model
š = Ļš + š½āšøā + š½āšøā + š½š¢š + ε,
where š ā {0, 1} is the treatment indicator (0 = control, 1 = treatment), Ļ is the treatment effect, š½ā, š½ā and š½š¢ are the regression coefficients for šøā, šøā, and š, respectively, and ε is the error term.
Patient heterogeneity between the treatment and control groups is represented by the differences in the distributions of the three covariates. We simulate a fixed external control dataset (real world data, š = 0) with a sample size of 50,000, along with 1,000 independently generated experimental-group datasets (š = 1), each with a sample size of 100, representing 1,000 simulated studies. The assumed distributions of the covariates and the error term, together with the corresponding treatment and covariate effects, are as follows.

The average treatment effect (ATE) is estimated using four PS-based methods: propensity score matching (PSM), inverse probability of treatment weighting (IPTW), augmented inverse probability weighting (AIPW), and targeted maximum likelihood estimation (TMLE). The crude estimate (Crude) of the ATE is also included for reference.
For both the propensity score model and the outcome model, two analysis scenarios are considered: one including only the observed covariates šøā and šøāā, and an oracle analysis including all three covariates, šøā, šøā, and š. The mean estimated ATE and the corresponding Monte Carlo standard deviation (shown in parentheses), based on the 1000 replications, are presented in the following table.

The crude estimate is clearly biased when the external control population differs from the population of the experimental study. Moreover, all PS methods considered here are essentially ādoomedā to be biased when an important prognostic covariate such as šĀ is ignored. When all three prognostic covariates are included in the analysis - thereby satisfying the key ignorability assumption - all four PS-based methods provide unbiased estimates of the ATE. Among them, PSM is the least efficient, whereas TMLE is the most efficient.
Fascinating, thank you for the read.