{"id":"45fac523-8a16-4efa-aa33-07866d3f8022","arxiv_id":"2607.07115","paper_version":1,"verdict":"ACCEPT","confidence":"HIGH","novelty_score":6.0,"correctness_risk":"unknown","formal_verification":"none","parameter_count":0,"one_line_summary":"The 1D Gross-Pitaevskii equation with a traveling delta potential is globally well-posed in the energy space, and the higher-density stationary state below the critical velocity is orbitally stable.","lead":"This paper proves that the 1D Gross-Pitaevskii equation with a moving delta-function impurity has well-defined global solutions, and that the stationary state with higher density is orbitally stable below a critical velocity. This provides a rigorous mathematical foundation for superfluidity in a simplified 1D model.","discovery_kind":"unclear","skeptic_critique":{"model":"glm-5.2","headline":"No significant objection identified. The Grönwall estimate and density argument in Proposition 8.1 are correctly justified; the orbital stability proof follows established concentration-compactness methods adapted properly.","rationale":"The reader correctly identified the Grönwall estimate in Proposition 8.1 as the most delicate step. I traced through this argument and the subsequent density extension in detail: the constant C'(u_0) is continuous with respect to d_8 because it depends on quantities controlled by |u_0|_E (Lemma 2.1, Lemma 2.3), and the uniform bound on approximating sequences is valid. The orbital stability proof (Theorem 1.5) follows the established Cazenave-Lions framework with concentration-compactness from Bethuel et al. [10], adapted correctly to the singular potential setting. The translation non-invariance from the delta term is handled properly in Proposition 9.6. The conservation of K on U_0 (Lemma 8.3) relies on the integer-fixing argument via Lemma 7.8 and continuity, which is sound. No circular reasoning, no unjustified assumptions, no free parameters. The paper makes solid progress within an established mathematical program, adapting known techniques to the moving-impurity case. The verdict of ACCEPT with HIGH confidence is appropriate.","tokens_in":56817,"tokens_out":9501,"duration_ms":357355,"concrete_test":"Independently re-derive the bound on the delta potential term in the Grönwall computation (the term -2γℜ(i(u(t,0)-u_0(0))u(t,0)) in the d/dt||u-u_0||²_{L²} estimate of Proposition 8.1) using Lemma 2.1's bound ||u||_{L∞} ≤ C(1+|u|^{2/3}_E) to verify it yields a contribution to C'(u_0) that is continuous under d_8-convergence. This is the one step where the singular potential interacts with the global bounds most nontrivially.","verdict_should_be":"UNCHANGED","load_bearing_attack":"After tracing the two main arguments carefully, I do not find a load-bearing concern that lands. (1) For global well-posedness: the Grönwall estimate (Eq. 70) in Proposition 8.1 is derived standardly. The constant C'(u_0) depends on ||∂_x u_0||²_{L²}, ||u_0||_{L∞}, |u_0(0)|, and |v|, all controlled by |u_0|_E via Lemma 2.1 and continuous with respect to d_8 (Lemma 2.3). The density extension from X²_γ∩E to E uses the uniform bound |u_n(t)|²_E ≤ K e^{KT_+} with K uniform in n, which follows from continuity of C'(·) and E_γ under d_8-convergence. This is correct. (2) For orbital stability: the key Lemma 9.8 uses conservation of K on U_0 (Lemma 8.3), which itself relies on the relation K(u₁)-K(u₂) = K_{u_0}(u₁)-K_{u_0}(u₂) + vπk (Lemma 7.8) plus a continuity argument fixing k. The variational characterization (Proposition 9.6) correctly handles the translation non-invariance from the delta term: translating u to place its minimum at x=0 can only decrease (γ/2)|u(0)|² while leaving the translation-invariant part G(u) unchanged. The compactness argument (Lemma 10.4) follows Bethuel et al. [10] with the constraint V_2 providing the coercivity εE_γ ≤ K (Lemma 10.1). The reader's identified weakest assumption—the Grönwall estimate—is indeed the most delicate step but is correctly implemented.","agreement_with_reader":"agree"},"referee_report":{"model":"glm-5.2","summary":"This paper studies the one-dimensional Gross-Pitaevskii equation with a traveling delta potential and non-zero boundary conditions at infinity, modeling a moving impurity in a quantum fluid. The authors establish two main results: (1) global well-posedness of the Cauchy problem in the Zhidkov energy space E, which requires defining a conserved energy involving a renormalized momentum, and (2) orbital stability of the stationary state with higher minimal density in the subcritical velocity regime. The analysis combines self-adjoint extension theory for the singularly perturbed operator, Duhamel/fixed-point arguments for local well-posedness, Grönwall-type estimates for global extension, and a variational/concentration-compactness argument for stability.","tokens_in":57619,"tokens_out":1179,"duration_ms":181733,"significance":"The paper makes a solid contribution to the mathematical analysis of Gross-Pitaevskii-type equations with singular perturbations. The global well-posedness result in the energy space E with non-vanishing boundary conditions and a moving delta potential is new and requires a careful treatment of the linear propagator and the conserved energy. The orbital stability result for the higher-density stationary state is physically relevant, as it connects to the superfluidity criterion. The proofs are parameter-free and build transparently on established frameworks (Zhidkov, Gérard, Ianni et al., Mariş, Cazenave-Lions, Bethuel et al.), with proper attribution. The self-adjoint extension construction in Appendix A is clean and the explicit computation of the unitary group is a useful technical contribution.","major_comments":[],"minor_comments":[{"comment":"The paper uses two parallel notations for the energy: |u|_E^2 = E_0(u) in Section 2.1, and E_γ(u) = E_0(u) + (γ/2)|u(0)|^2 in Section 1.1. The relationship is stated but the reader must track both throughout. A brief clarifying remark early in Section 7 would help.","section":null},{"comment":"In the proof of Proposition 8.1, the constant C'(u_0) is described in Remark 8.1 as a linear combination of ||∂_x u_0||^2_{L^2}, ||u_0||_{L^∞}, and 1+|v|. It would help to state explicitly that ||u_0||_{L^∞} is controlled by |u_0|_E via Lemma 2.1, so that the continuity of C'(·) with respect to d_8 used in the density argument for the proof of Theorem 1.1 is evident.","section":null},{"comment":"Section 7.2, Lemma 7.8: the integer k ∈ Z depends on the decomposition u_0 = e^{iφ} + w_0, but Remark 7.1 states that k in Lemma 7.8 does not change if the decomposition changes. A one-sentence justification of this independence would strengthen the argument, since it is used in the proof of Lemma 8.3 to fix k by continuity.","section":null},{"comment":"In Lemma 9.8, the hypothesis K(ψ) < K(u_{a_2}) is used to ensure inf|ψ| > 1+a_2 by the minimization property of u_{a_2}. This step is correct but the logic is slightly compressed; spelling out that K(ψ) < h(a_2) forces inf|ψ| > 1+a_2 (since otherwise ψ would be a better minimizer) would improve readability.","section":null},{"comment":"Figure 2 shows h(a) = K(u_a) for v=1 and γ=0.21, but the caption does not indicate the units or confirm that this parameter choice satisfies γ ∈ (0, φ(v)). Adding a brief note confirming this would make the figure self-contained.","section":null},{"comment":"Typographical: In the abstract and several places in the text, the LaTeX macro for the delta function and partial derivatives appears to have rendering issues (e.g., 'γδpx−vtqu' should read 'γδ(x−vt)u'). This appears to be a source-to-text conversion artifact but should be verified in the final LaTeX source.","section":null},{"comment":"The paper mentions the Gross-Clark-Schrödinger system in the introduction as a related model but does not discuss whether the techniques here might extend to that setting. A brief remark on this would help readers gauge the broader applicability of the contribution.","section":null},{"comment":"In Corollary 1.6, the momentum bound |P(ψ(t)) − P(u_0)| ≤ ε is interpreted as bounding the total exchange of momentum. It would be helpful to explicitly connect this to the physical notion of 'dissipationless' motion mentioned in the introduction, to close the loop between the mathematical result and the physical motivation.","section":null}],"recommendation":"minor_revision","confidential_remarks":"The paper is a well-executed PDE analysis paper that fits the journal's scope. The two main results are new and correctly proved. The weakest link—the Grönwall estimate in Proposition 8.1 and the density extension to E—is standard but correctly implemented; I verified the key steps. The stability proof is a clean adaptation of existing variational and concentration-compactness methods. I recommend minor revision to address presentation issues only."},"author_rebuttal":null,"desk_editor":{"model":"glm-5.2","letter":"The main thing to know: this paper proves global well-posedness for the 1D Gross-Pitaevskii equation with a traveling delta potential (v≠0) in the energy space, plus orbital stability of the higher-density stationary state below the critical velocity. Both are new for the moving case. The static case (v=0) was done by Ianni–Le Coz–Royer, and the stationary solutions themselves were known from Hakim and Mariş. What's new is putting it together: defining a conserved energy with a renormalized momentum that works for v≠0, and then proving the stability of one of the two subcritical stationary states.","headline":"Solid PDE paper extending well-posedness and stability to the moving-impurity Gross-Pitaevskii model; arguments are correct and well-executed, with no load-bearing gaps.","tokens_in":57623,"tokens_out":1553,"would_cite":true,"duration_ms":75176,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["35Q55","35A01","35B35","76A25"],"pacs":[],"model":"glm-5.2","headline":"Moving impurity in a 1D quantum fluid: global well-posedness and stable superfluid state","keywords":["Gross-Pitaevskii equation","delta potential","moving impurity","superfluidity","global well-posedness","orbital stability","renormalized momentum","energy space"],"falsifier":"If one could construct initial data in the energy space E for which the L² distance ||u(t) - u_0|| grows faster than exponentially (violating the Grönwall bound), or if the renormalized momentum failed to be conserved for solutions approximated by the smooth dense subclass, the global well-posedness claim would collapse.","tokens_in":57072,"feed_emoji":"🌊","tokens_out":1340,"duration_ms":111763,"temperature":0.7,"pith_summary":"This paper studies the one-dimensional Gross-Pitaevskii equation with a repulsive delta-function potential that travels at constant speed through a quantum fluid. The equation models a moving impurity (such as a laser beam or a foreign atom) in a Bose-Einstein condensate. The authors prove two main results. First, the initial-value problem for this equation is globally well-posed in the natural energy space—a metric space of functions that approach constant density at infinity. This requires defining a conserved energy using a renormalized notion of linear momentum, because the standard momentum integral diverges for fields that do not vanish at infinity. The conservation law, combined with a Grönwall-type estimate, yields global-in-time solutions. Second, in a co-moving reference frame where the impurity is stationary, there exist time-independent solutions below a critical velocity. Two such stationary states exist for each subcritical velocity; the authors prove that the one with higher fluid density (closer to the unperturbed background) is orbitally stable, meaning nearby initial data produce solutions that remain close to this state for all time. This stable state corresponds to dissipationless, superfluid motion of the impurity.","feed_headline":"Moving impurity in a 1D quantum fluid: global well-posedness and stable superfluid state","feed_subtitle":"A conserved renormalized momentum proves global solutions exist, and the denser of two stationary states is orbitally stable below a impuity","key_machinery":"The self-adjoint operator H_γ = -∂²_x + iv∂_x + γδ(x) is defined via the theory of self-adjoint extensions, yielding an explicit unitary group e^{-itH_γ} that decomposes into a free propagator and a rank-one perturbation. The renormalized momentum P_{u_0}(u) = (1/2) Im ∫ (u-u_0)∂_x(u+u_0) dx is defined on the affine space u_0 + H¹(ℝ) and gives the conserved Hamiltonian K_{u_0} = E_γ - v P_{u_0}. For stability, the functional K(u) = E_γ(u) - vP(u) with P defined via hydrodynamic decomposition u = ρe^{iθ} is minimized under a density constraint, and compactness of minimizing sequences is established via concentration-compactness.","core_discovery":"The conserved energy for the traveling-delta Gross-Pitaevskii equation is the sum of the standard Gross-Pitaevskii energy and a delta-potential term, minus the impurity velocity times a renormalized momentum. This renormalized momentum is defined relative to a reference field in the same energy class, circumventing the divergence of the classical momentum integral for non-vanishing boundary conditions. Its conservation, together with a Grönwall inequality for the L² distance between the solution and its initial datum, yields global well-posedness. The stationary state with higher minimal density is a constrained minimizer of this energy among fields whose density stays above a threshold, and","pith_inferences":["The existence of a critical velocity below the speed of sound, dependent on the impurity strength γ, provides a one-dimensional analogue of the Landau superfluidity criterion and could serve as a testbed for higher-dimensional vortex-nucleation thresholds.","The renormalized momentum construction is likely portable to other nonlinear Schrödinger equations with non-vanishing boundary conditions and external potentials, including time-dependent or non-local potentials.","The distinction between stable (high-density) and unstable (low-density) stationary states suggests a saddle-node bifurcation at the critical velocity, where the two branches coalesce and disappear—a structure that may be verifiable through spectral analysis of the linearized operator."],"forward_implications":["The global well-posedness framework extends the Zhidkov-Gérard theory for the standard Gross-Pitaevskii equation to the case of a moving point defect, providing a rigorous mathematical foundation for numerical simulations of impurity-fluid dynamics.","The orbital stability of the high-density stationary state confirms that superfluid, dissipationless motion is not an isolated phenomenon but persists under small perturbations of the initial configuration.","The instability of the low-density stationary state (the companion solution with lower minimal density) is expected but not proved here; its rigorous demonstration would complete the dynamical picture and confirm that only one of the two subcritical states is physically realizable.","The Grönwall-based global existence proof produces exponential-in-time bounds on the energy, which may be far from sharp; sharper dispersive or scattering estimates could reveal whether solutions remain uniformly bounded or exhibit energy radiation to infinity."],"fun_headline_variants":["Moving impurity in a 1D quantum fluid: global well-posedness and stable superfluid state","Global well-posedness for a moving impurity in a 1D Gross-Pitaevskii superfluid","Renormalized momentum yields global solutions for a Gross-Pitaevskii fluid with moving imp","Denser stationary state is orbitally stable below critical velocity in 1D quantum fluid","Conserved renormalized momentum proves stable superfluidity for moving impurity in 1D"],"cache_read_input_tokens":0,"weakest_assumption_plain":"The global well-posedness proof hinges on a Grönwall inequality bounding the growth of the solution's energy in terms of the L² distance to the initial datum, with a constant depending on the initial data's Sobolev norms and the impurity velocity. If this constant were not uniform under the density approximation used to pass from smooth to general initial data, the extension of global existence to the full energy space would not go through.","fun_headline_variants_meta":{"raw":{"variants":["Moving impurity in a 1D quantum fluid: global well-posedness and stable superfluid state","Global well-posedness for a moving impurity in a 1D Gross-Pitaevskii superfluid","Renormalized momentum yields global solutions for a Gross-Pitaevskii fluid with moving impurity","Denser stationary state is orbitally stable below critical velocity in 1D quantum fluid","Conserved renormalized momentum proves stable superfluidity for moving impurity in 1D"]},"model":"glm-5.2","effort":"low","cost_usd":0.0,"raw_usage":{"total_tokens":669,"prompt_tokens":560,"completion_tokens":109,"prompt_tokens_details":null},"tokens_in":560,"tokens_out":109,"duration_ms":50150,"temperature":1.0,"reasoning_tokens":null,"cache_read_input_tokens":0,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-07-09T19:47:24.666493+00:00","model_set":{"reader":"glm-5.2"},"falsifier":"If one could construct initial data in the energy space E for which the L² distance ||u(t) - u_0|| grows faster than exponentially (violating the Grönwall bound), or if the renormalized momentum failed to be conserved for solutions approximated by the smooth dense subclass, the global well-posedness claim would collapse.","supporting_citations":[],"review_version":1}