Attractive conical surfaces create infinitely many bound states

Joachim Kerner; Konstantin Pankrashkin; Sebastian Egger

REVIEW 1 major objections 4 minor 16 references

Attractive conical surfaces create infinitely many bound states

T0 review · 1 major / 4 minor · reviewed 2026-08-14 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read A potential depending only on distance to a non-planar conical surface forces infinitely many eigenvalues below the essential spectrum, with a universal logarithmic accumulation rate.

desk verdict A genuine and probably true generalization of the conical bound-state counting law, but the printed upper-bound proof has a real partition gap that needs fixing; the lower-bound typo is easy. read the letter →

arxiv 1908.02554 v1 pith:C4FVQZ5U submitted 2019-08-07 math-ph math.MPquant-ph

Sebastian Egger , Joachim Kerner , Konstantin Pankrashkin This is my paper · ORCID

classification math-phmath.MPquant-ph MSC 35P2081Q10

keywords conicalsurfaceSchrödingeroperatorinfinitelymanyboundstatesessentialspectrumeigenvaluecountingfunctiongeodesiccurvaturelogarithmicasymptotics

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

The paper proves a universality statement about bound states near attractive conical surfaces in three dimensions. It considers Schrödinger operators $H=-\Delta+V$ on $\mathbb{R}^3$ whose potential, up to a rapidly decaying remainder, is a one-dimensional function $v$ of the distance to an infinite cone $S$. If the one-dimensional operator $-d^2/dx^2+v$ has an isolated ground state $\varepsilon_0$ strictly below the limit of $v$ at infinity, then the essential spectrum of $H$ begins at $\varepsilon_0$ and infinitely many discrete eigenvalues accumulate at $\varepsilon_0$. The eigenvalue count near threshold satisfies $N_{\varepsilon_0-E}(H)\sim k_S|\log E|$, where $k_S$ is a positive number computed from the geodesic curvature of the cone's cross-section. This makes the logarithmic accumulation previously seen for hard-wall conical layers and delta-interactions a generic phenomenon that does not depend on the detailed shape of the attractive potential.

What carries the argument

The load-bearing object is the geometrically induced one-dimensional operator $K_S=-d^2/ds^2-\kappa^2/4$ on the cross-section loop $\Sigma=S\cap S^2$, where $\kappa$ is the geodesic curvature of the loop. Its negative eigenvalues define $k_S$, the constant controlling the counting asymptotics, and $k_S>0$ exactly when $\Sigma$ is not a great circle. The proof also uses two one-dimensional tools: the operator $Q=-d^2/dx^2+v$, whose isolated ground state $\varepsilon_0$ sets the threshold, and a classical half-line counting estimate that turns effective attractive $-1/r^2$ terms into the $|\log E|$ law. These are combined through tubular coordinates around the cone, operator bracketing, and an exponential decay estimate for the one-dimensional ground state, which lets the full three-dimensional problem be compared with direct sums of one-dimensional operators.

What would settle it

Pick a circular cone and an admissible well $v$ with an isolated bound state, compute the first several thousand eigenvalues of $H$ below $\varepsilon_0$ in tubular coordinates, and check whether $N_{\varepsilon_0-E}(H)/(k_S|\log E|)$ tends to $1$ as $E\to0^+$; a different finite limit, or only finitely many discrete eigenvalues, would disprove the theorem.

Watch

Extended reading notes

Core claim

