Longitudinal Inference Without Longitudinal Data

A Copula Based Unification of TAMP and SGP

Damian W. Betebenner

National Center for the Improvement of Educational Assessment

Henry I. Braun

Lynch School of Education, Boston College

NCME 2026 · April 2026 · Los Angeles, CA

AI Contribution & Authorship Statement

This manuscript represents the collaborative intellectual work of the authors with substantive and continuous assistance from AI-based systems (OpenAI GPT, Anthropic Claude), integrated natively into all phases of the research.

The use of AI in this paper is not incidental or peripheral — it is essential, embedded, and reflective of a methodological shift toward AI-native scholarship. This statement is offered in the spirit of methodological clarity and epistemic honesty.

  • Theoretical development: The foundational idea to extend TAMP using Sklar’s Theorem emerged in human–AI collaboration, including the simulation-based pipeline for pseudo-longitudinal data

  • Mathematical formalization: AI supported the expression of key relationships, including Fréchet–Hoeffding bounds reinterpreting TAMP as a degenerate copula

  • Computational modules: AI contributed to the design of R code for copula estimation, simulation, and visualization — forming part of the SGPc R package

  • Authorship & responsibility: Authors retain full responsibility for all claims (ICMJE/AERA norms). AI is not listed as author but its instrumental role is explicitly acknowledged

Mathematical Conventions

The development is distribution-function first — CDFs are the primitive objects, not densities.

Key notation:

Symbol Meaning
FX(x)F_X(x) CDF of XX
fX(x)f_X(x) Density of XX
FX−1(u)F_X^{-1}(u) Quantile function
C(u,v)C(u,v) Copula
U,VU, V Pseudo-observations on [0,1][0,1]
PP Latent conditional percentile
GS(p)G_S(p) Subgroup growth regime CDF

Why CDF-first?

  • Every real-valued random variable has a CDF; densities require additional regularity
  • The probability-integral transform: if XX is continuous with CDF FXF_X, then U=FX(X)∼Uniform(0,1)U = F_X(X) \sim \text{Uniform(0,1)}
  • Sklar’s representation is itself CDF-based: H(x1,…,xd)=C(F1(x1),…,Fd(xd))H(x_1,\dots,x_d) = C(F_1(x_1),\dots,F_d(x_d))
  • The mathematical development is much more elegant and clear

When We Have Longitudinal Data

With longitudinal data, we observe linked pairs (xi,yi)(x_i, y_i) — the same student measured at two time points.

  • Each dot is one student: prior score XX and current score YY
  • The bivariate scatter is the joint distribution h(x,y)h(x,y)
  • From this, we can compute growth directly — conditional distributions, gain scores/trajectories (with a suitable scale), …\ldots

The joint density h(x,y)h(x,y) encodes everything — the marginals and the dependence between them.

Decomposing the Bivariate Relationship

The joint density h(x,y)h(x,y) can be decomposed into three conceptual pieces: the marginal density fXf_X (left), the bivariate scatter encoding dependence (center), and the marginal density fYf_Y (right).

The Cross-Sectional Reality

With cross-sectional data like TIMSS or NAEP, the marginals fXf_X and fYf_Y are observed — but the joint density h(x,y)h(x,y) connecting them is unknown. The center panel is missing. We need a mathematical bridge to reconstruct the dependence.

The copula is that bridge. It models the dependence structure independently of the marginals, allowing us to reconstruct a valid joint distribution from cross-sectional data alone.

What Is a Copula?

Sklar’s Theorem (1959)

Any joint distribution HH with continuous marginals can be decomposed uniquely as:

H(x,y)=C(FX(x),FY(y))H(x,y) = C\big(F_X(x),\, F_Y(y)\big)

where C:[0,1]2→[0,1]C: [0,1]^2 \to [0,1] is a copula — a function that couples the marginals into a valid joint distribution.

  • Note that FXF_X, FYF_Y, and H(x,y)H(x,y) are distribution functions, not densities.
  • A copula is a joint CDF with uniform marginals: C(u,v)=P(U≤u,V≤v)C(u,v)=P(U\le u,\;V\le v).
  • Its inputs are percentile-scale variables U=FX(X)U=F_X(X) and V=FY(Y)V=F_Y(Y), each Uniform(0,1)\text{Uniform(0,1)}.
  • A copula describes how ranks move together (dependence), independent of the score scales of XX and YY.
  • Sklar’s theorem extends directly to higher dimensions: for dd variables, H(x1,…,xd)=C(F1(x1),…,Fd(xd))H(x_1,\dots,x_d)=C(F_1(x_1),\dots,F_d(x_d)).

