Pith. sign in

REVIEW 2 major objections 5 minor 2 cited by

Generic simplicity for self-adjoint operators under bounded potential perturbations

T0 review · 2 major / 5 minor · reviewed 2026-08-02 · deepseek-v4-flash

Pith's one-line read This paper proves a general abstract criterion: for a semibounded self-adjoint operator with compact resolvent, a residual set of admissible bounded potentials makes every eigenvalue simple.

desk verdict Core abstract theorem is sound and the no-unique-continuation splitting criterion is a real advance; publication-worthy after fixing the C∞(Ω) vs. C_b^∞(Ω)/C∞(Ω̄) admissibility slip in the magnetic examples and a few typos. read the letter →

arxiv 2605.31368 v2 pith:GAZCJSCS submitted 2026-05-29 math.SP math.AP

classification math.SPmath.AP MSC 47A1047A5535P0547B25
keywords genericsimplicityself-adjointoperatorsboundedpotentialsresidualsetcompactresolventsub-Laplaciannodal-domaintheoremspectralperturbation
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

This paper proves a general criterion for generic simplicity of the spectrum of a self-adjoint operator under bounded potential perturbations. If the operator is semibounded with compact resolvent and the allowed potentials form a suitable complete metrisable space of bounded functions, then the set of potentials for which every eigenvalue is simple is residual in that space—meaning it contains a countable intersection of open dense sets and is itself dense. The proof isolates the mechanism from operator-specific tools such as ellipticity and unique continuation, so the criterion can be applied to sub-Laplacians, maximally hypoelliptic operators, Laplacians on rough bounded domains with several boundary conditions, and Schrödinger-type operators on non-compact spaces. A corollary is a generic nodal-domain theorem: for a residual set of potentials, every eigenfunction of the perturbed operator satisfies the classical nodal bound.

What carries the argument

The key object is Hypothesis (H), a finite-dimensional splitting condition: for each multiple eigenspace E of any L_q, there must exist an admissible potential σ whose projection onto E is non-scalar. This is the only operator-specific input needed; once it holds, analytic perturbation theory supplies real-analytic eigenvalue branches whose first derivatives are the eigenvalues of this compression, so a small perturbation in the non-scalar direction splits the eigenvalue. Proposition 2.3 shows that compactly supported smooth functions always provide such a σ, using a measure-theoretic argument, so C_c^∞(X∘,R)⊂Q suffices. The openness part uses the min–max principle and the continuous embeddi

What would settle it

Find a multiple eigenspace E of some L_q and an admissible potential space Q satisfying Hypothesis (H) such that for all σ in a neighbourhood of zero in Q, the compression (P_E M_σ)|_E remains scalar. Proposition 2.3 proves this is impossible when C_c^∞⊂Q, so any concrete example—e.g., a double eigenvalue of the Dirichlet Laplacian on a rectangle with a small supported bump potential—would pinpoint the failure if the splitting were absent.

Watch

Extended reading notes

Core claim

The central claim is Theorem 2.13: if L is self-adjoint, semibounded, with compact resolvent on L2(X), and the pair (L,Q) satisfies Hypothesis (H), then the set G_Q of potentials q∈Q for which every eigenvalue of L+M_q is simple is residual in Q. Hypothesis (H) is a finite-dimensional splitting condition: for every q and every eigenvalue λ of L_q whose eigenspace E has dimension at least two, there is a potential σ∈Q such that the compression of multiplication by σ to E is not a scalar multiple of the identity on E. The proof is a classical category argument: each set A_n of potentials that make the first n eigenvalues simple is open, by Lipschitz dependence of eigenvalues on the L∞ norm, an

Load-bearing premise

The load-bearing premise is that the allowed potentials form a complete metrisable space continuously embedded in L∞ and rich enough to split every multiple eigenspace (e.g., containing all compactly supported smooth functions); if the embedding is not continuous, the openness of the simplicity sets is lost, and if the space is too small, the density step fails.

Editorial extensions

If this is right

  • For sub-Laplacians on compact manifolds, a residual set of smooth potentials makes every eigenvalue simple and, consequently, the nodal-domain theorem holds for all eigenfunctions of the perturbed operator.
  • For maximally hypoelliptic operators satisfying the algebraic characterisation of maximal hypoellipticity, residual simplicity follows whenever the operator is formally self-adjoint and bounded below.
  • For Dirichlet, Neumann, and Robin Laplacians on bounded domains with rough boundaries, the residual set of potentials lives in L∞(Ω), so no regularity up to the boundary is required.
  • For non-compact examples—harmonic and anharmonic oscillators, magnetic Schrödinger operators with compact resolvent—bounded smooth potentials generically give simple spectra.
  • If the operator only has discrete spectrum in a spectral region below the essential spectrum, the same category argument applies to that region; for example, the negative eigenvalues of the Coulomb Hamiltonian are generically simple.

