Econ-611 · economics · Economics

Econ-611

Persistence of early-childhood benefits

LLM status Open unverified

I26 — Returns to Education Economics catalogue openaigpt 6 astra ultra 60% cataloguednot recordedOpen

Statement

Original subject group: Education, families and demography

Audit classification: Published research agenda. Checked source identity and appropriate agenda/background support; expanded intervention, units, population, definedness and causal restrictions. Exact targets and variants are editorial.

Definitions and precise research target

Editorial formalization. Consider children eligible for a public preschool program in one country, followed from age four to age twenty-five. Let $p\in\{0,1\}$ denote a randomized preschool offer and $f\in\{0,1\}$ a separately randomized improvement in primary-school instruction beginning at age six. Let $S_{ia}(p,f)$ be standardized skills at age $a$, and $Y_i(p,f)$ cumulative real earnings through age twenty-five. Define \[\tau_a(f)=E[S_{ia}(1,f)-S_{ia}(0,f)],\qquad\tau_Y(f)=E[Y_i(1,f)-Y_i(0,f)].\] The expectation covers baseline eligible children, including those who decline preschool, with outcome scales fixed independently of treatment. Identify the skill-response trajectory and earnings effects under factorial assignment, consistency, and a specified school-level spillover structure. Determine whether later instructional quality changes persistence of early gains, and whether convergence of measured test scores predicts convergence of later economic outcomes. Distinguish measurement artifacts, replacement of skills, and compensating parental investment where additional data permit. Report attrition and administrative-linkage uncertainty.

Fix outcome ages $a\in\{5,6,10,15,20,25\}$; use a common independently calibrated scale at each age, declaring which skills are comparable over time. Earnings $Y_i$ are $\sum_{a=16}^{25}\beta^{a-4}y_{ia}$ at common real prices, including zeros for nonemployment. A factorial design randomizes both preschool offer $p$ and follow-on school assignment $f$, with positive probabilities in all four arms; separate school clusters may require two-stage assignment and explicit interference rules. $\tau_a(1)-\tau_a(0)$ is an offer interaction on the specified skill scale. Test-score fadeout means this measured contrast shrinks, not disappearance of every latent skill or earnings gain. Follow-on schooling choice and parental response are outcomes unless separately randomized. Specify mortality/attrition and administrative linkage rather than conditioning on eventual observation. All expectations use a stated baseline population and probability law. Identification means every admissible data-generating model with the same observed-data law yields the same displayed target; otherwise report the identified set. Exact equations, horizons and assumptions are editorial, rather than source-given canonical conjectures.

Variants and assumption changes

  1. Editorial latent-skill variant. Use a longitudinal multiple-skill measurement model with invariant item parameters. Test invariance before interpreting score convergence as skill convergence.
  2. Editorial sequential-investment variant. Randomize later schooling after observing preschool outcomes with known probabilities. Compare adaptive policies with fixed factorial policies under sequential randomization.

References and source audit

1. Explicit agenda on long-run curricula, follow-on investments, and combined preschool/parenting programs. Locator: BFI Working Paper 2022-58; Section 7, printed pp.91–93, particularly p.93. Full text or primary publication page inspected. URL: https://bfi.uchicago.edu/wp-content/uploads/2022/05/BFI_WP_2022-58.pdf.
  1. Greg J. Duncan; Ariel Kalil; Magne Mogstad; Mari Rege. 2022. Investing in Early Childhood Development in Preschool and at Home. BFI Working Paper 2022-58; Section 7, printed pp.91–93, particularly p.93. https://bfi.uchicago.edu/wp-content/uploads/2022/05/BFI_WP_2022-58.pdf. DOI: https://doi.org/10.3386/w29985.

Common conventions: Source mathematical conventions

These conventions apply to each entry unless explicitly replaced.