Sklar’s decomposition turns the “missing data” problem into a “missing dependence” problem — and copulas provide a principled way to fill that gap.

A Rich Framework for Dependence

Copulas provide a flexible toolkit for modeling dependence that goes far beyond correlation:

  • Parametric families — Gaussian, Student’s tt, Clayton, Gumbel, Frank — each encode different dependence shapes
  • Tail dependence — the tt and Clayton copulas capture the tendency for extreme scores to co-occur, a feature present in education data but absent from Gaussian models
  • Asymmetric dependence — Archimedean copulas allow lower-tail and upper-tail dependence to differ

The copula is not just a decomposition tool — it is a modular design choice. Swap in a different copula, and you get a different joint distribution with the same marginals.

Countermonotonic

Independence

Gaussian (ρ=0.5\rho = 0.5)

Comonotonic = TAMP
Figure 1: Copula surfaces from WW (lower bound) through Π\Pi (independence) and Gaussian to MM (upper bound).

Properties of Copulas

  1. Sklar’s converse. Given any copula CC and any marginals FiF_i, the composition C(F1(x1),…,Fd(xd))C(F_1(x_1),\dots,F_d(x_d)) is a valid joint distribution. Marginals and dependence can be modeled independently and then combined.

  2. Copula axioms. A copula C:[0,1]d→[0,1]C:[0,1]^d \to [0,1] must satisfy:

    • Uniform margins: C(1,…,1,ui,1,…,1)=uiC(1,\dots,1,u_i,1,\dots,1)=u_i
    • Grounded: C=0C=0 whenever any argument is 00
    • dd-increasing: the CC-volume of every hyper-rectangle is non-negative
  3. Conditional distributions via partial derivatives. For a subset of indices S⊂{1,…,d}S \subset \{1,\dots,d\}, the mixed partial derivative yields the conditional CDF of the remaining variables:

∂|S|C(u1,…,ud)∂us1⋯∂us|S|=P(Uj≤uj,j∉S|Us=us,s∈S)\frac{\partial^{|S|}\, C(u_1,\dots,u_d)}{\partial\, u_{s_1}\cdots\partial\, u_{s_{|S|}}} \;=\; P\!\left(U_j \le u_j,\; j \notin S \;\middle|\; U_s = u_s,\; s \in S\right)

  1. Fréchet–Hoeffding bounds. Every copula satisfies:

max(u+v−1,0)≤C(u,v)≤min(u,v)\max\!(u + v - 1,\; 0) \;\leq\; C(u,v) \;\leq\; \min\!(u,v)

Upper bound MM = comonotonic (perfect positive dependence); lower bound WW = countermonotonic. MM holds in any dimension; WW is sharp only for d=2d=2.

  1. Invariance under monotone transformations of scale. If TiT_i are strictly increasing:

(T1(X1),…,Td(Xd))has the same copula as(X1,…,Xd)(T_1(X_1),\dots,T_d(X_d)) \quad \text{has the same copula as} \quad (X_1,\dots,X_d)

If your scale is ordinal, the copula is the maximal invariant of dependence. Every dependence claim meaningful under monotone admissible transformations must be a function of the copula.

TAMP: Braun’s Original Insight

Braun (1988) introduced Trajectory Analysis of Matched Percentiles (TAMP) to investigate how growth might be measured on assessments like NAEP where no longitudinal student data exist.

  • Let F0F_0 and F1F_1 be the CDFs of scores at times 1 and 2
  • The equipercentile mapping links the two distributions:

e(x)=F1−1[F0(x)]e(x) = F_1^{-1}\!\bigl[F_0(x)\bigr]

  • e(x)e(x) is the score at time 2 whose percentile rank matches that of xx at time 1
  • The resulting curve emulates a cohort’s growth trajectory from cross-sectional data alone
  • TAMP is invariant to monotone rescaling: if one cohort shows retarded progress relative to another, that relation holds under all monotonic transformations

TAMP implicitly assumes perfect rank preservation — a student at the pp-th percentile at time 1 is assumed to remain at the pp-th percentile at time 2. The equipercentile rule is an identity mapping in percentile space.

TAMP equipercentile mapping for two groups, reproduced with enhancements from Braun (1988). The diagonal line HH is the identity mapping in percentile space.

