Four-gamete test 2026-10-13
Under an infinite sites mutation model, two variable sites on one unrecombined rooted tree have nested or disjoint derived-allele clades. At most three of the four biallelic haplotypes can then occur. Observation of all four haplotypes proves that the single-tree, single-mutation-per-site model cannot hold: some ancestral genetic recombination is necessary if recurrent mutation is excluded. The test gives no proof of absence of recombination when only three haplotypes occur.
// Target: biology.bigb
For a proper prior distribution independent of coalescent times , let with and . Observing under an infinite sites mutation model gives posterior density , where is the prior predictive probability of . Multiplication by the conditional Poisson mass and normalization is an application of Bayes' theorem.
// Target: statistical-inference.bigb
Mutation Created 2026-10-13 Updated 2026-10-18
A mutation changes inherited genetic sequence. Under an infinite sites mutation model, every mutation occurs at a previously unmutated position, so mutations below the sample's common ancestor correspond to segregating sites.
More precisely, a mutation changes a genetic nucleotide sequence; in cellular organisms this is a DNA sequence. An altered sequence can be copied by DNA replication into descendant biological cells, changing their genotype whether or not an observable phenotype changes. Inheritance along a cell lineage does not require transmission to an offspring organism. In animals, germline mutations can enter offspring through gametes, whereas somatic mutations remain in body-cell lineages.[ref]
A DNA lesion is damage to the physical DNA molecule, such as a damaged nucleobase or a broken strand. It need not become a lasting mutation: DNA repair can restore the original sequence. Conversely, a copied nucleotide substitution can leave an ordinary, correctly paired DNA duplex whose sequence differs from the ancestor. The distinction is between a damaged template and a changed inherited message, not simply between harmful and harmless effects.[ref]
Small mutations include nucleotide substitutions and indels. Larger changes can remove a gene, duplicate a chromosome region or rearrange its order. Genetic recombination can bring existing alleles together without creating a new nucleobase at the exchanged positions; the mechanism and the resulting sequence change are different questions. A molecular description of a mutation, its effect on a gene product and its effect on a phenotype are likewise three separate statements.
For an original consequence ledger, choose the coding strand segment with initiation at the first displayed codon. Use the standard genetic code, the same reading frame and suitable gene expression context throughout. Its messenger RNA has U in place of T, and the predicted amino acid chain is methionine–phenylalanine–glutamic acid residue, followed by a stop codon. This is a constructed coding segment, not an experimentally measured gene.
Figure 1.
Original mutation ledger: sequence changes and predicted coding consequences
. All DNA segments are written to in the same chosen reading frame. Colored letters mark changed or inserted nucleotides; a gap marks a removed codon. Products follow the standard genetic code under the stated initiation assumption. The ledger predicts amino acid order or termination, not a measured phenotype. Details.
In the second row, position 6 changes from T to C, replacing TTT by TTC. Both corresponding RNA codons specify phenylalanine, so the predicted chain is unchanged. Changing position 5 from T to C instead gives TCT, whose RNA codon specifies serine. Changing position 7 from G to T gives TAA and therefore a stop codon before the original glutamic acid residue. Each is one nucleotide substitution, but their coding consequences differ. Even preservation of the amino acid chain does not guarantee unchanged gene expression or phenotype.
Insert GGA after ATG to add a glycine codon, or remove the complete TTT codon to remove phenylalanine. Both indels preserve the downstream reading frame because their lengths are three nucleotides. A one-nucleotide insertion at that location instead produces a frameshift mutation; the positional explanation and a worked regrouping appear under frameshift mutation. The ledger illustrates why interpreting a genetic variant requires its position and context, rather than just the label mutation.
Mutation supplies new inherited variation on which natural selection can act. The Luria-Delbrück experiment makes the distinction unusually visible: natural selection reveals resistant descendants, while the timing of a prior mutation determines how many descendants are available to reveal. This connects an invisible change in one biological cell to a visible pattern across cell cultures.
In Kingman's coalescent, the epoch with ancestral lineages lasts , independently across epochs. If each lineage carries an independent Poisson process of mutations with rate , its epoch mutation count satisfies . The total mutation count is . Under the infinite sites mutation model, this also counts segregating sites; without that assumption it still counts mutation events, which need not correspond one-to-one to observed polymorphisms.
During the epoch with ancestral lineages, Kingman's coalescent has waiting time . In the stated time units, each lineage accumulates mutations at rate , so the mutation count on a neutral coalescent tree decomposes as
The law of total expectation and the mean of an exponential distribution give . Therefore
This calculation counts mutation events. Equating the count with observed segregating sites additionally uses the infinite sites mutation model.
Let be the mutation rate per chromosomal segment per generation, and use the population-scaled parameter . In -generation coalescent units, mutations occur on each ancestral lineage at rate . Independent mutations on all branches of a given phylogenetic tree superpose to give a Poisson distribution with mean .
Under the infinite sites mutation model, each mutation occurs at a distinct position, and every mutation below the sample's common ancestor separates a nonempty proper subset of sampled chromosomes from the remainder. Thus the mutation count is exactly the segregating site count, giving
By the law of total expectation and the previous branch-length formula,
This also gives the Watterson estimator as an unbiased moment estimator of . Here all sample segregating sites are counted, including singletons; filtering sites by a minimum sample frequency or by external SNP discovery would introduce genetic-study ascertainment and change this calculation.
Five consequences of the ancestral recombination graph are:
Figure 1.
Different local genealogies can generate all four haplotypes with one mutation per site
. Details.
Shared ancestry explains correlation; recombination makes ancestry a mosaic; mutation on the resulting branches converts genealogy into observed variation. These explanations use the neutral ARG, with a variable recombination map where stated. Selection, population subdivision or changing population size can also be studied genealogically, but require extending the event model rather than being consequences of the constant-size panmictic neutral process alone.
In the infinite sites mutation model, mutations occur as independent Poisson processes at rate per lineage per unit of the coalescent time used in part (a). Conditional on the genealogy, superposition over branches gives a Poisson distribution with mean . Since this depends only on , conditioning on total length alone gives
Each mutation occurs at a new site and below the common ancestor, so it contributes exactly one segregating site. The law of iterated expectation therefore gives, with ,
Here is fixed when taking the expectation. If it is also random under a proper prior with finite mean, the unconditional expectation is .
Segregating site 2026-10-13
A segregating site is a position at which at least two states occur in the sampled chromosomes. Under an infinite sites mutation model, mutations below the sample's common ancestor correspond one-to-one to segregating sites. Their number is commonly denoted .
Single-nucleotide polymorphism Created 2026-10-13 Updated 2026-10-20
A single-nucleotide polymorphism is variation at one nucleotide position in sampled genomes. Under an infinite sites mutation model, the number of such variable positions in a sample equals the number of mutations on the genealogy below its most recent common ancestor.
Watterson estimator 2026-10-14
For a neutral sample of size under the infinite sites mutation model, the Watterson estimator is , where . Since the coalescent has , this estimator is unbiased. It matches the observed segregating-site count to its expected value, but need not maximize the exact segregating-site likelihood under the neutral coalescent.