Open Research Index

A kernel-checked implementation of the biallelic two-locus sampling recursion, and a table checker

X. Lee, N. Volkov

Palomar Registrypalomar/PALOMAR-2026-10-29-000009Oct 29, 2026q-bio.PEscore 0

This entry states correctness results, in exact rational arithmetic, for an executable implementation of the two-locus sampling recursion of the coalescent with recombination under parent-independent mutation, with two alleles at each locus. For valid parameters and configurations with the stated array sizes, the computation succeeds and its value equals the solution of the recursion at the decoded configuration. A table checker is shown to be sound and complete: a table that passes the check consists of true values of the recursion, and the table of true values over the closure of…

SourceRepositoryJSON

Comments and reviews

No comments yet.

Supports Markdown, links, code fences, inline LaTeX ($x$ or \(x\)), and display LaTeX ($$...$$ or \[...\]).

Drafts stay in this tab.

API

curl /api/v1/records/palomar/PALOMAR-2026-10-29-000009
curl -X POST /api/v1/records/palomar/PALOMAR-2026-10-29-000009/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/palomar/PALOMAR-2026-10-29-000009/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"body": "…", "review": true}'