Models and identification. A primitive model $m$ specifies all probability laws, feasible choices, information, equilibrium and measurement rules used by its target. The admissible class $\mathcal M$ is fixed independently of outcomes. If $P_O(m)$ is its observable probability law and $\tau(m)$ the target, its identified set at observable law $P$ is \[ \mathcal I_\tau(P)=\{\tau(m):m\in\mathcal M,\ P_O(m)=P\}. \] Point identification means that this set is a singleton. An empty set signals incompatibility of data and assumptions. Coordinate bounds need not describe the joint set. Bounds are sharp only if every retained target is attainable or arbitrarily approachable by compatible models. Finite bounds require explicit restrictions on unobserved quantities; unrestricted confounding, hidden wealth, extrapolation or arbitrary equilibrium selection can yield uninformative sets.

Causal interventions. A potential outcome $Y_i(p)$ is the outcome under a complete policy regime $p$, including timing, financing, information and market spillovers. The target population and units are fixed before treatment. With interference, use the complete assignment vector or a justified exposure mapping; individual no-interference notation alone cannot identify an economy-wide intervention. A difference of mean potential outcomes does not require the cross-world joint distribution. Conditioning on post-treatment migration, survival, enrollment or employment changes the estimand and needs separate justification.

Statistical statements. An estimator, confidence set, forecast or test specifies a sampling law, model class and loss/coverage criterion. Uniform $(1-\alpha)$-coverage means $\inf_{m\in\mathcal M}\Pr_m\{\tau(m)\in C_n\}\geq1-\alpha$, or an explicitly asymptotic version. The whole parameter space trivially has coverage, so informativeness requires a stated width, risk or power objective. A forecasting improvement is relative to a named benchmark, information set and evaluation population.

Equilibrium and optimization. An equilibrium comprises feasible plans, optimality, beliefs where needed, budget constraints and all market/resource clearing. The primitives or a stated benchmark define each correspondence $\mathcal E(p;m)$. Nonemptiness is assumed or proved, never inferred just from compact policy sets. A selected-equilibrium target uses a declared selection rule; a robust target quantifies over all permitted equilibria. Use suprema or infima unless attainment is established. An $\varepsilon$-optimal policy is feasible and within $\varepsilon$ of the finite optimum value. Report an empty feasible set separately.

Welfare and accounting. Normative utility, interpersonal normalization, social weights, numeraire, discounting and the use of public receipts are primitives. Behavioral utility need not coincide with the welfare criterion. Household welfare includes ownership income and rents once; adding profits again to compensating variation generally double-counts them. A monetary equivalent is defined by an explicit transfer and price convention, with monotonicity and range conditions. Average effects, mechanism contributions, transfers and welfare losses are different targets. Infinite sums require convergence and dynamic feasible plans require terminal or no-Ponzi conditions.

Source versions. A working-paper date, revision date and journal publication year are distinguished. A DOI for a journal version is not automatically the DOI of an earlier manuscript. Locators refer to the stated version and printed pages where specified. A metadata-only check does not verify a claim about a full-text conclusion. Every entry's source subsection narrows the provenance claim accordingly.

Statement licence: CC-BY-4.0 · Source file

Contributions 1

Econ-611-A1 · Exploration · LLM-generated · gpt 6 astra ultra ·

GPT 6 Astra Ultra attempt on Econ-611

Skill persistence, test-score fadeout, and later earnings

Problem ID: I26-607. Status: Unresolved. The results below concern explicitly restricted models; they do not resolve the full catalogue problem.

Question and a multiple-skill model

The catalogue asks whether early-childhood gains persist, whether subsequent instruction changes that persistence, and whether fading test-score effects imply fading economic benefits. The review [DKMR] motivates these distinctions. We prove explicit persistence and nonidentification results in a linear multiple-skill model, add a compensating-investment mechanism, and give baseline-cohort attrition bounds. These calculations do not establish the mechanisms behind any particular preschool program.

