{"id":"0655dfb8-a647-41cf-9a05-a841eb120f19","arxiv_id":"1908.04159","paper_version":1,"verdict":"ACCEPT","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"For a broad class of quadratic-type Schrödinger systems in dimensions 1 through 6, the paper proves that ground states of the elliptic system govern the global-existence/blow-up dichotomy and the stability of standing waves.","lead":"Researchers prove a sharp threshold for global existence versus finite-time blow-up for a general class of coupled Schrödinger systems with quadratic nonlinearities. The threshold is set by the ground states of an associated elliptic system, and the same objects determine whether the standing waves are stable or unstable.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 5.9(ii) states the n=5 threshold with the β=0 energy, but its proof and Theorem 5.16 require the full β-dependent energy; for non-resonant β these are not interchangeable.","rationale":"The paper's overall structure is coherent: the contraction-mapping well-posedness, the Weinstein-functional ground states, and the virial blow-up arguments follow standard and mostly reproducible lines. The reader's identified weakness, the H4 Gauge condition, is a genuine scope restriction but not an internal flaw. The more serious issue is the β-dependent energy mismatch in the n=5 dichotomy. Theorem 5.9(ii) literally compares with the β=0 energy, yet its proof and the companion blow-up Theorem 5.16 require the full energy from (3.5). Since L(u(t)) is not conserved under the stated assumptions, the two thresholds are genuinely different for systems with βk>0 that do not satisfy the mass-resonance relation βkγk/αk^2=const. This is not a matter of mathematical taste; it affects whether the main sharp criterion is proved for general β or only for β=0. The fix is straightforward, either state Theorem 5.9(ii) with the full energy or restrict the theorem to β=0 and align Theorem 5.16, but the paper as written needs correction before the central n=5 claim can be accepted as stated. I therefore recommend conditional acceptance pending this clarification and a re-verification that the energy threshold used in every occurrence is the same.","tokens_in":46579,"tokens_out":22321,"duration_ms":232242,"concrete_test":"Re-derive the a priori estimate in Theorem 5.9(ii) with the two energies kept distinct. Let E_β=K+L−2P and E_0=K−2P. From conservation of E_β, replace (5.14) by K(u(t)) ≤ E_β(u0)−L(u0)+L(u(t))+2C Q(u0)^{1/4}K(u(t))^{5/4}, and note that L(u(t)) is not constant. Then check whether the stated hypotheses Q(u0)E_0(u0)<Q(ψ)E(ψ) and Q(u0)K(u0)<Q(ψ)K(ψ) imply the constant-coefficient inequality required by Lemma 3.17. They do not in general; for instance, choosing data with very small gradient but large β-weighted L2-mass makes QK and QE_0 small while QE_β can exceed the threshold. This settles whether (5.12) can be read literally with β=0.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"The n=5 half of the sharp dichotomy has an internal consistency problem. Theorem 5.9(ii) assumes Q(u0)E(u0)<Q(ψ)E(ψ), with E explicitly 'defined in (3.5) with β=0', together with Q(u0)K(u0)<Q(ψ)K(ψ). The proof then writes K(u(t))=E0−L(u(t))+2P(u(t)) and invokes conservation of the energy from Lemma 3.13. That identity is correct for the full energy E=K+L−2P, not for the β=0 energy E0=K−2P. If E0 in (5.14) is read as the β=0 functional, the correct relation is K(u(t))−2P(u(t))=E0(u0)+L(u0)−L(u(t)); since L(u(t))=Σβk‖uk(t)‖^2 is not conserved (only the weighted charge Q is conserved, and only under the Gauge condition), the chain leading to Lemma 3.17 does not close. Theorem 5.16 is unambiguous: its blow-up proof multiplies V″=10E(u0)−10L(u)−2K, so hypothesis (5.15) must use the full β-dependent energy. Thus the printed theorem either mis-states the hypothesis or silently restricts the dichotomy to β=0. The paper does not impose a mass-resonance condition βkγk/αk^2=const that would make the two energies interchangeable.","agreement_with_reader":"disagree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies a system of N coupled Schrödinger equations with quadratic-type nonlinearities, with general interaction terms encoded by a potential F satisfying assumptions (H1)-(H8). The main results are: local and global well-posedness in L2 and H1 in dimensions 1≤n≤6; existence of ground states for the associated elliptic system via a Weinstein-type minimization; and a sharp global-existence versus blow-up dichotomy in the L2-critical dimension n=4 and in the L2-supercritical/H1-subcritical dimension n=5, expressed in terms of charge/energy/momentum of the ground states. The paper also proves stability of the ground-state set for n=1,2,3 by concentration-compactness and instability for n=4,5. The proofs are mostly self-contained and rely on Strichartz estimates, virial identities, pseudo-conformal invariance (n=4), and a sharp Gagliardo-Nirenberg inequality whose constant is obtained from the constructed ground states.","tokens_in":46924,"tokens_out":10253,"duration_ms":109638,"significance":"If the statements are made precise, the paper provides a useful general framework for quadratic Schrödinger systems with a wide class of nonlinearities, going beyond the specific three-wave systems studied earlier. The construction of ground states by minimizing the Weinstein functional, the explicit relation between the sharp constants and ground states, and the stability/instability analysis are valuable and are carried out in considerable detail. The paper is commendable for not assuming an explicit form of the nonlinearity and for proving the key variational identities. The main reservation is that the sharp n=5 dichotomy and the n=4 sharpness statement are formulated in a way that appears to require the restrictive hypothesis β=0 (or β_k=α_k^2/γ_k in the n=4 sharpness transfer), while the manuscript presents the results without that restriction in some statements. This does not destroy the core ideas, but it affects the advertised scope of the central theorem.","major_comments":[{"comment":"The n=5 half of the sharp dichotomy is internally inconsistent as stated. Theorem 5.9(ii) defines E as the energy (3.5) with β=0, but the proof of (5.14) uses the conservation law from Lemma 3.13. For β>0, the β=0 energy is not conserved: L(u(t))=Σβ_k‖u_k(t)‖² is not constant, since only the weighted charge Q is conserved under (H4). Thus the bound K(u(t))≤E0+2CopQ0^{1/4}K(u(t))^{5/4} cannot be derived with E0 equal to the β=0 energy unless β=0 in the system. Conversely, Theorem 5.16, presented for the general system (1.1), uses the full virial identity V''(t)=10E(u0)-10L(u(t))-2K(u(t)) and then invokes the ground-state identity E(ψ)=K(ψ)/5. That identity is valid for ψ∈G(1,0) only when E is the β=0 energy; with the full energy E=K+L-2P it is false when L(ψ)>0. Therefore either the whole n=5 sharp dichotomy is restricted to β=0, in which case this restriction must be stated prominently, or the hypotheses of Theorem 5.16 must be reworked with the correct ground-state energy values for nonzero β. This is a load-bearing issue for the paper's central claim.","section":"§5.2–5.3 (Theorems 5.9(ii) and 5.16)"},{"comment":"The sharpness of the n=4 threshold in Theorem 5.9(i) is only proved for a restricted set of parameters. Lemma 5.12 establishes pseudo-conformal invariance for β_k=0, and Corollary 5.15 uses Remark 5.13 to transfer the blow-up construction to the case β_k=α_k^2/γ_k. No construction is given for other values of β_k. The statement of Theorem 5.9(i) and the abstract's claim of a sharp criterion should therefore be qualified: at the threshold Q(u0)=Q(ψ), blow-up is demonstrated only for the β=0 system and, after the gauge shift, for β_k=α_k^2/γ_k. Without this qualification the reader may infer a sharpness that the paper does not establish for general β.","section":"§5.3.1 (Theorem 5.14, Corollary 5.15)"},{"comment":"The proof of Theorem 5.9 states without proof that 'ξ0 in (3.8) and ξ1 in (4.14) are the same' and then uses Corollary 4.12. This identification is not immediate from Theorem 4.11 as printed, because ξ0 is defined with |P(u)| and the functional Re∫F, while ξ1 is defined on the positive cone with P=∫F. The equality is true when F satisfies (H6) and (H7) and b_k=α_k^2/γ_k, but it should be stated and proved as a lemma before it is used in the sharp constant computation. This is a missing supporting step rather than an error.","section":"§5.2, proof of Theorem 5.9 and §4, Theorem 4.11"}],"minor_comments":[{"comment":"The abstract contains a grammatical error: 'in terms on the ground state solutions' should be 'in terms of the ground state solutions'.","section":"Abstract and §1"},{"comment":"The two displayed inequalities in (H2) appear identical in the manuscript. Please ensure that the second one is the estimate for ∂/∂z̄_m and that the notation for the conjugate derivative is clear, since Lemma 2.4 relies on both types of derivatives.","section":"§2, assumption (H2)"},{"comment":"The notation Q(xu(t)) is used although Q is defined in (3.4) for vector functions u=(u1,...,ul). Please clarify that x u means (x u1,...,x ul) and that Q(xu)=Σ(α_k^2/γ_k)‖x u_k‖².","section":"§5.1, Corollary 5.3"},{"comment":"Several results are stated with proofs deferred to 'standard arguments' or omitted entirely: Lemma 4.13 (regularity and exponential decay of elliptic solutions), Theorem 5.11 (blow-up for E0<0 or E0=0, P0<0), and Lemma 6.18 (properties of the functional T and the set M). These results are used in the instability proofs, and for a self-contained paper they should either be proved or accompanied by precise references with the adaptation to systems spelled out.","section":"§4, Lemma 4.13; §5, Theorem 5.11; §6, Lemma 6.18"},{"comment":"The paper cites [31] and [33] as prior specific models; it would be helpful for the reader if the introduction explicitly stated that the present assumptions (H1)-(H8) cover those models but are not restricted to them, and if the precise overlap with [21] and [20] on non-resonant systems were discussed in light of the gauge condition (H4).","section":"References"}],"recommendation":"major_revision","confidential_remarks":"The β=0 issue is the main substantive concern. It is fixable, but the manuscript should be revised so that the statements of Theorems 5.9(ii) and 5.16 either explicitly restrict to β=0 or give the correct full-energy constants for nonzero β. The omitted proofs of Theorem 5.11, Lemma 4.13, and Lemma 6.18 should also be addressed; if the authors regard them as standard, a precise reference with verification of the system-specific hypotheses would suffice."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The general l-component framework with hypotheses (H1)–(H8) is a real contribution, and the local/global well-posedness and ground-state sections are careful and usable. The paper does a lot right: explicit hypotheses, detailed variational construction of ground states, clean concentration-compactness stability argument for n=1–3, and a nice pseudo-conformal construction for sharpness in n=4. The citation pattern is fine; the self-citations to earlier two- and three-wave models are prior concrete results, not substitutes for the general argument.\n\nThe soft spot is the n=5 half of the headline dichotomy. Theorem 5.9(ii) states the condition Q(u0)E(u0)<Q(ψ)E(ψ) with E explicitly defined as the β=0 energy, but the proof writes K(u(t))=E0−L(u(t))+2P(u(t)) and invokes conservation of energy from Lemma 3.13. That identity is correct for the full conserved energy E=K+L−2P, not for E0=K−2P. Since L(u(t)) is not conserved for β≠0 (only the weighted charge is, under the gauge condition), the chain leading to Lemma 3.17 does not close. Theorem 5.16 is unambiguous: its blow-up proof uses V″=10E(u0)−10L(u)−2K, so the hypothesis there must use the full β-dependent energy. The printed theorem either silently restricts to β=0 or mis-states the hypothesis. This is not a cosmetic issue: replacing E by the full energy changes the shape of the criterion, because E(ψ) for ψ∈G(1,0) then includes β‖ψ‖² while the sharp constant from the Gagliardo–Nirenberg inequality depends only on Q(ψ). So the elegant product form Q(ψ)E(ψ) with ψ∈G(1,0) is tied to β=0.\n\nMinor issue: several technical lemmas (4.13, 5.11, 6.18) are stated without proof and referenced to standard arguments. That is acceptable but worth tightening.\n\nIf the authors intend the whole theorem for β=0, they should say so at the start of Section 5.2 and adjust the statement. If they intend general β, the hypothesis must use the full conserved energy, and the sharp constant may need reformulation. Either way, this is fixable but the present version is not reliable as a sharp criterion for the general system.\n\nFor a reader working on quadratic NLS systems, the well-posedness and ground-state framework is worth having. I’d send this to a serious referee, with a request to clarify β and repair Theorem 5.9(ii).","headline":"Solid general framework for quadratic Schrödinger systems, but the n=5 sharp threshold as printed uses the wrong energy and needs correction.","tokens_in":47415,"tokens_out":11132,"would_cite":true,"duration_ms":97982,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["35Q55","35B44","35B35","35A15"],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper proves a sharp dichotomy for quadratic Schrödinger systems: global existence versus finite-time blow-up is decided by ground states of an associated elliptic system.","keywords":["quadratic Schrödinger systems","global well-posedness","blow-up","ground states","virial identity","concentration-compactness","stability of standing waves","sharp threshold"],"falsifier":"For a concrete system satisfying (H1)-(H8), take n = 4 and initial data with Q(u0) below Q(psi): the theorem predicts a global H1 solution, so observing finite-time blow-up for such data would refute the criterion. Alternatively, at exactly Q(u0) = Q(psi), the pseudo-conformal construction gives an explicit blow-up solution; direct differentiation of its phase and nonlinear terms would confirm or refute the claimed sharpness.","tokens_in":46404,"feed_emoji":"","tokens_out":12734,"duration_ms":113421,"temperature":0.7,"pith_summary":"Schrödinger systems with quadratic nonlinearities appear as models of second-harmonic generation and three-wave mixing in nonlinear optics, where the basic question is whether an optical beam propagates forever or collapses. This paper establishes that, for a broad class of such systems -- no explicit form of the nonlinearity is assumed, only structural conditions -- the dividing line between global existence and finite-time blow-up is drawn by ground states of an associated elliptic system. In dimension 4 the criterion is charge below the ground-state charge; in dimension 5, under an energy bound, the product of charge and kinetic energy must stay below the ground-state value. At the threshold in dimension 4 the paper constructs explicit blow-up solutions, showing the criterion is sharp. It also proves that ground states are stable in dimensions 1-3 and unstable in 4 and 5.","feed_headline":"Ground states decide collapse in quadratic Schrödinger systems","feed_subtitle":"In dimensions 4 and 5, comparing charge and momentum to the ground state decides global existence versus blow-up.","key_machinery":"The engine is the Weinstein functional $J(u)=Q(u)^{3/2-n/4}K(u)^{n/4}/|P(u)|$, with $Q$ the charge, $K$ the kinetic energy, and $P$ the nonlinear potential. Minimizing $J$ over nonzero-potential configurations produces non-negative radially symmetric ground states $\\psi$ of the elliptic system; the minimum value supplies the sharp constant in the Gagliardo-Nirenberg inequality $|P(u)|\\le C_{\\mathrm{op}} Q(u)^{3/2-n/4}K(u)^{n/4}$, with $C_{\\mathrm{op}}$ measured by $Q(\\psi)$. The virial identity then controls the variance $V(t)=\\sum_k \\frac{\\alpha_k^2}{\\gamma_k}\\|xu_k(t)\\|_{L^2}^2$, whose second derivative is linear in $K(u)$ in the critical dimension and therefore turns the threshold inequalities into a positivity condition that decides blow-up. In dimension 4, pseudo-conformal invariance maps ground states into explicit solutions that blow up at exactly $Q(u_0)=Q(\\psi)$. Concentration-compactness at fixed charge transfers the variational picture into orbital stability of the ground-state set.","core_discovery":"Let $\\psi$ be a ground state of the elliptic system $-\\gamma_k\\Delta\\psi_k + \\frac{\\alpha_k^2}{\\gamma_k}\\psi_k = f_k(\\psi)$. The central discovery is a pair of sharp threshold theorems. For $n=4$, every $H^1$ solution with $Q(u_0)<Q(\\psi)$ is global, and the bound is sharp: solutions with $Q(u_0)=Q(\\psi)$ obtained from $\\psi$ by the pseudo-conformal transformation blow up in finite time. For $n=5$, assuming $Q(u_0)E(u_0)<Q(\\psi)E(\\psi)$ (with the energy evaluated at $\\beta=0$), the inequality $Q(u_0)K(u_0)<Q(\\psi)K(\\psi)$ forces global existence, while the reverse inequality $Q(u_0)K(u_0)>Q(\\psi)K(\\psi)$ forces finite-time blow-up for initial data with finite variance or radial symmetry. The proof rests on a sharp Gagliardo-Nirenberg inequality whose best constant is expressed through the ground-state charge, together with the virial identity $V''(t)=2nE_0-2nL(u)+2(4-n)K(u)$, which converts the threshold into convexity of the variance.","pith_inferences":["Dropping the gauge condition, as occurs in non-resonant quadratic systems, removes the conserved charge and the virial identity that drive this criterion; the threshold would then have to be sought by a different mechanism.","The pseudo-conformal blow-up at the threshold in dimension 4 has an explicit form with amplitude growing like $(T-t)^{-2}$, so the sharp equality case can be simulated in concrete quadratic-media models.","The n = 5 theorem proves global existence but not scattering; by analogy with known scattering results below the ground state for mass-resonance quadratic systems, extending the threshold to asymptotic scattering is a natural next step.","The variational scheme -- minimizing the Weinstein functional and applying concentration-compactness -- may yield analogous thresholds for other super-modular nonlinearities beyond the quadratic class."],"forward_implications":["In dimension 4, initial data with charge below the ground-state charge never collapse; the equality case contains finite-time blow-up, so the condition $Q(u_0)<Q(\\psi)$ is both sufficient and sharp.","In dimension 5, within the energy window $Q(u_0)E(u_0)<Q(\\psi)E(\\psi)$, the sign of $Q(u_0)K(u_0)-Q(\\psi)K(\\psi)$ decides between global existence and finite-time blow-up.","For dimensions $1\\le n\\le 3$, the set of ground states is orbitally stable in $H^1$; for $n=4,5$, the standing waves built from ground states are unstable, since arbitrary nearby data can blow up.","The sharp Gagliardo-Nirenberg constant for a general quadratic-type nonlinearity is given in terms of the ground-state charge, so the threshold can be computed once ground states are known.","The structural hypotheses allow the same threshold theory to cover different quadratic models without writing the nonlinearity in an explicit algebraic form."],"supporting_citations":[{"why":"Supplies the model quadratic system and the L2/H1 well-posedness and ground-state framework this paper extends.","marker":"[18]"},{"why":"Provides Strichartz estimates, local existence, virial identities, and the blow-up and stability tools used throughout.","marker":"[7]"},{"why":"Establishes the n=5 global-versus-blow-up dichotomy for the mass-resonance quadratic system that the present n=5 threshold generalizes.","marker":"[15]"},{"why":"Gives the earlier n=5 dynamics and blow-up results on which Theorem 5.16 builds.","marker":"[31]"},{"why":"Supplies the Hamiltonian computation of the virial identity used in Theorem 5.1.","marker":"[10]"},{"why":"Provides the virial identity and the comparison lemma used in the n=5 global and blow-up arguments.","marker":"[32]"},{"why":"Supplies the radial decay estimate used to control blow-up for radial data in n=5.","marker":"[34]"},{"why":"Gives the sharp interpolation estimate and instability argument adapted for Theorem 6.16.","marker":"[37]"}],"fun_headline_variants":["Ground state threshold dictates blow-up or survival","Sharp criterion: ground state charge splits global vs blow-up","Quadratic Schrödinger systems: ground state decides fate","Blow-up or not? Ground state energy marks the line"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The dichotomy rests on the gauge condition (H4), which says the nonlinear potential is unchanged when each component is rotated by its own characteristic phase; if that condition fails, the conserved charge, the virial identity, and the pseudo-conformal symmetry used to prove sharpness all break down.","fun_headline_variants_meta":{"raw":{"variants":["Ground state threshold dictates blow-up or survival","Sharp criterion: ground state charge splits global vs blow-up","Quadratic Schrödinger systems: ground state decides fate","Blow-up or not? Ground state energy marks the line"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000568,"raw_usage":{"total_tokens":2655,"prompt_tokens":880,"completion_tokens":1775,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":496,"completion_tokens_details":{"reasoning_tokens":1711}},"tokens_in":496,"tokens_out":1775,"duration_ms":12859,"temperature":1.0,"reasoning_tokens":1711,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T13:50:33.569348+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"For a concrete system satisfying (H1)-(H8), take n = 4 and initial data with Q(u0) below Q(psi): the theorem predicts a global H1 solution, so observing finite-time blow-up for such data would refute the criterion. Alternatively, at exactly Q(u0) = Q(psi), the pseudo-conformal construction gives an explicit blow-up solution; direct differentiation of its phase and nonlinear terms would confirm or refute the claimed sharpness.","supporting_citations":[{"cited_title":"Hayashi, T","cited_arxiv_id":null,"evidence_quote":"Supplies the model quadratic system and the L2/H1 well-posedness and ground-state framework this paper extends."},{"cited_title":"Cazenave, Semilinear Schrödinger Equations , American Mathematical Society, 2003","cited_arxiv_id":null,"evidence_quote":"Provides Strichartz estimates, local existence, virial identities, and the blow-up and stability tools used throughout."},{"cited_title":"On the dynamics of a quadratic Schr\\\"odinger system in dimension $n=5$","cited_arxiv_id":"1810.01390","evidence_quote":"Gives the earlier n=5 dynamics and blow-up results on which Theorem 5.16 builds."},{"cited_title":"On a nonlinear Schr\\\"odinger system arising in quadratic media","cited_arxiv_id":"1703.10509","evidence_quote":"Supplies the Hamiltonian computation of the virial identity used in Theorem 5.1."},{"cited_title":"Pastor, Weak concentration and wave operator for a 3D coupled nonlin ear Schrödinger system, J","cited_arxiv_id":null,"evidence_quote":"Provides the virial identity and the comparison lemma used in the n=5 global and blow-up arguments."},{"cited_title":"Ogawa and Y","cited_arxiv_id":null,"evidence_quote":"Supplies the radial decay estimate used to control blow-up for radial data in n=5."},{"cited_title":"Weinstein, Nonlinear Schrödinger equations and sharp interpolation e stimates, Commun","cited_arxiv_id":null,"evidence_quote":"Gives the sharp interpolation estimate and instability argument adapted for Theorem 6.16."}],"review_version":1}