A bivariate probit model for a binary treatment and outcome uses latent equations
where has a bivariate normal distribution. Its correlation parameter represents dependence between the two latent disturbances; when nonzero, treatment is endogenous in the outcome equation.
A subject-specific random intercept and random slope may have a joint bivariate normal distribution with arbitrary positive-definite covariance matrix . With independent normal measurement errors of variance , the marginal covariance between a person's readings at is , plus on the diagonal. Different subjects remain independent. Allowing distinguishes this model from an independent random-intercept and random-slope model.
Write , , and let be independent standard normal random variables obtained by centering and scaling the separate stage means. Then
The second statistic uses all patients, so the statistics are correlated even though the stages' new observations are independent. Their covariance is and each variance is one. This gives the exact bivariate normal distribution
Under the null hypothesis both means are zero. At replace by ; the mean vector is . In this group sequential design the full-sample statistic may be viewed as a potential statistic from the underlying sequence of outcomes, even on paths where recruitment stops.
Set . Under the null hypothesis rejection requires both and . Since has the standard normal distribution,
The bivariate normal distribution in the preceding calculation has a nonsingular covariance matrix and strictly positive statistical probability density everywhere. For every finite futility boundary and , the open rectangle has positive probability. Therefore
For an explicit expression, conditional on the full-sample statistic is under the null hypothesis, yielding
The Type I error is reduced because some otherwise rejecting paths stop for futility. Equality is approached as , but does not hold at a finite futility boundary.
Let denote the centered unit-variance bivariate normal distribution density,
The complement of rejecting either null hypothesis is . Therefore the probability of at least one rejection is
When both null hypotheses are true, this is the familywise error rate. If one null hypothesis is false, a rejection of that hypothesis is not a Type I error, so the displayed probability is then an any-rejection probability rather than the familywise error rate.
Couple the Wald test statistics as , where the joint centered bivariate normal distribution of is fixed. Increasing either enlarges, pointwise in this coupling, the event . Its probability is consequently nondecreasing in each treatment effect.
If both null hypotheses hold, then , so this probability is maximal at the joint boundary . To check the familywise error rate across all configurations, suppose only hypothesis is true. A Type I error then occurs only if , with probability at most , where is the standard normal distribution function. This is no larger than the any-rejection probability at , since that joint event contains . If neither null hypothesis is true, the familywise error rate is zero. Hence the least-favourable null configuration for Type I error is
where is the centered bivariate normal distribution function with correlation coefficient .
For every ,
The right-hand side is a normal random variable by the definition of a bivariate normal distribution. Therefore every linear combination of the coordinates of is normal, so .
The correlation measures dependence between two normalized latent disturbances; it is not a scale-free measure of the strength of one physical confounder. Different latent-variable constructions can induce the same while producing different treatment-outcome confounding, and the same omitted cause can produce different after changing thresholds or disturbance scales. Moreover, re-estimating at each value of changes the entire latent model, so the fitted models do not represent one fixed data-generating mechanism with only its confounder strength varied. At the bivariate normal distribution is singular as well. Varying is a model-based sensitivity analysis, but interpreting the interval as an ordered range of strengths of a single unmeasured confounder is therefore logically unjustified.
The bivariate normal distribution has density
False. The Brownian motion produced by the Dambis-Dubins-Schwarz theorem need not be independent of its clock. Let be a standard Brownian motion and set
If the Brownian motion in were independent of the whole quadratic variation process, then conditioning on would give . Instead, the fourth-moment formula for a bivariate normal distribution gives for , and hence
Thus and are dependent.
With the notation from part (i), the total-variation process of is
For the centered bivariate normal distribution used there, . The integral triangle inequality gives
Integrating this pointwise inequality against proves for every .
Apply the realized absolute covariation theorem to each dyadic partition of an interval. More explicitly, use the continuous increasing clock and the Radon-Nikodym theorem to write
For each time, let have the centered bivariate normal distribution with covariance matrix , and define
This process is continuous and increasing. To prove convergence, localize , represent the pair as stochastic integrals against a two-dimensional Brownian motion, and approximate the integrands in by bounded step previsible processes. For step integrands, the result is the weak law of large numbers applied on each block to independent Gaussian random variables. The Burkholder-Davis-Gundy inequality and the Cauchy-Schwarz inequality make the error uniform on each compact interval in probability. Consequently
in the sense of uniform convergence on compacts in probability.
For continuous local martingales and a sequence in which each term is a partition of an interval whose mesh tends to zero, the sums
converge in the sense of uniform convergence on compacts in probability to a continuous increasing process. To identify the limit, put and choose Radon-Nikodym derivatives
If is a centered bivariate normal distribution with covariance matrix , then
Localizing, representing the pair as stochastic integrals against a two-dimensional Brownian motion, and approximating the integrands by bounded predictable step processes proves the convergence. The step-process case follows from the weak law of large numbers for independent Gaussian increments; the Burkholder-Davis-Gundy inequality controls the approximation error. Since ,