A hard-wall quantum layer is the tubular neighborhood of constant width 2a2a about a complete non-compact embedded surface Σ⊂R3\Sigma\subset\mathbb{R}^3, equipped with the Dirichlet Laplacian; it models a quantum particle confined between two parallel curved interfaces. Lu conjectured (2007) that whenever Σ\Sigma is asymptotically planar (second fundamental form vanishing at infinity) and its Gauss curvature is integrable, ∫Σ∣K∣ dΣ<∞\int_\Sigma|K|\,d\Sigma<\infty, the layer always possesses a ground state, i.e. a discrete eigenvalue below the essential-spectrum threshold π2/(4a2)\pi^2/(4a^2). Lu and Rowlett (2012) proved this for sufficiently thin layers — via the parabolicity of finite-total-curvature surfaces — and for non-negative Gauss curvature at every admissible width, but their thinness threshold depends on the individual surface. The surviving open core, posed by the authors as their Conjectures 2 and 3, is the width-uniform version: does a threshold depending only on B∞=sup⁡∥B∥B_\infty=\sup\|B\| exist, or more strongly does every admissible-width layer (aB∞<1aB_\infty<1) over such a surface have a curvature-induced bound state; and does the mean-curvature test-function inequality at infinity of their Conjecture 3 — which via their Theorem 5.1 would imply the width-uniform statement — hold on every such surface with positive total curvature? No later work (through 2026) resolves either question.

Background

The hard-wall quantum layer is one of the three canonical quantum waveguide models describing a quantum particle confined by impenetrable walls to a curved neighborhood of a lower-dimensional set, alongside quantum wires (about curves) and quantum strips. Physically it models an electron in a thin semiconductor film bent in space: two copies of a surface Σ\Sigma are held a fixed distance 2a2a apart and the particle cannot leave the region between them. Mathematically, let Σ⊂R3\Sigma\subset\mathbb{R}^3 be an embedded surface that is C2C^2, orientable, complete, non-compact, and not totally geodesic (not a plane, so that the layer is genuinely bent), and whose second fundamental form BB — the matrix of extrinsic curvatures, whose eigenvalues k1,k2k_1,k_2 are the principal curvatures, with Gauss curvature K=k1k2K=k_1k_2 and mean curvature H=(k1+k2)/2H=(k_1+k_2)/2 — tends to zero at infinity (asymptotic planarity). The layer of width 2a2a is the tubular neighborhood Ωa={x+t N(x): x∈Σ, ∣t∣<a},\Omega_a=\{x+t\,N(x):\ x\in\Sigma,\ |t|<a\}, where NN is a unit normal field; for a B∞<1a\,B_\infty<1 with B∞=sup⁡Σ∥B∥B_\infty=\sup_\Sigma\|B\|, the parallel map is an immersion and the layer does not overlap itself, which is the natural range of admissible widths. The Hamiltonian is the Dirichlet Laplacian −ΔΩaD-\Delta_{\Omega_a}^{D}, the self-adjoint operator on L2(Ωa)L^2(\Omega_a) with wavefunctions vanishing on the boundary. A bound state is an eigenvalue below the essential spectrum: a trapped state whose energy lies under the threshold of propagating states. For such unbounded domains, variational principles of Persson type characterize σ0=inf⁡f∈C0∞(Ωa)∫Ωa∣∇f∣2∫Ωaf2,inf⁡σess=sup⁡K⋐Ωainf⁡f∈C0∞(Ωa∖K)∫Ωa∣∇f∣2∫Ωaf2,\sigma_0=\inf_{f\in C_0^\infty(\Omega_a)}\frac{\int_{\Omega_a}|\nabla f|^2}{\int_{\Omega_a}f^2},\qquad \inf\sigma_{\mathrm{ess}}=\sup_{\mathcal{K}\Subset\Omega_a}\inf_{f\in C_0^\infty(\Omega_a\setminus\mathcal{K})}\frac{\int_{\Omega_a}|\nabla f|^2}{\int_{\Omega_a}f^2}, and a ground state exists exactly when σ0<inf⁡σess\sigma_0<\inf\sigma_{\mathrm{ess}}, the bottom of the essential spectrum. Krejčiřík and Lu proved that for asymptotically planar layers σess=[π2/(4a2),∞)\sigma_{\mathrm{ess}}=[\pi^2/(4a^2),\infty), the spectrum of the flat layer.