TAMP is the Comonotonic Copula

The TAMP equipercentile rule hides an identity mapping in percentile space:

e(x)=F1−1[H⏟identity(F0(x))]e(x) = F_1^{-1}\!\big[\underbrace{H}_{\text{identity}}\!\big(F_0(x)\big)\big]

This is exactly the Fréchet–Hoeffding upper bound copula:

Ccomo(u,v)=min(u,v)⇔U=V a.s.C_{\text{como}}(u,v) = \min(u,v) \quad \Longleftrightarrow \quad U = V \text{ a.s.}

Theorem

The TAMP equipercentile mapping is the comonotonic copula.

Once you see TAMP as a copula, you see how to generalize it. Any copula CC between the Fréchet–Hoeffding bounds gives a valid pseudo-longitudinal model. The comonotonic case is just one — the most extreme/degenerate — choice.

From Copula to Student Growth Percentile

Copula CDF surface. The t-copula Cν,ρ(t)(u,v)C_{\nu,\rho}^{(t)}(u,v) is the joint CDF of (U,V)(U,V). The green slice fixes v0=0.3v_0=0.3. The tangent slope in the uu-direction at (u0,v0)=(0.5,0.3)(u_0,v_0)=(0.5,0.3) equals

∂C∂u|(u0,v0)=FV∣U=u0(v0)\left.\frac{\partial C}{\partial u}\right|_{(u_0,v_0)} = F_{V\mid U=u_0}(v_0)

Conditional CDF. For fixed u0u_0, the partial derivative ∂C/∂u\partial C/\partial u is a one-dimensional CDF in vv. At v0=0.3v_0=0.3 the height ≈0.27\approx 0.27, so

SGPc(u0,v0)≈27\mathrm{SGPc}(u_0,v_0) \approx 27

the 27th conditional percentile.

Conditional PDF. Differentiating once more in vv yields the conditional density fV∣U=u0(v)f_{V\mid U=u_0}(v). The shaded area satisfies

∫0v0fV∣U=u0(v)dv=P(V≤v0∣U=u0)\int_0^{v_0}\! f_{V\mid U=u_0}(v)\,dv = P(V \le v_0 \mid U\!=\!u_0)

matching the conditional CDF value and SGPc\mathrm{SGPc}.

The copula encodes the Student Growth Percentile of any pair of pseudo-observations as a tangent-line slope to the copula surface.

The Key Question

Two cases arise in practice:

  1. Longitudinal data exist. Fit an empirical copula directly from paired observations.

  2. Only cross-sectional data. Can we substitute an “off-the-shelf” parametric copula and still recover meaningful growth inferences?

The probability-integral transform U=FX(x),V=FY(y)U\!=\!F_X(x),\; V\!=\!F_Y(y) strips all metric structure, mapping every score distribution onto [0,1][0,1]. In this uniform space, educational data exhibit remarkably similar dependence structures regardless of content area, grade span, or subgroup.

The bet: once the PIT removes metric structure from the scales, a simple parametric copula is a good-enough proxy for the unknown empirical copula — especially for group-level summaries with N≥2,500N \geq 2{,}500.

From scores to pseudo-observations to copula: the marginal transformation via the probability-integral transform with empirical and parametric copula contours.

Which Copula? A Sensitivity Analysis

966 longitudinal conditions across 4 datasets, 4 content areas, and year spans 1–4. Six copula families fitted to each; model selected by AIC with bootstrap goodness-of-fit.

Family Best (AIC) Share
t 614 63.6%
frank 297 30.7%
gumbel 35 3.6%
gaussian 20 2.1%
comonotonic 0 0.0%

The tt-copula dominates every year span (58–65%) and content area. It beats the Gaussian in 94–98% of head-to-head comparisons (mean Δ\DeltaAIC = 169–241).

  • Compute: 5,796 fits ×\times bootstrap ≈\approx 39 core-hours, parallelised across 192 vCPUs (AWS m8g.48xlarge)

Copula family selection by content area and year span for 966 longitudinal conditions. Each dot is one condition; colour indicates AIC-best family.

A single tt-copula family covers >94% of observed educational dependence structures — the canonical copula is not an arbitrary choice but an empirically justified default.

Longitudinal Inference Without Longitudinal Data

