REVIEW
The essential spectrum of Schr\"{o}dinger operators on lattices
Mathematical Physics · Submitted 27 Feb 2006 · 28 references
Pith's verdict: Useful limit-operator tour through lattice Schrödinger essential spectra, but Theorem 19 overreaches: its exact inf/sup identities do not follow and fail for single-site potentials.
T0 · AI review
Why Pith says this
Highlight any text to comment on it.
Referee report
The paper
The paper claims
The essential spectrum of a lattice Schrödinger operator is exactly the union of the spectra of its limit operators, and this identity yields explicit spectral intervals for several potential classes.
The reading
What carries the argument
The central object is the operator spectrum $\operatorname{op}(A)$: the collection of all strong limits $A_g=\operatorname{s-lim}_{j\to\infty}V_{-g(j)}AV_{g(j)}$ along sequences $g(j)\to\infty$, where $V_g$ is the shift by $g$. The load-bearing identity is $\operatorname{sp}_{\mathrm{ess}}(A)=\bigcup_{A_g\in \operatorname{op}(A)}\operatorname{sp}(A_g)$, valid in the Wiener algebra of operators with absolutely summable, bounded coefficients. The limit operators simplify at infinity—slowly oscillating coefficients become constants, periodic coefficients remain periodic, step potentials become half-space characteristic functions—and computing their spectra is a one-variable or finite-matrix problem. Assembling the union yields the paper's explicit spectral intervals.
Extended reading notes
Core claim
On the paper's own terms, the central discovery is the identity $\operatorname{sp}_{\mathrm{ess}}(A)=\bigcup_{A_g\in \operatorname{op}(A)}\operatorname{sp}(A_g)$ for band-dominated operators in the Wiener algebra on $\mathbb{Z}^N$: the essential spectrum is completely determined by the spectra of the limit operators, obtained as strong limits $A_g=\operatorname{s-lim}_{j\to\infty}V_{-g(j)}AV_{g(j)}$ along sequences $g(j)\to\infty$. The paper then computes these limit-operator spectra for the five potential classes. Slowly oscillating coefficients collapse to constants, so the essential spectrum is $[m(\Phi),M(\Phi)+4N]$; periodic operators are unitarily equivalent to multiplication by a matrix function, giving finitely many intervals; step potentials with long intervals and long gaps give $[a,a+4]\cup[b,b+4]$; waveguides split into one-dimensional Jacobi operators; and the three-particle operator decomposes into two two-body Hamiltonians plus the pair-interaction Hamiltonian.
Load-bearing premise
For the central identity to hold, every sequence of shifts of the operator must have a convergent subsequence producing a limit operator, and for the discontinuous-potential theorem the intervals where the potential is $a$ and the gaps between them must both grow without bound.
Editorial extensions
If this is right
- For slowly oscillating electric and magnetic potentials, the essential spectrum is the single interval $[\liminf_{x\to\infty}\Phi(x), \limsup_{x\to\infty}\Phi(x)+4N]$, independent of the magnetic potential.
- For periodic potentials the essential spectrum coincides with the spectrum and is a finite union of intervals; a slowly oscillating perturbation widens these intervals and can close spectral gaps once its oscillation amplitude is large enough.
- For the one-dimensional two-valued potential with intervals and gaps both growing to infinity, the essential spectrum is exactly $[a,a+4]\cup[b,b+4]$.
- For the discrete quantum waveguide, the essential spectrum is the union of the two asymptotic half-guide bands plus finitely many discrete branches coming from the transversal one-dimensional operator.
- For two particles moving around a heavy nucleus on $\mathbb{Z}^3$, the essential spectrum is the union of the spectra of the two single-particle subsystems and the pair-interaction Hamiltonian, with bounds given by the extrema of the potentials.
Reading between the lines
- Because the limit-operator identity holds on $\ell^p$ for $p\in(1,\infty)$, the same interval formulas should hold for non-selfadjoint or complex-valued potentials on $\ell^p$, a direct testable extension of the paper's selfadjoint setting.
- Relaxing the condition that the gaps between the intervals of a discontinuous potential grow to infinity should produce additional limit operators with moving step profiles, so the essential spectrum would no longer be the simple pair of intervals; classifying those extra limits is a natural next problem.
- The three-particle decomposition suggests a general cluster rule for $N$-particle lattice Hamiltonians: the essential spectrum should be the union over all cluster decompositions of the subsystem Hamiltonians, mirroring the continuous multi-particle result.
Original abstract
The paper is devoted to the study of the essential spectrum of discrete Schr\"{o}dinger operators on the lattice $\mathbb{Z}^{N}$ by means of the limit operators method. This method has been applied by one of the authors to describe the essential spectrum of (continuous) electromagnetic Schr\"{o}dinger operators, square-root Klein-Gordon operators, and Dirac operators under quite weak assumptions on the behavior of the magnetic and electric potential at infinity. The present paper is aimed to illustrate the applicability and efficiency of the limit operators method to discrete problems as well. We consider the following classes of the discrete Schr\"{o}dinger operators: 1) operators with slowly oscillating at infinity potentials, 2) operators with periodic and semi-periodic potentials; 3) Schr\"{o}dinger operators which are discrete quantum analogs of the acoustic propagators for waveguides; 4) operators with potentials having an infinite set of discontinuities; and 5) three-particle Schr\"{o}dinger operators which describe the motion of two particles around a heavy nuclei on the lattice $\mathbb{Z}^3$.
The compiled record
The paper's own sentences, arranged, kept beside the review and separate from it. Each label is drawn from a closed vocabulary; the number beside it is the probability the classifier gave that label. Numbers in the tables are the authors', checked by code. No sentence in this record was written by a model.
The abstract, sentence by sentence
The paper is devoted to the study of the essential spectrum of discrete Schr\"{o}dinger operators on the lattice $\mathbb{Z}^{N}$ by means of the limit operators method. This method has been applied by one of the authors to describe the essential spectrum of (continuous) electromagnetic Schr\"{o}dinger operators, square-root Klein-Gordon operators, and Dirac operators under quite weak assumptions on the behavior of the magnetic and electric potential at infinity. The present paper is aimed to illustrate the applicability and efficiency of the limit operators method to discrete problems as well. We consider the following classes of the discrete Schr\"{o}dinger operators: 1) operators with slowly oscillating at infinity potentials, 2) operators with periodic and semi-periodic potentials; 3) Schr\"{o}dinger operators which are discrete quantum analogs of the acoustic propagators for waveguides; 4) operators with potentials having an infinite set of discontinuities; and 5) three-particle Schr\"{o}dinger operators which describe the motion of two particles around a heavy nuclei on the lattice $\mathbb{Z}^3$.
background contribution method result interpretation main claim
| # | sentence | role | the authors' own work | states the main conclusion | strength |
|---|---|---|---|---|---|
| s0 | The paper is devoted to the study of the essential spectrum of discrete Schr\"{o}dinger operators on the lattice $\mathbb{Z}^{N}$ by means of the limit operators method. | contribution 0.94 | 0.60 | 0.09 | asserted 0.97 |
| s1 | This method has been applied by one of the authors to describe the essential spectrum of (continuous) electromagnetic Schr\"{o}dinger operators, square-root Klein-Gordon operators, and Dirac operators under quite weak assumptions on the behavior of the magnetic and electric potential at infinity. | background 0.98 | 0.49 | 0.04 | asserted 1.00 |
| s2 | The present paper is aimed to illustrate the applicability and efficiency of the limit operators method to discrete problems as well. | contribution 0.89 | 0.24 | 0.09 | asserted 0.82 |
| s3 | We consider the following classes of the discrete Schr\"{o}dinger operators: 1) operators with slowly oscillating at infinity potentials, 2) operators with periodic and semi-periodic potentials; 3) Schr\"{o}dinger operators which are discrete quantum analogs of the acoustic propagators for waveguides; 4) operators with potentials having an infinite set of discontinuities; and 5) three-particle Schr\"{o}dinger operators which describe the motion of two particles around a heavy nuclei on the lattice $\mathbb{Z}^3$. | contribution 0.99 | 0.65 | 0.06 | asserted 0.89 |
What was examined, and what was not
- arXiv listing abstract v2
- full text
- figures and tables
- references and citing sentences
- relations to other papers
- P abstract
- S sections
- T body sentences
- C citations
- R cross-paper relations
References
Discussion
Disagree with the review, or know something it missed? Leave a comment, highlight any passage above to comment on it, or challenge this review formally.