{"id":"fc80f425-f3b3-4a4d-90dd-507b9f951161","arxiv_id":"1908.06384","paper_version":2,"verdict":"ACCEPT","confidence":"HIGH","novelty_score":6.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"A one-dimensional Schrödinger operator with two well-separated complex potential bumps has an evenly spaced sequence of resonances and eigenvalues with explicit asymptotic formulas.","lead":"A mathematics paper proves that a quantum wave moving through two separated slivers of complex material develops a long, evenly spaced ladder of resonances and bound states. The result gives exact formulas for these wavenumbers and connects the phenomenon to the familiar physics of Fabry-Perot optical cavities.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 1 states uniqueness of k_n without assuming the contraction condition (5), yet the proof's uniqueness step relies on (5); the theorem should be stated for sufficiently large ℓ or include (5) in its hypotheses.","rationale":"The reader identified the non-degeneracy condition (3) as the weakest assumption; I agree it is necessary for F to be well-defined and for F(0)=1, but it is explicitly stated, so it is not an internal gap. The sharper, internal issue is that the theorem's uniqueness claim is not conditioned on (5), the very inequality the proof uses to make the fixed-point map a contraction. The statement should be read in the paper's overall asymptotic context ('as ℓ is sufficiently large'), in which (5) holds automatically; under that charitable reading the central claim is sound. I do not think this warrants changing the accept verdict, only a clarification in the theorem's hypotheses. A numerical test with the explicit delta-interaction potential can determine whether the missing condition is genuinely needed for uniqueness.","tokens_in":9657,"tokens_out":31974,"duration_ms":306760,"concrete_test":"For the delta-interaction example (10), fix β_± with large |β_±| so that max_B |F'| is large, choose ℓ so that N_l≥1 but e^{π/2} max_B |F'|/(4ℓ) ≥ 1, and numerically solve e^{4ikℓ}=F(k) in the disk B_0 using a deflated Newton or contour-integral root finder. Count the roots; if more than one root is found, the 'exactly one' assertion fails in a regime the theorem's hypotheses do not exclude, confirming that condition (5) (or a large-ℓ assumption) must be part of the statement. If only one root is found, (5) is only a sufficient condition and the concern is immaterial.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Theorem 1 is stated under only the non-degeneracy condition (3); after defining N_l it asserts that each disk B_n contains exactly one wavenumber k_n. Condition (5), e^{π/2}/(4ℓ) max_B |F'| < 1, is introduced only before the representation (6), as if it were needed just for the estimates. But in Section 5 the existence and uniqueness of the fixed point of z ↦ -i/(4ℓ) ln F(z+a_n) is obtained from the Banach contraction principle, and the contraction constant is exactly the left-hand side of (5). If (5) fails, the map need not be contractive, and a holomorphic self-map of a disk can have more than one interior fixed point, so the 'exactly one' conclusion is not proved in that regime. The intended asymptotic statement is safe: for all sufficiently large ℓ, (5) holds and N_l≥1. The fix is to add a large-ℓ hypothesis or to make (5) an explicit assumption of the theorem before the uniqueness claim. The non-degeneracy condition (3) remains the other load-bearing premise: if either X'_-(0,0) or X'_+(d_+,0) vanishes, F is not defined with F(0)=1 and the whole contraction construction fails.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The manuscript studies the one-dimensional Schrödinger operator H_ℓ = -d^2/dx^2 + V_+(x-ℓ)+V_-(x+ℓ), where V_± are bounded compactly supported complex-valued functions. The main result (Theorem 1) states that, under the non-degeneracy condition X'_-(0,0)≠0 and X'_+(d_+,0)≠0, each disk B_n = {|k - πn/(2ℓ)| < π/(4ℓ)} with |n| ≤ N_ℓ contains exactly one wavenumber k_n for which the scattering problem (1) has a nontrivial solution, and provides convergent iterative and series expansions for k_n with explicit error bounds. The proof reduces the resonance/eigenvalue condition to the exact equation e^{4ikℓ}=F(k), where F is constructed from the single-potential scattering data, and analyzes this equation by a fixed-point method. The paper also gives explicit examples for step-like potentials and delta interactions, and discusses the analogy with Fabry-Pérot interferometers.","tokens_in":9908,"tokens_out":32193,"duration_ms":279084,"significance":"If the main result is corrected as indicated below, the paper provides a rigorous and quantitative description of a Fabry-Pérot-type sequence of resonances and eigenvalues for a broad class of complex bipartite potentials, including non-self-adjoint cases. The reduction to the scalar equation (14) and the explicit error bounds (6)-(9) are valuable: they give constructive recipes for computing the wavenumbers and demonstrate a power-law (rather than exponential) asymptotics. The proof is largely standard (Volterra integral representation, scattering-coefficient factorization, Cauchy estimates), and the paper ships several concrete examples with numerical illustrations. These are genuine strengths.","major_comments":[{"comment":"Theorem 1 includes n=0 in its range |n| ≤ N_ℓ. For n=0, the fixed-point equation (15) has the unique fixed point z=0 in B_0 (since F(0)=1), so the theorem asserts that k_0=0 is a wavenumber for which problem (1) has a nontrivial solution. This is incorrect. The derivation of equation (14) in Section 5 divides by b_-(k)b_+(-k); at k=0 these reflection coefficients are singular (formula (13) contains 1/(2ik)), so (14) is not equivalent to the existence of a nontrivial solution of (1) at k=0. A concrete counterexample is the bipartite potential with V_+ ≡ V_- ≡ 1 on intervals of length 1: condition (3) holds (X'_-(0,0) = sinh 1 ≠ 0), yet a direct zero-energy transfer-matrix computation gives T_{21} = sinh 2 ≠ 0, showing that the only solution of (1) at k=0 is trivial. The theorem should therefore restrict to non-zero n (e.g., 1 ≤ |n| ≤ N_ℓ) or treat the case n=0 separately.","section":"Section 5, Theorem 1"},{"comment":"The theorem states uniqueness of the wavenumber in every B_n under only assumption (3), but the proof's uniqueness step relies on the Banach contraction principle and explicitly invokes condition (5). Since (5) is not a hypothesis of the theorem, the proof does not establish the stated uniqueness for values of ℓ with N_ℓ ≥ 1 for which (5) fails. For the intended asymptotic regime (ℓ sufficiently large) condition (5) holds automatically, so the fix is to add a large-ℓ hypothesis or to include (5) as an assumption. Alternatively, the uniqueness could be proved via Rouché's theorem using the strict inequality |ln F| < π/2 on B, which would remove the need for (5); in that case the representation (6) would still require (5) for the convergence of the iteration.","section":"Section 5, Theorem 1"}],"minor_comments":[{"comment":"The phrase 'governed by by' should be 'governed by'.","section":"Section 1"},{"comment":"The asymptotic conditions for X_+ and Y_+ are stated with x>d_+ and x<-d_- for both signs; for V_+ (supported on [0,d_+]) the condition for X_+ should be on x<0. Please clarify the notation.","section":"Section 2, definition (2)"},{"comment":"The inequality (16) bounds |ln F| by π/2, but because (11) is strict and B is compact, a strictly smaller bound holds; the proof would benefit from stating this, as the contraction argument uses only the weaker statement via (5).","section":"Section 5, after (11)"},{"comment":"The displayed identity is hard to read (the notation for the m-fold sum is garbled); consider stating it as the standard Lagrange inversion formula and citing it.","section":"Equation (18)"},{"comment":"The caption for panel (a), 'corresponding to resonances the self-adjoint step-function potential', is missing a word; it should read 'corresponding to resonances for the self-adjoint step-function potential'.","section":"Figure 1 caption"},{"comment":"The claim that V± can be replaced by more general operators on [−d_-,0] and [0,d_+] is vague; please specify the admissible class of operators.","section":"Section 3"}],"recommendation":"major_revision","confidential_remarks":"The n=0 issue is a genuine mathematical error in the stated theorem; it can be fixed by excluding n=0, but it should be addressed explicitly. The contraction-condition gap is also real but easily repaired. The paper's main claim for |n|≥1 appears sound. I recommend major revision rather than rejection."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Read it. The core result is real: for a 1D Schrödinger operator with two distant compactly supported complex potentials, the paper derives an exact resonance equation e^{4ikℓ}=F(k), then proves existence and uniqueness of one root near each πn/(2ℓ), with convergent iteration and asymptotic series with explicit error bounds. That is more than previous work gave for comparable settings—Klopp and Barra-Gaspard had similar sequences for periodic/random potentials, and the 3D result in Albeverio et al. has only leading non-uniform asymptotics. Here the class of potentials is essentially arbitrary compactly supported complex functions, including delta-interactions and higher-order operators, and the condition (3) is explicit and generic. The proof is standard but careful: Volterra integral representation, scattering coefficient factorization, Cauchy estimates, and a contraction argument. The examples are limited (step and delta), but they illustrate the point rather than carry the argument. The citation pattern to prior distance-perturbation and resonance-sequence work is appropriate; no red flag there.\n\nThe soft spot is exactly the one in the stress-test note. Theorem 1 as stated claims exactly one wavenumber in each disk under only (3). The uniqueness step in Section 5 uses Banach's fixed point theorem and the contraction constant is the left side of (5). If (5) fails, that argument does not prove uniqueness, and it is not a mere technicality: a holomorphic self-map of a disk can have more than one interior fixed point. The intended statement is safe because for fixed V± and fixed r, (5) holds for all sufficiently large ℓ, which is the regime that matters. But the theorem should either state a large-ℓ hypothesis or include (5) among its assumptions before the uniqueness assertion. There is also a small mismatch in how h_n is defined in the theorem versus used in the proof, but it looks typographical and the iteration formulas are consistent.\n\nI agree with the reader's high confidence in the substance. This is a publishable result with clear novelty and transparent proof; the overstatement is a fixable precision issue, not a load-bearing flaw. A competent referee will want the theorem statement repaired and the examples checked numerically, but nothing here warrants desk rejection.\n\nSend it to peer review.","headline":"Rigorous Fabry-Perot resonance ladder for two distant complex bumps; the main theorem overreaches slightly on uniqueness, but the substance is solid and worth refereeing.","tokens_in":10420,"tokens_out":3661,"would_cite":true,"duration_ms":38007,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["34L40","81Q12","35P25"],"pacs":[],"model":"deepseek-v4-flash","headline":"Two separated complex potentials create equidistant wavenumber ladders","keywords":["resonances","eigenvalues","Schrödinger operator","bipartite potential","complex potentials","non-self-adjoint spectral theory","Fabry-Pérot resonances","scattering coefficients"],"falsifier":"Take the two delta-interactions $V_\\pm=\\beta_\\pm\\delta(x)$ with $\\beta_\\pm\\neq 0$, for which $F(k)=(2ik-\\beta_+)(2ik-\\beta_-)/(\\beta_+\\beta_-)$, and solve $e^{4ik\\ell}=F(k)$ numerically for a moderately large $\\ell$ such as 100; count the roots in each disk $|k-\\pi n/(2\\ell)|<\\pi/(4\\ell)$ for $|n|\\le N_\\ell$. A single disk with zero or two roots would falsify the theorem, as would a choice with $X'_-(0,0)=0$ or $X'_+(d_+,0)=0$ that still produced a well-defined ladder.","tokens_in":9449,"feed_emoji":"📏","tokens_out":8037,"duration_ms":75548,"temperature":0.7,"pith_summary":"This paper proves that a one-dimensional Schrödinger operator with a potential made of two compactly supported complex bumps separated by a large distance $\\ell$ carries a long ladder of complex wavenumbers $k_n$ that are almost equally spaced, one in each small disk centered at $\\pi n/(2\\ell)$. Each $k_n$ solves the scattering condition $e^{4ik\\ell}=F(k)$, and depending on the sign of its imaginary part it is either a resonance or an eigenvalue of the operator. The proof supplies an explicit iteration and two absolutely convergent series for every $k_n$, together with uniform error bounds that do not depend on $n$. A sympathetic reader would care because the result works for arbitrary complex potentials, predicts both pure resonance ladders and mixed ladders of resonances and eigenvalues, and matches the classical Fabry-Pérot resonance condition.","feed_headline":"Two distant bumps create equidistant wavenumber ladders","feed_subtitle":"Large separation forces a predictable ladder of resonances and eigenvalues near the real axis.","key_machinery":"The central object is the function $F(k)$, a product of two ratios built from the outgoing solutions $X_\\pm$ of the separated potentials; it encodes the reflection data of each bump and satisfies $F(0)=1$ under the non-degeneracy condition. The proof reduces the existence of nontrivial solutions of the original problem to the equation $e^{4ik\\ell}=F(k)$, whose roots are exactly the wavenumbers in question. Near $k=0$ the logarithm of $F$ is holomorphic, so the equation becomes a fixed-point problem $z=-(i/(4\\ell))\\ln F(z+a_n)$, and the contraction-mapping principle together with a combinatorial identity for iterated derivatives yields the uniqueness, iteration, and series expansions of Theorem 1. Thus the large-separation ladder is a consequence of the reflection product of the two bumps, independent of further details of $V_\\pm$.","core_discovery":"Under the non-degeneracy assumptions $X'_-(0,0)\\neq 0$ and $X'_+(d_+,0)\\neq 0$, Theorem 1 asserts that for every integer $n$ with $|n|\\le \\lfloor 2\\ell r/\\pi - 1/2\\rfloor$ the disk $|k-\\pi n/(2\\ell)|<\\pi/(4\\ell)$ contains exactly one wavenumber $k_n(\\ell)$ for which problem (1) has a non-trivial solution. This $k_n$ is either a resonance or an eigenvalue, and it can be located by iterating the map $h_n(k)=-(i/(4\\ell))\\ln F(k+\\pi n/(2\\ell))$; the iteration error is bounded explicitly in (6), and the wavenumber has two absolutely convergent series expansions in powers of $1/\\ell$ with the remainder estimates (8) and (9). The value $k_n$ is a root of $e^{4ik\\ell}=F(k)$, where $F$ is a product of reflection coefficients for the two separate bumps, so the entire ladder is governed by scattering data of the two compact pieces alone.","pith_inferences":["The paper does not pursue it, but the sign of $\\Re\\ln F$ could be engineered by choosing bump parameters, which would allow designing mixed ladders with a prescribed alternation of resonances and eigenvalues.","A natural testable extension would be to replace compact supports by rapidly decaying tails; the proof's reliance on $F$ near $k=0$ suggests similar ladders may survive, but this is not established here.","The power-law rather than exponentially small dependence on $\\ell$ of the eigenvalue corrections indicates that the mechanism is not conventional double-well tunneling despite the two separated bumps; comparing the ladder with tunneling asymptotics in a simple example could clarify the distinction."],"forward_implications":["For a real-valued bipartite potential the ladder consists only of resonances, lying in the lower complex half-plane of $k$; for a complex potential the same ladder can contain resonances and eigenvalues side by side, with the sign of $\\Re\\ln F$ deciding which is which.","The number of wavenumbers grows linearly with $\\ell$, roughly $2\\ell r/\\pi$, while the spacing $\\pi/(2\\ell)$ shrinks, so increasing the separation produces a progressively denser cluster of eigenvalues and resonances near the real axis.","Each $k_n$ can be computed numerically by iterating $h_n$; the error bound in (6) is uniform in $n$, so the procedure remains reliable up to indices proportional to $\\ell$.","Because only $F$ matters, the theorem extends without change to more general localized perturbations, including delta-interactions $V_\\pm=\\beta_\\pm\\delta(x)$ and second-order differential operators with compactly supported coefficients, as long as the corresponding $F$ is well defined."],"supporting_citations":[{"why":"Supplies the discrete Schroedinger analogue whose closely spaced resonances motivate the continuous model and the ladder picture extended here.","marker":"[9]"},{"why":"Provides the continuous periodic-system setting where resonances accumulate along a curve, against which the present equidistant ladder is compared.","marker":"[10]"},{"why":"Gives an earlier existence result for resonances of distant perturbations with a non-uniform asymptotic expansion, which the present uniform ladder improves.","marker":"[18]"},{"why":"Describes the resolvent splitting for distant perturbations, showing the limiting single-potential spectrum that the newly found ladder supplements.","marker":"[16]"},{"why":"Supplies the Fabry-Perot interferometer resonance condition used to interpret the spacing $\\pi/(2\\ell)$ physically.","marker":"[11]"}],"fun_headline_variants":["Two separated bumps: equidistant wavenumber ladders","Scattering data yields equidistant resonance ladders","Bipartite potentials: resonance ladders near real axis","Fabry-Perot-like ladders from two distant potentials"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"For the theorem to hold, the scattering data of each isolated bump must be non-degenerate at zero wavenumber, meaning two specific derivatives must be nonzero, and the bump separation must be large enough that the fixed-point iteration is a contraction; if either condition fails, the asserted one-root-per-disk ladder is not guaranteed.","fun_headline_variants_meta":{"raw":{"variants":["Two separated bumps: equidistant wavenumber ladders","Scattering data yields equidistant resonance ladders","Bipartite potentials: resonance ladders near real axis","Fabry-Perot-like ladders from two distant potentials"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000244,"raw_usage":{"total_tokens":1509,"prompt_tokens":901,"completion_tokens":608,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":517,"completion_tokens_details":{"reasoning_tokens":543}},"tokens_in":517,"tokens_out":608,"duration_ms":6510,"temperature":1.0,"reasoning_tokens":543,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T12:48:40.147812+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take the two delta-interactions $V_\\pm=\\beta_\\pm\\delta(x)$ with $\\beta_\\pm\\neq 0$, for which $F(k)=(2ik-\\beta_+)(2ik-\\beta_-)/(\\beta_+\\beta_-)$, and solve $e^{4ik\\ell}=F(k)$ numerically for a moderately large $\\ell$ such as 100; count the roots in each disk $|k-\\pi n/(2\\ell)|<\\pi/(4\\ell)$ for $|n|\\le N_\\ell$. A single disk with zero or two roots would falsify the theorem, as would a choice with $X'_-(0,0)=0$ or $X'_+(d_+,0)=0$ that still produced a well-defined ladder.","supporting_citations":[{"cited_title":"Klopp, Resonances for large one-dimensional “ergodic” syst ems, Anal","cited_arxiv_id":null,"evidence_quote":"Supplies the discrete Schroedinger analogue whose closely spaced resonances motivate the continuous model and the ladder picture extended here."},{"cited_title":"Barra and P","cited_arxiv_id":null,"evidence_quote":"Provides the continuous periodic-system setting where resonances accumulate along a curve, against which the present equidistant ladder is compared."},{"cited_title":"Albeverio, F","cited_arxiv_id":null,"evidence_quote":"Gives an earlier existence result for resonances of distant perturbations with a non-uniform asymptotic expansion, which the present uniform ladder improves."},{"cited_title":"Borisov and A","cited_arxiv_id":null,"evidence_quote":"Describes the resolvent splitting for distant perturbations, showing the limiting single-potential spectrum that the newly found ladder supplements."},{"cited_title":"Born and E","cited_arxiv_id":null,"evidence_quote":"Supplies the Fabry-Perot interferometer resonance condition used to interpret the spacing $\\pi/(2\\ell)$ physically."}],"review_version":1}