{"id":"914917b7-e2fc-4676-9e98-a6ecf757ebf7","arxiv_id":"2505.04351","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 H3 initial data in R3, the 3D compressible viscous MHD equations with horizontal magnetic diffusion have unique global strong solutions.","lead":"This mathematics paper proves that small, smooth initial data in three space dimensions admit global smooth solutions of the compressible magnetohydrodynamic equations when the magnetic field is smoothed only horizontally. The result is a step toward the still-open fully non-resistive case, where even small data in R3 are not yet understood.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Proposition 2.2's exact L2 energy identity (2.6) is false: the reformulated nonlinear system leaves nonvanishing cubic remainders, and the H3 bootstrap relies on this identity to upgrade homogeneous estimates to the full norm.","rationale":"The reader's weakest_assumption is exactly the false identity (2.6), and I agree that it is the most load-bearing concern: it is invoked at the hinge where the homogeneous high-order estimate is upgraded to the full H3 energy used in the bootstrap. I considered whether local existence being asserted without proof, or the bootstrap justification of (2.20), is a stronger objection, but both are standard and should be repairable by routine arguments. The false identity, by contrast, is concrete and currently leaves a genuine gap in the proof of Proposition 2.3 and of (1.4). Because the exact physical energy identity (2.5) is present in the paper and smallness makes the physical and quadratic energies comparable, the theorem is plausibly correct and the gap is likely repairable. Thus conditional acceptance remains the appropriate verdict; my reading does not change the reader's verdict.","tokens_in":16423,"tokens_out":16744,"duration_ms":163107,"concrete_test":"Compute the exact L2 time-derivative identity for (2.8) explicitly, keeping all nonlinear remainders R. Then re-prove the bootstrap (2.60)-(2.63) using the exact physical identity (2.5) together with the equivalence between 2g(ρ)+ρ|u|^2+|B|^2 and ||(a,u,B)||^2_L2 under sup|a|≤1/2. If each extra term in R is bounded by C E1 E2, C E1^2 E2, or another expression already present in (2.63), the gap closes; if any term grows in t or requires a new smallness condition, the proof needs substantive revision.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Starting from the reformulated system (2.8), multiplying the a, u, and B equations by a, u, and B and integrating gives a nonzero remainder R = -∫ a^2 divu dx + ∫ J(a)∇a·u dx - ∫ I(a)u·(μΔu + (λ+μ)∇divu) dx - ∫ I(a)u·(B·∇B - ∇|B|^2/2) dx; the pure B/u terms cancel by divB = 0. Thus the claimed identity (2.6) cannot hold. This is load-bearing because the proof invokes Proposition 2.2 both to pass from the homogeneous ∇^3 estimate to the full H3 inequality in Proposition 2.3 and in the norm equivalence (2.9). Consequently the bootstrap (2.60)-(2.63) does not account for these L2 nonlinearities, so the announced bound (1.4) is not derived as written. The gap is repairable: the exact physical energy identity (2.5) holds with 2g(ρ)+ρ|u|^2+|B|^2, which is equivalent to ||(a,u,B)||^2_L2 under the smallness condition (2.20); redoing the low-order step from (2.5) should absorb R into the existing bootstrap terms. But the paper as written does not supply this argument.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper claims global small-data well-posedness for the 3D compressible viscous MHD equations with only horizontal magnetic diffusion in the whole space R^3. The proof reformulates the system in terms of the density perturbation a, the velocity u, and the magnetic field B, then derives an L2 energy identity, higher-order homogeneous H3 estimates using anisotropic Sobolev inequalities, and an additional estimate that provides dissipation for the density gradient. These estimates are combined into a bootstrap that yields the global energy bound of Theorem 1.1.","tokens_in":16650,"tokens_out":14495,"duration_ms":126919,"significance":"If the proof is completed, the result would be a meaningful contribution: small-data global strong well-posedness in R^3 for compressible MHD with partial (horizontal only) magnetic diffusion, complementing existing results on periodic domains and on non-resistive systems. The paper contains a substantial amount of detailed higher-order energy estimates, and the anisotropic derivative distributions in Lemma 2.1 are used in a plausible way. The exact physical energy identity (2.5) is correct, and the overall strategy is coherent. However, the manuscript as written contains a load-bearing gap in the L2 energy identity, so the main theorem is not established as stated.","major_comments":[{"comment":"The exact L2 energy identity (2.6) is false for the reformulated system (2.8). Taking the L2 inner product of (2.8) with (a,u,B) gives, after the linear cancellations, the nonzero remainder R = -1/2∫ a^2 divu dx + 1/2∫ |u|^2 divu dx + ∫ J(a) u·∇a dx - ∫ I(a) u·(μΔu + (λ+μ)∇divu) dx - ∫ I(a) u·(B·∇B - ∇(|B|^2/2)) dx. The pure u/B cubic terms cancel only after using divB=0 and integration by parts, but the displayed terms do not vanish. The derivation from (2.5) is also not valid as written because 2g(ρ) and ρ|u|^2 are equivalent to a^2 and |u|^2 only modulo cubic remainders, whose time derivatives contribute to R. This is load-bearing: the proof invokes Proposition 2.2 to pass from the homogeneous ∇^3 estimate in Proposition 2.3 to the full H3 norm and then to close the bootstrap (2.60)-(2.63). The repair via the physical energy (2.5) is plausible, but the manuscript does not supply the argument that the cubic remainder can be absorbed into the existing bootstrap terms.","section":"Section 2.1, Proposition 2.2 (Eq. (2.6))"},{"comment":"Local existence and uniqueness of strong solutions in C([0,T];H^3) are asserted with the phrase 'achieved by a standard processes' but no proof or reference is given. Since Theorem 1.1 claims a unique global strong solution, the local well-posedness step is part of the central claim. The lack of vertical magnetic diffusion makes the system not completely standard, so a precise reference or a brief argument is needed.","section":"Section 2.3, after Eq. (2.63)"}],"minor_comments":[{"comment":"Reference [8] (Chen, Zhang, Zhou, 'Global well-posedness for the 3-D MHD equations with partial diffusion in periodic domain') is listed in the bibliography but never cited in the text; if it addresses a closely related system, it should be discussed in the introduction to clarify the novelty of the present result.","section":"References"},{"comment":"The notation B∇B is used without definition; it appears to mean ∇(|B|^2/2). It should be defined explicitly at first use to avoid confusion with B·∇B.","section":"Notation, Section 2.2"},{"comment":"The displayed inequality in (2.56) is dimensionally inconsistent: the left-hand side is a product of three factors including one factor of ∇^{2-ℓ}I(a) and one factor of ∇^3a, so the upper bound should contain ||I(a)||_{H^2}||B·∇B||_{H^2}||∇a||_{H^2}, not ||B·∇B||_{H^2}||∇a||^2_{H^2}. This is a local fix but should be corrected.","section":"Section 2.2, Eq. (2.56)"},{"comment":"In the chain of inequalities leading to (2.63), the term C1 E1(t)E2(t) is dropped before passing to C2 E(t)^{3/2} + C2 E(t)^3; for E(t) ≤ 1 it can be absorbed into the E(t)^{3/2} term, but this should be stated explicitly.","section":"Section 2.3, Eq. (2.63)"},{"comment":"There is a typo in the reference list: 'Gloabal solutions' in reference [49] should read 'Global solutions'.","section":"Miscellaneous"}],"recommendation":"major_revision","confidential_remarks":"The main technical concern is the incorrect exact energy identity (2.6); this is a repairable but essential gap, so I do not recommend rejection. The uncited reference [8] should be checked for overlap with the claimed result, since its title suggests it concerns 3D MHD with partial diffusion; the authors should clarify the relation. The reliance on lemmas from [48] and [49] with overlapping authorship is not circular because those results are external to the present theorem, but the local existence assertion should be supported by a citation or proof."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The paper proves small-data global well-posedness for the 3D compressible viscous MHD equations in R3 with only horizontal magnetic diffusion. That's the right problem: the fully non-resistive case is open, and the known partial-diffusion results are on periodic domains. The whole-space setting matters because Poincare is unavailable and the density has no dissipation. The result is new, as far as I can tell, and the proof strategy is a sensible extension of the authors' earlier two-tier energy method.\n\nWhat the paper does well: the energy structure is coherent. The wave-type coupling between density and velocity gives the missing density dissipation, and the anisotropic Sobolev inequalities are used in a way that distributes derivatives so that every bad term lands on nabla_h B or nabla u. The nonlinear estimates in Propositions 2.3 and 2.4 are tedious but mostly careful, and the bootstrap that closes the argument is standard.\n\nThe main issue is Proposition 2.2. The physical energy identity (2.5) is correct, but the paper then asserts (2.6), replacing 2g(rho)+rho|u|^2+|B|^2 with |a|^2+|u|^2+|B|^2 as an exact identity. That is false: using the reformulated system (2.8), the L2 inner product leaves cubic remainders such as int a^2 divu, int J(a) grad a . u, and int I(a) u . (B . grad B - grad |B|^2/2). These do not cancel. This matters because (2.6) is used to pass from the homogeneous grad^3 estimate to the full H3 inequality (2.7), and the bootstrap in (2.60)-(2.63) relies on having only the small nonlinear terms listed on the right. The gap is repairable: one can work from (2.5), note that under the smallness assumption the physical energy is equivalent to ||(a,u,B)||^2_{L2} modulo cubic terms, and absorb those terms into the existing bootstrap. But the paper does not do that, so the proof as written is not complete.\n\nTwo smaller issues. Local existence and uniqueness are asserted without a proof or a reference; for this system that is probably standard, but it should be stated. And reference [8], on exactly this type of partial-diffusion MHD in the periodic domain, appears in the bibliography but is never cited. The authors should clarify the relation, if only to sharpen the novelty claim.\n\nThe likely readers are people working on partially dissipative MHD and compressible fluids; for them the theorem is worth knowing. Overall, the result is plausible and the method is sound in intent, but the flaw is real and localized. This paper deserves a serious referee; I would send it out and ask the authors to fix the energy identity.","headline":"A plausible new small-data global well-posedness result for 3D compressible MHD with horizontal magnetic diffusion in R3, but the proof asserts a false exact energy identity that needs repair.","tokens_in":17201,"tokens_out":5410,"would_cite":true,"duration_ms":48105,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["35Q35","35A01","35A02","76W05"],"pacs":[],"model":"deepseek-v4-flash","headline":"Theorem 1.1: for small H3 initial data, the 3D compressible MHD equations with horizontal magnetic diffusion have a unique global strong solution.","keywords":["compressible MHD","horizontal magnetic diffusion","global well-posedness","small initial data","anisotropic Sobolev inequalities","partial dissipation","strong solutions","Cauchy problem in R^3"],"falsifier":"Compute the time derivative of $\\tfrac{1}{2}\\|(a,u,B)\\|_{L^2}^2$ along the reformulated system (2.8) and check the integrals $-\\tfrac{1}{2}\\int a^2\\,\\mathrm{div}\\,u$, $\\int u\\cdot J(a)\\nabla a$, and $\\int I(a)\\,u\\cdot(B\\cdot\\nabla B - \\nabla|B|^2/2)$. If any is nonzero for generic small data, identity (2.6) fails and the closing bootstrap (2.63) would need a revised estimate.","tokens_in":16182,"feed_emoji":"🧲","tokens_out":7289,"duration_ms":67103,"temperature":0.7,"pith_summary":"The paper claims that the 3D compressible viscous magnetohydrodynamic equations with only horizontal magnetic diffusion admit unique global strong solutions whenever the initial deviations of density, velocity, and magnetic field from the reference state are sufficiently small in $H^3(\\mathbb{R}^3)$. This is a meaningful step because, for the fully non-resistive case, even small-data global well-posedness in $\\mathbb{R}^3$ remains open. The proof reformulates the system in the variables $a = \\rho - 1$, $u$, $B$, and shows that the wave-type coupling between $a$ and $u$ produces the missing density dissipation while anisotropic Sobolev inequalities distribute derivatives so that every nonlinear term carries a horizontal derivative of $B$, the only dissipative direction. The claimed result is a uniform-in-time energy bound and a global existence theorem that places this partial-dissipation regime between the open non-resistive problem and the fully resistive case.","feed_headline":"Horizontal magnetic diffusion yields global 3D MHD solutions","feed_subtitle":"Small H3 data give global strong solutions to compressible MHD in 3D with only horizontal magnetic diffusion.","key_machinery":"The load-bearing object is the reformulated system (2.8) with unknowns $a = \\rho - 1$, $u$, $B$ and nonlinearities $f_1$, $f_2$, $f_3$. Two mechanisms carry the proof: the wave structure between $a$ and $u$, expressed in Proposition 2.4, converts the density gradient $\\|\\nabla a\\|_{H^2}$ into a time-derivative term plus controlled remainders, effectively giving the density equation dissipation it does not have explicitly; and the anisotropic triple-product inequalities of Lemma 2.1 are used throughout so that every nonlinear estimate consumes a horizontal derivative of $B$, the only direction in which the magnetic field dissipates.","core_discovery":"The central discovery is that the Cauchy problem in $\\mathbb{R}^3$ for compressible viscous MHD with diffusion only in the horizontal components of the magnetic field is globally well-posed for small smooth data. Specifically, for $(\\rho_0 - 1, u_0, B_0)$ in $H^3(\\mathbb{R}^3)$ with $H^3$ norm at most $\\varepsilon$, the system (1.1) has a unique global strong solution with $\\rho - 1$, $u$, $B$ in $C([0,\\infty);H^3)$, $\\nabla\\rho$ in $L^2(\\mathbb{R}_+;H^2)$, $\\nabla u$ in $L^2(\\mathbb{R}_+;H^3)$, and $\\nabla_h B$ in $L^2(\\mathbb{R}_+;H^3)$, satisfying the energy bound (1.4). The proof derives this from a reformulated system (2.8) in which the density perturbation $a = \\rho - 1$ obeys a transport-type equation, and the main work is to close a bootstrap on the total energy $\\mathcal{E}(t)$ using a density-velocity coupling (Proposition 2.4) and anisotropic estimates of the magnetic nonlinearities.","pith_inferences":["The authors do not state it, but the same bootstrap appears likely to work at $H^s$ regularity for $s \\geq 3$, since the anisotropic inequalities and the density-velocity coupling are not tied to the specific exponent 3.","Because only $\\nabla_h B$ is dissipated, one may expect the large-time decay of $B$ to be anisotropic, with horizontal modes decaying through the explicit diffusion and vertical modes decaying only through coupling with $u$; this is a testable prediction.","The proof's constants likely depend on $\\sigma^{-1}$, so taking the electrical conductivity $\\sigma$ to zero would require a separate argument; the non-resistive limit is not a corollary of Theorem 1.1."],"forward_implications":["The energy of the solution remains bounded by the initial $H^3$ norm for all time, so no finite-time blow-up can occur from small smooth data.","The density perturbation gains $L^2(\\mathbb{R}_+;H^2)$ dissipation of its gradient even though the density equation has no explicit diffusion or damping.","Horizontal magnetic diffusion alone is sufficient to control the magnetic nonlinearities in the whole space; vertical diffusion is not needed for the small-data result.","The same smallness threshold $\\varepsilon$ applies uniformly over time, so the global character of the solution is not a short-time artifact.","The result separates the $\\mathbb{R}^3$ small-data behavior of this partially dissipative system from the fully non-resistive case, where the corresponding assertion remains open."],"supporting_citations":[{"why":"Supplies the anisotropic triple-product inequalities (Lemma 2.1) used to distribute derivatives so each magnetic term carries a horizontal derivative.","marker":"[49]"},{"why":"Supplies the composite-function lemma for $I(a)$ and $J(a)$ and the reformulation strategy for 3D compressible non-resistive MHD used in the proof.","marker":"[48]"},{"why":"Establishes global small solutions for the 2D compressible non-resistive MHD system, the baseline that shows density-velocity coupling can compensate for missing magnetic diffusion.","marker":"[47]"},{"why":"Gives global smooth solutions in a 3D flat layer for the non-resistive system, the geometric setting the present whole-space result must move beyond.","marker":"[41]"},{"why":"Provides pure energy estimates for a 2D non-resistive compressible MHD system on a periodic domain, background for the energy-only approach used here.","marker":"[50]"}],"fun_headline_variants":["Global 3D MHD solutions from horizontal magnetic diffusion","Partial magnetic diffusion gives global 3D MHD well-posedness","Horizontal diffusion: key to global compressible MHD in 3D","Small H3 data, partial diffusion: global MHD existence","3D compressible MHD: global solutions via horizontal diffusion"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The proof assumes that the $L^2$ energy of the reformulated system satisfies the exact identity (2.6) with no leftover nonlinear terms; if cubic remainders such as the products of $a$, $u$, and $B$ gradients do not cancel, the bootstrap must control additional terms it does not list.","fun_headline_variants_meta":{"raw":{"variants":["Global 3D MHD solutions from horizontal magnetic diffusion","Partial magnetic diffusion gives global 3D MHD well-posedness","Horizontal diffusion: key to global compressible MHD in 3D","Small H3 data, partial diffusion: global MHD existence","3D compressible MHD: global solutions via horizontal diffusion"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000403,"raw_usage":{"total_tokens":2070,"prompt_tokens":887,"completion_tokens":1183,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":503,"completion_tokens_details":{"reasoning_tokens":1094}},"tokens_in":503,"tokens_out":1183,"duration_ms":8241,"temperature":1.0,"reasoning_tokens":1094,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-15T23:35:06.007872+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the time derivative of $\\tfrac{1}{2}\\|(a,u,B)\\|_{L^2}^2$ along the reformulated system (2.8) and check the integrals $-\\tfrac{1}{2}\\int a^2\\,\\mathrm{div}\\,u$, $\\int u\\cdot J(a)\\nabla a$, and $\\int I(a)\\,u\\cdot(B\\cdot\\nabla B - \\nabla|B|^2/2)$. If any is nonzero for generic small data, identity (2.6) fails and the closing bootstrap (2.63) would need a revised estimate.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the anisotropic triple-product inequalities (Lemma 2.1) used to distribute derivatives so each magnetic term carries a horizontal derivative."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the composite-function lemma for $I(a)$ and $J(a)$ and the reformulation strategy for 3D compressible non-resistive MHD used in the proof."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Establishes global small solutions for the 2D compressible non-resistive MHD system, the baseline that shows density-velocity coupling can compensate for missing magnetic diffusion."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Gives global smooth solutions in a 3D flat layer for the non-resistive system, the geometric setting the present whole-space result must move beyond."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Provides pure energy estimates for a 2D non-resistive compressible MHD system on a periodic domain, background for the energy-only approach used here."}],"review_version":1}