Reading between the lines

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

  • Inference: Because the proof uses no unique continuation, generic simplicity should persist for sums-of-squares operators where localised splitting may fail; only the global version with all compactly supported potentials is needed.
  • Inference: The criterion suggests a recipe for proving generic simplicity in other perturbation spaces (e.g., band-limited or sparse potentials): check the finite-dimensional splitting condition and continuity of the embedding into L∞; the category argument then applies unchanged.
  • Inference: The localised version ties splitting to weak unique continuation; one could test whether generic simplicity holds for perturbations supported in an arbitrary open set ω in elliptic cases, where classical unique-continuation results apply.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

2 major / 5 minor

Summary. The paper proves an abstract genericity theorem (Theorem 2.13) for simplicity of all eigenvalues of a self-adjoint, semibounded operator L with compact resolvent, under real bounded perturbations from an admissible Fréchet space Q. The proof combines a min–max Lipschitz estimate (Lemma 2.7), Kato-type analytic perturbation theory (Lemma 2.8), a finite-dimensional splitting lemma (Proposition 2.3), and a Baire-category argument. The perturbation space need not contain smooth eigenfunctions; the splitting is performed directly in L2. The abstract theorem is then applied to sub-Laplacians, maximally hypoelliptic operators, sums of squares with continuous coefficients, Dirichlet/Neumann/Robin Laplacians on bounded domains, magnetic Schrödinger operators, non-compact oscillators, and a Coulomb-type example with non-compact resolvent.

Significance. If correct, the abstract theorem provides a unified explanation of residual spectral simplicity for a much broader class than the classical elliptic setting. The proof avoids unique continuation entirely for the global result, which is a notable simplification. The applications are numerous and connect to current work on sub-Riemannian nodal theorems. The paper is mostly well organized and the central argument is transparent. The main weakness is a mismatch between the abstract admissibility hypothesis and the perturbation spaces stated in two bounded-domain magnetic examples, plus a few smaller presentation gaps. These are fixable and do not undermine the core theorem.

major comments (2)
  1. [Examples 3.11, 3.12 (§3.2.2)] The perturbation space is stated as Q = C^∞(Ω,R) for a bounded set Ω. If Ω is an open bounded set, C^∞(Ω,R) contains unbounded functions and is not contained in L^∞(Ω,R); the compact-open Fréchet topology does not give a continuous embedding into L^∞. Thus the pair (L,Q) is not admissible in the sense of Definition 2.1 and Theorem 2.13 does not apply as written. The two magnetic Schrödinger applications need Q = C_b^∞(Ω,R), or Q = C^∞(Ω̄,R) with Ω a regular bounded domain and this convention stated explicitly. This is a load-bearing issue for these examples.
  2. [Proposition 3.6 (§3.2.1)] The abstract theorem is stated for L^2(X,dµ) with a fixed smooth density, but Proposition 3.6 applies it to the weighted space L^2_ρ(Ω) with only ρ ∈ L^∞, ρ ≥ ρ0 > 0. The sentence 'it can also be applied directly in the weighted space L^2_ρ(Ω)' is not a proof. The extension is straightforward because the argument uses only the Hilbert-space structure and C_c^∞(Ω) ⊂ Q, but it should be stated and justified explicitly, or Theorem 2.13 should be generalized to admissible positive densities.
minor comments (5)
  1. [Proposition 2.3] The statement has '∀c∈R' in the wrong place; it should read 'G_σ ≠ c I_E for every c∈R'. In the proof, the inner product ⟨M_σφ,ψ⟩ is written as ∫ σ φψ dμ; a complex conjugate on ψ should appear: ∫ σ φ ψ̄ dμ.
  2. [Theorem 2.13 proof] The sentence 'By Lemma 2.9, each A_n is open in Q.' appears twice in succession; remove the duplicate.
  3. [Example 3.14] The residual set is stated as a subset of C_b^∞(R^2,R), but the operator is on R^n. The dimension should be R^n (or the notation made consistent).
  4. [Section 1.3 and throughout] The shorthand 'L+q' is used for L+M_q; for precision, especially when discussing the abstract theorem, use L_q or L+M_q consistently.
  5. [Examples 3.11, 3.12] The electric potential V appears both as part of the base operator and as the perturbation parameter. It would help to state explicitly that the base operator is taken with V=0 and that V is the perturbation.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the proof is a direct Baire-category/analytic-perturbation argument; self-citations are external and not load-bearing.

