{"id":"ec965965-463a-477f-8991-2114132b65c8","arxiv_id":"2502.06667","paper_version":1,"verdict":"CONDITIONAL","confidence":"HIGH","novelty_score":5.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"For a biased random walk with resetting to the start, the asymptotic survival probability exceeds that of an ordinary biased walker once the starting gap is above a critical value.","lead":"This paper derives the survival probability of biased random walkers that either step toward an absorbing trap or jump back to their starting point, and shows their late-time decay is exponential. It finds a threshold starting distance beyond which these resetting walkers survive longer than ordinary biased walkers.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The characteristic root β=q is canceled by the initial conditions; for small x0 the true decay rate is the next-largest root, so Table II and Eq. (19) are false (e.g., q=0.9, x0=1 decays as 0.1^t, not as claimed).","rationale":"The paper's recurrence and generating-function setup are mostly sound, and in the regime x0≫1 the non-q root of Eq. (12) near unity is the true asymptotic rate; Table I is consistent with that. The single load-bearing defect is the assertion that the late-time exponent is always the largest positive root of Eq. (12). The initial conditions S_0=...=S_{x0-1}=1, S_{x0}=1-q^{x0} produce the generating function above, whose numerator and denominator share the factor 1-qz. Therefore β=q is exactly canceled and never appears in the survival sequence. For small x0 this cancellation changes the exponent qualitatively. The extreme case x0=1, q=0.9 shows the claimed threshold is not merely approximate: Sisyphus decays as 0.1^t while the standard walker decays as 0.6^t. This directly contradicts Table II and Eq. (19). Because the flaw is a structural root-selection error rather than a higher-order correction, the paper must be revised to use the reduced polynomial Q(λ); with that change the qualitative phase transition and the large-x0 formulas survive. Hence I keep a conditional verdict but with a stronger and different condition than the reader's.","tokens_in":5987,"tokens_out":34507,"duration_ms":294356,"concrete_test":"Evaluate the exact recurrence (9) for x0=1, q=0.9 with S(0)=1, S(1)=0.1. The sequence satisfies S(t)=(0.1)^t for all t≥1, so the asymptotic ratio is 0.1. The standard biased-walker ratio at q=0.9 is 2√(0.09)=0.6. Since 0.1<0.6, the Sisyphus walker is worse at this (x0,q), contradicting Table II (critical gap 1) and Eq. (19) (q>0.78). This single point falsifies the claimed uniform threshold; corrected thresholds should be recomputed from the largest root of Q(λ), with β=q factored out.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"The paper's asymptotic ansatz overlooks cancellation of the characteristic root β=q by the initial conditions. For c=q^{x0}(1-q), the generating function of (9) with S_0=...=S_{x0-1}=1 and S_{x0}=1-q^{x0} is G(z)=(1-q^{x0}z^{x0})/(1-z+c z^{x0+1}). Both numerator and denominator vanish at z=1/q, since q is a root of Eq. (12); hence the factor (1-qz) cancels and the late-time rate is the largest root of the reduced polynomial Q(λ)=λ^{x0}-(1-q)(λ^{x0-1}+qλ^{x0-2}+...+q^{x0-1}), not of Eq. (12). For x0=1 this gives β=1-q. Concretely, at q=0.9, x0=1, S(t)=(0.1)^t for t≥1, while standard walkers decay as (0.6)^t; Table II's entry 1 and the uniform claim in Eq. (19) are therefore false. This is not fixed by using the exact polynomial criterion rather than Eq. (13): the exact largest root of Eq. (12) is q=0.9, which is canceled in the true solution. The error affects precisely the small-x0 regime used in Table II and Eq. (19); for large x0 the non-q root near 1 is dominant and Eq. (13) is reliable.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies a biased Sisyphus random walker on the nonnegative integers with an absorbing trap at the origin: at each step the walker moves one step toward the trap with probability q and jumps back to its initial position x0 with probability 1-q. The author derives a linear recurrence for the survival probability S(t;x0,q), proposes an exponential decay S(t) ~ alpha beta^t with beta the largest positive root of beta^{x0+1}-beta^{x0}+q^{x0}(1-q)=0, and compares the asymptotic ratio beta with the standard biased-random-walk ratio 2 sqrt(q(1-q)). The paper claims that there is a critical initial gap x0^crit(q), given in closed form in Eq. (17), above which Sisyphus walkers survive longer than standard walkers, and a uniform regime q > about 0.78 where they always survive longer. The recurrence is correctly derived, but the root analysis and the quantitative threshold claims are not.","tokens_in":6363,"tokens_out":15213,"duration_ms":116910,"significance":"The question addressed is genuinely interesting and fits naturally into the restart-and-first-passage literature. The recurrence (9) is derived cleanly, there are no fitted parameters, and Table I provides a useful numerical check of the recurrence. If the root-cancellation issue is repaired, the qualitative conclusion is likely to survive: for fixed q>1/2 the true asymptotic ratio of the Sisyphus walker tends to 1 as x0 grows, whereas the standard-walker ratio 2 sqrt(q(1-q)) is strictly less than 1, so sufficiently large initial gaps should make the Sisyphus walker more persistent. However, as it stands the principal quantitative deliverables—Eq. (17), Table II, and Eq. (19)—are incorrect in important parameter regimes, and the x0 >> 1 approximation is used outside its stated domain. The manuscript needs substantial revision of Sections III and V.","major_comments":[{"comment":"The uniform claim that for every q > about 0.78 the Sisyphus walker survives longer for all x0 >= 1 is false. A concrete counterexample is q=0.8, x0=1: from the correct reduced polynomial the Sisyphus survival ratio is 1-q=0.2, whereas the standard walker ratio is 2 sqrt(0.8*0.2)=0.8. Thus the Sisyphus walker is much less persistent in this regime. This claim should be removed or replaced by a correct small-x0 analysis; it is not a minor numerical slip but a consequence of the missing root cancellation in Eq. (12).","section":"§V, Eq. (19)"}],"minor_comments":[{"comment":"For x0=10, q=3/4, the approximation (15) gives R_asym=0.9859, while the exact root of Eq. (12) is beta=0.9833 and the numerical ratio in Table I approaches 0.9833. The text says Eq. (15) describes the data 'extremely well'; this should be qualified, and the distinction between the leading-order approximation (15) and the exact root should be stated explicitly.","section":"§III, Eq. (15); §IV, Table I"},{"comment":"The phrase 'largest positive root of Eq. (12)' should be replaced by 'largest positive root of the reduced polynomial Q(lambda)' once the cancellation described above is accounted for; otherwise the characteristic equation is overdetermined.","section":"Throughout"},{"comment":"The notation Ntot(t) is introduced as a normalized number of walkers, but the text also refers to the 'number' of walkers; it would be clearer to state once that S(t)=Ntot(t) is a survival probability (or fraction of the initial population).","section":"§II, Eqs. (3)-(5)"},{"comment":"The use of the ceiling function is confusing when Eq. (17) gives a negative real threshold, as it does for q=0.9; since x0 is a positive integer, the table should define x0^crit as the smallest integer x0>=1 for which the corrected inequality holds.","section":"§V, Table II"}],"recommendation":"major_revision","confidential_remarks":"The main quantitative claims are affected by a root-cancellation error that is elementary but load-bearing. I found no circularity or fitted-parameter problem. The qualitative threshold phenomenon is plausibly robust, so I would be willing to consider a revised version in which the exact reduced polynomial is used, Table II and Eq. (19) are corrected, and the domain of validity of expansion (13) is respected."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The short version: the paper's central quantitative claim is incorrect. The critical-gap values in Table II and the q>0.78 claim in Eq. (19) are false for small x0.\n\nWhat the paper does well: the discrete recurrence (9) is correctly derived, the exponential-decay ansatz is standard, and the numerical check in Table I (x0=10, q=3/4) is solid. The paper is clearly written and the large-x0 analysis is fine. The model itself is not new, and the linear recurrence solution is standard, but the explicit comparison with the ordinary biased walker is a legitimate extension.\n\nThe problem is that the characteristic polynomial (12) always has β=q as a root. For small x0, this is the largest root, but it is canceled by the initial conditions. The actual decay rate is the largest root of the reduced polynomial Q(λ)=λ^{x0}−(1−q)(λ^{x0−1}+qλ^{x0−2}+...+q^{x0−1}). For x0=1, q=0.9, the paper's approximation gives β≈0.91, but the true survival probability is (0.1)^t, while standard walkers decay as (0.6)^t. So restarting is worse, not better, contradicting Table II (which gives x0^crit=1) and Eq. (19) (which claims q>0.78 always helps). The error comes from applying the large-x0 expansion (13) in the small-x0 regime without checking validity.\n\nThe reader's concern about the leading-order approximation is valid, but the cancellation issue is more severe: even the exact largest root of (12) is the wrong root when q is largest and canceled. The qualitative existence of a threshold is plausible and likely true, but the correct thresholds must be computed from Q(λ).\n\nThis paper is for readers interested in stochastic resetting who want a concrete comparison. As written, it should not be cited or relied upon. It deserves a serious referee because the recurrence and threshold concept are worth examining, and the fix is clear, but only as a major-revision-or-reject situation. I would not cite it in its current form.","headline":"The threshold values in Table II and Eq. (19) are wrong because the dominant characteristic root is canceled by the initial conditions; the qualitative threshold idea survives, but the paper's quantitative claims do not.","tokens_in":6837,"tokens_out":10284,"would_cite":false,"duration_ms":73775,"reading_group":"maybe","serious_thinker":"no","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["60J10"],"pacs":["05.40.Fb"],"model":"deepseek-v4-flash","headline":"A biased walker with random restarting outlives an ordinary one only when it starts beyond a $q$-dependent critical gap $x_0^{\\mathrm{crit}}(q)$.","keywords":["biased random walk","Sisyphus random walk","stochastic resetting","survival probability","absorbing boundary","critical initial gap","exponential decay","renewal equation"],"falsifier":"Evaluate the largest positive root $\\beta$ of $\\beta^{5}-\\beta^{4}+(0.7)^4(0.3)=0$: Eq. (17) predicts $\\beta\\approx0.92797>0.9165=2\\sqrt{0.7\\cdot0.3}$, while the exact root is $\\beta\\approx0.8798<0.9165$, so iterating the recurrence (9) at $x_0=4$, $q=0.7$ would show the standard walker, not the Sisyphus walker, has the larger late-time survival probability.","tokens_in":5791,"feed_emoji":"🔄","tokens_out":18350,"duration_ms":137215,"temperature":0.7,"pith_summary":"The paper asks whether a random walker that at each step either moves toward an absorbing trap or is reset to its starting position has a better chance of long-time survival than an ordinary walker with the same bias toward the trap. The answer it establishes is a threshold: the Sisyphus walker's survival probability decays exponentially at rate $\\beta$, the largest positive root of $\\beta^{x_0+1}-\\beta^{x_0}+q^{x_0}(1-q)=0$, and for large $x_0$ this rate is approximately $1-q^{x_0}(1-q)$. Comparing this rate with the standard walker's $2\\sqrt{q(1-q)}$ yields a critical initial gap $x_0^{\\mathrm{crit}}(q)$ above which the restarting walker survives longer and below which it survives shorter. The interest is that resetting is neither automatically good nor automatically bad: its value depends on where the walker starts.","feed_headline":"Restart helps biased walkers only past a critical gap","feed_subtitle":"An exact survival rate shows resetting beats plain drift once the starting distance exceeds a q-dependent threshold.","key_machinery":"The central object is the linear recurrence $S(t;x_0,q)=S(t-1;x_0,q)-q^{x_0}(1-q)\\,S(t-x_0-1;x_0,q)$, obtained by counting the walkers who are absorbed only after $x_0$ consecutive steps toward the trap and those who reset from $x_0$ before it is too late. Substituting the exponential ansatz $S(t)=\\alpha\\beta^t$ turns this recurrence into the characteristic polynomial $\\beta^{x_0+1}-\\beta^{x_0}+q^{x_0}(1-q)=0$; the largest positive root of this polynomial is the asymptotic decay factor per time step. A first-order expansion of that root in the large-$x_0$ regime gives the closed-form rate $1-q^{x_0}(1-q)$ that is compared with the standard walker's rate $2\\sqrt{q(1-q)}$.","core_discovery":"For biased Sisyphus random walkers — particles on non-negative integers that move one step toward the absorbing origin with probability $q>1/2$ and jump back to their initial position $x_0$ with probability $1-q$ — the paper derives the survival probability recurrence $S(t)=S(t-1)-q^{x_0}(1-q)\\,S(t-x_0-1)$ for $t>x_0$. It shows that the late-time solution is $S(t)\\sim \\alpha\\, \\beta^t$, with $\\beta$ determined by the characteristic polynomial $\\beta^{x_0+1}-\\beta^{x_0}+q^{x_0}(1-q)=0$, and evaluates the prefactor $\\alpha$ in the large-$x_0$ regime. Since the standard biased walker has asymptotic ratio $S(t+1)/S(t)\\to 2\\sqrt{q(1-q)}$, the Sisyphus walker's ratio $1-q^{x_0}(1-q)$ (for $x_0,t\\gg1$) crosses this baseline at $x_0^{\\mathrm{crit}}(q)=\\ln[(1-2\\sqrt{q(1-q)})/(1-q)]/\\ln q$. The paper therefore claims a critical gap that separates restarting from not restarting, with the threshold diverging as $q\\to1/2$ and a uniform dominance of the Sisyphus walker for $q\\gtrsim0.78$.","pith_inferences":["Editorial: An exact threshold can be defined by solving $\\beta(x_0,q)=2\\sqrt{q(1-q)}$ with $\\beta$ the largest root of the characteristic polynomial; using that exact criterion instead of the first-order expansion shifts some table entries by one step (for example, $x_0=4$, $q=0.7$) and removes the smallness assumption behind Eq. (17).","Editorial: The same recurrence can be solved by generating functions to produce the full time-dependent survival probability $S(t;x_0,q)$ for all $t$, not just its asymptotic exponential tail, and the resulting expression could be compared directly with Monte Carlo iteration of the jump rule.","Editorial: The threshold phenomenon is a specific instance of a general restart trade-off: resetting helps when the walker already starts in a region that is safe enough relative to the trap, and hurts when it must be free to reach large distances; introducing a cost per reset would move the critical gap upward."],"forward_implications":["For a fixed bias $q$, the late-time ranking between the restarting and non-restarting walkers is decided solely by whether the starting gap $x_0$ lies above or below $x_0^{\\mathrm{crit}}(q)$.","The critical gap grows without bound as the bias weakens, diverging as $-2\\ln(q-1/2)/\\ln2-2$ when $q\\to1/2^+$, so the restart strategy only helps from very large initial distances near the unbiased limit.","For every $q>0.78$, the resetting walker has the larger asymptotic survival probability for every possible integer starting position $x_0\\ge1$.","The survival probability of the Sisyphus walker is exponentially decaying with a $q$- and $x_0$-dependent rate, so the restart mechanism changes the decay rate, not merely the prefactor of the survival tail."],"supporting_citations":[{"why":"Supplies the standard biased-random-walker asymptotic survival ratio $2\\sqrt{q(1-q)}$ that the Sisyphus result is compared with.","marker":"[8, 12]"},{"why":"Defines the Sisyphus restart mechanism and the prior analyses from which the present model is taken.","marker":"[13–19]"},{"why":"Supplies the relation $d(t)=q^{x_0}N_{x_0}(t-x_0)$ used to derive the survival recurrence.","marker":"[21]"},{"why":"Supplies the relation $N_{x_0}(t-x_0)=(1-q)N_{\\mathrm{tot}}(t-x_0-1)$ used to close the recurrence.","marker":"[22]"}],"fun_headline_variants":["Biased walkers restart only past a critical gap","Critical gap sets when restart beats plain drift","Sisyphus walkers: restart pays only beyond a threshold","Exact survival shows when restart wins for biased walkers","Restart beats drift only past q-dependent critical gap"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The closed-form critical-gap formula (17) rests on the approximation $\\beta\\approx1-q^{x_0}(1-q)$, which is accurate only when $x_0 q^{x_0}(1-q)\\ll1$; the paper uses it in regimes such as $q=0.7$, $x_0=4$ where that condition fails, so the exact polynomial criterion yields a different threshold.","fun_headline_variants_meta":{"raw":{"variants":["Biased walkers restart only past a critical gap","Critical gap sets when restart beats plain drift","Sisyphus walkers: restart pays only beyond a threshold","Exact survival shows when restart wins for biased walkers","Restart beats drift only past q-dependent critical gap"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000611,"raw_usage":{"total_tokens":2882,"prompt_tokens":1024,"completion_tokens":1858,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":640,"completion_tokens_details":{"reasoning_tokens":1780}},"tokens_in":640,"tokens_out":1858,"duration_ms":15020,"temperature":1.0,"reasoning_tokens":1780,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-08T14:43:50.987468+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Evaluate the largest positive root $\\beta$ of $\\beta^{5}-\\beta^{4}+(0.7)^4(0.3)=0$: Eq. (17) predicts $\\beta\\approx0.92797>0.9165=2\\sqrt{0.7\\cdot0.3}$, while the exact root is $\\beta\\approx0.8798<0.9165$, so iterating the recurrence (9) at $x_0=4$, $q=0.7$ would show the standard walker, not the Sisyphus walker, has the larger late-time survival probability.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the relation $d(t)=q^{x_0}N_{x_0}(t-x_0)$ used to derive the survival recurrence."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the relation $N_{x_0}(t-x_0)=(1-q)N_{\\mathrm{tot}}(t-x_0-1)$ used to close the recurrence."}],"review_version":1}