Does abortion reduce crime? A disciplined replication
Nagoya University (GSID)
June 11, 2026
Act I
Donohue & Levitt found more abortion access tracked less crime. Belloni–Chernozhukov–Hansen then expanded 8 controls into 284.
Keep too few and you risk confounding. Keep too many and the signal drowns. Which subset?
\(\hat\alpha \pm 95\%\) CI · First-diff, kitchen-sink OLS, PSL, Double LASSO (rigorous), Double LASSO (CV). Dashed line = zero.
Act II
State fixed effects absorbed by first-differencing; year effects partialled out (Frisch–Waugh–Lovell). \(p/n \approx 0.49\) — the high-dimensional regime where Double LASSO is meant to help.
| Outcome | \(\hat\alpha\) | SE | Sig. 5%? |
|---|---|---|---|
| Violent | −0.152 | 0.034 | yes |
| Property | −0.108 | 0.022 | yes |
| Murder | −0.204 | 0.067 | yes |
This is the result the four LASSO methods stress-test — not one they generate.
+2.34
Kitchen-sink OLS, murder (\(\hat\alpha\)); violent crime flips sign to +0.014
\[\hat\beta(\lambda)=\arg\min_\beta\ \frac{1}{2n}\sum_{i=1}^{n}\big(y_i-x_i^\top\beta\big)^2+\lambda\sum_{j=1}^{p}|\beta_j|\]
Run it twice — once for \(y\) on \(X\) (set \(I_y\)), once for \(d\) on \(X\) (set \(I_d\)) — then OLS of \(y\) on \(d\) and the union \(I_y\cup I_d\).
The L1 penalty \(\lambda\sum_j|\beta_j|\) zeroes weak controls; the union keeps anything that predicts either side.
library(hdm); library(sandwich); library(lmtest)
Iy <- which(rlasso(X, y)$index) # controls that predict crime
Id <- which(rlasso(X, d)$index) # controls that predict abortion
S <- union(Iy, Id) # the union is the Double LASSO safeguard
fit <- lm(y ~ d + X[, S]) # post-OLS on the selected support
coeftest(fit, vcov = vcovCL, cluster = state)["d", ]\(|I_y|\), \(|I_d|\), intersection, union out of 284 candidates — rigorous (teal) vs CV (orange).
Coefficient paths, \(d\)-equation (violent panel). Dashed line = \(\log(\lambda_{\min})\); 143 paths nonzero there.
Act III
−0.096
\(\hat\alpha\), rigorous Double LASSO (SE 0.051) · matches the paper’s −0.104; selection counts match exactly
Objection. Machine-selecting controls can’t manufacture identification.
Response. Correct. \(\alpha\) is identified only under conditional independence given X and parallel trends. LASSO just chooses controls flexibly; it can’t rule out collider bias or bias amplification. The paper evaluates a method, not the abortion–crime claim.