Duclos, Exner and Krejčiřík, who introduced the model, showed that bending binds: the discrete spectrum is non-empty as soon as the total Gauss curvature satisfies ∫ΣK dΣ≤0\int_\Sigma K\,d\Sigma\le0 (under mild extra hypotheses), and Carron, Exner and Krejčiřík extended this to further regimes. Lin and Lu proved existence for layers over convex graphs, over surfaces ruled outside a compact set, and under inverse-linear decay of ∥B∥\|B\|. Lu then formulated the general conjecture: existence under nothing but the integrability ∫Σ∣K∣ dΣ<∞\int_\Sigma|K|\,d\Sigma<\infty (finite total curvature). Finite-total-curvature surfaces are rigidly constrained: by Huber's theorem such a surface is conformally a compact Riemann surface with finitely many points removed; by White's theorem ∫ΣK− dΣ<∞\int_\Sigma K^-\,d\Sigma<\infty already forces ∫Σ∣K∣ dΣ<∞\int_\Sigma|K|\,d\Sigma<\infty and the total mean curvature grows at least linearly; and by Hartman's theorem ∫ΣK dΣ=2π(χ(Σ)−∑iλi)\int_\Sigma K\,d\Sigma=2\pi(\chi(\Sigma)-\sum_i\lambda_i) in terms of the isoperimetric constants λi\lambda_i of the ends, so the unresolved case ∫ΣK dΣ>0\int_\Sigma K\,d\Sigma>0 forces Σ\Sigma to be diffeomorphic to R2\mathbb{R}^2 with 0<∫ΣK dΣ≤2π0<\int_\Sigma K\,d\Sigma\le2\pi. Moreover every finite-total-curvature surface is parabolic: it carries no Green's function, equivalently the capacity of its compact subsets tends to zero at infinity.

Lu and Rowlett resolved the conjecture for thin layers: since finite-total-curvature surfaces are parabolic, their theorem that every parabolic asymptotically planar surface yields a non-empty discrete spectrum for sufficiently thin layers implies the conjecture in the thin-width reading (stated explicitly in their Remark 5.1), and their other theorem settles surfaces with K≥0K\ge0 at every admissible width. What their proof loses is uniformity: the thinness threshold α\alpha depends on the individual surface (through auxiliary test functions and curvature decay), not merely on B∞B_\infty, and mean curvature that changes sign at infinity resisted their methods. They therefore posed two questions that remain the open core of the problem: the width-uniform (thick-layer) existence conjecture, and a purely Riemannian-geometric conjecture about a mean-curvature test-function inequality at infinity which would imply it.

Problem Statement

Let Σ⊂R3\Sigma\subset\mathbb{R}^3 be a C2C^2, orientable, complete, non-compact, connected embedded surface which is not totally geodesic and whose second fundamental form BB tends to zero at infinity, and assume finite total curvature ∫Σ∣K∣ dΣ<∞\int_\Sigma|K|\,d\Sigma<\infty. For a width a>0a>0 with aB∞<1aB_\infty<1, where B∞=sup⁡Σ∥B∥B_\infty=\sup_\Sigma\|B\|, let −ΔΩaD-\Delta_{\Omega_a}^{D} be the Dirichlet Laplacian of the layer Ωa={x+tN(x): x∈Σ, ∣t∣<a}\Omega_a=\{x+tN(x):\ x\in\Sigma,\ |t|<a\} of width 2a2a; its essential spectrum is [π2/(4a2),∞)[\pi^2/(4a^2),\infty).

Question 1 (width-uniform existence; Lu-Rowlett's Conjecture 2, the surviving core of Lu's 2007 ground-state conjecture). Does there exist a threshold α=α(B∞)>0\alpha=\alpha(B_\infty)>0, depending only on B∞B_\infty and not on the individual surface, such that for every Σ\Sigma as above and every admissible width a∈(0,α)a\in(0,\alpha), i.e. every a<min⁡{α, 1/B∞}a<\min\{\alpha,\,1/B_\infty\}, the discrete spectrum of −ΔΩaD-\Delta_{\Omega_a}^{D} is non-empty? More strongly — this corresponds to the threshold choice α=1/B∞\alpha=1/B_\infty — does every admissible-width (thick) layer, aB∞<1aB_\infty<1, over such a surface possess a curvature-induced bound state; or does there exist a surface satisfying all the hypotheses and an admissible width whose layer has empty discrete spectrum?

