{"id":"ccdccb6b-1867-4b12-b577-c3ed31e909cc","arxiv_id":"2607.07613","paper_version":1,"verdict":"ACCEPT","confidence":"HIGH","novelty_score":7.0,"correctness_risk":"unknown","formal_verification":"none","parameter_count":4,"one_line_summary":"Non-rigid time-periodic vortex patch solutions bifurcating from translating symmetric dipoles are constructed for the 2D Euler equations using Lyapunov-Schmidt reduction and Nash-Moser methods.","lead":"The paper proves that non-rigid, time-periodic vortex patch solutions to the 2D Euler equations exist near translating symmetric dipole configurations. This demonstrates that fluid vortex pairs can oscillate internally while moving, rather than just translating rigidly.","discovery_kind":"unclear","skeptic_critique":{"model":"glm-5.2","headline":"No significant objection identified. The eigenvalue structure provides sufficient transversality for the measure estimates, and the proof strategy follows established KAM-for-PDE methods.","rationale":"The paper presents a rigorous construction of time-periodic vortex patch solutions near translating dipoles, combining well-established techniques (Lyapunov-Schmidt, Nash-Moser, spectral reducibility) with problem-specific analysis (degeneracy of mode 1, distinguished asymptotics of mode 2). The reader's concern about measure estimates and linearized operator invertibility is the natural one to raise, but based on the eigenvalue structure visible in the paper, the transversality conditions appear to hold: the tangential mode is excluded from the normal modes, and the $\\alpha$-dependence provides nonzero transversality when leading-order terms don't cancel, while constant offsets prevent resonances when the derivative vanishes. The proof strategy is sound and follows established methods in the KAM-for-PDEs literature. The paper provides detailed asymptotic expansions to $O(\\alpha^5)$ and explicit verification of spectral gaps (Proposition 6.4, Step I). Without access to the full details of Section 10 (truncated in the provided text), a complete verification of the measure estimates cannot be performed, but the structural features visible are consistent with a correct argument. The verdict of ACCEPT with HIGH confidence is appropriate.","tokens_in":88314,"tokens_out":8416,"duration_ms":431646,"concrete_test":"Verify the transversality estimates in Section 10.4 explicitly for the mode $j=2$ (which has the distinguished $\\pm\\tfrac{3}{2}\\alpha^4$ correction) when $J \\neq 2$: compute $\\partial_\\alpha(\\omega\\ell - i\\mu_{2,\\varepsilon}(\\omega,\\alpha))$ for small $|\\ell J - 2|$ and confirm it is bounded below by $C\\alpha^3|\\ell J - 2|$ uniformly. If this derivative degenerates for any $(\\ell, j)$ pair with $j \\in \\mathbb{Z}_K$, the measure estimate for that resonant strip would need to be rechecked.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The reader correctly identifies the measure estimates (Section 10) and the invertibility of the linearized operator during the Nash-Moser iteration (Section 9) as the most delicate parts of the proof. However, examining the specific eigenvalue structure reveals that the concern does not seem to land as a load-bearing issue.\n\nThe eigenvalues from Corollary 6.1 take the form $-i\\lambda_j^{(8)}(\\alpha) = j(\\tfrac{1}{2} - \\alpha^4 + c_1(\\alpha)) - \\tfrac{1}{2}\\text{sgn}(j) + r_j(\\alpha)$, with the distinguished mode $j=\\pm 2$ carrying an additional $\\pm \\tfrac{3}{2}\\alpha^4$ contribution (eq. 1.21). The frequency is $\\omega = -i\\lambda_J^{(8)}(\\alpha) + O(\\varepsilon)$ for the tangential mode $J \\geq 2$.\n\nFor the first Melnikov conditions $|\\omega\\ell - i\\mu_{j,\\varepsilon}| \\geq 2\\upsilon|j|^{-\\tau}$ with $j \\in \\mathbb{Z}_K$ (excluding $j = \\pm J$), the potentially resonant case $\\ell = 1, j = J$ is automatically excluded since $J \\notin \\mathbb{Z}_K$. For $\\ell J - j \\neq 0$, the $\\alpha$-derivative of the small divisor is $\\sim 4\\alpha^3(\\ell J - j)$, which is nonzero. For $\\ell J = j$ with $j \\in \\mathbb{Z}_K$ (requiring $|\\ell| \\geq 2$), the function value reduces to $\\tfrac{1}{2}\\text{sgn}(J)(\\text{sgn}(\\ell) - \\ell) + O(\\alpha^4)$, which is bounded away from zero by a constant, so no bad region needs removal.\n\nSimilarly, for the transport non-resonance $|\\omega\\ell + m_{1,\\varepsilon} j| \\geq 4\\upsilon|j|^{-\\tau}$: when $\\ell J + j = 0$, the derivative vanishes but the function value is $-\\ell/2 + O(\\alpha^4)$, bounded away from zero for $\\ell \\neq 0$.\n\nThe overall strategy—Lyapunov-Schmidt reduction, reducibility of the linearized operator without small divisors (Propositions 6.3–6.4), Nash-Moser with tame estimates, and Cantor set measure estimates—follows established methods in KAM theory for PDEs (cf. [3, 10, 42, 48]). The traveling wave construction (Theorem 1.1) via implicit function theorem in analytic spaces is straightforward. The spectral analysis in S","agreement_with_reader":"partial"},"referee_report":{"model":"glm-5.2","summary":"The paper proves the existence of non-rigid time-periodic vortex patch solutions to the 2D incompressible Euler equations, bifurcating from translating symmetric dipole patches. The reference configuration consists of two well-separated patches of opposite vorticity traveling at constant speed (Theorem 1.1). The main result (Theorem 1.2) constructs time-periodic deformations of these patches via a Lyapunov-Schmidt reduction, a Nash-Moser scheme, and sharp spectral analysis. The linearized operator at the equilibrium is fully diagonalized by time-independent transformations without small-divisor conditions. The Nash-Moser iteration for the range equation requires first Melnikov non-resonance conditions, and measure estimates (Section 10) show these hold on a Cantor set of asymptotically full measure.","tokens_in":88756,"tokens_out":721,"duration_ms":255726,"significance":"This is a substantial contribution to the study of time-periodic solutions in fluid mechanics. The construction of non-rigid periodic dynamics near a translating (rather than rotating) equilibrium is novel. The authors provide explicit asymptotic expansions of eigenvalues to high order in the separation parameter alpha (Corollary 6.1, Eq. 1.21), which is the key technical ingredient enabling the measure estimates. The diagonalization of the linearized operator without small-divisor conditions (Proposition 6.4) and the careful treatment of the degenerate mode j=1 via a Lagrange multiplier are notable strengths. The result is falsifiable through the explicit spectral expansions and the Cantor set structure.","major_comments":[],"minor_comments":[{"comment":"Section 1.1.2: The connection to Kida vortices is discussed at length but the precise relationship between the external shear in the Kida problem and the long-distance interaction in the dipole problem could be stated more sharply. The remark that truncating at quadratic order 'should' recover 2-fold symmetry is informal; consider tightening or removing.","section":null},{"comment":"The notation Z_ph (defined near Eq. 3.22 as Z minus {0,-1}) is somewhat unusual and could be confusing, since j=1 corresponds to cos(theta). A brief remark explaining this indexing choice would aid readability.","section":null},{"comment":"In Proposition 5.5, the asymptotic expansion of r_alpha is stated as formal but noted to be rigorizable. The proof would benefit from a sentence or two indicating how the error terms are controlled, or a reference to where this is standard.","section":null},{"comment":"Section 10: The measure estimates are intricate. The decomposition into trivial and non-trivial cases (Section 10.3) is clear, but the final estimate in Section 10.4 could benefit from a more explicit statement of the total measure removed, summarizing the bounds from each sub-case.","section":null},{"comment":"Typographical: 'hypHotetical' in the phrase 'hypothetical conjugation argument' near the description of the modified bifurcation equation (Section 8.2) appears to contain a capitalization error.","section":null}],"recommendation":"accept","confidential_remarks":"The paper is long and technically dense, but the proof strategy is sound and follows established KAM-for-PDE methodology adapted to the contour dynamics setting. The reader's report and stress-test analysis correctly identify the measure estimates and Nash-Moser invertibility as the most delicate parts; on inspection, the eigenvalue structure provides sufficient transversality and the concerns do not materialize as load-bearing issues. The paper is suitable for publication in a serious PDE journal."},"author_rebuttal":{"model":"glm-5.2","summary":"We thank the referee for the careful reading and the positive assessment of our work. The referee's summary accurately captures the main contributions of the paper: the construction of non-rigid time-periodic vortex patch solutions bifurcating from translating symmetric dipoles, the diagonalization of the linearized operator without small-divisor conditions, the sharp asymptotic expansions of eigenvalues, and the measure estimates on the resulting Cantor set. We are grateful for the recommendation to accept the paper.","responses":[],"tokens_in":87823,"tokens_out":149,"duration_ms":13536,"standing_objections":[]},"desk_editor":{"model":"glm-5.2","letter":"This paper proves the existence of non-rigid time-periodic vortex patch solutions to the 2D Euler equations bifurcating from translating symmetric dipoles. That is genuinely new: prior work on periodic/quasi-periodic vortex patches dealt with rotating equilibria (Kirchhoff ellipses) or leapfrogging, not translating configurations. The degenerate first mode from translation invariance is handled by promoting the translation speed to a time-dependent Lagrange multiplier, which is a clean idea and seems to work well here. Theorem 1.1 (existence of analytic translating dipole patches in a large-separation regime) is a warm-up via IFT and is straightforward; Theorem 1.2 is the real contribution, yielding a Cantor set of parameters with asymptotically full measure where periodic solutions exist for any tangential mode J ≥ 2, including J = 2, which is excluded in the Kirchhoff setting due to 2-fold symmetry. The spectral analysis is the strongest part of the paper. The two-step diagonalization of the linearized operator at the equilibrium — first reducing the transport via a symplectic change of variables, then solving a homological equation in a single step — avoids small divisors entirely at the linear level. The asymptotic expansions of eigenvalues are carried out to order α^5, which is what you need to capture the distinguished ±(3/2)α^4 correction on the j = ±2 mode. The measure estimates in Section 10 check out: the transversality conditions hold because the α-derivative of the small divisor is ~4α^3(ℓJ - j), which is nonzero away from the excluded resonant case, and the remaining cases are bounded away from zero by constants. The stress-test concern about Section 9–10 being delicate does not really land as a load-bearing problem on inspection. The soft spots are proportional. The Nash-Moser iteration in Section 9 follows established KAM-for-PDE methodology; it is competent but not methodologically novel. The asymptotic expansions in Sections 5–6 are intricate and are exactly the kind of calculations where a sign error or missed term could hide — a referee should spot-check at least the α^3 and α^4 terms in Lemma 5.6 and Lemma 5.7 against the eigenvalue formula in Corollary 6.1. The paper is also very long, and some of the exposition could be tightened. This is a paper for researchers in KAM theory for fluid PDEs and vortex dynamics. It deserves a serious referee who is willing to verify the asymptotic expansions carefully. I recommend sending it out for review.","headline":"Time-periodic vortices near translating symmetric dipole patches","tokens_in":89324,"tokens_out":1210,"would_cite":true,"duration_ms":94835,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["35Q35","76B47","35R35","35B10","35C20"],"pacs":[],"model":"glm-5.2","headline":"Non-rigid periodic vortices found near translating dipoles","keywords":["vortex patches","Euler equations","time-periodic solutions","translating dipoles","Nash-Moser","Lyapunov-Schmidt","small divisors","contour dynamics"],"falsifier":"If the transversality conditions on the eigenvalue asymptotics fail for some Fourier mode or parameter value, the Cantor set of admissible parameters could have significantly less than full measure, potentially making the periodic solutions too sparse to be physically meaningful. Additionally, if the Nash-Moser right-inverse cannot be constructed with tame estimates due to an unexpected accumulation of small divisors, the entire nonlinear construction would collapse.","tokens_in":88630,"feed_emoji":"","tokens_out":1102,"duration_ms":260000,"temperature":0.7,"pith_summary":"This paper proves that translating vortex pairs in the 2D Euler equations have nearby solutions whose boundaries oscillate periodically in time rather than moving rigidly. The authors start from a classical configuration: two vortex patches of equal and opposite strength translating at constant speed while preserving their shape. Working in a frame co-moving with the dipole and using contour dynamics, they reduce the problem to a nonlinear transport equation for the patch boundary. The linearized operator around the rigid dipole has degeneracies from translation symmetry and transport effects, which the authors overcome through a combination of Lyapunov-Schmidt reduction, a Nash-Moser iteration, and sharp spectral asymptotics. The result is a family of genuinely time-periodic, non-rigid vortex patch solutions existing for a large Cantor set of parameters with asymptotically full measure. The key structural fact enabling the construction is that the linearized dynamics at the translating dipole can be fully diagonalized by time-independent transformations without any small-divisor condition at the linear level; small divisors appear only when inverting the linearized operator at approximate solutions during the nonlinear iteration, and they lose derivatives only in the spatial variable.","feed_headline":"","feed_subtitle":"","key_machinery":"The proof combines: (1) contour dynamics reducing the Euler equations to a scalar nonlinear nonlocal transport equation for the patch boundary; (2) a symplectic change of the angular variable flattening the transport coefficient; (3) a single-step homological equation solving for the diagonalizing transformation without small divisors; (4) Lyapunov-Schmidt reduction separating tangential modes (mode 1 and a chosen mode J>=2) from normal modes; (5) action-angle coordinates for the finite-dimensional bifurcation equation; (6) a hypothetical conjugation argument fixing the oscillation frequency; (7) a Nash-Moser iteration for the infinite-dimensional range equation with tame right-inverse under","core_discovery":"The central discovery is that the linearized operator around a translating symmetric vortex dipole, despite being a variable-coefficient transport operator with nonlocal smoothing remainders, can be completely diagonalized by a composition of two time-independent, reversibility-preserving transformations. The first flattens the transport coefficient to a constant via a symplectic change of the angular variable; the second eliminates all off-diagonal terms by solving a nonlinear homological equation in a single step, with no small-divisor condition needed. This yields explicit asymptotic formulas for the eigenvalues to order alpha^5, which then serve as the backbone for the nonlinear bifurcAt","pith_inferences":["The Cantor set structure of admissible parameters means that for generic parameter values the periodic solutions may not exist; the set has asymptotically full measure but excludes resonant parameter values, implying that periodic orbits are dense but not universal near the dipole.","The restriction to time-periodic rather than quasi-periodic solutions may be a technical limitation of the current Nash-Moser scheme; the diagonalized linear structure suggests that quasi-periodic solutions with multiple frequencies could potentially be constructed by extending the tangential mode space, though the measure estimates would become more delicate.","The connection to Kida vortices at the quadratic truncation level suggests that for specific parameter regimes the periodic solutions may approximate known finite-dimensional vortex dynamics, providing a testable bridge between patch dynamics and point-vortex models."],"forward_implications":["Translating vortex dipoles, long viewed as rigid coherent structures, possess a richer nearby dynamics including genuine non-rigid periodic oscillations of the patch boundaries.","The diagonalization of the linearized operator at the dipole without small divisors provides explicit spectral information that could be used for stability analysis of translating vortex pairs.","The framework extends to other nonlocal PDEs in fluid mechanics with degenerate linearizations, including quasi-geostrophic and active scalar equations.","The inclusion of mode J=2 as a tangential mode connects the bifurcation to Kida vortex dynamics, suggesting a bridge between single-vortex shear responses and two-vortex interaction dynamics."],"fun_headline_variants":["Variant 1: Time-periodic vortices found near translating symmetric dipole patches","Variant 2: Non-rigid periodic vortices bifurcate from translating dipole patches","Variant 3: Translating vortex dipoles exhibit rich non-rigid periodic dynamics","Variant 4: Constructing non-rigid time-periodic vortex patches near dipoles","Variant 5: Time-periodic solutions of Euler equations near vortex dipoles"],"cache_read_input_tokens":0,"weakest_assumption_plain":"The construction requires that first Melnikov non-resonance conditions hold uniformly across the parameter set, which is verified through measure estimates showing the good parameters form a set of asymptotically full measure. These estimates depend on sharp asymptotic expansions of eigenvalues and transversality properties that must hold uniformly for all Fourier modes and all parameters in the chosen interval.","fun_headline_variants_meta":{"raw":{"variants":["Variant 1: Time-periodic vortices found near translating symmetric dipole patches","Variant 2: Non-rigid periodic vortices bifurcate from translating dipole patches","Variant 3: Translating vortex dipoles exhibit rich non-rigid periodic dynamics","Variant 4: Constructing non-rigid time-periodic vortex patches near dipoles","Variant 5: Time-periodic solutions of Euler equations near vortex dipoles"]},"model":"glm-5.2","effort":"high","cost_usd":0.0,"raw_usage":{"total_tokens":1028,"prompt_tokens":495,"completion_tokens":533,"prompt_tokens_details":null},"tokens_in":495,"tokens_out":533,"duration_ms":23401,"temperature":1.0,"reasoning_tokens":455,"cache_read_input_tokens":0,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-07-09T04:54:01.053524+00:00","model_set":{"reader":"glm-5.2"},"falsifier":"If the transversality conditions on the eigenvalue asymptotics fail for some Fourier mode or parameter value, the Cantor set of admissible parameters could have significantly less than full measure, potentially making the periodic solutions too sparse to be physically meaningful. Additionally, if the Nash-Moser right-inverse cannot be constructed with tame estimates due to an unexpected accumulation of small divisors, the entire nonlinear construction would collapse.","supporting_citations":[],"review_version":1}