{"id":"088f340b-a2f5-4d0b-9d8b-5b09a5969e3a","arxiv_id":"2411.11601","paper_version":6,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"For a run-and-tumble particle on a half-line with a periodic, subcritical force, the paper derives the exit probability and conditional mean first-passage time to the origin, with an integral criterion J(a)≤0 for almost-sure exit.","lead":"This paper derives exact formulas for the probability that a run-and-tumble particle reaches an absorbing origin and for its average hitting time, when the particle moves in a periodic force field. The results generalize earlier constant-drift solutions and identify a simple integral condition on the force that decides whether escape is certain.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The proof of Proposition 1 is invalid as written: the Markov-chain transition probabilities are inconsistent with [29] and the ergodic inference does not establish a positive survival probability; the appended remark supplies a sounder derivation, so the dichotomy likely stands but the proof must…","rationale":"The reader's weakest_assumption concerns the accessibility conditions (i) and (ii), which are indeed a stated limitation but are explicitly assumed and necessary; they do not threaten the internal validity of the argument. The more load-bearing issue is the proof of Proposition 1, which the reader mentioned only briefly ('transition matrix whose A is written as an integral of Ξ_-, inconsistent with the segment exit probability quoted from [29]') but did not identify as the central risk. The proposed test directly checks whether the corrected Markov-chain calculation supports the dichotomy; the Remark's independent derivation is likely sufficient, which is why the verdict stays CONDITIONAL rather than moving to REJECT. The recommendation aligns with the reader's CONDITIONAL verdict, hence UNCHANGED. No code or simulation parameters are provided in the paper, so a numerical reproduction of the exit probability would be an additional worthwhile check, but the analytical repair of Proposition 1 is the priority.","tokens_in":37218,"tokens_out":24839,"duration_ms":228733,"concrete_test":"Independently recompute the transition probabilities p_{i,j} for the embedded Markov chain from the segment hitting formulas of [29] (using the correct boundary limits, including p_{-1,1} as the limit x→a^- of the right-exit probability), for the alternating-drift field of Section 6 with μ=1/2, a=1, ε=0.25 (so J(a)>0). Verify that the stationary drift π_1-π_2 is positive and that the probability of staying positive from X_1=1, computed by solving the gambler's-ruin equation for this two-state chain, equals the value implied by Eq. (54). If the corrected chain yields π_1≤π_2 or a zero survival probability, the dichotomy fails.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central 'if and only if J(a)≤0' claim depends on Proposition 1, which selects the negative root for e(0) when J(a)>0 by asserting that the particle has positive probability of staying forever in the positive half-line. The proof as written has two defects. First, the transition probabilities in Eq. (58) do not follow from [29]: with A defined as 2∫_0^a Ξ_-(x)dx, the value p_{1,1}=2/(A+e^{-J(a)}+1) contradicts the segment exit probability E_a(0,+)=2/(2Ξ_-(a)+e^{-J(a)}+1) quoted from [29]; even setting A=2Ξ_-(a), the expression p_{-1,1}=(A-e^{-J(a)}+1)/Z disagrees with the limit x→a^- of Eq. (59), as a constant-drift test case shows (0.807 vs. 0.538). Second, the argument that S_k=0 finitely often almost surely (from the ergodic theorem) implies P(S_k>0 for all k)>0 is a non-sequitur; positive drift of the empirical average does not by itself give a positive probability of avoiding level 0 forever. The Remark after Proposition 1 derives e(0) directly from the large-b limit of the segment exit probability and appears to yield Eq. (54) correctly. However, the main text does not designate this remark as the proof, and the flawed Markov-chain construction remains the only presented justification for the dichotomy's 'only if' direction. This is a genuine correctness risk in the derived central condition, even though the final formula is likely correct.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies a one-dimensional run-and-tumble particle on the positive half-line with an absorbing target at the origin and a spatially periodic force field, in units where the tumbling rate and self-propulsion speed are one. The central results are an integral criterion J(a)≤0 for almost-sure exit, closed-form expressions for the exit probability E(x,±) in both regimes (Eqs. 20-21), and affine-in-N formulas for the conditional mean first-passage time (Eqs. 22-23). The dichotomous behavior is traced to the sign of the active external potential difference J(a)=W(0)-W(a). As an application, the authors treat a piecewise-constant force alternating between opposite drifts and show that in the short-period limit the conditional mean first-return time matches that of an effective constant drift. The derivations are based on the backward Fokker-Planck equation, boundary conditions obtained from renewal arguments, and a Markov-chain construction in Proposition 1; consistency with the constant-drift results of [36] is checked in Appendix D, and the alternating-drift results are compared with numerical simulations.","tokens_in":37552,"tokens_out":7555,"duration_ms":77868,"significance":"If the results are correct, they constitute a significant exact generalization of the constant-drift first-passage theory for run-and-tumble particles to arbitrary periodic forces, and they identify the active external potential of [35] as the quantity that controls the almost-sure-exit dichotomy. The paper is strong in several respects: it derives the main formulas from first principles rather than heuristics, it includes explicit consistency checks against the known constant-drift limits in Appendix D, it provides numerical simulations for the alternating-drift example, and it carefully introduces accessibility conditions (i) and (ii) with a concrete counterexample showing that |F|<1 alone is insufficient. The renewal argument in Section 5 for the affine spatial dependence is elegant and reduces the problem to one period interval. A notable internal strength is the Remark after Proposition 1, which contains a correct-looking alternative derivation of e(0) via the large-b limit of the segment exit probability; this remark provides a route to repair the flawed Markov-chain proof in the main text.","major_comments":[{"comment":"The transition probabilities p_{i,j} stated in Eq. (58) do not follow from the segment exit formula of [29] that the proof invokes. With A defined as 2∫_0^a Ξ_-(x)dx, the expression p_{1,1}=2/(A+e^{-J(a)}+1) contradicts Eq. (59), which gives E_a(0,+)=2/(2Ξ_-(a)+e^{-J(a)}+1); replacing A by 2Ξ_-(a) would be consistent with the cited formula, but then the stated p_{-1,1} still appears incompatible with the x→a^- limit of Eq. (59). Because this transition matrix is the basis for selecting the negative root e(0) in Proposition 1, the proof as written does not establish the dichotomy. The Remark following Proposition 1 gives a different derivation of e(0) by taking b→∞ in Eq. (59) and yields Eq. (54); that argument appears sound and should be promoted to the main proof, with the Markov-chain calculation either corrected or removed.","section":"§3.2, Eq. (58)"},{"comment":"The inference 'the ergodic theorem gives π1−π2>0, therefore S_k=0 can occur only finitely often, hence P(S_k>0 for all k)>0' is a non-sequitur. A stochastic process can have a positive Cesàro average while returning to 0 infinitely often (e.g., long positive excursions interspersed with isolated returns to 0), so the ergodic theorem alone does not imply Eq. (56). To establish that the particle stays in the positive half-line with positive probability one needs a harmonic-function or supermartingale argument for the embedded walk, or the large-b limit of the segment formula given in the Remark. Since Proposition 1 is the only place in the main text where the 'only if' direction of the J(a)≤0 criterion is justified, this gap must be repaired.","section":"§3.2, Proposition 1, Eq. (56)"}],"minor_comments":[{"comment":"There is a duplicated phrase in the construction of the Markov chain: 'as if the particle the particle lived on the points {ka}'. The sentence should read 'as if the particle lived on the points {ka}'.","section":"§3.2, Proposition 1 proof"},{"comment":"The affiliation contains a typo: 'Duke A venue' should be 'Duke Avenue'.","section":"Author affiliation, first page"},{"comment":"The assertion that p_{i,j}>0 'thanks to Eqs (3), (4) and (5)' should explicitly refer to the accessibility conditions (i) and (ii) of Section 1, since |F|<1 alone is not sufficient to guarantee finite-time reachability of ±a, as the counterexample in Section 1 demonstrates.","section":"§3.2, Proposition 1 proof"},{"comment":"The statement 'This condition has been established by a Markov-chain argument' should be updated to reflect the corrected proof, in particular the large-b limit of the segment formula in the Remark, since the Markov-chain transition probabilities in Eq. (58) are not reliable as written.","section":"§7, Discussion"}],"recommendation":"major_revision","confidential_remarks":"The central claim is likely correct, and the manuscript already contains a valid derivation of the key constant e(0) in the Remark after Proposition 1. The main obstacle is the flawed Markov-chain proof in the main text: the transition probabilities contradict the cited segment formula, and the ergodic-theorem implication is invalid. I recommend major revision rather than rejection because the defect is localized and a correct derivation is already present in the manuscript. The authors should restructure the proof, promote the Remark's argument, and re-check the numerical and consistency statements that depend on Proposition 1."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The paper gives exact first-passage statistics for a run-and-tumble particle in a periodic force field, including a clean integral criterion J(a)≤0 for certain versus uncertain absorption. The physics is probably right and the results are genuinely new: they generalize the constant-drift results of [36] and the segment results of [29], and the short-period effective-drift limit is a nice bonus. The derivation from the backward Fokker–Planck equation is coherent, and Appendix D checks the constant-drift limits carefully. The alternating-drift example is worked out in detail and matches the simulations.\n\nThe soft spot is Proposition 1. The transition probabilities in Eq. (58) do not follow from the quoted segment formula in [29]. With A defined as 2∫_0^a Ξ_-(x)dx, p_{1,1} contradicts the expression 2/(2Ξ_-(a)+e^{-J(a)}+1) that [29] gives; even setting A=2Ξ_-(a), the p_{-1,1} formula disagrees with the limit of Eq. (59) in a constant-drift test case. The ergodic argument is also a non-sequitur: positive drift of the empirical average does not by itself establish a positive probability of staying positive forever. The appended remark is meant to provide an independent derivation, but as written it has a missing factor of 2 — it gives -1/(C+1) where the correct e(0) is -1/(2C+1). So the only presented justification for the J(a)>0 branch is broken.\n\nThat said, the final formula for e(0) is almost certainly correct: it reproduces the constant-drift result in Appendix D, and the simulations in Fig. 4 are consistent with it. This is a fixable flaw, not a fatal one. The renewal argument in Section 5 is sound, and the rest of the paper holds together. The simulations lack code and parameters, which limits reproducibility, but that is a minor issue.\n\nWho is this for: people working on first-passage problems in active matter. It deserves a serious referee, but the referee should insist on a corrected Proposition 1 — either a proper proof of the survival-probability claim or a clearly separated lemma with a rigorous argument. I would engage with the paper after those fixes.","headline":"Strong physics, weak proof: the J(a) criterion is likely right and worth publishing, but Proposition 1 as written is not a valid proof and the remark has a typo.","tokens_in":38086,"tokens_out":7771,"would_cite":true,"duration_ms":75937,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["60K35","82C31"],"pacs":[],"model":"deepseek-v4-flash","headline":"One integral J(a) of the periodic force decides whether a run-and-tumble particle reaches the origin almost surely; if J(a) > 0, exit probability decays exponentially and the conditional mean first-passage time grows linearly with distance.","keywords":["run-and-tumble particle","first-passage time","exit probability","periodic force","Markov chain","active matter","survival probability","renewal argument"],"falsifier":"Take the periodic extension of F(x) = −v + $a^{{−1}}$γ(a−x)^2 on [0,a), which satisfies |F|0 the chain drifts away from the origin, implying e(0)<0. A renewal argument based on periodicity — a particle starting at x+Na must pass through Na before reaching 0 — yields the affine dependence of the conditional mean first-passage time on N.","core_discovery":"The central claim is that the sign of J(a) = ∫_0^a 2F(y)/(1−F(y)^2) dy completely separates the two dynamical regimes. If J(a) ≤ 0, the particle hits the origin in finite time with probability one, and the mean first-passage time given the initial velocity state is an affine function of N, the number of periods separating the starting point from the origin. If J(a) > 0, the exit probability E(x+Na, ±) is not identically 1; it equals a prefactor times $e^{{−N J(a)}}$, and the conditional average ⟨T(x+Na)⟩_{c,±} is again affine in N with a slope that is independent of the phase x and the initial velocity state. The formulas (Eqs. 21–23) reproduce the known constant-drift results in the appropriate limits, and in the limit of a short period a→0 the conditional mean first-return time coincides with 1/|μ_eff| for an effective drift μ_eff = J(a)/(2Ξ_−(a)).","pith_inferences":["Because J(a) equals the drop of the active external potential W over one period, the condition J(a) ≤ 0 can be read as a potential-difference criterion: the active potential drives the particle toward the origin exactly when its value at the origin exceeds its value one period away.","The Markov-chain method used here could be pushed to higher moments of the first-passage time by expanding the Laplace transform to higher order in s, yielding a hierarchy of affine-in-N expressions.","A testable extension would be to include a finite tumble duration or a space-dependent tumbling rate; the periodic structure suggests the same J(a)-type integral should still govern the large-distance decay, though the constants will change.","The short-period effective drift μ_eff = J(a)/(2Ξ_−(a)) is a clean quantity that could be measured experimentally with bacteria moving through periodic arrays of chemical gradients."],"forward_implications":["For any periodic force field satisfying the accessibility conditions, the sign of J(a) tells directly whether particles are captured at the origin or escape to infinity.","The conditional mean first-passage time grows linearly with the number of periods, with a slope independent of the starting phase and the initial velocity state, generalizing the constant-drift result.","In the short-period limit the system behaves like a constant effective drift μ_eff = J(a)/(2Ξ_−(a)), so the mean first-return time from the origin becomes 1/|μ_eff|.","The formulas reduce to the previously known constant-drift expressions when F is constant, which the paper verifies explicitly in an appendix."],"supporting_citations":[{"why":"Provides the exit probabilities of a run-and-tumble particle on a finite interval, from which the transition probabilities of the embedded Markov chain on multiples of the period are taken.","marker":"[29]"},{"why":"Gives the constant-drift exit probabilities and mean first-passage times that the present formulas must reproduce in the limit of a constant force.","marker":"[36]"},{"why":"Studies run-and-tumble particles in periodic force fields and introduces the active external potential whose period drop equals J(a); it also supplies the short-period effective-drift interpretation.","marker":"[35]"},{"why":"Derives the backward Fokker–Planck equation for the survival probability of a run-and-tumble particle in a confining potential, the starting point of the present calculation.","marker":"[30]"}],"fun_headline_variants":["Integral sign decides survival of run-and-tumble particle","Single integral separates capture from escape in run-tumble motion","Run-and-tumble particle: one integral rules first-passage time","Periodic forces: integral sign predicts capture or exponential decay"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The entire argument hinges on the assumption that starting from 0, the deterministic flows with total velocity F+1 and F−1 reach the next period boundary ±a in finite time; if this fails, the Markov chain on multiples of a is not well-defined and the boundary conditions and renewal step no longer apply.","fun_headline_variants_meta":{"raw":{"variants":["Integral sign decides survival of run-and-tumble particle","Single integral separates capture from escape in run-tumble motion","Run-and-tumble particle: one integral rules first-passage time","Periodic forces: integral sign predicts capture or exponential decay"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000219,"raw_usage":{"total_tokens":1478,"prompt_tokens":1013,"completion_tokens":465,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":629,"completion_tokens_details":{"reasoning_tokens":396}},"tokens_in":629,"tokens_out":465,"duration_ms":4493,"temperature":1.0,"reasoning_tokens":396,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-12T18:22:02.546281+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take the periodic extension of F(x) = −v + $a^{{−1}}$γ(a−x)^2 on [0,a), which satisfies |F|