{"id":"01b837ec-2c92-4744-9375-e11ababfe4ea","arxiv_id":"2501.18302","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":5.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":2,"one_line_summary":"Global-in-time bounds are derived for regular rotating, axially symmetric fluid flows with heat conduction, conditional on an unproved non-degeneracy condition on the swirl.","lead":"This paper proves an all-time bound on the vorticity of axially symmetric fluid flow with heat conduction inside a cylinder, assuming the swirl never becomes too flat. The bound is a step toward showing such rotating flows stay smooth forever, but the key assumption is not proved in the paper.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The global estimate closes only through Lemma 6.3, which depends on the explicitly unproved non-degeneracy condition (6.20); replacing it by the available L∞ bound makes the bootstrap exponent too large.","rationale":"The reader's weakest-assumption analysis identifies Assumption 3/(6.20) as the critical unproved input, and the manuscript's own sentence at the end of Section 6 ('However, (6.20) is not proved') confirms this is not a gap introduced by the reader. My stress-test agrees and sharpens the concern by showing that the unproved condition is not merely a convenience but is quantitatively load-bearing: replacing Lemma 6.3's L^d bound by the available L∞ bound from Lemma 6.2 pushes the bootstrap exponent above 2 for every admissible choice of parameters, so the estimate cannot close. The proposed motivation in Remark 1.2 is logically insufficient because Hölder regularity with an uncontrolled constant does not bound the measure of the near-maximum set from below uniformly in time. These points do not reveal an internal inconsistency in the theorem as stated; Theorem 1.1 is a honest conditional statement. However, the advertised conclusions 'global a priori estimate' and 'global regular solutions can be proved' are only as strong as the unproved assumption, which the authors acknowledge. Since the reader already rendered CONDITIONAL for this reason, no further adjustment is needed. The paper should either prove (6.20), replace it with a verifiable data condition, or restate the theorem as conditional on an explicitly open hypothesis.","tokens_in":36930,"tokens_out":12220,"duration_ms":101893,"concrete_test":"Re-run the closing argument of Theorem 1.1 with Lemma 6.3 deleted: use the trivial bound |v_phi|_{d,∞,Ω_t} ≤ |Ω|^{1/d}|v_phi|_{∞,Ω_t} and Lemma 6.2's X^{3/4} bound. Derive from (1.27) the exponent condition X^2 ≤ φ X^{2 + 3ε0/4 + 3ε/4 − θ0/2}. Set ε0 arbitrarily small and check whether any admissible ε1,ε2 with θ0 = (1−3/d)ε1 − (3/d)ε2 > 0 satisfy 3ε/4 < θ0/2. For d>3, θ0 ≤ (1−3/d)ε1 < ε1 ≤ ε, so 3ε/4 > 3ε1/4 > (1−3/d)ε1/2 = θ0/2; the inequality fails. Thus the L^d bound from Lemma 6.3 is indispensable, and without a proof of (6.20) the estimate chain is incomplete.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The proof of Theorem 1.1 closes only via Lemma 6.3, whose estimate (6.21) for |v_phi|_{d,∞,Ω_t} depends on the non-degeneracy condition (6.20): |v_phi|_{s,∞}/|v_phi|_{∞} ≥ c0 and 1/|v_phi|_{∞} ≤ c*. The paper explicitly states at the end of Section 6: 'This is a motivation for (6.20). However, (6.20) is not proved.' The motivational Remark 1.2 does not deliver a uniform positive constant: for f ∈ C^{α,α/2} with |f|_{∞,Ω_t}=1, the measure of {f ≥ 1−ε} can be arbitrarily small unless the C^α norm is controlled, and the superlevel set may vary with t, so sup_t |f|_{d,Ω} has no positive lower bound. Moreover, (6.20) cannot be replaced by the L∞ bound of Lemma 6.2: inserting |v_phi|_{d,∞} ≤ C|v_phi|_{∞,Ω_t} and |v_phi|_{∞} ≤ φ X^{3/4} into (1.27) introduces an extra X^{3ε/4} factor, and the closing condition 3ε/4 < θ0/2 is incompatible with θ0 = (1−3/d)ε1 − (3/d)ε2 for d>3 and ε=ε1+ε2. Hence the closing step rests entirely on the unproved (6.20).","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies axially symmetric solutions of the incompressible Navier-Stokes equations coupled to a heat equation in a bounded cylinder, with mixed boundary conditions. Its main result, Theorem 1.1, asserts a global a priori estimate for X(t)=‖Φ‖_{V(Ω_t)}+‖Γ‖_{V(Ω_t)} under the assumption that the ratio |v_φ|_{d,∞,Ω_t}/|v_φ|_{∞,Ω_t} stays bounded below by a positive constant c0 for d≥3. Theorem 1.3 then derives W^{4,2}_2 estimates and a criterion for continuing local regular solutions. The proof combines weighted elliptic estimates for the modified stream function, energy estimates for Φ and Γ, and estimates for the swirl u=rv_φ. The decisive closing step is Lemma 6.3, which uses the non-degeneracy condition (6.20). The paper explicitly notes that (6.20) is not proved.","tokens_in":37245,"tokens_out":9801,"duration_ms":103108,"significance":"If Theorem 1.1 were unconditional, it would represent a substantial advance in the regularity theory of axisymmetric heat-conducting flows, extending the authors' previous work on Navier-Stokes equations and providing global W^{4,2}_2 bounds from the weighted vorticity quantity X. The manuscript is technically rich: it contains careful weighted Hardy and interpolation arguments, elliptic estimates for ψ_1, maximum-principle estimates for θ and u, and a self-contained anisotropic regularity bootstrap in Section 7. However, the advertised estimate is not in terms of data alone: the constants c0 and c* in Assumption 3/(6.20) depend on the solution, and the justification offered in Remark 1.2 does not yield a uniform positive lower bound. The novelty is therefore conditional on an unverified hypothesis.","major_comments":[{"comment":"The global estimate closes only through (6.20), which the paper admits is unproved. In the final paragraph of Section 6 the authors write: \"This is a motivation for (6.20). However, (6.20) is not proved.\" This is load-bearing: (6.21) defines D12 using c0, and D12 enters the right-hand side of (1.26) and (1.32). Moreover, the condition is not a removable artefact. If one instead estimates |v_φ|_{d,∞} ≤ |v_φ|_{∞} and uses Lemma 6.2, then (1.27) contains an additional factor X^{3ε/4}; the closing condition 3ε/4 < θ0/2 is incompatible with θ0=(1-3/d)ε1-(3/d)ε2>0 for d>3 and ε=ε1+ε2. Thus the proof cannot be completed without (6.20), and the paper currently supplies neither a proof nor a verification of this condition for actual solutions.","section":"Section 6, Lemma 6.3, Eq. (6.20)"},{"comment":"The proposed justification of Assumption 3 is insufficient. For f with |f|_{∞,Ω}=1 and f∈C^{α,α/2}(Ω_t), the set {f≥1-ε} may have arbitrarily small measure; the C^{α,α/2} modulus alone does not control |A| from below unless the Hölder seminorm is bounded. The assertion that |A| can be chosen independent of t is not established; as t varies the superlevel set can move and shrink, so sup_t |f|_{d,Ω} need not be bounded below by a positive constant. A uniform-in-time lower bound on |v_φ|_{d,∞}/|v_φ|_{∞} therefore requires a separate argument, which is absent.","section":"Remark 1.2"},{"comment":"The statement d≥3 in Assumption 3 is inconsistent with the interpolation used later. In Lemma 4.1 the exponent θ0=(1-3/d)ε1-(3/d)ε2 must be positive and 1+ε2/ε1<d/3; both require d>3. For d=3, θ0=-ε2<0 and d/3=1, so the conditions cannot be satisfied. The theorem should state d>3, and all cross-references involving d should be checked accordingly.","section":"Theorem 1.1 and Lemma 4.1"}],"minor_comments":[{"comment":"There are numerous typographical errors and unprocessed LaTeX tokens, e.g., \"Wies/suppress law\" in the author line, \"This meas that\" on page 5, \"Multiplpy\", and \"greaterorequalslant\" in Theorem 1.1; these should be corrected in a careful revision.","section":"Throughout"},{"comment":"Equation-number references in Lemma 6.3 need fixing: the estimate quoted as (6.11) for (6.24) appears to refer to Lemma 6.2/(6.17), and the reader cannot verify (6.25) from the displayed equations without additional computation.","section":"Lemma 6.3"},{"comment":"The proof of Theorem 1.3 is only a sketch at the interpolation step used to eliminate ‖θ‖_{W^{1,1/2}_{10/3}(Ω_t)} between (7.25) and (7.26); the relevant interpolation inequality should be stated or cited precisely.","section":"Section 7"}],"recommendation":"major_revision","confidential_remarks":"To the editor: the authors are transparent about the unproved condition (6.20), and I do not question their integrity. My concern is that the main theorem, as stated, is conditional on a very strong solution-dependent lower bound that is unlikely to hold for generic smooth axisymmetric fields; the \"in terms of data\" language in the abstract is therefore misleading. If the authors can either prove a nontrivial case where (6.20) holds or recast the paper explicitly as a conditional regularity criterion with the dependence on c0 made prominent, the contribution would be clearer. The manuscript also relies substantially on the authors' own prior works [NZ], [Z1], [Z2], [OZ] for several lemmas; while the lemmas are restated, the novelty relative to those papers should be delineated more explicitly."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Punchline: this is a technically substantial conditional global estimate for axisymmetric Navier-Stokes coupled with heat conduction, but the headline theorem rests on an explicitly unproved non-degeneracy assumption, and the provided motivation does not supply the uniform constant the proof needs. What is new: the coupled system (1.1)-(1.4) with these cylinder boundary conditions has not been treated before, and the paper extends the authors' Phi, Gamma and modified stream function program to that setting. The paper is honest: it explicitly states at the end of Section 6 that (6.20) is not proved. The lengthy bootstrap is a real technical effort, and the H2/H3 estimates for the modified stream function and the swirl estimates look plausible, so the paper deserves a serious referee. The central flaw: Theorem 1.1 closes only through Lemma 6.3, whose inequality (6.21) depends on condition (6.20), |v_phi|_{s,infinity}/|v_phi|_{infinity} >= c0 plus 1/|v_phi|_{infinity} <= c*. The paper admits (6.20) is not proved. The motivation in Remark 1.2 uses Holder continuity to get a positive superlevel set, but its measure can shrink without a uniform lower bound, so it does not guarantee a time-uniform c0. The stress-test note correctly observes that replacing (6.20) with the L-infinity bound introduces an extra X^{3*epsilon/4} factor and the closing exponent fails. Thus the result is conditional on an unproved hypothesis; it is not a complete proof. There are also many typos and small notational inconsistencies, e.g., d>3 versus d>=3 and garbled constant definitions, that a revision should clean up. Who this is for: specialists in axisymmetric Navier-Stokes regularity, particularly followers of the Zajaczkowski school, will find the conditional estimates and technical lemmas worth studying. The paper should be sent to peer review, but the authors must either prove (6.20) for some class of solutions or restate the main theorem explicitly as conditional on an open assumption. I would not cite it as a proven global regularity result in the next year, but I would engage with the conditional estimates.","headline":"A technically substantial conditional global estimate for axisymmetric NSE with heat conduction, but the headline theorem rests on an explicitly unproved non-degeneracy assumption that the provided motivation does not justify.","tokens_in":895,"tokens_out":1636,"would_cite":false,"duration_ms":165889,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["35A01","35B01","35B65","35Q30","76D03","76D05"],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper proves that smooth axially-symmetric solutions of the Navier-Stokes equations coupled with heat conduction satisfy a global a priori bound on weighted vorticity, provided the swirl component's $L^d/L^\\infty$ ratio stays bounded…","keywords":["Navier-Stokes equations","heat conduction","axially-symmetric solutions","global a priori estimate","cylindrical domain","weighted vorticity","modified stream function","swirl"],"falsifier":"Track the two quantities $q(t)=|v_\\varphi|_{d,\\infty,\\Omega_t}/|v_\\varphi|_{\\infty,\\Omega_t}$ and $X(t)=\\|\\Phi\\|_{V(\\Omega_t)}+\\|\\Gamma\\|_{V(\\Omega_t)}$ for any smooth axially-symmetric solution with heat conduction in the cylinder. If a solution can be found, analytically or numerically, in which $q(t)$ tends to $0$ while $X(t)$ stays bounded away from a finite limit, the hypothesis of Theorem 1.1 fails and the claimed closing mechanism does not operate.","tokens_in":36668,"feed_emoji":"🌀","tokens_out":7975,"duration_ms":67131,"temperature":0.7,"pith_summary":"The paper aims to prove a global a priori estimate for smooth axially-symmetric solutions of the incompressible Navier-Stokes equations coupled with a heat-conduction equation in a finite cylinder, with the heat flux vanishing on the boundary. The estimate controls the weighted vorticity $X(t)=\\|\\Phi\\|_{V(\\Omega_t)}+\\|\\Gamma\\|_{V(\\Omega_t)}$, built from $\\Phi=\\omega_r/r$ and $\\Gamma=\\omega_\\varphi/r$, by a function of the data and forcing alone. If the estimate holds, the same argument yields global $W^{4,2}_2$ bounds on velocity and temperature, so local regular solutions can be extended whenever the bound remains valid. The price is an explicit structural condition on the swirl: the ratio $|v_\\varphi|_{d,\\infty,\\Omega_t}/|v_\\varphi|_{\\infty,\\Omega_t}$ must stay at least a fixed positive constant $c_0$ for some $d\\ge3$. The paper states plainly that this condition is motivated but not proved; the body of the work is the long estimate chain that closes only under it.","feed_headline":"Vorticity bound proves global estimates for heat-driven swirling flow","feed_subtitle":"Smooth axially-symmetric Navier-Stokes solutions with heat conduction stay bounded while a swirl ratio condition holds.","key_machinery":"The central objects are the reduced vorticity pair $(\\Phi,\\Gamma)=(\\omega_r/r,\\omega_\\varphi/r)$ together with the modified stream function $\\psi_1=\\psi/r$. The vorticity equations for $\\Phi$ and $\\Gamma$ admit energy inequalities in which the only nonlinear term requiring control is the integral $\\int_{\\Omega_t}(v_\\varphi/r)\\Phi\\Gamma$; this term is controlled by the Hardy interpolation inequality of Lemma 2.9, which uses the $L^d$-norm of $v_\\varphi$ and produces a power of $\\|\\Phi\\|_{V}$ strictly less than one. Elliptic estimates on $\\psi_1$ turn control of $\\Gamma$ into control of the velocity, and energy estimates for the swirl $u=rv_\\varphi$ control the remaining derivatives. The final bootstrap closes because the total exponent, $3\\varepsilon_0+2-\\theta_0/2$, is smaller than 2, leaving an inequality of the form $X^2\\le C(X^p+1)$ with $p<2$.","core_discovery":"The central claim is Theorem 1.1: if $(v,\\theta)$ is a smooth solution of (1.1)-(1.4), the constants $D_0,\\dots,D_{12},B_1$ are finite, and the swirl ratio condition from Assumption 3 holds, then there is an increasing positive function $\\varphi$ such that $X(t)\\le\\varphi(D_1,\\dots,D_{12},B_1)$ for every $t$. From this bound, Theorem 1.3 derives global $W^{4,2}_2(\\Omega_t)$ estimates for $v$ and $\\theta$, completing the route from a local regular solution to a global one. The proof works by finding reductions of the nonlinearity: the quantities $\\Phi=\\omega_r/r$ and $\\Gamma=\\omega_\\varphi/r$ satisfy equations whose energy estimates, combined with the maximum principle for the swirl $u=rv_\\varphi$ and elliptic estimates for the modified stream function $\\psi_1=\\psi/r$, make the exponent on the right-hand side of the $X$-inequality strictly less than 2, so the bootstrap closes instead of running away.","pith_inferences":["Editorial inference: the unproved ratio condition is the only real obstruction; if a future argument establishes it from the equations, the same chain would yield unconditional global regularity for this class of solutions.","Editorial inference: the Hölder-continuity motivation in Remark 1.2 produces a positive set where $|v_\\varphi|$ is close to its maximum, but the measure of that set may shrink in time, so it does not deliver the uniform constant $c_0$ the theorem needs.","Editorial inference: the theorem suggests a testable continuation criterion — monitor $q(t)=|v_\\varphi|_{d,\\infty,\\Omega_t}/|v_\\varphi|_{\\infty,\\Omega_t}$ and the weighted vorticity $X(t)$; loss of the lower bound on $q$ is the only identified path to breakdown.","Editorial inference: one could search for a counterexample by constructing axisymmetric solutions with heat coupling in which $q(t)$ decays to zero while $X(t)$ grows; success would show the condition is not merely unproved but necessary."],"forward_implications":["If the estimate is correct, any local regular solution of the coupled system can be extended in time as long as the weighted vorticity bound holds, ruling out blow-up in that regime.","The bound upgrades to global $W^{4,2}_2$ estimates for the velocity and temperature, so the solution and its derivatives up to fourth order are controlled by data and forcing.","The result applies to flows with nonzero swirl coupled to heat conduction, going beyond swirl-free axisymmetric settings by absorbing the swirl through the ratio condition and the maximum principle for $u=rv_\\varphi$.","The estimates are a priori and quantitative: all constants are explicit functions of the data $D_0,\\dots,D_{12},B_1$, so the theorem gives a concrete continuation criterion for numerical or analytic study."],"supporting_citations":[{"why":"supplies the axis expansions (1.20)-(1.24) for $v$ and $\\psi$ used to justify behaviour near the cylinder axis.","marker":"[LW]"},{"why":"provides the Hardy interpolation inequality of Lemma 2.9 that estimates the dangerous nonlinear term in the $\\Phi$-$\\Gamma$ energy inequality.","marker":"[CFZ]"},{"why":"supplies the Hardy inequality, Sobolev interpolation, and anisotropic embedding tools used through Sections 2, 3, and 7.","marker":"[BIN]"},{"why":"gives the nonstationary Stokes estimates in anisotropic Sobolev spaces with mixed norms used to bootstrap to $W^{4,2}_2$ bounds.","marker":"[MS]"},{"why":"proves the $H^2$ elliptic estimate on the modified stream function $\\psi_1$ in Lemma 3.2.","marker":"[Z1]"},{"why":"proves the weighted stream-function estimate of Lemma 3.1 used in Section 3 for $\\psi_1$ bounds.","marker":"[NZ]"},{"why":"provides the energy estimates for the swirl $u=rv_\\varphi$ recorded as Lemma 5.1.","marker":"[OZ]"},{"why":"introduces the boundary conditions and the axially symmetric formulation that the paper works with.","marker":"[L]"}],"fun_headline_variants":["Swirl condition closes bootstrap for heat-driven Navier-Stokes","Global estimates for swirling flow with heat conduction","Bootstrap proof yields global regularity for heat-driven swirl","Vorticity bounds ensure global solutions for heated swirl","Swirl ratio condition leads to global Navier-Stokes estimates"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The entire estimate closes only under the assumption that the swirl component's $L^d$-in-time norm stays at least a fixed positive fraction of its $L^\\infty$ norm for all time; the paper says explicitly that this condition is not proved.","fun_headline_variants_meta":{"raw":{"variants":["Swirl condition closes bootstrap for heat-driven Navier-Stokes","Global estimates for swirling flow with heat conduction","Bootstrap proof yields global regularity for heat-driven swirl","Vorticity bounds ensure global solutions for heated swirl","Swirl ratio condition leads to global Navier-Stokes estimates"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000175,"raw_usage":{"total_tokens":1294,"prompt_tokens":962,"completion_tokens":332,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":578,"completion_tokens_details":{"reasoning_tokens":254}},"tokens_in":578,"tokens_out":332,"duration_ms":3191,"temperature":1.0,"reasoning_tokens":254,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-09T23:58:34.287223+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Track the two quantities $q(t)=|v_\\varphi|_{d,\\infty,\\Omega_t}/|v_\\varphi|_{\\infty,\\Omega_t}$ and $X(t)=\\|\\Phi\\|_{V(\\Omega_t)}+\\|\\Gamma\\|_{V(\\Omega_t)}$ for any smooth axially-symmetric solution with heat conduction in the cylinder. If a solution can be found, analytically or numerically, in which $q(t)$ tends to $0$ while $X(t)$ stays bounded away from a finite limit, the hypothesis of Theorem 1.1 fails and the claimed closing mechanism does not operate.","supporting_citations":[],"review_version":1}