Observe unlinked marginals. We have the prior-year CDF FU(u)F_U(u) and current-year CDF FV(v)F_V(v) — but no student-level pairs (ui,vi)(u_i, v_i). The PIT yields marginal pseudo-observations UU and VV whose joint dependence is unknown.

Estimate the growth regime. Search the Beta family 𝒢={Gm,κ}\mathcal{G} = \{G_{m,\kappa}\} for the regime ĜS\widehat{G}_S that minimises the Wasserstein distance between the observed FVobsF_V^{\mathrm{obs}} and the predicted current-year CDF induced by the canonical copula:

ĜS=argminGW1(FVobs,FG)\widehat{G}_S = \arg\min_{G} W_1\!\bigl(F_V^{\,\mathrm{obs}},\; F_G\bigr)

Verify the fit. The forward CDF check compares the observed current-year CDF (solid) against the CDF predicted by the estimated regime passed through the canonical copula kernel (dashed). Close agreement confirms the regime recovers the marginal.

From marginals to growth: the canonical copula provides the dependence kernel; the minimum-distance regime ĜS\widehat{G}_S recovers mean SGPc — all without student-level linkage.

Accuracy: Cross-Condition Validation

239 subgroups across multiple conditions, datasets, content areas, year spans, and pool types.

  • r=0.995r = 0.995 between inferred and true mean SGPc
  • MAE = 0.40 SGPc points
  • Dashed = identity; dotted = ±2\pm 2 SGPc envelope

The canonical tt copula approach recovers subgroup growth with median absolute error under 0.5 percentile points across the full validation battery.

At the individual student level (37.4M observations):

  • Best-fit vs canonical: r=0.993r = 0.993, MAD = 2.2 pts
  • Empirical vs canonical: r=0.979r = 0.979, MAD = 3.8 pts
  • Comonotonic (TAMP): r=0.811r = 0.811, MAD = 26.1 pts

Cross-condition validation: inferred vs true mean SGPc across 238 subgroups. Point size reflects subgroup NN; shape reflects pool type (district vs cluster); color reflects content area.

Precision: The Linkage Premium

What do we lose without student-level linkage?

For subgroups of N≈2,500N \approx 2{,}500 (typical NAEP/TIMSS state samples). All values in SGPc units (0–100):

Metric Paired (linked) Independent (unlinked) Ratio
SE (mean SGPc) 0.60 1.48 2.5×\times
CI width (mean) 2.16 5.65 2.6×\times
SE (median SGPc) 0.79 1.96 2.5×\times
CI width (median) 2.91 7.48 2.6×\times

Linkage buys a ∼2.5×\sim 2.5 \times precision gain. But even the unlinked CI width ($$7.5 pts) is actionable for policy comparisons at scale. The price of cross-sectionality is quantifiable and manageable.

Copula parameter stability:

The tt copula is recommended across all year spans:

Year span τ\tau (median) ρ\rho (median) dfdf (median)
1 0.638 0.842 25.6
2 0.601 0.810 28.7
3 0.574 0.784 28.2
4 0.553 0.764 27.4

Dependence attenuates with time span as expected, but the structure remains remarkably stable.

Summary

  1. Cross-sectional data are sufficient for group-level growth inference. The canonical tt-copula supplies the dependence kernel; the minimum-distance regime recovers mean SGPc from marginals alone — no student-level linkage required.

  2. The canonical copula is empirically grounded. Across 966 conditions, 4 datasets, and 4 content areas, the tt-copula is selected in 64% of cases, and together with the Frank covers >94%. Dependence parameters attenuate smoothly with year span (τ\tau: 0.64 →\to 0.55).

  3. Accuracy is high; the precision cost is quantifiable. Inferred vs true mean SGPc: r=0.995r = 0.995, MAE =0.40= 0.40 pts. Without linkage, confidence intervals widen ∼2.5×\sim\!2.5\times — a manageable price for programs (NAEP, TIMSS, PISA) where paired data simply do not exist.

Growth measurement no longer requires longitudinal data — it requires marginals, a canonical copula, and a minimum-distance fit.

Extension: Implications for Psychometrics

In Order We Trust

If a score is defensible only up to strictly increasing transformations (ordinal meaning), then:

The copula is the maximal invariant of dependence available under that measurement regime.

Two joint distributions are related by coordinatewise strictly increasing transformations if and only if they share the same copula.

This places the classical “permissible statistics” debate (Stevens, Luce & Suppes) into direct contact with copula theory:

  • The measurement level determines the transformation group
  • The transformation group determines what can be meaningfully inferred
  • Under ordinal measurement, dependence reduces canonically to the copula