Preschool offer $p\in\{0,1\}$ and later instruction $f\in\{0,1\}$ are randomized with all four combinations supported. Follow the same baseline children. Time $t=0$ is age six, just before the later instructional treatment begins; age-$a$ outcomes below correspond to $t=a-6$. Let $x_t(p,f)\in{\mathbb{R}}^d$ be a vector of skill indices, with \[ x_{t+1}(p,f)=A_f x_t(p,f)+u_{f,t}+\xi_{t+1}(p,f), \qquad {\mathbb{E}}\xi_{t+1}(p,f)=0. \] The mean initial preschool effect is $\delta={\mathbb{E}}[x_0(1,f)-x_0(0,f)]$, independent of the future assignment. The common inputs $u_{f,t}$ do not depend directly on the preschool label. Linear parental responses to existing skills may be included in $A_f$; unrestricted direct offer-dependent investment would violate this model. Test scores have invariant known loading $h$ and mean-zero measurement error. Earnings at age $6+t$ have mean loading $\gamma$ on skills, with common prices and no treatment-specific direct earnings term. Include zero earnings for nonemployment in that conditional mean model. The structural calculations in the next three sections restrict attention to a population with survival through age twenty-five; they do not condition on treatment-dependent realized survival. The final baseline-cohort bounds also allow mortality, with earnings defined as zero after death.

Taking expectations and subtracting gives \[ v_t(f):={\mathbb{E}}[x_t(1,f)-x_t(0,f)]=A_f^t\delta, \qquad\tau_{6+t}(f)=h^\top A_f^t\delta. \tag{1} \] For the catalogue's discounted earnings through age twenty-five, the corresponding contrast is \[ \tau_Y(f)=\sum_{t=10}^{19}\beta^{t+2}\gamma^\top A_f^t\delta, \qquad0<\beta\le1. \tag{2} \] The exponent is age minus four. This finite sum does not require an infinite-horizon stability assumption.

A constructive separation of measured and economic persistence

Theorem (Vanishing test effects with persistent productive skills): Consider two skill coordinates, cognitive and a second productive skill, with \[ A_f=\begin{pmatrix}r_f&0\\b_f&s_f\end{pmatrix}, \quad0<r_f<1,\quad0<s_f\le1,\quad b_f\ge0, \quad\delta=(d,0)^\top,\quad d>0. \] Let the test measure only the first coordinate, $h=(1,0)^\top$, and earnings load only on the second, $\gamma=(0,w)^\top$, $w>0$. Then \[ \tau_{6+t}(f)=d r_f^t, \] \[ v_{t,2}(f)=b_fd\sum_{k=0}^{t-1}s_f^{t-1-k}r_f^k =b_fd\frac{s_f^t-r_f^t}{s_f-r_f}\quad(r_f\ne s_f), \tag{3} \] with the finite-sum expression valid also at equality. If $s_f=1$ and $b_f>0$, test effects tend to zero but the second-skill effect tends to $b_fd/(1-r_f)>0$. Every earnings term in (2) is then strictly positive.
Proof: The first coordinate obeys $v_{t+1,1}=r_fv_{t,1}$ and starts at $d$, proving its formula. The second starts at zero and obeys $v_{t+1,2}=b_fdr_f^t+s_fv_{t,2}$. Iterating this scalar recurrence gives the finite sum, and the finite geometric-series identity gives the quotient when its denominator is nonzero. For $s_f=1$, this is $b_fd(1-r_f^t)/(1-r_f)$, whose limit and positivity are immediate. Multiplying by positive earnings and discount weights proves the final assertion. ∎
This is a genuine accumulation mechanism: an early cognitive increment builds another productive state before its own test effect fades. It does not equate a test score with every economically valuable skill. If $s_f<1$, both coordinates eventually decay, but the earnings sum over the specified finite ages can remain positive and substantial relative to a near-zero later cognitive test effect.
Proposition (Later instruction can affect earnings persistence without a test interaction): If $A_1\ge A_0$ entrywise, $A_0,A_1\ge0$, and $\delta,h,\gamma\ge0$, every test and earnings offer interaction in (1)--(2) is nonnegative. In the triangular model with common $r,s$ and $b_1>b_0$, all test-score interactions are exactly zero while the earnings interaction is strictly positive.
Proof: For $t\ge1$, the telescoping matrix identity is \[ A_1^t-A_0^t=\sum_{k=0}^{t-1} A_1^{t-1-k}(A_1-A_0)A_0^k. \] Every term is entrywise nonnegative, so multiplication by the specified nonnegative vectors and summation with positive discount weights proves the first claim. In the triangular subcase the test trajectory depends only on $r$, so it is identical for both assignments. Formula (3) is linear and strictly increasing in $b$ at every $t\ge1$, since $d,r,s,w$ are positive. The earnings ages all have $t\ge1$, proving strictness. ∎
A null factorial interaction on a particular test therefore does not rule out complementarity in later outcomes. The proposition uses fixed earnings loadings; changes in labor-market prices at population scale would require another equilibrium model.

