{"id":"c4e06b47-c352-4e78-ac25-51a70469587e","arxiv_id":"2501.13632","paper_version":1,"verdict":"REJECT","confidence":"MODERATE","novelty_score":8.0,"correctness_risk":"high","formal_verification":"none","parameter_count":3,"one_line_summary":"Every smooth solenoidal field on the 3-torus admits Hölder-continuous steady Euler flows whose trajectories are conjugate to its own via a volume-preserving homeomorphism.","lead":"The paper constructs Hölder-continuous steady Euler flows that keep the same streamline topology as any given smooth swirl on a 3-torus. It matters because it shows topology-preserving steady states exist in a weak class, with a uniquely identified flow, and yields weak counterexamples to Grad's plasma-confinement conjecture.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The Section 8 uniqueness proof survives the reader's dimension objection because the covering diameter (Lλ_q)^{-τ^{-2}} makes preimages fit in λ_q^{-1}-cubes for large q; the real gap is property (v), zero-set preservation, which is asserted but never proved.","rationale":"The reader's weakest_assumption concerns the covering dimension in the uniqueness proof. That concern does not land: the paper does not cover the preimage of ∂B directly with λ_q^{-1}-cubes; it first covers the sphere by sets S_i of diameter (Lλ_q)^{-τ^{-2}} and then uses the C^{τ/2} regularity of Y_s^{-1}. The estimate L·diam(S_i)^{τ/2} = L^{1-1/(2τ)}λ_q^{-1/(2τ)} is indeed ≤ λ_q^{-1} for all sufficiently large q, since L is a fixed constant depending on the competing flow Y and λ_q→∞. Thus each preimage intersects O(1) grid cubes and |Λ_1| is O(λ_q^{2τ^{-2}}), which yields the intended vanishing when 2τ^{-2}<3. The paper's omission of the explicit threshold 'for q large enough' is a minor expository issue, not a fatal gap. However, the proof of Theorem 1.1 in Section 8 never establishes property (v). The inductive hypotheses show v_q vanishes exactly on Z0 and that Φ_q fixes Z0, so v vanishes on Z0 by uniform convergence. The converse is not addressed: for x with v0(x)≠0, the only lower bound is |v_q(x)|≥2^{-2}δ_{q+1}^{1/2}, which tends to 0. The flow uniqueness does not force v(x)≠0, because a Hölder vector field can have multiple solutions starting at a zero, and the flow X_t need not stay at a zero point. Thus the theorem as stated is incomplete. The central existence and uniqueness construction may well be correct, but the stated zero-set preservation requires a proof, so a conditional acceptance with this repair is appropriate.","tokens_in":53406,"tokens_out":30377,"duration_ms":256533,"concrete_test":"Run an independent check of the vanishing set: take a smooth nonvanishing test field v0, apply the stage-one perturbation from Proposition 2.4 with a coefficient γ supported close to, but not at, a zero of v0, and compute v_1=(Dφ_1v_0)∘φ_1^{-1}; determine whether it is possible for |v_1(x)| to be exactly zero at a point where |v_0(x)|>0. If yes, property (v) is not preserved and the theorem needs an additional argument; if no, the preservation is a structural fact that should be stated and proved.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"The reader's main objection to the uniqueness proof in Section 8 is not valid as stated. The paper covers ∂B(x0,r) by sets S_i of diameter (Lλ_q)^{-τ^{-2}}. Since Y_s^{-1} is C^{τ/2}, each preimage has diameter at most L(Lλ_q)^{-1/(2τ)} = L^{1-1/(2τ)}λ_q^{-1/(2τ)}; because 1-1/(2τ)>0, this is ≤ λ_q^{-1} for all q ≥ Q(L). Hence each preimage intersects O(1) grid cubes, and |Λ_1| ≤ C L^{2τ^{-2}}λ_q^{2τ^{-2}}, giving a boundary error that vanishes when τ^2>2/3 and α is small. The proof only needs the inequality for sufficiently large q, which is implicit in the limit. The genuinely unsupported claim is property (v): the zero set of v is stated to coincide with that of v0, but Section 8 contains no argument ruling out new zeros created in the uniform limit. Since v_q=(Φ_q)_*v0 vanishes exactly on Z0 and Φ_q fixes Z0, v vanishes on Z0; however, for x with v0(x)≠0 the bounds only give |v_q(x)|≥2^{-2}δ_{q+1}^{1/2}, which tends to zero, so v(x) could be zero. The uniqueness of the flow does not prevent this, because a Hölder flow can have multiple solutions from a zero and need not stay at it.","agreement_with_reader":"disagree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proposes a convex integration scheme for steady 3D Euler flows on the torus in which, at each iteration, the new velocity is obtained as the pushforward of the previous velocity by a volume-preserving diffeomorphism, rather than by adding a highly oscillatory field directly. The main theorem, Theorem 1.1, claims that for any smooth solenoidal field v0 and suitable exponents there exist weak steady Euler flows v of class C^alpha, obtained as limits of pushed-forward fields (Phi_q)_*v0, with a unique 'most regular' flow conjugate to the flow of v0 through a volume-preserving Holder homeomorphism, and with the same zero set as v0. A toroidal-domain version is stated and used to produce families of non-axisymmetric weak steady states relevant to Grad's conjecture. The proof is organized around an induction with hypotheses (2.44)-(2.53), a single-cube perturbation proposition (Proposition 2.4), and a long sequence of estimates in Sections 3-7; Section 8 passes to the limit and proves uniqueness of the most regular flow.","tokens_in":53721,"tokens_out":9348,"duration_ms":92553,"significance":"If the full statement of Theorem 1.1 is correct, this is a substantial contribution: it provides low-regularity steady Euler flows with prescribed topological structure, bypasses the Cieliebak-Volkov obstruction by giving up smoothness, establishes uniqueness of a distinguished flow in a Holder class, and yields compactly supported and plasma-relevant consequences. The manuscript is technically rich and carefully structured, and the proof makes systematic use of prior lemmas rather than assuming the target theorem; the parameter hierarchy and the explicit H^{-1} estimates are notable strengths. However, one property explicitly stated in Theorem 1.1, namely the preservation of the zero set, is not proved anywhere in Section 8, and the proof as written therefore establishes a strictly weaker statement than the theorem claims.","major_comments":[{"comment":"Property (v), the assertion that the zero sets of v0 and v coincide, is never proved. The induction gives v_q=(Phi_q)_*v0 with Phi_q=Id in a neighborhood of the zero set Z0 of v0 (by (2.20)), so v_q vanishes exactly on Z0 and the limit v vanishes on Z0. But for x with v0(x) neq 0, the only available lower bound is |v_q(x)| geq 2^{-2} delta_{q+1}^{1/2} on Omega_{q+1} (inequality (2.26)), and this bound tends to 0 as q to infinity. Nothing in Section 8 rules out the possibility that v(x)=0 for some such x. The uniqueness of the distinguished flow X_t does not exclude this: a point x with v(x)=0 need not be a fixed point of X_t, and a volume-preserving Holder flow can pass through zeros. Since property (v) is load-bearing for the 'same topology' claim and for the compact-support corollary in Section 1.1, the proof needs either a uniform-in-q lower bound for |v_q| away from Z0, or a separate argument showing that no new zeros are created in the limit.","section":"§8, Theorem 1.1(v)"}],"minor_comments":[{"comment":"For the record, I do not see the alleged exponent defect in the boundary-cube estimate. With diam(S_i) leq (L lambda_q)^{-tau^{-2}}, the bound diam(Y_s^{-1}(S_i)) leq L diam(S_i)^{tau/2} gives L^{1-1/(2tau)} lambda_q^{-1/(2tau)} leq lambda_q^{-1} for all sufficiently large q because tau>1/2; the condition tau^2>2/3 is then sufficient for (8.1) to hold. The argument is sound as written.","section":"§8, estimate near (8.4)"},{"comment":"The definition of beta is garbled: it is introduced as beta := 2-11, while Lemma 4.1 uses beta = 2^{-10}. Please harmonize this notation, since subsequent estimates such as (4.3) and (4.4) depend on the exact value of beta.","section":"§2.1, after (2.14)"},{"comment":"The abstract promises 'infinitely many' Holder-continuous steady Euler flows with the same topology, but Theorem 1.1 as stated only asserts existence of one such flow for each epsilon. If infinitely many distinct flows are intended, the counting argument should be supplied; otherwise the wording should be changed.","section":"Abstract and §1"},{"comment":"Theorem 9.2 is stated as a theorem but its proof is only a sketch, with the boundary modifications and the uniqueness-on-a-domain argument summarized rather than written out. If this result is to remain a formal theorem, the sketch should be expanded; otherwise it should be presented as a heuristic application.","section":"§9, Theorem 9.2"}],"recommendation":"major_revision","confidential_remarks":"The core convex-integration scheme appears to be a serious and original contribution, and I found no circularity in the main existence proof. The obstruction to acceptance is the missing proof of zero-set preservation in Theorem 1.1(v); because that property is explicitly stated and used, the paper needs either a repair or a weakening of the claim. I would not reject on the basis of the Section 8 boundary estimate, which checks out."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The scheme is genuinely new: instead of adding high-frequency velocity perturbations, the authors iterate volume-preserving diffeomorphisms, so each v_q stays conjugate to v0. That is the right way to bypass the Cieliebak-Volkov obstruction in the low-regularity class, and the core existence proof in Sections 3-7 is long, detailed, and mostly convincing. The convergence argument and the verification that the limit is a weak steady Euler flow are standard once the induction hypotheses are granted. The citation pattern is fine; the authors' use of their own earlier work for the standard divergence-equation lemmas is appropriate.\n\nThe soft spots are load-bearing. The uniqueness proof for the most regular flow contains an exponent error in Section 8. The paper covers ∂B(x0,r) by sets of diameter (Lλ_q)^{-τ^{-2}} and claims their preimages under a C^{τ/2} homeomorphism fit in λ_q^{-1}-cubes. That is false: for a C^{τ/2} map, the preimage diameter is at most L^{1-1/(2τ)}λ_q^{-1/(2τ)}, and since 1-1/(2τ)>0 this is not bounded by λ_q^{-1} for large q. The boundary cubes then number about λ_q^{2τ^{-2}+3(1-1/(2τ))}, which exceeds λ_q^3 for the τ in the stated range, so the error term need not vanish. The stress-test note's defense of this step does not hold up numerically.\n\nProperty (v), that the zero sets of v and v0 coincide, is asserted but never proved. The construction gives v=0 on the zero set of v0, but for points where v0≠0 the lower bound |v_q|≥cδ_{q+1}^{1/2} tends to zero, so nothing rules out new zeros appearing in the limit. The uniqueness statement cannot rule this out either, because a Hölder flow starting at a zero need not leave it.\n\nThe toroidal extension is only sketched; that is acceptable for an application, but not for a central theorem.\n\nFor a reader working on steady Euler flows or convex integration, the existence scheme is worth understanding and the paper deserves expert referee time. But as written, the claimed uniqueness of the most regular flow and the exact zero-set preservation are unsupported. I would not accept it in this form; I would send it to a serious referee with a request for major revision.","headline":"A genuinely new topology-preserving convex integration scheme with a plausible main existence theorem, but the uniqueness and zero-set claims in the current version do not survive scrutiny.","tokens_in":696,"tokens_out":2242,"would_cite":false,"duration_ms":69513,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["35Q31","76B03","35D30"],"pacs":[],"model":"deepseek-v4-flash","headline":"For any smooth solenoidal field on the 3-torus, there are Hölder steady Euler flows preserving its zero set, with a unique most-regular conjugate flow.","keywords":["steady Euler equations","convex integration","Hölder continuous weak solutions","topology of vector fields","volume-preserving diffeomorphisms","zero set preservation","toroidal domains","magnetohydrostatic equilibria"],"falsifier":"The uniqueness assertion in Section 8 can be tested by computing the box-counting dimension of the set $Y_s^{-1}(\\partial B(x_0,r))$ for a volume-preserving homeomorphism $Y_s$ of class $C^{\\tau/2}$ with $\\tau\\in(\\sqrt{2/3},1)$. The proof uses the bound $|\\Lambda_1|\\lesssim\\lambda_q^{2\\tau^{-2}}$; if one exhibits such a $Y_s$ whose preimage has dimension greater than $3$, or proves that no such example exists, the boundary-layer estimate (8.4) either fails or is restored, settling whether the competing-flow uniqueness step is valid.","tokens_in":53139,"feed_emoji":"🌀","tokens_out":13205,"duration_ms":108404,"temperature":0.7,"pith_summary":"This paper proves that on the three-torus the topology of any smooth divergence-free vector field can be realized by low-regularity steady solutions of the incompressible Euler equations. For every $v_0\\in C^\\infty(\\mathbb{T}^3)$ with ${\\rm div}\\, v_0=0$, every $\\tau\\in(\\sqrt{2/3},1)$ and every $\\varepsilon>0$, it constructs a weak steady Euler flow $v\\in C^\\alpha(\\mathbb{T}^3)$ that is the $C^\\alpha$ limit of pushforwards $(\\Phi_q)_*v_0$ by volume-preserving diffeomorphisms $\\Phi_q$ converging in $C^\\tau$ to a volume-preserving Hölder homeomorphism $\\Phi$. The zero sets of $v$ and $v_0$ coincide, and the homeomorphism conjugates the flow of $v_0$ to the unique flow of $v$ in a specified Hölder class. The construction also works in toroidal domains, producing non-axisymmetric weak equilibria with invariant torus foliations and thereby showing that the toroidal confinement conjecture fails in the Hölder category. A sympathetic reader should care because the result turns the orbit structure of a smooth field into a boundary condition for weak steady Euler states, rather than only measuring complicated orbits in already-known steady flows.","feed_headline":"Rough steady Euler flows copy any smooth field's topology","feed_subtitle":"Every smooth field on the 3-torus has low-regularity steady Euler flows with the same zeros and a unique most-regular flow.","key_machinery":"The scheme is a topology-preserving convex integration iteration. A subsolution is a triple $(v,p,R)$ with ${\\rm div}(v\\otimes v)+\\nabla p={\\rm div}\\,R$ and ${\\rm div}\\,v=0$; the goal is to drive $R$ to zero uniformly. At each stage the velocity is not modified by an additive perturbation but conjugated by a volume-preserving diffeomorphism, $v_{J+1}=(D\\varphi_{J+1}v_J)\\circ\\varphi_{J+1}^{-1}$, with $\\varphi_{J+1}=\\varphi_c\\circ\\varphi_0$. The main correction $\\varphi_0$ is built from oscillatory terms whose phase $\\theta_m=l_m(\\eta\\xi_{J,m}\\cdot x+\\lambda_{J+1}k_{J,m}\\cdot x)$ is invariant under composition, while $\\varphi_c$ is a prescribed-Jacobian correction making the map volume-preserving. The Reynolds stress is then decomposed in adapted frames $\\zeta_j\\otimes\\zeta_j$ with $\\mathrm{Id}-sR=\\sum_j\\gamma_j^2\\zeta_j\\otimes\\zeta_j$, and each term is canceled by a perturbation almost perpendicular to $v_J$. The parameter hierarchy $\\mu\\ll\\eta\\ll\\lambda_{J+1}$, with $\\beta=2^{-11}$, balances all error terms and yields the $C^\\tau$ convergence of the diffeomorphisms and the $C^\\alpha$ convergence of the pushed-forward velocities.","core_discovery":"The central claim is Theorem 1.1. Given any smooth solenoidal field $v_0$ on $\\mathbb{T}^3$, any $\\tau\\in(\\sqrt{2/3},1)$ and any $\\varepsilon>0$, there exists a weak steady Euler flow $v\\in C^\\alpha(\\mathbb{T}^3)$ with $\\|v-v_0\\|_{H^{-1}}+\\|\\Phi-\\mathrm{Id}\\|_{C^0}<\\varepsilon$, where $v=\\lim_q (\\Phi_q)_*v_0$ in $C^\\alpha$; the $\\Phi_q$ are volume-preserving diffeomorphisms converging in $C^\\tau$ to a volume-preserving Hölder homeomorphism $\\Phi$; $\\{v=0\\}=\\{v_0=0\\}$; and $X_t=\\Phi\\circ X^0_t\\circ\\Phi^{-1}$ is the only flow of $v$ in $C^0_{\\rm loc}(\\mathbb{R},C^{\\tau/2})\\cap C^1_{\\rm loc}(\\mathbb{R},C^0)$. Here $X^0_t$ is the flow of $v_0$. The same ideas give a version on toroidal domains when $v_0$ does not vanish on the boundary, from which the paper derives families of non-axisymmetric weak steady Euler flows with invariant nested tori, presented as a weak counterexample to the toroidal confinement conjecture. Since the steady Euler equations are the same as the magnetohydrostatic equilibrium equations, the result also asserts the existence of Hölder MHS equilibria that are topologically accessible from any smooth solenoidal field, with the caveat that the approximating fields need not have decreasing $L^2$ norms.","pith_inferences":["Editorial inference: the same 'push forward by diffeomorphisms' mechanism could be adapted to equations with a volume-preserving symmetry group, such as ideal MHD, by conjugating both the velocity and magnetic fields at every stage.","Editorial inference: the threshold $\\tau>\\sqrt{2/3}$ and the boundary-layer dimension exponent $2\\tau^{-2}$ suggest that the uniqueness class is tied to a dimensional obstruction; closing the dimension gap noted below would likely determine the sharp regularity range.","Editorial inference: if the dimension bound in Section 8 is not improved, the uniqueness statement may still be salvageable for the constructed flow while other flows in the same Hölder class coexist; the existence and zero-set parts of the theorem would remain untouched.","Editorial inference: a numerical experiment could test stability by discretizing the iteration for a few stages on the torus, looking for convergence of the pushed-forward fields and growth of high-frequency corrections while the zero set remains fixed outside the support of perturbations."],"forward_implications":["Any smooth solenoidal $v_0$ on $\\mathbb{T}^3$ has infinitely many Hölder steady Euler flows whose zero set is exactly $\\{v_0=0\\}$, so compactly supported steady flows on $\\mathbb{R}^3$ with prescribed topology follow by restricting to a torus.","The flow $X_t=\\Phi\\circ X^0_t\\circ\\Phi^{-1}$ is the unique flow of $v$ in the class $C^0_{\\rm loc}(\\mathbb{R},C^{\\tau/2})\\cap C^1_{\\rm loc}(\\mathbb{R},C^0)$, so even though weak trajectories may be nonunique, the constructed solution carries a canonical topologically meaningful dynamics.","The $C^\\alpha$ limit is a limit of pushforwards of $v_0$ by volume-preserving diffeomorphisms $\\Phi_q$, and $\\|v-v_0\\|_{H^{-1}}$ can be made arbitrarily small, so infinitely many weak steady states lie in the closure of the adjoint orbit $O_{v_0}$.","On toroidal domains, the same construction produces non-axisymmetric families of weak steady Euler flows with invariant torus foliations, so the low-regularity version of the toroidal confinement conjecture is false and the weak states are not isolated.","Because the steady Euler equations coincide with the magnetohydrostatic equilibrium equations, the result yields Hölder MHS equilibria that are topologically accessible from any smooth solenoidal field, modulo the caveat that $L^2$ norms of the approximating fields are not required to decrease."],"supporting_citations":[{"why":"Supplies the obstruction that C1 steady flows cannot have Reeb components, so most smooth fields are not diffeomorphic to a C1 steady state; this motivates working with Hölder weak solutions.","marker":"[15]"},{"why":"Provides the convex-integration framework for the Euler equations and the Reynolds-stress subsolution formalism that the new scheme modifies.","marker":"[19, 20]"},{"why":"Provides the determinant-correction lemma used to construct the small volume-preserving correction $\\varphi_c$ with prescribed Jacobian.","marker":"[18]"},{"why":"Supplies the auxiliary divergence solvers and uniform Besov estimates used to define the matrices $M_1$ and $M_2$ and to control constants under rescaling.","marker":"[30]"},{"why":"Supplies the $H^{-1}$ characterization used to prove the smallness of $v_{J+1}-v_J$ in $H^{-1}$.","marker":"[34]"},{"why":"Gives the notion of topological accessibility for magnetostatic equilibria, the plasma-physics interpretation of the main theorem.","marker":"[45]"},{"why":"Supplies the approximation of volume-preserving homeomorphisms by volume-preserving diffeomorphisms used in the uniqueness argument's change of variables.","marker":"[49]"},{"why":"States the toroidal confinement conjecture that Theorem 1.2 addresses with non-axisymmetric weak equilibria.","marker":"[40]"}],"fun_headline_variants":["Topology-preserving convex integration finds rough Euler flows","Every smooth solenoidal field has rough steady Euler doppelgangers","Hölder steady Euler flows preserve zeros and flow structure","Unique highest-regularity flow: rough Euler flows mirror smooth","Rough steady Euler flows give weak counterexample to confinement"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"In the uniqueness proof of Section 8, the argument assumes that a competing flow of only $C^{\\tau/2}$ regularity pulls a smooth sphere back to a set of box-counting dimension at most $2\\tau^{-2}$; the stated regularity alone gives $4/\\tau$, which exceeds $3$ for $\\tau<1$, so the boundary layer in (8.4) can be space-filling.","fun_headline_variants_meta":{"raw":{"variants":["Topology-preserving convex integration finds rough Euler flows","Every smooth solenoidal field has rough steady Euler doppelgangers","Hölder steady Euler flows preserve zeros and flow structure","Unique highest-regularity flow: rough Euler flows mirror smooth","Rough steady Euler flows give weak counterexample to confinement"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000897,"raw_usage":{"total_tokens":3913,"prompt_tokens":1043,"completion_tokens":2870,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":659,"completion_tokens_details":{"reasoning_tokens":2796}},"tokens_in":659,"tokens_out":2870,"duration_ms":17205,"temperature":1.0,"reasoning_tokens":2796,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-10T15:49:48.449432+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"The uniqueness assertion in Section 8 can be tested by computing the box-counting dimension of the set $Y_s^{-1}(\\partial B(x_0,r))$ for a volume-preserving homeomorphism $Y_s$ of class $C^{\\tau/2}$ with $\\tau\\in(\\sqrt{2/3},1)$. The proof uses the bound $|\\Lambda_1|\\lesssim\\lambda_q^{2\\tau^{-2}}$; if one exhibits such a $Y_s$ whose preimage has dimension greater than $3$, or proves that no such example exists, the boundary-layer estimate (8.4) either fails or is restored, settling whether the competing-flow uniqueness step is valid.","supporting_citations":[{"cited_title":"Cieliebak, E","cited_arxiv_id":null,"evidence_quote":"Supplies the obstruction that C1 steady flows cannot have Reeb components, so most smooth fields are not diffeomorphic to a C1 steady state; this motivates working with Hölder weak solutions."},{"cited_title":"Dacorogna, J","cited_arxiv_id":null,"evidence_quote":"Provides the determinant-correction lemma used to construct the small volume-preserving correction $\\varphi_c$ with prescribed Jacobian."},{"cited_title":"Evans, Partial Differential Equations","cited_arxiv_id":null,"evidence_quote":"Supplies the $H^{-1}$ characterization used to prove the smallness of $v_{J+1}-v_J$ in $H^{-1}$."},{"cited_title":"Moffatt, Magnetostatic equilibria and analogous Eu ler flows of arbitrarily complex topol- ogy","cited_arxiv_id":null,"evidence_quote":"Gives the notion of topological accessibility for magnetostatic equilibria, the plasma-physics interpretation of the main theorem."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the approximation of volume-preserving homeomorphisms by volume-preserving diffeomorphisms used in the uniqueness argument's change of variables."},{"cited_title":"Grad, Toroidal containment of a plasma, Phys","cited_arxiv_id":null,"evidence_quote":"States the toroidal confinement conjecture that Theorem 1.2 addresses with non-axisymmetric weak equilibria."}],"review_version":1}