---
id: "20261017-0228-does-kimura-and-crow"
title: "Does Kimura and Crow (1964) actually derive the neutral-allele frequency formula that both Simkin–Roychowdhury (2005) and Hahn–Bentley (2003) attribute to it — is it one shared mathematical ancestor or two loose name-drops?"
type: "capture"
status: "promoted"
promoted_to: ["30-notes/claim-kimura-crow-1964-began-as-crows-1958-question-to-kimura-about-equilibrium-homozygosity.md","30-notes/claim-simkin-roychowdhury-2006-re-inventing-willis-independently-rederives-kimura-crow-1964-checks-against-wright-1931.md","40-entities/entity-sewall-wright.md","40-entities/entity-warren-ewens.md"]
not_promoted: ["Claim 3 (synthesis: 'the question is substantially narrowed but not fully closed') — not atomic new content; it's a verdict over Claims 1-2, so it was routed as a dated progress append to the question itself (question-verify-kimura-crow-1964-is-shared-mathematical-ancestor-of-citation-and-cultural-drift-models.md) rather than duplicated as a third claim-note.","Ewens (1964) itself — still unread by any vault session; left as an open lead on the question, not promoted (no new quote this capture).","Crow's 1989 first-person retrospective (Genetics 121(4):631-634) — located, not fetched; left as an open lead on the question.","Ewens's 2016 Genetics Centennial Classic commentary (PMC4905530) — located, blocked by a reCAPTCHA interstitial on archive_page; left as an open lead on the question.","Herzog, Bentley & Hahn (2004) dog-breeds paper — not sourced this session; left as an open lead on the question.","Cambridge Genetics Research summary's n_e formula and Ohta & Kimura (1973) divergence claim — found via WebSearch only, carries the capture's own [unverified-quant — needs primary] flag, and is not load-bearing for any claim promoted this session (per Question Intake Discipline, a non-load-bearing lead does not get a question of its own); left in the inbox as a lead for a future session with a primary-source route.","James F. Crow as a standalone entity hub — per the entity-page spec's co-authorship ruling, he is named on entity-motoo-kimura.md's updates and body as the originator of the 1958 question, but a single shared paper with Kimura doesn't give him separate standing; stays a mention, not a hub.","PMC's JS-gated download-page block on PMC1210609 — not vault content; logged as a mid-session noticing in 00-meta/seek-flags.md (2026-10-18, [spec]) rather than promoted as a claim."]
origin: "batch"
writer_model: "claude-sonnet-5"
date_created: "2026-10-17T00:00:00.000Z"
provenance: "batch run, 2026-10-17"
derived_from: []
verifies: "question-verify-kimura-crow-1964-is-shared-mathematical-ancestor-of-citation-and-cultural-drift-models"
tags: ["population-genetics","neutral-theory","citation-copying","cultural-evolution","cross-domain-bridge","verification","infinite-alleles-model"]
source_url: "https://arxiv.org/pdf/physics/0601192"
source_sha: "15e9697f137601b744808be23d0e3370c1918d0ea365e4b6ef05d9b16775e94b"
source_title: "Re-inventing Willis"
source_author: "M.V. Simkin, V.P. Roychowdhury"
source_date: "2006 (arXiv physics/0601192)"
source_venue: "arXiv preprint physics/0601192 (unrefereed working paper), Dept. of Electrical Engineering, UCLA"
source_tier: 1
source_url_2: "https://genestogenomes.org/kimura-crow-infinite-alleles/"
source_sha_2: "119459525ab1177573007d7101424bac61d21f38711bb161536bc6a6d6034534"
source_title_2: "Kimura & Crow: Infinite alleles"
source_author_2: "Cristy Gelling"
source_date_2: "2016-08-03"
source_venue_2: "Genes to Genomes (the Genetics Society of America's official blog)"
source_tier_2: 3
seek_code_commit: "f8a723c"
source_delight: "Simkin and Roychowdhury's own companion paper to their citation-copying model spends two full pages independently re-deriving Kimura and Crow's 1964 allele-count problem from scratch, by hand, and checks the answer against Sewall Wright's 1931 formula — a worked derivation, not a citation."
---


This capture answers [[question-verify-kimura-crow-1964-is-shared-mathematical-ancestor-of-citation-and-cultural-drift-models]], raised against [[observation-kimura-crow-1964-is-shared-named-ancestor-of-citation-copying-and-cultural-drift-models]], [[claim-simkin-roychowdhury-credit-kimura-crow-1964-neutral-allele-model-as-prior-derivation]], and [[claim-hahn-bentley-2003-neutral-drift-reproduces-baby-name-power-law-popularity]]. Those three notes establish that [[entity-m-v-simkin|Simkin and Roychowdhury]] (2005) and Hahn and Bentley (2003) both name Kimura and Crow (1964) as the source of a neutral-allele frequency result — but neither citing paper's own text was, by itself, proof that the 1964 paper really contains the mathematical object both later papers say it does, rather than two authors reaching for the same famous name independently.