full rationale

The central derivation chain is self-contained: Definition 2.1 defines admissible perturbation spaces independently of spectral simplicity; Hypothesis (H) in Definition 2.2 is an eigenspace-splitting condition, not the target residual-simplicity conclusion. Proposition 2.3 proves that C_c^∞(X∘,R)⊂Q suffices for (H) by a direct L^1-density argument on two orthonormal eigenfunctions, with no appeal to generic simplicity, unique continuation, or any fitted quantity. Lemmas 2.6–2.8 use standard external tools (Kato analytic perturbation theory, min–max) and pass to first-order splitting in Lemma 2.10. The Baire-category argument in Lemmas 2.9–2.11 and Theorem 2.13 shows that each A_n is open and dense; the conclusion is a countable intersection of open dense subsets. No equation in the proof is defined in terms of the theorem's conclusion, and no fitted parameter is renamed as a prediction. The paper's self-citations ([12], [13], [17], [25], [26]) are used only to import compact-resolvent or nodal-restriction facts that are already proved elsewhere; they do not assume generic simplicity and they are not the mechanism forcing the main theorem. The skeptical caveat that Examples 3.11 and 3.12 state Q=C∞(Ω,R) on a bounded open set, which is not continuously embedded in L∞, is a scope/correctness issue in the application, not circularity: the abstract theorem and its proof are independent of those examples. Thus no circular step is present; the paper is a genuine extension of Albert's elliptic genericity argument to a broader operator-theoretic setting.

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

No parameter fitting and no invented entities. The core proof depends on standard functional analysis: Kato perturbation theory, min-max, Baire category, and resolvent calculus. Application-specific facts are imported from published external sources, some co-authored by B. Helffer, but they are distinct results and do not assume the target conclusion.

assumptions (5)
  • standard math Kato's analytic perturbation theory: self-adjoint holomorphic families of type (A) with compact resolvent admit real-analytic eigenvalue and eigenvector branches.
    Used in Lemma 2.8 to split multiple eigenvalues; cited [31, Ch. VII, §3].
  • standard math Baire category theorem for completely metrizable Fréchet spaces.
    Used in Theorem 2.13 to conclude that a countable intersection of open dense sets is residual and dense.
  • standard math Min–max principle for semibounded self-adjoint operators with compact resolvent.
    Used in Lemma 2.7 for Lipschitz dependence of ordered eigenvalues; cited [41, Thm XIII.1].
  • standard math Bounded self-adjoint perturbations preserve self-adjointness, semiboundedness, and compact resolvent.
    Lemma 2.6; standard Kato–Rellich perturbation fact.
  • domain assumption Application-specific external theorems: Hörmander subelliptic estimates [29,42], maximal hypoellipticity classification [6], restriction theorem [17, Thm 2.2], Harnack/continuity [11,35,16], De Giorgi–Nash–Moser [19], and compact-resolvent criteria [7,9,26,45].
    Applications import operator-specific facts from the literature; the abstract theorem does not reprove them.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Generic simplicity for self-adjoint operators under bounded potential perturbations." pith.science (2026). https://pith.science/paper/GAZCJSCS

@misc{pith2026260531368,
  author       = {Pith},
  title        = {Pith review of: Generic simplicity for self-adjoint operators under bounded potential perturbations},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/GAZCJSCS}},
  note         = {Machine review of arXiv:2605.31368}
}
read the original abstract

We are interested in the generic simplicity of the spectrum of self-adjoint operators under bounded potential perturbations. More precisely, given a semibounded self-adjoint operator with compact resolvent and a suitable space of real-valued bounded perturbations, we study whether all eigenvalues of the perturbed operator are simple for a generic choice of the potential. In the first part of this paper we prove an abstract criterion which ensures that the set of perturbations giving only simple eigenvalues is residual. In the second part, we apply this criterion to several geometric and analytic settings, including sub-Laplacians and maximally hypoelliptic operators on compact manifolds, Laplacians on bounded domains with different boundary conditions, and Schr\"odinger-type operators on non-compact spaces.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 2 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. A Response Calculus for Liouville Brownian Motion I: Simple Spectrum, Joint Eigenvalue Densities, and Ward Identities

    math.PR 2026-08 accept novelty 8.0 of 10

    Dirichlet Liouville Brownian motion has a.s. simple spectrum and absolutely continuous joint eigenvalue laws for all 0<γ<2, via a new Cameron–Martin response calculus.

  2. Coarse nodal counts on sub-Riemannian manifolds

    math.SP 2026-08 accept novelty 7.0 of 10

    On compact quotients of stratified groups, the number of δ-deep nodal domains and coarse zero-set features of sums of sub-Laplacian eigenfunctions grows polynomially in the eigenvalue bound, with arbitrarily small exp...

