Empty discrete spectrum of generalized quantum tubes: the converse problem beyond thin layers and surfaces

A quantum tube is a tubular neighborhood of a submanifold of Euclidean space, equipped with the Dirichlet Laplacian; bound states below the essential spectrum are induced purely by the submanifold's geometry. Lin and Lu (Comm. PDE 2006) asked the converse question, raised by their referee: apart from tubes over totally geodesic submanifolds, can a quantum tube fail to have any pure point spectrum below the continuum? They conjectured for surfaces that a complete embedded surface in R^3 with second fundamental form vanishing at infinity and integrable Gauss curvature whose layer has no pure point spectrum below the essential spectrum must be totally geodesic. The thin-layer version of this surface conjecture is now a theorem (Lu–Rowlett 2012, building on Duclos–Exner–Krejčiřík 2001 and Carron–Exner–Krejčiřík 2004), but the converse problem remains open in three precise regimes: layers of arbitrary admissible width over surfaces of mixed-sign curvature, uniformity of the admissible width in terms of the second fundamental form alone, and the classification for bases of dimension $n\geq 2$ in arbitrary codimension, where no converse statement is known and no smooth counterexample with decaying second fundamental form has been constructed; curve bases are excluded, following Lin–Lu's own scope, since for non-straight tubes about curves in $\mathbb{R}^3$ with asymptotically vanishing curvature the converse is a theorem (Duclos–Exner 1995).

Background

A quantum waveguide is the Dirichlet Laplacian on a tubular neighborhood of a curve or lower-dimensional submanifold of Euclidean space, modelling a particle hard-wall-confined to a mesoscopic structure. For a straight planar strip of width $2a$ the spectrum is purely essential and starts at $E_1=\pi^2/(2a)^2$, the first Dirichlet eigenvalue of the transverse interval. Exner and Šeba (1989) proved that bending a two-dimensional strip always creates at least one eigenvalue below the essential-spectrum threshold: a purely geometric, curvature-induced bound state. For tubes about curves in $\mathbb{R}^3$, Duclos and Exner (1995) proved the corresponding converse: if the tube is non-straight and its curvature vanishes asymptotically, there is always a bound state below the bottom of the essential spectrum. The analogous question one dimension up concerns a quantum layer: the domain $\Omega=\{p(x)+t\,N_x : x\in\Sigma,\ t\in(-a,a)\}$ of width $2a$ built over a complete embedded surface $\Sigma\subset\mathbb{R}^3$ with unit normal $N$, again with Dirichlet boundary conditions. Its natural generalization, studied by Lin and Lu, is the quantum tube of order $k$ and radius $r$: the Fermi tube — the tubular neighborhood swept out by transporting a fixed cross-section along the directions normal to the submanifold — around an $n$-dimensional submanifold of $\mathbb{R}^{n+k}$ with fiber a $k$-dimensional ball (or bounded cross-section $\omega$), with $E_1$ denoting the first Dirichlet eigenvalue of the cross-section.

