Solution (source code)

= Solution

<Linkage disequilibrium> means that <alleles> at different <genetic loci> are associated in population <haplotypes>. For two biallelic loci,
$$
D=p_{AB}-p_Ap_B,\qquad r^2=\frac{D^2}{p_A(1-p_A)p_B(1-p_B)}.
$$
The first quantity measures departure from independent allele frequencies; the second is the squared <allelic correlation>. <Standardized linkage disequilibrium> $D'$ instead compares $D$ to its possible range at the given frequencies. High $|D'|$ can coexist with low $r^2$, so it need not make one <genetic marker> a good predictor of another. <Genetic linkage> is a different notion: it describes within-family transmission and the <recombination fraction>.

The chromosome-21 study of https://pubmed.ncbi.nlm.nih.gov/11721056/[Patil and colleagues, Science 2001] found consecutive <single-nucleotide polymorphisms> organized into regions with comparatively few common <haplotypes>; typically three haplotypes accounted for over 80% of the sampled chromosomes within a block. Such <haplotype blocks> can be represented efficiently by <tag SNPs>. Strong association within blocks and weaker association across boundaries give a useful description, though block boundaries depend on allele frequencies, population history, sampling and the operational definition of a block. They do not divide chromosomes into regions where <genetic recombination> is respectively impossible and certain.

The ancestry explanation uses an <ancestral recombination graph>. Going backwards, ancestral lineages coalesce, while a <genetic recombination> event splits one lineage's ancestral material into contributions from two parents. At a fixed genomic position, retaining only its ancestry gives a <phylogenetic tree> with the appropriate coalescent law. Nearby positions often retain much of the same tree; mutations on shared branches then produce correlated allele states. Breakpoints can change the local tree, weakening that shared history.

Under a simple random-mating two-locus model, <linkage-disequilibrium decay under recombination> gives $D_{t+1}=(1-r)D_t$. Actual populations also undergo <genetic drift>, <population bottlenecks>, <mutation> and migration, which can create or preserve association. Recombination rates themselves vary along chromosomes: https://pubmed.ncbi.nlm.nih.gov/15105499/[McVean and colleagues, Science 2004] inferred strong local variation from sequence data. These observations motivate an ancestry model with spatially varying recombination, rather than treating physical distance as the only determinant of <linkage disequilibrium>.

For fine mapping, a typed <genetic marker> can show <genetic association> because it is correlated with a nearby causal <genetic variant>. <Linkage-disequilibrium marker tagging> makes a sparse first-stage scan possible, but several variants in one block can produce nearly indistinguishable association patterns. Historical recombination and diverse local genealogies can narrow the interval when denser genotyping is available.

An <ancestral recombination graph> turns that intuition into a likelihood calculation. One can place a proposed disease-origin event on a local ancestral branch and integrate over possible graphs, mutation histories and unobserved <haplotypes>. The local <phylogenetic tree> then relates disease-bearing chromosomes and predicts which markers should remain associated. In a <Bayesian inference>, uncertainty in ancestry, mutation location and demographic parameters enters the <posterior distribution> rather than being replaced by one guessed tree. Whole-graph inference is computationally demanding, and approximate or pairwise methods often supply practical estimates.

The useful distinction is between finding an associated region and identifying its causal variant. Strong <linkage disequilibrium> improves marker coverage but can limit resolution inside the associated region. <Population stratification>, ascertainment, rare variants and misspecified population history can also mislead an association analysis. Combining fine mapping with independent biological evidence is therefore stronger than interpreting an association peak as proof of causation.