Reference graph

Works this paper leans on

49 extracted references · 1 canonical work pages · cited by 2 Pith papers

  1. [6]

    Androulidakis, O

    I. Androulidakis, O. Mohsen and R. Yuncken,A pseudodifferential calculus for maximally hy- poelliptic operators and the Helffer–Nourrigat conjecture, arXiv:2201.12060 [math.AP], 2022

  2. [17]

    R. L. Frank and B. Helffer,On Courant and Pleijel theorems for sub-Riemannian Laplacians, J. ´Ec. polytech. Math.12(2025), 1083–1160

  3. [11]

    Chanillo and R

    S. Chanillo and R. L. Wheeden,Harnack’s inequality and mean-value inequalities for solutions of degenerate elliptic equations, Commun. Partial Differ. Equ.11(1986), no. 10, 1111–1134

  4. [1]

    J. H. Albert,Topology of the nodal and critical point sets for eigenfunctions of elliptic operators, Ph.D. thesis, Massachusetts Institute of Technology, Cambridge, MA, 1971

  5. [2]

    J. H. Albert,Nodal and critical sets for eigenfunctions of elliptic operators, in:Partial Differ- ential Equations, Proc. Sympos. Pure Math., vol. 23, Amer. Math. Soc., Providence, RI, 1973, pp. 71–78

  6. [3]

    J. H. Albert,Genericity of simple eigenvalues for elliptic PDE’s, Proc. Amer. Math. Soc.48 (1975), no. 2, 413–418

  7. [4]

    J. H. Albert,Generic properties of eigenfunctions of elliptic partial differential operators, Trans. Amer. Math. Soc.238(1978), 341–354

  8. [5]

    Alessandrini,On Courant’s nodal domain theorem, Forum Math.10(1998), no

    G. Alessandrini,On Courant’s nodal domain theorem, Forum Math.10(1998), no. 5, 521–532