When can test trajectories identify an earnings effect?

Consider an arbitrary known matrix $A$, known measurement vector $h$, known earnings loading $\gamma$ and discount factor $\beta$, and observed test-effect dates $\mathcal T$. Thus the target row $g$ defined below is known and fixed. In this section the initial effect $\delta\in{\mathbb{R}}^d$ is unrestricted in sign. Let $O$ have rows $h^\top A^t$, $t\in\mathcal T$, and define the desired earnings row \[ g^\top=\sum_{t=10}^{19}\beta^{t+2}\gamma^\top A^t. \]
Theorem (Exact measurement criterion): From exact test-effect observations $O\delta$, the earnings effect $g^\top\delta$ is identified if and only if $g^\top$ belongs to the row space of $O$. In that case any vector $a$ with $a^\top O=g^\top$ yields the identified formula $g^\top\delta=a^\top O\delta$. If the condition fails, the same test observations are compatible with arbitrarily different earnings effects in this unrestricted linear class.
Proof: The row-space condition supplies the formula and hence sufficiency. If it fails, orthogonal decomposition supplies a vector $v\in\ker O$ with $g^\top v\ne0$. Initial effects $\delta+tv$ for arbitrary $t\in{\mathbb{R}}$ produce identical test trajectories at every observed date but change earnings by $t g^\top v$. This proves necessity and the final claim. Bounds or sign restrictions on initial effects would replace this unbounded conclusion by a constrained linear identified-set problem. ∎
In the triangular example with a cognitive-only test, $h^\top A^t=(r^t,0)$ at every date. Even observing the complete cognitive trajectory leaves the initial second-skill effect unmeasured. There is a second ambiguity if the transition coefficient $b$ is unknown: with the known initial effect $(d,0)$, every $b\in[\underline b,\overline b]$ gives the same entire test trajectory. Its sharp earnings-effect interval is \[ [\underline b K_Y,\overline b K_Y],\quad K_Y=wd\sum_{t=10}^{19}\beta^{t+2} \sum_{k=0}^{t-1}s^{t-1-k}r^k>0. \tag{4} \] The formula follows from (3), and every endpoint and intermediate value is attained by that coefficient choice. Thus more frequent measurement of the same test need not identify the missing skill-production channel.

An additional experiment can resolve a different, explicit restriction. Suppose two invariant indicators have known invertible loading matrix $L$, with mean-zero errors, and are measured at ages six, seven, and eight under a fixed $f$. Their randomized offer contrasts identify $v_0,v_1,v_2$ by multiplying by $L^{-1}$. If the matrix $[v_0\ v_1]$ is invertible, then \[ A_f=[v_1\ v_2][v_0\ v_1]^{-1}. \tag{5} \] Indeed (1) gives $A_f[v_0\ v_1]=[v_1\ v_2]$. In the triangular model the determinant is $b_fd^2$, so it is nonzero when $b_f>0$. Equation (5) requires these additional annual measurements and known stable loadings; merely collecting more indicators with unknown changing scales does not establish its premise.

