How statement and proof provenance work
The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.
- Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
- AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
- AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.
These labels describe origin, not correctness: citations and verification chips remain separate evidence.
A mixed-model covariance does not imply MAR dropout
Statement refuted
It is false that a correct random-intercept covariance model for a complete two-visit response vector implies dropout after the first visit is missing at random (MAR).
Facts & Assumptions
Given: A finite probability space with independent signs , each taking its two values with probability .
The finite-dimensional mixed model requires finite second moments, zero means, and the stated covariance and independence conditions; it imposes no Gaussianity. Finite-dimensional linear mixed model with explicit longitudinal roles.
The marginal covariance is . Marginal covariance of the linear mixed model.
MAR requires the observation-pattern probability to depend on the full response only through the coordinates observed under that pattern. Longitudinal observation patterns and missingness mechanisms.
A deterministic observation mechanism is a measurable map from the full state to the recorded observation; a stochastic mechanism is a probability kernel with measurable event probabilities. Scientific statistical model contracts.
There is one subject, two scheduled visits, no observed covariates (equivalently, the covariate space is a singleton), , , has variance , and has covariance .
Construction
Let and set Observe for every subject. Let mean the second visit is observed, and specify the observation mechanism
Verification
Given: The finite model and observation mechanism in the Counterexample.
The signs are centered, square-integrable, and independent; is independent of . Thus this is a moment-only random-intercept mixed model with and . By [F2], its complete-response covariance is
Let the pattern space be with its power-set -algebra, and define the full observation-pattern map . It is Borel measurable because its first coordinate is constant and its second is the indicator of a Borel set. The induced kernel is the point mass at for each ; for every , is measurable as the indicator of the Borel set . Thus [F4] applies. Each sign triple has probability . The two supported states and both give observed first-visit value , but their second-visit values are and , respectively; their patterns are and .
For the missing-visit pattern , the mechanism probability is at and at . These supported full-data points have the same observed coordinates , so this pattern probability cannot depend only on the observed data for . By [F3], the mechanism is not MAR, despite the correct random-intercept covariance in step 1.1.
Remarks
The example declares the full response law and the dropout kernel separately, as required by Scientific statistical model contracts. The covariance identity constrains only the response law.
Depends on
Used by
Nothing in the library uses this result yet.
Dependency tree · two levels
19 results within two dependency steps of this one, each drawn at its shortest distance from it. An arrow runs from a result to what uses it, so the chart reads left to right and ends at this result, which carries a heavier outline. Every node is a link to that result. Click elsewhere on the chart to enlarge it.
Sources
- Fan Li, STA610 Lecture 7: The Longitudinal Linear Mixed Model, PDF pp. 16–18 (standard reference, not scraped)
- Fan Li, STA610 Lecture 1: The Problem of Correlated Data, PDF pp. 4–6 (standard reference, not scraped)