{"id":"2bbc28b8-8543-473c-a10c-5de44759da35","arxiv_id":"2607.12864","paper_version":1,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"In a deterministic reaction-diffusion model of spatial Muller's ratchet, deleterious mutations cannot gene-surf; they only appear at the front as recent wild-type descendants.","lead":"A mathematical analysis of deterministic spatial population waves shows that harmful mutations cannot “surf” the expanding front the way neutral ones can. They appear at the front only as recent offspring of mutation-free individuals, not as lineages that ride the wave.","discovery_kind":"extension","skeptic_critique":{"model":"grok-4.5","headline":"No significant objection identified beyond the abstract-only limitation already flagged by the Reader.","rationale":"The Reader's weakest_assumption is precisely the modelling-scope question that any careful reader would raise: the negative result is proved inside a deterministic continuum limit, so it does not automatically transfer to finite-population stochastic surfing. That is a legitimate boundary condition on the claim, not a flaw in the argument as stated. Because the full text is unavailable, no equation-level gap, missing hypothesis, or incorrect speed formula can be verified or refuted. Consequently the honest stress-test outcome is that no additional load-bearing concern can be identified, the Reader's UNVERDICTED verdict stands, and the single useful next check is simply to examine the tracer-dynamics section once the paper is accessible.","tokens_in":2001,"tokens_out":443,"duration_ms":3675,"concrete_test":"Obtain the full text and independently re-derive the tracer-dynamics argument that converts the density-ratio bounds into the statement that front individuals carrying k mutations are recent wild-type descendants; if that implication fails under the stated Fisher-KPP condition, the negative surfing claim does not hold inside the model.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The Reader correctly isolates the central negative claim (deleterious mutations cannot surf deterministic waves and appear at the front only as recent wild-type descendants) and the natural modelling caveat (whether the infinite deterministic PDE system is the right continuum limit for deciding surfing). From the abstract alone there is no further internal inconsistency, hidden assumption, or circularity that can be substantiated. The paper states it works inside the monostable/Fisher-KPP regime of a well-posed infinite reaction-diffusion system, derives density-ratio bounds, recovers a previously non-rigorous invasion speed, and concludes via tracer dynamics. All of those steps are claimed but cannot be audited without the full text; that is already reflected in the UNVERDICTED / LOW-confidence verdict. Manufacturing an additional technical objection would violate the good-faith rule.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.5","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.","tokens_in":2103,"tokens_out":643,"duration_ms":13762,"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":[{"comment":"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.","section":null},{"comment":"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.","section":null}],"minor_comments":[],"recommendation":"uncertain","confidential_remarks":"This is an abstract-only review (full text not supplied). The abstract is well-written and the claimed results are of the right shape for a rigorous math.AP / mathematical-biology paper. I see no internal circularity or ad-hoc fitting from the abstract alone. Once the full manuscript is available, a standard major/minor revision cycle should be feasible; the modelling caveat (deterministic continuum vs. stochastic surfing) is a scope issue, not a correctness defect, and need not block acceptance if the PDE analysis is sound."},"author_rebuttal":null,"desk_editor":{"model":"grok-4.5","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.\n\nWhat 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.\n\nThe 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.\n\nThis 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.","headline":"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.","tokens_in":2781,"tokens_out":522,"would_cite":false,"duration_ms":4796,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["35K57","92D25","35B40"],"pacs":[],"model":"grok-4.5","headline":"Deleterious mutations cannot surf deterministic range-expansion waves; they appear at the front only as recent wild-type descendants.","keywords":["gene surfing","Muller's ratchet","reaction-diffusion equations","range expansion","deleterious mutations","Fisher-KPP","tracer dynamics","spatial population genetics"],"falsifier":"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.","tokens_in":2826,"feed_emoji":"🌊","tokens_out":528,"duration_ms":4596,"temperature":0.7,"pith_summary":"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.","feed_headline":"Deleterious mutations cannot surf deterministic waves","feed_subtitle":"They reach the front only as recent wild-type descendants, not as long-lived hitchhikers.","key_machinery":"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.","core_discovery":"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.","pith_inferences":[],"forward_implications":[],"fun_headline_variants":["Deleterious mutants reach fronts only as recent wild-type descendants","Deterministic waves stop deleterious mutations from surfing","No long-lived hitchhiking: deleterious alleles cannot surf waves","Spatial Muller's ratchet: mutants appear at fronts yet never ride them","Tracer dynamics show deleterious mutations fail to surf deterministic fronts"],"cache_read_input_tokens":2304,"weakest_assumption_plain":"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.","fun_headline_variants_meta":{"raw":{"variants":["Deleterious mutants reach fronts only as recent wild-type descendants","Deterministic waves stop deleterious mutations from surfing","No long-lived hitchhiking: deleterious alleles cannot surf waves","Spatial Muller's ratchet: mutants appear at fronts yet never ride them","Tracer dynamics show deleterious mutations fail to surf deterministic fronts"]},"model":"grok-4.5","effort":"low","cost_usd":0.00471,"raw_usage":{"total_tokens":1261,"prompt_tokens":714,"num_sources_used":0,"completion_tokens":85,"cost_in_usd_ticks":47100000,"prompt_tokens_details":{"text_tokens":714,"audio_tokens":0,"image_tokens":0,"cached_tokens":0},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":462,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":714,"tokens_out":85,"duration_ms":4331,"temperature":1.0,"reasoning_tokens":462,"cache_read_input_tokens":0,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-07-15T02:45:56.113909+00:00","model_set":{"reader":"grok-4.5"},"falsifier":"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.","supporting_citations":[],"review_version":1}