{"id":"1a7b0efe-3484-41a2-b18b-a9eae8d0839b","arxiv_id":"2411.13781","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"For the strongly competitive Lotka-Volterra system in R^N, the spreading speed of the winning species is the scalar Fisher-KPP speed in one regime and the bistable front speed in another, with a direction-dependent variational formula for separated initial data.","lead":"This paper proves sharp formulas for how fast two competing species spread through space in a classic reaction-diffusion model when competition is strong. It extends known one-dimensional results to any number of dimensions and gives a direction-dependent speed formula for when the two species start on complementary regions.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 1.3's intermediate-annulus statement rests on Lemmas 3.3 and 3.5, whose proofs are sketches; the asserted e-uniform convergence is the load-bearing step and is not fully justified.","rationale":"The paper's main results are plausible and the overall strategy—constructing localized sub/supersolutions from the bistable front and comparing with scalar Fisher-KPP dynamics—is standard. The C2 results (Theorems 1.4, 1.5) are supported by Lemmas 2.1 and 2.2, whose proofs are mostly written out, and by the geometric covering argument borrowed from [15]. The weakest point is the proof of the C1, cv > cu case: Lemma 3.3 is the only bridge between the moving-frame convergence of v and the uniform annulus estimate in Lemma 3.5, and it is presented as a sketch. The text does not display the subsolution verification, and the claimed uniformity in e is essential rather than cosmetic. The reader's verdict is CONDITIONAL, with the sketched lemmas explicitly mentioned; my concern does not move the verdict but sharpens why the conditionality is warranted. I am not claiming the theorem is false; the concern is that the proof as written is not self-contained at exactly the point where the sharp spreading speed in the intermediate zone is established. A concrete, full rewrite of Lemma 3.3 would settle the matter.","tokens_in":20511,"tokens_out":30691,"duration_ms":312924,"concrete_test":"Write out the full proof of Lemma 3.3 following [3, Lemma 4.3], tracking every e-dependent term in the subsolution inequality. Verify that for each c in (cu,cv) one can choose c′, ε with cε > c′, R, and κ so that v_t − Δv − v(1 − v − bu) ≤ 0 holds for all t ≥ 0, all x with |x| ≥ Xε + cut, and every e ∈ S^{N−1}, and that the constants R1, κ1 in (3.5) are independent of e. Then check that Lemma 3.5's comparison argument uses exactly this uniformity to obtain the supremum over the annulus c1t ≤ |x| ≤ c2t. If any of these steps cannot be made rigorous, Theorem 1.3's intermediate-annulus conclusion is unsupported.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim that is least secure is Theorem 1.3's second line: lim sup over c1t ≤ |x| ≤ c2t of |u| + |v−1| = 0 for cuv < c1 ≤ c2 < cv. This is derived from Lemma 3.5, which in turn depends entirely on Lemma 3.3. Lemma 3.3 asserts that, for every c in (cu,cv), v(t, x + cte) → 1 locally uniformly in x and uniformly in e ∈ S^{N−1}. The proof is only sketched and transfers arguments from [3, Lemma 4.3] without writing out the subsolution inequality. In particular, the subsolution is of the form κ e^{−(c′/2)(x·e−c′t)} ψ_{2R}(x − (c′t + Xε + 2R)e). Its validity requires c′ < cε = 2√(1−bε) so that the linear term has the correct sign, and the Laplacian and gradient terms coming from ψ_{2R} must be controlled uniformly in e. The text does not show how R, κ, and ε are chosen so that (3.5) holds with constants independent of e. This uniformity is exactly what converts the raywise convergence of Lemma 3.3 into the annulus estimate of Lemma 3.5. If Lemma 3.3 cannot be completed with e-uniform constants, Lemma 3.5 only gives lim inf along each ray, not the sup over the annulus, and the proof of Theorem 1.3 collapses. The issue is not a contradiction with known results; it is that the load-bearing analytic step in the (C1), cv > cu case is asserted rather than proved. The reader's conditional verdict already flags the sketched lemmas, but the specific dependence on e-uniformity deserves emphasis.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"This paper studies the Cauchy problem for a two-species Lotka-Volterra competition-diffusion system in R^N under strong competition (a,b>1). It considers two classes of initial data: (C1) both species initially occupy bounded sets, and (C2) the two species initially occupy complementary sets. The main results are asymptotic spreading theorems. In case (C1) with c_u>c_v, Theorem 1.2 states that u spreads at the scalar Fisher-KPP speed c_u while v is driven to extinction. In case (C1) with c_v>c_u, Theorem 1.3 states that u spreads at the slower bistable speed c_uv inside a ball, v occupies intermediate annuli c_1 t <= |x| <= c_2 t with c_uv= beta(c)' with beta(c)<1-b epsilon) includes values of beta above the equilibrium 1-b epsilon, for which the claimed hitting-zero conclusion cannot hold; the admissible range must be beta below 1-b epsilon, consistent with the later phrase 'beta can be arbitrarily close to 1-b epsilon'.","section":"Section 3, Lemma 3.5"},{"comment":"The proof of Lemma 4.3 needs to be rewritten. The displayed inequality |xt - lambda omega e t| <= c_uv(lambda-1)t is notationally confusing (it should express t|x-lambda w e|), and the subsequent chain of inequalities is not explained. Since the conclusion is a supremum over the unbounded cone C, the proof must show explicitly that the lower bound (k lambda w t - R_epsilon)/(c_uv+epsilon)>t and the subsequent inequalities hold uniformly for all lambda>1 and all relevant e. The geometric fact that the cone C is contained in the complement of W is also not stated. These points directly support the second line of (1.10).","section":"Section 4, Lemma 4.3"}],"minor_comments":[{"comment":"In the proof of Theorem 1.3, the condition 0c_u; the intended bound is (c_v-c_u)/2.","section":"Section 3, proof of Theorem 1.3"},{"comment":"In the proof of Theorem 1.5, the text states that from xi in U(U_rho) one has (1/t) dist(t tau xi, U_rho) -> +infinity; the correct limit is 0, which is what justifies the inclusion B(t tau xi, c' t) subset U_rho + B_{c t} for large t.","section":"Section 4, proof of Theorem 1.5"},{"comment":"There are several sign and notation typos in the displayed computations of Section 2: in Lemma 2.1 the middle-region inequality u(t,x)-Phi(xi) >= 2a delta e^{-mu t} should be >= -2a delta e^{-mu t}; in Lemma 2.2 the corresponding inequality u(t,x)-Phi(zeta) <= -2a delta e^{-mu t} should be a positive lower bound; and some references to (2.8) in the verification of N_2 should be to (2.9).","section":"Section 2"},{"comment":"In Lemma 3.1, the expression sup_{|x|>=ct} inf_{e in S^{N-1}} X e^{-lambda_u (x.e-c_u t)} is not the correct formulation of the desired upper bound; the argument should fix e and then take the supremum over all x with |x|>=ct.","section":"Section 3, Lemma 3.1"},{"comment":"In the proofs of Theorems 1.2 and 1.3, phrases such as 'for any e in R^N' should read 'for any unit vector e' or 'for any e in S^{N-1}'.","section":"Section 3, proofs of Theorems 1.2 and 1.3"},{"comment":"In Lemma 2.2, the displayed equation for N_2 contains a term delta e^{-mu t} p_2'' delta e^{-mu t} that is likely a typographical error for the missing -|h_epsilon'|^2 p_2'' delta e^{-mu t} term.","section":"Section 2, Lemma 2.2"}],"recommendation":"major_revision","confidential_remarks":"The paper is within the scope of the journal and the results are plausible and worth publishing once the proof of Lemma 3.3 and the associated uniformity in Lemma 3.5 are supplied. I do not recommend rejection on the basis of the current evidence, but I would not accept the manuscript in its present form because the central (C1) claims rest on explicitly sketched lemmas. The editor may also wish to ask the authors to state more clearly which parts of the proof of [3, Lemma 4.3] carry over verbatim and which require adaptation for the Lotka-Volterra system."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Punchline: this is the first multi-dimensional sharp spreading-speed result for the strongly competitive Lotka-Volterra system. The main theorems are new, probably right, and the right move is to send the paper to review with instructions to make the proofs self-contained. The reader's conditional verdict is about right.\n\nWhat is actually new: Theorems 1.2 and 1.3 settle the compact-initial-data case in R^N, matching the 1D sharp estimates of Peng-Wu-Zhou; Theorems 1.4 and 1.5 carry Hamel-Rossi's spreading-set theory to the coupled system, with the new variational formula (1.8) and the envelop set W = R+U(U)+B(0,c_uv). The proof strategy is standard — comparison with the bistable front, Fisher-KPP control on the fast species, the ball-widening induction — and coherently executed. The paper is also honest about its assumptions: (A3) is stated as an assumption for (C1) and only proven for large initial support (Proposition 1.1), and the (C2) results carry the usual geometric restriction (1.6). Citation pattern is appropriate; the speeds cu, cv, cuv are external inputs; no fitted parameters.\n\nSoft spots, in proportion. The real one: the annulus statement in Theorem 1.3 rests on Lemmas 3.3 and 3.5, and both proofs are only sketches with pointers to [3]. The stress-test note is right that the e-uniform convergence in Lemma 3.3 is load-bearing. But I checked the displayed subsolution: the drift terms involving ∇ψ_{2R} cancel between the time and Laplacian derivatives, leaving the Dirichlet eigenvalue and a quadratic term, both independent of e. So the lemma is very likely true as stated; it just is not written out. Lemma 3.5 then needs that uniformity to go from rays to annuli, so the gap matters, but it is fillable, not a likely error. A referee should demand both proofs in full. Minor: Lemma 4.3 has a garbled displayed inequality in its last paragraph, and Lemma 2.1 has p1/p2 mix-ups and a missing e^{-μt} in a display. Cosmetic.\n\nWho this is for: specialists in spreading speeds for reaction-diffusion systems, especially competition and prey-predator models; it sits in the conversation of Peng-Wu-Zhou and Ducrot-Giletti-Matano. My recommendation: accept into peer review, and have the referee specifically verify Lemmas 3.3 and 3.5. If the authors write those out, I expect the main theorems to hold up.","headline":"The first sharp N-dimensional spreading speeds for strong-competition Lotka-Volterra; new and likely right, but the two lemmas behind Theorem 1.3 are sketches and need full proofs.","tokens_in":21432,"tokens_out":12225,"would_cite":true,"duration_ms":92353,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["35K57","35B40","35C07","92D25"],"pacs":[],"model":"deepseek-v4-flash","headline":"For two strongly competing species in \\mathbb{R}^N, the long-run winner is set by the bistable front speed $c_{uv}$, with the faster scalar species spreading at its own Fisher-KPP speed.","keywords":["Lotka-Volterra","strong competition","spreading speed","traveling front","bistable","reaction-diffusion","asymptotic behavior","initial support"],"falsifier":"Construct a (C1) initial condition with $c_{uv}>0$ but a tiny support for $u$, smaller than the critical radius in Proposition 1.1. If the resulting solution converges locally to $(0,1)$, then Theorem 1.3's inner-$u$-spreading statement fails; a numerical or rigorous check of this case would settle the scope of the result.","tokens_in":20257,"feed_emoji":"🏁","tokens_out":5594,"duration_ms":59511,"temperature":0.7,"pith_summary":"The paper determines the asymptotic spreading speeds of the Lotka-Volterra competition-diffusion system in \\mathbb{R}^N with strong competition ($a,b>1$). It claims that the long-time outcome is governed by three speeds: the two scalar Fisher-KPP speeds $c_u$ and $c_v$ of each species without competition, and the speed $c_{uv}$ of the bistable front connecting the stable states $(1,0)$ and $(0,1)$. When both species start in bounded domains, the species with the larger scalar speed spreads at its own speed, while the other either dies out or, if the winner is $v$, is compressed into a ball expanding at the slower speed $c_{uv}$. When the two species initially occupy complementary sets, the winner's territory is an explicit envelope built from the unbounded directions of the initial set plus a ball of radius $c_{uv}t$. This matters because it turns the multidimensional competition problem into a sharp geometric statement in which initial geometry, not just speeds, controls the interface.","feed_headline":"A single front speed sets who wins the space race in R^N","feed_subtitle":"The winner's territory is an explicit envelope: a cone over the initial set plus a ball growing at speed c_uv.","key_machinery":"The engine of the proof is the bistable traveling front $(\\Phi,\\Psi)$ with speed $c_{uv}$ satisfying (1.4), whose profiles are strictly monotone and have known convexity and concavity behavior at infinity. Around this front the authors build a family of sub- and supersolutions using a radial cut-off function $h_\\varepsilon$ that approximates $|x|$ and keeps the front nearly planar in each moving ball; Lemma 2.1 shows a large initial patch of $u$ spreads at speed $c_{uv}$, and Lemma 2.2 shows a large patch of $v$ confines $u$ to speed $c_{uv}$. The comparison principle then transfers these estimates to arbitrary initial data, while scalar Fisher-KPP estimates control the leading fronts at $c_u$ and $c_v$.","core_discovery":"The central claim is that, under the standing assumptions (A1)-(A3), the solution of (1.1) converges locally to one of the two stable equilibria behind a moving interface: $(1,0)$ inside a spreading set and $(0,1)$ outside. For (C1) with $c_v>c_u$, Theorem 1.3 states that $u$ wins inside the ball $|x|c_v$ then $v(t,\\cdot)\\to 0$ uniformly in $\\mathbb{R}^N$ and $u(t,\\cdot)\\to 1$ on every ball $|x|\\le ct$ with $cc_u$ then $u\\to 1$ inside the $c_{uv}$-ball, $v\\to 1$ on the annulus between $c_{uv}$ and $c_v$, and both go to $0$ beyond $c_v$.","In (C2), the set where $u$ wins scales as $t\\cdot W$, so unbounded directions of the initial set persist as 'teeth' in the limiting envelope.","The directional interface speed $w(e)$ is finite for directions outside $\\mathcal{U}(U)$ and infinite inside $\\mathcal{U}(U)$, meaning the initial geometry at infinity controls the local speed of the front.","Theorem 1.5 gives uniform convergence on compact sets in the scaled variable $x/t$, strengthening the directional statements of Theorem 1.4."],"supporting_citations":[{"why":"Supplies the minimal speed and asymptotic spreading-speed results for the Fisher-KPP scalar equation that define $c_u$, $c_v$, and drive Lemma 3.4.","marker":"[1]"},{"why":"Provides the existence, uniqueness, and qualitative properties of the bistable traveling front $(\\Phi,\\Psi)$ with speed $c_{uv}$ used throughout the comparison arguments.","marker":"[17]"},{"why":"Gives the monotonicity and convexity properties of the front profiles needed for the sub- and supersolution estimates in Sections 2 and 3.","marker":"[18]"},{"why":"Provides the definitions of bounded and unbounded directions, the enveloping-set formalism, and the proof strategy for the (C2) scenario.","marker":"[15]"},{"why":"Supplies the multidimensional spreading-speed comparison lemmas (including Lemma 3.3 and Lemma 3.5) that establish convergence to $v=1$ in the intermediate annulus.","marker":"[3]"},{"why":"Gives the one-dimensional sharp spreading-speed results and the assumption (A3) that this paper generalizes to $\\mathbb{R}^N$.","marker":"[23]"},{"why":"Provides the radial cut-off function $h_\\varepsilon$ used to build nearly planar front subsolutions and supersolutions in moving balls.","marker":"[13]"}],"fun_headline_variants":["Explicit spreading cones: who wins in R^N competition","One speed c_uv decides the R^N territory war","Ball plus cone: the winner's R^N spreading zone","Variational speed: the R^N interface formula","Explicit envelope: cone plus ball in R^N"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"Everything rests on the assumption that species $u$ locally wins (A3) and that the bistable front speed $c_{uv}$ is positive; when the initial patch of $u$ is too small, (A3) fails and the stated inner spreading no longer holds, and the paper only proves (A3) for initial data containing a sufficiently large ball.","fun_headline_variants_meta":{"raw":{"variants":["Explicit spreading cones: who wins in R^N competition","One speed c_uv decides the R^N territory war","Ball plus cone: the winner's R^N spreading zone","Variational speed: the R^N interface formula","Explicit envelope: cone plus ball in R^N"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000633,"raw_usage":{"total_tokens":2896,"prompt_tokens":897,"completion_tokens":1999,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":513,"completion_tokens_details":{"reasoning_tokens":1916}},"tokens_in":513,"tokens_out":1999,"duration_ms":14524,"temperature":1.0,"reasoning_tokens":1916,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-12T15:53:56.002305+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Construct a (C1) initial condition with $c_{uv}>0$ but a tiny support for $u$, smaller than the critical radius in Proposition 1.1. If the resulting solution converges locally to $(0,1)$, then Theorem 1.3's inner-$u$-spreading statement fails; a numerical or rigorous check of this case would settle the scope of the result.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the minimal speed and asymptotic spreading-speed results for the Fisher-KPP scalar equation that define $c_u$, $c_v$, and drive Lemma 3.4."},{"cited_title":"Kan-On, Parameter dependence of propagation speed of t ravelling waves for competition-diffusion equations, SIAM J","cited_arxiv_id":null,"evidence_quote":"Provides the existence, uniqueness, and qualitative properties of the bistable traveling front $(\\Phi,\\Psi)$ with speed $c_{uv}$ used throughout the comparison arguments."},{"cited_title":"Kan-On, Q","cited_arxiv_id":null,"evidence_quote":"Gives the monotonicity and convexity properties of the front profiles needed for the sub- and supersolution estimates in Sections 2 and 3."},{"cited_title":"Hamel, L","cited_arxiv_id":null,"evidence_quote":"Provides the definitions of bounded and unbounded directions, the enveloping-set formalism, and the proof strategy for the (C2) scenario."},{"cited_title":"Ducrot, T","cited_arxiv_id":null,"evidence_quote":"Supplies the multidimensional spreading-speed comparison lemmas (including Lemma 3.3 and Lemma 3.5) that establish convergence to $v=1$ in the intermediate annulus."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Gives the one-dimensional sharp spreading-speed results and the assumption (A3) that this paper generalizes to $\\mathbb{R}^N$."},{"cited_title":"Hamel, Bistable transition fronts in RN , Adv","cited_arxiv_id":null,"evidence_quote":"Provides the radial cut-off function $h_\\varepsilon$ used to build nearly planar front subsolutions and supersolutions in moving balls."}],"review_version":1}