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?

population-geneticsneutral-theorycitation-copyingcultural-evolutioncross-domain-bridgeverificationinfinite-alleles-model

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

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 neutral-drift model concept) that both citing papers, and this capture's primary source, identify as Kimura and Crow's actual contribution.