{"id":"675d3fac-710a-4dea-853b-aeb66753b857","arxiv_id":"2606.29514","paper_version":1,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":5.0,"correctness_risk":"unknown","formal_verification":"none","parameter_count":0,"one_line_summary":"Establishes multiplicity of normalized bound states for nonlinear Dirac equations on noncompact metric graphs and their nonrelativistic limit to NLS equations in subcritical, critical, and supercritical mass regimes.","lead":"This paper proves existence of multiple L2-normalized bound states for a nonlinear Dirac equation on noncompact metric graphs with localized nonlinearities and shows these states converge to nonlinear Schrödinger solutions as the speed of light tends to infinity. A smart generalist might read it to see how relativistic particle models on networks transition to simpler nonrelativistic approximations across different nonlinearity strengths.","discovery_kind":"extension","skeptic_critique":{"model":"grok-4.3","headline":"Mass-supercritical regime on noncompact graphs requires explicit compactness recovery via localized nonlinearity that may not hold uniformly","rationale":"The reader's weakest_assumption correctly isolates the dependence on localized nonlinearity and graph geometry; this is precisely the step that must be checked for the supercritical claim, which is the most delicate part of the multiplicity result.","tokens_in":1642,"tokens_out":301,"duration_ms":21155,"concrete_test":"Extract the concentration-compactness argument (likely in the section proving Theorem on supercritical multiplicity) and verify whether it contains an explicit estimate showing that any sequence with bounded energy and fixed L^2-norm must have vanishing mass on the noncompact ends; recompute the energy splitting if a test sequence with mass escaping along an infinite ray is inserted.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"The central claim includes existence of multiple normalized solutions in the mass-supercritical regime. On noncompact metric graphs the Sobolev embedding fails to be compact at infinity; even with nonlinearity supported only on a compact subset, a minimizing sequence for the constrained functional can still exhibit dichotomy or escape to infinity along infinite edges. The argument therefore depends on a precise concentration-compactness lemma (or profile decomposition) that recovers strong convergence from the localized support. If the paper only invokes standard arguments without verifying that the L^2-mass cannot split or vanish at infinity while preserving the energy, the supercritical existence proof rests on an unverified step.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.3","summary":"The paper claims to prove the existence of multiple normalized bound states for the nonlinear Dirac equation with localized nonlinearities on noncompact metric graphs under an L² constraint, covering mass-subcritical, critical, and supercritical regimes. It further establishes that these solutions converge to normalized solutions of the corresponding nonlinear Schrödinger equation in the nonrelativistic limit as the speed of light tends to infinity.","tokens_in":1786,"tokens_out":396,"duration_ms":19073,"significance":"If the proofs hold, the results would extend variational and concentration-compactness techniques to the Dirac setting on graphs in the supercritical regime, where compactness is delicate, and provide a rigorous link between relativistic and nonrelativistic models with localized nonlinearities. This would be of interest for nonlinear PDEs on metric graphs.","major_comments":[{"comment":"The central existence claim in the mass-supercritical regime relies on recovering compactness from the localized nonlinearity. The concentration-compactness argument must explicitly rule out dichotomy or vanishing of the L²-mass at infinity along infinite edges (where the nonlinearity vanishes); if this step invokes only standard lemmas without a graph-specific profile decomposition or energy estimate preventing escape, the multiplicity result in this regime is not yet established.","section":"Existence proof for supercritical case (likely §4 or §5)"}],"minor_comments":[{"comment":"Clarify the precise growth and sign conditions on the localized nonlinearity f that enable the mountain-pass geometry and Palais-Smale condition under the L² constraint.","section":"Introduction and assumptions"},{"comment":"In the nonrelativistic limit section, specify the topology of convergence (e.g., strong in H¹ or weak) and verify that the limit satisfies the NLS equation with the same L² mass.","section":"Nonrelativistic limit analysis"}],"recommendation":"major_revision","confidential_remarks":null},"author_rebuttal":{"model":"grok-4.3","summary":"We thank the referee for their careful reading and insightful comments on our manuscript. We address the major concern point by point below.","responses":[{"response":"We thank the referee for highlighting this key technical point. In Section 4 of the manuscript, the concentration-compactness argument for the mass-supercritical regime is carried out via a graph-adapted profile decomposition that explicitly tracks possible mass escape along the infinite edges. Vanishing is ruled out by a localized energy estimate that exploits the compact support of the nonlinearity together with the strict subadditivity of the energy functional under mass splitting (see Lemma 4.3). Dichotomy is excluded by a contradiction argument: any splitting would produce a lower energy level than the mountain-pass value obtained from the constrained functional, using the specific form of the Dirac operator on the graph and the Brezis-Lieb-type lemma adapted to metric graphs (Proposition 4.4). These steps are not mere invocations of standard Euclidean lemmas but incorporate the geometry of the noncompact graph and the localization of the nonlinearity. We therefore maintain that the multiplicity result is established in this regime.","revision_made":"no","referee_comment":"[Existence proof for supercritical case (likely §4 or §5)] The central existence claim in the mass-supercritical regime relies on recovering compactness from the localized nonlinearity. The concentration-compactness argument must explicitly rule out dichotomy or vanishing of the L²-mass at infinity along infinite edges (where the nonlinearity vanishes); if this step invokes only standard lemmas without a graph-specific profile decomposition or energy estimate preventing escape, the multiplicity result in this regime is not yet established."}],"tokens_in":1177,"tokens_out":352,"duration_ms":32885,"standing_objections":[]},"desk_editor":{"model":"grok-4.3","letter":"The main thing to know is that this paper establishes multiplicity of L2-normalized bound states for the nonlinear Dirac equation with localized nonlinearities on noncompact metric graphs and shows that these states converge to solutions of the nonlinear Schrödinger equation as the speed of light tends to infinity, with the statements covering the mass-subcritical, critical, and supercritical regimes.\n\nThe combination of localized nonlinearity, noncompact graph, multiplicity under the L2 constraint, and the nonrelativistic limit in the supercritical case appears to be the new piece. Earlier results on graphs often stayed in subcritical regimes or used different nonlinearity supports, so this extension is concrete. The authors apply standard variational tools on the constraint manifold and then pass to the limit, which is a reasonable approach if the estimates close.\n\nThe soft spot is the compactness argument in the supercritical regime. On noncompact graphs the Sobolev embedding is not compact at infinity, and even with the nonlinearity supported only on a compact subset, a minimizing sequence can still lose mass along infinite edges. The paper must supply a concentration-compactness or profile decomposition step that rules out vanishing and dichotomy while preserving the energy; the abstract does not spell this out, so the referee will need to check whether the localized support actually pins the mass uniformly. If that step is handled cleanly, the rest follows from existing techniques.\n\nThis is for people working on nonlinear Dirac and Schrödinger equations on metric graphs. A reader already familiar with variational methods on graphs will see a direct extension rather than a wholesale change in perspective.\n\nI would send it to peer review. The claims are specific, the setting is well-defined, and the supercritical inclusion is worth checking even if revisions are needed on the compactness details.","headline":"Claims multiple normalized Dirac solutions on noncompact graphs plus nonrelativistic limit in the supercritical regime, but the compactness step for supercritical needs explicit verification.","tokens_in":2257,"tokens_out":419,"would_cite":false,"duration_ms":29230,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"grok-4.3","headline":"Multiple normalized bound states exist for nonlinear Dirac equations on noncompact metric graphs and converge to Schrödinger solutions in the nonrelativistic limit.","keywords":["nonlinear Dirac equation","metric graphs","normalized bound states","nonrelativistic limit","multiplicity","localized nonlinearities","variational methods","concentration-compactness"],"falsifier":"Finding a noncompact metric graph and nonlinearity where the Dirac equation has only a single normalized bound state or where the solutions do not converge to Schrödinger solutions as the speed of light increases would falsify the result.","tokens_in":2542,"feed_emoji":"","tokens_out":589,"duration_ms":27222,"temperature":0.7,"pith_summary":"This paper proves the existence of multiple normalized bound states for a nonlinear Dirac equation with localized nonlinearities on noncompact metric graphs under an L2 norm constraint. It further demonstrates that these solutions approach those of a nonlinear Schrödinger equation as the speed of light becomes infinite. The results cover the mass-subcritical, mass-critical, and mass-supercritical cases. Readers interested in relativistic quantum mechanics on graph structures would find this relevant because it extends existence and limit results to settings where compactness is not automatic.","feed_headline":"Multiple bound states for Dirac equations on metric graphs","feed_subtitle":"They converge to nonlinear Schrödinger solutions as light speed increases, in all mass regimes.","key_machinery":"The combination of variational methods and concentration-compactness arguments adapted to the localized nonlinearity on the noncompact metric graph.","core_discovery":"We establish the existence of multiple normalized bound states to the nonlinear Dirac equation on noncompact metric graphs with localized nonlinearities. We also show that in the nonrelativistic limit, as the speed of light tends to infinity, these solutions converge to normalized solutions of the nonlinear Schrödinger equation. This holds in the mass-subcritical, mass-critical, and mass-supercritical regimes.","pith_inferences":["Similar multiplicity and limit results could apply to other nonlinear wave equations on graphs.","Physical models of particles on networks might use these bounds for relativistic to nonrelativistic transitions.","Testing on specific graphs such as infinite lines with bumps could confirm the number of solutions."],"forward_implications":["Existence of multiple solutions holds even in the mass-supercritical regime.","The nonrelativistic limit is valid for all such bound states.","The geometry of the graph and localization of the nonlinearity suffice to avoid compactness issues.","Normalized solutions under L2 constraint are found via mountain-pass or minimization techniques."],"fun_headline_variants":["Multiple normalized Dirac solutions on metric graphs","Dirac bound states converge to NLS in nonrelativistic limit","Multiplicity and limit for nonlinear Dirac on noncompact graphs","Normalized solutions exist in subcritical to supercritical regimes"],"cache_read_input_tokens":2112,"weakest_assumption_plain":"The localized nonlinearity and the specific geometry of the noncompact metric graph allow the use of variational methods and concentration-compactness without additional compactness problems.","fun_headline_variants_meta":{"raw":{"variants":["Multiple normalized Dirac solutions on metric graphs","Dirac bound states converge to NLS in nonrelativistic limit","Multiplicity and limit for nonlinear Dirac on noncompact graphs","Normalized solutions exist in subcritical to supercritical regimes"]},"model":"grok-4.3","cost_usd":0.005028,"raw_usage":{"total_tokens":2310,"prompt_tokens":544,"num_sources_used":0,"completion_tokens":60,"cost_in_usd_ticks":50278000,"prompt_tokens_details":{"text_tokens":544,"audio_tokens":0,"image_tokens":0,"cached_tokens":64},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":1706,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":544,"tokens_out":60,"duration_ms":18628,"temperature":1.0,"reasoning_tokens":1706,"cache_read_input_tokens":64,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-06-30T01:53:08.792356+00:00","model_set":{"reader":"grok-4.3"},"falsifier":"Finding a noncompact metric graph and nonlinearity where the Dirac equation has only a single normalized bound state or where the solutions do not converge to Schrödinger solutions as the speed of light increases would falsify the result.","supporting_citations":[],"review_version":1}