{"id":"0ceab57f-c3e3-490d-91ab-b310d574857e","arxiv_id":"2607.21439","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":1,"one_line_summary":"For small circulation and short times, Navier–Stokes vorticity concentrated on an open curve is rigorously a Lamb–Oseen profile around a binormal-flow curve, with uniform error estimates that allow large torsion.","lead":"This paper proves that a viscous fluid whose swirl starts on a thin open curve stays, for short times and weak circulation, close to a Lamb–Oseen vortex wrapped around that curve while the curve moves by the binormal flow. It then shows the construction tolerates very large torsion for a Hasimoto-soliton filament, so a small kinetic-energy packet shifts by an order-one distance.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Uniform chord-arc condition (1.7)/(2.2) is assumed, not proved, for binormal-flow curves on (0,T); its preservation is essential to Lemmas 3.1 and 5.5, and its failure would invalidate the expansion (3.12) and the forcing estimate.","rationale":"The reader's weakest assumption — the uniform chord-arc condition — is indeed the most load-bearing point. The existence proof in §5 is self-contained modulo [12] and the geometric estimates; the cancellation (4.11) is algebraically consistent, and the parameter formula (6.1) is dimensionally sound (τ0 has units of 1/length because the denominator Γ/ν·νT = ΓT has units length^2, so Δs = 2L follows). The energy-transport claim in §6.4 is not fully rigorous, but the missing error estimates (from v~ and v*) are of relative order 1/|log νT|, so they are asymptotically harmless and constitute a presentation gap, not a fatal flaw. The chord-arc hypothesis, by contrast, is essential to the proof's quantitative control and is not derived from the dynamics; if it fails, the theorem simply may not apply to generic open filaments. The proposed test settles whether this is a genuine instability or a merely technical assumption. Since the reader already identified this concern and the verdict CONDITIONAL reflects it, no change is needed.","tokens_in":33057,"tokens_out":38320,"duration_ms":341420,"concrete_test":"Take a smooth open curve χ0(s)=(s, ε f(s), 0) with f∈C_c^∞ and ε small, and numerically integrate the binormal flow (2.1) with c(t)=−Γ/(4π)log(√νt) for parameters satisfying Γ/ν=0.1, νT=10^{-6} (so |log νT|≈14). Compute m(t)=inf_{s≠s'}|χ(s,t)-χ(s',t)|/|s-s'| over 0≤t≤T. If min_{[0,T]} m(t) drops below, say, c0/2 for some reasonable initial m(0), then (1.7) is not dynamically stable and the theorem requires an additional propagation statement. Alternatively, derive the evolution equation for m(t) and show a lower bound in terms of the initial C^3 norm and the small parameters; if no such bound exists, the hypothesis is a genuine gap rather than a harmless regularity condition.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Theorem 1.2 is conditional on the uniform chord-arc condition (1.7)/(2.2): |χ(s,t)-χ(s',t)| ≥ c0|s-s'| for all t∈[0,T] with c0>0 independent of t. This condition is load-bearing in two essential places. In Lemma 3.1 it bounds the nonlocal Biot–Savart remainder E0 (and hence v* in (3.13)); in Lemma 5.5 it ensures the Morrey norm of the Gaussian core scales as (νt)^{3/(2q)}, which feeds directly into the forcing estimate (5.6) for ω~F. Without (1.7), the expansion (3.12) and the fixed-point argument lose control. The paper does not establish that any nontrivial open curve evolving under the binormal flow (2.1) with the time-dependent coefficient c(t)=−Γ/(4π)log(√νt) preserves such a quantitative chord-arc constant on (0,T). The binormal flow is a quasilinear geometric flow and can develop self-approximation before curvature blow-up. The Hasimoto soliton is checked explicitly in §6.2, but that is a special solution, not a general propagation statement. Thus the theorem's applicability to the intended class of smooth open filaments rests on an unverified dynamical assumption.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies the three-dimensional incompressible Navier–Stokes equations with initial vorticity supported on a smooth open curve. Under a uniform chord-arc condition on the reference curve and smallness assumptions on Γ/ν and νT, it constructs a solution whose vorticity is a Lamb–Oseen profile centered at a curve evolving by the binormal flow, plus a perturbation controlled in time-weighted Morrey norms. The proof follows the expansion scheme of [8] and the fixed-point framework of Giga–Miyakawa [12], with detailed estimates of the Biot–Savart remainder and the forcing term. The final section applies the result to a Hasimoto soliton with large torsion and claims that a localized portion of kinetic energy is transported by an O(1) displacement.","tokens_in":33396,"tokens_out":17742,"duration_ms":168547,"significance":"If the main theorem is correct, the paper provides a rigorous LIA-type description for open viscous filaments in Morrey spaces, extending the closed-curve result of [8] and giving pointwise control of the vorticity error. The Hasimoto-soliton application is explicit, and the torsion-uniform estimates are a valuable contribution. The proof of the existence theorem is detailed and the parameter dependence is tracked. The main limitations are the unproved propagation of the uniform chord-arc condition for general open curves and the informal nature of the kinetic-energy localization estimate.","major_comments":[{"comment":"The uniform chord-arc condition (1.7)/(2.2) is assumed for the binormal-flow solution on the entire time interval [0,T], but the paper does not prove that this condition is preserved for the class of open curves advertised in the introduction. The condition is load-bearing: Lemma 3.1 uses it to bound the nonlocal remainder E0, and Lemma 5.5 uses it to control the Morrey norm of the Gaussian core. The binormal flow can self-approach before curvature blow-up, so this is not a harmless technical assumption. The abstract and Section 1.2 should either state the conditional nature of the general theorem or provide a proof/criterion for propagation of (2.2).","section":"Theorem 1.2 and Definition 2.1"},{"comment":"The claim that the Navier–Stokes solution contains a localized, transported energy component is computed from the approximate velocity v0 = v_LO + χ_t + v*, and the actual perturbation v~ = K*ω~ is not included in the expansion of E_core. The text only gives ∥ω~∥_∞ = O(Γ(νt)^{-1/2}) and ∥v*∥_∞ ∼ Γ; no bound is given for the error terms involving v~ in the energy integral. Since the abstract advertises this energy displacement, the section needs a rigorous statement with estimates showing that the leading terms dominate the v~ contributions in the chosen regime.","section":"Section 6.4, Eqs. (6.3)-(6.7)"}],"minor_comments":[{"comment":"The displayed definition of C_F in (5.5) omits the additive '1' inside the bracket and the universal constant that appear in the proof's C* (see text after (5.8)). The theorem's estimate is up to an unspecified constant C, so this is not fatal, but the 'explicit quantity' C_F should match the proof to avoid confusion.","section":"Lemma 5.6 / Eq. (5.5)"},{"comment":"The parameter choice (6.1) is correct as written: substituting τ0 into Δs = Γτ0 T/(4π)(|log(νT)|+1) gives exactly 2L. There is no missing reciprocal.","section":"Section 6.1, Eq. (6.1)"},{"comment":"In Section 1.2, the extension of the ill-posedness result to the Schrödinger map equation is attributed to [15], but the reference list suggests [16] (Jerrard–Smets) is the intended citation. Please correct.","section":"Introduction / References"},{"comment":"There are numerous typos and spacing errors, e.g., in the title 'PROP AGA TION' and 'VOR TEX', and in the phrase 'Hasimoto solitons is a family'. A careful proofreading is needed.","section":"General"}],"recommendation":"major_revision","confidential_remarks":"The main risk is the uniform chord-arc assumption: if it is not preserved by the binormal flow for a broad class of open curves, the general theorem is much weaker than the abstract suggests. The energy-localization section should be upgraded from an informal asymptotic discussion to a stated estimate with controlled remainders. These are fixable in revision and do not appear to invalidate the core existence argument."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The paper does what it says: it extends the Fontelos–Vega existence theorem from closed to open filaments, strengthens the remainder control from L2 energy to Morrey/L∞ pointwise bounds, and applies the machinery to the Hasimoto soliton with estimates uniform in torsion. The open-curve theorem, the Dini-type Biot–Savart estimate in Lemma 3.1, and the fixed-point argument in Morrey spaces are genuine additions. The proof follows the [8]/[12] scheme but is carried out here in enough detail to be checked. The forcing cancellation in Lemma 4.1 and the torsion cancellation in (4.11) are the real technical heart, and they look right.\n\nThe reader's report flags formula (6.1) as missing a reciprocal. That is a misread: τ0 = 8πL / [(Γ/ν)(νT)(|log(νT)|+1)] has the right dimensions and gives the intended displacement 2L, because (Γ/ν)(νT)=ΓT. There is, however, a genuine typo in the introduction, where τ0 is written as 1/((Γ/ν)νT|log(νT)|), which is dimensionally inconsistent. That should be fixed, but it is not a load-bearing error.\n\nThe real soft spot is the uniform chord-arc condition (1.7)/(2.2). It is an explicit hypothesis of Theorem 1.2, so the theorem is not false, but it is conditional in a way the abstract and introduction underplay. The condition is used in both Lemma 3.1 and Lemma 5.5, and the paper does not prove that a general open curve evolving under the binormal flow preserves such a constant on (0,T). For the Hasimoto soliton it is verified, but that is a special one-parameter family. Anyone wanting to apply Theorem 1.2 to arbitrary smooth open filaments needs to know whether chord-arc can degrade before the end of the interval. This deserves to be stated as an open problem or handled for a more general geometric class.\n\nThe energy-displacement section is the least rigorous part. The computation of E_core is done for the leading-order velocity v0, with v* bounded but the mixed terms only compared informally. The missing step is harmless — the omitted terms are lower order in |log(νt)| and can be bounded using the already-established ∥K*ω~∥∞ inequality — but the paper should write that inequality down. As it stands, the localization claim is plausible and consistent with the numerics cited, not fully proved.\n\nOverall: a solid, honest paper with a clear main theorem and a few addressable gaps. The chord-arc issue is the one that matters, and it should be made prominent. I would send this to a serious referee and recommend acceptance after revision.","headline":"A careful extension of Fontelos–Vega to open filaments with Morrey control and a torsion-uniform Hasimoto application; the main theorem is credible but explicitly conditional on a chord-arc hypothesis that the paper does not prove for general binormal-flow curves.","tokens_in":33857,"tokens_out":4346,"would_cite":true,"duration_ms":46244,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["35Q30","76D05","76B47","35Q55"],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper proves that a thin viscous vortex filament persists in time: for small circulation-to-viscosity ratio and short times, the Navier–Stokes vorticity is a Lamb–Oseen profile centered on a curve evolving by the binormal flow, with a r","keywords":["vortex filaments","Navier-Stokes equations","binormal flow","Lamb-Oseen vortex","Hasimoto soliton","Morrey spaces","localized induction approximation","chord-arc condition"],"falsifier":"Compute the quantity A(l,|x⊥|) of (3.5) for a Hasimoto soliton with λ=1 and very large torsion τ0 (say 10^3); Lemma 6.1 asserts |A| ≤ C(∥∂s|Ts|∥∞/∥Ts∥∞ + ∥Ts∥∞), independent of τ0. A numerical quadrature showing |A| growing with τ0 would break the torsion-uniformity property and with it the macroscopic-displacement conclusion.","tokens_in":32959,"feed_emoji":"🌀","tokens_out":8759,"duration_ms":84121,"temperature":0.7,"pith_summary":"This paper extends the rigorous derivation of the localized induction approximation to open vortex filaments. It proves that for sufficiently small circulation-to-viscosity ratio Γ/ν and short times νt, the vorticity of a viscous incompressible fluid is, at leading order, a Lamb–Oseen vortex concentrated around a curve that evolves by the binormal flow, and the error is controlled pointwise rather than only in energy. The construction works for filaments of infinite length via Morrey spaces, and the error constant is explicit in the filament's geometry. Applying this to the Hasimoto soliton, the estimates are uniform in the torsion parameter, so even at very large torsion the soliton's curvature bump—and with it a localized packet of kinetic energy—is displaced by an order-one distance during the admissible time interval.","feed_headline":"Open vortex filaments evolve by the binormal flow, rigorously","feed_subtitle":"Pointwise error control makes the moving-filament picture quantitative, and the soliton's energy bump provably travels.","key_machinery":"The argument runs through the Biot–Savart law for the leading-order ansatz. The induced velocity splits into the local Lamb–Oseen swirl, the binormal-flow velocity of the reference curve, and a remainder v*; the remainder is controlled by a scale-invariant quantity A that measures the oscillation of T' along the filament (a Dini-type integral). The perturbation equation is written in a parallel-frame tubular coordinate system that keeps the metric orthogonal; two cancellations remove the dominant singular terms, one of which reduces the torsion-dependent non-divergence terms to the derivative of |T_s|². The remainder is then solved for by a contraction mapping in time-weighted Morrey spaces,","core_discovery":"The central claim is Theorem 1.2: if an open C^3 filament evolves by the binormal flow, admits a regular tubular neighborhood, and satisfies a uniform chord-arc condition, then for Γ/ν and νT small enough there is an exact Navier–Stokes solution whose vorticity is the Lamb–Oseen profile ω0 = Γ/(4πνt) e^{−r²/(4νt)} T(s,t) plus a remainder ω̃. The remainder obeys sup_{0