Can deleterious mutations surf deterministic population waves?

Joao Luiz de Oliveira Madeira; Marcel Ortgiese; Sarah Penington

Deleterious mutations cannot surf deterministic range-expansion waves; they appear at the front only as recent wild-type descendants.

Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

T0 review · grok-4.5

2026-07-15 02:45 UTC pith:IF3JPVLY

load-bearing objection Clean negative result on deleterious gene surfing in the deterministic spatial Muller's ratchet, plus well-posedness and a confirmed invasion speed; abstract-only so proofs are unchecked. the 2 major comments →

arxiv 2607.12864 v1 pith:IF3JPVLY submitted 2026-07-14 math.AP math.PRq-bio.PE

Can deleterious mutations surf deterministic population waves?

Joao Luiz de Oliveira Madeira , Marcel Ortgiese , Sarah Penington This is my paper

classification math.AP math.PRq-bio.PE MSC 35K5792D2535B40

keywords gene surfingMuller's ratchetreaction-diffusion equationsrange expansiondeleterious mutationsFisher-KPPtracer dynamicsspatial population genetics

verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

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

The paper studies whether harmful mutations can hitch a ride on the front of a population expanding into empty space, a process called gene surfing that is known for neutral mutations. It models an asexual population with mutation, migration, and density-dependent birth and death as an infinite system of reaction-diffusion equations (a deterministic spatial Muller's ratchet). After proving the system is well-posed, the authors bound how many individuals can carry k mutations relative to the mutation-free class, find the front speed under a Fisher-KPP condition, and use a tracer-dynamics argument to show that any deleterious individuals at the front are recent offspring of the wild type rather than long-term surfers. A sympathetic reader cares because this settles, in the continuum deterministic limit, whether the ratchet and surfing can combine to fix load at the expanding edge; the answer is no, so load at the front remains recent and local.

Core claim

In the deterministic infinite system of reaction-diffusion equations for a spatial Muller's ratchet, deleterious mutants are present at the expansion front yet cannot surf: every individual carrying mutations that reaches the front is a recent descendant of the mutation-free class, not a lineage that has ridden the wave for long.

What carries the argument

Tracer dynamics: a bookkeeping of lineages that tracks how mutant densities at the front arise only by recent mutation from the wild-type density, rather than by long-term survival of mutant lineages on the advancing front.

Load-bearing premise

The claim is decided entirely inside an infinite deterministic continuum of reaction-diffusion equations; if real surfing needs finite-population noise or discreteness, the negative answer need not transfer.

What would settle it

Find a numerical or analytic solution of the infinite PDE system in which a positive-density mutant class persists at the front for arbitrarily long times without continuous replenishment by mutation from the wild type.

Watch this falsifier — get emailed when new claim-graph text bears on it.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

Desk Editor's Note

Clean negative result on deleterious gene surfing in the deterministic spatial Muller's ratchet, plus well-posedness and a confirmed invasion speed; abstract-only so proofs are unchecked.

read the letter

The one thing to know: this paper gives a rigorous negative answer inside the standard deterministic continuum model—deleterious mutations do not gene-surf deterministic waves; they show up at the front only as recent wild-type descendants. That is the load-bearing claim, via a tracer-dynamics argument, and it sits on top of three supporting pieces that look solid from the abstract: well-posedness of the infinite reaction-diffusion system, quantitative mutant-to-wild-type density-ratio bounds in the monostable regime, and a rigorous recovery of the Foutel-Rodier–Etheridge spreading speed under Fisher–KPP.

What is new is exactly that package. Prior work had non-rigorous speed computations and left the surfing question open for deleterious alleles; here they close it for the infinite deterministic PDE system that is the usual continuum limit of spatial Muller's ratchet. The structure is the right one for a math.AP / q-bio.PE paper: well-posedness first, then density bounds, then speed, then the tracer argument that delivers the no-surfing conclusion. Circularity looks low; they are analysing a stated system against external benchmarks rather than fitting parameters to force the result.

The soft spot is the one the reader already flagged and the stress-test correctly refuses to invent past: we only have the abstract. Proofs, error estimates, and the precise tracer construction cannot be audited. That caps confidence, not the shape of the claims. The modelling caveat is also real and proportionate: if demographic stochasticity or finite-population discreteness is essential to surfing, the negative result does not transfer. The paper is honest about working inside the monostable/Fisher-KPP deterministic setting; it does not claim more.

This is for people who work on spatial evolutionary dynamics, gene surfing, or infinite systems of reaction-diffusion equations. A serious referee should see it. I would bring it to reading group once the full text is available, and I would cite the speed confirmation and the no-surfing theorem if the proofs check out. Send it to peer review.

Referee Report

2 major / 0 minor

Summary. The manuscript studies a deterministic spatial Muller's ratchet, formulated as an infinite system of reaction-diffusion equations for an asexual population subject to mutation, migration, and density-dependent reproduction and death. It claims: (i) well-posedness of the infinite PDE system; (ii) quantitative bounds, in the monostable regime, on the ratio of the density of individuals carrying a given number of deleterious mutations to the density of mutation-free individuals; (iii) under a Fisher–KPP condition, identification of the spreading speed of the population into empty habitat, confirming non-rigorous computations of Foutel-Rodier and Etheridge; and (iv) via a tracer-dynamics argument, that deleterious mutations cannot surf deterministic waves—although present at the expansion front, they arise only as recent descendants of the wild type.

Significance. If the claimed theorems hold, the paper supplies a rigorous continuum foundation for the spatial Muller's ratchet and a sharp negative answer to the surfing question inside the deterministic monostable/Fisher–KPP setting. Recovering the invasion speed rigorously and establishing density-ratio bounds for an infinite reaction-diffusion system are non-trivial contributions to mathematical biology and PDE theory. The tracer-dynamics no-surfing conclusion is a clear, falsifiable statement relative to the model class studied. The natural modelling caveat—that demographic stochasticity or finite-population effects might restore surfing outside this continuum limit—is acknowledged by the paper's own framing as a deterministic analysis and does not diminish the internal mathematical interest of the results.

major comments (2)

Only the abstract is available for this review. The central claims (well-posedness of the infinite system, density-ratio bounds in the monostable regime, the Fisher–KPP spreading speed, and the tracer-dynamics no-surfing conclusion) are load-bearing and cannot be audited without the full proofs, error estimates, and precise construction of the tracer dynamics. A definitive recommendation requires the complete manuscript.
Abstract, final claim: the assertion that deleterious mutations 'only arise as recent descendants of the wild type' is the paper's strongest biological conclusion. Its validity hinges on the tracer-dynamics construction and on the density-ratio bounds. Without access to those arguments, it is impossible to confirm that the no-surfing statement is free of hidden regularity or comparison-principle gaps that sometimes appear in infinite reaction-diffusion systems.

Circularity Check

0 steps flagged

No significant circularity: abstract describes a self-contained well-posedness and analysis of a stated infinite reaction-diffusion system, with external speed confirmation and a tracer-dynamics conclusion.

full rationale

Only the abstract is available. It states a deterministic infinite system of reaction-diffusion equations (mutation, migration, density-dependent birth/death) as the object of study, claims well-posedness, derives quantitative density-ratio bounds in the monostable regime, recovers a spreading speed under a Fisher-KPP condition that confirms prior non-rigorous computations of Foutel-Rodier and Etheridge, and concludes via tracer dynamics that deleterious mutations appear at the front only as recent wild-type descendants. None of these steps, as stated, reduce by construction to a fitted parameter, a self-definition of the target quantity, a load-bearing self-citation uniqueness theorem, or a renamed known empirical pattern. Confirming an external non-rigorous speed computation is independent support, not circularity. Modeling choices (deterministic continuum limit) are domain setup, not a circular derivation. Per the hard rules, with no quotable reduction of a claimed prediction to its inputs, the honest finding is score 0 and empty steps.

Axiom & Free-Parameter Ledger

0 free parameters · 4 axioms · 0 invented entities

Abstract-only: free parameters are not visible; the claim rests on standard continuum population-genetics modeling choices and classical PDE regimes (monostable, Fisher–KPP) rather than fitted constants or new physical entities. Axioms listed are those the abstract explicitly invokes as the setting of the theorems.

axioms (4)

domain assumption The spatial Muller's ratchet is adequately described by an infinite system of reaction-diffusion PDEs with mutation, migration, and density-dependent reproduction and death.
Stated as the object of study in the abstract; the no-surfing conclusion is internal to this continuum model.
domain assumption Monostable regime for the density-ratio bounds.
Abstract restricts quantitative bounds to the monostable regime.
domain assumption Fisher–KPP condition for the invasion-speed result.
Abstract states the spreading speed is determined under a Fisher–KPP condition.
standard math Standard well-posedness theory for reaction-diffusion systems can be extended to this infinite system.
Abstract claims the system is well-posed; the underlying functional-analytic toolkit is classical PDE theory.

pith-pipeline@v1.1.0-grok45 · 6092 in / 2331 out tokens · 25717 ms · 2026-07-15T02:45:56.113909+00:00 · methodology

0 comments

read the original abstract

In spatially structured populations, rare neutral mutations can spread through large regions during a range expansion, a phenomenon known as gene surfing. Whether deleterious mutations can also surf remains poorly understood. To address this question, we study a deterministic version of the spatial Muller's ratchet, given by an infinite system of reaction-diffusion equations describing an asexual population subject to mutation, migration, and density-dependent reproduction and death. After establishing that the system of PDEs is well-posed, we analyse the distribution of deleterious mutations within the population. In the monostable regime, we derive quantitative bounds on the ratio between the density of individuals carrying a given number of mutations and the density of mutation-free individuals. Under a Fisher-KPP condition, we further determine the spreading speed of the population into an empty habitat, confirming non-rigorous computations of Foutel-Rodier and Etheridge. Finally, using a tracer dynamics approach, we show that deleterious mutations cannot surf deterministic waves: although they are present at the expansion front, they only arise as recent descendants of the wild type.

Can deleterious mutations surf deterministic population waves?

Core claim

What carries the argument

Load-bearing premise

What would settle it

discussion (0)