The quantum layer conjecture: bound states in hard-wall layers over nonplanar asymptotically flat surfaces with finite total curvature

A quantum layer is the tubular neighbourhood of constant width $2a$ about a surface $\Sigma\subset\mathbb{R}^3$, and its Hamiltonian is the Dirichlet Laplacian. Since Duclos, Exner and Krejčiřík (2001) proved that bending a planar layer creates geometrically induced bound states (isolated eigenvalues below the essential-spectrum threshold $(\pi/2a)^2$), the central conjecture of the field — restated as Conjecture 1 by Lin and Lu (2007) — asks whether this holds universally: for every complete, noncompact, asymptotically flat, non-totally-geodesic surface with integrable Gauss curvature and every admissible thickness, is the discrete spectrum nonempty? The conjecture is now settled for sufficiently thin layers (Lu–Rowlett 2012, via parabolicity of finite-total-curvature surfaces) and for thick layers in several regimes (nonpositive total curvature or nonnegative Gauss curvature, ruled surfaces, convex graphs, cylindrically symmetric ends). The open core is the thick-layer regime for surfaces whose Gauss curvature changes sign while the total curvature is positive, without auxiliary hypotheses: prove existence, or construct a counterexample.

Background

Curved quantum layers model a quantum particle confined by impenetrable walls to a shell of constant width $2a$ about an unbounded surface $\Sigma$ in $\mathbb{R}^3$ (physically, an electron trapped between two semiconductor layers bent into the same shape). Writing $N$ for a unit normal field on $\Sigma$, the layer is the manifold $\Omega_a\simeq\Sigma\times(-a,a)$ endowed with the pullback of the Euclidean metric through the map $(x,u)\mapsto x+uN(x)$, and the Hamiltonian is the Dirichlet Laplacian $-\Delta_D^{(a)}$, the self-adjoint Friedrichs extension of $-\operatorname{div}\nabla$ on $C_0^\infty(\Omega_a)$; Dirichlet boundary conditions encode the hard walls. The thickness $a$ must satisfy $a\,\sup\|B\|<1$, where $B$ is the second fundamental form (the normal-curvature matrix measuring how $\Sigma$ bends in $\mathbb{R}^3$), so that the layer does not fold onto itself.

The spectrum splits into isolated eigenvalues of finite multiplicity (the discrete spectrum, whose eigenfunctions are localized bound states) and the essential spectrum. For the flat layer $\mathbb{R}^2\times(-a,a)$ the spectrum is purely essential and begins at $(\pi/2a)^2$, the lowest Dirichlet eigenvalue of the transverse interval. For layers over asymptotically flat surfaces — meaning $\|B\|\to0$ at infinity — Duclos, Exner and Krejčiřík proved $\inf\sigma_{\mathrm{ess}}\ge(\pi/2a)^2$, and Krejčiřík and Lu later showed that the essential spectrum equals $[(\pi/2a)^2,\infty)$ under a mild asymptotic-parallelism condition. Consequently a bound state exists as soon as the Rayleigh quotient of some compactly supported test function falls below $(\pi/2a)^2$, and the problem becomes a variational question of extracting transverse energy from geometry.

Duclos, Exner and Krejčiřík (2001) achieved this when the total curvature satisfies $\int_\Sigma K\,d\Sigma\le0$ (where $K$ is the Gauss curvature, the intrinsic product of the two principal curvatures), and under auxiliary hypotheses: a pole plus $C^3$ smoothness with small $a$, square-integrability of the gradient of the mean curvature $H$ together with infinite total mean curvature, or cylindrical symmetry of an end. They also built a non-asymptotically-flat layer with empty discrete spectrum, showing that the flatness hypothesis cannot be dropped. Carron, Exner and Krejčiřík (2004) removed the pole assumption, treated topologically nontrivial layers, and settled the case of a cylindrically symmetric end with positive total curvature. Lin and Lu then settled positive-total-curvature regimes: convex graphs (2007), embedded surfaces ruled (filled with straight lines) outside a compact set (2007), and — in Lu's 2007 single-author preprint (arXiv 0708.1563), whose full-thickness result was incorporated as Theorem 1.4 of Lu–Rowlett (2012) — surfaces with $K\ge0$ at full admissible thickness.

