{"id":"ab623f08-d875-4725-b977-5aea706edaf6","arxiv_id":"1908.07075","paper_version":3,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"For a homogenized predator-prey taxis model, a short-wavelength traveling wave stabilizes or destabilizes homogeneous quasi-equilibria depending on whether the wave speed exceeds a threshold, with exponentially strong amplitude effects.","lead":"This paper uses homogenization to show that a rapidly varying external signal changes both the drift and the effective motility of predators in a taxis model. Depending on the signal wave speed, increasing amplitude either stabilizes or destabilizes the uniform state, with exponential sensitivity.","discovery_kind":"first_principles","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The central claim about destabilizing/stabilizing exact short-wavelength patterns rests on unproven spectral convergence from the homogenized slow-mode analysis to the exact Floquet problem.","rationale":"I read the paper as a formal asymptotic analysis of a PKS system with a rapidly varying external signal. Within the homogenized model, the derivations are coherent: the cell problems, the drift formulas, the effective motility, and the Routh-Hurwitz stability analysis are algebraically consistent. The central claim, however, is phrased as a statement about the quasi-equilibria of the exact system, i.e., about short-wavelength patterns, while the stability proof concerns only the homogenized slow-envelope equations. The reader's weakest assumption identifies exactly this gap: no error estimates and no spectral convergence proof are supplied, and only slow perturbations of the homogenized variables are considered. This is a genuine limitation, but it does not render the formal theory worthless; it justifies a conditional rather than a full acceptance. The reader's CONDITIONAL verdict already reflects this, so my analysis does not move the verdict. The proposed numerical Floquet test would settle whether the formal homogenization correctly predicts the stability of the exact short-wavelength patterns in a concrete parameter regime.","tokens_in":19548,"tokens_out":24952,"duration_ms":266936,"concrete_test":"Direct numerical spectral test on the exact system: fix nu = delta_q = 1, nu_1 = nu_2 = 1, p_e = 2/3, q_e = 1/3, delta_u = delta_p = 1/omega, and signal f = A sin(omega(x - c t)) with c = 1/2 and c = 3/2 (c_* = sqrt(4/3) ~ 1.155). Build the leading-order pattern from (2.18)-(2.23), linearize (1.4)-(1.6) around it in the moving frame, and compute the largest real part of the Bloch spectrum for a = 3, 5 and omega = 64, 128, 256. Compare with the homogenized prediction obtained from v_e in (2.31), bar-kappa in (4.24), and the Appendix II characteristic polynomial. Convergence of the exact growth rates to the homogenized prediction would resolve the gap; any persistent discrepancy of sign or order-one growth-rate difference would invalidate the transfer.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The paper's headline statements are about quasi-equilibria of the exact system (1.4)-(1.6): increasing the amplitude destabilizes them when the wave speed exceeds the threshold, and stabilizes them otherwise (Abstract, Section 4.2). What is actually proved, formally, is the linear stability of the homogenized system (2.9)-(2.11) at bar-p = p_e, bar-q = q_e, bar-u = 0, using perturbations of the slow variables only. Appendix I derives (2.4)-(2.11) by a formal two-scale expansion with no error estimates, and no spectral convergence theorem connects the exact linearized operator around the 2*pi/omega-periodic pattern to the constant-coefficient operator (4.13)-(4.15). The exact operator is periodic in the moving frame and has a Bloch/Floquet structure; instabilities with non-slow quasi-momentum or resonant short-scale modes are not examined. The algebraic stability analysis in Appendix II is internally consistent: the characteristic polynomial, the threshold c_* in (4.23), and the critical motilities kappa_c^+- in (7.4) all check out. The gap is therefore not in the homogenized calculation but in transferring its conclusions to the original system. Since the central claim is about exact short-wavelength patterns, this missing spectral convergence is load-bearing.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies a one-dimensional Patlak-Keller-Segel predator-prey system with indirect prey-taxis, driven by an external short-wavelength signal. Using a formal two-scale homogenization expansion (Section 2, Appendix I), the authors derive an effective system for the slow variables, in which the external signal produces a residual drift and a modified effective motility. For the special case of an unmodulated travelling wave, they obtain explicit formulas for the drift and for the effective motility in terms of the signal profile and wave speed. They then define homogeneous quasi-equilibria and perform a linear stability analysis of these states within the homogenized system (Section 4.2, Appendix II). The central claim is that increasing the wave amplitude destabilizes the quasi-equilibria when the wave speed exceeds the threshold c_* in Eq. (4.23), and stabilizes them when the speed is below this threshold, with exponential dependence on amplitude in both cases. The paper presents the algebraic part of the stability analysis in detail, including the critical motilities in Eq. (7.4).","tokens_in":19722,"tokens_out":4961,"duration_ms":58637,"significance":"If the results were rigorously justified, the paper would make a useful contribution to the understanding of external-signal effects in cross-diffusion systems. The explicit threshold in Eq. (4.23), the sign-changing effect of the wave speed, and the exponential motility suppression are concrete and falsifiable predictions that go beyond the existing literature on homogeneous PKS systems. The paper also has strengths in presentation: the comparison with the signal-off case is a natural internal benchmark, the stability algebra in Appendix II is internally consistent, and the closed-form expressions allow direct numerical verification. However, the central claims are currently tied to a formal homogenization step without error bounds or a spectral convergence theorem, so the significance is conditional on closing that gap or on explicitly reframing the claims for the homogenized system only.","major_comments":[{"comment":"The derivation of the homogenized system (2.4)-(2.11) is formal. The text states that the approximation is obtained by an asymptotic expansion, and Appendix I itself describes the derivation as formal and gives no error estimates or convergence results for the remainder terms O(omega^{-1}) in the expansion. This gap is load-bearing because the abstract and Section 4.2 state conclusions about quasi-equilibria of the exact system (1.4)-(1.6), not merely of the homogenized system. Without an estimate showing that solutions of the exact system remain close to solutions of (2.9)-(2.11) for large finite omega, the paper cannot justify transferring stability conclusions from the homogenized equations to the original system. Please either supply such an estimate in suitable norms or explicitly restrict the claims of the paper to the homogenized system and revise the abstract accordingly.","section":"Section 2 and Appendix I"},{"comment":"The stability analysis considers only perturbations of the slow variables bar-u, bar-p, bar-q in the homogenized system (4.13)-(4.15). In contrast, a perturbation of an exact short-wavelength travelling-wave pattern solves a linear PDE with coefficients that are periodic in the moving coordinate, so the exact spectral problem has Bloch/Floquet structure. Slow perturbations correspond only to a subset of quasi-momenta; instabilities with non-slow or resonant short-scale modes are not examined. The paper provides no spectral-convergence theorem connecting the exact periodic-coefficient linearized operator to the constant-coefficient operator (4.13)-(4.15). Therefore the statement that for c > c_* increasing amplitude leads to total destabilization and that eigenmodes become unstable 'for every admissible set of the problem parameters' near Eq. (4.23) is not established for the original system. A numerical Floquet computation at finite omega or a rigorous spectral comparison would be needed to close this gap.","section":"Section 4.2"},{"comment":"The dichotomy between stabilization and destabilization relies on the limits in Eq. (2.33) and on the exponential decay of the effective motility factor in Eq. (4.24). These results are obtained from the Laplace asymptotics of Eq. (8.4), which assumes that the function s is analytic and has only non-degenerate critical points. The main text, however, states the stabilization/stabilization dichotomy for general unmodulated travelling waves f = A tilde-f(eta) without imposing those hypotheses. Moreover, Eq. (4.24) involves the derivative of Gamma_+ with respect to z, and the asymptotic expansion (8.4) is differentiated without a uniformity statement in z. Please either restrict the claims to the class of profiles covered by Appendix III or supply the additional regularity and uniformity assumptions under which the exponential decay and the limits in Eq. (2.33) hold.","section":"Section 4.2 and Appendix III"}],"minor_comments":[{"comment":"The threshold c_* is called 'independent' in the abstract and in Section 4.2, but the formula (4.23) shows that it depends on the wavenumber beta and on the parameters nu, q_e, and delta_q; it is independent of the amplitude a. Please clarify this qualifier in the text.","section":"Section 4.2, Eq. (4.23)"},{"comment":"The function s in Eq. (2.18) is defined through the right inverse partial_eta^{-1}, but the notation in Eq. (2.17) for exp_+- is hard to parse. A short explanation of the convention would improve readability.","section":"Section 2, Example 1"},{"comment":"The passage from the exact linearized system (4.1)-(4.3) to the homogenized linearization (4.13)-(4.15) is described in words. Since the equalities are central to the paper, the authors should state explicitly which terms are dropped and why, especially the absence of the diffusion terms delta_p and delta_u in the homogenized problem.","section":"Section 4.2"},{"comment":"The claim that the effect is 'exponential in the amplitude in both cases' is shown only under the analytic-profile assumptions of Appendix III. The abstract should carry the same qualification as the body to avoid overstating the class of signals covered.","section":"Abstract and Section 4.2"}],"recommendation":"major_revision","confidential_remarks":"The paper is formally coherent and the algebraic stability analysis is internally consistent, but the central claims are stated for the exact short-wavelength system while the analysis is carried out for a homogenized slow-mode system. The missing spectral-convergence or error-bound step is the main obstacle; if the authors reframe the paper as a formal homogenization study, the gap is less severe, but the current abstract, title, and Section 4.2 overstate the scope. I would recommend major revision with the explicit option of reframing the claims, rather than rejection, because the homogenized results themselves are novel and the algebraic derivations check out."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Short version: read Section 2 and Section 4.2 if you care about the algebra, and keep the abstract's \"quasi-equilibria\" language honest. The genuinely new thing is the homogenized drift operator: formula (2.27) and the effective motility expressions (4.18) and (4.24). I have not seen those in the PKS pattern-formation literature. The derivation is formal but the structure is clear: the fast wave produces a slow drift and a renormalized motility, and the traveling-wave case gives a threshold c_* separating stabilizing from destabilizing regimes. The internal algebra checks out — I re-did the Routh-Hurwitz/Hankel analysis and got the same kappa_c^+-.\n\nWhat I like: the homogeneous instability is re-derived in Appendix II rather than merely cited, so the signal-on/signal-off comparison is fair. The exponential motility suppression is a sharp, concrete qualitative prediction, and the formulas are explicit enough to test numerically without fitting parameters. That is real substance.\n\nSoft spots, in proportion. The load-bearing gap: the abstract says increasing amplitude destabilizes the quasi-equilibria of the exact system. What is actually analyzed is linear stability of the homogenized system (2.9)-(2.11) for slow perturbations only. Appendix I is a formal two-scale expansion with no error estimates, and there is no spectral convergence theorem connecting the exact linearized operator around the 2*pi/omega-periodic pattern (which has Bloch/Floquet structure) to the constant-coefficient operator (4.13)-(4.15). Non-slow modes and short-scale resonances are not examined. For a rigorous reader this is decisive; for a formal-asymptotics reader it is a known limitation. Either way, it should have been stated as such in the abstract. Second, there is no numerical validation of the original system. Given the whole point is the transfer, one or two direct simulations of (1.4)-(1.6) at large omega would have substantially raised confidence. That gap is moderate, not fatal, but it matters.\n\nThis paper is for people doing averaging or homogenization in taxis systems and for pattern-formation folks interested in external periodic forcing. The explicit formulas are likely to be reused. I would send it to a serious referee: the formal gap is exactly what referee pressure should address. If the authors add a rigorous transfer or numerical evidence, I would take the abstract at face value. As is, cite with the qualifier \"homogenized model.\"","headline":"Genuinely new homogenization result for PKS with short-wave signals, with clean explicit formulas and a plausible threshold mechanism, but the headline claim about exact short-wavelength patterns is only established for the homogenized slow-mode system, not for the original PDE.","tokens_in":20306,"tokens_out":1528,"would_cite":false,"duration_ms":17450,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["35B27","35B35","35K57","92D25"],"pacs":[],"model":"deepseek-v4-flash","headline":"For a prey-taxis system driven by a short-wavelength signal, the paper shows that the wave speed alone decides whether increasing amplitude stabilizes or destabilizes the pattern.","keywords":["Patlak-Keller-Segel","prey-taxis","indirect taxis","homogenization","residual drift","travelling wave","stability","quasi-equilibria"],"falsifier":"Run the exact system (1.4)–(1.6) with $f=A\\sin(\\omega x-\\omega c t)$ for large $\\omega$ and parameters with $c>c_*$; if the central claim is right, increasing $A$ beyond the value where $v_e>c_*$ should make a small perturbation of the homogeneous quasi-equilibrium grow, while for $c<c_*$ the same perturbation should decay with a rate set by the exponentially small effective motility. Comparing the computed growth rate to the cubic characteristic polynomial of Section 7.2 would settle the claim.","tokens_in":19284,"feed_emoji":"🌊","tokens_out":6891,"duration_ms":70015,"temperature":0.7,"pith_summary":"The paper studies a predator–prey system with Patlak–Keller–Segel prey-taxis driven partly by a short-wavelength external signal, and asks what the signal does to the stability of the simplest signal-imposed patterns. Using homogenization, it derives an effective system in which the signal's leading-order traces are a residual drift velocity and a rescaled effective motility. For a travelling-wave signal, the paper proves that the wave speed alone decides the sign of the amplitude effect: above a threshold $c_* = \\sqrt{\\nu(q_e+\\delta_q\\beta)/\\beta}$, increasing amplitude destabilizes every admissible mode, while below it increasing amplitude stabilizes and the effective motility decays exponentially. This matters because it shows that environmental fluctuations can tune pattern formation in a direction that is not monotone in intensity.","feed_headline":"Wave speed flips a signal from stabilizer to destabilizer","feed_subtitle":"In a predator–prey taxis model, raising wave amplitude stabilizes patterns only below a speed threshold, and destroys them above it.","key_machinery":"The machinery is the homogenization expansion of the inertial Patlak–Keller–Segel system in fast variables $\\xi=\\omega x$, $\\tau=\\omega t$, producing cell problems for the short-wave velocity $\\tilde u_0$ and the periodic density factor $P$, and closing on homogenized mean-field equations. The drift operator $V(\\tilde f)$ maps the mean predator velocity to the averaged short-wave flux $\\langle \\tilde u_0 P\\rangle$; its derivative at zero gives the effective motility factor $1+V'(\\tilde f)$, and its value at zero gives the residual drift $v_e$. For travelling waves the drift is expressed through the integral $\\Gamma_+$ via the formula $v = c - \\nu_2/\\Gamma_+$, and Laplace asymptotics of $\\Gamma_+$ as the amplitude grows supply both the exponential decay of the effective motility and the saturation of the residual drift at the wave speed. The linear stability analysis reduces to a cubic characteristic polynomial whose Hankel minors give the two critical motilities $\\kappa_c^\\pm$.","core_discovery":"The central claim is that a short travelling wave acts on the homogeneous quasi-equilibria through two homogenized quantities—the residual drift $v_e$ and the effective motility $\\bar{\\kappa}=(1+V'(\\tilde f))\\kappa$—and that the balance between them is controlled by the wave speed. Stability is decided by comparing $\\bar{\\kappa}$ with the lower critical curve $\\kappa_c^-(v_e,p_e,\\beta,\\delta)$; this curve becomes negative exactly when $|v_e|$ exceeds $c_* = \\sqrt{\\nu(q_e+\\delta_q\\beta)/\\beta}$. Since the residual drift approaches the wave speed as the amplitude grows, a wave with $c>c_*$ drives $v_e$ past $c_*$ and makes every eigenmode unstable for sufficiently large amplitude, whereas a wave with $c<c_*$ keeps $\\kappa_c^-$ positive while $\\bar{\\kappa}$ decays exponentially, so amplitude growth stabilizes. The paper states the threshold independently of the amplitude and emphasizes that both the stabilizing and destabilizing effects are exponential in the amplitude.","pith_inferences":["If the formal homogenization can be made rigorous with error estimates, the threshold $c_*$ should be observable in direct numerical simulations of the exact system at large but finite $\\omega$: the full periodic dispersion relation should show eigenvalues crossing the imaginary axis near the predicted amplitude.","The effective-motility formulas define an optimization problem over signal shapes with fixed variance; one could seek wave profiles that maximize or minimize the stabilization effect, a direction the paper itself mentions as open.","The same drift mechanism should appear in other Patlak–Keller–Segel-type cross-diffusion systems with external short waves; a testable analogue would be a chemotaxis system with an oscillating chemoattractant source, where a similar speed threshold might emerge.","Standing waves and slowly modulated travelling waves, which the paper lists as future work, would have time-periodic homogenized coefficients; Floquet analysis might reveal a banded version of the threshold rather than a single $c_*$."],"forward_implications":["For stationary or slow waves ($c<c_*$), sufficiently large amplitude gives absolute stabilization: the effective motility drops below the threshold $\\kappa_*$, so no quasi-equilibrium of any density or wavenumber is unstable.","For fast waves ($c>c_*$), sufficiently large amplitude makes the lower critical motility negative, so every admissible eigenmode is unstable and the stabilizing stability diagram is impossible.","When destabilization occurs, it begins at the short-wave end of the spectrum: modes with $\\beta > \\beta_* = q_e\\nu/(v_e^2-\\nu\\delta_q)$ are the first to go unstable.","The drift breaks reflectional symmetry, splitting the double neutral mode of the homogeneous problem into two simple neutral waves—one upstream and one downstream relative to the drift—and the upstream wave is the stability threshold.","In the large-amplitude limit the system degenerates to almost neutral waves propagating at nearly the external wave speed, leaving a weakly unstable regime where nonlinear interactions with previously bifurcated waves can occur."],"supporting_citations":[{"why":"Supplies the homogeneous-system oscillatory instability and the baseline critical motility that the quasi-equilibrium theory must reduce to when the signal is switched off.","marker":"[5]"},{"why":"Establishes the wave-excitation and density-dependence scenario for the homogeneous system that motivates the comparison with the signal-driven case.","marker":"[6]"},{"why":"Formulates the indirect prey-taxis model from which the paper's inertial system is derived.","marker":"[10]"},{"why":"Provides the equivalence between the indirect taxis system and the inertial form used throughout the paper.","marker":"[11]"},{"why":"Supplies the indirect-signal-production modelling context and boundedness results that frame the system's validity.","marker":"[13]"},{"why":"Identifies the Stokes-drift interpretation for averaged transport by oscillating velocities, which the residual drift realizes here.","marker":"[22]"},{"why":"Strong maximum principle used in the appendix to prove existence and uniqueness of the periodic cell problem defining the drift operator.","marker":"[28]"}],"fun_headline_variants":["Wave speed threshold flips stabilizing signal to destabilizer","Amplitude's effect on patterns hinges on wave speed","Slow waves stabilize, fast waves destabilize as amplitude grows","Speed threshold decides if amplitude stabilizes or destroys patterns"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The paper assumes the formal short-wave expansion gives the exact leading-order dynamics as $\\omega\\to\\infty$ and that stability of the homogenized quasi-equilibrium matches stability of the true short-wavelength pattern; no rigorous error or spectral convergence proof is supplied.","fun_headline_variants_meta":{"raw":{"variants":["Wave speed threshold flips stabilizing signal to destabilizer","Amplitude's effect on patterns hinges on wave speed","Slow waves stabilize, fast waves destabilize as amplitude grows","Speed threshold decides if amplitude stabilizes or destroys patterns"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000706,"raw_usage":{"total_tokens":3211,"prompt_tokens":1000,"completion_tokens":2211,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":616,"completion_tokens_details":{"reasoning_tokens":2146}},"tokens_in":616,"tokens_out":2211,"duration_ms":15812,"temperature":1.0,"reasoning_tokens":2146,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T12:28:02.972233+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Run the exact system (1.4)–(1.6) with $f=A\\sin(\\omega x-\\omega c t)$ for large $\\omega$ and parameters with $c>c_*$; if the central claim is right, increasing $A$ beyond the value where $v_e>c_*$ should make a small perturbation of the homogeneous quasi-equilibrium grow, while for $c<c_*$ the same perturbation should decay with a rate set by the exponentially small effective motility. Comparing the computed growth rate to the cubic characteristic polynomial of Section 7.2 would settle the claim.","supporting_citations":[{"cited_title":"Slow taxis in a predator-prey model","cited_arxiv_id":null,"evidence_quote":"Supplies the homogeneous-system oscillatory instability and the baseline critical motility that the quasi-equilibrium theory must reduce to when the signal is switched off."},{"cited_title":"Directed movement of preda- tors and the emergence of density-dependence in predator–prey models","cited_arxiv_id":null,"evidence_quote":"Establishes the wave-excitation and density-dependence scenario for the homogeneous system that motivates the comparison with the signal-driven case."},{"cited_title":"Predator–prey model with diffusion and indirect prey-taxis","cited_arxiv_id":null,"evidence_quote":"Formulates the indirect prey-taxis model from which the paper's inertial system is derived."},{"cited_title":"Prey-taxis destabilizes homogeneous stationary state in spatial Gause–Kolmogorov-type model for predator–prey system","cited_arxiv_id":null,"evidence_quote":"Provides the equivalence between the indirect taxis system and the inertial form used throughout the paper."},{"cited_title":"Boundedness in a chemotaxis system with indirect signal production and generalized logistic source","cited_arxiv_id":null,"evidence_quote":"Supplies the indirect-signal-production modelling context and boundedness results that frame the system's validity."},{"cited_title":"Two-Timing Hypothesis, Distinguished Limits, Drifts, and Pseudo-Diffusion for Oscillating Flows","cited_arxiv_id":null,"evidence_quote":"Identifies the Stokes-drift interpretation for averaged transport by oscillating velocities, which the residual drift realizes here."},{"cited_title":"A strong maximum principle for parabolic equations","cited_arxiv_id":null,"evidence_quote":"Strong maximum principle used in the appendix to prove existence and uniqueness of the periodic cell problem defining the drift operator."}],"review_version":1}