arxiv: 2605.02499 · v1 · submitted 2026-05-04 · 🧮 math.PR · q-bio.PE

Recognition: 3 theorem links

· Lean Theorem

Genealogical structures under interactive neutral reproduction: factorial moment duality via a Frankenstein process

Ellen Baake , Fernando Cordero , Hannah Dopmeyer

Authors on Pith no claims yet

Pith reviewed 2026-05-08 19:06 UTC · model grok-4.3

classification 🧮 math.PR q-bio.PE

keywords Moran modelfactorial moment dualityancestral influence graphFrankenstein processinteractive neutral reproductionWright-Fisher diffusiongenealogical dualitycounting process dual

0 comments

The pith

A Frankenstein process derived from ancestral graphs establishes factorial moment duality for interactive neutral reproduction in Moran models.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper builds a finite-population Moran model in which an individual reproduces only after encountering a fit partner, regardless of its own type. This interactive neutral reproduction produces a natural genealogical structure called the ancestral influence graph, which is hierarchically complex. By systematically stripping information from the graph and merging separate realizations while preserving factorial moments, the authors obtain a simpler counting process they name the Frankenstein process. This construction supplies a genealogical proof of the factorial moment duality that already existed in analytical form, and the duality passes to the diffusion limit in the natural way.

Core claim

We construct a Moran model with interactive neutral reproduction whose factorial moment dual is a simple counting process; although the model's ancestral influence graph is complex, the Frankenstein process obtained by systematic removal of information and merging of realizations yields the required factorial moments and thereby establishes the duality from a genealogical perspective.

What carries the argument

The Frankenstein process: a thinned and merged version of the ancestral influence graph that retains the factorial moments needed for duality while discarding hierarchical detail.

If this is right

The Moran model with interactive neutral reproduction is dual to a counting process whose state tracks the number of potential reproduction events.
The factorial moment duality implies the corresponding moment duality for the Wright-Fisher type SDE obtained in the diffusion limit.
Genealogical information can be discarded in a controlled way without losing the expectations that determine moment duality.
The same thinning-and-merging construction applies to any model whose moment duality is already known analytically but whose natural genealogy is complicated.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The approach shows that moment duality need not require the full genealogical tree, only a process that matches the moments.
Similar Frankenstein reductions could be attempted for other population models whose duals are known but whose ancestry is opaque.
The construction suggests a general principle: when duality holds in expectation, redundant genealogical detail can be erased while the duality survives.

Load-bearing premise

Systematically removing information from the ancestral influence graph and merging realizations preserves the factorial moments required for duality.

What would settle it

A direct simulation comparison in which the expected factorial moments of the original ancestral influence graph differ from those of the Frankenstein process at some positive time would falsify the duality.

Figures

Figures reproduced from arXiv: 2605.02499 by Ellen Baake, Fernando Cordero, Hannah Dopmeyer.

**Figure 1.** Figure 1: An untyped realization of the graphical representation of the Moran model view at source ↗

**Figure 2.** Figure 2: The typed version of the GR in Figure 1, with the unfit type in view at source ↗

**Figure 3.** Figure 3: Notation and roles of lines in the different events. Dotted lines indicate lines view at source ↗

**Figure 4.** Figure 4: Different AIG cutouts that may arise from a ternary (4a), pairwise (4b, 4c) or view at source ↗

**Figure 5.** Figure 5: The AIG induced by the untyped graphical representation from Figure 1 for a view at source ↗