A separate compensating-parental-investment mechanism

Suppose a scalar child skill lies in $[0,\bar S]$. Each year a parent chooses $I\ge0$ myopically to minimize \[ \tfrac12(rS+I-\bar S)^2+\tfrac\kappa2I^2, \qquad0<r\le1,\quad\kappa>0. \] This is a specified one-period objective repeated at each date, not a solution to an unspecified forward-looking parental problem.
Proposition (Compensation accelerates score convergence): The unique investment is $I(S)=(\bar S-rS)/(1+\kappa)$. The induced next skill remains in $[0,\bar S]$. If preschool initially raises skill by $d>0$ while both paths start in that interval, their subsequent skill difference is \[ d\left(\frac{\kappa r}{1+\kappa}\right)^t, \] and the preschool group's investment at each date is lower by $r/(1+\kappa)$ times its current skill advantage.
Proof: The objective is strictly convex in investment, and its first-order condition gives the displayed nonnegative optimizer because $rS\le\bar S$. The transition is $S'=(\kappa rS+\bar S)/(1+\kappa)$, which lies in the interval. Subtracting the two affine transitions gives the geometric gap, and subtracting their investment functions gives the investment response. Since $\kappa r/(1+\kappa)<r$, compensation makes the gap decay faster than under common fixed inputs. ∎
This mechanism makes parental investment an outcome of the preschool offer. Controlling it away would change the causal question. It is distinct from the hidden-skill accumulation mechanism, so observed fadeout alone cannot choose between them.

Baseline-cohort attrition bounds

Finally suppose discounted earnings are restricted to $[0,M]$, with a stated finite $M$. For each randomized arm $(p,f)$ let $q_{pf}$ be the observation or successful-linkage probability and $m_{pf}$ the observed mean, defining $q_{pf}m_{pf}=0$ when $q_{pf}=0$. Without assumptions about missing earnings, its sharp full-cohort mean interval is \[ [q_{pf}m_{pf},\ q_{pf}m_{pf}+(1-q_{pf})M]. \tag{6} \] This follows by assigning missing observations any mean in $[0,M]$. For a fixed $f$, subtracting the upper control endpoint from the lower treatment endpoint, and vice versa, gives the sharp preschool-effect interval. For the factorial interaction, add lower endpoints on its positive-sign arms and subtract upper endpoints on its negative-sign arms, and reverse for the upper bound. Sharpness follows by specifying the missing potential outcomes independently in the four arms while preserving each observed response distribution; randomized assignment reveals only its assigned arm. No cross-arm restriction rules out those constructions. If earnings have no justified upper bound, finite upper bounds in (6) do not follow from response rates alone.

The original problem requires long follow-up, invariant skill measurement, credible later-school assignment, and administrative-linkage assessment. None of the models here estimates those primitives. The proved results instead show precisely which persistence conclusions follow from specified skill dynamics, what scores fail to identify, and what additional measurements would resolve the stated restrictions.

Completion Estimate

60%

This is a post hoc, heuristic estimate for the full catalogue target. The attempt separates test-score fadeout from productive-skill and earnings persistence, proves measurement-identification conditions, and analyzes compensating investment and sharp cohort attrition bounds. Actual preschool trajectories and follow-on interactions still require long-run earnings evidence, invariant skill measures, credible later-school assignment, validated dynamics and administrative linkage with spillovers and mortality.

References

  • [DKMR] G. J. Duncan, A. Kalil, M. Mogstad and M. Rege (2022), "Investing in Early Childhood Development in Preschool and at Home," BFI Working Paper 2022-58; NBER Working Paper 29985. Primary manuscript, Section 7, pp.91--93. doi:10.3386/w29985. The review motivates persistence and follow-on investment questions; the transition and identification results above are proved for their declared models.

Go to contribution →