{"id":"c8176faa-46d3-4efb-a140-60918fbc0d8e","arxiv_id":"2412.00038","paper_version":1,"verdict":"REJECT","confidence":"MODERATE","novelty_score":2.0,"correctness_risk":"high","formal_verification":"none","parameter_count":0,"one_line_summary":"For a harvested reaction-diffusion-advection competition model with equal harvesting rates, the species with the smaller advection-to-diffusion ratio wins, and coexistence can occur in an intermediate advection range.","lead":"This paper studies a two-species competition model in a flowing river with harvesting, where species move by diffusion and are carried downstream. The authors claim that with low harvesting, the species with a lower advection-to-diffusion ratio outcompetes its rival, with a coexistence window in between.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Lemma 15's Step 3 reverses the sign of A and B near their first zeros, so the claimed positive local maximum of T does not follow; Theorem 2 rests on this lemma.","rationale":"The reader's verdict of REJECT is reasonable, but the most load-bearing defect is not only the restriction to µ1=µ2. The paper explicitly discloses that restriction in §2, and the rescaling to (2.3) is algebraically correct; unequal harvesting is presented mainly as a numerical example with no analytical support. The deeper problem is internal to the stated theorem: the proof of Lemma 15, which is the engine of Theorem 2, contains an explicit sign error at the point where it is supposed to produce a contradiction via Lemma 14. Because Theorem 2's global-stability claims use Lemma 15 directly, this is a correctness risk within the theorem's own assumptions. I therefore keep the reader's rejection unchanged, while noting that the equal-harvesting limitation is a scope restriction that would not by itself sink the theorem if Lemma 15 were valid.","tokens_in":29919,"tokens_out":13295,"duration_ms":124365,"concrete_test":"Re-derive Lemma 15 Step 3 from the definitions A=d1u_x−α1u=d1u(T−α1/d1) and B=d2v_x−α2v. With A(a)=A(b)=0 and A<0 near a, set p=inf{x>a:A(x)=0}; then A<0 on (a,p) and T<α1/d1 there, contradicting the displayed T>α1/d1. Then check whether the contradiction with Lemma 14(a) can instead be obtained on a later interval (p,r) on which A>0 and S≥0; if no such interval is forced by the preceding steps, Lemma 15 is unproven and Theorem 2 needs a new proof.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Within the equal-harvesting regime the authors actually treat, Theorem 2 depends on Lemma 15, and Lemma 15's Step 3 is sign-reversed. Step 3 establishes A<0 and B<0 in (a,δ), then defines p as the first zero of A in [δ,b]. Since A(a)=0 and A<0 on (a,δ), the first zero p must satisfy A<0 on (a,p), not A(x)>0 as printed; likewise B≤0 on (a,p) when p≤q. The paper then asserts T(x)>α1/d1 and S(x)>α2/d2, but A=d1u(T−α1/d1), so A<0 gives T<α1/d1. The claimed positive local maximum of T, which is needed to apply Lemma 14(a), is therefore not established. Step 2 also analyzes d1=d2 although the lemma assumes d1>d2. Since Theorem 2's global-stability conclusions are obtained by combining Lemma 15 with local stability, the central claim is not established as written.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies a one-dimensional two-species Lotka-Volterra reaction-diffusion-advection system with logistic growth, spatial heterogeneity in the carrying capacity K(x), and harvesting. For equal harvesting rates μ1=μ2=μ, the authors rescale the model into a harvesting-free system with r1=1−μ and K1=(1−μ)K, then claim existence, uniqueness, and positivity of solutions; local stability of the two semi-trivial steady states; non-existence of a coexistence steady state under a ratio condition on advection and diffusion; and global asymptotic stability results assembled from these ingredients via monotone dynamical systems. The equal-harvesting case is the only one treated analytically; the unequal-harvesting case μ1≠μ2 appears only in a numerical example. The numerical section illustrates coexistence, competitive exclusion, and extinction under various parameter choices.","tokens_in":30174,"tokens_out":14904,"duration_ms":127677,"significance":"If the analytical claims were correct and genuinely new, the paper would provide a useful extension of river-ecology competition models to include harvesting. The rescaling in Section 2, however, makes the equal-harvesting model algebraically identical to the harvesting-free model of the authors' own earlier paper [2] with a rescaled carrying capacity, so the analytical results are largely corollaries of previous work. The central non-existence proof (Lemma 15) contains sign errors and an internal contradiction, and Theorem 2 relies on that lemma. The manuscript does provide a range of numerical experiments, including the unequal-harvesting case, but the theoretical contribution, as written, is not established. There are no machine-checked proofs or reproducible code provided, so the assessment rests on the mathematical arguments in the text.","major_comments":[{"comment":"Step 3 first establishes A<0 and B<0 in (a,δ)∪(b−δ,b) for small δ>0, then defines p as the first zero of A in [δ,b] and asserts A(a)=A(p)=0, A(x)>0 for x∈(a,p), and B(x)>0 for x∈(a,p) when p≤q. These assertions contradict the preceding sign statement: since A(a)=0 and A<0 on (a,δ), continuity forces A(x)<0 on (a,p), not A(x)>0. Moreover A=d1u(T−α1/d1), so A<0 gives T<α1/d1, the opposite of (6.11). The resulting claim that T has a positive local maximum in (a,p), needed to apply Lemma 14(a), is therefore not established. Since Theorem 2 rests on Lemma 15, the global-stability conclusion is unsupported.","section":"§6, Lemma 15, Step 3"},{"comment":"In the second half of Step 4, the proof assumes B=d2vx−α2v≤0 on (q,b) and uses (6.3) with a1=q and b1=b. With (α1−α2)/(d1−d2)≥α1/d1 and with ux/u<α1/d1 from Lemma 7(b), the factor (ux−(α1−α2)/(d1−d2)u) is negative; since d1−d2>0 and B≤0, the integrand in (6.3) is nonnegative, so the left side is ≥0, not “0 >” as printed. The right side evaluates to −B(q)u(q)≥0, so no contradiction follows. The claimed necessity that B change sign in (q,b) is not proved.","section":"§6, Lemma 15, Step 4"},{"comment":"Lemma 15 is stated for d1>d2>0, but Step 2 begins by analyzing the case d1=d2=d, which is outside the hypotheses, and that case is not used in the remainder of the proof. In Step 5, the proof invokes “by Step 3, B(x)>0 in (a,a0)”, although Step 3 concluded B<0 in (a,δ) for small δ>0, and a0 is a zero of A beyond δ. This is again the reversed sign. These internal inconsistencies prevent Lemma 15 from being a valid contradiction argument.","section":"§6, Lemma 15, Steps 2 and 5"},{"comment":"The substitution r1=1−μ, K1=r1K makes system (2.2) algebraically identical to the harvesting-free system (2.3) of the authors' previous paper [2] with carrying capacity K1 and growth coefficient rr1. Consequently the analytical results of Sections 4–6 and Theorem 2 are corollaries of [2] (or of the cited monotone-dynamical-systems results) after a rescaling, and the advertised unequal-harvesting case μ1≠μ2 is treated only numerically (Example 3, Figure 11). The paper should state this reduction explicitly and either reposition its contribution or provide analytical results for unequal harvesting.","section":"§2, equations (2.2)-(2.3); Theorem 2"},{"comment":"The existence, uniqueness, and positivity proofs are sketches rather than complete arguments. Lemma 1 defines G1(x,u)=G2(x,u)u but then writes G1(x,u)=(G2(x,u)+G2(x,u)u)u, which does not follow from the definition; the eigenvalue problem (3.3) writes “+G2(x,0)=λΦ”, where the term appears to be missing the factor Φ; and Lemma 2 introduces an unqualified “G(x,u) strictly decreasing in u” and asserts monotonicity of principal eigenvalues without proof. Since Theorem 1 and the paper's first stated contribution depend on these lemmas, they need to be completed or replaced by precise citations.","section":"§3, Lemmas 1-2"}],"minor_comments":[{"comment":"The abstract and introduction discuss different diffusion, advection, and harvesting rates, but all analytical theorems assume equal harvesting rates μ1=μ2=μ; this limitation should be stated clearly in the abstract.","section":"Abstract and Section 1"},{"comment":"The theorem states μ∈[0,1], whereas elsewhere the paper assumes μ∈[0,1); the endpoint μ=1 gives r1=0 and K1=0, so the range should be corrected.","section":"Theorem 2, statement 2"},{"comment":"The second equation reads −d2∆S+[α2−2d1S]Sx+uT+vS=0; the coefficient of Sx should presumably be α2−2d2S.","section":"Equation (6.7)"},{"comment":"The statements are labeled (a) and (a); the second should be (b), with the remaining labels shifted accordingly.","section":"Lemma 14"},{"comment":"The carrying capacity K=2.0+cos(πx)cos(πy) depends on a second spatial variable y, while the model (2.3) is one-dimensional; either justify a two-dimensional interpretation or restrict K to x.","section":"Example 2, Section 7"},{"comment":"Several initial conditions are printed as “≥, ,̸≡0”, which should read “≥0, ̸≡0”; examples appear after (2.1) and in (3.1).","section":"Throughout"},{"comment":"In the proof of assertion 2(c), the sets X and Y are defined using Γα2, but the following sentence refers to “Γ” without definition; likely σ is intended.","section":"Section 6, proof of Theorem 2"}],"recommendation":"reject","confidential_remarks":"The manuscript is essentially the authors' own earlier paper [2] with a harvesting term that is removed by the rescaling (2.3); the genuine unequal-harvesting case is not analyzed theoretically. The central non-existence proof contains sign errors and uses a case (d1=d2) excluded by the lemma's hypotheses. Even if Lemma 15 were repaired by citing [2], the novelty would be substantially reduced. I would not recommend publication in its current form, though a substantially reworked version that honestly delineates the reduction and supplies correct proofs might be reconsidered."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The one genuinely useful thing here is the rescaling in Section 2: with equal harvesting rates, setting r1 = 1−µ and K1 = (1−µ)K turns the harvested system into the harvesting-free system from your own earlier paper. Algebraically that is fine, and it explains why most of the analysis is a relabeling of known results.\n\nThat is also the problem. Once the reduction is made, every theorem that follows is an application of the previous paper plus standard references. The novelty you advertise—unequal harvesting—is not actually analyzed. All analytical results assume µ1 = µ2 = µ; unequal harvesting appears only in an unproven numerical example. The abstract and introduction promise more than the theorems deliver.\n\nMore seriously, the central lemma needed for Theorem 2, Lemma 15, is wrong as written. Your stress-test note is on target. In Step 3, the paper defines p as the first zero of A in [δ,b] and then claims A(x) > 0 on (a,p). But A(a) = 0 and A < 0 on (a,δ), so A must be negative on (a,p), not positive. The same reversal hits B. The claimed positive local maximum of T, which is needed to apply Lemma 14(a), does not follow. Step 2 also analyzes d1 = d2 under an assumption that d1 > d2, which is an internal inconsistency. Since Theorem 2's global stability arguments combine local stability with Lemma 15, the main theorem is not established.\n\nWhat the paper does well is narrow: the ecological intuition, that lower advection-to-diffusion ratio gives a competitive advantage under light harvesting, is plausible and consistent with the existing literature. The rescaling itself is a clean observation. But the proofs are sketches in places (Lemmas 1 and 2 have undefined symbols), the numerics are not reproducible, and the writing is rough. The self-citation pattern is not itself objectionable because the prior paper is genuinely the template, but it reinforces how little new mathematical content is here.\n\nFor a reader: this is not a paper I would build on or cite. If the sign error in Lemma 15 is fixable, the result might survive as a short note, but as it stands the central claim is unsupported. I would not send this to peer review in its current form; desk reject or return for major revision and a complete rewrite of the non-existence proof.","headline":"The equal-harvesting rescaling is a neat observation but it makes the paper largely derivative, and the key non-existence proof has a sign error that sinks Theorem 2.","tokens_in":30700,"tokens_out":2817,"would_cite":false,"duration_ms":28045,"reading_group":"no","serious_thinker":"no","would_accept_peer_review":false},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["92-10","92C42","92C60","92D30","92D45"],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper claims that in a two-species reaction-diffusion-advection river model with small harvesting, the species with the lower advection-to-diffusion ratio wins the habitat, and that a narrow intermediate range of the second species'…","keywords":["reaction-diffusion-advection","Lotka-Volterra competition","spatial heterogeneity","harvesting","global asymptotic stability","coexistence steady state","river ecology","advection-to-diffusion ratio"],"falsifier":"With K(x)=2+cos(πx), small equal µ, d1=0.08, d2=0.07, α1=0.05, and α2=0.04375, the ratio condition α1/d1 ≥ α2/d2 holds; Theorem 2 predicts convergence to (0,v̂) from every positive initial state. A simulation that instead shows sustained coexistence, or convergence to (û,0), would falsify the claimed global stability.","tokens_in":29747,"feed_emoji":"🌊","tokens_out":7626,"duration_ms":71116,"temperature":0.7,"pith_summary":"This paper tries to establish what decides which of two competing species survives in a one-dimensional river when both drift downstream, diffuse at different rates, and are harvested at the same low rate. Its central claim is that the advection-to-diffusion ratio selects the winner: when the ratio of the faster-moving species is not smaller than its competitor's, that species is driven to extinction and the other is globally asymptotically stable. When the opposite order holds, the outcome depends on the second species' advection rate, with global stability of one semi-trivial state near each end of a window and a coexistence steady state in between. The authors also prove existence, uniqueness, and positivity of solutions and establish local stability of the semi-trivial steady states. If the theorem is right, river ecologists get a simple movement-based criterion for predicting dominance, plus a warning that small flow changes can flip which species wins.","feed_headline":"Advection-to-diffusion ratio decides which river species wins","feed_subtitle":"With equal harvesting, the slower-drifting species excludes the other; a narrow advection window lets both coexist.","key_machinery":"The load-bearing object is the ratio comparison α1/d1 versus α2/d2, equivalently α1/α2 versus d1/d2. The proofs use the transformations T = u_x/u and S = v_x/v, boundary-value identities (6.2)-(6.3) relating the flux-like quantities, maximum-principle lemmas on the sign of the principal eigenvalue, and the order-preserving (monotone) structure of competitive two-species systems. Harvesting enters through the rescaling r1=1−µ and K1=Kr1, which rewrites the harvested system as a harvesting-free system with reduced growth and carrying capacity.","core_discovery":"The paper proves Theorem 2: for nonconstant environmental carrying capacity K1, harvesting rate µ in [0,1), d1>d2>0, and α1>α2>0, if α1/d1 ≥ α2/d2 then the semi-trivial steady state (0,v̂) is globally asymptotically stable; if α1/d1 < α2/d2, there are small ε1, ε2>0 such that (0,v̂) is globally asymptotically stable for α2 near (d2/d1)α1, (û,0) is globally asymptotically stable for α2 near α1, and a coexistence steady state exists for intermediate α2. This is obtained by combining local stability of the two semi-trivial states with a proof that no coexistence steady state exists under the first ratio condition, then applying the theory of monotone competitive systems.","pith_inferences":["The theorem suggests a practical flow-management rule: in a river where one species has the smaller advection-to-diffusion ratio, altering current speed to move α2 into the intermediate window could promote coexistence rather than exclusion; this application is not in the paper.","Unequal harvesting is only simulated, so the analytical stability thresholds for µ1≠µ2 are unknown; a testable extension is that the coexistence interval shifts monotonically with the harvesting difference, and beyond some difference the favored species wins outright.","The coexistence state's stability is not proven in Theorem 2, only its existence; the numerical examples suggest it can be stable, and a linear-stability analysis of that branch would close the gap.","The same ratio-comparison reasoning might extend to more than two species, predicting a dominance hierarchy ordered by α/d; the paper does not address this."],"forward_implications":["Under condition (2.4), the species with the smaller advection and diffusion rates excludes the other from the whole habitat for every positive initial state, and no coexistence steady state exists.","Under condition (2.5), varying α2 across the interval ((d2/d1)α1, α1) switches the globally stable winner and creates a window of coexistence, so advection acts as a bifurcation parameter.","Because global stability of the semi-trivial states follows from local stability plus nonexistence of coexistence, no limit cycles or other persistent non-coexistence attractors can intervene in the parameter regimes covered.","The rescaling shows that equal harvesting below rate 1 only reduces effective growth and carrying capacity; it does not change the qualitative role of the advection-to-diffusion ratio."],"supporting_citations":[{"why":"Supplies the base reaction-diffusion-advection competition model that this paper extends with harvesting terms.","marker":"2"},{"why":"Provides the T = u_x/u transformation and maximum-principle lemmas used to compare advection-to-diffusion ratios.","marker":"17"},{"why":"Gives the competitive-system theory on ordered Banach spaces used to turn local stability plus nonexistence of coexistence into global stability.","marker":"22"},{"why":"Supplies the global-dynamics framework for Lotka-Volterra competition with spatial heterogeneity that the nonexistence proof adapts.","marker":"6"},{"why":"Contributes the nonexistence-of-coexistence technique for advective competition models with spatial variation.","marker":"19"},{"why":"Supports the abstract comparison principle used to compare semi-trivial steady states.","marker":"21"},{"why":"Provides numerical methods and earlier harvesting analysis used for the simulations.","marker":"20"}],"fun_headline_variants":["Advection-to-diffusion ratio picks the river winner","Lower advection-diffusion ratio wins in river competition","River species fate set by advection-to-diffusion ratio","Advection-diffusion ratio decides which river species thrives"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The theorems require equal harvesting rates µ1=µ2=µ, because the rescaling that removes harvesting from the model is only valid in that case; unequal harvesting rates are treated only numerically in the paper.","fun_headline_variants_meta":{"raw":{"variants":["Advection-to-diffusion ratio picks the river winner","Lower advection-diffusion ratio wins in river competition","River species fate set by advection-to-diffusion ratio","Advection-diffusion ratio decides which river species thrives"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000631,"raw_usage":{"total_tokens":2892,"prompt_tokens":904,"completion_tokens":1988,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":520,"completion_tokens_details":{"reasoning_tokens":1920}},"tokens_in":520,"tokens_out":1988,"duration_ms":18912,"temperature":1.0,"reasoning_tokens":1920,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-12T14:56:52.707237+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"With K(x)=2+cos(πx), small equal µ, d1=0.08, d2=0.07, α1=0.05, and α2=0.04375, the ratio condition α1/d1 ≥ α2/d2 holds; Theorem 2 predicts convergence to (0,v̂) from every positive initial state. A simulation that instead shows sustained coexistence, or convergence to (û,0), would falsify the claimed global stability.","supporting_citations":[{"cited_title":"Dynamics of reaction–diffusion–advection system and its impact on river ecology in the presence of spatial heterogeneity","cited_arxiv_id":null,"evidence_quote":"Supplies the base reaction-diffusion-advection competition model that this paper extends with harvesting terms."},{"cited_title":"On a Lotka-Volterra competition system: diffusion vs advection","cited_arxiv_id":null,"evidence_quote":"Provides the T = u_x/u transformation and maximum-principle lemmas used to compare advection-to-diffusion ratios."},{"cited_title":"Competitive exclusion and coexistence for competitive systems on ordered Banach spaces","cited_arxiv_id":null,"evidence_quote":"Gives the competitive-system theory on ordered Banach spaces used to turn local stability plus nonexistence of coexistence into global stability."},{"cited_title":"Global dynamics of the Lotka‐Volterra competition‐diffusion system: diffusion and spatial heterogeneity I","cited_arxiv_id":null,"evidence_quote":"Supplies the global-dynamics framework for Lotka-Volterra competition with spatial heterogeneity that the nonexistence proof adapts."},{"cited_title":"On a Lotka–Volterra competition model: the effects of advection and spatial variation","cited_arxiv_id":null,"evidence_quote":"Contributes the nonexistence-of-coexistence technique for advective competition models with spatial variation."},{"cited_title":"On an abstract competition model and applications","cited_arxiv_id":null,"evidence_quote":"Supports the abstract comparison principle used to compare semi-trivial steady states."},{"cited_title":"Stocking and Harvesting Effects in Advection-Reaction-Diffusion Model: Exploring Decoupled Algorithms and Analysis","cited_arxiv_id":"2404.17702","evidence_quote":"Provides numerical methods and earlier harvesting analysis used for the simulations."}],"review_version":1}