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.
Biological and technical replication
1 · Prerequisites
- Binary Operations, Monoids, Groups and Subgroups
- Construction of the Natural Numbers
- Construction of the Real Numbers via Cauchy Sequences
- Construction of the Real Numbers via Dedekind Cuts
- Cosets, Index and Lagrange's Theorem
- Countability and Uncountability
- Divisibility, Euclidean Domains, Principal Ideal Domains and Unique Factorisation
- Estimators and Randomized Procedures
- Finite Counting, Factorials and Binomial Coefficients
- Finite Probability Spaces and Random Variables
- Fixed-design regression, estimability, and Gauss–Markov
- Foundations of the Real Numbers for Analysis
- Ideals, Quotient Rings and the Isomorphism Theorems for Rings
- Independence Borel Cantelli and Zero One Laws
- limsup, liminf, and Subsequential Limits
- Measurable Functions and Simple Approximation
- Measures and Their Basic Properties
- Metric Spaces
- Mixed effects and longitudinal models
- Monotone Sequences, Bolzano-Weierstrass, and Cauchy Completeness
- Normal Subgroups and Quotient Groups
- Order, Zorn's Lemma, and the Axiom of Choice
- Pointwise Extended-Real Function Products
- Polynomial Rings, the Division Algorithm and Roots
- Probability Spaces Random Variables and Expectation
- Product Measures and the Fubini Tonelli Theorems
- Relations, Functions, and Quotients
- Rings, Subrings, Integral Domains and Fields
- Roots, Rational Powers, and Classical Inequalities
- Scientific model contracts and applicability
- Sequences and Limits
- Sigma Algebras and Borel Sets
- Simple Field Extensions and the Construction of the Complex Numbers
- Statistical Experiments, Models and Identifiability
- Suprema and Infima
- The Lebesgue Integral and the Convergence Theorems
- The ZFC Axioms and the Basic Set Constructions
- Topological Spaces and Continuity
- Topology of ℝ
2 · Summary
This page distinguishes biological, assignment, and technical measurement units, then proves the mean and variance of a balanced average under a two-level random-intercept model. Its variance identity separates variation between independent biological units from technical measurement error. The formula requires the stated common variances and mutual-independence assumptions; the names of replicate types do not imply those assumptions. The result is a design-model calculation, not a normal approximation, a guarantee of representativeness, or evidence that the model fits an empirical study.
3 · Logical flowchart
4 · Definitions, theorems and proofs
Biological and technical replication model
Definition
For a specified scientific question, a biological unit is one unit at the level whose biological variation is relevant to the target population. A biological replicate is a distinct biological unit at that same level under the sampling law being modeled. The unit receiving randomized treatment is the randomization unit; when treatment is assigned to a cage, litter, plot, or batch, that cluster is the randomized replicate even if members or subsamples within it are measured separately. A technical replicate is another reading or assay of the same specimen or material within one biological unit. These roles follow the scientific and assignment design recorded by Scientific statistical model contracts; their names alone do not assert statistical independence.
Let be integers, let index biological units, and let index technical measurements of unit . On one probability space, take square-integrable real random variables and , in the sense of Random elements and real random variables, with Here and the treatment contributions are fixed real numbers when the analysis conditions on the assigned treatment schedule. The random effect represents biological variation shared by all measurements of unit ; is technical measurement error. The complete finite family is mutually independent in the sense of Independent random elements, and for all indices, where . Mean, variance, and square-integrability use Expectation of a nonnegative or integrable random variable and Moments, variance, and covariance on a probability space. No Gaussian assumption is made.
With the rows indexed by , this is a special case of the finite- dimensional linear mixed model Finite-dimensional linear mixed model with explicit longitudinal roles: the random-intercept design row selects , and the fixed mean at that row is . When inference averages over randomized assignments, the vector is instead a random vector under the declared assignment law; its covariance and any dependence on or must then be retained as specified by the result that uses it.
Remarks
The equal-variance, mutual-independence, and balanced-measurement assumptions belong to this particular model. Role labels do not imply them. Shared plate, visit, cluster, batch, or serial-assay effects require additional terms or a different covariance structure. This definition and its variance consequences do not establish that the model fits an empirical study, that its sampling law is representative, or that a treatment contrast is causally identified.
Mean and variance under balanced biological and technical replication
Statement
Assume the balanced model of Biological and technical replication model, with , and set For a fixed treatment schedule , If instead is square-integrable and random under the assignment-averaged law, then Thus, when is independent of and , the assignment contribution is . If, in addition, the are mutually independent with common variance , the full variance is . Without independence of the treatment average from , the two covariance terms remain. No Gaussian assumption is required.
Facts & Assumptions
Given: The finite balanced model and the random-variable conventions in Biological and technical replication model. For the second branch, has finite second moments under the declared assignment law.
Biological and technical replication model: ; the and have zero means, common variances and , and the complete finite family of biological and technical random variables is mutually independent.
Moments, variance, and covariance on a probability space: for square-integrable real random variables, variance is the expectation of the centered square and covariance is the expectation of the product of centered variables.
Covariance is symmetric and bilinear in finite linear combinations: covariance expands bilinearly over finite linear combinations of square-integrable random variables.
Expectations factor over finite products of independent random variables: products of independent integrable real random variables are integrable and their expectations factor.
Independent random elements: mutual independence means the generated sigma-algebras form an independent family; the random variables in [F1] therefore satisfy the independence hypothesis of [F4].
Linearity, monotonicity, and the modulus bound for expectation: expectation is linear for finite linear combinations of integrable random variables.
Proof
Given: The assumptions in [F1], , and, in the random-treatment branch, a square-integrable treatment-contribution vector.
Summing the model in [F1] over gives . Each summand is integrable, so [F6] and the zero means in [F1] give when is fixed, and when it is random.
For distinct biological indices , distinct technical indices , and any biological-technical pair , the variables in each pair are independent by [F1] and [F5]. They are integrable because they are square-integrable. Applying [F4] to identity functions gives expectation of the product equal to the product of their zero means; [F2] therefore makes every such off-diagonal covariance zero. By [F3], bilinearity over the finite index families then gives .
Bilinearity [F3] expands into covariance terms with coefficient . By 1.2 the off-diagonal terms vanish, and the diagonal terms equal by [F1] and [F2]. Hence .
Bilinearity [F3] expands into covariance terms with coefficient . By 1.2 the off-diagonal terms vanish, and the diagonal terms equal by [F1] and [F2]. Hence .
With fixed , is constant and has zero covariance with every square-integrable random variable by [F2]. Expand the variance of using [F3]; its cross-covariance is zero by 1.2. Substituting 2.1 and 2.2 proves the fixed-schedule formula.
With random , expand the variance of by [F3]. The - covariance is zero by 1.2, and 2.1–2.2 give the two component variances, yielding exactly the displayed general formula with both treatment cross-covariances retained. If is independent of and , [F4] makes those cross-covariances zero. Expanding by [F3] gives the stated covariance sum; when the are mutually independent with common variance , only its diagonal terms remain, giving .
Remarks
The proof uses only finite sums and moment identities, so it is choice-free. The assignment contribution is not generally : under a constrained or otherwise dependent assignment law, its covariance sum must be evaluated under that law. The identity is conditional on the stated model assumptions; it does not validate them or provide an exact normal inference procedure.
5 · Examples, counterexamples and false statements
None yet.
Sources
- Gary W. Oehlert, A First Course in Design and Analysis of Experiments, Chapter 1 §§1.3 and 1.5, printed pp. 6, 8–10
- Susan Holmes and Wolfgang Huber, Modern Statistics for Modern Biology, Chapter 13 §§13.3.2, 13.4.2, 13.4.5
- Gary W. Oehlert, A First Course in Design and Analysis of Experiments, Chapter 1 §1.5, printed pp. 8–10