**Figure 6.** Figure 6: Visualization of Eq. (3.3), with T ∈ {R, B, ∗}. Panel (d) summarizes (a)–(c). Non-interactive neutral events (see view at source ↗

**Figure 7.** Figure 7: Backward type propagation for mutation events. Deleterious mutations are view at source ↗

**Figure 8.** Figure 8: Backward type propagation for an s˜5 branching event. For the purpose of illustration, the continuing line is always displayed at the top, followed by the set B0 of incoming lines from the set I and the set B1 of incoming lines from [N] \ I. An unfit descendant corresponds to all incoming lines being unfit (left) and a fit descendant requires at least one fit potential parent, either the continuing line it… view at source ↗

**Figure 9.** Figure 9: Backward type propagation for the cylinder view at source ↗

**Figure 10.** Figure 10: Backward type propagation for the cylinders view at source ↗

**Figure 11.** Figure 11: Examples illustrating (3.9) (left), (3.10) (middle), and (3.11) (right) for Rcylinders with Cα = R (top) and Cα = ∗ (bottom). Lines that may or may not belong to the sample I on the right are dotted; their types are set to ∗ when they do not belong to CI . Note that, for R-cylinders, C ∗ β ∈ {R, ∗}, and we read from left to right. have ∼ C 1 I˜ ∪ ∼ C 2 I˜ = C ∗ I˜ (3.12) and therefore could identify Iα,β… view at source ↗

**Figure 12.** Figure 12: Transforming the configuration process into the Frankenstein process. view at source ↗

**Figure 13.** Figure 13: Construction of the messy process for two interactive branching events view at source ↗

read the original abstract

We establish a genealogical framework for an existing analytical moment duality between a Wright--Fisher type SDE and a counting process with interaction. To achieve this, we construct a finite-population Moran model featuring interactive neutral reproduction as a novel mechanism. In the corresponding events, an individual, regardless of its own type, can only reproduce if a randomly encountered partner is of the ``fit'' type. This Moran model has a relatively simple counting process as its factorial moment dual, whose genealogical meaning appears to be cryptic: after all, the line-counting process of the natural genealogical process of the model, namely the ancestral influence graph (AIG), exhibits a complex hierarchical structure not reflected in the factorial moment dual. Since moment duality is a property in expectation, we are allowed to systematically remove information from the AIG and merge different realizations of the ancestry. We call the result the \emph{Frankenstein process}. Based on this, we establish the factorial moment duality from a genealogical perspective. The moment duality in the diffusion limit follows in a natural way.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

This paper gives a genealogical construction for factorial moment duality in a Moran model with interactive reproduction by simplifying the ancestral graph into a Frankenstein process.

read the letter

This paper shows how to get factorial moment duality for interactive neutral reproduction by building a Frankenstein process out of the ancestral influence graph in a new Moran model. The authors define a finite-population model where reproduction requires a fit partner, independent of the reproducer's type. The full ancestral influence graph is hierarchical and complex, but they strip away detail and merge realizations to produce a simpler counting process that serves as the dual. Because the duality only needs to hold in expectation, this information reduction works as long as the relevant marginals are preserved. They use this to establish the duality at finite population size, after which the diffusion limit follows by standard scaling. What stands out is the explicit genealogical route. It turns the duality into something you can see in the ancestry rather than just compute from the generator. The construction looks deliberate, and the stress-test confirms that the type-counting statistics line up, so the central step is on solid ground. The main soft spot is the reliance on careful bookkeeping for the merging step. The abstract describes it at a high level, so the paper needs to show exactly how the realizations are combined without breaking the moment equality. If that part is written out with clear definitions and checks, the argument holds; otherwise it could read as a bit opaque. The model is new, but the overall framework stays within existing duality techniques. This is aimed at specialists in mathematical population genetics who work with dualities and genealogies. It is original in its construction and the logic is consistent, so it deserves a serious referee who can check the details of the Frankenstein process.

Referee Report

0 major / 2 minor

Summary. The manuscript constructs a finite-population Moran model with interactive neutral reproduction (an individual reproduces only upon encountering a fit-type partner) and introduces the Frankenstein process, obtained by systematically stripping hierarchical detail from the ancestral influence graph and merging realizations. This construction is used to establish a factorial moment duality between the model and a simpler counting process; the duality for the corresponding Wright-Fisher diffusion then follows by standard scaling.

Significance. If the bookkeeping that preserves factorial moments under information reduction is rigorous, the work supplies a genealogical interpretation of an existing moment duality for an interacting neutral model. Such interpretations can facilitate the derivation of further dualities and the analysis of genealogical properties in population-genetic diffusions.

minor comments (2)

The definition of the Frankenstein process (likely in the section introducing the ancestral influence graph) would benefit from an explicit statement of the sigma-algebra or filtration on which the line-counting process is defined after merging, to make the preservation of marginal type-counting statistics fully transparent.
A short table or diagram comparing the event rates of the original AIG, the Frankenstein process, and the dual counting process would clarify the information-reduction step for readers.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive summary of our manuscript, the recognition of its potential significance for deriving further dualities, and the recommendation of minor revision. The major comments section of the report is empty, so there are no specific points requiring point-by-point rebuttal or revision.

Circularity Check

0 steps flagged

No significant circularity in the genealogical construction

full rationale

The paper constructs an explicit Moran model with interactive neutral reproduction, defines the ancestral influence graph (AIG), and then obtains the Frankenstein process by systematically removing hierarchical information and merging realizations while preserving the marginal type-counting statistics required for factorial moments. Because the target duality is an equality of expectations, this information reduction is formally justified by the preservation property and does not reduce the claimed duality to a self-definition or a fitted input. The diffusion-limit duality follows by standard scaling once the finite-population case is established. No load-bearing self-citation, uniqueness theorem imported from prior work, or ansatz smuggling is invoked in the derivation chain; the argument is self-contained against the model definition.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 1 invented entities

The central claim rests on the domain assumption that neutral reproduction with interaction can be modeled by a Moran process whose moments are preserved under information loss in the ancestry graph.

axioms (2)

domain assumption Neutral reproduction occurs only upon encounter with a fit partner
This is the novel interactive mechanism introduced in the model definition.
ad hoc to paper Factorial moments are preserved when information is removed from the ancestral influence graph
This is the key step that justifies the Frankenstein process as the dual.

invented entities (1)

Frankenstein process no independent evidence
purpose: Simplified counting process obtained by merging realizations of the ancestral influence graph
Newly defined object that carries the factorial moments while discarding hierarchical structure.

pith-pipeline@v0.9.0 · 5488 in / 1234 out tokens · 60587 ms · 2026-05-08T19:06:19.448348+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

36 extracted references · 1 canonical work pages

[1]

and Dopmeyer, H.: A two-size Wright–Fisher Model: asymptotic analysis via uniform renewal theory.Stochastic Process

Alsmeyer, G., Cordero, F . and Dopmeyer, H.: A two-size Wright–Fisher Model: asymptotic analysis via uniform renewal theory.Stochastic Process. Appl.192(2026), 104812

2026
[2]

and Hummel, S.: A probabilistic view on the deterministic mutation- selection equation: dynamics, equilibria, and ancestry via individual lines of descent.J

Baake, E., Cordero, F . and Hummel, S.: A probabilistic view on the deterministic mutation- selection equation: dynamics, equilibria, and ancestry via individual lines of descent.J. Math Biol.77(2018), 60–75

2018
[3]

and Hummel, S.: Lines of descent in the deterministic muta- tion–selection model with pairwise interaction.Ann

Baake, E., Cordero, F . and Hummel, S.: Lines of descent in the deterministic muta- tion–selection model with pairwise interaction.Ann. Appl. Probab.32(2022), 2400–2447

2022
[4]

and Hummel, S.: Lines of descent in a Moran model with frequency- dependent selection and mutation.Stoch

Baake, E., Esercito, L. and Hummel, S.: Lines of descent in a Moran model with frequency- dependent selection and mutation.Stoch. Process. their Appl.160(2023), 409–457

2023
[5]

and Wakolbinger, A.: The common ancestor type distribution of a Λ–Wright–Fisher process with selection and mutation.Electron

Baake, E., Lenz, U. and Wakolbinger, A.: The common ancestor type distribution of a Λ–Wright–Fisher process with selection and mutation.Electron. Commun. Probab.21(2016), paper no. 59, 16 pp

2016
[6]

and Wakolbinger, A.: Lines of descent under selection.J

Baake, E. and Wakolbinger, A.: Lines of descent under selection.J. Stat. Phys.172(2018), 156–174. Page 42/44 Genealogical structures under interactive neutral reproduction

2018
[7]

and González Casanova, A

Boenkost, F . and González Casanova, A. and Pokalyuk, C. and Wakolbinger, A.: Haldane’s formula in Cannings models: the case of moderately weak selection.Electron. J. Probab.26 (2021) 1–36

2021
[8]

Haploid models.Adv

Cannings, C.: The latent roots of certain Markov chains arising in genetics: a new approach, i. Haploid models.Adv. Appl. Probab6(1974) 260-290

1974
[9]

Cordero, F .: Common ancestor type distribution: A Moran model and its deterministic limit. Stoch. Process. their Appl.127(2017), 590-621

2017
[10]

and Möhle, M.: On the stationary distribution of the block-counting process for population models with mutation and selection.J

Cordero, F . and Möhle, M.: On the stationary distribution of the block-counting process for population models with mutation and selection.J. Math. Anal. Appl.474(2019) 1049–1081

2019
[11]

and Vechambre, G.: Moran models and Wright–Fisher diffusions with selection and mutation in a one-sided random environment.Adv

Cordero, F . and Vechambre, G.: Moran models and Wright–Fisher diffusions with selection and mutation in a one-sided random environment.Adv. in Appl. Probab.55(2023), 701–767

2023
[12]

and Schertzer, E.: General selection models: Bernstein duality and minimal ancestral structures.Ann

Cordero, F ., Hummel, S. and Schertzer, E.: General selection models: Bernstein duality and minimal ancestral structures.Ann. Appl. Probab.32(2022), 1499–1556

2022
[13]

and Véchambre, G.: Bernstein duality revisited: Frequency- dependent selection, coordinated mutation and opposing environments.Bernoulli32(2026), 874–900

Cordero, F ., Hummel, S. and Véchambre, G.: Bernstein duality revisited: Frequency- dependent selection, coordinated mutation and opposing environments.Bernoulli32(2026), 874–900

2026
[14]

and Kern, J.: Multi-type logistic branching processes with selection: frequency process and genealogy for large carrying capacities.arXiv e-prints(2025)

Dai Pra, M. and Kern, J.: Multi-type logistic branching processes with selection: frequency process and genealogy for large carrying capacities.arXiv e-prints(2025). arXiv:2507.12601

work page arXiv 2025
[15]

and Kurtz, T

Donnelly, P . and Kurtz, T. G.: Genealogical processes for Fleming–Viot models with selection and recombination.Ann. Appl. Probab.9(1999), 1091–1148

1999
[16]

and Kurtz, T

Donnelly, P . and Kurtz, T. G.: Particle representations for measure-valued population models. Ann. Appl. Probab.27(1999), 166–205

1999
[17]

Ethier, S. N. and Kurtz, T. G.:Markov Processes: Characterization and Convergence. Wiley, New York, 1986

1986
[18]

H.: Natural selection for within-generation variance in offspring number.Genetics 76(1974), 601–606

Gillespie, J. H.: Natural selection for within-generation variance in offspring number.Genetics 76(1974), 601–606

1974
[19]

Gladstien, K.: Haploid populations subject to varying environment: the characteristic values and the rate of loss of alleles.SIAM J. Appl. Math.32(1977) 778–783

1977
[20]

Gladstien, K.: Subdivided populations subject to varying environment: the characteristic values and the rate of loss of alleles.J. Appl. Probab.14(1977) 241–248

1977
[21]

Gladstien, K.: The characteristic values and vectors for a class of stochastic matrices arising in genetics.SIAM J. Appl. Math.14(1978) 630–642

1978
[22]

and Pardo, J

González Casanova, A., Miró Pina, V . and Pardo, J. C.: The Wright–Fisher model with efficiency. Theor. Popul. Biol.132(2020), 33–46

2020
[23]

González Casanova, A., Pardo, J. C. and Pérez, J. L.: Branching processes with interactions: subcritical cooperative regime.Adv. in Appl. Probab.53(2021), 251–278

2021
[24]

and Spanò, D.: Duality and fixation in Ξ–Wright–Fisher processes with frequency-dependent selection.Ann

González Casanova, A. and Spanò, D.: Duality and fixation in Ξ–Wright–Fisher processes with frequency-dependent selection.Ann. Appl. Probab.28(2018), 250–284

2018
[25]

and Pfaffelhuber, P

Greven, A. and Pfaffelhuber, P . and Pokalyuk, C. and Wakolbinger, A.: The fixation time of a strongly beneficial allele in a structured population.Electron. J. Probab.87(2016), 1–42

2016
[26]

E.: Additive set-valued Markov processes and graphical methods.Ann

Harris, T. E.: Additive set-valued Markov processes and graphical methods.Ann. Probab.6 (1978), 355–378

1978
[27]

and Kurt, N.: On the notion(s) of duality for Markov processes.Probab

Jansen, S. and Kurt, N.: On the notion(s) of duality for Markov processes.Probab. Surveys 11(2014), 59–120

2014
[28]

Kingman, J. F . C.: The coalescent.Stoch. Proc. Appl.13(1982), 235–248

1982
[29]

Kingman, J. F . C.: On the genealogy of large populations.J. Appl. Prob.19A(1982), 27–43

1982
[30]

Krone, S. M. and Neuhauser, C.: Ancestral processes with selection.Theor. Popul. Biol.51 (1997), 210–237

1997
[31]

Neuhauser, C.: The ancestral graph and gene genealogy under frequency-dependent selection. Theor. Popul. Biol.56(1999), 203–214. Page 43/44 Genealogical structures under interactive neutral reproduction

1999
[32]

and Wakolbinger, A.: Looking down in the ancestral selection graph: A probabilistic approach to the common ancestor type distribution.Theor

Lenz, U., Kluth, S., Baake, E. and Wakolbinger, A.: Looking down in the ancestral selection graph: A probabilistic approach to the common ancestor type distribution.Theor. Popul. Biol. 103(2015), 27–37

2015
[33]

M.:Continuous Time Markov Processes: An Introduction

Liggett, T. M.:Continuous Time Markov Processes: An Introduction. American Math. Soc., Providence, RI, 2010

2010
[34]

Möhle, M.: The concept of duality and applications to Markov processes arising in neutral population genetics models.Bernoulli5(1999) 761–777

1999
[35]

and Pokalyuk, C.: The ancestral selection graph under strong directional selection.Theor

Pfaffelhuber, P . and Pokalyuk, C.: The ancestral selection graph under strong directional selection.Theor. Popul. Biol.87(2013), 25–33

2013
[36]

Shiga and K

T. Shiga and K. Uchiyama, K. (1986). Stationary states and their stability of the stepping stone model involving mutation and selection.Prob. Theory Relat. Fields73, 87–117. Acknowledgments.All authors gratefully acknowledge financial support by the German Research Foundation (DFG) – Project-ID 317210226 – SFB 1283. Page 44/44

1986