Why Covariance Matters After Adjustment
In a multi-arm trial, each treatment-control statistic is affected by the control observations it shares with the other statistics. Covariate adjustment can change the variances of the treatment-control contrasts and their dependence. Boundary calibration therefore needs the joint null distribution of the adjusted statistics, not just a standard error for each one separately.
The derivation below uses a linear model with a common covariate slope. The covariate values may differ across arms; adjustment accounts for those values under the model. For exact multivariate normal calibration, assume the model is correctly specified, the design matrix is fixed (or condition on it), and errors are independent \(N(0,\sigma^2)\). In particular, the model assumes a common error variance and no treatment-by-covariate interaction. A treatment-control statistic is evaluated under its null hypothesis when constructing a null distribution.
Covariance at One Look
The Frisch–Waugh–Lovell result gives a useful way to see what adjustment does: first remove the linear association with the nuisance covariates from both the outcome and treatment indicators, then estimate the treatment effects from what remains. Define \(M_C=I-C(C'C)^{-1}C'\), assuming \(C\) has full column rank. The adjusted information matrix for the treatment coefficients is \(J=D'M_CD\). If \(J\) is nonsingular, then
Consequently, for treatment contrasts \(c_i'\beta\) and \(c_j'\beta\),
This is the general covariance formula for the specified linear model. It accommodates unequal arm sizes and covariate imbalance through \(J\); it does not require treatment indicators to be uncorrelated with covariates. The covariance of standardized statistics follows by dividing each covariance by the product of the corresponding standard errors. If \(\sigma^2\) is unknown but estimated, this Gaussian calculation describes the known-variance normal case; substituting an estimated variance requires the relevant estimated-variance calibration rather than treating the resulting statistics as exactly normal.
Worked Example: Two Adjusted Contrasts With a Shared Control
Suppose a hypothetical single-look trial has 8 control participants and 4 participants in each of two treatment arms, A and B. The model includes an intercept and one baseline covariate. For a transparent calculation, suppose the covariate values are centered within each arm, so that each arm’s covariate sum is zero. Let the error variance be \(\sigma^2=4\), in squared outcome units. The treatment indicators are \(D_A,D_B\), and the intercept is in \(C\).
Because the covariate is orthogonal to the arm indicators in this design, residualizing on the covariate does not change the treatment information after accounting for the intercept. The intercept adjustment gives
Its inverse is \(J^{-1}=\frac18\begin{pmatrix}3&1\\1&3\end{pmatrix}\). The treatment coefficients represent differences from control, so the covariance matrix of the two adjusted contrasts is
Each contrast has standard error \(\sqrt{1.5}=1.225\) outcome units. Their correlation is \(0.5/\sqrt{1.5\times1.5}=1/3=0.3333\). The positive covariance arises because both estimates use the same control group. The covariate assumptions are explicit here: its within-arm centered values make its sums zero, and the common-slope linear model is being used.
Covariance Across Looks
At successive looks, the data are usually nested: an earlier look’s participants are included in later analyses. Even when each look uses covariate-adjusted regression, the cross-look covariance can be derived directly from the linear weights of the estimates. For look \(s\), let \(X_s=[D_s\ C_s]\) be its full design matrix, and let \(c\) select a treatment contrast from the coefficient vector. The contrast estimate can be written as \(w_{c,s}'Y_s\), where \(w_{c,s}=X_s(X_s'X_s)^{-1}c\), assuming full rank. Embed the earlier-look weight vector in the later data vector by assigning zero weights to participants not yet observed. If the errors are independent with variance \(\sigma^2\), then for looks \(s\le t\),
Only the shared participants contribute to this inner product. Dividing by the two marginal standard errors gives the correlation of the estimates or, equivalently, of their standardized statistics when the same positive scaling is used. This weight formula remains valid when the covariate adjustment differs across looks, provided each estimator is the stated linear-model estimator and the error assumptions hold. It is safer than assuming that adjustment leaves the familiar unadjusted information-fraction correlation unchanged.
Worked Example: Cross-Look Correlation for One Adjusted Contrast
Consider a hypothetical two-look trial with one treatment and one control. At look 1, there are 4 participants per arm; by look 2, there are 8 per arm. Assume independent participants across accrual times, common error variance \(\sigma^2=4\), and a centered covariate that is balanced within each arm at both looks. Under this setup, the adjusted contrast is the treatment-control difference in means.
At look 1, the contrast variance is \(4(1/4+1/4)=2\), in squared outcome units. At look 2 it is \(4(1/8+1/8)=1\). The look-1 estimate uses the first 4 participants in each arm; the look-2 estimate uses those same participants plus new ones. The covariance is the contribution from the shared observations:
Thus the correlation is \(1/\sqrt{2\cdot1}=0.7071\). The shared observations explain why the estimates are correlated. The balanced, centered covariate makes the calculation especially simple; with covariate imbalance or different adjustment designs, use the linear-weight formula rather than carrying this correlation over without checking.
Using the Joint Null Distribution for Calibration
Collect the standardized treatment-control statistics across arms and looks into a vector \(Z\). Under the stated Gaussian model and a specified intersection null, \(Z\) has a multivariate normal distribution with mean zero and correlation matrix \(R\). The off-diagonal entries of \(R\) are calculated from the covariances just derived and the corresponding standard errors. A one-sided MaxT boundary with common critical value \(b\) is calibrated by choosing \(b\) so that the probability of at least one null statistic exceeding it equals the chosen familywise level \(\alpha\):
Here \(i\) indexes treatment arms and \(k\) indexes looks; \(P_0\) denotes probability under the specified joint null. With stage-specific boundaries \(b_k\), replace the event by \(\{\exists i,k:Z_{i,k}\ge b_k\}\). The probability is evaluated using the full joint correlation matrix, including both shared-control and repeated-look dependence. Calibration is commonly performed by multivariate normal integration or simulation followed by a one-dimensional root search for a common boundary.
Worked Example: Calibrating a Two-Arm, One-Look MaxT Boundary
Use the two adjusted treatment-control statistics from the first worked example. Under the global null, their standardized vector is bivariate normal with mean zero, unit marginal variances, and correlation \(1/3\). Suppose the target one-sided familywise error rate is \(\alpha=0.05\). If \(\Phi_2(b,b;\rho)\) denotes the bivariate standard normal probability that both components are at most \(b\), the MaxT boundary is defined by
This equation is the calibration calculation: evaluate the bivariate normal probability at candidate values of \(b\), then use root-finding to solve it. For comparison, Bonferroni uses \(b=\Phi^{-1}(0.975)\approx1.960\), since each of two tests receives a one-sided level of \(0.025\). That cutoff controls the familywise error at no more than \(0.05\); because the two statistics have positive dependence, joint calibration uses their overlap rather than adding the two marginal tail probabilities as if they were disjoint.
For example, if the observed statistics were \(Z_A=2.05\) and \(Z_B=1.40\), the maximum is 2.05. It exceeds the Bonferroni cutoff 1.960, so arm A crosses that conservative boundary. A MaxT boundary calibrated from the displayed equation must be assessed using its solved value; the observed maximum is compared with that value, not with a marginal unadjusted cutoff. This example assumes the global null and the specified Gaussian correlation structure.
Derivation and Calibration Checks
The covariance formula follows from ordinary least squares after projecting out the nuisance covariates. Write \(Y=D\beta+C\gamma+\varepsilon\). Multiplication by \(M_C\) removes the component in the column space of \(C\), because \(M_CC=0\). Thus \(M_CY=M_CD\beta+M_C\varepsilon\). The least-squares estimator based on this residualized regression is \(\hat{\beta}=(D'M_CD)^{-1}D'M_CY\). Substituting the model and using \(M_C^2=M_C=M_C'\) yields
Applying the contrast vectors on the left and right gives the covariance of any two adjusted contrasts. For the cross-look result, express each estimator as a weighted sum of outcomes. Independence gives zero covariance for distinct participants, while each shared participant contributes \(\sigma^2\) times the product of that participant’s two weights. Summing those contributions gives \(\sigma^2w_{c,s}'w_{d,t}\).
Before using the resulting matrix for boundary calibration, check that every model matrix has full rank, the contrast standard errors are positive, and the covariance matrix is symmetric and positive semidefinite (up to numerical tolerance). Also check that its diagonal entries agree with the separately calculated marginal variances and that correlations lie between \(-1\) and \(1\). A singular matrix can occur when statistics are linearly redundant; use a method that handles the resulting lower-dimensional distribution rather than pretending the matrix is nonsingular.
Interpretation, Alternatives, and Limitations
Covariate adjustment can improve precision when baseline covariates explain outcome variation, but the covariance structure depends on the design and the fitted model. A common shortcut is to compute each adjusted standard error and then treat the statistics as independent. That is wrong when the control group is shared: it omits the covariance and generally misstates the probability of crossing at least one boundary. The correction is to obtain the off-diagonal entries as well as the marginal variances, then calibrate the joint event.
Bonferroni is a useful alternative when a simple, dependence-robust upper bound is preferred: allocate error across tests and use marginal critical values. It can be conservative because it does not exploit the joint covariance. MaxT calibration uses a specified joint null distribution and can be less conservative, but it is only as reliable as that distribution and the model assumptions used to obtain it. For strong familywise error control, calibration under the global null alone is not sufficient in general; the relevant intersection nulls or a valid subset-pivotality argument must also support the procedure, as in the earlier material on closed testing and subset pivotality.
The exact normal calibration here relies on Gaussian errors with known variance. With an estimated variance, small samples, heteroscedasticity, covariate-model misspecification, or data-dependent changes to the adjustment model, the stated joint normal distribution may not be adequate. Check the model and design, and use a calibration that matches the actual statistic and its assumptions. These concerns are distinct from simply calculating a covariance matrix correctly.
Check Your Understanding
Answer each question, then compare with the concise solutions below.
- In the linear model \(Y=D\beta+C\gamma+\varepsilon\), what matrix determines the adjusted treatment-coefficient covariance?
- Why are two treatment-control estimates generally correlated when they share a control group?
- For nested looks, which participants contribute to the covariance between two estimates written as weighted sums?
- What probability equation defines a common one-sided MaxT boundary for a specified intersection null?
- Why does global-null MaxT calibration not automatically prove strong familywise error control?
Solutions. (1) With \(M_C=I-C(C'C)^{-1}C'\), the adjusted information is \(J=D'M_CD\), and the covariance is \(\sigma^2J^{-1}\). (2) The shared control observations enter both contrast estimates, producing nonzero covariance. (3) Only shared participants contribute, each through the product of the two weights times \(\sigma^2\). (4) Choose \(b\) to satisfy \(P_0(\max_{i,k}Z_{i,k}\ge b)=\alpha\). (5) Other configurations of true and false hypotheses can have different joint distributions; strong control needs valid control for the relevant intersection nulls or a justified subset-pivotality condition.