The central claim is Theorem 1.1: for $V(x)=v(d_S(x))+w(x)$ with $w(x)=o(|x|^{-2})$, where $v$ is even, locally integrable, bounded below, and the one-dimensional operator $Q=-d^2/dx^2+v$ has an isolated ground state $\varepsilon_0<\liminf_{x\to\infty}v(x)$, the operator $H=-\Delta+V$ on $\mathbb{R}^3$ has essential spectrum $[\varepsilon_0,\infty)$, infinitely many discrete eigenvalues, and counting asymptotics $N_{\varepsilon_0-E}(H)\sim k_S|\log E|$ as $E\to 0^+$. The constant is $k_S=(2\pi)^{-1}\sum_{\lambda_j(K_S)<0}\sqrt{-\lambda_j(K_S)}$, with $K_S=-d^2/ds^2-\kappa^2/4$ acting on the cross-section loop. Because the same $k_S$ appears for Dirichlet conical layers and for delta-potentials on conical surfaces, the theorem identifies the logarithmic law as a universal spectral-geometric effect rather than a feature of those specific interactions.

Load-bearing premise

The result depends on the one-dimensional potential $v$ having a bound state whose energy lies strictly below the value the potential approaches at infinity; if that energy gap closes, the exponential localization and the logarithmic counting law can fail.

Editorial extensions

If this is right

For any admissible attractive one-dimensional profile $v$, a non-planar conical surface $S$ forces infinitely many bound states below the essential spectrum.
The bottom of the continuous spectrum is exactly the isolated ground-state energy of $Q$, independently of the cone's geometry.
The counting prefactor $k_S$ is universal: hard-wall layers, delta-interactions, and general short-range wells around the same cone all give the same $|\log E|$ rate.
The result is stable under rapidly decaying perturbations $w=o(|x|^{-2})$, so the logarithmic law persists when the cone is only approximately attractive.
A Weyl sequence construction places every energy $\varepsilon_0+k^2$, $k\ge 0$, in the essential spectrum, so the entire half-line $[\varepsilon_0,\infty)$ is covered.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

Since only the far-field behavior of $v$ and the cross-section geometry enter, the same mechanism should produce a similar logarithmic law for conical surfaces in higher dimensions with $(n-2)$-dimensional cross-sections; the paper does not treat that case.
The argument suggests that any transverse confinement with an isolated threshold plus an effective attractive $-1/r^2$ far field should give the same count; one testable extension would replace $v(d_S(x))$ by a magnetic or metric mechanism producing the same effective potential.
The assumption $w=o(|x|^{-2})$ is likely close to sharp, and probing slower decay could reveal whether the constant $k_S$ changes or the asymptotic law breaks.
The leading term carries no information about the shape of $v$; a natural next step is to compute the next-order correction, which would depend on the detailed potential and distinguish models with identical $k_S$.

Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Desk Editor's Note

read the letter

Read this one over the weekend. The result is a genuine extension: one counting law, k_S|log E|, for any even v with an isolated ground state below v_infinity, covering the hard-wall layer and delta-interaction as special cases. The one-dimensional machinery in Section 2 is solid and will be useful beyond this paper. I think the theorem is true.

Two problems in the written proof.

Section 3: the final display has a sign error in front of lambda_m. Applying Proposition 2.1 gives sqrt((-lambda_m - C(delta+epsilon)/4)_+), not sqrt((lambda_m - C(delta+epsilon)/4)_+). As printed, the argument is negative for the modes you need, so the lower bound would vanish. Evidently a typo.

Section 4: the upper-bound partition is not a partition of P_{R,delta}. The cells Omega_p = {r in (r_p,r_{p+1}), t in (delta r_p, delta r_{p+1})} leave the cone: for r just above r_p, t up to delta r_{p+1} exceeds delta r. Omega_m with r > r_m is worse. So g_{R,delta} >= direct sum h_{p,delta} is unjustified. And the residual region Omega_{m+1} includes r > R+L with |t| small, down to t=0, where v(t) may lie below the epsilon_1 chosen from assumption (iii); the assertion that h_{m+1} contributes zero is not supported. This is a real gap, not a typo, though I expect a corrected partition, for instance in the variable u=t/r, would restore the [OBP] argument.

Everything else checks out: no fitted constants, k_S is geometric, the citation to [OBP] is appropriate, and the isolated-ground-state condition is natural.