The spectral facts are as follows. The essential spectrum is determined by the geometry at infinity: Krejčiřík and Lu (2014) proved that if $\Sigma$ is asymptotically flat in the sense that its second fundamental form $B$ (the extrinsic curvature tensor measuring the failure of tangential directions to be geodesic) tends to zero at infinity, and the cross-section transport is asymptotically parallel, then $\sigma_{\mathrm{ess}}=[E_1,\infty)$. A totally geodesic submanifold ($B\equiv 0$; for a surface in $\mathbb{R}^3$, a plane) gives a product tube with no discrete spectrum at all. The central phenomenon is that nontrivial geometry can create discrete eigenvalues below $E_1$. Duclos, Exner and Krejčiřík (2001) and Carron, Exner and Krejčiřík (2004) proved this for layers over asymptotically flat surfaces under conditions including total Gauss curvature $\int_\Sigma\kappa\,d\Sigma\leq 0$, cylindrical symmetry of an end, or square-integrable gradient of the mean curvature with infinite total mean curvature; they also constructed (in their Section 7) a layer without discrete spectrum, but over a surface that is not asymptotically planar, so their example evades rather than refutes the converse. Lin and Lu (2006, 2007) proved existence of discrete spectrum for tubes over parabolic bases under an integral condition on Weyl tube invariants — the intrinsic curvature combinations $K_{2p}$ with coefficients $\mu_{2p}$ that appear in Weyl's asymptotic expansion of tube volume — and for layers over convex graph surfaces. For surfaces, the topology controls existence: Hartman's formula $\int_\Sigma\kappa=2\pi(\chi(\Sigma)-\sum_i\lambda_i)$ links total Gauss curvature to the Euler characteristic and the isoperimetric constants $\lambda_i$ of the ends, and by Huber's theorem a surface with $\int_\Sigma|\kappa|<\infty$ is conformally a compact Riemann surface with finitely many punctures; parabolicity (recurrence of Brownian motion, equivalent for such surfaces to conformal type $\mathbb{C}$) is the key analytic property in the remaining case $\int_\Sigma\kappa>0$, where necessarily $\Sigma\cong\mathbb{R}^2$. Lu and Rowlett (2012) combined these inputs — weak $\kappa$-parabolicity (a curvature-weighted strengthening of parabolicity), nonnegative curvature, and the parabolicity theorem for $\chi=1$ surfaces — and settled the conjecture in the thin-layer sense: for every complete embedded asymptotically flat, non-totally-geodesic $\Sigma$ with $\int_\Sigma|\kappa|<\infty$ there exists $\alpha=\alpha(\Sigma)>0$ such that the discrete spectrum of the layer of width $2a$ is nonempty for all $a\in(0,\alpha)$. They explicitly left open the thick-layer version (all non-overlapping widths), the uniformity of $\alpha$ (their Conjecture 2 asks for $\alpha$ depending only on $\sup\|B\|$), and a purely Riemannian geometric conjecture (their Conjecture 3) on an inequality for the mean curvature under positive total Gauss curvature, which their methods cannot prove when the mean curvature oscillates in sign all the way to infinity. Their Theorem 5.1 with Remark 5.2 shows that their Conjecture 3 implies their Conjecture 2: Conjecture 3 asserts that positive total Gauss curvature implies the mean-curvature condition that there exists $\varepsilon_0>0$ such that for every $R>0$ one can find a cutoff $j\in\mathcal{C}^\infty_0(\Sigma\setminus B(R))$ with $(\int_\Sigma H j\,d\Sigma)^2>\varepsilon_0\int_\Sigma(|\nabla j|^2+j^2)\,d\Sigma$, where $H$ denotes the mean curvature of $\Sigma$. In the nonsmooth category the picture differs sharply: Bakharev and Matveenko (2024) constructed a polyhedral layer with empty discrete spectrum, so smoothness and asymptotic flatness are essential hypotheses for any converse.

Problem Statement

Settle the converse problem for generalized quantum tubes under asymptotic flatness: characterize the complete submanifolds of Euclidean space whose quantum tubes have empty discrete spectrum, and in particular determine whether any non-totally-geodesic examples exist. Concretely, with $E_1$ the first Dirichlet eigenvalue of the tube's cross-section (so that $\sigma_{\mathrm{ess}}=[E_1,\infty)$ for asymptotically flat bases with asymptotically parallel transport):

1. (Thick layers, surface case.) Let $\Sigma\subset\mathbb{R}^3$ be a complete embedded surface, not totally geodesic, whose second fundamental form $B\to 0$ at infinity and whose Gauss curvature satisfies $\int_\Sigma|\kappa|\,d\Sigma<\infty$. Prove that the discrete spectrum of the Dirichlet Laplacian on the layer of width $2a$ is nonempty for EVERY non-overlapping width $a<\|B\|_\infty^{-1}$, or construct a counterexample: such a surface (necessarily with mixed-sign curvature, positive total curvature, and conformal type $\mathbb{C}$) and an admissible width whose layer has no eigenvalues below $E_1$. The thin-layer case being settled, this every-width (or fixed-width) reading of the original conjecture is the residual surface-case core.

