{"id":"6b09aab9-4676-416f-8435-1e59bccf9654","arxiv_id":"2506.22152","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":3,"one_line_summary":"For small prescribed masses, the m-coupled Gross-Pitaevskii system on a bounded domain in R^3 or R^4 admits arbitrarily many sign-changing and semi-nodal normalized solutions, for all signs of the coupling constants.","lead":"This paper proves that an m-coupled Gross-Pitaevskii system on a bounded domain has arbitrarily many sign-changing and semi-nodal solutions with prescribed L2 masses, provided those masses are small. It introduces a new 'vector linking' technique and characterizes the points where nontrivial and semi-trivial solutions branch off from zero.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The extra radius bound used in Lemma 4.5 is algebraically insufficient for the λ_i ≤ 0 estimate it supports, and the simultaneous admissibility of ρ is asserted rather than verified.","rationale":"The reader's weakest-assumption is the simultaneous choice of ρ, and that is indeed the main structural gap in the proofs of Theorems 1.1 and 1.2. My read sharpens it: the extra bound stated in Lemma 4.5 is not merely unverified; as written it is not the correct sufficient condition for the inequality it is used to justify. One needs the squared variant (µ_i^+ + β_max^+)^2 ρ^3 ≤ Λ_1 C_N^8 c_i. This is a genuine internal inconsistency in a load-bearing lemma, but it does not appear to falsify the central construction. The small-mass hypothesis gives freedom to take c_max small, hence ρ small, and the squared bound should be achievable together with (2.5), (2.9)/(2.10) after choosing c̃_j sufficiently small. I therefore do not move the verdict: the paper still merits CONDITIONAL acceptance pending an explicit verification of the corrected radius inequalities. The bifurcation 'only if' directions are dismissed as standard but are much less risky, since they follow from linearization at zero. Overall the vector-linking framework is novel and the flow-invariance strategy is coherent; the weakness is a fixable but currently unproven quantitative step.","tokens_in":47674,"tokens_out":16593,"duration_ms":176134,"concrete_test":"Take N=4, m=2, µ_1 = µ_2 = β_12 = 1, with explicit Λ_1, Λ_k, Λ_{k+1} and the Sobolev constant C_N. First re-derive Lemma 4.5 and verify that the textual condition implies the needed bracket inequality only if (µ_i + β_max^+)^2 ρ^3 ≤ Λ_1 C_N^8 min_i c_i. Then set c = (s, αs) and scan α = 1, 10, 10^4 while s → 0, checking whether the intervals for ρ defined by (2.5), (2.9)/(2.10), 2ρ < C_N^2/β_max^+ (for β_max^+ > 0), and the corrected squared bound have nonempty intersection whenever c_max^2/c_min = α^2 s is below a chosen c̃. If the intersection is empty for some α, the multiplicity theorem lacks a valid radius choice; if nonempty for the full range, the simultaneous-ρ gap is repairable.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Lemma 4.5 invokes (µ_i^+ + β_max^+)2ρ^3 ≤ Λ_1 C_N^8 c_i to conclude λ_i ≤ 0. But the displayed estimate is λ_i c_i ≤ [(µ_i + β_max^+) C_N^{-4} ρ^{3/2} − (Λ_1 c_i)^{1/2}] (∫|∇w_i|^2 dx)^{1/2}. Nonpositivity requires (µ_i + β_max^+) ρ^{3/2} ≤ C_N^4 (Λ_1 c_i)^{1/2}, i.e. (µ_i + β_max^+)^2 ρ^3 ≤ Λ_1 C_N^8 c_i. The stated condition lacks the square and has an extra factor 2, so when µ_i + β_max^+ is larger than about 2 it can hold while the required bound fails. This same insufficient condition is carried into Theorem 5.1, Theorem 6.1, and the proofs of Theorems 1.1 and 1.2 through the phrase 'Reasoning as Remark 2.8, we can further assume'. Even with the corrected squared bound, the paper only asserts, without detailed verification, that one ρ can simultaneously satisfy (2.5), (2.9)/(2.10), the N=4 bound 2ρ < (β_max^+)^{-1} C_N^2 when β_max^+ > 0, and the componentwise small-mass bound. This is load-bearing: Lemma 4.5 is exactly the step that keeps the descending flow inside (±P_i)_δ ∩ B_ρ^{M_1}, and without it the Palais-Smale sequence produced in Theorems 5.1 and 6.1 need not stay sign-changing or semi-nodal. The gap appears fixable by choosing c̃_j smaller and ρ satisfying the squared bound, but as written the proof is incomplete at a central point.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"This paper studies the m-coupled Gross-Pitaevskii system on bounded regular domains in dimensions N=3,4, with prescribed L^2 masses c_j and unknown Lagrange multipliers. The authors introduce a vector-link construction and a partial vector-link construction on the product of mass spheres, develop a flow-invariance framework on product manifolds that extends the Brézis-Martin result, prove a Palais-Smale condition below a critical threshold, and use these to establish Theorems 1.1 and 1.2: for any prescribed number j, all sufficiently small mass ratios admit at least j sign-changing, respectively (d,m-d)-semi-nodal, normalized solutions. The paper also analyzes the limit c -> 0 and derives Theorems 1.5 and 1.6, asserting that the sets of nontrivial and semi-trivial bifurcation points from zero are exactly the tuples of Dirichlet eigenvalues.","tokens_in":48027,"tokens_out":5306,"duration_ms":56192,"significance":"If the main results are correct, they are substantial: they provide the first multiplicity results for sign-changing and semi-nodal normalized solutions of the m-coupled Gross-Pitaevskii system on bounded domains in the L^2-supercritical and Sobolev-critical regime, with no sign restriction on the coupling constants. The proposed partial vector linking is a new tool, the thresholds c~_j and c~_{j,d} are stated to be explicit, and the product-manifold generalization of the Brézis-Martin theorem is of independent interest. The proof architecture is coherent and largely self-contained, and the paper gives credit to the underlying techniques in [35] and [59]. However, a quantitative error in the main flow-invariance lemma and an unverified simultaneous choice of the radius rho currently leave load-bearing steps incomplete, so the results cannot be accepted as written.","major_comments":[{"comment":"The stated small-mass condition is insufficient for the estimate it supports. The proof derives λ_i c_i ≤ [(μ_i + β_max^+) C_N^{-4} ρ^{3/2} − (Λ_1 c_i)^{1/2}] (∫|∇w_i|^2 dx)^{1/2}, so λ_i ≤ 0 requires (μ_i + β_max^+)^2 ρ^3 ≤ Λ_1 C_N^8 c_i. The assumption printed in Lemma 4.5, however, is (μ_i^+ + β_max^+) 2ρ^3 ≤ Λ_1 C_N^8 c_i, which lacks the square and contains an extra factor 2. For example, if μ_i + β_max^+ is larger than 2, the printed inequality can hold while the squared inequality fails. Since Lemma 4.5 is precisely the step that forces G(⃗u) to remain in (±P_i)_{δ/2} and is used in Theorem 5.1, Theorem 6.1, and the proofs of Theorems 1.1 and 1.2, this must be corrected.","section":"§4, Lemma 4.5"},{"comment":"The simultaneous admissibility of a single radius ρ is asserted rather than verified. After Remark 2.8 establishes (2.5), (2.9), and (2.10), the proofs of Theorems 1.1 and 1.2 pass to the additional bounds 2ρ < (β_max^+)^{-1} C_N^2 when N=4 and (μ_i^+ + β_max^+) 2ρ^3 ≤ Λ_1 C_N^8 c_i with the phrase “Reasoning as Remark 2.8, we can further assume”. With the corrected squared bound, the additional constraint scales as ρ^3 ≤ O(c_i), while the earlier constraints force ρ ≈ Λ_{k+1} Σ c_i, so for arbitrarily small masses the inequalities are compatible by taking c~_j small. But this compatibility is not demonstrated in the manuscript, and the invariant cone sets and the Palais-Smale argument depend on it. A concrete verification, or a modified choice of ρ, is needed before Theorem 1.1 and Theorem 1.2 are established.","section":"§5 and §6, proofs of Theorems 1.1 and 1.2"},{"comment":"The “only if” directions of the bifurcation characterizations are not proved. In the proof of Theorem 1.5 the statement “it is relatively standard to show that any nontrivial bifurcation point of system (1.2) is in B” appears without argument or reference, and the analogous sentence appears in the proof of Theorem 1.6 for d-semi-trivial bifurcation points. Since the theorems assert exact equalities of bifurcation-point sets, the reverse inclusions are part of the central claims. The paper should either give the compactness/scaling argument or provide a precise reference for this standard step.","section":"§7, proofs of Theorems 1.5 and 1.6"}],"minor_comments":[{"comment":"The proof invokes “(2.5), (2.9) and (2.10)” after citing Remark 2.15, but for the semi-nodal minimax the relevant conditions are (2.18) and (2.19), not (2.9) and (2.10). The same mismatch appears inside the proof of Lemma 2.13, where the text refers to (2.9) instead of (2.18).","section":"§6, proof of Theorem 1.2"},{"comment":"The condition “2ρ < (β_max^+)^{-1} C_N^2 if N=4” is undefined when β_max^+ = 0. The condition should be stated only when β_max^+ > 0, with the understanding that no such restriction is needed in the purely defocusing or non-positive coupling case.","section":"§4, Lemma 4.5 and Proposition 4.8"},{"comment":"There are several typographical errors that should be fixed: “simlilar” in Lemma 2.7, “Sobolve” in Lemma 4.6, “complements” in Definition 1.4 where “components” is meant, and “nontrivial bifurcation point” in Proposition 7.1 where the plural is sometimes intended.","section":"Throughout"}],"recommendation":"major_revision","confidential_remarks":"The paper contains a novel and potentially important method, and the central existence framework is mostly coherent. The main obstacle is the quantitative error in Lemma 4.5 and the unverified simultaneous radius choice; both are likely fixable within the manuscript's scope. The bifurcation section also needs a completion of the standard but omitted “only if” arguments. I therefore recommend major revision rather than rejection."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Dear colleague,\n\nThe short version: the vector linking construction is the real thing, and the main existence and multiplicity results for sign-changing and semi-nodal normalized solutions are likely correct. But there is a load-bearing gap in the simultaneous choice of the radius ρ, and the paper should not go to press until that is addressed.\n\nWhat is new: the partial vector linking method, the first multiplicity results for m-coupled Gross-Pitaevskii systems on bounded domains in all coupling regimes, and a clean bifurcation characterization. The proof is long but mostly self-contained. The generalization of Brézis–Martin flow invariance to product manifolds is useful, and the pseudogradient of type Id − G is cleverly adapted to handle mixed-sign couplings.\n\nSoft spots, in order of real weight. The “only if” directions of the bifurcation theorems are dismissed as “relatively standard” without proof; minor, but a reference or a sentence would help. More important: the proofs of Theorems 1.1, 1.2, 5.1, and 6.1 say “Reasoning as Remark 2.8, we can further assume” the extra bounds 2ρ < (β_max^+)^{-1} C_N^2 (N=4) and (μ_i^+ + β_max^+)^2 ρ^3 ≤ Λ_1 C_N^8 c_i. Remark 2.8 only verifies (2.5), (2.9), (2.10). The extra bounds are not a routine consequence; they impose competing constraints on ρ. I did not find a proof that one ρ can satisfy all of them for the full range of c covered by the theorems. This is fixable by choosing the mass threshold c̃_j smaller, but as written it is an omission at a central point.\n\nI should also say that the stress-test allegation of an algebraic error in Lemma 4.5 does not survive reading the paper. The condition is the squared form, (μ_i^+ + β_max^+)^2 ρ^3 ≤ Λ_1 C_N^8 c_i, which is exactly what the displayed estimate requires. The problem is not the algebra; it is the unverified admissibility of ρ. The N=4 bound 2ρ < (β_max^+)^{-1} C_N^2 also appears without derivation, but it looks plausible.\n\nWho should read this: people working on normalized solutions of NLS systems, especially on bounded domains. The vector linking method will be cited. The paper deserves a serious referee; the ideas are original and the proof is detailed enough to be checked.\n\nRecommendation: send to peer review. Ask the referee to demand a complete proof of the simultaneous choice of ρ and a bit more support for the “only if” claims. With that, I expect the main theorems to hold up.\n\nBest,","headline":"The vector linking method is a genuine innovation and the main existence results are likely correct, but the simultaneous choice of the radius ρ is under-justified and must be fixed before publication.","tokens_in":48623,"tokens_out":9086,"would_cite":true,"duration_ms":81846,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["35J50","35J15","35J60"],"pacs":[],"model":"deepseek-v4-flash","headline":"For small prescribed masses, the m-coupled Gross-Pitaevskii system on a bounded domain admits j sign-changing and j semi-nodal normalized solutions for every positive integer j, with no sign restriction on the coupling coefficients.","keywords":["normalized solutions","sign-changing solutions","semi-nodal solutions","Gross-Pitaevskii system","vector link","bounded domains","L2-supercritical","bifurcation"],"falsifier":"Check the step in the proofs of Theorems 1.1 and 1.2 where the chosen radius rho is asserted also to satisfy 2 rho < (beta_max^+)^{-1} $C_N^{2}$ when N=4 and (mu_i^+ + beta_max^+) 2 $rho^{3}$ <= Lambda_1 $C_N^{8}$ c_i for every i. A concrete test is to fix two masses satisfying the ratio condition and solve these inequalities together with (2.15); if some admissible mass pair admits no rho, the invariant-cone and Palais-Smale arguments in Sections 4-6 do not cover that pair.","tokens_in":47415,"feed_emoji":"🌊","tokens_out":8344,"duration_ms":84851,"temperature":0.7,"pith_summary":"The paper tries to prove that a system of m coupled Gross-Pitaevskii equations on a bounded domain in $R^{3}$ or $R^{4}$, with prescribed L2 masses and no sign restrictions on the interaction coefficients, has as many sign-changing or mixed-sign normalized solutions as one wants, provided the masses satisfy a smallness condition stated as max_i $c_i^{2}$ / min_i c_i below an explicit threshold. If true, this would be the first multiplicity result for sign-changing and semi-nodal normalized solutions of such a coupled system on bounded domains, in all regimes of the coefficients, including the Sobolev-critical dimension N=4. The paper also claims that the sets of nontrivial and semi-trivial bifurcation points from zero are exactly the tuples of Dirichlet eigenvalues, obtained by analyzing the limit of these solutions as all masses tend to zero. The mechanism is a new vector-linking minimax construction on the product of mass spheres, together with an invariant-flow framework that keeps Palais-Smale sequences out of the positive and negative cones and therefore controls the sign of each component.","feed_headline":"Tiny masses admit any chosen number of sign-changing states","feed_subtitle":"New vector linking gives j sign-changing and j semi-nodal normalized solutions for any j on bounded domains.","key_machinery":"The load-bearing object is the vector link (Definition 2.4): a compact set A in the product mass sphere S_vec_c, with a distinguished boundary partial M_{k+1}, is linked to the sign-changing sphere S_perp_k, meaning every continuous deformation of A that fixes the boundary must touch S_perp_k. The partial vector link (Definition 2.11) projects the flow onto the first d coordinates, forcing d components to change sign while the remaining m-d components are kept positive by invariant cone neighborhoods. Around this sit two supporting mechanisms: a product-manifold version of the classical flow-invariance criterion (Proposition 3.2) that keeps deformations inside the mass sphere, and a pseudo-gradient field of the form Id - G built from auxiliary linear equations (4.1)-(4.2), whose zero set is exactly the set of solutions.","core_discovery":"On its own terms, the paper's central claim is Theorems 1.1 and 1.2: for any fixed integer j and any d with 1 <= d <= m-1, there are constants c_tilde_j and c_tilde_{j,d} such that whenever max_i $c_i^{2}$ / min_i c_i is below the relevant constant, the system (1.2)-(1.3) has at least j sign-changing normalized solutions and at least j (d,m-d)-semi-nodal normalized solutions (first d components sign-changing, remaining components positive). This holds for every choice of nonzero signs of the self-coupling mu_i and cross-coupling beta_ij on any bounded regular domain in N=3,4; N=4 is the Sobolev-critical case where energy compactness is delicate. The bifurcation theorems 1.5 and 1.6 state that, as the mass vector tends to zero, nontrivial solutions emerge exactly from every tuple (lambda_1,...,lambda_m) in which each lambda_i is a Dirichlet eigenvalue of -$\\Delta$, and semi-trivial solutions emerge exactly from tuples containing at least one Dirichlet eigenvalue. The authors present this as the first use of a linking-type method for coupled normalized systems and the first description of the full bifurcation set from zero with the vector $\\lambda$ as parameter.","pith_inferences":["A natural next test is whether the ratio condition can be replaced by a plain upper bound on all masses; the minimax levels depend on the masses only through quantities like Lambda_{k+1} sum_i c_i, so a uniform smallness bound may suffice, but the paper does not claim this.","The bifurcation picture suggests the j branches found at small masses belong to m-dimensional continua emanating from the eigenvalue tuples; tracking these continua numerically on a disk or cube would give a concrete check of the predicted branch count.","In the critical dimension N=4, the solutions are produced below an explicit energy level tied to the Sobolev constant, which suggests their vanishing limit may carry a rescaled concentration profile, a property the paper does not analyze.","The semi-nodal solutions with some positive components may persist if the prescribed masses of the positive components are kept bounded away from zero while only the sign-changing masses shrink, since the partial-link estimates only need the ratio involving min over the first d components."],"forward_implications":["For any chosen j, the system has at least j distinct sign-changing normalized solutions at small prescribed masses, with distinct energy levels ordered along the Dirichlet eigenvalue sequence.","For every split d, at least j solutions have exactly their first d components sign-changing and the rest positive, giving mixed-sign profiles not previously available.","The existence holds with all signs of mu_i and beta_ij allowed, so attractive, repulsive, and mixed couplings are treated uniformly.","As masses tend to zero, every tuple of Dirichlet eigenvalues is a bifurcation point from zero for nontrivial branches, and every tuple with at least one eigenvalue coordinate is a semi-trivial bifurcation point.","The same construction, by Remark 1.8, extends to more general nonlinearities with one sign-preserving and one sign-changing growth, including non-even nonlinearities."],"supporting_citations":[{"why":"supplies the flow-invariance framework on a single mass sphere that Section 3 extends to the product manifold S_vec_c.","marker":"[35]"},{"why":"states the basic flow-invariance criterion (Proposition 3.1) used as the starting point of the product-manifold extension.","marker":"[28]"},{"why":"provides the pseudo-gradient and invariant-cone strategy that the paper adapts to the mass-constrained, sign-changing setting.","marker":"[63]"},{"why":"introduces the positive and negative cones whose delta-neighborhoods are used to force sign-changing location information.","marker":"[8]"},{"why":"gives the single-equation model for multiple sign-changing normalized solutions and for extracting bifurcation from the mass limit, the template followed in Section 7.","marker":"[59]"},{"why":"establishes positive normalized solutions for Schrodinger systems on bounded domains, the baseline that the sign-changing and semi-nodal results extend.","marker":"[47]"}],"fun_headline_variants":["Vector linking yields many sign-changing and semi-nodal states","Tiny masses admit any number of sign-changing and semi-nodal states","First linking method for coupled normalized Gross-Pitaevskii","Bifurcation from zero masses reveals all solution branches"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The proofs of Theorems 1.1 and 1.2 assume one can choose a single radius rho that satisfies all the energy and cone inequalities, including two extra bounds that are only asserted by analogy with Remark 2.8 and not checked in detail.","fun_headline_variants_meta":{"raw":{"variants":["Vector linking yields many sign-changing and semi-nodal states","Tiny masses admit any number of sign-changing and semi-nodal states","First linking method for coupled normalized Gross-Pitaevskii","Bifurcation from zero masses reveals all solution branches"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001317,"raw_usage":{"total_tokens":5474,"prompt_tokens":1165,"completion_tokens":4309,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":781,"completion_tokens_details":{"reasoning_tokens":4238}},"tokens_in":781,"tokens_out":4309,"duration_ms":29222,"temperature":1.0,"reasoning_tokens":4238,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-06T22:11:53.903849+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Check the step in the proofs of Theorems 1.1 and 1.2 where the chosen radius rho is asserted also to satisfy 2 rho < (beta_max^+)^{-1} $C_N^{2}$ when N=4 and (mu_i^+ + beta_max^+) 2 $rho^{3}$ <= Lambda_1 $C_N^{8}$ c_i for every i. A concrete test is to fix two masses satisfying the ratio condition and solve these inequalities together with (2.15); if some admissible mass pair admits no rho, the invariant-cone and Palais-Smale arguments in Sections 4-6 do not cover that pair.","supporting_citations":[{"cited_title":"Deimling, Ordinary Differential Equations in Banach Spaces, Lecture Notes in Math., V ol","cited_arxiv_id":null,"evidence_quote":"states the basic flow-invariance criterion (Proposition 3.1) used as the starting point of the product-manifold extension."},{"cited_title":"Tavares, S","cited_arxiv_id":null,"evidence_quote":"provides the pseudo-gradient and invariant-cone strategy that the paper adapts to the mass-constrained, sign-changing setting."},{"cited_title":"Bartsch, Z.L","cited_arxiv_id":null,"evidence_quote":"introduces the positive and negative cones whose delta-neighborhoods are used to force sign-changing location information."},{"cited_title":"Song, W.M","cited_arxiv_id":null,"evidence_quote":"gives the single-equation model for multiple sign-changing normalized solutions and for extracting bifurcation from the mass limit, the template followed in Section 7."},{"cited_title":"Noris, H","cited_arxiv_id":null,"evidence_quote":"establishes positive normalized solutions for Schrodinger systems on bounded domains, the baseline that the sign-changing and semi-nodal results extend."}],"review_version":1}