Bottom line: worth serious referee time. I would want to see the corrected Section 4 before citing it myself.

Referee Report

1 major / 4 minor

Summary. The paper studies the three-dimensional Schrödinger operator H = -Δ + V on R^3 with V(x) = v(d_S(x)) + w(x), where S is an infinite conical surface with C^4-smooth cross-section Σ (not a plane), v is an even one-dimensional potential with an isolated ground state ε_0 below v_∞ := liminf v, and w = o(|x|^{-2}). The main result, Theorem 1.1, states that the essential spectrum of H is [ε_0, ∞), that the discrete spectrum is infinite below ε_0, and that the eigenvalue counting function obeys N_{ε_0-E}(H) ≃ k_S |log E| as E → 0+, with k_S = (1/2π) Σ_{λ_j(K_S)<0} √(-λ_j(K_S)), where K_S = -d^2/ds^2 - κ^2/4 on the cross-section loop. The proof follows the strategy of Ourmières-Bonafos and Pankrashkin [OBP]: it establishes one-dimensional Agmon-type and eigenvalue-convergence estimates for truncated operators, then uses tubular-coordinate changes and min-max bracketing to reduce the counting problem to the one-dimensional Kirsch-Simon result. A Weyl-sequence argument identifies the essential spectrum.

Significance. If the proof is completed, the result is significant: it shows that the |log E| asymptotics discovered for Dirichlet conical layers and δ-interactions on conical surfaces are not artifacts of those particular models but hold for a large class of attractive potentials depending on distance to the cone, with the same geometric constant k_S. The main theorem is parameter-free: k_S is computed solely from the geodesic curvature of the cross-section, and the perturbation w is allowed to be any o(|x|^{-2}) term. The paper also contains useful technical ingredients, such as uniform Agmon estimates and exponential eigenvalue convergence for truncated one-dimensional operators, which are of independent interest. The reliance on [OBP] is substantial, but the present result genuinely extends the framework to general v. The proofs are largely standard and the central claim is very plausible.

major comments (1)

[Section 4, definition of Ω_p and Ω_{m+1}] The partition used for the Neumann bracketing in the upper bound is not contained in P_{R,δ}. The cells are defined as Ω_p = {(r,t): r ∈ (r_p, r_{p+1}), t ∈ (t_p, t_{p+1})} with t_p = δ r_p. For r = r_p + ε and t = δ r_{p+1} - ε' with ε, ε' > 0 sufficiently small, the point (r,t) lies in Ω_p but satisfies |t| > δ r, because δ r_{p+1} - δ r_p = δ L/m > ε'(1+δ) for ε' < δ L/(m(1+δ)). Hence Ω_p ⊄ P_{R,δ}, and the asserted inequality g_{R,δ}^{[n]} ≥ ⊕_{p=0}^{m+1} h_{p,δ}^{[n]} is not justified, since the forms h_{p,δ}^{[n]} are defined on domains extending outside the original domain. In addition, the residual region Ω_{m+1} contains, for any R, the strip {r > R, |t| < δ R}, including points with t = 0; the claim that v(t) ≥ ε_1 > ε_0 on Ω_{m+1} is therefore unsupported by assumption (iii), and the conclusion N_{ε_0-E}(h_{m+1,δ}^{[n]}) = 0 does not follow. The limsup bound N_{ε_0-E}(H) ≤ k_S |log E| is consequently not established as printed. A corrected argument should partition P_{R,δ} with cells that respect the cone boundary |t| = δ r, for example by using the variable u = t/r.

minor comments (4)