2. (Uniformity.) Determine whether the thin-layer constant can be taken uniform, depending only on $\|B\|_\infty$ and not on the full geometry of $\Sigma$ (Lu–Rowlett's Conjecture 2).

3. (General dimension and codimension.) For quantum tubes over complete $n$-dimensional submanifolds of $\mathbb{R}^{n+k}$ with second fundamental form tending to zero at infinity, for every non-overlapping radius $r<\|B\|_\infty^{-1}$ ($n\geq 2$, $k\geq 1$; curve bases $n=1$ are excluded, following the scope of Lin–Lu's Definition 1, since for tubes about curves in $\mathbb{R}^3$ the converse criterion is already established — see Duclos–Exner 1995 in the Background): prove the analogous converse — a tube with no pure point spectrum below $\sigma_{\mathrm{ess}}$ forces the base to be totally geodesic — or construct a non-totally-geodesic example without discrete spectrum. Beyond the converse, Lin–Lu note that extending the surface mechanism — in which topological, curvature-integral (Weyl tube invariant), or volume-growth conditions on the base control the existence of discrete spectrum — to higher dimensions "should be interesting to pursue further"; this suggested direction is background context, not an additional completion requirement of the present problem.

These three components serve one objective: a complete geometric classification of asymptotically flat quantum tubes with empty discrete spectrum, the direct extension of the question Lin and Lu's referee asked and of their surface conjecture to the regimes left open after Lu–Rowlett's thin-layer theorem. Each component is an independent, separately refutable sub-question that stands on its own — solving one does not require solving the others, though the full objective is met only when all three regimes are settled — and because component 3's base class contains the surfaces of component 1, a positive converse in component 3 settles component 1's positive branch as well as its own. A counterexample in any component must respect the smoothness and decay hypotheses, since nonsmooth and non-decaying examples are known to behave differently.

References

1. 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 (arXiv:math/0601201)
2. P. Duclos, P. Exner and D. 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
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. P. Exner and P. Šeba, 'Bound states in curved quantum waveguides', Journal of Mathematical Physics 30 (1989) 2574–2580. DOI: 10.1063/1.528538. https://doi.org/10.1063/1.528538
5. P. Exner and D. Krejčiřík, 'Bound states in mildly curved layers', Journal of Physics A: Mathematical and General 34 (2001) 5969–5985. DOI: 10.1088/0305-4470/34/30/308. https://doi.org/10.1088/0305-4470/34/30/308
6. 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 (preprint arXiv:math/0402252)
7. Christopher Lin and Zhiqin Lu, 'Quantum layers over surfaces ruled outside a compact set', Journal of Mathematical Physics 48 (2007). DOI: 10.1063/1.2736518. https://doi.org/10.1063/1.2736518 (arXiv:math/0701349)
8. Zhiqin Lu, 'On the ground state of quantum layers', preprint arXiv:0708.1563 (2007). https://arxiv.org/abs/0708.1563
9. Zhiqin Lu and Julie Rowlett, 'On the discrete spectrum of quantum layers', Journal of Mathematical Physics 53 (2012). DOI: 10.1063/1.4736412. https://doi.org/10.1063/1.4736412 (arXiv:1110.6807)
10. David Krejčiřík and Zhiqin Lu, 'Location of the essential spectrum in curved quantum layers', Journal of Mathematical Physics 55 (2014). DOI: 10.1063/1.4893035. https://doi.org/10.1063/1.4893035 (arXiv:1211.2541)
11. Pedro Freitas and David Krejčiřík, 'A lower bound to the spectral threshold in curved quantum layers', EMS Series of Congress Reports (2017) 261–269. DOI: 10.4171/175-1/14. https://doi.org/10.4171/175-1/14 (arXiv:1602.04990)
12. 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)
13. Monique Dauge, Yvon Lafranche and Thomas Ourmières-Bonafos, 'Dirichlet Spectrum of the Fichera Layer', Integral Equations and Operator Theory 90 (2018). DOI: 10.1007/s00020-018-2486-y. https://doi.org/10.1007/s00020-018-2486-y (preprint arXiv:1711.08439). https://arxiv.org/abs/1711.08439
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)
15. F. Bakharev and S. Matveenko, 'Spectra of Dirichlet Laplacian in 3-dimensional polyhedral layers', St. Petersburg Mathematical Journal 35 (2024) 597–610. DOI: 10.1090/spmj/1818. https://doi.org/10.1090/spmj/1818 (arXiv:2304.10575)
16. Pavel Exner and Vladimir Lotoreichik, 'Spectral Asymptotics of the Dirichlet Laplacian on a Generalized Parabolic Layer', Integral Equations and Operator Theory 92 (2020). DOI: 10.1007/s00020-020-2571-x. https://doi.org/10.1007/s00020-020-2571-x (arXiv:1805.12448)
17. Stefan Haag, Jonas Lampart and Stefan Teufel, 'Generalised Quantum Waveguides', Annales Henri Poincaré 16 (2015) 2535–2568. DOI: 10.1007/s00023-014-0374-9. https://doi.org/10.1007/s00023-014-0374-9 (arXiv:1402.1067)
18. Jing Mao, 'A class of rotationally symmetric quantum layers of dimension 4', Journal of Mathematical Analysis and Applications 397 (2013) 791–799. DOI: 10.1016/j.jmaa.2012.08.012. https://doi.org/10.1016/j.jmaa.2012.08.012 (arXiv:1203.5465)
19. Pavel Exner and Markus Holzmann, 'Dirac operator spectrum in tubes and layers with a zigzag-type boundary', Letters in Mathematical Physics 112 (2022). DOI: 10.1007/s11005-022-01594-3. https://doi.org/10.1007/s11005-022-01594-3
20. P. Duclos and P. Exner, 'Curvature-induced bound states in quantum waveguides in two and three dimensions', Reviews in Mathematical Physics 7 (1995) 73–102. DOI: 10.1142/S0129055X95000062. https://doi.org/10.1142/S0129055X95000062