{"id":"58f2ee56-0897-4170-b8cd-bcbf410dd899","arxiv_id":"2607.08190","paper_version":1,"verdict":"ACCEPT","confidence":"HIGH","novelty_score":6.5,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"Gray modes bifurcating from maxima of the effective potential M(s) are spectrally unstable for small impurity strength, via Evans-function expansion of the linearized operator.","lead":"This paper proves that gray solitons in a 1D Gross-Pitaevskii equation with a weak moving impurity bifurcate into families of steady states that are spectrally unstable when they sit at maxima of an effective potential. The result gives a rigorous mathematical explanation for the drag and soliton emission seen when impurities move through superfluids.","discovery_kind":"extension","skeptic_critique":{"model":"grok-4.5","headline":"No significant objection identified","rationale":"The central claim (spectral instability of gray modes bifurcating from maxima of the effective potential M for small ε>0) is supported by a complete Lyapunov–Schmidt existence argument followed by an Evans-function expansion whose coefficients are computed from first principles. The only technical point that could undermine the expansion is the analytic continuation of E(λ,ε) across the essential spectrum; the paper supplies a self-contained justification (Lemmas 4.5, 4.7 and Appendix A) that follows standard Gap-Lemma techniques and appears free of gaps. The formal delta-potential application is explicitly non-rigorous and does not enter the main theorems. Consequently the reader's ACCEPT verdict with high confidence and low correctness risk stands; no adjustment is warranted.","tokens_in":37695,"tokens_out":559,"duration_ms":7313,"concrete_test":"Independently recompute the third-order coefficient B³_λ E(0) in Proposition 4.10 by evaluating the Wronskian of the four fundamental solutions of the unperturbed first-order system at λ=0 (using the explicit modes u1,u3,u4 and the adjoint solutions of Section 4.1.3); confirm that it equals −48√(1−v^{2}) and therefore recovers −2P_r'(v). Agreement validates the leading term that drives the instability criterion.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The reader's weakest assumption (analytic continuation of the Evans function through λ=0) is the natural soft spot, but the paper addresses it carefully. Lemmas 4.2–4.5 establish that the four eigenvalues of the asymptotic matrices M±(λ) form cycles of period one and remain holomorphic near λ=0; the eigenvectors are constructed explicitly and shown analytic (Section 4.0.4). Appendix A then adapts the Gap-Lemma construction of Kapitula–Sandstede to obtain an analytic Evans function on a neighborhood of the origin that intersects the essential spectrum. The subsequent Taylor expansion (Proposition 5.3) and the resulting eigenvalue asymptotics (Corollary 5.4) rest on this foundation. No internal inconsistency or unjustified step appears in the argument for smooth exponentially decaying potentials. The formal transfer to a delta impurity is clearly labeled as non-rigorous and does not affect the main theorems.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.5","summary":"The paper studies the one-dimensional Gross-Pitaevskii equation with a smooth, exponentially localized potential moving at constant subsonic speed v \neq 0. In the co-moving frame it proves, via Lyapunov-Schmidt reduction on the hydrodynamic formulation, the existence of a family of gray modes ϕ_ε,v(x-s_ε) that bifurcate from a translated gray soliton ϕ_0,v(x-s_0), where s_0 is a simple critical point of the effective potential M(s)=∫V(x)[1-|ϕ_0,v(x-s)|^{2}]dx (Proposition 1.1 / 2.1). Spectral stability is analyzed by linearization about these modes and construction of an Evans function E(λ,ε). After establishing analytic continuation of E through a neighborhood of the origin that intersects the essential spectrum (Lemmas 4.2–4.7 and Appendix A), a third-order Taylor expansion is obtained: E(λ,ε)=-2P_r'(v)λ^{3}-2M''(s_0)ελ+O(λ^{4},λ^{2}ε,λε^{2}). Consequently, when M''(s_0)<0 and ε>0 is small, a pair of eigenvalues satisfies λ^{2}=-(M''(s_0)/P_r'(v))ε+O(ε^{3/2}), proving spectral instability (Corollary 1.3 / 5.4). The same formal expansion is applied to a repulsive delta impurity.","tokens_in":37901,"tokens_out":834,"duration_ms":7925,"significance":"The work supplies the first rigorous spectral-instability proof for gray modes bifurcating from gray solitons under a moving impurity, extending the black-soliton analysis of Pelinovsky–Kevrekidis to the genuinely complex, non-off-diagonal case v\neq0. The effective-potential criterion M''(s_0)<0 is explicit, parameter-free, and immediately applicable to the physically relevant Gaussian laser potential. The Evans-function construction, including the verification that the asymptotic eigenvalues form period-one cycles and the Gap-Lemma continuation, is carried out with complete coefficient computations; these technical ingredients are of independent interest for edge bifurcations in non-self-adjoint Hamiltonian systems. The formal delta-potential application recovers the leading-order formula previously observed numerically, closing a gap between rigorous analysis and the physics literature on superfluid drag.","major_comments":[],"minor_comments":[{"comment":"In the expansion of Ep(λ) at v=0 (Remark 4.7) the authors note a factor-of-two discrepancy with Kapitula–Rubin; a short sentence clarifying that the missing contribution is precisely the term (118) would help readers reconciling the two calculations.","section":null},{"comment":"Figure 1 shows M''(0) versus σ only for v=0.5; a brief remark that the sign remains negative for all v\notin{0} (by the change of variables already mentioned) would make the Gaussian example self-contained.","section":null},{"comment":"The formal transfer to the delta potential (Section 6) is clearly labeled non-rigorous; a single sentence indicating that a rigorous justification would require eigenvalue convergence under approximation of δ by smooth potentials would forestall any misreading.","section":null},{"comment":"Typographical: several instances of “Frech´et” and “Mari¸s” retain residual encoding artifacts; a global clean-up of accents would improve readability.","section":null}],"recommendation":"accept","confidential_remarks":"The manuscript is technically solid and fits the journal’s scope for rigorous analysis of nonlinear dispersive PDEs. The only soft spot is the formal delta-potential section, which the authors already flag; it does not affect the main theorems. I see no reason to delay acceptance."},"author_rebuttal":null,"desk_editor":{"model":"grok-4.5","letter":"This paper closes a concrete gap: it gives the first rigorous existence of gray modes for v \neq 0 (via Lyapunov–Schmidt on the hydrodynamic system) and the first spectral-instability proof for the associated non-off-diagonal linearization. The main theorem is clean: when s0 is a simple critical point of M with M''(s0) < 0, the family φ_ε,v that bifurcates from the displaced gray soliton is unstable for small ε > 0, with eigenvalues satisfying λ^{2} = –(M''(s0)/P_r'(v))ε + O(ε^{3/2}).\n\nWhat works well is the technical care. Existence (Prop. 2.1) is standard but complete. The Evans-function construction for the unperturbed operator is thorough: they show the four asymptotic eigenvalues form period-one cycles and remain holomorphic at λ = 0 (Lemmas 4.2–4.5), construct analytic eigenvectors explicitly, and extend the Evans function across the essential spectrum via a Gap-Lemma argument (Appendix A). The third-order Taylor expansion is computed by hand with explicit coefficients involving the renormalized-momentum derivative P_r' and M''; the algebra checks out. The formal transfer to a delta impurity is clearly labeled and does not affect the main theorems.\n\nThe soft spots are minor and already flagged by the authors. The analytic continuation of the Evans function is the load-bearing step; they handle it carefully, but it remains the place a referee will poke. Higher-order terms needed for the M'' > 0 case are left open, and the delta-potential claim is only formal. Neither undermines the core result for smooth exponentially decaying V.\n\nThis is for people who work on spectral stability of NLS/GP traveling waves or on mathematical models of superfluid drag. The math is solid, the citations are appropriate, and there is no circular fitting. I would send it to a serious referee without hesitation; it is ready for peer review and, with the usual polishing, for a good journal in the area.","headline":"Solid Evans-function proof that gray modes bifurcating from maxima of the effective potential are spectrally unstable for small positive ε; first rigorous treatment of the non-off-diagonal case.","tokens_in":38530,"tokens_out":556,"would_cite":true,"duration_ms":30271,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["35Q55","35B35","35B32","37K45","37K50"],"pacs":[],"model":"grok-4.5","headline":"Gray modes that sit at maxima of the impurity's effective potential are spectrally unstable for every subsonic nonzero speed.","keywords":["Gross-Pitaevskii equation","gray soliton","moving impurity","Evans function","spectral instability","effective potential","superfluidity","edge bifurcation"],"falsifier":"Compute the spectrum of the linearized operator about an explicit gray mode for a smooth, even, repulsive Gaussian potential of small amplitude and check whether a conjugate pair of eigenvalues with positive real part appears precisely when M''(0)<0.","tokens_in":38575,"feed_emoji":"⚡","tokens_out":600,"duration_ms":6205,"temperature":0.7,"pith_summary":"The paper studies a one-dimensional Gross-Pitaevskii condensate that contains a localized impurity moving at constant subsonic speed. In the co-moving frame it constructs a family of steady gray modes that bifurcate from a translated gray soliton; the translation is fixed by a critical point of an effective potential built from the impurity profile. Using an Evans-function expansion around the origin, the authors then prove that whenever that critical point is a non-degenerate maximum and the impurity strength is small and positive, the linearized operator about the gray mode possesses a pair of eigenvalues with positive real part. The same formal calculation applied to a repulsive delta impurity yields the identical instability. The result therefore supplies a rigorous spectral obstruction to frictionless motion of the impurity once the gray mode has formed.","feed_headline":"Gray modes at impurity maxima are spectrally unstable","feed_subtitle":"An Evans-function expansion shows unstable eigenvalues for every subsonic nonzero speed","key_machinery":"The Evans function E(λ,ε) associated with the first-order spatial system of the linearized operator L_ε; after analytic continuation through a neighborhood of the origin it admits the expansion E(λ,ε) = -2P_r'(v)λ^{3} - 2M''(s0)ελ + higher-order terms whose zeros locate the unstable eigenvalues.","core_discovery":"For every nonzero subsonic velocity and every simple critical point s0 of the effective potential M at which M''(s0)<0, the family of gray modes that bifurcates from the gray soliton centered at s0 is spectrally unstable for all sufficiently small positive impurity strengths; the unstable eigenvalues satisfy λ² = -(M''(s0)/P_r'(v))ε + O(ε^{3/2}).","pith_inferences":[],"forward_implications":[],"fun_headline_variants":["Gray modes at impurity maxima prove spectrally unstable","Subsonic gray solitons unstable near effective potential peaks","Impurity maxima yield unstable gray soliton families","Spectral instability of gray modes from M''(s0)<0 points","Small impurities destabilize gray solitons at potential maxima"],"cache_read_input_tokens":26752,"weakest_assumption_plain":"The Evans function can be continued analytically through a neighborhood of zero that intersects the essential spectrum, so that its Taylor expansion remains valid for the edge bifurcation.","fun_headline_variants_meta":{"raw":{"variants":["Gray modes at impurity maxima prove spectrally unstable","Subsonic gray solitons unstable near effective potential peaks","Impurity maxima yield unstable gray soliton families","Spectral instability of gray modes from M''(s0)<0 points","Small impurities destabilize gray solitons at potential maxima"]},"model":"grok-4.5","effort":"low","cost_usd":0.0087,"raw_usage":{"total_tokens":2042,"prompt_tokens":792,"num_sources_used":0,"completion_tokens":79,"cost_in_usd_ticks":87000000,"prompt_tokens_details":{"text_tokens":792,"audio_tokens":0,"image_tokens":0,"cached_tokens":256},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":1171,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":792,"tokens_out":79,"duration_ms":11203,"temperature":1.0,"reasoning_tokens":1171,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-07-10T11:37:35.854984+00:00","model_set":{"reader":"grok-4.5"},"falsifier":"Compute the spectrum of the linearized operator about an explicit gray mode for a smooth, even, repulsive Gaussian potential of small amplitude and check whether a conjugate pair of eigenvalues with positive real part appears precisely when M''(0)<0.","supporting_citations":[],"review_version":1}