Show all 49 references
  1. [7]

    Arendt and M

    W. Arendt and M. Warma,The Laplacian with Robin boundary conditions on arbitrary domains, Potential Anal.19(2003), no. 4, 341–363

  2. [8]

    Aronszajn,A unique continuation theorem for solutions of elliptic partial differential equations or inequalities of second order, J

    N. Aronszajn,A unique continuation theorem for solutions of elliptic partial differential equations or inequalities of second order, J. Math. Pures Appl. (9)36(1957), 235–249

  3. [9]

    M. S. Ashbaugh, F. Gesztesy, M. Mitrea and G. Teschl,Spectral theory for perturbed Krein Laplacians in nonsmooth domains, Adv. Math.223(2010), no. 4, 1372–1467

  4. [10]

    somme de carr´ es

    H. Bahouri,Non prolongement unique des solutions d’op´ erateurs “somme de carr´ es”, Ann. Inst. Fourier (Grenoble)36(1986), no. 4, 137–155

  5. [12]

    Chatzakou and B

    M. Chatzakou and B. Helffer,Perturbations for the metrics of the sub-Laplacian, in preparation, 2026

  6. [13]

    Chatzakou, J

    M. Chatzakou, J. Delgado and M. Ruzhansky,On a class of anharmonic oscillators, J. Math. Pures Appl. (9)153(2021), 1–29. GENERIC SIMPLICITY FOR SELF-ADJOINT OPERATORS 27

  7. [14]

    Engel and R

    K.-J. Engel and R. Nagel,One-Parameter Semigroups for Linear Evolution Equations, Graduate Texts in Mathematics, vol. 194, Springer, New York, 2000

  8. [15]

    Eswarathasan and C

    S. Eswarathasan and C. Letrouit,Nodal sets of eigenfunctions of sub-Laplacians, Int. Math. Res. Not. IMRN2023(2023), no. 23, 20670–20700

  9. [16]

    Di Fazio, M

    G. Di Fazio, M. S. Fanciullo, and P. Zamboni,Harnack inequality for a class of strongly degener- ate elliptic operators formed by H¨ ormander vector fields, Manuscr. Math.135(2011), 361–380. doi:10.1007/s00229-010-0420-y

  10. [18]

    R. L. Frank and B. Helffer,Pleijel theorem for a class of degenerate elliptic operators, in prepa- ration, 2026

  11. [19]

    Gilbarg and N

    D. Gilbarg and N. S. Trudinger,Elliptic Partial Differential Equations of Second Order, Classics in Mathematics, Springer, Berlin, 2001

  12. [20]

    Guibourg,In´ egalit´ es maximales pour l’op´ erateur de Schr¨ odinger, C

    D. Guibourg,In´ egalit´ es maximales pour l’op´ erateur de Schr¨ odinger, C. R. Acad. Sci. Paris S´ er. I Math.316(1993), no. 3, 249–252

  13. [21]

    Harakeh and L

    M. Harakeh and L. Hillairet,A spectral condition for the control of eigenfunctions of Baouendi– Grushin type operators, ESAIM Control Optim. Calc. Var.31(2025), Art. 68

  14. [22]

    Helffer, T

    B. Helffer, T. Hoffmann-Ostenhof and S. Terracini,Nodal domains and spectral minimal parti- tions, Ann. Inst. H. Poincar´ e C Anal. Non Lin´ eaire26(2009), no. 1, 101–138

  15. [23]

    Helffer and J

    B. Helffer and J. Nourrigat,Hypoellipticit´ e maximale pour des op´ erateurs polynˆ omes de champs de vecteurs. I, C. R. Acad. Sci. Paris S´ er. A–B289(1979), no. 16, A775–A778

  16. [24]

    Helffer and J

    B. Helffer and J. Nourrigat,Hypoellipticit´ e maximale pour des op´ erateurs polynˆ omes de champs de vecteurs, Progress in Mathematics, vol. 58, Birkh¨ auser Boston, Boston, MA, 1985

  17. [25]

    Helffer and A

    B. Helffer and A. Mohamed,Caract´ erisation du spectre essentiel de l’op´ erateur de Schr¨ odinger avec un champ magn´ etique, Ann. Inst. Fourier (Grenoble)38(1988), no. 2, 95–112

  18. [26]

    Helffer,Introduction to semi-classical methods for the Schr¨ odinger operator with magnetic fields, in: A

    B. Helffer,Introduction to semi-classical methods for the Schr¨ odinger operator with magnetic fields, in: A. El Soufi and M. Jazar (eds.),Aspects th´ eoriques et appliqu´ es de quelques EDP issues de la g´ eom´ etrie ou de la physique, S´ eminaires et Congr` es, vol. 17, Soc....

  19. [27]

    Helffer,Spectral Theory and its Applications, Cambridge Studies in Advanced Mathematics, vol

    B. Helffer,Spectral Theory and its Applications, Cambridge Studies in Advanced Mathematics, vol. 139, Cambridge University Press, Cambridge, 2013

  20. [28]

    Helffer and J

    B. Helffer and J. Nourrigat,On the domain of a magnetic Schr¨ odinger operator with complex electric potential, in: T. M. Rassias and V. A. Zagrebnov (eds.),Analysis and Operator Theory, Springer Optimization and Its Applications, vol. 146, Springer, Cham, 2019, pp. 149–165

  21. [29]

    H¨ ormander,Hypoelliptic second order differential equations, Acta Math.119(1967), 147–171

    L. H¨ ormander,Hypoelliptic second order differential equations, Acta Math.119(1967), 147–171

  22. [30]

    Iwatsuka,Magnetic Schr¨ odinger operators with compact resolvent, J

    A. Iwatsuka,Magnetic Schr¨ odinger operators with compact resolvent, J. Math. Kyoto Univ.26 (1986), no. 3, 357–374

  23. [31]

    Kato,Perturbation Theory for Linear Operators, Classics in Mathematics, Springer, Berlin, 1995

    T. Kato,Perturbation Theory for Linear Operators, Classics in Mathematics, Springer, Berlin, 1995

  24. [32]

    Kondratiev and M

    V. Kondratiev and M. Shubin,Discreteness of spectrum for the magnetic Schr¨ odinger operators, Comm. Partial Differential Equations27(2002), no. 3–4, 477–525

  25. [33]

    Laurent and M

    C. Laurent and M. L´ eautaud,Tunneling estimates and approximate controllability for hypoelliptic equations, Mem. Amer. Math. Soc.276(2022), no. 1357, vi+95 pp

  26. [34]

    D. Lenz, P. Stollmann and D. Wingert,Compactness of Schr¨ odinger semigroups, Math. Nachr. 283(2010), no. 1, 94–103

  27. [35]

    Lu,Weighted Poincar´ e and Sobolev inequalities for vector fields satisfying H¨ ormander’s con- dition and applications, Rev

    G. Lu,Weighted Poincar´ e and Sobolev inequalities for vector fields satisfying H¨ ormander’s con- dition and applications, Rev. Mat. Iberoam.8(1992), 367-439

  28. [36]

    Lu, On Harnack’s inequality for a class of strongly degenerate Schr¨ odinger operators formed by vector fields, Differ

    G. Lu, On Harnack’s inequality for a class of strongly degenerate Schr¨ odinger operators formed by vector fields, Differ. Integral Equ.7(1994), no. 1, 73–100

  29. [37]

    Mohsen,Abstract maximal hypoellipticity and applications, arXiv:2601.13741 [math.OA], 2026

    O. Mohsen,Abstract maximal hypoellipticity and applications, arXiv:2601.13741 [math.OA], 2026

  30. [38]

    Persson,Bounds for the discrete part of the spectrum of a semi-bounded Schr¨ odinger operator, Math

    A. Persson,Bounds for the discrete part of the spectrum of a semi-bounded Schr¨ odinger operator, Math. Scand.8(1960), 143–153. 28 MARIANNA CHATZAKOU AND BERNARD HELFFER

  31. [39]

    Pleijel,Remarks on Courant’s nodal line theorem, Comm

    A. Pleijel,Remarks on Courant’s nodal line theorem, Comm. Pure Appl. Math.9(1956), 543– 550

  32. [40]

    Reed and B

    M. Reed and B. Simon,Methods of Modern Mathematical Physics, Vol. II: Fourier Analysis, Self-Adjointness, Academic Press, New York, 1975

  33. [41]

    Reed and B

    M. Reed and B. Simon,Methods of Modern Mathematical Physics, Vol. IV: Analysis of Opera- tors, Academic Press, New York, 1978

  34. [42]

    L. P. Rothschild and E. M. Stein,Hypoelliptic differential operators and nilpotent groups, Acta Math.137(1976), no. 3–4, 247–320

  35. [43]

    Shen,L p estimates for Schr¨ odinger operators with certain potentials, Ann

    Z. Shen,L p estimates for Schr¨ odinger operators with certain potentials, Ann. Inst. Fourier (Grenoble)45(1995), no. 2, 513–546

  36. [44]

    Simon,Schr¨ odinger operators with purely discrete spectrum, Methods Funct

    B. Simon,Schr¨ odinger operators with purely discrete spectrum, Methods Funct. Anal. Topology 15(2009), no. 1, 61–66

  37. [45]

    Simon,Some quantum operators with discrete spectrum but classically continuous spectrum, Ann

    B. Simon,Some quantum operators with discrete spectrum but classically continuous spectrum, Ann. Physics146(1983), no. 1, 209–220

  38. [46]

    Teschl,Mathematical Methods in Quantum Mechanics: With Applications to Schr¨ odinger Op- erators, Graduate Studies in Mathematics, vol

    G. Teschl,Mathematical Methods in Quantum Mechanics: With Applications to Schr¨ odinger Op- erators, Graduate Studies in Mathematics, vol. 99, American Mathematical Society, Providence, RI, 2009

  39. [47]

    Tralli,Double Ball Property for non-divergence horizontally elliptic operators on step two Carnot groups, Rend

    G. Tralli,Double Ball Property for non-divergence horizontally elliptic operators on step two Carnot groups, Rend. Lincei Mat. Appl.23(2012), no. 4, 351–360

  40. [48]

    Uhlenbeck,Generic properties of eigenfunctions, Amer

    K. Uhlenbeck,Generic properties of eigenfunctions, Amer. J. Math.98(1976), no. 4, 1059–1078

  41. [49]

    Yang and B.-Z

    D.-H. Yang and B.-Z. Guo,Some key properties of eigenfunctions linked to degenerate elliptic differential operators, arXiv:2605.09068, 2026. Department of Mathematics: Analysis, Logic and Discrete Mathematics, Ghent University, 9000, Ghent, Belgium Email address:marianna.chatz...

Pith tools

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