**The primary itself — Kimura, M. & Crow, J.F., "The Number of Alleles That Can Be Maintained in a Finite Population," *Genetics* 49(4):725–738 (1964) — could not be read directly this session.** Its PubMed Central record (PMCID PMC1210609) serves its PDF through a JavaScript-gated download page that returns no `%PDF-` bytes to direct fetch (the retrieved content is literally the string "Preparing to download...") and a reCAPTCHA interstitial on repeated or Wayback-routed attempts; the journal's current venue of record, `academic.oup.com/genetics`, returned HTTP 403 — the same publisher-platform wall already logged in `sources.md` for several other OUP/Elsevier/SAGE/INFORMS journal pages. So this capture cannot offer a first-hand read of the 1964 derivation. What it offers instead is the best available indirect evidence: a historical account of what the paper actually contains (Claim 1) and, more importantly, an independent technical reconstruction of the paper's own problem by one of the two citing author pairs, done in a different paper than the one that first made the citation (Claim 2).

## Claim: Kimura and Crow (1964) is not a bare title later authors gesture at — the paper poses and solves one specific, well-defined problem: the equilibrium distribution of allele frequencies in a finite population where every mutation creates a new, selectively neutral allele

verifies: question-verify-kimura-crow-1964-is-shared-mathematical-ancestor-of-citation-and-cultural-drift-models

Per the Genetics Society of America's own historical account of the paper, the problem originated as a specific question Crow posed to Kimura in 1958: given that every mutation generates a new allele and the population has reached genetic equilibrium, what proportion of loci would be homozygous? Kimura answered with "a straightforward equation based on mutation rate and the size of the population (technically speaking, the effective population size)," and the resulting 1964 paper opens by formalizing exactly this neutral-mutation setup before extending it to selection and drift. This is a historical/definitional claim about what a well-known, uncontested paper contains and how it originated — acceptable at Tier 3 per the sourcing floor — and it independently corroborates, from a source that is not either citing paper, that Kimura and Crow (1964) is built around a specific, named mathematical object (a finite-population, infinite-alleles, neutral-mutation equilibrium distribution) rather than being a general-purpose landmark name with no fixed technical content.

- source_quote: "He posed a specific problem to Kimura: If you assume that every mutation generates a new allele and that a population has reached genetic equilibrium (i.e. allele frequencies are stable from generation to generation), what would be the proportion of loci in a population that are homozygous? A little over a year later, Kimura wrote back with the answer."
- source_quote_2: "The 1964 paper began by describing a basic model under the assumption that each mutation has no net effect on the bearer's survival and reproduction, that is, each mutation is \"neutral\". The rest of the paper built on this foundation by introducing the effects of natural selection and random drift, but it was the first, introductory section that was to become most influential."
- source_url: "https://genestogenomes.org/kimura-crow-infinite-alleles/"
- source_sha: "119459525ab1177573007d7101424bac61d21f38711bb161536bc6a6d6034534"
- source_author: "Cristy Gelling"
- source_title: "Kimura & Crow: Infinite alleles"
- source_venue: "Genes to Genomes (Genetics Society of America blog)"
- source_date: "2016-08-03"
- source_tier: 3
- Both quotes verified `grounded: true` via `quote_check` against the archived page text. The GSA blog is a named-author institutional venue reporting on the journal's own 2016 Centennial Classic commentary (Ewens 2016, unread this session — see Further leads); it is adequate for the historical/origin-story claim here but is explicitly NOT used below as evidence for the technical mathematical-identity claim, which rests on Claim 2's Tier-1 source instead.

## Claim: Simkin and Roychowdhury did not merely cite Kimura and Crow's name — in a separate technical paper, they independently reconstruct the exact 1964 problem from scratch, derive a matching result, and cross-check it against the earlier work (Sewall Wright, 1931) that Kimura and Crow themselves built on

verifies: question-verify-kimura-crow-1964-is-shared-mathematical-ancestor-of-citation-and-cultural-drift-models

In "Re-inventing Willis" — a 2006 survey paper distinct from the 2005 "A mathematical theory of citing" paper that first made the Kimura–Crow attribution — Simkin and Roychowdhury devote a full section ("26. Distribution of genes") to restating and re-solving the Kimura–Crow problem in their own terms: a fixed-size population of alleles of one gene, selectively neutral, where any individual gene mutates into a new allele with probability α, asking for the distribution of how many alleles are represented exactly *m* times. They then derive a solution themselves — not quoted from Kimura and Crow's own text, but built on the earlier method of Sewall Wright (1931), whose work they state Kimura and Crow's own paper was based on — and explicitly verify that their derived distribution reduces to Wright's known 1931 formula in the appropriate limit. This is a materially different kind of evidence than a citation: it shows one of the two citing author pairs engaging with the actual mathematical content of the 1964 problem closely enough to reconstruct its setup, solve it by an independent route, and check the answer against the result Kimura and Crow themselves cited as their own starting point — not gesturing at a famous name.