Two classical structure theorems organize the remaining case, in which the Gauss curvature changes sign but $\int_\Sigma K\,d\Sigma>0$. By Huber's theorem, a complete surface with $K\in L^1(\Sigma)$ is conformally a compact Riemann surface with finitely many points removed; by Hartman's analysis of ends via geodesic parallel coordinates, positive total curvature forces $\Sigma$ to be diffeomorphic to $\mathbb{R}^2$ with $0<\int_\Sigma K\,d\Sigma\le2\pi$. Moreover $K\in L^1(\Sigma)$ implies that $\Sigma$ is parabolic (it carries no positive Green's function, equivalently every compact subset has zero Newtonian capacity), which is the analytic property behind the modern proofs. White's theorem shows the hypothesis can be weakened to integrability of the negative part of the curvature. Lu and Rowlett (2012) exploited parabolicity to prove the conjecture for every surface in the class when the layer is sufficiently thin, and settled $K\ge0$ at full admissible thickness; but for sign-changing curvature with positive total curvature their method — like all its predecessors — requires thinness. The thick-layer question for this class is the open core of the conjecture.

Problem Statement

Let $\Sigma$ be a connected, orientable, complete, noncompact $C^2$ surface isometrically immersed in $\mathbb{R}^3$ (Conjecture 1 is stated for immersed surfaces; the principal proved cases assume in addition that the immersion is an embedding, so that the layer is a non-self-overlapping subset of $\mathbb{R}^3$) such that:

1. $\Sigma$ is asymptotically flat: $\|B\|\to0$ at infinity, where $B$ is the second fundamental form;
2. $\Sigma$ is not totally geodesic (equivalently, not contained in a plane);
3. the Gauss curvature is integrable, $K\in L^1(\Sigma)$ (by White's theorem, $\int_\Sigma K^-\,d\Sigma<\infty$ suffices, where $K^-=\max\{-K,0\}$).

For $a>0$ with $a\,\sup_\Sigma\|B\|<1$, let $\Omega_a\simeq\Sigma\times(-a,a)$ be the quantum layer of width $2a$: the manifold $\Sigma\times(-a,a)$ endowed with the pullback of the Euclidean metric through $(x,u)\mapsto x+uN(x)$, where $N$ is a unit normal field on $\Sigma$. Let $-\Delta_D^{(a)}$ be its Dirichlet Laplacian; then $\inf\sigma_{\mathrm{ess}}\ge(\pi/2a)^2$.

Prove or disprove (Conjecture 1 of Lin–Lu 2007, originating in Duclos–Exner–Krejčiřík 2001): for every such surface $\Sigma$ and every admissible thickness $a\in(0,\sup\|B\|^{-1})$, the discrete spectrum of $-\Delta_D^{(a)}$ (its isolated eigenvalues of finite multiplicity) is nonempty.

The part of this question that remains open is the thick-layer regime — $a$ arbitrary in the admissible range with no smallness restriction — for surfaces whose Gauss curvature changes sign while $\int_\Sigma K\,d\Sigma>0$, without symmetry, ruledness, convexity, nonnegative-curvature, or mean-curvature-derivative hypotheses; the immersed (non-embedded) case at the same generality is likewise unsettled. (For sufficiently thin layers the statement holds for every such $\Sigma$ by the parabolicity argument of Lu–Rowlett, and it holds at full thickness in the settled regimes: nonpositive total curvature, nonnegative Gauss curvature, ruled surfaces, convex graphs, and cylindrically symmetric ends.)

References

1. Christopher Lin and Zhiqin Lu, Quantum layers over surfaces ruled outside a compact set, Journal of Mathematical Physics 48 (2007), 053522. DOI: 10.1063/1.2736518, https://doi.org/10.1063/1.2736518 (arXiv: math/0701349, https://arxiv.org/abs/math/0701349)
2. Pierre Duclos, Pavel Exner and David Krejčiřík, Bound states in curved quantum layers, Communications in Mathematical Physics 223 (2001), 13–28. DOI: 10.1007/pl00005582, https://doi.org/10.1007/pl00005582 (arXiv: math-ph/0102033, https://arxiv.org/abs/math-ph/0102033)
3. G. Carron, P. Exner and D. Krejčiřík, Topologically nontrivial quantum layers, Journal of Mathematical Physics 45 (2004), 774–784. DOI: 10.1063/1.1635998, https://doi.org/10.1063/1.1635998
4. Christopher Lin and Zhiqin Lu, On the discrete spectrum of generalized quantum tubes, Communications in Partial Differential Equations 31 (2006), 1529–1546. DOI: 10.1080/03605300600635111, https://doi.org/10.1080/03605300600635111
5. Christopher Lin and Zhiqin Lu, Existence of bound states for layers built over hypersurfaces in R^{n+1}, Journal of Functional Analysis 244 (2007), 1–25. DOI: 10.1016/j.jfa.2006.11.017, https://doi.org/10.1016/j.jfa.2006.11.017
6. Zhiqin Lu, On the ground state of quantum layers, preprint (2007). arXiv: 0708.1563, https://arxiv.org/abs/0708.1563
7. Zhiqin Lu and Julie Rowlett, On the discrete spectrum of quantum layers, Journal of Mathematical Physics 53 (2012), 073519. DOI: 10.1063/1.4736412, https://doi.org/10.1063/1.4736412 (arXiv: 1110.6807, https://arxiv.org/abs/1110.6807)
8. David Krejčiřík and Zhiqin Lu, Location of the essential spectrum in curved quantum layers, Journal of Mathematical Physics 55 (2014), 083520. DOI: 10.1063/1.4893035, https://doi.org/10.1063/1.4893035 (arXiv: 1211.2541, https://arxiv.org/abs/1211.2541)
9. David Krejčiřík and Jan Kříž, Bound states in soft quantum layers, Publications of the Research Institute for Mathematical Sciences 60 (2024), 741–766. DOI: 10.4171/prims/60-4-4, https://doi.org/10.4171/prims/60-4-4 (arXiv: 2205.04919, https://arxiv.org/abs/2205.04919)
10. Philip Hartman, Geodesic parallel coordinates in the large, American Journal of Mathematics 86 (1964), 705. DOI: 10.2307/2373154, https://doi.org/10.2307/2373154
11. Alfred Huber, On subharmonic functions and differential geometry in the large, Commentarii Mathematici Helvetici 32 (1957), 13–72. DOI: 10.1007/bf02564570, https://doi.org/10.1007/bf02564570
12. Brian White, Complete surfaces of finite total curvature, Journal of Differential Geometry 26 (1987), 315–326. DOI: 10.4310/jdg/1214441372, https://doi.org/10.4310/jdg/1214441372
13. Pavel Exner and Miloš Tater, Spectrum of Dirichlet Laplacian in a conical layer, Journal of Physics A: Mathematical and Theoretical 43 (2010), 474023. DOI: 10.1088/1751-8113/43/47/474023, https://doi.org/10.1088/1751-8113/43/47/474023
14. F. L. Bakharev and A. I. Nazarov, Existence of the discrete spectrum in the Fichera layers and crosses of arbitrary dimension, Journal of Functional Analysis 281 (2021), 109071. DOI: 10.1016/j.jfa.2021.109071, https://doi.org/10.1016/j.jfa.2021.109071 (arXiv: 2006.12045, https://arxiv.org/abs/2006.12045)
15. Fedor Bakharev and Sergey Matveenko, Monotonicity of discrete spectra of Dirichlet Laplacian in 3-dimensional layers, preprint (2025). arXiv: 2508.12696, https://arxiv.org/abs/2508.12696
16. Christopher Lin and Dylan Mitchell, Asymptotically straight quantum waveguides with axial symmetry in two and three dimensions, Journal of Applied Analysis (2026). DOI: 10.1515/jaa-2025-0156, https://doi.org/10.1515/jaa-2025-0156