{"id":"9c571331-5e05-4378-b529-2d5cce40cb90","arxiv_id":"2412.10725","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":3,"one_line_summary":"Concentrated traveling-rotating helical vortex solutions with nonzero helical swirl are constructed for the 3D incompressible Euler equations, converging to a helical filament as the tube radius tends to zero.","lead":"This paper proves the existence of thin helical vortex tubes in 3D incompressible Euler flows that carry a nonzero helical swirl, removing an orthogonality condition used in all prior helical vortex constructions. It matters because it is a rigorous step toward the vortex filament conjecture in helical geometry and extends Arnold's variational method to a non-autonomous elliptic system.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Main risk is the imported Green's function expansion (Lemma 4.1, [14]); if H0 is not uniformly bounded or the leading kernel is incorrect, the concentration and diameter estimates in §4.4–4.6 fail.","rationale":"I read the paper in good faith and traced the main logical chain. The 2D vorticity-stream reduction (Theorem 1.1, §2) is algebraically consistent: Lemma 2.2, Proposition 2.8 and Proposition 2.10 fit together, and the converse reconstruction from (1.17) to the 3D vorticity equations is plausible and explicit. The passage in §3 from rotating invariant solutions to the semilinear equation (3.9) is correctly derived, with the identities in (3.5)–(3.8) checking out. The variational setting in §4 is standard: E_epsilon is upper semicontinuous over the weakly compact constraint set, the bathtub principle yields the profile (4.11), and the lower bounds for E_epsilon and the Lagrange multiplier are coherent. The location and diameter estimates (Lemmas 4.6–4.12) are internally consistent provided Lemma 4.1 holds; I found the algebra in (4.27) and the subsequent inequalities to be correct after accounting for typographical slips (e.g., the integration variable in the proof of Lemma 4.6). The final distributional convergence argument in §4.7 uses Lemma 4.14 and the first-moment estimates appropriately. The only substantive risk is the imported Green's function decomposition: it is not proved here, and the entire asymptotic analysis depends on the uniform boundedness of H0 at the exact scale epsilon used throughout. This is precisely the reader's weakest assumption, and I agree with it. The paper contains many minor typos but no evident internal contradiction. Thus no new objection beyond the reader's is identified; the conditional verdict is appropriate.","tokens_in":41965,"tokens_out":22059,"duration_ms":184340,"concrete_test":"Independently verify Lemma 4.1 for U = B_R(0) by constructing G_K via a standard parametrix and a boundary single-layer potential. Specifically, substitute the proposed expansion into LK G_K = delta and check that the residual H0 is uniformly bounded for all x,y in B_R(0), including near the diagonal and as x approaches the boundary. If a logarithmic remainder appears (e.g., a term of the form C ln|x-y| or an epsilon-scale singularity), recompute the lower bound in Lemma 4.4 and the estimate (4.26). A direct analytic check: prove that H0(x,y) remains bounded as |x-y| -> 0 and as x -> partial B_R(0); if H0 is merely L^p or has a log singularity, Lemma 4.1 fails and the proof of Theorem 1.4 requires repair.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The entire asymptotic machinery of Theorem 1.4 rests on Lemma 4.1, imported from the authors' companion paper [14]. The decomposition G_K(x,y) = (sqrt(detK(x))^{-1} + sqrt(detK(y))^{-1})/2 Gamma((Tx+Ty)/2 (x-y)) + H0(x,y), with H0 uniformly bounded, is used to extract the ln(1/epsilon) self-interaction (Lemma 4.4, Lemma 4.6), to localize the support at scale epsilon (Lemma 4.9), and to prove the O(epsilon) diameter bound and the vanishing of the vortex-patch term (Lemmas 4.10–4.12). Every one of these steps either invokes the boundedness of H0 explicitly or relies on the exact form of the singular part when replacing the Green kernel by its leading logarithmic term. If H0 actually contained a logarithmic or epsilon-dependent remainder near the diagonal or the boundary, the balance in inequalities such as (4.26) and (4.43) would shift, and the conclusion that the support concentrates at radius r* with diameter between r1 epsilon and r2 epsilon could be invalid. The lemma is not proved in this paper, nor are the domain-specific conditions for the disk B_R(0) verified. This is the single most load-bearing assumption: without it, the constructed maximizers may not satisfy the semilinear equation (3.10) and the distributional convergence to the helical filament does not follow.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies concentrated helical vortices of the 3D incompressible Euler equations without the usual 'orthogonality condition' v·ξ=0. In Theorem 1.1 the authors derive a 2D vorticity-stream formulation in helical symmetry that includes the helical swirl as an additional transported scalar. They then look for traveling-rotating invariant solutions and reduce the problem to the non-autonomous semilinear elliptic equation (3.10). The core of the paper is a variational construction in Section 4: for prescribed h, κ, r*, the authors define an energy Eε over a class of bounded vorticities with fixed circulation, prove existence of maximizers, and then establish that, as ε→0, the maximizer support concentrates near the helix (1.8), has diameter of order ε, and gives rise to a nontrivial helical swirl. The main theorem asserts distributional convergence of the vorticity to κδ_{γ(τ)} t_{γ(τ)} and a nonzero swirl component.","tokens_in":42201,"tokens_out":28861,"duration_ms":254629,"significance":"If the proof is correct, this is a substantial step: it removes the orthogonality condition that all previous helical-vortex constructions (e.g., [9,13,14,22,36]) imposed, and it does so by a variational method rather than gluing. The derivation of the 2D model (1.17) is explicit and self-contained, and the paper carefully fixes the angular speed and Lagrange multiplier from the circulation and geometry rather than from normalization. The concentration regime is quantified by the diameter bounds r1ε≤diam≤r2ε. The main weakness is that the asymptotic machinery rests on the Green's function decomposition imported from the authors' companion paper [14]; the present paper does not prove or fully verify that result. The variational proof also contains a few places where important estimates are asserted without the needed justification.","major_comments":[{"comment":"The concentration proof rests on Lemma 4.1, imported from [14], and this lemma is load-bearing for nearly every estimate that follows. The boundedness of H0 is used in (4.24), (4.25), (4.41)–(4.43), and the refined self-interaction expansion in Lemma 4.13; the exact singular part is used whenever GK is replaced by its logarithmic leading term. Since the statement as printed only asserts an upper bound H0(x,y)≤C and gives no proof, the paper is not self-contained at its most critical point. Please reproduce the precise statement of the corresponding theorem from [14], verify that all hypotheses hold for D=BR(0) with the coefficient matrix K from (1.16), and make explicit the dependence of the constants on the ellipticity constants. If the result is to be treated as a black box, that should be stated explicitly; as written, the referee cannot check the key hypothesis on which Theorem 1.4 depends.","section":"§4.1, Lemma 4.1"},{"comment":"The assertion ∫D 2h²vε/|ξ|^4 dx = O(ε) does not follow from (4.54) alone: (4.54) shows only that this integral is bounded by κ. The estimate is true if one combines Lemma 4.12 (diam(supp ζε)=O(ε)) with Lemma 4.10 (||(ψε)+||L∞ ≤ C for fixed Λ), but this reasoning is omitted. The same applies to the bound for the term involving x·∇vε, which is needed for the distributional convergence (4.56). Please supply the missing argument explicitly, since this step is directly used to identify the coefficient in the delta-limit.","section":"§4.7, Step 1 of the proof of Theorem 1.4"},{"comment":"The conclusion g=h from equality in Riesz's rearrangement inequality is terse. The paper cites Lemma 3.2 of [6] but does not state its hypotheses or verify them for the functions gε, g△ε, g, and h. To justify the radial symmetry of (ψ*)+ used in Lemma 4.14, one needs to check compact support, equality of masses, finiteness of the logarithmic interaction energy, and the fact that the weak limits g and h both have zero first moment. Please expand this argument so that the equality case is precisely documented.","section":"§4.6, Lemma 4.13"}],"minor_comments":[{"comment":"The displayed formula for ∂x1ϕ in the proof has a sign error: it should read ∂x1ϕ = -1/h²[(h²+x1²)u2 - x1x2u1] to be consistent with the correct identity (2.7) and with Lemma 2.6. The displayed equation (2.7) itself appears correct, so this is a typo in the proof rather than a mathematical error.","section":"§2, proof of Lemma 2.5"},{"comment":"In the line following (4.27), the quantity 'dγ' should be 'κγ'; otherwise the displayed lower bound is not the one obtained from the preceding inequality.","section":"§4.3, after (4.28)"},{"comment":"There are several typographical errors in this lemma and its proof: 'taht' should be 'that', 'Lesbague' should be 'Lebesgue', and the condition on Λ is stated with αa+b although later estimates use Λ0 independent of ε; please clarify that ᾱ-dependent terms are handled uniformly for small ε.","section":"§4.2, Lemma 4.2"},{"comment":"Theorem 1.4 states h≠0, but Section 4 assumes h>0 throughout. The case h<0 presumably follows by a reflection or by an analogous argument, but this reduction is not stated. Please add a sentence explaining how the case h<0 is obtained.","section":"Theorem 1.4 and §4"},{"comment":"The phrase 'topological traveling-rotating helical tube' is used to describe the support set, but no precise topological characterization of the support is proved. Since the cross-section is only known to have diameter of order ε and to be small, a brief clarification of what 'topological tube' means here would help the reader.","section":"§4.7, Theorem 1.4"}],"recommendation":"major_revision","confidential_remarks":"The central construction appears plausible and the removal of the orthogonality condition is a genuine advance over the existing helical-vortex literature. My main concern is the heavy reliance on Lemma 4.1 from the authors' own prior paper [14]; if the editorial board regards that published theorem as citable black-box material, the requested revision can be light. However, because every concentration estimate in §4.4–4.6 depends on the boundedness and exact singular form of that Green's function decomposition, I would like the authors to state the theorem precisely and confirm the hypotheses for D=BR(0), rather than asking the reader to take the key step on faith. The Step 1 gap in the proof of Theorem 1.4 is easily fixable but should be corrected before publication."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Two things to know up front. This is the first helical vortex desingularization that drops the orthogonality condition v·ξ=0, and it does the job: it derives a 2D system with a swirl variable and builds concentrated traveling-rotating solutions with nonzero helical swirl. The cost is that the asymptotic machinery leans on a Green's function decomposition (Lemma 4.1) imported from the authors' own Math. Ann. paper. That lemma is load-bearing; if the remainder H0 is not uniformly bounded, the concentration and diameter estimates in §4.4–4.6 do not go through. The debt is legitimate because the lemma is published, but it is the first thing I would check.\n\nWhat is genuinely good: Sections 2 and 3 are explicit and correct as far as I can see. Theorem 1.1 gives the 2D vorticity-stream formulation (1.17) without assuming v·ξ=0, and it reduces to the old system when v=0. The reduction to the non-autonomous semilinear equation (3.9) is straightforward but useful. The variational setup is not routine: the energy functional with J_epsilon is newly constructed, the bathtub principle argument is sound, and the proof that the vortex-patch term vanishes is a real step rather than a hand-wave. The final distributional convergence is carefully derived from the scaled stream function and the radial symmetry of the limit profile.\n\nSoft spots, in proportion. The imported lemma is the main uncertainty, but it is cited to a peer-reviewed paper by the same group; the right response is referee verification, not rejection. Some estimates in Lemma 4.13 and the 'o(1)' terms in the final step are compressed; they look plausible but deserve checking. There are minor typos ('Lesbague', 'taht'). The paper also notes honestly that global well-posedness of (1.17) is open, which is a real limitation but not a flaw in the construction.\n\nWho this is for: people working on vortex filaments, helical Euler flows, and variational desingularization. It resolves a gap that previous constructions avoided, so it is a meaningful advance. I would bring it to a reading group and would cite it if I were working in this area. Verdict: send to peer review, with a referee asked to verify Lemma 4.1 and the asymptotic estimates in §4.4–4.6.","headline":"First with-swirl helical vortex desingularization, built on a careful 2D formulation; the main risk is a single imported Green's function lemma from the authors' earlier paper.","tokens_in":42786,"tokens_out":3408,"would_cite":true,"duration_ms":31118,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["76B47","35J25","76B03"],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper proves that 3D incompressible Euler equations under helical symmetry admit concentrated traveling-rotating vortex tubes with nonzero helical swirl, whose vorticity converges to a singular helical filament as the tube radius…","keywords":["incompressible Euler equations","helical symmetry","concentrated vortices","helical swirl","traveling-rotating helical vortices","variational methods","semilinear elliptic equations","vortex filaments"],"falsifier":"Compute or rigorously bound the remainder $H_0$ in Lemma 4.1 for $L_K$ in a disk (for some $h$ and $R$) and check whether the near-diagonal kernel at separation $\\sim\\varepsilon$ equals $\\frac{\\sqrt{\\det K(x)}^{-1}+\\sqrt{\\det K(y)}^{-1}}{2}\\,\\Gamma\\!\\left(\\frac{T_x+T_y}{2}(x-y)\\right)$ plus $O(1)$; a counterexample where $H_0$ grows like $\\ln(1/\\varepsilon)$ along the diagonal would break the lower bound in Lemma 4.4 and the diameter estimates $r_1\\varepsilon\\le\\operatorname{diam}(\\operatorname{supp}(\\zeta_\\varepsilon))\\le r_2\\varepsilon$.","tokens_in":41689,"feed_emoji":"🌀","tokens_out":11305,"duration_ms":91087,"temperature":0.7,"pith_summary":"The paper aims to remove the orthogonality condition (zero helical swirl) from the construction of concentrated helical vortices in three-dimensional incompressible Euler flow. It first derives a two-dimensional vorticity-stream system, Theorem 1.1, that governs helical Euler solutions with swirl; the earlier no-swirl model is the special case where the extra swirl variable vanishes. It then uses a variational method to build, for any pitch $h$, circulation $\\kappa$, and radius $r_*\\in(0,R)$, a family of traveling-rotating helical vortex tubes in the cylinder $B_R\\times\\mathbb{R}$. As $\\varepsilon\\to0$ the vorticity support has diameter of order $\\varepsilon$ and converges in distribution to $\\kappa$ times the Dirac measure on the helix (1.8), the singular filament evolved by binormal curvature flow. If correct, the result shows that the vortex filament conjecture holds in the helical-symmetric setting even when velocity and vorticity are not orthogonal.","feed_headline":"Proved: helical vortex tubes exist with swirl","feed_subtitle":"New reduction plus maximizers give vortex tubes shrinking to one helical filament.","key_machinery":"The load-bearing object is the Green's function $G_K(x,y)$ of the elliptic operator $L_K=-\\operatorname{div}(K\\nabla)$ on the disk, with the refined decomposition from Lemma 4.1: $G_K(x,y)=\\frac{\\sqrt{\\det K(x)}^{-1}+\\sqrt{\\det K(y)}^{-1}}{2}\\,\\Gamma\\!\\left(\\frac{T_x+T_y}{2}(x-y)\\right)+H_0(x,y)$, where $\\Gamma$ is the planar logarithmic fundamental solution and $H_0$ is uniformly bounded and locally H\\\"older. This expansion turns the self-interaction of a vortex patch of scale $\\varepsilon$ into the leading logarithmic factor $(1/2\\pi)\\ln(1/\\varepsilon)$, and the variational maximization of the energy $E_\\varepsilon$ over the constraint set $M_{\\kappa,\\Lambda}$ then forces the support to sit near the level set $|x|=r_*$ through the concentration profile $Y(x)=\\frac{\\kappa}{2\\pi}\\sqrt{\\det K(x)}^{-1}-\\alpha|x|^2$, with $\\alpha=\\frac{\\kappa}{4\\pi h\\sqrt{h^2+r_*^2}}$. The bathtub principle fixes the shape of maximizers, and the refined bounds on the Lagrange multiplier and on the vanishing of the vortex-patch term select solutions of the semilinear equation (3.10) corresponding to genuine Euler flows with swirl.","core_discovery":"Theorem 1.4 states that for any $h\\ne0$, $\\kappa>0$, and $r_*\\in(0,R)$ there is $\\varepsilon_0>0$ such that for every small $\\varepsilon$ there is a helical symmetric solution pair $(v_\\varepsilon,P_\\varepsilon)$ of the Euler equations in the infinite cylinder whose vorticity support is a traveling-rotating helical tube concentrating on the helix (1.8). The convergence $w_\\varepsilon(\\cdot,|\\ln\\varepsilon|^{-1}\\tau)\\to\\kappa\\,\\delta_{\\gamma(\\tau)}t_{\\gamma(\\tau)}$ holds in the distributional sense, the helical swirl $v_{\\xi,\\varepsilon}$ is not identically zero, and the cross-sectional diameter of the support lies between $r_1\\varepsilon$ and $r_2\\varepsilon$. The companion reduction, Theorem 1.1, is a 2D vorticity-stream system (1.17) with an extra scalar variable for helical swirl; when the swirl is zero it collapses to the classical system (1.15). The proof proceeds by choosing profile functions $F_1$ and $F_2$, solving the semilinear elliptic equation (3.10) through maximizers of an energy functional over a fixed-circulation, bounded-density constraint set, and showing the maximizers concentrate on the circle $|x|=r_*$ with diameter of order $\\varepsilon$.","pith_inferences":["Likely the same variational scheme works in the whole space $\\mathbb{R}^3$ using the whole-space Green's function decomposition mentioned in Remark 1.6, giving concentrated helical vortices with swirl outside cylinders.","The 2D system (1.17) offers a concrete starting point for proving global well-posedness of helical Euler with swirl, a problem the paper explicitly leaves open.","Because the transverse-vorticity terms vanish in the distributional limit, the helical vortex filament limit may be robust under more general helical perturbations than the orthogonal ones; helical symmetry itself, not orthogonality, appears to be the essential structure."],"forward_implications":["For every admissible helix there are true Euler solutions whose vorticity is confined to a helical tube of cross-section radius of order $\\varepsilon$, and the tube travels and rotates without changing shape.","The distributional limit $w_\\varepsilon(\\cdot,|\\ln\\varepsilon|^{-1}\\tau)\\to\\kappa\\,\\delta_{\\gamma(\\tau)}t_{\\gamma(\\tau)}$ realizes the binormal-curvature-flow helix (1.8) as the singular limit of actual vorticity fields, a positive step for the vortex filament conjecture in the helical case.","The orthogonality condition $v\\cdot\\xi=0$ is not required for concentration; the helical swirl is genuinely nonzero inside the tube and zero outside it.","The 2D vorticity-stream system (1.17) extends the classical no-swirl model (1.15) and reduces the 3D helical Euler construction to a 2D elliptic problem, so the same reduction is available for other helical flow questions.","The profile functions $F_1$ and $F_2$ can be varied (the paper notes $p>1$ choices giving $C^1$ classical solutions), so the theorem supplies a family of concentrated solutions rather than a single example."],"supporting_citations":[{"why":"Supplies Lemma 4.1, the Green's function decomposition of $L_K$ with uniformly bounded remainder that all logarithmic and support estimates rely on.","marker":"[14]"},{"why":"The prior construction of traveling-rotating helical vortices without swirl by gluing; it defines the target helix and the problem this paper extends to the swirl case.","marker":"[22]"},{"why":"Provides the characterization of helical functions and vector fields and the no-swirl 2D model (1.15) that Theorem 1.1 generalizes.","marker":"[27]"},{"why":"Developed the variational method for helical vortices with small cross-section without swirl; the elliptic system here reduces to that setting when $F_1\\equiv0$.","marker":"[13]"},{"why":"Another variational construction of helical vortices without swirl whose energy and maximizer structure is adapted and extended here.","marker":"[9]"},{"why":"Gives the distributional convergence criterion under which concentrated vorticity implies binormal curvature flow, the framework Theorem 1.4 aims to satisfy without orthogonality.","marker":"[42]"},{"why":"Formally shows transverse vorticity does not alter the filament equation, providing the physical motivation for dropping the orthogonality condition.","marker":"[32]"}],"fun_headline_variants":["Helical vortex tubes with swirl exist","Concentrated helical vortices with nonzero swirl","Existence proved: helical vortex tubes with swirl","Helical swirl vortices concentrate on a filament","Variational method finds concentrated helical vortices"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The concentration and diameter estimates rest on the quantitative Green's function expansion of Lemma 4.1, in particular on the remainder $H_0$ being uniformly bounded; if that remainder were unbounded or the leading kernel changed at scale $\\varepsilon$, the maximizers could fail to concentrate at $|x|=r_*$ or to have cross-sectional diameter of order $\\varepsilon$.","fun_headline_variants_meta":{"raw":{"variants":["Helical vortex tubes with swirl exist","Concentrated helical vortices with nonzero swirl","Existence proved: helical vortex tubes with swirl","Helical swirl vortices concentrate on a filament","Variational method finds concentrated helical vortices"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000637,"raw_usage":{"total_tokens":2960,"prompt_tokens":995,"completion_tokens":1965,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":611,"completion_tokens_details":{"reasoning_tokens":1897}},"tokens_in":611,"tokens_out":1965,"duration_ms":15217,"temperature":1.0,"reasoning_tokens":1897,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-11T15:40:31.141054+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute or rigorously bound the remainder $H_0$ in Lemma 4.1 for $L_K$ in a disk (for some $h$ and $R$) and check whether the near-diagonal kernel at separation $\\sim\\varepsilon$ equals $\\frac{\\sqrt{\\det K(x)}^{-1}+\\sqrt{\\det K(y)}^{-1}}{2}\\,\\Gamma\\!\\left(\\frac{T_x+T_y}{2}(x-y)\\right)$ plus $O(1)$; a counterexample where $H_0$ grows like $\\ln(1/\\varepsilon)$ along the diagonal would break the lower bound in Lemma 4.4 and the diameter estimates $r_1\\varepsilon\\le\\operatorname{diam}(\\operatorname{supp}(\\zeta_\\varepsilon))\\le r_2\\varepsilon$.","supporting_citations":[{"cited_title":"Cao and J","cited_arxiv_id":null,"evidence_quote":"Supplies Lemma 4.1, the Green's function decomposition of $L_K$ with uniformly bounded remainder that all logarithmic and support estimates rely on."},{"cited_title":"D ´avila, M","cited_arxiv_id":null,"evidence_quote":"The prior construction of traveling-rotating helical vortices without swirl by gluing; it defines the target helix and the problem this paper extends to the swirl case."},{"cited_title":"Ettinger and E.S","cited_arxiv_id":null,"evidence_quote":"Provides the characterization of helical functions and vector fields and the no-swirl 2D model (1.15) that Theorem 1.1 generalizes."},{"cited_title":"Cao and J","cited_arxiv_id":null,"evidence_quote":"Developed the variational method for helical vortices with small cross-section without swirl; the elliptic system here reduces to that setting when $F_1\\equiv0$."},{"cited_title":"Cao and S","cited_arxiv_id":null,"evidence_quote":"Another variational construction of helical vortices without swirl whose energy and maximizer structure is adapted and extended here."},{"cited_title":"Jerrard and C","cited_arxiv_id":null,"evidence_quote":"Gives the distributional convergence criterion under which concentrated vorticity implies binormal curvature flow, the framework Theorem 1.4 aims to satisfy without orthogonality."},{"cited_title":"Fukumoto and T","cited_arxiv_id":null,"evidence_quote":"Formally shows transverse vorticity does not alter the filament equation, providing the physical motivation for dropping the orthogonality condition."}],"review_version":1}