{"id":"9786373d-6639-41fd-b8e8-9b057c0d14e2","arxiv_id":"2504.17345","paper_version":1,"verdict":"ACCEPT","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"No nonzero L2 solution of the Helmholtz equation exists in a 2D junction of three stratified half-planes with branch angles at least pi/2; hence no trapped modes there.","lead":"The paper proves that no nonzero square-integrable solution of the 2D Helmholtz equation can exist in a junction of three stratified half-planes when the angles between branches are at least 90 degrees. This gives a rigorous absence of trapped modes for a class of open waveguide junctions.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"False boundedness of generalized eigenfunctions in the total-reflection regime undercuts the pointwise Fourier-transform formulas used in the proof.","rationale":"The paper's central argument is built on the generalized Fourier transform and its half-plane representation. The reader flagged the external diagonalization theorem as the weakest input; stress-testing the internal use of that transform reveals a more specific and checkable flaw. Proposition 2.1(i) is used to define the transform on L1 and to justify the starting point bφ^+_n(λ)=∫φ_n Ψ^+_n dx in Section 3. In the total-reflection band, the asserted uniform bound fails; the kernel grows exponentially, so the integral may not exist for the L1 trace φ_n. This would invalidate the pointwise vanishing and analyticity argument unless the proof is reorganized, for example by working only on the common real interval where both β± are real, or by choosing the decaying branch for the evanescent mode. Because the flaw is concrete and localized but appears repairable, the appropriate verdict is conditional acceptance rather than rejection.","tokens_in":22818,"tokens_out":48579,"duration_ms":451278,"concrete_test":"Evaluate formula (2.5) at k_-=2, k_+=1, λ=-3, x=5: β_+=i√2, T_-=2/(1+i√2), so |Ψ_-(λ,5)|=|T_-| e^{5√2}≈1.155·1175≈1357, contradicting the |Ψ±|≤2 bound of Proposition 2.1(i). If the computation reproduces this value, the boundedness assertion and the pointwise definition of the generalized Fourier transform in (2.11) for L1 functions in the total-reflection interval are false as stated.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"Proposition 2.1(i) asserts |Ψ±(λ,x)|≤2 for all λ∈Λ± and x∈R, and this bound is used to define F±φ in (2.11) as an absolutely convergent integral for φ∈L1 and to justify the initial formula for bφ^+_n in Section 3. The bound is false in the total-reflection regime. Take k_-=2, k_+=1 and λ=-3∈Λ_-=(-4,-1). Then β_+=i√2 by (2.6), and (2.5) gives Ψ_-(λ,x)=T_- e^{-iβ_+x}=T_- e^{√2 x} for x>0. Since |T_-|=2/√3, |Ψ_-(5)|≈1357≫2. More generally, whenever k_->k_+ and -k_-^2<λ<-k_+^2, |Ψ_-(λ,x)| grows like e^{√(-λ-k_+^2)x}. Hence (2.8) fails exactly on the interval where one branch becomes evanescent, and the integral in (2.11) need not converge for L1 φ. The same issue appears in the 'bounded in any compact set of D×R' statements in Propositions 2.1(ii) and 4.4: for non-real λ with Imβ>0, Ψ_+ contains e^{-iβx}, which grows as x→+∞. The proof can likely be repaired by restricting the initial pointwise identities to the interval where both β_- and β_+ are real and then using analytic continuation, or by choosing the decaying branch for the evanescent mode; but as written the foundational bound and the derived integral formulas are not valid.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proves a Rellich-type uniqueness theorem for the two-dimensional Helmholtz equation in unbounded domains formed as junctions of three stratified half-planes, with the angles between branches at least pi/2. The proof has two main ingredients: a generalized Fourier transform that diagonalizes the transverse operator -d_x^2 - k(x)^2 in each stratified half-plane, and an analytic continuation argument in the spectral variable that forces the spectral traces of an L^2 solution to vanish. The two-layer case is treated with explicit generalized eigenfunctions, and the general stratified case is handled through a diagonalization theorem imported from [12] and a meromorphic continuation result proved in Appendix A. The stated byproduct is the absence of trapped modes at junctions of open waveguides under the same angle condition.","tokens_in":23167,"tokens_out":6450,"duration_ms":65230,"significance":"The result is a natural and valuable extension of Rellich's uniqueness theorem to non-homogeneous unbounded media, with concrete consequences for the spectral theory of open waveguide junctions. The paper is clearly structured, and the two-layer calculation is instructive and mostly self-contained. However, the proof as written relies on a uniform boundedness statement for generalized eigenfunctions that is false in the total-reflection regime; this is a load-bearing gap in the analytic continuation arguments. If the gap is repaired, the theorem is likely to stand, but the current manuscript cannot be accepted without substantial revision.","major_comments":[{"comment":"The asserted bound |Psi_+(lambda,x)| <= 2 for all (lambda,x) in Lambda_+ times R is false. For example, take k_-=2, k_+=1, and lambda=-3 in Lambda_-=(-4,-1). Then beta_+=i sqrt(2) by (2.6), and (2.5) gives Psi_-(lambda,x)=T_- e^{-i beta_+ x}=T_- e^{sqrt(2) x} for x>0. Since |T_-|=2/sqrt(3), |Psi_-(5)| approx 1357 >> 2. The bound fails exactly on the interval -k_-^2 < lambda < -k_+^2 where one branch is evanescent. This invalidates the justification of (2.11) for phi in L^1(R) in Remark 2.4, the integrability claim in Remark 2.6, and the Fubini estimate in the proof of Corollary 2.7.","section":"Sec. 2.1, Proposition 2.1(i), Eq. (2.8)"},{"comment":"The statement that the analytic continuations of Psi_+(lambda,x) are bounded in any compact set of D times R is also false for non-real lambda. When Im beta_+ > 0, the term e^{-i beta_+ x} is unbounded as x -> +infty, even on compact subsets of D. The same problem appears in Proposition 4.4, where the meromorphic continuations are claimed to be bounded in any compact set of (D\\P) times R. This matters because the Morera-theorem arguments in Section 3 require a locally uniform bound in the spatial variable, not merely pointwise analyticity in lambda for fixed x.","section":"Sec. 2.1, Proposition 2.1(ii) and Sec. 4.2, Proposition 4.4"},{"comment":"The core analyticity argument for bphi_n^+ is not justified by the stated estimates. In the treatment of bphi_{n,w}(lambda), the proof uses (2.8) to bound |Psi_n^+(lambda,x)| and |Psi_w^+(mu,x_w)|, but those bounds are false when one of the transverse wavenumbers is imaginary. For complex lambda in D_n, the exponential growth of the generalized eigenfunction in the direction of the evanescent branch is not controlled by the half-plane representation in the written proof, because the decay e^{-sqrt(mu) y_w} can be overcome by the growth of Psi_n^+. A repair likely requires restricting the initial identities to the interval where both beta_- and beta_+ are real and then using analytic continuation of the semiexplicit expressions, or explicitly choosing the decaying branch for evanescent modes; but as written, the claim that bphi_n^+ has a meromorphic continuation in D_n is not established.","section":"Sec. 3.1 and Sec. 3.2, analytic continuation of bphi_n^+"}],"minor_comments":[{"comment":"The phrase 'provided the unique continuation principle in R^2\\Omega holds true' is imprecise: the equation is not imposed in R^2\\Omega. The intended argument is that u vanishes in H_n, and then unique continuation inside each connected half-plane H_w and H_e propagates the vanishing. This should be stated explicitly.","section":"Sec. 1.1"},{"comment":"In Figure 4, the entry 'Undefined' for Psi_+ on the interval (-k_-^2,-k_+^2) is correct because this interval lies outside Lambda_+, but the caption or the figure legend should clarify that the table displays the behavior only on the domain of definition of each function.","section":"Sec. 2.1, Figure 4"},{"comment":"The notation Lambda_{n,w} is used for a curve in the spectral parameter plane, which is easily confused with the half-lines Lambda_+ and Lambda_- used earlier. A different symbol, such as Gamma_{n,w}, would improve readability.","section":"Sec. 3.2"}],"recommendation":"major_revision","confidential_remarks":"The central theorem is plausible and the overall strategy is sound, but the false boundedness assertion in Proposition 2.1 is a genuine gap that the authors should be required to fix. The referee recommends major revision rather than rejection because the two-layer case can likely be repaired by restricting the pointwise formulas to the real interval with both beta's real and then using analytic continuation; the general case in Section 4 will need a careful reworking of the corresponding estimates."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The result is genuinely new: a Rellich-type uniqueness theorem for the Helmholtz equation in junctions of three stratified half-planes, with no boundary condition required. The two-layer case is worked out in full detail, with explicit eigenfunctions, analyticity checks, and integrability estimates; the general stratification case is convincingly reduced to a meromorphic-continuation argument in the appendix plus an imported diagonalization theorem from Ott's thesis. The paper also states its limitations honestly: angles below π/2, three dimensions, and the possible role of trapped modes in closed waveguides are all flagged as open or excluded. No overclaiming.\n\nThe stress-test concern does not survive reading the paper. Proposition 2.1(i) is correct: for Ψ_-, the branch on x>0 is T_- e^{iβ_+ x}, not T_- e^{-iβ_+ x}. When β_+ is imaginary, iβ_+ is real negative, so the exponential decays rather than grows. The counterexample flips the sign. The second concern about analytic continuation for non-real λ is also a non-issue, since Proposition 2.1(ii) only claims boundedness on compact subsets of D×R, which follows from continuity.\n\nSoft spots are minor. The general-stratification diagonalization theorem is imported rather than proved; for a self-contained paper that is a gap, but the two-layer case is fully justified and the external source is standard in this niche. The analytic continuation in the general-angle case lives on a domain with branch curves, and the argument only needs vanishing on a neighborhood of (0,∞), which is sufficient. The proof is somewhat dense and would benefit from a short summary of where each external input enters, but that is exposition, not substance.\n\nThe citation pattern looks healthy: self-citations to [3] are limited to the proof scheme and the conical-domain antecedent, and the generalized Fourier transform is credited to Ott and to Titchmarsh's framework. No fitting, no invented entities, no hidden parameters.\n\nWho is this for? Researchers in mathematical wave propagation, open waveguides, and spectral theory. This is a solid, useful contribution that deserves serious referee time. I would cite it and would bring it to a reading group. Recommend sending it to peer review with no hesitation.","headline":"The theorem is real, the proof is solid, and the stress-test's boundedness counterexample rests on a sign error in the eigenfunction exponent.","tokens_in":23678,"tokens_out":2533,"would_cite":true,"duration_ms":24202,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["35A05","35J05","42A38","78A50"],"pacs":[],"model":"deepseek-v4-flash","headline":"A Rellich-type uniqueness theorem holds for junctions of three stratified half-planes: the only square-integrable Helmholtz solution is zero.","keywords":["Helmholtz equation","stratified media","open waveguides","Rellich uniqueness theorem","generalized Fourier transform","trapped modes","embedded eigenvalues","junction of half-planes"],"falsifier":"Construct or compute a nonzero $u\\in L^2(\\Omega)$ satisfying $-\\Delta u-k^2u=0$ distributionally in a three-half-plane junction with branch angles at least $\\pi/2$; because the theorem claims none exists, any such example found by a high-resolution finite-element solve with perfectly matched layers would settle the claim false. A cheaper check is to verify numerically that the northern spectral components $\\hat\\varphi_{n,\\pm}$ vanish to machine precision on a nontrivial parameter interval, since failure there would break the analytic-continuation conclusion.","tokens_in":22673,"feed_emoji":"🌊","tokens_out":5138,"duration_ms":48578,"temperature":0.7,"pith_summary":"The paper proves a uniqueness theorem for the two-dimensional Helmholtz equation in unbounded domains formed by gluing three stratified half-planes, where each half-plane has a wavenumber that varies only across its own boundary direction and becomes constant outside a compact region. Theorem 1.1 states that if the branch angles are at least $\\pi/2$, then any square-integrable solution to $-\\Delta u-k^2u=0$ is identically zero, with no boundary condition imposed on the notch between branches. This matters because such domains model junctions of open optical or acoustic waveguides, so the result rules out trapped modes and, spectrally, embedded eigenvalues in the essential spectrum. The proof follows the Rellich strategy: represent the solution in each half-plane through a modal decomposition, then use analytic continuation in the spectral variable to force every modal coefficient of the whole solution to vanish.","feed_headline":"Three-way stratified junctions admit no trapped waves","feed_subtitle":"A Rellich-type theorem shows the Helmholtz equation has only the zero solution when all branch angles are at least 90 degrees.","key_machinery":"The load-bearing object is the generalized Fourier transform $\\mathcal{F}$, the unitary diagonalization of the transverse operator $A=-\\partial_x^2-k^2$ on $L^2(\\mathbb{R})$, whose generalized eigenfunctions $\\Psi_\\pm(\\lambda,x)$ are scattering waves of the stratified half-plane with reflection and transmission coefficients $R_\\pm(\\lambda)$, $T_\\pm(\\lambda)$. Applied to the boundary trace of $u$, it yields the half-plane representation $u(x,y)=\\sum_\\pm\\int_{\\mathbb{R}_+}\\hat\\varphi_\\pm(\\lambda)\\Psi_\\pm(\\lambda,x)e^{-\\sqrt{\\lambda}\\,y}\\rho_\\pm(\\lambda)\\,d\\lambda$, in which $\\lambda$ is a spectral parameter. The paper then proves that the northern trace's spectral components extend meromorphically or analytically to a domain $D_n$ outside certain obstruction curves $\\Lambda_{n,w}$, $\\Lambda_{n,e}^\\pm$, and uses the isolated zeros principle to conclude that they vanish.","core_discovery":"The central discovery is that the classical Rellich uniqueness theorem, known for homogeneous exterior domains, survives when the medium is inhomogeneous but stratified in three half-planes meeting at angles at least $\\pi/2$. In the paper's own terms: if $u\\in L^2(\\Omega)$, $k\\in L^\\infty(\\Omega)$ is built from three transverse stratifications, and $-\\Delta u-k^2u=0$ holds distributionally in $\\Omega$, then $u=0$. The proof uses a half-plane representation of $u$ in each branch, derived from a generalized Fourier transform that diagonalizes the transverse operator $-\\partial_x^2-k^2$. Square-integrability kills the travelling-mode coefficients, and the vanishing of the Fourier data on an interval extends by analyticity to the whole spectral set, so the evanescent coefficients vanish as well; unique continuation then carries $u=0$ into the entire junction.","pith_inferences":["If the paper's conjecture is right, the restriction to angles at least $\\pi/2$ is purely technical; a natural numerical test is to search for trapped modes in Y-junctions with one acute branch, where the analyticity argument no longer applies.","The obstruction curves $\\Lambda_{n,w}$ and $\\Lambda_{n,e}^\\pm$ behave like traces of scattering resonances, and as the branch angles tend to $\\pi/2$ they collapse onto the continuous-spectrum branch cut; tracking the first resonance pole as a function of branch angle could show whether it ever crosses onto the physical sheet.","The same spectral decomposition could in principle handle junctions with more than three half-planes or half-spaces, though the paper notes that its one-dimensional integrability lemma does not extend directly to higher dimensions.","Since the theorem rules out $L^2$ eigenfunctions, any trapped-mode candidate in such a junction would have to be a resonance with complex frequency, and its decay rate could be compared with Landis-type bounds."],"forward_implications":["There are no trapped modes at a junction of open waveguides whenever every angle between branches is at least $\\pi/2$.","The associated self-adjoint operator has no embedded eigenvalues in its essential spectrum $[0,+\\infty)$, and the uniqueness holds no matter what material occupies the notch between the branches.","The conclusion covers general bounded stratifications, including cases where the transverse operator has $L^2$ eigenfunctions; those discrete transverse modes do not contribute to the half-plane representation.","Only positivity of the squared wavenumber in the northern half-plane is needed: $k^2$ may be negative in the southern parts of the west and east branches, so non-propagating regions there cannot rescue a trapped mode.","In the three-dimensional slab geometry $\\Omega\\times\\mathbb{R}$, the result forbids guided waves of the form $\\hat u(x,y)e^{i\\xi z}$ whenever $\\xi^2<\\min(k_{n,+}^2,k_{n,-}^2)$."],"supporting_citations":[{"why":"Supplies the construction and proof of the generalized Fourier transform diagonalizing the transverse operator in general stratified media; Theorems 2.3 and 4.1 rest on it.","marker":"[12]"},{"why":"Provides the model of using generalized Fourier transforms for two-dimensional optical waveguides, motivating the half-plane representation.","marker":"[15]"},{"why":"Gives the Rellich-type theorem for a conical domain whose proof strategy, half-plane representations plus analytic continuation, is directly generalized here.","marker":"[3]"},{"why":"Original Rellich uniqueness theorem for homogeneous exterior domains, the classical statement this paper extends.","marker":"[14]"},{"why":"Earliest absence-of-eigenvalues result for deformed waveguides, underlying the modal-radiation approach.","marker":"[19]"},{"why":"Establishes absence of trapped modes for local perturbations of straight open waveguides, the baseline this theorem extends to junctions.","marker":"[2]"},{"why":"Treats straight junctions of two open waveguides, a previous case now subsumed by the three-branch setting.","marker":"[4]"}],"fun_headline_variants":["No L2 Helmholtz solutions in wide stratified junctions","Rellich-type theorem for stratified junctions: no trapped modes","Wide-angle stratified junctions have no square-integrable solutions","Wide stratified junctions: Rellich theorem yields no trapped modes"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The proof imports rather than proves the unitary diagonalization and inversion formulas of the generalized Fourier transform for stratified media; if those transforms were not unitary or did not recover $L^2$ functions by the stated inversion, the half-plane representation of $u$ would lose its foundation.","fun_headline_variants_meta":{"raw":{"variants":["No L2 Helmholtz solutions in wide stratified junctions","Rellich-type theorem for stratified junctions: no trapped modes","Wide-angle stratified junctions have no square-integrable solutions","Wide stratified junctions: Rellich theorem yields no trapped modes"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001222,"raw_usage":{"total_tokens":4981,"prompt_tokens":857,"completion_tokens":4124,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":473,"completion_tokens_details":{"reasoning_tokens":4062}},"tokens_in":473,"tokens_out":4124,"duration_ms":24575,"temperature":1.0,"reasoning_tokens":4062,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-16T10:42:59.504717+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Construct or compute a nonzero $u\\in L^2(\\Omega)$ satisfying $-\\Delta u-k^2u=0$ distributionally in a three-half-plane junction with branch angles at least $\\pi/2$; because the theorem claims none exists, any such example found by a high-resolution finite-element solve with perfectly matched layers would settle the claim false. A cheaper check is to verify numerically that the northern spectral components $\\hat\\varphi_{n,\\pm}$ vanish to machine precision on a nontrivial parameter interval, since failure there would break the analytic-continuation conclusion.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the construction and proof of the generalized Fourier transform diagonalizing the transverse operator in general stratified media; Theorems 2.3 and 4.1 rest on it."},{"cited_title":"Santosa and R","cited_arxiv_id":null,"evidence_quote":"Provides the model of using generalized Fourier transforms for two-dimensional optical waveguides, motivating the half-plane representation."},{"cited_title":"Bonnet-Ben Dhia, S","cited_arxiv_id":null,"evidence_quote":"Gives the Rellich-type theorem for a conical domain whose proof strategy, half-plane representations plus analytic continuation, is directly generalized here."},{"cited_title":"Rellich, ¨Uber das asymptotische verhalten der l¨ osungen vonδu+λu = 0 in unendlichen ge- bieten, Jahresber","cited_arxiv_id":null,"evidence_quote":"Original Rellich uniqueness theorem for homogeneous exterior domains, the classical statement this paper extends."},{"cited_title":"Weder, Absence of eigenvalues of the acoustic propagator in deformed wave guides , The Rocky Mountain Journal of Mathematics, (1988), pp","cited_arxiv_id":null,"evidence_quote":"Earliest absence-of-eigenvalues result for deformed waveguides, underlying the modal-radiation approach."},{"cited_title":"Bonnet-Ben Dhia, G","cited_arxiv_id":null,"evidence_quote":"Establishes absence of trapped modes for local perturbations of straight open waveguides, the baseline this theorem extends to junctions."},{"cited_title":"Bonnet-Ben Dhia, B","cited_arxiv_id":null,"evidence_quote":"Treats straight junctions of two open waveguides, a previous case now subsumed by the three-branch setting."}],"review_version":1}