{"id":"9547e51e-35b3-462d-906b-ddb4d4fe5dbe","arxiv_id":"2607.19710","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"For small smooth perturbations, 3D compressible MHD solutions in a half-space with vertical resistivity ε remain regular globally and converge uniformly in time to the ε=0 (horizontal-only diffusion) system at rate ε^{1/4} in L^2.","lead":"This paper proves global-in-time regularity, large-time decay, and an explicit L^2 convergence rate of order ε^{1/4} for 3D compressible MHD equations with a small vertical magnetic resistivity ε in the upper half-space, as ε→0. It rigorously justifies replacing the system by the purely horizontal-diffusion limit, with boundary layers making the decay of normal magnetic derivatives slower.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 1.1 depends on ε-uniform local well-posedness for (1.6) that is never proved: §2.8 defers to [28,32] (Navier-Stokes, not MHD), and Remark 1.2 leaves compatibility conditions to [18,29].","rationale":"The central claim is the global uniform regularity estimate (1.11) and its consequences (decay and ε^{1/4} convergence). The proof structure is a bootstrap: one assumes a uniform a priori bound and uses the energy estimates of Section 2 to close it. But a bootstrap requires a local-in-time existence result to start from. The paper explicitly delegates this to references [28] and [32] that treat compressible Navier-Stokes, not the MHD system at hand, and the compatibility conditions are deferred to [18,29]. This is the same weakest point identified by the reader. I examined the energy estimates and the Section 4 Gronwall argument for internal inconsistencies; although many details are omitted (e.g., Lemma 2.2, parts of Lemma 2.9), I did not find an obvious algebraic error that would invalidate the estimates. The missing local well-posedness is therefore the most load-bearing concern: if it fails or needs different compatibility conditions, all three theorems are unsupported. Since this is exactly the reader's concern, my read does not change the verdict; the paper should remain conditional pending an explicit proof or precise reference for the ε-uniform local existence and compatibility conditions.","tokens_in":71655,"tokens_out":24398,"duration_ms":217325,"concrete_test":"Perform an analytic verification of local well-posedness: linearize (1.6) at the equilibrium and check the uniform Lopatinski condition for the half-space symbol (λ, ξ_h, ε) as ε→0; explicitly state the compatibility conditions on (a0,v0,B0) ensuring ∂t^j(a,v,B)|_{t=0} satisfies the boundary conditions for the required order; then invoke a standard theorem for quasilinear symmetric hyperbolic-parabolic systems (e.g., [28,32] or a modern version) to produce T>0 independent of ε. If the Lopatinski condition fails uniformly or the compatibility conditions cannot be stated, the bootstrap in §2.8 has no starting point and Theorem 1.1 is unproved.","verdict_should_be":"UNCHANGED","load_bearing_attack":"To prove global well-posedness, the paper needs a local existence theorem for the quasilinear hyperbolic-parabolic system (1.6) with boundary (v, ∂3B_h, B_3)=0, on a time interval independent of ε. Section 2.8 says 'in a similar fashion as in [28] and [32]', but [28] and [32] prove local well-posedness for compressible Navier-Stokes systems, not for the coupled MHD system with anisotropic resistivity and mixed Neumann/Dirichlet boundary conditions for B. The 'appropriate compatibility conditions' are not stated; Remark 1.2 merely says they are analogous to [18,29], again for Navier-Stokes. This is not a cosmetic omission: Lemma 2.2 estimates ∂t(a,v,B) and needs the initial time derivatives to be well-defined and compatible with the boundary; if the compatibility conditions are wrong, the energy inequality (2.14) has no initial value to start the bootstrap, and conclusion (1.11) does not follow. The uniform-in-ε aspect is also nontrivial because the boundary condition for B_h degenerates as ε→0 (the Neumann condition ∂3B_h=0 is lost in the limit), so the Lopatinski condition must be checked uniformly. Without this, the central claim lacks a foundation.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies the 3D compressible MHD system in the half-space with vertical magnetic resistivity ε, no-slip velocity, and perfectly conducting magnetic boundary conditions. It claims: (i) global-in-time uniform energy estimates in conormal Sobolev spaces, independent of ε, for small data (Theorem 1.1); (ii) large-time decay rates of solutions in H^1 (Theorem 1.5); and (iii) an explicit time-uniform L^2 convergence rate O(ε^{1/4}) toward the limit system with ε=0 (Theorem 1.11). The proof of Theorem 1.1 is based on a bootstrap argument that chains conormal energy estimates, estimates for time and normal derivatives, and Stokes-type elliptic estimates; §§2.1–2.6 provide the component lemmas, and §2.7 estimates the nonlinear terms L_m and N_m. The decay results in §3 use semigroup estimates for the linearized Navier–Stokes operator from [17,18] and a new heat-kernel representation for the magnetic equation (Lemma 3.5). The convergence rate in §4 uses a difference system, a modified energy with auxiliary functions for the pressure term, and the decay estimates from Theorems 1.5 and 1.9.","tokens_in":72025,"tokens_out":4011,"duration_ms":47702,"significance":"If the results hold, this would be a substantial advance: it provides the first global uniform regularity for the vanishing vertical resistivity MHD limit in a half-space with a boundary, and it gives a quantitative convergence rate. The paper contains genuinely nontrivial elements: the use of conormal spaces to avoid boundary-layer singularities, anisotropic Sobolev inequalities adapted to the partial dissipation, and a careful heat-kernel analysis (Lemma 3.5) that yields decay rates independent of ε. The bootstrap architecture (2.14)–(2.40) is standard in structure but involves many technical estimates. The paper is candid about the slower decay caused by weak boundary layers. However, as detailed below, the foundational local well-posedness step is only invoked by analogy to Navier–Stokes problems and is not proved for the actual MHD system; this is a load-bearing gap that prevents the current version from being fully verified.","major_comments":[{"comment":"The proof of Theorem 1.1 requires ε-uniform local-in-time well-posedness for the quasilinear MHD system (1.6) with boundary conditions (v, ∂_3 B_h, B_3)=0. The paper states this 'in a similar fashion as in [28] and [32]', but [28] and [32] concern compressible Navier–Stokes equations, not the coupled MHD system with anisotropic resistivity and mixed Neumann/Dirichlet conditions for B. The 'appropriate compatibility conditions' are not stated; Remark 1.2 only says they are analogous to [18,29]. This is not cosmetic: the bootstrap starting time and the initial data for Lemma 2.2 require well-defined initial time-derivatives satisfying the boundary conditions. The uniform-in-ε aspect is also nontrivial because the homogeneous Neumann condition ∂_3 B_h=0 does not appear in the ε→0 limit, so the validity of a uniform Lopatinski condition must be checked. Without an explicit local existence th","section":"§2.8"},{"comment":"The estimate for Σ_{|α|≤m−2} ∫_0^t |B_α| dτ, involving the time-derivative nonlinearities, is asserted by saying 'By a similar argument as before, we derive ... and omit the details for brevity.' This term is essential for the proof of Lemma 2.9(2.16), which in turn is needed to close the bootstrap (2.40). The derivatives counts and the treatment of products with ∂_τ (a^ε, v^ε, B^ε) at the top conormal order are not shown. Since this is a load-bearing nonlinear estimate, the proof should be provided or at least a careful derivative-count argument should be given. A reader cannot currently verify this step from the presented material.","section":"§2.7.3, Eq. (2.33)"},{"comment":"The Gronwall argument for the convergence rate relies on the claim ∫_0^t (C(τ)+K(τ)) dτ ≤ C uniformly in ε and t. The proof only checks two representative terms in C(τ) (∥B^ε∥^2_{L∞} and ∥∂B^0∥_{L2} ∥∂_h ∂B^0∥_{L2}) and says the remaining terms are handled similarly. However, C(τ) includes ∥∂_t v^ε∥^2_{H^1}, ∥∂v^ε∥^2_3, ∥∂_a^ε∥^2_2, and ∥B^ε∥^2_{L∞}; each must be uniformly integrable using the Theorems 1.1 and 1.5. The omitted 'similar' terms are not all immediate (e.g., ∥∂_t v^ε∥_{H^1} requires the time-derivative estimates from §2), so the uniform bound (4.13) is not fully established as written.","section":"§4, Eq. (4.13)"}],"minor_comments":[{"comment":"The proof of Lemma 2.2 is omitted with the statement 'The proof is similar as that of Lemma 2.1 and is thus omitted.' A few lines indicating the changes (e.g., the extra boundary terms for ∂_t B^ε) would help the reader.","section":"§2.2, Lemma 2.2"},{"comment":"In the paragraph following Eq. (2.19), the decomposition eBα = eBα,1 + eBα,2 + eBα,3 and the subsequent estimates appear to mix the roles of v and B: the text says 'For eBα,2' but then estimates contain ε∂_t B^ε terms, while eBα,3 contains ∂_t v^ε terms. Please check the labeling or the displayed definitions to avoid confusion.","section":"§2.7.2, eBα decomposition"},{"comment":"The Minkowski-type inequality (3.7) is stated with 1≤q≤p, and the derivation of (3.8) uses this in the vertical variable for p_3=2 and q=2. This is fine, but the intermediate steps use nested norms and would benefit from a displayed justification of the final exponent.","section":"§3.1, Eq. (3.8)"},{"comment":"The notation ∥·∥_{L^r_{x_3} L^q_{x_2} L^p_{x_1}} appears corrupted in the printed text ('\\r\\r\\r\\r\\r...'), and the intended order is unclear. Please correct this in the final version.","section":"Notation, p. 5"}],"recommendation":"major_revision","confidential_remarks":"The paper is technically dense and the main ideas are promising, but the missing ε-uniform local well-posedness for the specific MHD system is a serious gap. I would not reject: it is plausibly fixable by proving a local existence theorem for (1.6) with the stated boundary conditions and ε-independent time span, or by citing a genuinely covering result if one exists. The omitted proof of (2.33) and the partial verification of (4.13) also need completion. If these are addressed, the paper may be suitable for publication. The scope matches journals like J. Differential Equations or SIAM J. Math. Anal."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Colleague,\n\nThe headline is that this paper has a real new result and a real gap. It proves global-in-ε uniform regularity for 3D compressible MHD in the half-space with vertical resistivity going to zero, gives H^1 decay rates, and converts those into a time-uniform L^2 convergence rate of order ε^{1/4}. The conormal-energy framework is the right tool when normal derivatives are lost to boundary layers, and the decay part sensibly builds on Kagei–Kobayashi semigroup estimates and explicit heat-kernel bounds for the anisotropic magnetic diffusion. The slower decay for the original system compared with the limit system is a genuine distinction, and the convergence-rate proof shows no sign of circular fitting. If the main estimates hold, the paper closes the global version of the local-in-time results in [5,6] and the limit-system analysis in [12].\n\nThe soft spots are real. The most load-bearing is the ε-uniform local well-posedness used to start the bootstrap in Section 2.8. It is asserted “in a similar fashion as in [28] and [32]”, but those references are for compressible Navier–Stokes, not for this MHD system with anisotropic resistivity and mixed boundary conditions on B. The compatibility conditions are waved at in Remark 1.2. For Theorem 1.1 this is not cosmetic: without a local existence theorem on a time interval independent of ε, the global energy estimate has no starting point. I think the gap is fillable by a standard fixed-point argument with the stated boundary conditions, but the paper has to show it.\n\nTwo smaller gaps go in the same direction: Lemma 2.2 is omitted as “similar”, and estimate (2.33) for the B_α terms is asserted with details omitted. Those sit inside the nonlinear estimates that close the bootstrap, so they are not peripheral. They are probably routine for this group, but “probably” is not what a referee should have to supply.\n\nThe decay part looks sound in structure: the semigroup estimates are imported appropriately, Lemma 3.5 is proved, and the Duhamel argument is standard. The convergence-rate section is intricate, and the pressure-gradient handling with the auxiliary functions is well designed; the ε^{1/2} integral bound leading to ε^{1/4} in L^2 is coherent.\n\nWho gets value: PDE analysts working on MHD boundary layers, vanishing resistivity limits, and half-space decay problems. It deserves a serious referee. My recommendation: send it out, but ask the referee specifically to verify the ε-uniform local well-posedness and the compatibility conditions before acceptance. I would not desk-reject it; I also would not accept it in current form.","headline":"Global uniform regularity and an explicit ε^{1/4} convergence rate for vanishing vertical magnetic resistivity in the half-space: a substantial, plausible paper with a genuine gap in ε-uniform local well-posedness that must be fixed before acceptance.","tokens_in":72492,"tokens_out":3116,"would_cite":false,"duration_ms":36647,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["35Q35","35B40","35B65","76W05"],"pacs":[],"model":"deepseek-v4-flash","headline":"For small smooth data, the 3D compressible MHD system with vanishing vertical magnetic resistivity remains globally regular with ε-independent bounds, and its solutions converge to the horizontal-diffusion limit at an explicit L² rate of ε^","keywords":["compressible MHD","vanishing resistivity","half space","global well-posedness","uniform regularity","conormal Sobolev spaces","decay rates","singular limit"],"falsifier":"A concrete check: take m=4, choose any smooth compactly supported initial datum satisfying (1.10) and the as-yet-unstated compatibility conditions asserted in Remark 1.2, and test whether the predicted a priori bound (2.40) actually closes. If one can exhibit such data for which no ε-uniform local solution of (1.6) exists—or for which the constant in (2.40) blows up as ε→0—the global uniform regularity claim collapses.","tokens_in":71526,"feed_emoji":"🧲","tokens_out":6026,"duration_ms":71022,"temperature":0.7,"pith_summary":"This paper tries to prove that the three-dimensional compressible MHD equations in a half space, with a small vertical resistivity coefficient ε, have global-in-time solutions whose regularity bounds do not blow up as ε→0. If true, this justifies taking the limit: as ε goes to zero, the solutions converge, uniformly for all time, to the solutions of the simpler system in which magnetic diffusion acts only horizontally, and the paper pins the L² distance between the two at order ε^{1/4}. The proof works around the boundary layers that inevitably form because only a limited number of normal derivatives can be controlled uniformly: it uses conormal Sobolev spaces (derivatives tangent to the boundary) plus anisotropic inequalities to close a bootstrap energy estimate. As a byproduct, the paper derives large-time decay rates for the rescaled system and shows those rates are slower than for the limit system, which it attributes to the boundary layers.","feed_headline":"Magnetic-resistivity limit converges at rate ε^{1/4}","feed_subtitle":"Global uniform bounds are shown to hold as ε→0, making the horizontal-diffusion limit system the right model.","key_machinery":"The working space is the conormal Sobolev space H^m_co, generated by the vector fields Z_1=∂1, Z_2=∂2, and Z_3=φ(x3)∂3 with φ(x3)=x3/(x3+1), which are tangent to the boundary; this allows normal control only through φ∂3, reflecting that boundary layers prevent uniform control of full normal derivatives. The energy bootstrap combines conormal energy estimates, first-order time and normal derivative estimates, a Stokes-system estimate for dissipation of (a,v), and second-order normal estimates for (v,εB), closed by anisotropic Sobolev and Hardy-type inequalities. Decay is obtained by writing solutions via Duhamel's formula with the linearized semigroup, using the explicit heat-kernel represent","core_discovery":"The central result is Theorem 1.1: for m≥4, if the initial perturbation is small in the conormal Sobolev norms, the system has a unique global solution satisfying E^ε_m(t)+D^ε_m(t) ≲ δ0, with constants independent of ε. From this uniform bound and a semigroup decay analysis, the paper obtains that (a,m) decays like t^{-3/4} in H^1, B like t^{-1/2}, ∂_h B like t^{-1}, and ∂_3 B like t^{-1/2+δ2}, with the lower bound t^{-3/4} when the mean of a0 is nonzero. Combining regularity, decay, and a carefully crafted energy for the difference between the ε-system and the limit system—using an auxiliary function g(ρ) to handle the pressure term—the paper proves sup_{τ≤t} ||(ρ^ε−ρ^0, v^ε−v^0, B^ε−B^0)(τ","pith_inferences":["Editorial extension: the ε^{1/4} exponent likely comes from the loss in the ∂3B̄ estimate; if future work controls one more normal derivative uniformly, the rate could plausibly improve to ε^{1/2}, matching the natural diffusive scaling.","Editorial extension: the same conormal-energy-plus-semigroup template should apply to other singular limits with partial dissipation—for example vanishing horizontal viscosity or resistivity with different boundary conditions—where boundary layers again limit normal regularity.","Editorial extension: the auxiliary pressure function g(ρ) trick for handling div v⁰ without L∞ decay is portable: it suggests a general recipe for difference estimates in compressible singular limits when the background velocity has only L²-type decay."],"forward_implications":["If the uniform estimate (1.11) holds, no strong boundary layer forms in the vanishing-resistivity limit; the ε-system stays close to the horizontal-diffusion MHD system for all time.","The strong convergence in local conormal space and the ε^{1/4} rate make the limit process quantitative: simulations with tiny vertical resistivity should match the limit system to order ε^{1/4} in L² uniformly in time.","The decay rates imply that even with vanishing vertical resistivity the magnetic field's normal derivative decays only like t^{-1/2+δ2}, slower than the limit system's t^{-1/2}; this is a measurable prediction about long-time behavior in the half-space geometry.","The lower bound t^{-3/4} for the density-momentum pair shows the decay rates for (a,m) are optimal, not an artifact of the estimates."],"fun_headline_variants":["MHD resistivity limit: global bounds and ε^{1/4} convergence","Uniform regularity for 3D MHD with vanishing vertical resistivity","Convergence rate ε^{1/4} in compressible MHD resistivity limit","Global MHD solutions: uniform bounds and decay as resistivity vanishes","MHD in half space: resistivity limit convergence with rate ε^{1/4}"],"cache_read_input_tokens":2304,"weakest_assumption_plain":"The most load-bearing premise is the unstated ε-uniform local-in-time well-posedness of system (1.6): Section 2.8 refers to prior works for its proof, and Remark 1.2 does not spell out the required compatibility conditions; if that local existence result fails for this boundary-value problem, the bootstrap has no starting point.","fun_headline_variants_meta":{"raw":{"variants":["MHD resistivity limit: global bounds and ε^{1/4} convergence","Uniform regularity for 3D MHD with vanishing vertical resistivity","Convergence rate ε^{1/4} in compressible MHD resistivity limit","Global MHD solutions: uniform bounds and decay as resistivity vanishes","MHD in half space: resistivity limit convergence with rate ε^{1/4}"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000299,"raw_usage":{"total_tokens":1631,"prompt_tokens":872,"completion_tokens":759,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":616,"completion_tokens_details":{"reasoning_tokens":661}},"tokens_in":616,"tokens_out":759,"duration_ms":9172,"temperature":1.0,"reasoning_tokens":661,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-01T11:56:55.889717+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"A concrete check: take m=4, choose any smooth compactly supported initial datum satisfying (1.10) and the as-yet-unstated compatibility conditions asserted in Remark 1.2, and test whether the predicted a priori bound (2.40) actually closes. If one can exhibit such data for which no ε-uniform local solution of (1.6) exists—or for which the constant in (2.40) blows up as ε→0—the global uniform regularity claim collapses.","supporting_citations":[],"review_version":1}