{"id":"126214cc-051a-44d5-8f34-2e4808a861a5","arxiv_id":"2508.21151","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":4.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"For the mixed-diffusion Fisher-KPP equation, fronts spread at the exponential rate f'(0)/(N+2s) and no nonconstant traveling wave exists: the fractional Laplacian dictates the asymptotics.","lead":"This mathematics paper shows that in a Fisher-KPP equation with both ordinary diffusion and long-range jump diffusion, the jump part wins: the invasion front spreads exponentially in time and no traveling wave exists. It extends the known pure-fractional analysis to the mixed operator, deferring several key proof steps to earlier work.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The lower-bound engine (Lemma 4.3) is asserted, not proved: no valid comparison principle is supplied for the mild solutions it invokes, and the profile-preservation computation is omitted.","rationale":"The reader's weakest assumption is exactly the load-bearing point: Lemma 4.3's iterative 'profile preservation' is the engine of the exponential lower bound and of the non-existence of traveling waves, and the paper does not supply the required computation. I do not see a fatal flaw that would force REJECT: the result is plausible, the kernel bounds from Song--Vondracek are genuine external inputs, and the absent argument is likely fillable. However, the gap is real and central. In particular, Proposition 3.7 as stated does not apply to the mild solution used in Lemma 4.3, and the paper's own Remark 3.11 concedes this. Theorem 3.10 has different hypotheses and no subsolution satisfying them is constructed. The statement of Proposition 2.4 also contains an upper bound that is false as written for small t, but that appears to be a typo and is not used in the decisive step. Because the missing comparison/propagation computation is the foundation of the paper's main conclusion, a referee should require it before the claims are accepted. This does not change the reader's CONDITIONAL verdict; it confirms it.","tokens_in":19128,"tokens_out":22539,"duration_ms":243735,"concrete_test":"Independently re-derive the one-step of Lemma 4.3 for the mixed kernel without invoking Proposition 3.7 for mild solutions. Concretely, choose ρ with σ(N+2s)<ρ<f′(0), set w(t,x)=e^{ρt}T_t v0(x), and verify (i) w_t+Lw=ρw≤f(w) on the region where w is used, and (ii) w(t0,x)≥a1|x|^{-N-2s} on |x|≥r1 using the lower bound in (14)-(15). If (i) fails because w exceeds the range where f(s)≥ρs, identify the modified subsolution used in [8] and check whether its proof relies on self-similarity of the fractional kernel that H does not possess. A successful derivation fills the gap; failure shows the lower-bound theorem is not established.","verdict_should_be":"UNCHANGED","load_bearing_attack":"All of Theorem 2.6 and Theorem 2.7(b) rest on Lemma 4.3, whose one-step iterative claim is that v(t0,·) ≥ v1 with r1 ≥ r0 e^{σt0}. The proof says only that Proposition 3.7 (comparison) proves it. But Proposition 3.7 applies to functions in C^1([0,∞);Xγ) with v(t,·)∈Dγ(L); Lemma 4.3's v is a mild solution in L^1∩L^∞, and no argument shows it has that regularity. The authors themselves note in Remark 3.11 that Proposition 3.7 is not directly applicable to mild/classical solutions, and Theorem 3.10 requires both competitors to be classical with O(|x|^{-N-2s}) decay; no such subsolution is exhibited in Lemma 4.3. Because the mixed kernel H is not self-similar (unlike the fractional kernel p_s), the transfer of [8, Lemma 3.1] is not automatic: one must prove the profile-preservation estimate from (14)-(15), a nonlinear lower bound f(v)≥ρv on a suitable range, and a valid comparison theorem. This missing computation is the engine of Corollary 4.4, Lemma 4.5, Theorem 2.6, and Theorem 2.7(b). If it cannot be carried out, the central fractional-dominance conclusion is unsupported; no other part of the paper supplies a substitute.","agreement_with_reader":"agree"},"referee_report":null,"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The paper extends the Cabré–Roquejoffre result to the mixed Fisher–KPP equation u_t – Δu + (–Δ)^s u = f(u), and I believe the headline claims are true: the fractional term dictates the spreading rate σ* = f'(0)/(N+2s) and excludes nonconstant traveling waves. That is a natural and useful result, and the paper is honest about what it is doing: it follows [8] and uses the Song–Vondracek kernel bounds as the external input.\n\nWhat is genuinely new are the semigroup estimates in the weighted spaces Xγ (Propositions 3.4–3.5), and the clean representation of the mixed heat kernel as the convolution of the Gaussian and fractional kernels. The upper-bound side of the spreading theorem, Lemma 4.1, is sketched plausibly from (14). The paper also flags its own limitations in Remark 3.11, which I take as a sign of honesty.\n\nThe problem is Lemma 4.3. That lemma is the engine for Corollary 4.4, Lemma 4.5, Theorem 2.6, and the lower-bound half of Theorem 2.7, and its proof is one sentence: 'by applying the comparison principle given in Proposition 3.7 one can prove… profile preservation.' Proposition 3.7 requires v ∈ C^1([0,∞);Xγ) and v(t) ∈ Dγ(L) at each time. The mild solution with a piecewise power-law initial datum is not shown to have that regularity, and Remark 3.11 explicitly says Proposition 3.7 is not directly applicable to the needed solution class. For the purely fractional kernel, the profile-preservation step is a computation with a self-similar kernel; here the mixed kernel has two regimes in (14)–(15), so the computation cannot be taken verbatim from [8]. That computation is absent. Lemma 4.2, used for convergence to 1 behind the front, is also asserted with 'we omit them'. And Proposition 2.4 states H(t,x) ≤ C t^{1/(2s)} for all t>0, which fails as t→0: the Gaussian part gives sup_x H(t,·) ~ t^{-N/2}. These are fillable gaps, but they are load-bearing.\n\nYou asked for my take: the paper deserves a serious referee, and I would send it out, but the referee should be told to demand the missing kernel computation and a comparison theorem that genuinely covers the mild solutions. I would not cite it in this form. If the gap closes, the paper is a solid contribution for people working on mixed local/nonlocal reaction–diffusion models.","headline":"Credible and likely true theorem, but the key invasion lemma is asserted, not proved, so the paper needs a major gap-filled revision before I'd rely on it.","tokens_in":19971,"tokens_out":4772,"would_cite":false,"duration_ms":44760,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["35K57","35R11","35B40","35C07","47D06"],"pacs":[],"model":"deepseek-v4-flash","headline":"The mixed local-nonlocal Fisher–KPP equation spreads exponentially at rate σ*=f′(0)/(N+2s) and has no nonconstant planar traveling waves.","keywords":["Fisher-KPP equation","mixed local-nonlocal diffusion","fractional Laplacian","heat kernel estimates","exponential spreading rate","nonexistence of traveling waves","comparison principle","asymptotic propagation"],"falsifier":"Compute, via the two-sided bounds (14)–(15), the convolution T_{t0} v0 of the mixed heat kernel with the initial profile v0 of Lemma 4.3 and check whether v(t0,x) ≥ a1 |x|^{−N−2s} on |x| ≥ r0 e^{σ t0}. If the Gaussian part of H suppresses the tail so much that this inequality fails for some t0 ≥ 1, the induction in Lemma 4.3 and the exponential spreading of Theorem 2.7(b) would not follow.","tokens_in":18876,"feed_emoji":"🧬","tokens_out":8369,"duration_ms":87030,"temperature":0.7,"pith_summary":"The paper asks what happens to Fisher–KPP propagation when diffusion is both classical and fractional, via the mixed operator L = −Δ + (−Δ)^s. It establishes that the fractional part wins: for concave monostable nonlinearities there are no nonconstant planar traveling waves, and every nontrivial solution starting from a suitably decaying initial datum spreads exponentially, with a sharp rate σ* = f′(0)/(N+2s). This matters because mixed local-nonlocal diffusion models populations that combine ordinary Brownian movement with rare long jumps; the result says the long jumps set the invasion speed, while short-range diffusion only modifies the shape of the front.","feed_headline":"Fractional term fixes exponential spread in mixed Fisher–KPP equation","feed_subtitle":"With both Brownian and Lévy diffusion, the nonlocal part sets the invasion rate and eliminates traveling fronts.","key_machinery":"The load-bearing object is the mixed heat kernel H(t,z) = (4πt)^{-N/2} ∫ e^{-|z−y|²/(4t)} p^(s)(t,y) dy, the convolution of the Gaussian heat kernel with the fractional heat kernel. Its two-sided estimates (14)–(15) — which switch between Gaussian and fractional regimes and show the fractional tail dominates for t ≥ 1 — support the definition of mild solutions, the boundedness of the semigroup on weighted spaces Xγ, the comparison principles, and the iterative 'same profile with larger radius' lemma that produces the exponential spreading lower bound.","core_discovery":"The central discovery is that the heat kernel of L = −Δ + (−Δ)^s is, for large times, comparable to the fractional heat kernel alone: H(t,x) is the convolution of the Gaussian kernel with the fractional heat kernel, and for t ≥ 1 or |x| ≥ 1 it retains the same algebraic tail as the fractional kernel. Using this kernel, the paper proves Theorem 2.6: the only [0,1]-valued planar traveling waves of (5) are the constants 0 and 1. It also proves Theorem 2.7: if 0 ≤ u0 ≤ 1 and u0(x) ≤ C|x|^{-N−2s}, then for σ > σ* the solution tends to 0 uniformly in {|x| ≥ e^{σt}}, while for σ < σ* it tends to 1 uniformly in {|x| ≤ e^{σt}}. Thus the fractional Laplacian dictates the asymptotic exponential propaga","pith_inferences":["A direct numerical experiment with compactly supported initial data should show level sets of (5) growing like e^{σ* t} for a range of local-diffusion strengths, in stark contrast with the linear level-set growth of the classical KPP equation; the paper's theorem predicts the rate is independent of the local-diffusion coefficient.","The same kernel-comparison machinery likely extends to other concave monostable nonlinearities or to nonlocal kernels with stable-like tails, provided two-sided heat-kernel bounds analogous to (14)–(15) are available; the paper does not pursue that generalization.","If a second-order correction to the front location exists — for instance a logarithmic delay as in classical KPP — it would be invisible to the uniform statements in Theorem 2.7; detecting it would require tracking level sets with finer precision than e^{σt}.","The iterative step in Lemma 4.3 could be made fully explicit by a direct convolution estimate; until such a computation is displayed, the lower-bound exponential spreading rests on an asserted but plausible induction."],"forward_implications":["If the central claim is correct, every nontrivial solution with power-law-decaying initial data has level sets that advance like e^{σ* t}, not at the linear speed seen in classical KPP equations.","Ahead of the moving ball {|x| ≥ e^{σt}} with σ > σ*, the solution is uniformly close to 0; behind {|x| ≤ e^{σt}} with σ < σ*, it is uniformly close to 1, so the exponential rate is sharp.","No nonconstant planar traveling wave exists for the mixed operator, so the familiar constant-speed KPP front is absent whenever fractional diffusion is present alongside classical diffusion.","The sharp rate depends only on f′(0) and N+2s, not on the classical Laplacian's local smoothing, so the long-time invasion speed is governed by the Levy-jump component rather than by Brownian motion.","The same kernel-comparison mechanism explains the 'initial layer': even at early times the fractional tail of H can dominate and start the exponential acceleration before the Gaussian part has spread the mass locally."],"supporting_citations":[{"why":"Supplies the template result and proof strategy: exponential spreading with rate f′(0)/(N+2s), nonexistence of traveling waves, and the iterative lower-bound construction that the mixed-operator paper adapts.","marker":"[8]"},{"why":"Provides the two-sided kernel estimates (14)–(15) for a mixture of Brownian motion and a stable process; these bounds carry the semigroup estimates and Lemmas 4.1–4.3.","marker":"[24]"},{"why":"Gives the operator-theoretic realization of −Δ + (−Δ)^s, the associated heat semigroup, and global well-posedness facts used to define mild solutions.","marker":"[7]"},{"why":"Establishes the classical KPP linear-spreading theorem and traveling-wave existence against which the mixed-diffusion results are contrasted.","marker":"[1]"},{"why":"Introduces the KPP equation and the logistic reaction term f(u) = u(1−u) that the paper's hypotheses (4) generalize.","marker":"[20]"}],"fun_headline_variants":["Fractional Laplacian sets exponential spread in Fisher-KPP","No traveling waves: nonlocal diffusion rules long-time spread","Mixed diffusion: fractional term dominates spreading rate","Lévy term wins: exponential growth, no fronts in Fisher-KPP"],"cache_read_input_tokens":2688,"weakest_assumption_plain":"The exponential lower bound rests on the assertion in Lemma 4.3 that the solution keeps the same algebraic tail shape, with radius multiplied by e^{σ t0}, after every time step t0; the paper states this follows from the comparison principle but does not display the kernel computation that would prove it.","fun_headline_variants_meta":{"raw":{"variants":["Fractional Laplacian sets exponential spread in Fisher-KPP","No traveling waves: nonlocal diffusion rules long-time spread","Mixed diffusion: fractional term dominates spreading rate","Lévy term wins: exponential growth, no fronts in Fisher-KPP"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000177,"raw_usage":{"total_tokens":1134,"prompt_tokens":753,"completion_tokens":381,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":497,"completion_tokens_details":{"reasoning_tokens":312}},"tokens_in":497,"tokens_out":381,"duration_ms":4762,"temperature":1.0,"reasoning_tokens":312,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-05T14:35:51.689340+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute, via the two-sided bounds (14)–(15), the convolution T_{t0} v0 of the mixed heat kernel with the initial profile v0 of Lemma 4.3 and check whether v(t0,x) ≥ a1 |x|^{−N−2s} on |x| ≥ r0 e^{σ t0}. If the Gaussian part of H suppresses the tail so much that this inequality fails for some t0 ≥ 1, the induction in Lemma 4.3 and the exponential spreading of Theorem 2.7(b) would not follow.","supporting_citations":[{"cited_title":"Cabr´ e and J.-M","cited_arxiv_id":null,"evidence_quote":"Supplies the template result and proof strategy: exponential spreading with rate f′(0)/(N+2s), nonexistence of traveling waves, and the iterative lower-bound construction that the mixed-operator paper adapts."},{"cited_title":"Song and Z","cited_arxiv_id":null,"evidence_quote":"Provides the two-sided kernel estimates (14)–(15) for a mixture of Brownian motion and a stable process; these bounds carry the semigroup estimates and Lemmas 4.1–4.3."},{"cited_title":"Biagi, F","cited_arxiv_id":null,"evidence_quote":"Gives the operator-theoretic realization of −Δ + (−Δ)^s, the associated heat semigroup, and global well-posedness facts used to define mild solutions."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Establishes the classical KPP linear-spreading theorem and traveling-wave existence against which the mixed-diffusion results are contrasted."},{"cited_title":"Kolmogorov, I","cited_arxiv_id":null,"evidence_quote":"Introduces the KPP equation and the logistic reaction term f(u) = u(1−u) that the paper's hypotheses (4) generalize."}],"review_version":1}