[Section 3, final display] The final display of the lower bound contains a sign error: the factor under the square root should be (-λ_m(K_S) - C(δ+ε)/4)_+, not (λ_m(K_S) - C(δ+ε)/4)_+. As printed, the expression vanishes for the relevant negative eigenvalues λ_m(K_S), making the lower bound trivial. This is evidently a typo, because the preceding line has the correct sign in the quadratic form g_{R,δ}^{[m]}, but it must be corrected for the proof to be read coherently.
[Section 4, form domain of g_{R,δ}] In the display defining D(g_{R,δ}), the notation '∂rv, ∂tv' should read '∂_r φ, ∂_t φ' or '∂_r v, ∂_t v' with a consistent symbol; as written it is a typographical error.
[Section 5, Eq. (5.1)] The Weyl-sequence computation writes 'V H φ_n' where V is the unitary change of variables; the expression should be 'V H V^{-1} (V φ_n)' or 'V H φ_n' with φ_n already in the transformed coordinates. The intended meaning is clear, but the notation is imprecise.
[Throughout] Several computations are said to follow 'almost literally' from [OBP]. This is acceptable, but the paper would be more self-contained if the few modifications (e.g., the presence of v(t) and the ε/|x|^2 corrections) were spelled out in one displayed equation each, rather than referring to the companion paper for the bulk of the estimates.

Circularity Check

0 steps flagged · score 1.0 of 10

No significant circularity: the counting law is derived from the external Kirsch–Simon theorem via operator bracketing, with k_S computed directly from K_S rather than fitted.

full rationale

The derivation is self-contained in the relevant sense. The counting law in Theorem 1.1 is obtained by bracketing H between model operators whose transverse part is the geometric operator K_S and whose radial part is a one-dimensional operator with a potential of the form (λ_j(K_S)-c)/ρ²; the asymptotic count is then supplied by the external Kirsch–Simon result quoted as Proposition 2.1, not by any fitted parameter. The geometric constant k_S in (1.3) is a direct function of the negative eigenvalues of K_S; it is not adjusted to match N_{ε0−E}(H). Assumption (ii) fixes ε0 as the ground state of the one-dimensional operator Q, but proving σ_ess(H)=[ε0,∞) and N_{ε0−E}(H)∼k_S|log E| still requires the Agmon-type estimates, the bracketing arguments, and the Weyl sequence in Section 5; ε0 is an input hypothesis, not a renamed conclusion of the theorem. The self-citation [OBP] (K. Pankrashkin is a co-author of both papers) is used as a computational template from the special hard-wall and δ-potential cases and for the parameter-free fact k_S>0; the present theorem's claim for general one-dimensional potentials v does not assume the [OBP] conclusions and is not identical to them. No fitted input is called a prediction, and no cited uniqueness theorem is used to forbid alternatives. Separately, the Section 4 partition cells Ω_p as printed are not contained in P_{R,δ}, and the residual-cell estimate N_{ε0−E}(h_{m+1,δ})=0 is not supported by assumption (iii); this is a proof gap in the printed limsup argument, but it is a correctness issue, not circularity. Score 1 reflects only the presence of a minor, non-load-bearing self-citation in the proof template.

Assumptions & free parameters 0 free parameters · 5 assumptions · 0 invented entities

The central claim rests on standard one-dimensional spectral facts, the external Kirsch-Simon counting theorem, and the geometric tubular-neighborhood structure of smooth conical surfaces. No physical parameter is fitted to data: epsilon_0 and k_S are defined rather than adjusted, and the proof constants K and K_delta cancel in the limit. No new entities are postulated.

assumptions (5)

