{"id":"900841ba-4af1-4c52-9dc0-50d0e8bfe3db","arxiv_id":"2601.03576","paper_version":3,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":2,"one_line_summary":"Small-data global well-posedness in critical Sobolev space is established for the non-integrable Ishimori system for every real coupling constant.","lead":"This paper claims global well-posedness for the non-integrable hyperbolic-elliptic Ishimori spin-field system with arbitrary coupling constant κ, for small data in the critical Sobolev space H^1. The proof adapts caloric-gauge and Strichartz techniques to handle derivative nonlinearities.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Core bilinear estimate (2.25) is not derived: Prop 2.5 gives I^{1/2} factors, not D(u)D(v), and the missing comparison fails in the small-data regime.","rationale":"The reader's weakest assumption correctly identified a concrete defect in Lemma 2.4, but that defect is a fixable typo and not the deepest obstruction. The more serious issue is that Proposition 2.6, the stated engine of the bootstrap, is not a consequence of Proposition 2.5 as written: the square-root structure in Prop. 2.5 does not match the linear-in-I functional D in (1.45), and the required comparison fails on natural small-data scaling families. Because Proposition 2.6 is invoked throughout Sections 3 and 4, the proof of Theorem 1.1 is not complete as printed. The verdict remains CONDITIONAL rather than REJECT: the gap is concrete but might be repaired by redefining D with I^{1/2} or by proving a strengthened bilinear estimate. No ad hominem is intended; the concern is purely about the mathematical argument.","tokens_in":29842,"tokens_out":23859,"duration_ms":213325,"concrete_test":"Check the missing inequality (∥P_ku∥_{L∞L2}+I^{1/2}) ≤ C(∥P_ku∥_G+I) on the explicit family u_λ(t,x)=δ^3 φ(λx,λ^2t), with N=(i∂t+μ_l∂^2_l)u_λ and λ=δ^{-2}, δ→0. If the ratio (∥P_ku∥+I^{1/2})/(∥P_ku∥_G+I) diverges, the printed proof of Prop. 2.6 cannot be correct and the bootstrap requires a different bilinear estimate or a corrected definition of D. If a hidden argument supplies the missing power, locate it and verify it survives the δ→0 limit before accepting Prop. 1.7.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The most load-bearing defect is the transition from Prop. 2.5 to Prop. 2.6. Prop. 2.5 is obtained by applying Lemma 2.4 to an L2-squared product and then taking a square root; it controls the bilinear product by 2^{-k2/2}(∥P_{k1}u∥_{L∞L2} + I(P_{k1}u,P_{k1}N)^{1/2})(∥P_{k2}v∥_{L∞L2} + I(P_{k2}v,P_{k2}N')^{1/2}). But the functional D defined in (1.45) is D(u)=∥u∥_G + I(u,N), linear in I. To conclude (2.25) one needs (∥u∥_{L∞L2}+I^{1/2}) ≤ C(∥u∥_G+I), equivalently I^{1/2} ≤ C'(∥u∥_G+I). This is not proved and is false in the small-data regime: take u_λ(t,x)=δ^3 φ(λx,λ^2t) with Lφ supported on frequency λ, and set N=Lu_λ. Then ∥u∥_G≈δ^3 while, choosing λ=δ^{-2}, I≈δ^2, so I^{1/2}=δ and D(u)≈δ^2. Thus the factor from Prop. 2.5 is O(δ), not O(D(u)) = O(δ^2). The proof of Prop. 2.6 supplies no additional argument that restores the second power of D. Since (2.25) feeds Proposition 3.6 and Lemmas 4.1–4.2, which in turn drive Propositions 1.6–1.7 and Theorem 1.1, this is a load-bearing gap. The Lemma 2.4 boundary-term typo flagged by the reader is real but repairable; the D-functional mismatch is structural and would require either redefining D in (1.45) (e.g., with I^{1/2} instead of I) and rechecking all later estimates, or proving a genuinely stronger Prop. 2.5.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper claims global well-posedness for the hyperbolic-elliptic Ishimori system (1.1) with arbitrary coupling constant κ, for small data in the critical space H^1 (stated more precisely in Theorem 1.1, in H^∞_Q with small \\dot H^1 deviation). The proof follows the caloric-gauge framework of Bejenaru–Ionescu–Kenig–Tataru, combined with U^p–V^p Strichartz spaces adapted to the hyperbolic Schrödinger operator and a new div-curl lemma. The main technical core is a set of bilinear estimates culminating in Proposition 2.6, which is then used to close heat-flow and Ishimori bootstrap propositions (Propositions 1.6 and 1.7). The paper also sketches continuous dependence and uniqueness via a linearized equation.","tokens_in":30366,"tokens_out":14816,"duration_ms":150789,"significance":"If the central bilinear estimates are correct, the result is a significant advance: it extends the critical Sobolev theory for the integrable Ishimori system (κ=1) to general κ, and the announced framework is broad enough to cover hyperbolic/elliptic Schrödinger maps. The paper makes an honest attempt to keep the bootstrap parameter-free: no fitted constants enter, and the proof is organized around explicit frequency envelopes and fixed-point/continuity arguments. The div-curl lemma is stated and used as an axiom-like input, and the U^p–V^p machinery is standard. The contribution is potentially high-impact, but the proof as written has two load-bearing gaps in the bilinear engine.","major_comments":[{"comment":"The passage from Proposition 2.5 to (2.25) is not justified. Proposition 2.5 gives a bound by 2^{-k2/2}(∥Pk1u∥_{L∞L2}+I(Pk1u,Pk1N)^{1/2})(∥Pk2v∥_{L∞L2}+I(Pk2v,Pk2N')^{1/2}), while (2.25) is supposed to contain D(Pk1u)D(Pk2v), with D defined in (1.45) using I, not I^{1/2}. To close the gap one would need an inequality such as I^{1/2} ≤ C(∥u∥_G+I), which is not stated, not proved, and is false in general (e.g., numeric regime ∥u∥_G=ε, I=ε^{3/2}). The manuscript supplies no additional hypothesis on u or v that excludes this regime. Since (2.25) is the engine behind Proposition 3.6, Lemmas 4.1–4.2, and Propositions 1.6–1.7, this is a load-bearing gap. A natural repair is to redefine D in (1.45) with I^{1/2} in place of I, and then recheck all subsequent estimates that use D; alternatively, a genuinely stronger version of Proposition 2.5 must be proved.","section":"§2.3, Proposition 2.6 (Eq. (2.25))"},{"comment":"The proof of the div-curl lemma does not establish the stated inequality (2.13). The displayed identity in the proof has boundary term ∫(f11 f21 + f12 f21) dx, whereas (2.13) requires ∫(f11 f22 + f12 f21) dx. As printed, the computation is inconsistent with the statement, so Lemma 2.4 is not proved in the text. This matters because Proposition 2.5 derives its key bound directly from this lemma. If this is a typographical error, it must be corrected and the full computation displayed; otherwise the bilinear estimates rest on an unproved lemma.","section":"§2.3, Lemma 2.4"}],"minor_comments":[{"comment":"The displayed definition A_{α'} = w·∂_{α'}w is identically zero because |w|≡1, and it contradicts the earlier definition A_α = w·∂_α v in (1.11) as well as the gauge condition A_s=0 in (1.22). The intended formula is presumably A_{α'} = w·∂_{α'}v.","section":"Definition 1.2, Eq. (1.23)"},{"comment":"The text says the div-curl lemma was introduced by 'the third author', but the paper has two authors; earlier in the introduction it is attributed to the second author. Please make the attribution consistent.","section":"§2.3, Lemma 2.4"},{"comment":"Several typographical issues need correction: 'squence', 'local local-in-time existence', 'Togther', 'IThe estimate', and the lowercase 'ishimori' in Theorem 1.1. These do not affect the mathematics but should be fixed in revision.","section":"Throughout"}],"recommendation":"major_revision","confidential_remarks":"The manuscript has a strong overall architecture and the main result is credible, but the bilinear estimate (2.25) is not derived as written and Lemma 2.4's proof is inconsistent with its statement. Both issues are in the central engine of the paper, so I cannot recommend acceptance in the current form. I would be willing to review a revised version that either supplies a correct proof of (2.25) with the current D, or redefines D with I^{1/2} and verifies that all later bootstrap estimates remain valid, together with a corrected proof of the div-curl lemma."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Zexian Zhang and Yi Zhou prove global well-posedness for the Ishimori system with general κ in the critical space, extending the integrable κ=1 result. That's a genuinely new result, and the paper is structured sensibly: caloric gauge, U^p/V^p Strichartz spaces, a div-curl lemma. If everything worked, this would be a solid contribution. But I don't think everything works as printed.\n\nThe main issue is the jump from Prop. 2.5 to Prop. 2.6. Prop. 2.5 controls a bilinear product by a product of factors (∥u∥_{L∞L2}+I(u,N)^{1/2}). The D functional in (1.45) is ∥u∥_G + I(u,N), no square root. The proof of Prop. 2.6 just says \"using Proposition 2.5\" and never establishes (∥u∥+I^{1/2}) ≲ D(u). That inequality is false in the small-data regime: take u_λ = δ^3 φ(λx, λ^2t) with N = Lu_λ and λ=δ^{-2}; then ∥u∥_G≈δ^3, I≈δ^2, so I^{1/2}=δ while D(u)≈δ^2. So the factor from Prop. 2.5 is an order of magnitude larger than D. This is not a typo; it's a structural mismatch. Either define D with I^{1/2} and recheck all downstream estimates, or prove a genuinely stronger Prop. 2.5. Since Props. 3.6, 4.3, and the bootstrap all lean on (2.25), the proof as written doesn't close.\n\nThere are also mechanical defects that a revision should catch: (1.23) defines A_{α'} = w·∂_{α'}w, which is identically zero; it should be w·∂_{α'}v as in (1.11). The div-curl lemma (Lemma 2.4) is central, but the proof's displayed identity has f_11 f_21 + f_12 f_21 instead of f_11 f_22 + f_12 f_21, so the stated inequality is not derived. The paper also says the lemma was \"first introduced by the third author\" — there are two authors. These are fixable, but they undermine confidence.\n\nOn the positive side, the theorem statement is genuinely new, the high-level strategy is sound, and the frequency-envelope bootstraps are organized in a way a skilled reader can audit. The authors clearly know the literature and the caloric-gauge method. The result is worth having, but the current version is not reliable.\n\nWho this is for: researchers in nonlinear dispersive and geometric PDE. If the bilinear-estimate gap is repaired, I'd expect it to become a solid reference. As is, I'd want a careful referee to check the proof of Prop. 2.6 and the div-curl lemma.\n\nRecommendation: send it to peer review — the result is important enough and the framework is credible. But the referee should be asked to verify that (2.25) actually follows from Prop. 2.5 and to make the div-curl lemma calculus explicit. I'd conditionally accept after major revision.","headline":"New theorem, plausible architecture, but the core bilinear estimate (2.25) doesn't follow from Prop 2.5: D(u) and the I^{1/2} factors don't match, and the missing inequality fails in the small-data regime.","tokens_in":30861,"tokens_out":5657,"would_cite":false,"duration_ms":47131,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["35Q55","35L70"],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper claims global well-posedness for the non-integrable hyperbolic-elliptic Ishimori system in the critical Sobolev space H^1, for small initial data near any constant spin field and for all real coupling constants.","keywords":["Ishimori system","hyperbolic-elliptic","critical Sobolev space","global well-posedness","caloric gauge","U^p-V^p spaces","div-curl lemma","bilinear estimates"],"falsifier":"Inspect the proof of Lemma 2.4: the displayed identity's boundary term is ∫(f_11 f_21 + f_12 f_21) dx, not the ∫(f_11 f_22 + f_12 f_21) dx needed for inequality (2.13). Re-do the integration by parts or try pairs of f_ij satisfying the two conservation laws (for instance with G1=G2=0) to see whether (2.13) holds for all such pairs; a single counterexample, or a corrected derivation, decides whether Proposition 2.6 and the main theorem are supported.","tokens_in":29723,"feed_emoji":"🧲","tokens_out":10140,"duration_ms":89213,"temperature":0.7,"pith_summary":"The paper aims to settle global well-posedness for the hyperbolic-elliptic Ishimori system—a two-dimensional spin-field model from ferromagnetism with a scalar potential and hyperbolic signature—for small data in the natural critical space H^1, and for every real coupling constant κ, not just the integrable case κ=1. A sympathetic reader would care because prior results stopped at local well-posedness or at higher regularity, so this would put the non-integrable model on the same footing as its integrable sibling and yield continuous dependence of solutions on data. The proof works in the caloric gauge, reducing the system to a nonlinear hyperbolic Schrödinger equation, and its engine is a set of bilinear estimates built from a div-curl lemma plus adapted Strichartz spaces. One point to carry forward: the text's proof of the div-curl lemma contains a mismatched integral term, so the bilinear estimate that the whole bootstrap leans on is not fully derived as printed.","feed_headline":"Non-integrable Ishimori systems are globally well-posed in critical H1","feed_subtitle":"Small perturbations of any constant spin field now have unique global solutions for every coupling constant.","key_machinery":"The load-bearing tool is a bilinear estimate (Proposition 2.6): for frequency-separated pieces, ∥P_{k1}u^y P_{k2}v∥_{L^2_{t,x}} is controlled by 2^{−|k1−k2|/2} times D(P_{k1}u)D(P_{k2}v), with D combining the Strichartz norm and an interaction term with the equation's nonlinearity. It is proved from a div-curl lemma: two conservation laws for the hyperbolic Schrödinger operator i∂_t+∂_1^2−∂_2^2—one mass-type, one momentum-type—are paired to dominate the bilinear product using L∞_t L^1_x norms. Around this, the caloric gauge (an extension of the spin field in an auxiliary heat direction that fixes the connection coefficients) recasts the Ishimori system as a nonlinear hyperbolic Schrödinger e","core_discovery":"On the paper's own terms, the central claim is Theorem 1.1: for a fixed Q∈S^2, there exists ε>0 such that every initial spin field S0∈H^∞_Q with ∥S0−Q∥_{Ḣ^1}≤ε has a unique global solution S∈C(R;H^∞_Q) to the Ishimori system, with sup_t ∥S(t)−Q∥_{Ḣ^1} controlled by ∥S0−Q∥_{Ḣ^1} and all higher Sobolev norms bounded by their initial values. The theorem also gives a continuous solution map from H^1-type data to C(R;H^1). This extends the previously known integrable case κ=1 to all real κ, via a caloric-gauge reformulation as a hyperbolic Schrödinger equation and a bootstrap closed with frequency envelopes.","pith_inferences":["Editorial inference: The div-curl bilinear mechanism, if it survives the proof gap, is a portable tool—any hyperbolic system with compatible mass and momentum conservation laws could inherit sharp bilinear L^2 bounds without local smoothing, so the strategy may transfer to other quasilinear dispersive models.","Editorial inference: The small-data, near-constant-Q hypothesis leaves large topological-charge data untouched; a natural test is whether the ε in Theorem 1.1 can be removed or whether large charge produces genuinely different dynamics such as finite-time concentration.","Editorial inference: The proof's dependence on a chain of bootstrap propositions means the critical step is not a single estimate but the closed loop from Proposition 2.6 to Propositions 1.6–1.7; a reader seeking to verify the paper should focus effort there, especially on Lemma 2.4's printed identity."],"forward_implications":["If Theorem 1.1 is correct, the non-integrable Ishimori system (κ≠1) is globally well-posed at the same critical H^1 regularity as the integrable κ=1 case, for small data near any constant map.","Small-data solutions stay near their constant spin value in Ḣ^1 for all time, and higher Sobolev norms are bounded by their initial data, so no finite-time concentration occurs in this regime.","The solution map extends continuously from H^1 data to C(R;H^1), making the evolution stable under small perturbations of the initial spin field.","The same architecture is claimed to give global results for hyperbolic and elliptic Schrödinger map flows in dimensions d≥2, offering one common strategy for several spin-model Cauchy problems."],"fun_headline_variants":["Every coupling constant now globally well-posed for Ishimori","Global well-posedness for all Ishimori coupling constants","Critical H1 global well-posedness for non-integrable Ishimori","All real decoupling constants yield global Ishimori solutions"],"cache_read_input_tokens":2304,"weakest_assumption_plain":"The load-bearing premise is that a certain div-curl lemma yields a bilinear estimate with L∞_t L^1_x norms; as printed, the lemma's proof has an unmatched integral term, so that estimate is not actually derived in the text, and if it fails, the bootstrap and Theorem 1.1 do not follow.","fun_headline_variants_meta":{"raw":{"variants":["Every coupling constant now globally well-posed for Ishimori","Global well-posedness for all Ishimori coupling constants","Critical H1 global well-posedness for non-integrable Ishimori","All real decoupling constants yield global Ishimori solutions"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000858,"raw_usage":{"total_tokens":3554,"prompt_tokens":725,"completion_tokens":2829,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":469,"completion_tokens_details":{"reasoning_tokens":2763}},"tokens_in":469,"tokens_out":2829,"duration_ms":19437,"temperature":1.0,"reasoning_tokens":2763,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-03T12:14:28.495833+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Inspect the proof of Lemma 2.4: the displayed identity's boundary term is ∫(f_11 f_21 + f_12 f_21) dx, not the ∫(f_11 f_22 + f_12 f_21) dx needed for inequality (2.13). Re-do the integration by parts or try pairs of f_ij satisfying the two conservation laws (for instance with G1=G2=0) to see whether (2.13) holds for all such pairs; a single counterexample, or a corrected derivation, decides whether Proposition 2.6 and the main theorem are supported.","supporting_citations":[],"review_version":1}