{"id":"b54b627d-2127-44d8-9701-b6c195b17731","arxiv_id":"2507.19935","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"An odd-symmetric pair of Hill's spherical vortices is globally stable in 3D axisymmetric Euler flow, with propagation speed close to the single-vortex speed and a sharp linear error estimate.","lead":"This paper proves that two Hill's spherical vortices of opposite sign, placed far apart, remain close to their spherical shapes for all time as they move away from each other in an inviscid fluid. It also estimates their separation speed and shows that the error bound in the perturbation size is optimal.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 1.1's proof bounds only the positive part; the full odd-symmetric pair distance can be up to twice as large, so the stated epsilon-closeness does not follow as written.","rationale":"The main structural argument of the paper is coherent: the interaction-energy estimates in Theorem 3.1 are carefully laid out, the compactness/uniqueness step from [17] is applied in the intended parameter range, and the shift-function bootstrap in Section 4 is plausible. The reader's conditional verdict is justified by the heavy reliance on imported theorems, but the most concrete, manuscript-specific gap I found is in the passage from positive-part closeness to full-pair closeness in the proof of Theorem 1.1. The final displayed inequality bounds only <xi(t)>+ against a single translated Hill's vortex, while the theorem statement bounds the full odd-symmetric solution against the pair. Since the full norm is not equal to the positive-part norm, the proof as written proves a weaker statement. The issue is not fatal: replacing epsilon by epsilon/2 in the scaling would give the stated theorem, so the central qualitative claim likely survives. I therefore keep the verdict at CONDITIONAL rather than rejecting the paper.","tokens_in":28855,"tokens_out":37796,"duration_ms":430277,"concrete_test":"Recompute the final step of the proof of Theorem 1.1 with the full pair norm. For D=xi(t)-(xi_H(·-tau e_z)-xi_H(·+tau e_z)) and d=<xi(t)>+ - xi_H(·-tau e_z), verify the exact identity ||D||_{L1 cap L2 cap L1w} = 2||d||_{L1}+sqrt(2)||d||_{L2}+2||d||_{L1w}. If this ratio exceeds 1, rerun the scaling argument of Section 3.2 with epsilon replaced by epsilon/2 so that the final positive-part bound becomes epsilon/2 and the full pair bound becomes epsilon; confirm that delta and d0 are then defined with this smaller target. If no such adjustment is made, the theorem statement is not proved.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The proof of Theorem 1.1 (Section 3.2) establishes, after scaling, inf_{tau>=1} ||<xi(t)>+ - xi_H(·-tau e_z)||_{L1 cap L2 cap L1w} < epsilon, and then declares the theorem proved. The theorem, however, asserts ||xi(t) - (xi_H(·-tau e_z) - xi_H(·+tau e_z))||_{L1 cap L2 cap L1w} < epsilon for the full odd-symmetric solution. These two quantities are not the same. Writing d(tau)=<xi(t)>+ - xi_H(·-tau e_z), the full difference is D(tau)=xi(t) - (xi_H(·-tau e_z)-xi_H(·+tau e_z)); by odd symmetry ||D||_{L1}=2||d||_{L1}, ||D||_{L2}=sqrt(2)||d||_{L2}, and ||D||_{L1w}=2||d||_{L1w}. Hence the full norm is 2A+sqrt(2)B+2C, which can be as large as twice the positive-part norm. Since the proof does not replace epsilon by, say, epsilon/2 in the definitions of delta and d0, the stated conclusion does not follow from the displayed inequalities. The gap is easily repaired by rerunning the scaling with a smaller target, but as written Theorem 1.1 is not established. The imported variational machinery from [17] is a significant dependency, but the factor-of-two mismatch is a concrete, internal statement-proof gap in the present manuscript.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proves a stability result for a pair of oppositely propagating Hill's spherical vortices in the 3D incompressible axisymmetric Euler equations without swirl. Theorem 1.1 asserts that if an odd-symmetric axisymmetric initial datum is close in L1∩L2∩L1w to the pair ξ_H(·−d e_z)−ξ_H(·+d e_z) for large d, then the unique weak solution remains close to a shifted pair for all time. Theorem 1.2 adds that the shift function propagates at approximately the single-vortex speed W_H=2/15. The proof combines the impulse monotonicity lemma (Lemma 2.1), the interaction-energy identity, and the variational compactness results of [17] that characterize Hill's vortex as the unique energy maximizer. Section 3 contains a contradiction compactness proof; Section 4 derives the shift estimate via a bootstrap on the center of mass.","tokens_in":29141,"tokens_out":11506,"duration_ms":117326,"significance":"If established, the result is a strong contribution to multi-vortex stability in 3D axisymmetric Euler: it is a stability theorem for a separating pair of Hill's vortices and uses a nontrivial interaction-energy mechanism. The paper ships rigorous proofs of the new ingredients (impulse monotonicity, interaction-energy estimates, compactness argument), and the sharpness discussion in Remark 1.3 is plausible. The reliance on the imported variational theorems of [17] is substantial but legitimate. In its current form, however, the paper's main theorem as stated is not fully supported by the proof due to a factor-of-two mismatch between the positive-part estimate and the full-pair distance.","major_comments":[{"comment":"The proof establishes only inf_{τ≥1} ∥⟨ξ(t)⟩+−ξ_H(·−τez)∥_{L1∩L2∩L1w} < ε, and then asserts the theorem's conclusion for the full odd-symmetric solution. These are not equivalent. Writing d(t)=⟨ξ(t)⟩+−ξ_H(·−τ(t)ez), odd symmetry gives ∥ξ(t)−(ξ_H(·−τ(t)ez)−ξ_H(·+τ(t)ez))∥_{L1∩L2∩L1w} = 2∥d(t)∥_{L1}+√2∥d(t)∥_{L2}+2∥d(t)∥_{L1w}, which can be as large as twice the positive-part norm. The constants δ(ε) and d0(ε) are not adjusted (for example, by applying Theorem 3.1 with target ε/2), so the stated ε-closeness does not follow from the displayed estimates. This is a statement-proof gap in the central theorem, though it appears repairable by rerunning the scaling argument with a smaller target.","section":"Section 3.2, end of proof of Theorem 1.1"}],"minor_comments":[{"comment":"The proof does not explicitly ensure that the shift function satisfies τ(0)=d; one should set τ(0)=d and note that the initial-data assumption gives the required bound at t=0.","section":"Section 1.1, Theorem 1.1"},{"comment":"The definition of a_n is typeset ambiguously as 'an =∥⟨ξn(0)⟩+−ξµH(·−dnez)∥1/2 2'; it should read a_n = ∥⟨ξn(0)⟩+−ξµH(·−dnez)∥_{L^2}^{1/2} or similar, so that the limit in the preceding display is actually zero.","section":"Section 3.1, Step [3] around (3.7)"},{"comment":"The particle-trajectory map φ(t,·) is invoked without proof of existence or uniqueness; for the class of weak solutions at hand this follows from the known log-Lipschitz regularity of the velocity, but a citation or a short justification should be added.","section":"Section 4.2, Step 1"},{"comment":"The text states 'written by M. J. M. Hill in 1984' while reference [42] is dated 1894; the year should be corrected.","section":"Section 1.4.1"}],"recommendation":"major_revision","confidential_remarks":"The factor-of-two gap is the only substantive issue I see; it is local and should be fixable by tightening constants. The paper's overall strategy is sound and the imported machinery is appropriate. I would encourage the editor to invite a revision rather than reject."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"This is the first global-in-time stability theorem for an odd-symmetric pair of Hill's vortices, and the variational strategy from [17] and [22] is adapted cleanly. The impulse monotonicity lemma is proven in full, and the contradiction argument in Section 3 carefully checks the hypotheses of the imported compactness theorem. I read the proof of Theorem 1.1 closely, and the stress-test note lands: the theorem claims epsilon-closeness of the full odd pair in L1∩L2∩L1w, but the proof only establishes the same epsilon bound for the positive part alone. Because of odd symmetry, the full distance is 2||d||_{L1} + sqrt(2)||d||_{L2} + 2||d||_{L1w}, so the stated conclusion does not follow. This is not a deep flaw. Rerun Section 3.2 with epsilon/4 (or absorb the constant in Theorem 3.1) and the proof works. But as written, the theorem is stronger than what is demonstrated.\n\nThe rest of the paper is in decent shape. Theorem 1.2's shift estimate is more compressed—particle-trajectory bounds and uniform velocity estimates are invoked without full detail—but what is there is standard, and I found no internal contradiction. The heavy dependence on [17, Theorems 2.5 and 2.8] is inherited rigor, not circularity. The unproved remark that the method improves [20, Proposition 3.2] is just a remark; it should be either proven or softened.\n\nWho is this for: researchers in mathematical vortex dynamics who want the 3D analogue of the 2D quadrupole stability. It deserves a serious referee. A competent referee will catch the epsilon mismatch, and the fix is short. I would send it to review with a request that the author close the gap and expand the trajectory estimates in Section 4.","headline":"New result with a real but fixable gap: Theorem 1.1 as stated is not established, only a positive-part version; the proof needs to absorb constants.","tokens_in":29687,"tokens_out":2644,"would_cite":false,"duration_ms":30411,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["35Q31","76B47"],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper proves that a distant, odd-symmetric pair of Hill's spherical vortices remains stable in 3D axisymmetric Euler flow and separates at nearly the single-vortex speed.","keywords":["stability","Hill's spherical vortex","axisymmetric Euler equations","interaction energy","kinetic-energy maximizer","odd symmetry","anti-parallel flow","shift function estimate"],"falsifier":"Take any fixed $\\varepsilon>0$ and consider initial data $\\lambda\\xi_H(\\cdot-d e_z)-\\lambda\\xi_H(\\cdot+d e_z)$ with $d\\to\\infty$ and $\\lambda=1+\\varepsilon'$ for small $\\varepsilon'$. Theorem 1.1 and 1.2 predict the positive part stays within $\\varepsilon$ of a translate of $\\xi_H$ in $L^1\\cap L^2\\cap L^1_w$ for all time and the shift obeys $|\\tau(t)-d-\\frac{2}{15}t|<C\\varepsilon'(t+1)$. A resolved axisymmetric Euler simulation that finds a finite time at which the distance to the family of translates exceeds $\\varepsilon$, or a shift error growing faster than the stated linear bound, would falsify the claim; checking several $\\lambda$ values would also test the asserted optimality of the $\\varepsilon$ exponent.","tokens_in":28620,"feed_emoji":"🌀","tokens_out":10761,"duration_ms":114128,"temperature":0.7,"pith_summary":"This paper proves that two Hill's spherical vortices of opposite sign and odd symmetry, initially far apart, keep their individual shapes for all time while moving apart in 3D axisymmetric Euler flow without swirl. The precise statement is a stability theorem with a shift function: closeness to a translated antipodal pair at time zero implies the same closeness, up to a time-dependent translation, at every later time, and an estimate on the shift shows each vortex travels at nearly the single-vortex speed $2/15$ with an error that grows at most like $C\\varepsilon(t+1)$. A sympathetic reader should care because it is a genuine multi-vortex stability result in three dimensions: it shows coherent vortex structures can survive while their mutual interaction weakens as they separate, and it identifies the mechanism that enforces the persistence. The proof also gives a sharp estimate of the propagation speed, tying the pair's separation rate to the well-known speed of a single Hill vortex.","feed_headline":"Two Hill vortices stay intact while flying apart","feed_subtitle":"Theorem: a distant odd-symmetric pair keeps Hill's spherical profile for all time and its separation grows at speed 2/15","key_machinery":"The load-bearing mechanism is the decomposition of the odd-symmetric solution as $\\xi=\\xi_+-\\xi_-$ with $\\xi_+$ supported in $z>0$, together with the interaction energy $E_{\\mathrm{inter}}(t)=E[\\xi_+(t),\\xi_-(t)]$. Conservation of total kinetic energy gives $E[\\xi(t)]=2E[\\xi_+(t)]-2E_{\\mathrm{inter}}(t)$; because the impulse $\\|r^2\\xi_+(t)\\|_{L^1}$ decreases monotonically, the energy of each half cannot exceed the maximal value by more than a small amount once the interaction energy is small. The variational theorems imported from the single-vortex theory identify that maximum with Hill's vortex: the scaled Hill vortex is the unique maximizer among axisymmetric vorticities with fixed impulse and circulation bounds, and almost-maximizing sequences are compact up to translation. For the speed estimate, the center of mass $z_c(t)$ satisfies $|\\dot z_c(t)-W_H|\\lesssim \\varepsilon+1/(\\tau(t)-1)$, and a bootstrap using the stability theorem and $d\\gg\\varepsilon^{-1}$ propagates the inequality $|\\dot z_c(t)-W_H|<C\\varepsilon$ to all times.","core_discovery":"The paper establishes that an odd-symmetric pair of Hill's spherical vortices is stable in the 3D incompressible axisymmetric Euler equations without swirl. Theorem 1.1 states that for every $\\varepsilon>0$ there exist $\\delta=\\delta(\\varepsilon)>0$ and $d_0=d_0(\\varepsilon)>1$ such that, whenever $d\\ge d_0$ and an axisymmetric initial data $\\xi_0$ with $\\xi_0(r,z)=-\\xi_0(r,-z)\\ge0$ for $z\\ge0$ satisfies $\\|\\xi_0-(\\xi_H(\\cdot-d e_z)-\\xi_H(\\cdot+d e_z))\\|_{L^1\\cap L^2\\cap L^1_w}<\\delta$, the solution admits a shift function $\\tau$ with $\\tau(0)=d$ and $\\|\\xi(t)-(\\xi_H(\\cdot-\\tau(t)e_z)-\\xi_H(\\cdot+\\tau(t)e_z))\\|_{L^1\\cap L^2\\cap L^1_w}<\\varepsilon$ for every $t\\ge0$. Theorem 1.2 adds that under an $L^\\infty$ bound and a support-localization assumption the shift satisfies $|\\tau(t)-\\tau(0)-\\frac{2}{15}t|<C\\varepsilon(t+1)$, and Remark 1.3 argues the exponent of $\\varepsilon$ in this estimate is optimal. The proof works by showing the interaction energy between the upper and lower halves remains uniformly small, so each half keeps nearly the maximal kinetic energy, at which point the variational characterization of Hill's vortex as the unique energy maximizer under fixed impulse and circulation forces the profile to stay near a translate.","pith_inferences":["A natural extension the author does not pursue is a line of $N$ alternating Hill vortices: non-neighbour interactions decay faster than nearest-neighbour ones, so the same interaction-energy bootstrap might prove stability and linear separation for longer stacks.","The proof leaves open the near-odd case where $\\xi_0(r,z)$ and $-\\xi_0(r,-z)$ are nonnegative but the data are not exactly odd-symmetric; the author expects finite-time stability, but a global statement would need a new mechanism to control impulse growth, since the monotonicity lemma uses exact symmetry.","Because the optimality discussion ties the shift error to $\\lambda$-strength Hill vortices, a concrete numerical test of the theorem would be to simulate that one-parameter family and measure whether the shift error grows linearly in $|\\lambda-1|$; this would test the exponent without needing the full stability statement."],"forward_implications":["Any sufficiently small odd-symmetric perturbation of a distant antipodal Hill pair remains, for all time, within $\\varepsilon$ of the same pair with a shifted separation; the pair is Lyapunov stable up to translation.","Under the extra $L^\\infty$ and support assumptions, the separation shift is linear in time to leading order: $\\tau(t)\\approx d+\\frac{2}{15}t$, with error $C\\varepsilon(t+1)$.","The linear-in-$\\varepsilon$ exponent in the shift bound is optimal, since a $\\lambda$-strength Hill pair realizes a matching error of order $|\\lambda-1|(t+1)$.","The same interaction-energy estimate gives the asymptotic energy identity $E[\\xi_+(t)]\\to \\frac12 E[\\xi(0)]$ and convergence of the impulse, which the paper proposes as the starting point for proving long-time approach to a scaled Hill vortex.","The method improves the shift-function estimate available for a single Hill vortex from $\\varepsilon^{1/2}$ to $\\varepsilon$."],"supporting_citations":[{"why":"Supplies the variational characterization of Hill's vortex as the unique kinetic-energy maximizer and the compactness theorem for maximizing sequences that Section 3 uses in the contradiction argument.","marker":"[17]"},{"why":"Provides the odd-odd symmetric interaction-energy strategy and impulse monotonicity for 2D dipole pairs, which the paper adapts to the 3D axisymmetric Hill pair.","marker":"[22]"},{"why":"Gives the monotone impulse decrease for anti-parallel axisymmetric flows cited in Lemma 2.1.","marker":"[18]"},{"why":"Provides the uniform-in-time velocity bound used to control particle trajectories and the shift function in Section 4.","marker":"[30]"},{"why":"Defines the original Hill's spherical vortex and its traveling speed $W_H=2/15$.","marker":"[42]"},{"why":"Gives the earlier shift-function estimate for a single Hill vortex that Remark 1.3 says the present paper improves from $\\varepsilon^{1/2}$ to $\\varepsilon$.","marker":"[20]"}],"fun_headline_variants":["Hill vortex pair separation stability proven for odd-symmetric case","Two Hill vortices stay intact while separating","Odd-symmetric Hill vortex pair stability theorem","Stable separation of Hill's vortex pair in 3D Euler","Pair of Hill vortices keeps profile as they move apart"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The proof depends on the theorem, taken from the single-vortex stability theory, that among all axisymmetric vorticity fields with fixed impulse and circulation bounds Hill's vortex is the unique kinetic-energy maximizer and that near-maximizing sequences are compact up to translation; if that characterization failed at the parameter range used, the contradiction argument in Section 3 would place the positive part near a maximizer set rather than near a translated Hill vortex.","fun_headline_variants_meta":{"raw":{"variants":["Hill vortex pair separation stability proven for odd-symmetric case","Two Hill vortices stay intact while separating","Odd-symmetric Hill vortex pair stability theorem","Stable separation of Hill's vortex pair in 3D Euler","Pair of Hill vortices keeps profile as they move apart"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000828,"raw_usage":{"total_tokens":3692,"prompt_tokens":1096,"completion_tokens":2596,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":712,"completion_tokens_details":{"reasoning_tokens":2519}},"tokens_in":712,"tokens_out":2596,"duration_ms":18501,"temperature":1.0,"reasoning_tokens":2519,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-06T13:52:06.477999+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take any fixed $\\varepsilon>0$ and consider initial data $\\lambda\\xi_H(\\cdot-d e_z)-\\lambda\\xi_H(\\cdot+d e_z)$ with $d\\to\\infty$ and $\\lambda=1+\\varepsilon'$ for small $\\varepsilon'$. Theorem 1.1 and 1.2 predict the positive part stays within $\\varepsilon$ of a translate of $\\xi_H$ in $L^1\\cap L^2\\cap L^1_w$ for all time and the shift obeys $|\\tau(t)-d-\\frac{2}{15}t|<C\\varepsilon'(t+1)$. A resolved axisymmetric Euler simulation that finds a finite time at which the distance to the family of translates exceeds $\\varepsilon$, or a shift error growing faster than the stated linear bound, would falsify the claim; checking several $\\lambda$ values would also test the asserted optimality of the $\\varepsilon$ exponent.","supporting_citations":[{"cited_title":"Stability of Hill’s spherical vortex","cited_arxiv_id":null,"evidence_quote":"Supplies the variational characterization of Hill's vortex as the unique kinetic-energy maximizer and the compactness theorem for maximizing sequences that Section 3 uses in the contradiction argument."},{"cited_title":"On the Cauchy problem for axi-symmetric vortex rings","cited_arxiv_id":null,"evidence_quote":"Provides the uniform-in-time velocity bound used to control particle trajectories and the shift function in Section 4."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Defines the original Hill's spherical vortex and its traveling speed $W_H=2/15$."},{"cited_title":"Filamentation near Hill’s vortex","cited_arxiv_id":null,"evidence_quote":"Gives the earlier shift-function estimate for a single Hill vortex that Remark 1.3 says the present paper improves from $\\varepsilon^{1/2}$ to $\\varepsilon$."}],"review_version":1}