standard math Proposition 2.1, the Kirsch-Simon half-line counting estimate: for -d^2/dx^2 - V on a half-line with lim x^2 V(x) = c, N_{-E} is asymptotic to (1/(2pi)) sqrt((c - 1/4)_+) |log E|.
External theorem used as the engine for the |log E| asymptotics in both the lower and upper bounds; not proved in the paper.
standard math The ground state of Q = -d^2/dx^2 + v is simple, and the truncated operators H_{L,D/N} converge to Q in the min-max sense as L tends to infinity.
Used in Corollary 2.4 and Propositions 2.2 through 2.8; standard Sturm-Liouville and min-max facts are assumed without proof.
domain assumption The tubular-coordinate maps Phi and Lambda are injective diffeomorphisms on the chosen truncated conical neighborhoods for large R and small delta, with distance to S equal to |t|.
Entered in Sections 3 through 5; relies on the C4 smoothness of the cross-section and delta below the inverse of the maximal geodesic curvature, and it is essential for the product-form reductions.
domain assumption The operator K_S = -d^2/ds^2 - kappa^2/4 on the cross-section loop has at least one negative eigenvalue when the cross-section is not a great circle, so k_S is positive.
Needed for infinitely many discrete eigenvalues and for a nontrivial lower bound; cited to [OBP] rather than proved in the present paper.
domain assumption The perturbation w(x) = o(|x|^{-2}) can be bounded pointwise by epsilon/|x|^2 for arbitrarily small epsilon outside a large ball.
This is exactly assumption (1.5) and is used in both bracketing inequalities to preserve the effective 1/r^2 structure of the problem.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Attractive conical surfaces create infinitely many bound states." pith.science (2026). https://pith.science/paper/C4FVQZ5U

@misc{pith2026190802554,
  author       = {Pith},
  title        = {Pith review of: Attractive conical surfaces create infinitely many bound states},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/C4FVQZ5U}},
  note         = {Machine review of arXiv:1908.02554}
}

abstract

In this paper we study spectral properties of a three-dimensional Schr\"odinger operator $-\Delta+V$ with a potential $V$ given, modulo rapidly decaying terms, by a function of the distance of $x \in \mathbb{R}^3$ to an infinite conical hypersurface with a smooth cross-section. As a main result we show that there are infinitely many discrete eigenvalues accumulating at the bottom of the essential spectrum which itself is identified as the ground-state energy of a certain one-dimensional operator. Most importantly, based on a result of Kirsch and Simon we are able to establish the asymptotic behavior of the eigenvalue counting function using an explicit spectral-geometric quantity associated with the cross-section. This shows a universal character of some previous results on conical layers and $\delta$-potentials created by conical surfaces.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

16 extracted references · 16 canonical work pages

[1]

Albeverio, F

S. Albeverio, F. Gesztesy, R. Hoegh-Krohn, and H. Holden, Solvable models in quantum mechanics. Second edition. With an appendix by P.Exner. AMS Chelsea Publishing, 2005

work page 2005
[2]

Behrndt, P

J. Behrndt, P. Exner, and V. Lotoreichik, Schr\" o dinger operators with -interactions supported on conical surfaces , J. Phys. A 47 (2014)

work page 2014
[3]

Bruneau, K

V. Bruneau, K. Pankrashkin, and N. Popoff, Eigenvalue counting function for Robin Laplacians on conical domains. J. Geom. Anal. 28 (2018) 123--151

work page 2018
[4]

Dauge, T

