{"id":"b688894f-740a-40cf-94aa-6ee2c32fdd4b","arxiv_id":"2411.18187","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Ground states of the nonlinear Schrödinger equation on a fractured strip converge, as the strip narrows, to the ground state of the 1-D equation with a delta potential.","lead":"This paper studies a quantum-like equation on a thin strip with a crack-like cut down the middle. It proves that when the strip is very thin, the stable solutions are the same as on a one-dimensional line.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Lemma 5.3's rigidity argument proves only convergence of ∂_y u_n to zero, not exact vanishing; without a quantitative estimate Theorem 1.4 is not fully established.","rationale":"The reader's weakest assumption is Lemma 3.16, an omitted proof for repulsive action ground states. That is a genuine gap, but it affects Theorem 1.3, not the paper's headline dimensional-reduction claim. The most load-bearing concern for the central claim is in Lemma 5.3, the exact rigidity step of Theorem 1.4: the proof as written shows only that ∂_y u_n tends to zero, not that it is identically zero for small L. This is a logical gap, not merely a typo, because Theorem 1.4's contradiction argument requires exact y-independence along every small-L minimizer. The concern is fixable with a uniform L∞ estimate and a direct coercivity inequality, so it does not overturn the paper; it strengthens the case for a conditional verdict. I therefore keep the reader's CONDITIONAL verdict unchanged, while flagging a different missing proof. The algebraic sign error in (69) and the garbled L** definition are additional blemishes but do not affect the main argument.","tokens_in":30625,"tokens_out":24821,"duration_ms":196627,"concrete_test":"Verify whether the family of positive minimizers {u_n} of (51) with L_n → 0 admits a uniform L∞ bound, for example by Moser iteration using the H^1 bound and subcritical nonlinearity with constants independent of L. If the bound holds, complete Lemma 5.3 via the differentiated-equation identity: for L_n sufficiently small, (K + L_n^{-2} − 1)∥∂_y w_n∥^2 ≤ p∥u_n∥_{L∞}^{p−1} C_P ∥∂_y w_n∥^2 forces ∂_y w_n = 0. If no uniform bound is available, construct a sequence of y-dependent minimizers converging to the y-independent soliton to show the present proof cannot distinguish convergence from exact vanishing.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Lemma 5.3 is the step that upgrades convergence to exact one-dimensionality in the attractive small-L limit: it must show that positive minimizers u_n of (51) satisfy ∂_y u_n = 0 for all sufficiently large n. The proof takes the duality product of (66) with −∂_yy u_n, obtains identity (74), and asserts that the first two lines are positive and the third line converges to zero, hence w_n = ∂_y u_n = 0. This does not follow as written. Positivity of a quadratic form plus convergence to zero of a remainder term only yields ∥∂_y w_n∥ → 0 (or ∥w_n∥ → 0 by Poincaré), not w_n ≡ 0; a sequence of genuinely y-dependent minimizers could converge to the y-independent soliton. To force exact vanishing one must control the nonlinear remainder relative to the positive quadratic form. A natural route is to differentiate (66) in y and test with w_n, giving ∥∂_x w_n∥^2 + L_n^{-2}∥∂_y w_n∥^2 + ω_n∥w_n∥^2 + γ∫|w_n(0,y)|^2 = p∫|u_n|^{p−1}|w_n|^2. Using Lemma 3.5 and Poincaré (w_n has zero trace on y = 0,1), the left side is at least (K + L_n^{-2} − 1)∥∂_y w_n∥^2, while the right side is at most p∥u_n∥_{L∞}^{p−1} C_P ∥∂_y w_n∥^2. For small L_n this forces w_n = 0 only if ∥u_n∥_{L∞} is uniformly bounded. The paper supplies no such uniform bound and the sentence 'the sum between the second and the third line is positive' is not justified by the displayed inequalities. Thus the rigidity step of Theorem 1.4 is incomplete.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"This paper studies the nonlinear Schrödinger equation on a strip S_L = R × (0,L) with Neumann boundary conditions and a δ-interaction supported on the x-axis. The authors prove existence of action ground states in the attractive case (Theorem 1.1) and, under smallness restrictions on γ or L, in the repulsive case (Theorem 1.3). They also prove existence of energy ground states in the attractive case for 1<p<3 (Theorem 1.2), and show their absence in the repulsive case (Lemma 4.4). The central new results are Theorems 1.4 and 1.5, which assert that, for the attractive case, energy minimizers with mass m̃L are exactly one-dimensional (independent of y) when L is sufficiently small, and genuinely two-dimensional when L is sufficiently large. The one-dimensional limit is identified as the known soliton of the 1D NLS with a δ-potential.","tokens_in":31024,"tokens_out":23181,"duration_ms":170662,"significance":"The existence results for the attractive case are well supported and constitute a useful contribution to the variational theory of NLS with singular potentials on domains with mixed dimensionality. The dimensional reduction statements (Theorems 1.4 and 1.5) are the main advertised achievements and, if fully established, would provide a rigorous bridge between nonlinear quantum graphs and thin-strip models. The paper also gives explicit formulas for the 1D profiles, a careful trace theory, and several qualitative properties (exponential decay, symmetry, monotonicity). The numerical illustrations agree with the theorems. The weaknesses are two load-bearing gaps: an unproved lemma controlling the symmetric action ground state for small L (Lemma 3.16) and an incomplete rigidity argument in Lemma 5.3 that is essential for Theorem 1.4. These issues currently prevent the paper from fully delivering its central claims.","major_comments":[{"comment":"Lemma 3.16 is stated without proof: the text says 'This result can proved following a similar reasoning to the one of Section 5, we omit the details here.' This lemma is load-bearing for Lemma 3.17 and hence for the L<L† part of Theorem 1.3, since it is used to identify s_{ω,0,sym} with the y-independent profile φ_{ω,0}. The reasoning of Section 5 concerns energy minimizers in the attractive case, not action minimizers in the repulsive case, and the adaptation is non-obvious (in particular, the role of the symmetry constraint and the absence of a positivity condition like γ<0). The authors should provide a complete proof of Lemma 3.16 or explicitly state it as a conjecture and remove the L<L† case from Theorem 1.3.","section":"Section 3.2, Lemma 3.16"},{"comment":"The rigidity argument proving exact one-dimensionality of the minimizers does not work as written. From identity (74), the authors show that the sum of the quadratic form and the (1/L_n^2-1)∥∂_y w_n∥^2 term is positive and that the last line tends to zero, then conclude that w_n = ∂_y u_n = 0. This is a non sequitur: positivity plus a remainder tending to zero only gives ∥∂_y w_n∥ → 0 (and ∥w_n∥ → 0), not w_n ≡ 0. A sequence of y-dependent minimizers could converge to the y-independent limit. To obtain exact vanishing one must prove a uniform quantitative estimate, e.g., that the negative term p∫∫|φ|^{p-1}|w_n|^2 is absorbed by a fixed fraction of the positive quadratic form plus (1/L_n^2-1)∥∂_y w_n∥^2, uniformly for large n. The paper does not supply such an estimate; the sentence 'the sum between the second and the third line is positive' is not justified by the displayed inequalities. Since Lemma 5.3 is the key step in the proof of Theorem 1.4, Theorem 1.4 is not fully established.","section":"Section 5, Lemma 5.3"}],"minor_comments":[{"comment":"The coefficient of L_n^{-2}∥∂_y u_n∥^2 in (69) appears to be incorrect; direct algebra from (68) gives +2(p-1)/(5-p) rather than -4/(5-p). Since this term vanishes in the limit L_n→0, the proof of Lemma 5.2 goes through, but the displayed formula should be corrected.","section":"Equation (69)"},{"comment":"The statement says the minimizer is 'up to translation and phase shift' the profile φ_{ω,0} trivially extended, but the space H^1_sym(S_L) fixes the center at x=0; translations within this space are trivial, so the wording is misleading.","section":"Lemma 3.16 statement"},{"comment":"The notation S_γ in the statement of Lemma 3.15 is undefined; it should be the action functional S_{ω,γ} used throughout the paper.","section":"Lemma 3.15"},{"comment":"The sentence 'This result can proved' is grammatically incorrect; it should read 'can be proved'.","section":"Lemma 3.16 proof"},{"comment":"In the line 'that is mL→ 1 in Lq(0, 1) for any q∈ [1,∞) as L→∞', the limit 'L→∞' should be 'L→0'.","section":"Lemma 5.1, Eq. (64)"},{"comment":"The inequality ∥φ_{ω,γ}∥_{L^{p+1}(S_L)}^{p+1} < 2∥φ_{ω,0}∥_{L^{p+1}(S_L)}^{p+1} is stated without proof; a short justification would be helpful since it is used in the contradiction argument.","section":"Lemma 3.17"},{"comment":"Lemma 4.3 is stated without proof, referring to an adaptation of [1, Lemma 3.3]. Given its central role in Theorem 1.2, a brief indication of the adaptation (e.g., the role of the strip geometry and the inhomogeneous δ-term) is needed.","section":"Lemma 4.3"}],"recommendation":"major_revision","confidential_remarks":"The paper is potentially valuable and the main ideas are promising, but the two gaps identified above are central to Theorems 1.3 and 1.4. I would be willing to consider a revised version that supplies a complete proof of Lemma 3.16 and a correct rigidity argument for Lemma 5.3. If these are fixed, the paper would likely be suitable for publication in this journal."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The paper does something new: it proves existence of ground states for NLS on a strip with a transverse delta, and it claims an exact one-dimensional reduction for small width in the attractive case. The existence part for gamma<0 (Theorems 1.1 and 1.2) looks solid, built on standard concentration-compactness plus the right coercivity estimate for the linearized operator. The repulsive case is more delicate and the authors are candid about the run-away issue.\n\nThe dimensional-reduction statement (Theorem 1.4) is the headline. If it is true, it is a nice result: the 2D minimizer is literally the 1D soliton extended in y for small L. The proof scheme is reasonable — rescale to a fixed strip, pass to the limit, then claim rigidity. The convergence part (Lemmas 5.1 and 5.2) is okay up to the usual algebra, though equation (69) has a sign error in the last term: it should be +2(p-1)/(5-p) times the y-derivative term, not -4/(5-p). The limit is unaffected, so this is a minor repair.\n\nThe soft spot is Lemma 5.3. The argument pairs equation (66) with -∂_yy u_n and tries to show that the y-derivative vanishes exactly for large n. The positivity of the quadratic form plus convergence of the remainder term gives convergence of ∂_y u_n to zero in L^2 — which we already have — not exact vanishing. To force exact zero you need a quantitative estimate on the nonlinear remainder relative to ||∂_y u_n||^2, or a uniform L∞ bound on u_n; neither is provided. The third-line estimate also uses ||∂_y u_n||_{H^1}, for which no uniform bound is shown. So Theorem 1.4 is not established as written. The stress-test note is right; this is a real gap, not a typo.\n\nAlso, Lemma 3.16, which underpins Theorem 1.3 for gamma>0, is stated without proof ('we omit the details here'). The authors point to Section 5, but the argument there is the same incomplete rigidity, so this transfer is not reassuring. And the definition of L** in Theorem 1.5 is garbled; the intended meaning is clear from Proposition 5.4 (a test-function upper bound on the threshold), but the current wording does not define the threshold correctly.\n\nDespite these issues, the paper is worth serious refereeing. The topic is timely (connection between fat graphs and nonlinear quantum graphs), the attractive-case existence results are likely correct, and the reduction theorem, if fixed, would be a genuine contribution. I would not desk-reject it. But the current version needs a major revision: supply a proof of Lemma 3.16, repair the rigidity argument in Lemma 5.3, correct equation (69), and rewrite the L** definition.\n\nRecommendation: send to peer review, with the referee specifically asked to check Lemma 5.3 line by line.","headline":"A genuinely new dimensional-reduction result for a delta-defect strip, but the main rigidity theorem is not fully proved as written; the repulsive case additionally rests on an omitted lemma.","tokens_in":31539,"tokens_out":12432,"would_cite":false,"duration_ms":90644,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["35Q55","35A15","35B38"],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper proves that on a narrow strip with an attractive delta defect, the energy ground state at mass proportional to the width is exactly the one-dimensional delta soliton, constant in the transverse direction.","keywords":["nonlinear Schrödinger equation","standing waves","action ground state","energy ground state","nonlinear quantum graphs","fractured strip","dimensional reduction"],"falsifier":"Numerically minimize the action over the Nehari manifold on the symmetric space for $\\gamma=0$ and a sequence of widths $L\\to0$; if the minimizer's transverse gradient stays nonzero for arbitrarily small $L$, Lemma 3.16 is false and the small-$L$ branch of Theorem 1.3 collapses. Equivalently, compute $\\|\\partial_y u_L\\|_{L^2}$ for attractive energy minimizers at mass $\\tilde m L$: Theorem 1.4 forces it to be exactly zero for all $L<L_*$, so any strictly positive computed value would disprove the rigidity claim.","tokens_in":30391,"feed_emoji":"📏","tokens_out":14120,"duration_ms":109906,"temperature":0.7,"pith_summary":"This paper studies the nonlinear Schrödinger equation on a strip with Neumann boundary conditions and a delta-shaped defect along its centerline, and asks when the two-dimensional ground state is really one-dimensional. For an attractive defect the authors prove full existence of positive action and energy ground states — minimizers of the action on the Nehari manifold, and minimizers of the energy at fixed mass — and then show that as the strip width shrinks to zero the energy minimizer with mass proportional to the width becomes independent of the transverse coordinate: it is exactly the one-dimensional delta soliton extended constantly in y. They also prove that for large widths the ground state must genuinely depend on y, so the transition from one-dimensional to two-dimensional behavior is not just formal. The interest is that this gives a rigorous dimensional-reduction theorem for a nonlinear model with a point defect, the kind of reduction usually taken as an ansatz in quantum-graph and waveguide modelling.","feed_headline":"Fractured strip collapses to one dimension below a critical width","feed_subtitle":"A rigorous proof that the 2-D delta-perturbed ground state becomes the exact 1-D soliton once the strip is narrow enough.","key_machinery":"The central object is the rescaled energy on the fixed-width strip $S=\\mathbb{R}\\times[0,1]$, $\\widetilde{E}_{L,\\gamma}(u)=\\int_0^1\\int_{\\mathbb{R}}\\big(\\frac12|\\partial_x u|^2+\\frac{1}{2L^2}|\\partial_y u|^2-\\frac{1}{p+1}|u|^{p+1}\\big)dx\\,dy+\\frac{\\gamma}{2}\\int_0^1|u(0,y)|^2dy$, whose $1/L^2$ penalty on the transverse derivative makes the dimensional reduction quantitative. The argument uses the explicit one-dimensional delta soliton $\\varphi_{\\omega,\\gamma}(x)=\\big(\\frac{p+1}{2}\\omega\\,\\mathrm{sech}^2(\\frac{p-1}{2}\\sqrt{\\omega}\\,|x|-\\tanh^{-1}(\\frac{\\gamma}{2\\sqrt{\\omega}}))\\big)^{1/(p-1)}$ as the limiting profile, virial (Pohozaev) identities to identify the limiting frequency, and a rigidity lemma: pairing the equation with $-\\partial_{yy}u$ yields a coercive quadratic form plus terms that converge to zero, so for small $L$ the transverse derivative must vanish identically.","core_discovery":"Working on $S_L=\\mathbb{R}\\times[0,L]$ with $-\\partial_{xx}u-\\partial_{yy}u+\\omega u+\\gamma\\delta_0(x)u-|u|^{p-1}u=0$ and Neumann conditions, the paper establishes that for $\\gamma<0$ and $1<p<3$, for every transverse mass density $\\tilde m>0$ there is a critical width $L_*=L_*(\\tilde m)$ such that for all $0<L<L_*$ the energy minimizer with mass $m=\\tilde m L$ is a function of $x$ alone. This minimizer coincides with the unique positive one-dimensional profile $\\varphi_{\\omega,\\gamma}$ (the explicit sech-type solution of the delta-perturbed line equation) extended constantly in $y$, with frequency $\\omega$ determined by $M^{1D}(\\varphi_{\\omega,\\gamma})=\\tilde m$. Conversely, there is a second threshold $L_{**}$ such that for $L>L_{**}$ every energy minimizer with the same mass scaling has nontrivial $y$-dependence. The proof passes through a normalized fixed-width problem, establishes convergence of its minimizers to the extended one-dimensional soliton as $L\\to 0$, and then uses a rigidity identity (the duality product of the equation with $-\\partial_{yy}u$) to force $\\partial_y u=0$ below the threshold.","pith_inferences":["Beyond the paper: the rigidity pairing with $-\\partial_{yy}u$ is a general mechanism; the same argument should yield dimensional reduction for thin domains with other transverse geometries and Neumann structure, not just rectangular strips.","Beyond the paper: the two thresholds $L_*$ and $L_{**}$ suggest a critical width at which transverse modulation bifurcates from the constant profile; numerical continuation could map this curve in $(\\tilde m,\\gamma,p)$ and compare it with the variational bound in Proposition 5.4.","Beyond the paper: the missing proof of Lemma 3.16 is likely obtainable by the same rigidity argument used for the attractive case; if so, the small-width reduction would extend to repulsive defects, and if not, the repulsive existence theorem would need a different mechanism.","Beyond the paper: the mass scaling $m=\\tilde m L$ is essential to the conclusion; fixing the absolute mass instead would let minimizers spread in $x$, so any experimental or numerical test of the 1D-to-2D transition must use the linear mass scaling."],"forward_implications":["For every fixed transverse mass density $\\tilde m>0$ in the attractive case, there is a critical width $L_*$ below which the energy ground state with mass $\\tilde m L$ is exactly the one-dimensional delta soliton extended constantly across the strip, so the 2D model reduces rigorously to the 1D delta model.","Above a larger threshold $L_{**}$ the same mass scaling forces the minimizer to have genuine transverse dependence, so the reduction to 1D cannot hold uniformly in the width.","The normalized energies converge: $L^{-1} e_{\\tilde m L,\\gamma} \\to e^{1D}_{1,\\gamma}$ as $L\\to 0$, giving a quantitative sense in which the 1D model captures the ground-state energy of the thin strip.","In the repulsive case, symmetric action ground states exist for sufficiently small defect strength or small width, despite the run-away instability that prevents unconstrained minimizers."],"supporting_citations":[{"why":"Supply the explicit one-dimensional delta-soliton profile, the mass–frequency relation $Q(\\omega,\\gamma)$, and the monotonicity of $\\partial_\\omega M$, which the shrinkage limit inherits.","marker":"[19, 20, 29]"},{"why":"Establishes the one-dimensional energy ground state for attractive delta defects, the target profile for the reduction.","marker":"[2]"},{"why":"Provides the product-space ground state and 1D-limit framework that the strip convergence argument adapts.","marker":"[33]"},{"why":"Earlier thin-network convergence results that motivate the one-dimensional reduction and set the comparison standard.","marker":"[27, 28]"},{"why":"Supplies the concentration-compactness lemma with convergence and run-away cases that Theorem 1.2 uses.","marker":"[1]"},{"why":"Provides the profile decomposition used to rule out dichotomy in the action-minimizer proofs.","marker":"[26]"},{"why":"The pointwise-convergence lemma used repeatedly to pass minimizer convergence through the nonlinear and trace terms.","marker":"[8]"}],"fun_headline_variants":["Narrow strip reduces 2D ground state to exact 1D soliton","Critical width found for one-dimensional reduction on strip","Thin strip forces ground state to be x-dependent only","Rigorous proof: strip becomes effectively one-dimensional","Below threshold, energy minimizer collapses to line soliton"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The repulsive-case existence theorem rests on a lemma stated without proof: for a strip with no defect, a sufficiently small width makes the symmetric variational ground state a constant-in-y one-dimensional profile; if that lemma is false, the small-width existence branch in the repulsive case has no foundation.","fun_headline_variants_meta":{"raw":{"variants":["Narrow strip reduces 2D ground state to exact 1D soliton","Critical width found for one-dimensional reduction on strip","Thin strip forces ground state to be x-dependent only","Rigorous proof: strip becomes effectively one-dimensional","Below threshold, energy minimizer collapses to line soliton"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000393,"raw_usage":{"total_tokens":2042,"prompt_tokens":897,"completion_tokens":1145,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":513,"completion_tokens_details":{"reasoning_tokens":1062}},"tokens_in":513,"tokens_out":1145,"duration_ms":10034,"temperature":1.0,"reasoning_tokens":1062,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-12T11:27:57.061454+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Numerically minimize the action over the Nehari manifold on the symmetric space for $\\gamma=0$ and a sequence of widths $L\\to0$; if the minimizer's transverse gradient stays nonzero for arbitrarily small $L$, Lemma 3.16 is false and the small-$L$ branch of Theorem 1.3 collapses. Equivalently, compute $\\|\\partial_y u_L\\|_{L^2}$ for attractive energy minimizers at mass $\\tilde m L$: Theorem 1.4 forces it to be exactly zero for all $L<L_*$, so any strictly positive computed value would disprove the rigidity claim.","supporting_citations":[{"cited_title":"Adami, D","cited_arxiv_id":null,"evidence_quote":"Establishes the one-dimensional energy ground state for attractive delta defects, the target profile for the reduction."},{"cited_title":"Terracini, N","cited_arxiv_id":null,"evidence_quote":"Provides the product-space ground state and 1D-limit framework that the strip convergence argument adapts."},{"cited_title":"Adami, C","cited_arxiv_id":null,"evidence_quote":"Supplies the concentration-compactness lemma with convergence and run-away cases that Theorem 1.2 uses."},{"cited_title":"Jeanjean and K","cited_arxiv_id":null,"evidence_quote":"Provides the profile decomposition used to rule out dichotomy in the action-minimizer proofs."},{"cited_title":"Brezis and E","cited_arxiv_id":null,"evidence_quote":"The pointwise-convergence lemma used repeatedly to pass minimizer convergence through the nonlinear and trace terms."}],"review_version":1}