Question 2 (geometric sufficient condition; Lu-Rowlett's Conjecture 3). In the hardest case ∫ΣK dΣ>0\int_\Sigma K\,d\Sigma>0 (then Σ\Sigma is diffeomorphic to R2\mathbb{R}^2 and 0<∫ΣK dΣ≤2π0<\int_\Sigma K\,d\Sigma\le2\pi), does there exist ε0>0\varepsilon_0>0 such that for every R>0R>0 one can find a test function j∈C0∞(Σ∖B(R))j\in C_0^\infty(\Sigma\setminus B(R)) satisfying (∫ΣHj dΣ)2>ε0∫Σ(∣∇j∣2+j2) dΣ,\Big(\int_\Sigma Hj\,d\Sigma\Big)^2>\varepsilon_0\int_\Sigma\big(|\nabla j|^2+j^2\big)\,d\Sigma, where HH is the mean curvature and B(R)B(R) a compact geodesic ball?

By Lu-Rowlett's Theorem 5.1, an affirmative answer to Question 2 yields a non-empty discrete spectrum at every admissible width for the surfaces with ∫ΣK dΣ>0\int_\Sigma K\,d\Sigma>0, and combined with the previously established results for ∫ΣK dΣ≤0\int_\Sigma K\,d\Sigma\le0 (their Remark 5.2) it gives Question 1 with a threshold α(B∞)\alpha(B_\infty) depending only on B∞B_\infty. Conversely, a negative answer to the admissible-width alternative within Question 1 amounts to exhibiting an admissible-width layer over a parabolic, asymptotically planar, finite-total-curvature surface with empty discrete spectrum — the alternative explicitly raised by the authors. An affirmative answer to Question 1 in either form — a proof of the surface-uniform threshold α(B∞)\alpha(B_\infty), or of the all-admissible-width statement — settles the width-uniform core of Lu's ground-state conjecture, and an affirmative answer to Question 2 settles it as well, via Theorem 5.1. A single admissible-width counterexample, however, refutes only the all-admissible-width (α=1/B∞\alpha=1/B_\infty) form; it leaves the surface-independent-threshold form open, because the uniform threshold α(B∞)\alpha(B_\infty) may lie below the width at which the counterexample occurs, so settling that form negatively requires a family of admissible-width counterexamples with widths tending to 00. A negative answer to Question 2 would only refute this particular geometric sufficient condition and would leave Question 1 open.

References

  1. Zhiqin Lu, On the ground state of quantum layers, unpublished preprint, arXiv:0708.1563 (2007), https://arxiv.org/abs/0708.1563
  2. Zhiqin Lu and Julie Rowlett, On the discrete spectrum of quantum layers, J. Math. Phys. 53, 073519 (2012), DOI 10.1063/1.4736412, arXiv:1110.6807, https://arxiv.org/abs/1110.6807
  3. David Krejčiřík and Zhiqin Lu, Location of the essential spectrum in curved quantum layers, J. Math. Phys. 55, 083520 (2014), DOI 10.1063/1.4893035, arXiv:1211.2541, https://arxiv.org/abs/1211.2541
  4. Pierre Duclos, Pavel Exner and David Krejčiřík, Bound states in curved quantum layers, Comm. Math. Phys. 223, 13-28 (2001), DOI 10.1007/PL00005582, arXiv:math-ph/0102033, https://arxiv.org/abs/math-ph/0102033
  5. G. Carron, P. Exner and D. Krejčiřík, Topologically nontrivial quantum layers, J. Math. Phys. 45, 774-784 (2004), DOI 10.1063/1.1635998, arXiv:math-ph/0302025, https://arxiv.org/abs/math-ph/0302025
  6. Christopher Lin and Zhiqin Lu, Existence of bound states for layers built over hypersurfaces in R^{n+1}, J. Funct. Anal. 244, 1-25 (2007), DOI 10.1016/j.jfa.2006.11.017, arXiv:math/0402252, https://arxiv.org/abs/math/0402252
  7. Christopher Lin and Zhiqin Lu, Quantum layers over surfaces ruled outside a compact set, J. Math. Phys. 48, 053522 (2007), DOI 10.1063/1.2736518, arXiv:math/0701349, https://arxiv.org/abs/math/0701349
  8. Pedro Freitas and David Krejčiřík, A lower bound to the spectral threshold in curved quantum layers, in Functional Analysis and Operator Theory for Quantum Physics (The Pavel Exner anniversary volume), EMS Series of Congress Reports, 261-269 (2017), DOI 10.4171/175-1/14, arXiv:1602.04990, https://arxiv.org/abs/1602.04990
  9. David Krejčiřík and Jan Kříž, Bound states in soft quantum layers, Publ. Res. Inst. Math. Sci. 60, 741-766 (2024), DOI 10.4171/PRIMS/60-4-4, arXiv:2205.04919, https://arxiv.org/abs/2205.04919
  10. Philip Hartman, Geodesic parallel coordinates in the large, Amer. J. Math. 86, 705-727 (1964), DOI 10.2307/2373154, https://doi.org/10.2307/2373154
  11. Brian White, Complete surfaces of finite total curvature, J. Differential Geom. 26, 315-326 (1987), DOI 10.4310/jdg/1214441372, https://doi.org/10.4310/jdg/1214441372
  12. Alfred Huber, On subharmonic functions and differential geometry in the large, Comment. Math. Helv. 32, 13-72 (1957), DOI 10.1007/bf02564570, https://doi.org/10.1007/bf02564570