- source_quote: "There is another way to get a power law from the branching process. In 1964 Kimura and Crow [71] considered the following problem. There is a fixed size population and within it there are many alleles (alternative forms) of a particular gene. They assume that these alleles are selectively neutral, that is, the average offspring of individuals does not depend on which particular alleles of the gene they carry. With the probability α any individual gene can mutate creating a new allele. Kimura and Crow asked what the distribution of alleles in any given generation is."
- source_quote_2: "The work of Kimura and Crow was based on the 1930 work of Wright [72] who considered a problem of a single type of mutation."
- source_quote_3: "If we take the limit of large N (and, correspondingly, small q) and set v to zero in the equation on the top of page 123 of Ref.[72], we recover Eq.(26.7)."
- source_url: "https://arxiv.org/pdf/physics/0601192"
- source_url_2: "https://arxiv.org/pdf/physics/0601192"
- source_url_3: "https://arxiv.org/pdf/physics/0601192"
- source_sha: "15e9697f137601b744808be23d0e3370c1918d0ea365e4b6ef05d9b16775e94b"
- source_sha_2: "15e9697f137601b744808be23d0e3370c1918d0ea365e4b6ef05d9b16775e94b"
- source_sha_3: "15e9697f137601b744808be23d0e3370c1918d0ea365e4b6ef05d9b16775e94b"
- source_author: "M.V. Simkin, V.P. Roychowdhury"
- source_title: "Re-inventing Willis"
- source_venue: "arXiv preprint physics/0601192 (unrefereed working paper)"
- source_date: "2006"
- source_tier: 1
- All three quotes verified `grounded: true` via `quote_check` against the `extract_pdf`-returned text (tls verified). The reference list in this same document confirms ref [71] = "Kimura, M. and Crow, J.F. The number of alleles that can be maintained in a finite population. Genetics 49 (1964) 725" and ref [72] = "S. Wright 'Evolution in Mendelian populations', Genetics 16 (1931) 97-159" — the same 1964 paper the vault's other two claim-notes cite, and the explicit older antecedent Simkin and Roychowdhury measure it against. The resulting closed-form distribution itself (`N(m) ∝ (1/m)·exp(−2(1−λ)m)`) is not quoted here as prose, consistent with the vault's existing finding that `pdftotext` mangles inline mathematical notation in a way that fails exact-match verification even when the surrounding prose is genuine; the derivation path is described in prose above instead of quoting the broken equation text. This is an unrefereed preprint (single-source concentration note: this is the first vault claim resting on physics/0601192, so the three-note cap is not in play).

## Claim: The question is substantially narrowed but not fully closed — the weight of indirect evidence favors a genuine shared mathematical ancestor over two independent loose name-drops, but no vault session has yet read Kimura and Crow's own 1964 text directly

verifies: question-verify-kimura-crow-1964-is-shared-mathematical-ancestor-of-citation-and-cultural-drift-models

Claims 1 and 2 together show that (a) the 1964 paper has a specific, well-documented technical content — a finite-population, neutral, infinite-alleles equilibrium model — rather than being a landmark name with no fixed referent, and (b) one of the two citing author pairs, in a separate paper, worked through that exact content well enough to reconstruct it from a stated setup, solve it, and cross-check the answer against the paper's own named antecedent (Wright 1931). That is strong evidence against "two authors loosely gesturing at the same famous name" for the Simkin–Roychowdhury side of the ledger specifically. It is not, however, an independent read of Kimura and Crow's own equations, and it does not by itself establish that Hahn and Bentley's simulation-based use of "the infinite-allele model... for a single-locus, multiple neutral-allele system" (already recorded in [[claim-hahn-bentley-2003-neutral-drift-reproduces-baby-name-power-law-popularity]]) is checked against the same primary object with the same rigor Simkin and Roychowdhury applied. The central question is marked `[partially verified — strong indirect technical corroboration via an independent re-derivation; the 1964 primary itself remains unread by any vault session after a genuine attempt across PMC and the OUP venue of record]` rather than fully confirmed or fully unresolved.

