{"id":"6237270f-847b-485e-9233-6a8678ddd0bd","arxiv_id":"2608.11547","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Every steady Euler flow with an invariant-torus foliation and pressure constant on each torus admits a global representation by two lifted weighted-harmonic vector fields and satisfies a single normal flux equation.","lead":"This paper derives a general mathematical description of steady fluid flows that wrap around nested tori, without requiring any symmetry. It shows such flows are determined by two weighted harmonic components plus one scalar equation, and that the classic axisymmetric Grad-Shafranov equation is a special case.","discovery_kind":"first_principles","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Converse of Theorem 1.9 is asserted without proof; the claimed complete characterization rests on an omitted verification.","rationale":"The reader's nominated weakest assumption, the nowhere-vanishing condition in Proposition 2.5, is less damaging than stated. Even if u vanishes on part of a leaf, the equations uφ(∂χuφ−∂φuχ)=0 and uχ(∂χuφ−∂φuχ)=0 force A=∂χuφ−∂φuχ to vanish on the dense set where u≠0; on any open set where u=0, A=0 directly because the components are locally constant zero; continuity of A then gives A=0 everywhere. Thus weighted harmonicity does not actually require nowhere-vanishing, and the reader's stated weakest concern does not land. The real issue is the unproved converse of Theorem 1.9, which the reader noted in passing but did not identify as the weakest assumption. Since the CONDITIONAL verdict already reflects the missing converse proof and the index errors, my read does not change the verdict; it shifts the justification from the nowhere-vanishing hypothesis to the omitted converse verification.","tokens_in":18050,"tokens_out":34443,"duration_ms":374008,"concrete_test":"Supply the missing converse proof. Starting from a smooth Ψ satisfying (1.19), define u by (1.18) and verify: (i) i*u = c_i(Ψ)τ^i with τ^i closed, so the two tangential components of the local system (2.12) hold; (ii) dι_u dV = 0 via the weighted co-closedness of τ^i; and (iii) the Ψ-component of (2.12) is exactly (1.19). If this verification succeeds, the equivalence claim is complete; if it exposes an extra hidden hypothesis, such as a requirement that c1 and c2 not vanish simultaneously or that L be elliptic at the constructed solution, the converse must be amended. As a secondary check, recompute (5.9) and (1.18) with consistent index placement before attempting the verification.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The most load-bearing gap is the converse half of Theorem 1.9. The theorem promises that, for prescribed c1(Ψ), c2(Ψ), and p(Ψ), any flux function Ψ satisfying the normal flux equation (1.19) yields a solution of (1.1) via (1.18). But after deriving (1.19) in Section 5.2, the paper simply states 'Conversely...' and gives no verification. This matters because the converse is exactly what makes the normal flux equation a complete characterization of admissible foliations; without it, Theorem 1.9 is only a necessary condition. The omitted verification is not automatic from the earlier lemmas as written: one must check that u defined by (1.18) satisfies the tangential momentum equations, which reduce to d(i*u)=0 on each leaf, the incompressibility condition, and that the Ψ-component collapses to (1.19). The verification may succeed, but it is not present. The index inconsistency in Proposition 5.3, where the free index k on the left does not match P^i_j and ∂_j on the right, must also be corrected before the converse can be checked reliably.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies steady incompressible Euler flows in a hollow toroidal domain Omega_Sigma foliated by the level sets of a flux function Psi, under the assumptions that the velocity is tangent to the leaves and the pressure is a function of Psi. Using leafwise weighted Hodge theory and elliptic regularity, the authors construct two globally defined solenoidal vector fields xi^1, xi^2 whose restrictions to each torus form a basis of weighted harmonic one-forms. They then prove that every nowhere-vanishing C1 solution admits the representation u = c1(Psi) xi^1 + c2(Psi) xi^2 and that Psi satisfies a single scalar normal flux equation. The axisymmetric case is shown to reduce to the Clebsch representation and the Grad-Shafranov equation. Theorem 1.9 additionally claims a converse characterization.","tokens_in":18121,"tokens_out":13978,"duration_ms":146847,"significance":"If the full Theorem 1.9 holds, the paper gives an explicit, parameter-free geometric characterization of admissible invariant-torus foliations for a natural class of steady Euler flows, connecting Arnold's structure theorem to the classical Grad-Shafranov framework. The construction of the lifted weighted harmonic basis by elliptic inversion is explicit, the absence of fitted parameters is a clear strength, and the reduction to the axisymmetric case is clean. The main weakness is that the converse half of Theorem 1.9 is asserted without proof, so the advertised complete characterization is not yet substantiated as written.","major_comments":[{"comment":"The converse clause of Theorem 1.9 is not proved. Section 5.2 derives the normal flux equation (1.19) from the Euler equations by contracting with T, which establishes only necessity. After the sentence 'Conversely, for prescribed functions c1(Psi), c2(Psi), and p(Psi), any flux function Psi satisfying (1.19) yields a solution of (1.1) satisfying (1.6)-(1.7), with u defined by (1.18)', no verification is supplied. A complete proof must show that the vector field defined by (1.18) satisfies the tangential momentum equations (that is, that the leafwise one-form v = i*u is closed, which follows from the closedness of the tau^i), the incompressibility condition d(iota_u dV) = 0, and the Psi-component of the momentum equation, which should reduce to (1.19). The first two are close to automatic from the construction of xi^i and the fact that c_i depend only on Psi, but the required argument is absent. Please add the converse verification or explicitly downgrade the theorem to a necessary-condition statement.","section":"Theorem 1.9 / §5.2"},{"comment":"The index structure of Eq. (5.9) is inconsistent and must be fixed before the formulas (1.18)-(1.19) can be used reliably. The left-hand side has the free index k, while the right-hand side reads c_i(Psi)(P^i_j + partial_j L^{-1} partial_l(Q^{lk} P^i_k)), which contains the free index j in P^i_j and the free index k in Q^{lk}P^i_k. This makes it impossible to tell whether U_k denotes components of the velocity one-form or a raised-index vector. Rewrite (5.9) consistently (for example as U^j = c_i(Psi)(P^i_j + partial_j L^{-1} partial_k(Q^{kl} P^i_l)) in line with (1.18)), and align (5.10), (5.11), and (1.19) with that notation.","section":"Proposition 5.3 / Eq. (5.9)"}],"minor_comments":[{"comment":"There are several typographical errors: the title contains 'Fl ows' instead of 'Flows', Theorem 1.11 has 'axisymmetirc', the heading of Section 5.3 has 'coodinate', and Proposition 5.7 has 'thier'. Please correct these.","section":"Title and various headings"},{"comment":"The proof refers to '(5.16)' and '(5.13)' when deriving the isothermal metric and the weighted harmonicity; these equations belong to Sections 5.3 and 5.4. The correct references are (2.1) for the isothermal metric and (2.12) or (2.14)-(2.15) for the component equations.","section":"Proof of Theorem 1.7 / §3.2"},{"comment":"In the displayed formula for tilde{*}v, the second term is missing the factor u_phi; it should read tilde{*}v = (J^2/lambda^2) u_chi dphi - (J^2/lambda^2) u_phi dchi.","section":"Proof of Theorem 1.7 / §3.2"},{"comment":"The notation tau^i is used both for the one-form and for the component tau^i_j, which is confusing; consider denoting the components by T^i_j or by a separate symbol.","section":"Lemma 4.2 / §4.1"},{"comment":"In Proposition 5.6, the identities lambda = r and J = r^2/|grad Psi| are stated without a note that they belong to the axisymmetric setup; add a sentence to avoid confusion with the general isothermal lambda introduced in Section 2.","section":"Eq. (5.16)"},{"comment":"The reference [KMeS23] contains a corrupted author marker 'Misio/suppress l ek'; please restore the correct spelling of the author's name.","section":"References"}],"recommendation":"major_revision","confidential_remarks":"The forward direction of the main theorem appears sound and the construction is elegant, but the converse of Theorem 1.9 is a load-bearing claim that is currently unproved. If the authors supply the missing verification and fix the index inconsistency in Proposition 5.3, I expect the paper to be acceptable for publication."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Two things up front. The forward half of Theorem 1.9 — steady Euler flows on a torus foliation with ι_u dΨ = 0 and p = p(Ψ) admit the representation u = c1(Ψ)ξ1 + c2(Ψ)ξ2, with Ψ satisfying a single scalar normal flux equation — is clean and, as far as I can check, correct. The converse, which makes the theorem a complete characterization, is asserted but never proved. The stress-test note is right on this.\n\nWhat's new and good: Arnold's theorem guarantees the foliation exists but gives no equation and no way to reconstruct the flow from a prescribed foliation. This paper supplies both, and the axisymmetric case collapses to Clebsch plus Grad–Shafranov, a good consistency check. The weighted harmonic basis on the leaves is constructed once, independently of the flow, so no circularity. The authors also frame the significance honestly: this reduces Grad's rigidity question to a concrete scalar equation; it does not resolve it.\n\nSoft spots, in order of size:\n1. The converse of Theorem 1.9. Section 5.2 derives (1.19) from the Euler equations and stops. Given Ψ satisfying (1.19), defining u by (1.18) makes tangency and incompressibility automatic, the tangential momentum equations follow from weighted harmonicity of the basis, and the normal equation is (1.19) by construction. The verification is probably short but it is not in the paper; the theorem currently promises more than it proves.\n2. Index and notation errors. Formula (5.9) has mismatched free indices (U_k on the left, P^i_j and ∂_j on the right, k summed in the last factor). The version at (1.18) is consistent, so it is a typo, but in a key formula it derails a reader. The proof of Theorem 1.7 drops a u_φ in the expression for ˜∗v, and there are assorted typos (axisymmetirc, coodinate).\n3. A small gap in Lemma 5.1: why the coefficients c_i depend only on Ψ, not on the leaf coordinates, is not stated. It follows from uniqueness of the weighted harmonic representative in a cohomology class (their Prop 3.4), but it deserves one line.\n4. The nowhere-vanishing assumption is explicit and standard but excludes stagnation points on leaves; the structural result is proved only away from zeros.\n\nWho it is for: geometric hydrodynamics and MHD equilibrium people. The forward theorem is a solid, citable contribution; the characterization claim needs the converse written down. Worth refereeing: yes. Send it to a serious referee for math.AP or geometric analysis, and require the converse argument plus a cleanup pass.","headline":"Steady Euler flows on torus foliations get a clean tangential representation plus a scalar normal flux equation; the forward proof is sound but the converse half of Theorem 1.9 is asserted without proof.","tokens_in":18750,"tokens_out":13053,"would_cite":true,"duration_ms":130207,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["35Q31","76B03"],"pacs":[],"model":"deepseek-v4-flash","headline":"Every nowhere-vanishing steady Euler flow tangent to a torus foliation, with pressure a function of the flux, is determined by two coefficient functions and one scalar normal flux equation, generalizing the axisymmetric…","keywords":["steady Euler flows","invariant tori","flux function","weighted harmonic one-forms","normal flux equation","Clebsch representation","Grad-Shafranov equation","toroidal foliation"],"falsifier":"A concrete counterexample would be a $C^1$ steady Euler flow in a hollow toroidal domain satisfying $\\iota_u d\\Psi=0$ and $p=p(\\Psi)$ for which some leaf contains a stagnation point while the tangential one-form $v=i^*u$ has nonzero exterior derivative $dv$ on that leaf; Proposition 2.5 and Theorem 1.7 assert $dv=0$ everywhere under the nowhere-vanishing assumption, so such a flow would refute the characterization. Numerically, one can prescribe the foliation, introduce an isolated zero of $u$ on one torus, and check whether $\\oint_\\gamma v$ around a torus cycle changes or fails to vanish.","tokens_in":17720,"feed_emoji":"🍩","tokens_out":15185,"duration_ms":145624,"temperature":0.7,"pith_summary":"This paper asks which foliations by nested tori can carry a steady incompressible Euler flow, and answers with a complete parameterization. On a smooth hollow toroidal domain with a flux function $\\Psi$ whose level sets are the tori, any nowhere-vanishing $C^1$ steady Euler flow with $\\iota_u d\\Psi = 0$ and pressure $p = p(\\Psi)$ must take the form $u = c_1(\\Psi)\\xi^1 + c_2(\\Psi)\\xi^2$, where $\\xi^1,\\xi^2$ are globally defined solenoidal vector fields built from a basis of weighted harmonic one-forms on each torus. The flux function $\\Psi$ then satisfies a single scalar normal flux equation, and conversely any solution of that equation with prescribed $c_1,c_2,p$ yields a flow. The axisymmetric case recovers the Clebsch representation and the Grad–Shafranov equation, so the theorem is a genuine generalization of that classical structure.","feed_headline":"Steady Euler flows on nested tori hinge on one scalar equation","feed_subtitle":"Two functions and one flux equation now determine each flow, generalizing the axisymmetric case.","key_machinery":"The carrier of the argument is leafwise weighted Hodge theory. On each torus leaf $\\Sigma_\\Psi$, the ambient Euclidean volume cuts out a leafwise measure $d\\Sigma_\\Psi$; writing it as $f_\\Psi$ times the metric volume defines the weight, and the weighted Hodge star $\\widetilde{*} = f_\\Psi *$ replaces the usual Hodge star. The paper then solves a leafwise elliptic equation $L F^i = \\partial_k(Q^{kl}P^i_l)$ with $Q^{ij} = M h^{ij}$ and $L = -\\partial_i(Q^{ij}\\partial_j)$, which produces a smoothly varying basis of closed, weighted co-closed one-forms with prescribed periods. Metric-dual lifting through the foliation gives the solenoidal fields $\\xi^1,\\xi^2$; expanding the velocity in this basis is what turns the Euler equations into the tangential representation plus the normal flux equation.","core_discovery":"The central claim is Theorem 1.9: for a smooth foliated toroidal domain, the class of nowhere-vanishing $C^1$ steady Euler flows with $\\iota_u d\\Psi = 0$ and $p=p(\\Psi)$ is exactly described by two coefficient functions $c_1(\\Psi), c_2(\\Psi)$, two lifted vector fields $\\xi^1,\\xi^2$ whose leaf restrictions span the two-dimensional space of weighted harmonic one-forms, and the scalar equation $h^{ij}U_j(\\partial_\\Psi U_i - \\partial_i(g_{\\Psi\\theta_k}h^{kl}U_l)) = p'(\\Psi)$ for the flux function. Theorem 1.7 first shows the tangential one-form of any such flow is weighted harmonic on each torus, and Theorem 1.8 constructs the lifted basis; the normal component of the Euler equations then reduces to the normal flux equation. In the axisymmetric specialization the representation becomes $u = \\nabla\\Psi\\times\\nabla\\varphi + \\alpha(\\Psi)\\nabla\\varphi$ and the normal flux equation becomes the Grad–Shafranov equation.","pith_inferences":["The normal flux equation could be used as a numerical search tool: solving it with varying coefficient functions may reveal whether non-axisymmetric toroidal equilibria exist, which would bear on the long-standing symmetry question.","The same lifted weighted-harmonic basis should apply to neighbouring stationary problems such as magnetohydrostatic equilibria or steady Euler flows with body forces, producing analogous scalar equations with modified right-hand sides.","Because the flux equation is nonlocal in the leaf variables through the inverse elliptic operator, one can test a given torus family by solving the leafwise elliptic problem and checking the compatibility condition, giving a geometric criterion for admissibility.","The nowhere-vanishing hypothesis may be removable under additional regularity or topological restrictions; a natural experiment would be to allow isolated stagnation points and see whether the representation fails only through singular harmonic fields rather than globally."],"forward_implications":["The steady Euler equations in this class reduce to the data $(c_1,c_2,p,\\Psi)$ with $\\Psi$ satisfying one scalar, nonlocal equation; no independent momentum components remain.","Any prescribed functions $c_1(\\Psi), c_2(\\Psi), p(\\Psi)$ together with a solution $\\Psi$ of the normal flux equation automatically define a divergence-free steady flow, yielding a construction scheme for non-axisymmetric toroidal equilibria.","The axisymmetric flows are exactly the case $c_1=1$, $c_2=\\alpha$, with the normal flux equation becoming the Grad–Shafranov equation, so the classical Clebsch–Grad–Shafranov structure is a specialization of the general theorem.","On each leaf the tangential one-form of the flow is weighted harmonic, so the periods of the flow on the torus determine the coefficient functions $c_i(\\Psi)$.","The normal dependence is governed by a static scalar equation rather than an evolution equation, which distinguishes these admissible foliations from Beltrami-flow constructions."],"supporting_citations":[{"why":"Supplies the weighted Hodge decomposition used to define the leafwise harmonic representatives and their uniqueness.","marker":"[Lot03]"},{"why":"Provides the weighted harmonic form theory on closed manifolds used to identify the leafwise harmonic space.","marker":"[BH24]"},{"why":"Gives the Künneth theorem showing $H^1(T^2)\\cong\\mathbb{R}^2$, fixing the dimension of the weighted harmonic basis.","marker":"[BT82]"},{"why":"Supplies elliptic regularity for the leafwise operator $L$, ensuring the constructed basis is smooth in the flux parameter.","marker":"[GT01]"},{"why":"Gives the local isothermal coordinate theorem on surfaces used to derive the simplified component Euler equations.","marker":"[Jos06]"},{"why":"Records the Clebsch parameterization of axisymmetric solenoidal fields that Theorem 1.11 recovers.","marker":"[Yos09]"},{"why":"Provides the original equilibrium equation that the normal flux equation specializes to in the axisymmetric case.","marker":"[GR58]"},{"why":"Supplies the companion equilibrium equation formulation recovered as the axisymmetric limit.","marker":"[Sha58]"}],"fun_headline_variants":["One flux equation pins down steady Euler flows on nested tori","Steady Euler flows on tori collapse to a single scalar flux equation","How nested tori reveal a single equation for steady Euler flows","One scalar equation governs every steady Euler flow on nested tori","Steady Euler flows on tori obey a single normal flux equation"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that the velocity field never vanishes on the toroidal domain; if $u$ has a zero on a leaf, the tangential Euler equations no longer force the tangential one-form to be closed, and the basis expansion and normal flux equation can fail.","fun_headline_variants_meta":{"raw":{"variants":["One flux equation pins down steady Euler flows on nested tori","Steady Euler flows on tori collapse to a single scalar flux equation","How nested tori reveal a single equation for steady Euler flows","One scalar equation governs every steady Euler flow on nested tori","Steady Euler flows on tori obey a single normal flux equation"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000728,"raw_usage":{"total_tokens":3286,"prompt_tokens":993,"completion_tokens":2293,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":609,"completion_tokens_details":{"reasoning_tokens":2204}},"tokens_in":609,"tokens_out":2293,"duration_ms":16623,"temperature":1.0,"reasoning_tokens":2204,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-16T00:36:14.799257+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"A concrete counterexample would be a $C^1$ steady Euler flow in a hollow toroidal domain satisfying $\\iota_u d\\Psi=0$ and $p=p(\\Psi)$ for which some leaf contains a stagnation point while the tangential one-form $v=i^*u$ has nonzero exterior derivative $dv$ on that leaf; Proposition 2.5 and Theorem 1.7 assert $dv=0$ everywhere under the nowhere-vanishing assumption, so such a flow would refute the characterization. Numerically, one can prescribe the foliation, introduce an isolated zero of $u$ on one torus, and check whether $\\oint_\\gamma v$ around a torus cycle changes or fails to vanish.","supporting_citations":[],"review_version":1}