{"id":"4c57fa92-5d1f-4cb5-b61c-e99b4b1cd315","arxiv_id":"1908.03882","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"A nonlinear magnetostatic curl equation with topological harmonic fields is shown to be solvable under several boundary conditions, often only after adjusting those fields.","lead":"This paper proves existence of solutions for a nonlinear magnetic field model on multiply connected three-dimensional domains with holes, where the domain's topology enters through special harmonic fields. It shows that under various boundary conditions solvability depends on these topological terms, though in many theorems the terms must be chosen to fit the problem.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Most existence theorems solve the BVP only after adjusting h2 or h1, so the central claim is weaker than an unconditional existence reading suggests.","rationale":"I read the paper in good faith and did not find an internal contradiction in the monotone operator, reduction, or fixed-point arguments. The material-law assumptions (H1)-(H3) are explicit and standard for this type of quasilinear curl system, so I do not regard them as a hidden flaw. However, the central claim as formulated by the reader and by the abstract is stronger than what the theorems actually establish. In Section 5, Theorem 5.7 solves the tangential curl BVP only after choosing h0_2; in Sections 6 and 7, Theorems 6.3, 6.11, 7.6, 7.10, and 7.14 similarly select either h2 or h1 during the proof. Only Theorems 4.3 and 6.8 solve the problem with both topological fields prescribed. This is a real soft spot in the framing of the central claim, because h1 and h2 are physical harmonic fields representing the effect of topology, not arbitrary tuning parameters. The conditional character of the existence results is mathematically interesting and is partially acknowledged in the paper, but it should be the primary message. The reader's CONDITIONAL verdict already reflects this concern, so I recommend no change to the verdict.","tokens_in":43046,"tokens_out":27759,"duration_ms":304112,"concrete_test":"Write out the full quantifier prefix for every theorem in Sections 4 through 7, recording for each theorem which of h1 and h2 are prescribed and which are constructed during the proof. Then check whether any theorem other than Theorems 4.3 and 6.8 proves existence for arbitrary prescribed (h1, h2). If the intended reading of the abstract is 'for every h1 and h2', the table will show that this is false and the abstract needs revision; if the intended reading is 'there exists a suitable choice of h1 and h2', the paper is consistent but should state this conditional form as the headline result.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The abstract, and the reader's strongest_claim, present the results as existence theorems under five boundary conditions, with h1 and h2 as topological fields. But the quantifier order in most theorems is not 'for all h1 and for all h2'. Theorem 5.7 proves: for every h0_1 satisfying (5.18) there exists h0_2 in H2 such that (5.1) with h2 = h0_2 has a solution. Theorem 6.3 proves: for every h0_1 there exists h2 depending on h1 and h0_1. Theorem 6.11 proves: for every h0_1 there exists h2. Theorem 7.6 proves: for every hat h1 there exists h2 depending on h1 and hat h1. Theorem 7.10 proves: for every h2 there exists h1 depending on h2. Theorem 7.14 proves: for every h1 and hat h1 there exists h2 depending on hat h1. Only Theorems 4.3 and 6.8 hold for prescribed h1 and h2. Since h2 is the harmonic part of B representing flux through the holes, and h1 is the harmonic part of sigma E, these are physical data, not free auxiliary parameters. The claim that solvability depends on the choice of h1 and h2 is supported, but the central claim as summarized overstates the results: for most boundary conditions, the paper proves existence after selecting one of the topological parameters, not for arbitrary topological data.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies the quasilinear magneto-static system curl[H(x, curl u + h2)] = J + h1 (+ grad p), div u = 0, on a bounded multiply connected domain, where h1 in H1 and h2 in H2 are harmonic fields encoding the domain topology and p is an unknown electric potential. It derives the model from Maxwell's equations in Section 3, then proves existence of weak or classical solutions for several boundary conditions: Dirichlet (Section 4), tangential curl (Section 5), normal curl, natural, and co-normal (Section 6), and three Maxwell-Stokes problems with solution-dependent current (Section 7). The main tools are Hodge-type decompositions, monotone operator theory, reduction to scalar quasilinear elliptic problems, and Schauder fixed-point arguments. Theorems 4.3 and 6.8 give existence for prescribed h1 and h2, while most other theorems establish existence only after choosing one of the topological fields, usually h2, in a data-dependent way.","tokens_in":1655,"tokens_out":2499,"duration_ms":160040,"significance":"If the results are read as conditional existence statements for suitable topological fields, the paper is a substantial contribution to the rigorous theory of nonlinear magnetostatics on topologically nontrivial domains. It makes explicit how the number of holes and cuts enters the solvability conditions, and it provides detailed proofs by monotone operators and reduction methods rather than merely formal arguments. The assumptions (H1)-(H3) and (B1)-(B2) are clearly stated, and the compatibility conditions for the natural boundary value problem are written down explicitly. The main limitation is that several of the central theorems do not establish existence for arbitrary prescribed topological data, which weakens the abstract's claim of existence results under five boundary conditions. The paper would be significantly strengthened by either proving fixed-topological-field versions of Theorems 5.7, 6.3, 6.11, 7.6, 7.10, and 7.14, or by explicitly rephrasing the claims as results on the dependence of solvability on the choice of h1 and h2.","major_comments":[{"comment":"The quantifier order in the main existence theorems is not what the abstract and introduction lead the reader to expect. Theorem 5.7 proves existence for some h2 depending on h0_1, Theorem 6.3 and Theorem 6.11 construct h2 after fixing an auxiliary h0_1, Theorem 7.6 constructs h2 depending on h1 and hat h1, Theorem 7.10 constructs h1 depending on h2, and Theorem 7.14 constructs h2 depending on hat h1. In the physical model, h1 and h2 are not free auxiliary parameters: h2 is the harmonic part of B and represents the flux through the holes, while h1 is the harmonic part of sigma E. The abstract's phrase 'existence results ... under various types of boundary conditions are proved' should therefore be qualified so that it is clear that, except for Theorems 4.3 and 6.8, the results show existence after adjusting one of the topological fields rather than for arbitrary prescribed topological data.","section":"Abstract; Theorems 5.7, 6.3, 6.11, 7.6, 7.10, 7.14"},{"comment":"Theorem 5.7 is conditional not only on the choice of h2 but also on the existence of h0_1 in H1 satisfying the compatibility condition (5.18). The paper does not prove that such an h0_1 exists, and the first condition in (5.18), namely nu dot curl[H(x, B0_T)] = nu dot J on the boundary, depends only on the data J and B0_T and cannot be arranged by choosing h0_1. As written, the tangential-curl BVP is therefore solved only for data satisfying an unverified compatibility condition. The theorem should either prove that (5.18) is nonempty for a natural class of data, or be explicitly labeled as a conditional existence result with a discussion of the meaning of the compatibility condition.","section":"Theorem 5.7 and Proposition 5.5"},{"comment":"In these theorems the successful choice of h2 is made only after the reduced problem has been solved, through orthogonality conditions such as (6.5), (7.14), or (7.33). This does not address the physically relevant case of a prescribed flux h2. Since h2 is finite-dimensional, a natural strengthening would be to fix h2 and search for the auxiliary H1-component by a finite-dimensional degree argument; if such an argument is not possible, the paper should explicitly characterize the set of h2 for which existence holds. Without this, the claim that the normal-curl, co-normal, and Maxwell-Stokes boundary value problems are solvable is weaker than a reader would reasonably infer from the abstract.","section":"Theorems 6.3, 6.11, 7.6, 7.14"}],"minor_comments":[{"comment":"There are typos in the title and abstract, such as 'Magneto-St a tic' and 'various type of boundary conditions'; these should be corrected.","section":"Title and Abstract"},{"comment":"The displayed formulas for the constants in (B2) list N2 twice; the first occurrence should presumably be N1, the constant for the bound on grad_x B.","section":"Remark 2.2"},{"comment":"The notation h0_1 and h0_2 in Sections 5-7 is easily confused with the physical topological field h1; renaming the auxiliary fields, for example alpha and beta, would improve readability.","section":"Section 5 and Section 6"},{"comment":"In the proof of Lemma 2.7 the notation H0 is used before it is defined in the context of condition (6.8); the extension used in the proof should be named explicitly to avoid ambiguity.","section":"Lemma 2.7"},{"comment":"The abstract says grad p represents the electric field, while Remark 3.6 and the introduction state that grad p represents both the electric field and the domain topology; these statements should be reconciled.","section":"Introduction after (1.3)"}],"recommendation":"major_revision","confidential_remarks":"The main risk to the paper's claims is the quantifier gap identified in the major comments. Theorems 4.3 and 6.8 are solid and show that the method works for prescribed topological data in the Dirichlet and natural cases; the other sections need either strengthening or careful reframing. The paper also relies heavily on the author's previous work [P4] and the 'to appear' reference [P5]; the editor may wish to confirm that [P5] is publicly available and that the lemmas quoted from it are stated in compatible form."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"I read the full manuscript carefully, and I think the stress-test note is correct. The headline: this is a competent technical paper, but the abstract overstates what is proved. Only Theorems 4.3 and 6.8 give existence for prescribed h1 and h2 (with 6.8 also requiring compatibility conditions). The other main theorems—5.7, 6.3, 6.11, 7.6, 7.10, 7.14—all prove existence by choosing h2 or h1 after the fact, depending on the data and boundary data. That is a materially weaker statement. h1 and h2 are the harmonic parts of the physical fields, not free tuning parameters, so the paper establishes that solvability depends on the choice of h1 and h2, but not that the boundary value problem is solvable for arbitrary topological data. The abstract and introduction should say this plainly.\n\nWhat is genuinely new and good: the systematic inclusion of both harmonic fields h1 and h2 in the nonlinear curl system, plus the treatment of five boundary-condition families with detailed existence proofs. Section 3 is a clean reduction from Maxwell using standard Hodge decompositions; there is no circularity there. The monotone-operator and fixed-point arguments look competent, and I believe the main theorems are correct as stated once the quantifiers are read carefully.\n\nThe soft spots, in proportion: the quantifier issue is load-bearing and should be fixed up front, not just in the theorem statements. The paper also cites [P5] for a De Rham-style lemma at a time when [P5] was unpublished; that is a legitimate but minor referee complaint. There are numerous typos—the title itself has 'MAGNETO-ST A TIC'. The material-law package (H1)-(H3), strong monotonicity plus global invertibility, is strong; if a realistic BH curve saturates or lacks uniform monotonicity, none of the results apply. That is a modeling limitation, not an error.\n\nMy recommendation: send it to peer review. The paper deserves a serious referee and is publishable after the abstract and theorem statements are rewritten to match the actual quantifier structure. A careful revision would make it a genuinely useful reference for the magnetostatics and eddy-current community.","headline":"Solid technical existence theory for nonlinear magnetostatics on multiply-connected domains, but the abstract oversells the results: most theorems prove existence only after adjusting the topological harmonic field h1 or h2, not for arbitrary prescribed data.","tokens_in":43821,"tokens_out":2837,"would_cite":false,"duration_ms":32349,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["35J61","35J62","35Q60","35Q61","78A25"],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper proves that the nonlinear magneto-static system on a bounded multiply connected domain has weak solutions under Dirichlet, tangential-curl, normal-curl, natural, and co-normal boundary conditions, with solvability depending on…","keywords":["magneto-static model","quasilinear curl system","domain topology","weak solution","multiply connected domain","Maxwell-Stokes system","monotone operator"],"falsifier":"Choose a smooth $BH$-relation on a toroidal domain whose inverse $B$ is multivalued or whose monotonicity constant $\\mu$ is zero (a saturation plateau). Then the reduction (4.13) and the monotone-operator proofs cannot be run; the concrete test is to construct a current $J$ for which the weak formulation of the Dirichlet problem (4.1) has no solution, which would contradict the claim that (H1)-(H3) is sufficient for existence.","tokens_in":42834,"feed_emoji":"🧲","tokens_out":6699,"duration_ms":62332,"temperature":0.7,"pith_summary":"The paper studies the time-independent Maxwell equations in a nonlinear magnetic material occupying a bounded region with $m$ holes. It proves that the quasilinear system $\\operatorname{curl}\\,[H(x,\\operatorname{curl}\\,u+h_2)] = J+h_1$ (with a possible unknown pressure gradient $\\nabla p$) has weak solutions under Dirichlet, tangential-curl, normal-curl, natural, and co-normal boundary conditions. The novelty is that the harmonic Neumann field $h_1$ and the harmonic Dirichlet field $h_2$, which encode the topology of the domain, are built into the equation, and solvability genuinely depends on which $h_1$ and $h_2$ are chosen. A sympathetic reader would care because this turns a formally overdetermined magnetostatic problem into a well-posed boundary value problem whose solvability reflects the shape of the magnet, including its holes and handles.","feed_headline":"Holes in a magnet decide whether its field equations solve","feed_subtitle":"Existence theorems for nonlinear curl systems now cover domains with any number of holes.","key_machinery":"The load-bearing mechanism is the material-law package (H1)-(H3): the $BH$-relation $H(x,z)$ is strongly monotone and Lipschitz in the field variable $z$, with a coercive, monotone inverse $B(x,w)$. This package makes the map $w \\mapsto \\operatorname{curl}\\,[H(x,\\operatorname{curl}\\,w+h_2)]$ a strongly monotone operator on the space $X = H^1_{t0}(\\Omega,\\mathrm{div}\\,0) \\cap \\mathbb{H}_2(\\Omega)^\\perp$, so the Browder-Minty surjectivity theorem applies. The domain topology enters through the Hodge-type decompositions $L^2 = H_\\Gamma(\\Omega,\\mathrm{div}\\,0) \\oplus \\mathbb{H}_2(\\Omega) \\oplus \\mathrm{grad}\\,H^1_0$ and $L^2 = H_\\Sigma^0(\\Omega,\\mathrm{div}\\,0) \\oplus \\mathbb{H}_1(\\Omega) \\oplus \\mathrm{grad}\\,H^1$, together with the projections $P_\\nu$ and $P_n$, which convert each boundary value problem into a scalar quasilinear div-curl equation for a potential $\\varphi$. The reduction method solves the scalar problem and then selects $h_1$ or $h_2$ by an acute-angle (Brouwer degree) argument to satisfy the required orthogonality conditions.","core_discovery":"The central claim is that the nonlinear magneto-static equations with a monotone $BH$-relation are always solvable in the weak sense on any bounded $C^2$ domain, no matter how many holes it has, provided the right topological data are admitted. The equations contain the Neumann field $h_1 \\in \\mathbb{H}_1(\\Omega)$ and the Dirichlet field $h_2 \\in \\mathbb{H}_2(\\Omega)$, the finite-dimensional harmonic fields whose dimensions equal the number of boundary components and the number of holes (and cutting surfaces); for current depending on the magnetic induction, an unknown gradient $\\nabla p$ is also included. The paper proves existence for the current-given system under Dirichlet, tangential-curl, normal-curl, natural, and co-normal boundary conditions (Theorems 4.3, 4.8, 5.7, 6.3, 6.8, 6.11), and for the Maxwell-Stokes system under normal-curl-Neumann, natural-Neumann, and co-normal-Neumann conditions (Theorems 7.6, 7.10, 7.14), in each case with $h_1$ or $h_2$ adjusted to match the topology. The theorems are proved by a combination of monotone operator theory, reduction to scalar quasilinear elliptic problems, and Schauder fixed point arguments, and the solution is sought in the divergence-free space $H^1(\\Omega,\\mathrm{div}\\,0)$.","pith_inferences":["If these theorems are right, numerical solvers for eddy-current and magnetostatic problems on multi-material or multi-hole geometries should expect well-posedness only when harmonic fields are included as unknowns; fixing them a priori may be the reason some formulations appear unsolvable.","The reduction to a scalar quasilinear Neumann or Dirichlet problem suggests a constructive numerical route: solve the scalar $\\varphi$-problem, then recover the required $h_1$ or $h_2$ by projecting the mismatch onto the finite-dimensional cohomology spaces.","A natural testable extension is to relax the sublinear growth condition on the current term; the paper leaves open whether superlinear dependence on $\\operatorname{curl}\\,u$ breaks the Schauder fixed-point argument, since a bounded invariant ball may no longer exist.","The explicit dependence of the solution on $h_1$ and $h_2$ could serve as a diagnostic tool: if a computed magnetostatic field fails to satisfy the equation, the residual should be a harmonic field, identifying which topological mode the geometry is imposing."],"forward_implications":["For any multiply connected magnet with a monotone, invertible $BH$-curve, the magnetostatic problem has a weak solution for each admissible choice of the harmonic topological data.","When the current is prescribed, the solution is unique in the quotient space $H^1(\\Omega,\\mathrm{div}\\,0) \\cap \\mathbb{H}_2(\\Omega)^\\perp$ and depends continuously on $(h_1,J)$.","When the current depends on the magnetic induction, existence holds under sublinear growth of the current term $f$ with respect to $|z|$, on each of the three boundary condition families.","The boundary condition for the pressure-like term $p$ is forced by the topology: Neumann conditions when holes are present, Dirichlet conditions when the domain is simply connected.","In the co-normal and natural cases, the theorem asserts existence after re-adjusting $h_2$ (or $h_1$) in the finite-dimensional spaces $\\mathbb{H}_2$ or $\\mathbb{H}_1$, so the result is existence for some topological data rather than for every prescribed pair."],"supporting_citations":[{"why":"Supplies the predecessor Maxwell-Stokes system, the Dirichlet-versus-Neumann choice for the pressure term, and the De Rham lemma variants used in the fixed-point and reduction arguments.","marker":"[P4]"},{"why":"Supplies the Hodge decompositions of $L^2$ and the div-curl-gradient inequalities that underpin the function space setup.","marker":"[DaL]"},{"why":"Supplies the Browder-Minty surjectivity theorem for strongly monotone operators, used repeatedly to solve the variational and operator equations.","marker":"[Z2]"},{"why":"Supplies existence theory for the scalar quasilinear elliptic Neumann and Dirichlet problems that the reduction method relies on.","marker":"[LU]"},{"why":"Supplies the Schauder estimates used to obtain classical solutions of the reduced scalar Dirichlet problem.","marker":"[GT]"},{"why":"Supplies the divergence-free, tangential-component-preserving extension of boundary data used in the Dirichlet and natural boundary condition arguments.","marker":"[P2]"},{"why":"Supplies the compatibility condition for a tangential gradient on the boundary, used in the reduction of the tangential-curl problem to a Dirichlet problem.","marker":"[NW]"}],"fun_headline_variants":["Nonlinear magnetostatics solved on any multiply-connected domain","Topology decides existence in nonlinear magneto-statics","Holes don't block solutions in nonlinear magneto-statics","Existence proofs cover any number of holes in magnetostatics"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The entire existence theory rests on the assumption that the $BH$-curve is uniformly strongly monotone and Lipschitz with a global inverse; a real material whose magnetic response saturates or exhibits hysteresis would violate this, and the theorems would not apply.","fun_headline_variants_meta":{"raw":{"variants":["Nonlinear magnetostatics solved on any multiply-connected domain","Topology decides existence in nonlinear magneto-statics","Holes don't block solutions in nonlinear magneto-statics","Existence proofs cover any number of holes in magnetostatics"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000443,"raw_usage":{"total_tokens":2250,"prompt_tokens":960,"completion_tokens":1290,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":576,"completion_tokens_details":{"reasoning_tokens":1222}},"tokens_in":576,"tokens_out":1290,"duration_ms":10465,"temperature":1.0,"reasoning_tokens":1222,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T13:59:36.431150+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Choose a smooth $BH$-relation on a toroidal domain whose inverse $B$ is multivalued or whose monotonicity constant $\\mu$ is zero (a saturation plateau). Then the reduction (4.13) and the monotone-operator proofs cannot be run; the concrete test is to construct a current $J$ for which the weak formulation of the Dirichlet problem (4.1) has no solution, which would contradict the claim that (H1)-(H3) is sufficient for existence.","supporting_citations":[],"review_version":1}