What this means

Copulas are not merely compatible with rank-based analysis — they are the dependence-theoretic core of it.

— Schweizer & Wolff (1981)

For educational measurement:

  • Growth claims using raw-score differences smuggle in interval assumptions the data don’t support
  • Copula-based growth (SGPc) is the natural coordinate system for ordinally defensible longitudinal inference
  • This isn’t a technical refinement — it’s a foundational measurement statement

Copula-based growth is the measurement-theoretic consequence of taking ordinal meaning seriously. That is exactly the separation-of-concerns the Sklar factorization is trying to teach: dependence lives in CC; measurement choices live in the margins.

In Order We Trust (PDF)

Extension: Causal Modeling with Copulas

Copulas as a Tool for Causal Inference

Omitted variable bias (OVB) is the core problem of causal inference in non-experimental research. Standard remedies — covariate adjustment, instrumental variables — require external information that is often unavailable or unreliable.

Park & Gupta (2012) introduced a copula correction that requires neither covariates nor instruments:

  • Specify the dependence between an endogenous regressor XX and the structural error εY\varepsilon_Y via a Gaussian copula
  • Add the copula correction term C=Φ−1(FX(X))C = \Phi^{-1}(F_X(X)) as an additional regressor
  • This “absorbs” the confounding, allowing unbiased estimation of the causal effect β\beta

The key identification assumption is mild: XX must be non-normally distributed — a condition routinely satisfied by educational assessment data.

Relevance to Educational Measurement

The copula decomposition that separates marginals from dependence is the same machinery used here for growth inference — now applied to the endogeneity problem.

Why this matters for us:

  • Assessment scores are rarely Gaussian, so the identification condition is naturally met
  • The copula correction can be applied to any observational regression in education — program effects, teacher value-added, policy impacts
  • Falkenström, Park & McIntosh (2022) confirmed via simulation that the method is robust across sample sizes and effect sizes when skewness is moderate

The copula is not just a tool for modeling dependence — it is a tool for protecting causal claims from unobserved confounding.

Extension: Statistical Process Control

In Signals We Trust

SPC and copula-based growth are complements, not competitors:

  • SPC provides the logic of regime detection (common-cause vs special-cause variation)
  • SGPc provides an ordinally meaningful coordinate system for monitoring
  • The copula decomposition clarifies what kind of signal occurred

A regime departure can arise through:

  1. Shift in conditional location
  2. Spread in conditional dispersion
  3. Coupling change in the dependence structure

Scale drift as a special-cause problem

If raw-score diagnostics move while copula/SGPc diagnostics remain stable, the alarm is living in the units, not the order.

If the copula itself moves, the problem is no longer mere relabeling of the scale.

The copula–SPC lens:

  • SPC tells us whether the regime moved
  • The copula decomposition tells us how
  • SGPc provides the measurement-invariant coordinate in which those questions can be asked
  • The contrast between margin-sensitive and copula-sensitive diagnostics treats scale drift as a special-cause problem

Longitudinal Inference Without Longitudinal Data

A Copula Based Unification of TAMP and SGP

Damian W. Betebenner · dbetebenner@nciea.org National Center for the Improvement of Educational Assessment

Henry I. Braun · braunh@bc.edu Lynch School of Education, Boston College

Thank you

Selected References

Betebenner, D. W. (2009). Norm- and criterion-referenced student growth. Educational Measurement: Issues and Practice, 28(4), 42–51.

Braun, H. I. (1988). A new approach to avoiding problems of scale in interpreting trends in mental measurement data. Journal of Educational Measurement, 25(3), 171–191.

Falkenström, F., Park, S., & McIntosh, C. N. (2022). Using copulas to enable causal inference from non-experimental data: Tutorial and simulation studies. Psychological Methods, 27(6), 1009–1039.

Nelsen, R. B. (2006). An Introduction to Copulas (2nd ed.). Springer.

Park, S., & Gupta, S. (2012). Handling endogenous regressors by joint estimation using copulas. Marketing Science, 31(4), 567–586.

Schweizer, B., & Wolff, E. F. (1981). On nonparametric measures of dependence for random variables. Annals of Statistics, 9(4), 879–885.

Sklar, A. (1959). Fonctions de répartition à nn dimensions et leurs marges. Publications de l’Institut de Statistique de l’Université de Paris, 8, 229–231.