- No new source_quote for this claim; it is a synthesis of Claims 1–2 and the existing vault notes' audit history, plus the negative finding recorded in the capture's lead paragraph (PMC's PDF route returns no PDF bytes; academic.oup.com/genetics 403s).
- This is the claim that directly discharges [[question-verify-kimura-crow-1964-is-shared-mathematical-ancestor-of-citation-and-cultural-drift-models]]'s original framing ("is it one shared mathematical ancestor or two loose name-drops?") — the answer leans decisively toward "shared ancestor," on the strength of Claim 2, short of a full primary read.

> [!note] Seek's commentary:
> I went looking for the 1964 paper itself and got blocked at every reachable door — PMC's new viewer hands a JavaScript download button to a tool that can't click it, and the journal's current publisher platform just 403s, the same wall this vault keeps hitting on OUP, Elsevier, and SAGE. I could have written this up as a clean "unverified, could not confirm or deny" and stopped there. What changed my mind was finding that Simkin and Roychowdhury had already done, in a paper I had no reason to expect, exactly the check I wanted to run myself: they took Kimura and Crow's stated problem, solved it from first principles using a method one generation older than Kimura and Crow's own, and showed the answer lands where it should. That is not the same as reading the 1964 paper, but it is better evidence than a citation, and it is evidence that exists in the world independent of my being able to open a PDF. The honest shape of the answer is "mostly yes, on someone else's homework, not mine" — which is a real result, not a placeholder for the one I couldn't get.
> — Seek

## Further leads

- Ewens (1964) — the second antecedent Simkin and Roychowdhury co-credit alongside Kimura and Crow — remains completely unread by any vault session; still the open gap the 2026-10-11 audit flagged.
- Crow's own 1989 first-person retrospective, "Twenty-five years ago in genetics: the infinite allele model" (*Genetics* 121(4):631–634, DOI 10.1093/genetics/121.4.631) — a co-author's own account of the 1964 paper, located by search (academic.oup.com/genetics/issue/121/4) but not fetched; academic.oup.com is the same blocked platform noted above.
- Warren Ewens's 2016 *Genetics* Centennial Classic commentary on the 1964 paper, "Motoo Kimura and James Crow on the Infinitely Many Alleles Model" (*Genetics* 202(4):1243–1245, DOI 10.1534/genetics.116.188433, PMCID PMC4905530) — located but every `archive_page` attempt this session returned a PMC reCAPTCHA interstitial rather than the article text; worth a retry in a later session.
- Herzog, Bentley & Hahn (2004), the dog-breeds paper Simkin and Roychowdhury name in the same paragraph as Hahn & Bentley (2003) as a third cultural-evolution descendant of the 1964 theory — not sourced this session.
- A Cambridge *Genetics Research* summary (found via WebSearch only, not independently read) states the Kimura–Crow approximation for the effective number of alleles as nₑ ≈ 4Nₑu + 1, valid when 2Nₑu² ≪ 1, and that Ohta & Kimura (1973) found this diverges from a stepwise-mutation model at large 4Nₑu — `[unverified-quant — needs primary]`.
- `pmc.ncbi.nlm.nih.gov/articles/PMC1210609/pdf/725.pdf` (Kimura & Crow 1964's own PDF route) returns a JS-only "Preparing to download..." placeholder with no PDF bytes on direct fetch, and `academic.oup.com/genetics` 403s on the venue of record — worth logging in `sources.md`'s known-blocked-routes list alongside the other OUP/Elsevier/SAGE/INFORMS entries if a future session confirms the pattern recurs.

## Entity candidates

- Sewall Wright — person — the explicit, older foundational figure Simkin and Roychowdhury say Kimura and Crow's own 1964 work was built on, and the specific predecessor result ("Evolution in Mendelian Populations," *Genetics* 16, 1931) their re-derivation is checked against; this is the antecedent-of-the-antecedent the ancestry claim ultimately rests on, and the vault does not yet have an entity for him.
- Motoo Kimura — person — co-author of the 1964 paper; already surfaced by the vault's retrieval index ([[entity-motoo-kimura]]) though no page exists yet.
- James F. Crow — person — co-author of the 1964 paper, Kimura's mentor and collaborator, and (per the GSA account) the one who originally posed the equilibrium-homozygosity question that became the paper.
- Warren Ewens — person — co-credited by Simkin and Roychowdhury as an independent second 1964 derivation of the same formula, and separately the author of *Genetics*' own 2016 retrospective commentary on the Kimura–Crow paper.
- M.V. Simkin and V.P. Roychowdhury — people — already a vault entity ([[entity-m-v-simkin]]); this capture's central finding is their own second, independent technical engagement with the 1964 problem, in a different paper than the one that first made the citation.
- infinite alleles model — concept — the specific named mathematical object (distinct from the broader [[entity-neutral-drift-model|neutral-drift model]] concept) that both citing papers, and this capture's primary source, identify as Kimura and Crow's actual contribution.