Alphabeta Math
Pipeline-generated
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.

✓ 1 result · all verified · 0 also independently AI-judged
Every result on this page is machine-checked by a proof checker and read in full and owner-audited; the judge is an additional, independent cross-model AI review of the proofs. The 1 not AI-judged were verified by owner audit (typically over a confirmed judge false positive), not failures.

Biological and technical replication

1 · Prerequisites

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

DefinitionDefinition: Literature-sourcedProof: Not applicableOpen item page →

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 n,m≥1 be integers, let i∈{1,…,n} index biological units, and let j∈{1,…,m} index technical measurements of unit i. On one probability space, take square-integrable real random variables Bi and Eij, in the sense of Random elements and real random variables, with Yij=μ+τi+Bi+Eij. Here μ and the treatment contributions τi are fixed real numbers when the analysis conditions on the assigned treatment schedule. The random effect Bi represents biological variation shared by all measurements of unit i; Eij is technical measurement error. The complete finite family (Bi)i=1n,(Eij)i≤n,j≤m is mutually independent in the sense of Independent random elements, and E[Bi]=E[Eij]=0,Var⁡(Bi)=σb2,Var⁡(Eij)=σe2 for all indices, where σb2,σe2≥0. 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 (i,j), 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 Bi, and the fixed mean at that row is μ+τi. When inference averages over randomized assignments, the vector τ=(τ1,…,τn) is instead a random vector under the declared assignment law; its covariance and any dependence on B or E 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.

TheoremStatement: Literature-sourcedProof: AI-adaptedprecheck passOpen item page →

Mean and variance under balanced biological and technical replication

Statement

Assume the balanced model of Biological and technical replication model, with n,m≥1, and set Yˉ=1nm∑i=1n∑j=1mYij,Bˉ=1n∑i=1nBi,Eˉ=1nm∑i=1n∑j=1mEij,τˉ=1n∑i=1nτi. For a fixed treatment schedule (τi)i=1n, E[Yˉ]=μ+τˉ,Var⁡(Yˉ)=σb2n+σe2nm. If instead τ=(τ1,…,τn) is square-integrable and random under the assignment-averaged law, then E[Yˉ]=μ+E[τˉ],Var⁡(Yˉ)=σb2n+σe2nm+Var⁡(τˉ)+2Cov⁡(τˉ,Bˉ)+2Cov⁡(τˉ,Eˉ). Thus, when τˉ is independent of Bˉ and Eˉ, the assignment contribution is Var⁡(τˉ)=n−2∑i,k=1nCov⁡(τi,τk). If, in addition, the τi are mutually independent with common variance στ2, the full variance is σb2/n+σe2/(nm)+στ2/n. Without independence of the treatment average from Bˉ,Eˉ, 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.

[F1]

Biological and technical replication model: Yij=μ+τi+Bi+Eij; the Bi and Eij have zero means, common variances σb2 and σe2, and the complete finite family of biological and technical random variables is mutually independent.

[F2]

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.

[F3]

Covariance is symmetric and bilinear in finite linear combinations: covariance expands bilinearly over finite linear combinations of square-integrable random variables.

[F4]

Expectations factor over finite products of independent random variables: products of independent integrable real random variables are integrable and their expectations factor.

[F5]

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].

[F6]

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], n,m≥1, and, in the random-treatment branch, a square-integrable treatment-contribution vector.

1.1givenF1F6algebra

Summing the model in [F1] over i,j gives Yˉ=μ+τˉ+Bˉ+Eˉ. Each summand is integrable, so [F6] and the zero means in [F1] give E[Yˉ]=μ+τˉ when τ is fixed, and E[Yˉ]=μ+E[τˉ] when it is random.

1.2F1F2F3F4F5

For distinct biological indices i≠k, distinct technical indices (i,j)≠(k,ℓ), and any biological-technical pair (i,(k,ℓ)), 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 Cov⁡(Bˉ,Eˉ)=1n2m∑i=1n∑k=1n∑ℓ=1mCov⁡(Bi,Ekℓ)=0.

2.1F1F2F3step 1.2algebra

Bilinearity [F3] expands Var⁡(Bˉ) into n2 covariance terms with coefficient n−2. By 1.2 the off-diagonal terms vanish, and the n diagonal terms equal σb2 by [F1] and [F2]. Hence Var⁡(Bˉ)=n−2nσb2=σb2/n.

2.2F1F2F3step 1.2algebra

Bilinearity [F3] expands Var⁡(Eˉ) into (nm)2 covariance terms with coefficient (nm)−2. By 1.2 the off-diagonal terms vanish, and the nm diagonal terms equal σe2 by [F1] and [F2]. Hence Var⁡(Eˉ)=(nm)−2(nm)σe2=σe2/(nm).

3.1F2F3step 1.2step 2.1step 2.2algebra

With fixed τ, μ+τˉ is constant and has zero covariance with every square-integrable random variable by [F2]. Expand the variance of Bˉ+Eˉ using [F3]; its cross-covariance is zero by 1.2. Substituting 2.1 and 2.2 proves the fixed-schedule formula.

4.1F1F3F4step 1.2step 2.1step 2.2algebra∎

With random τ, expand the variance of τˉ+Bˉ+Eˉ by [F3]. The Bˉ-Eˉ 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 Bˉ and Eˉ, [F4] makes those cross-covariances zero. Expanding Var⁡(n−1∑iτi) by [F3] gives the stated covariance sum; when the τi are mutually independent with common variance στ2, only its n diagonal terms remain, giving στ2/n.

Remarks

The proof uses only finite sums and moment identities, so it is choice-free. The assignment contribution is not generally στ2/n: 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