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.
Mixed effects and longitudinal models — Examples
1 · Prerequisites
- Absolute and Conditional Convergence; Rearrangement; Products
- Algebraic Closure, Embeddings, and Separability
- Algebraic Extensions, Extension Degree, and Finite Fields
- Areas of Elementary Plane Figures
- Binary Operations, Monoids, Groups and Subgroups
- Central Limit Theorems
- Characteristic Functions Inversion and Continuity
- Compactness
- Compactness in Metric Spaces
- Complete Metrizability, Čech-Completeness, and Baire Category
- Completeness, Completion, and Uniform Continuity
- Complex Lp Spaces and Test-Function Conventions
- Composition Series, the Jordan–Hölder Theorem and Solvable Groups
- Congruences, the Integers Modulo n and the Chinese Remainder Theorem
- Construction of the Natural Numbers
- Construction of the Real Numbers via Cauchy Sequences
- Construction of the Real Numbers via Dedekind Cuts
- Continuity, IVT, EVT, and Uniform Continuity
- Cosets, Index and Lagrange's Theorem
- Countability and Uncountability
- Countability Axioms and Cardinal Functions
- Cyclic Groups and Direct Products
- Density Separability and Convolution in Lᵖ
- Determinants of Matrices over a Commutative Ring
- Diagonalisation and the Minimal Polynomial
- Divisibility, Euclidean Domains, Principal Ideal Domains and Unique Factorisation
- Divisibility, Greatest Common Divisors and Bézout's Identity
- Dual Spaces, Bilinear and Quadratic Forms, and Sylvester's Law of Inertia
- Eigenvalues, Eigenvectors and the Characteristic Polynomial
- Estimators and Randomized Procedures
- Filters and Ultrafilters
- Finite Counting, Factorials and Binomial Coefficients
- Finite Probability and the Probabilistic Method
- Finite Probability Spaces and Random Variables
- Fixed-design regression, estimability, and Gauss–Markov
- Foundations of the Real Numbers for Analysis
- Fourier Transform Convolution and Approximate Identities
- Fubini and Change of Variables
- Fundamental Trigonometric Identities
- Gaussian Elimination, Elementary Matrices and Reduced Row Echelon Form
- Group Actions, Orbits, Stabilisers and Cayley's Theorem
- Group Homomorphisms and the Isomorphism Theorems
- Hausdorff via the Diagonal
- Ideals, Quotient Rings and the Isomorphism Theorems for Rings
- Improper and Parameter-Dependent Multiple Integrals
- Improper Integrals
- Independence Borel Cantelli and Zero One Laws
- Infinite Product Measures and Kolmogorov Extension
- Inner Product Spaces, Gram-Schmidt, Projections and Adjoints
- Lebesgue Measure on Euclidean Space
- Limits of Real Functions
- limsup, liminf, and Subsequential Limits
- Linear Independence, Bases and Dimension
- Linear Transformations, Rank-Nullity and Quotient Spaces
- Matrices, the Matrix of a Linear Map, and Change of Basis
- Measurable Functions and Simple Approximation
- Measures and Their Basic Properties
- Metric Spaces
- Mixed effects and longitudinal models
- Mixed Partials, Taylor Formulae, and Extrema
- Modes of Convergence Egorov and Lusin
- Monotone Functions, Discontinuities, and Continuity Sets
- Monotone Sequences, Bolzano-Weierstrass, and Cauchy Completeness
- Normal Subgroups and Quotient Groups
- Order, Zorn's Lemma, and the Axiom of Choice
- Outer Measure and the Caratheodory Extension Theorem
- Partitions of Unity and Paracompactness
- Pointwise Extended-Real Function Products
- Polynomial Rings, the Division Algorithm and Roots
- Power Series and Real-Analytic Functions
- Primes, Euclid's Lemma and the Fundamental Theorem of Arithmetic
- Probability Spaces Random Variables and Expectation
- Product Measures and the Fubini Tonelli Theorems
- Properties of the Integral and the Working FTC
- Radon Measures and the Riesz Markov Kakutani Theorem
- Relations, Functions, and Quotients
- Rings, Subrings, Integral Domains and Fields
- Rⁿ as a Normed Space; Vector-Valued Functions
- Roots, Rational Powers, and Classical Inequalities
- Scientific model contracts and applicability
- Separation Axioms: the Hierarchy
- Sequences and Limits
- Sequences and Series of Functions; Uniform Convergence
- Series: Convergence and the Nonnegative Tests
- Sigma Algebras and Borel Sets
- Signed and Complex Measures Hahn and Jordan
- Simple Field Extensions and the Construction of the Complex Numbers
- Sine, Cosine, and the Definition of Pi
- Splitting Fields
- Statistical Experiments, Models and Identifiability
- Subspaces, Products, and Quotients
- Suprema and Infima
- Sylow's Theorems, p-Groups and Nilpotent Groups
- Symmetric Groups, Cycle Decomposition and the Sign Homomorphism
- The Cantor Set, Baire Category, and Measure Zero in ℝ
- The Complex Exponential and Euler's Formula
- The Derivative and the Mean Value Theorems
- The Determinant of a Linear Operator, Cofactors and Cramer's Rule
- The Exponential Function
- The Fundamental Theorem of Algebra
- The Fundamental Theorem of Finite Abelian Groups
- The Galois Correspondence
- The Inverse and Implicit Function Theorems
- The Lebesgue and Riemann Integrals Compared
- The Lebesgue Integral and the Convergence Theorems
- The Logarithm and General Powers
- The Lᵖ Spaces Holder Minkowski and Riesz Fischer
- The Maximal Function and Lebesgue Differentiation
- The Radon Nikodym Theorem and Lebesgue Decomposition
- The Riemann Integral in Rᵐ and Jordan Content
- The Riemann Integral: Definition and Integrability
- The Spectral Theorem, Positive Operators and Singular Value Decomposition
- The Topology of Euclidean Space
- The Total Derivative in ℝᵐ → ℝⁿ
- The ZFC Axioms and the Basic Set Constructions
- Topological Spaces and Continuity
- Topology of ℝ
- Triangularisation, Generalised Eigenspaces and Jordan Canonical Form
- Urysohn's Lemma and the Tietze Extension Theorem
- Vector Spaces, Linear Subspaces, Span and Direct Sums
- Weak Convergence Tightness and Representation
2 · Summary
Examples
A random intercept yields an intraclass correlation when the total variance is positive. Two visits can leave random-slope and residual covariance parameters aliased even with a full-rank fixed design. A finite random-intercept model can also have an outcome-dependent dropout mechanism, showing that the complete-data covariance structure alone does not make dropout MAR.
3 · Logical flowchart
4 · Definitions, theorems and proofs
None yet.
5 · Examples, counterexamples and false statements
Random-intercept covariance and intraclass correlation
Example
For a subject measured at two distinct visits, let where , , the residuals have mean zero and variance , the residuals are independent of each other, and is independent of the residual vector . If , the marginal correlation between the two observations is This is the random-intercept intraclass correlation (ICC).
Facts & Assumptions
Given: The two-visit random-intercept special case of Finite-dimensional linear mixed model with explicit longitudinal roles with the moment and independence assumptions in the Example.
The mixed-model marginal covariance is and does not require Gaussianity. Marginal covariance of the linear mixed model.
Variance and covariance are centered second moments. Moments, variance, and covariance on a probability space.
and .
For square-integrable real random variables with positive variances, use the convention . Correlation is undefined if either variance is zero.
Verification
Given: The model in the Example.
For either visit, the random part is , so its variance is because the two terms are independent and centered. Equivalently, in the marginal-covariance formula use random-intercept design row , , and residual diagonal entry .
For the two distinct visits, both observations contain the same . The covariance formula gives ; the residual cross-covariance is zero by the assumed independence.
By [A1], both marginal variances are positive. Dividing the covariance from step 1.2 by the square root of the product of the two equal variances from step 1.1 gives by [A2]. If the ICC is ; if it is ; if both are zero the correlation is undefined.
Two visits can alias random-slope and residual variance components
Statement refuted
It is false that two visits at times and , together with a full-rank fixed design, always identify the random-intercept/random-slope covariance matrix and the residual variance in a Gaussian longitudinal mixed model.
Facts & Assumptions
Given: One subject has observations at , with fixed and random design and the Gaussian branch of Finite-dimensional linear mixed model with explicit longitudinal roles.
The marginal covariance is . Marginal covariance of the linear mixed model.
In the Gaussian model, covariance-parameter identifiability is equivalent to injectivity of . Gaussian variance-component identifiability is covariance-map injectivity.
Under AC, the Gaussian branch gives jointly normal latent and residual vectors; scalar normal characteristic functions, the affine transformation rule, and uniqueness of characteristic functions identify the resulting multivariate-normal response law from its mean and covariance. Gaussian branch of the linear mixed model, Multivariate normal law, including singular covariance, Characteristic function of a normal law, Characteristic functions under affine maps and independent sums, Characteristic function of a multivariate normal law, Uniqueness of a law from its characteristic function.
A real square matrix is invertible exactly when its determinant is nonzero. A finite square real matrix is invertible if and only if its determinant is nonzero.
AC holds. The Axiom of Choice.
Construction
Set and . For a second parameter tuple set Use the same fixed parameter for both models.
Verification
Given: The parameter tuples and design in the Counterexample.
The matrix is positive definite because for every , Also and are positive definite, while is positive definite since . The design has determinant , so [F4] makes it invertible and therefore full rank.
For the first tuple,
Direct multiplication gives The covariance parameter tuples are distinct, so the covariance map is not injective.
Under either Gaussian tuple, has every scalar projection normal: in direction , the coefficient vector on is and its variance is . Since , these projections have identical characteristic functions, so [F3] gives equal response laws. The covariance-component tuples are distinct, so the parameter is not identifiable.
Remarks
The witness keeps and both residual covariance matrices positive definite. It shows an exact covariance alias at two visits; more replication of the same two-visit design preserves the same alias.
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.
Sources
- Fan Li, STA610 Lecture 1: The Problem of Correlated Data, PDF pp. 4–8
- Duchateau, Janssen, and Rowlands, Linear Mixed Models, Chapter 2 §§2.3.1–2.4.1
- Fan Li, STA610 Lecture 6: Linear Mixed-Effects Models, PDF pp. 13–15
- Fan Li, STA610 Lecture 7: The Longitudinal Linear Mixed Model, PDF pp. 6–8
- Fan Li, STA610 Lecture 7: The Longitudinal Linear Mixed Model, PDF pp. 16–18
- Fan Li, STA610 Lecture 1: The Problem of Correlated Data, PDF pp. 4–6