M. Dauge, T. Ourmi\`eres-Bonafos, and Y. Lafranche, Dirichlet spectrum of the Fichera layer, Integr. Equ. Operator Theory 90 (2018) 60

work page 2018
[5]

Dauge, T

M. Dauge, T. Ourmi\`eres-Bonafos, and N. Raymond, Spectral asymptotics of the D irichlet L aplacian in a conical layer , Comm. Pure Appl. Anal. 14 (2015), 1239--1258

work page 2015
[6]

Duclos, P

P. Duclos, P. Exner, and D. Krej c i r \' k, Bound states in curved quantum layers. Commun. Math. Phys. 223 (2001) 13--28

work page 2001
[7]

Exner, Leaky quantum graphs: a review

P. Exner, Leaky quantum graphs: a review. In Analysis on graphs and its applications (ed. by P. Exner, J. P. Keating, P. Kuchment, T. Sunada, A. Teplyaev), Proc. Symp. Pure Math. vol. 77, Amer. Math. Soc., Providence, RI 2008, 523--564

work page 2008
[8]

Exner and H

P. Exner and H. Kova r \' k, Quantum waveguides. Springer, 2015

work page 2015

Show all 16 references

[9]

Exner and V

P. Exner and V. Lotoreichik, A spectral isoperimetric inequality for cones, Lett. Math. Phys. 107 (2017), no. 4, 717--732

2017
[10]

Exner and P

P. Exner and P. S eba, Bound states in curved quantum waveguides. J. Math. Phys. 30 (1989) 2574--2580

1989
[11]

Exner and M

P. Exner and M. Tater, Spectrum of D irichlet L aplacian in a conical layer , J. Phys. A 43 (2010), 474023

2010
[12]

Kirsch and B

W. Kirsch and B. Simon, Corrections to the classical behavior of the number of bound states of S chr\"odinger operators , Ann. Phys. 183 (1988), 122--130

1988
[13]

Lotoreichik and T

V. Lotoreichik and T. Ourmi\`eres-Bonafos, On the bound states of S chrödinger operators with -interactions on conical surfaces , Comm. Partial Differential Equations 41 (2016) 999--1028

2016
[14]

Z. Lu, J. Rowlett, On the discrete spectrum of quantum layers. J. Math. Phys. 53 (2012) 073519

2012
[15]

Ourmi\`eres-Bonafos and K

T. Ourmi\`eres-Bonafos and K. Pankrashkin, Discrete spectrum of interactions concentrated near conical surfaces, Applicable Analysis 97 (2018), no. 9, 1628--1649

2018
[16]

Ourmi\`eres-Bonafos, K

T. Ourmi\`eres-Bonafos, K. Pankrashkin, and F. Pizzichillo, Spectral asymptotics for -interactions on sharp cones. J. Math. Anal. Appl. 458 (2018) 566--589

2018

Pith tools

Reviewed August 14, 2026 · model on record in the stance chip above.

[1] [1]

Albeverio, F

S. Albeverio, F. Gesztesy, R. Hoegh-Krohn, and H. Holden, Solvable models in quantum mechanics. Second edition. With an appendix by P.Exner. AMS Chelsea Publishing, 2005

work page 2005

[2] [2]

Behrndt, P

J. Behrndt, P. Exner, and V. Lotoreichik, Schr\" o dinger operators with -interactions supported on conical surfaces , J. Phys. A 47 (2014)

work page 2014

[3] [3]

Bruneau, K

V. Bruneau, K. Pankrashkin, and N. Popoff, Eigenvalue counting function for Robin Laplacians on conical domains. J. Geom. Anal. 28 (2018) 123--151

work page 2018

[4] [4]

Dauge, T

M. Dauge, T. Ourmi\`eres-Bonafos, and Y. Lafranche, Dirichlet spectrum of the Fichera layer, Integr. Equ. Operator Theory 90 (2018) 60

work page 2018

[5] [5]

Dauge, T

M. Dauge, T. Ourmi\`eres-Bonafos, and N. Raymond, Spectral asymptotics of the D irichlet L aplacian in a conical layer , Comm. Pure Appl. Anal. 14 (2015), 1239--1258

work page 2015

[6] [6]

Duclos, P

P. Duclos, P. Exner, and D. Krej c i r \' k, Bound states in curved quantum layers. Commun. Math. Phys. 223 (2001) 13--28

work page 2001

[7] [7]

Exner, Leaky quantum graphs: a review

P. Exner, Leaky quantum graphs: a review. In Analysis on graphs and its applications (ed. by P. Exner, J. P. Keating, P. Kuchment, T. Sunada, A. Teplyaev), Proc. Symp. Pure Math. vol. 77, Amer. Math. Soc., Providence, RI 2008, 523--564

work page 2008

[8] [8]

Exner and H

P. Exner and H. Kova r \' k, Quantum waveguides. Springer, 2015

work page 2015