REVIEW
Unified Theory of Annihilation-Creation Operators for Solvable (`Discrete') Quantum Mechanics
Quantum Physics · Submitted 25 May 2006 · 16 references
Pith's verdict: A careful, explicit unification of ladder operators via the Heisenberg-evolved sinusoidal coordinate; the discrete-QM half is the real contribution, and the scope word 'most' is the only thing I'd push back on.
T0 · AI review
Why Pith says this
Highlight any text to comment on it.
Referee report
The paper
The paper claims
A single dynamical recipe is claimed to generate annihilation and creation operators for a wide class of solvable quantum systems, including discrete ones.
The reading
What carries the argument
The load-bearing object is the 'sinusoidal coordinate' $��(x)$—the argument of the orthogonal polynomial in the eigenfunction $��_n(x)=��_0(x)P_n(��(x))$—together with the closure relation (2.12). Solving the Heisenberg equation for $��$ gives the two frequencies $��_��(H)$ as roots of $��^2-R_1(H)��-R_0(H)=0$. The annihilation and creation operators are then $a^{(��)}=(��[H,��]��(��+R_{-1}/R_0)��_��)/(��_+-��_-)$. This is the same move Heisenberg used for the harmonic oscillator, but the paper applies it uniformly; by similarity transformation with $��_0$ it also yields the structure relation and shift-down/shift-up operators for the corresponding orthogonal polynomials.
Extended reading notes
Core claim
The central claim is that for a solvable Hamiltonian $H$ with a coordinate $��(x)$ satisfying the level-two closure $[H,[H,��]]=��R_0(H)+[H,��]R_1(H)+R_{-1}(H)$, the exact Heisenberg operator $e^{itH}��e^{-itH}$ can be written as $a^{(+)}e^{i��_+t}+a^{(-)}e^{i��_-t}-R_{-1}/R_0$, where $��_��$ are fixed by $R_0$ and $R_1$. The coefficient of the positive-frequency term is the creation operator and the coefficient of the negative-frequency term is the annihilation operator; they are Hermitian conjugates, and their action on the $n$-th eigenstate is fixed by neighbouring energy differences. The paper works this out for ordinary potentials ($1/��sin^2 x$, $x^2+1/x^2$, Pöschl-Teller, soliton, Morse) and for five discrete systems (Meixner-Pollaczek, continuous Hahn, continuous dual Hahn, Wilson, Askey-Wilson), and argues that the construction applies to most single-degree-of-freedom solvable quantum mechanics.
Load-bearing premise
The load-bearing premise is that every system claimed to be covered possesses a coordinate $��(x)$—the same argument that appears in the orthogonal-polynomial factor of the eigenfunction—satisfying the level-two closure $[H,[H,��]]=��R_0(H)+[H,��]R_1(H)+R_{-1}(H)$; for the discrete systems this is shown on five worked examples rather than proved as a general condition, and Appendix A leaves the discrete classification as a challenge.
Editorial extensions
If this is right
- For any system in the covered class, the discrete spectrum can be recovered from the requirement that the Heisenberg solution have only two frequencies plus a constant, following Heisenberg and Pauli's oscillator argument.
- The three-term recurrence coefficients $A_n$, $B_n$, $C_n$ of the orthogonal polynomials are tied directly to matrix elements of $��$, so the polynomial recurrence relation and the operator ladder become two views of one calculation.
- Coherent states defined as eigenstates of the new annihilation operator can be written down from the recurrence coefficients; in equi-spaced cases they retain simple time evolution.
- The construction supplies shift-down and shift-up operators for the Askey-scheme polynomials from the Hamiltonian rather than from a separately postulated structure relation.
Reading between the lines
- The paper's 'most' claim would become a classification theorem if the difference-equation analogue of Appendix A were solved; until then, discrete applicability is an extrapolation from five worked examples.
- Because the normalisation is fixed only up to an overall function of $H$, different choices of that function produce different coherent-state families; a reader could test whether one choice is preferred by temporal stability or by a classical limit.
- The same level-two closure could be used as a search filter for new solvable difference equations: impose the closure with low-degree $R_0$, $R_1$, $R_{-1}$ and ask which potentials admit a sinusoidal coordinate.
- If the construction is right, known structure relations for Askey-Wilson and Wilson polynomials should be re-derivable mechanically from the Heisenberg solution; a mismatch in any coefficient would falsify the unified claim for that family.
Original abstract
The annihilation-creation operators $a^{(\pm)}$ are defined as the positive/negative frequency parts of the exact Heisenberg operator solution for the `sinusoidal coordinate'. Thus $a^{(\pm)}$ are hermitian conjugate to each other and the relative weights of various terms in them are solely determined by the energy spectrum. This unified method applies to most of the solvable quantum mechanics of single degree of freedom including those belonging to the `discrete' quantum mechanics.
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 annihilation-creation operators $a^{(\pm)}$ are defined as the positive/negative frequency parts of the exact Heisenberg operator solution for the `sinusoidal coordinate'. Thus $a^{(\pm)}$ are hermitian conjugate to each other and the relative weights of various terms in them are solely determined by the energy spectrum. This unified method applies to most of the solvable quantum mechanics of single degree of freedom including those belonging to the `discrete' quantum mechanics.
background contribution method result interpretation main claim
| # | sentence | role | the authors' own work | states the main conclusion | strength |
|---|---|---|---|---|---|
| s0 | The annihilation-creation operators $a^{(\pm)}$ are defined as the positive/negative frequency parts of the exact Heisenberg operator solution for the `sinusoidal coordinate'. | method 0.61 | 0.75 | 0.14 | asserted 1.00 |
| s1 | Thus $a^{(\pm)}$ are hermitian conjugate to each other and the relative weights of various terms in them are solely determined by the energy spectrum. | result 0.59 | 0.71 | 0.16 | asserted 1.00 |
| s2 | This unified method applies to most of the solvable quantum mechanics of single degree of freedom including those belonging to the `discrete' quantum mechanics. | contribution 0.72 | 0.73 | 0.32 | asserted 0.99 |
What was examined, and what was not
- arXiv listing abstract v1
- 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
How the literature uses it
43 arXiv papers cite this in 173 sentences
Papers citing it · 139 sentences without a confident label
Builds on it 3 papers
-
Following our embryonic work [ref] on the construction of exact Heisenberg operator solutions for various degree one quantum mechanics, we present in this paper a modest first step in the quest of deriving exact Heisenberg operator solutions for a family of interacting multi-particle dynamics.
Exact Heisenberg operator solutions for multi-particle quantum mechanics · Introduction · 0.96
-
In our previous work on discrete quantum mechanics [ref] , only the special case of the Meixner-Pollaczek polynomial with the phase angle $ϕ=π/2$ and the special case of the continuous Hahn polynomial with two real parameters $a_1$ and $a_2$ are discussed, partly because these special cases of the two polynomials appear in several other dynamical contexts [ref] and, in particular, they appear as describing the equilibrium positions [ref] of the classical Ruijsenaars-Schneider van Diejen systems [ref] .
New Quasi Exactly Solvable Difference Equation · Hamiltonian Formulation for Dynamics of Hypergeometric Orthogonal Polynomials · 0.88
-
The present paper supplements the earlier results [ref] .
Exactly solvable `discrete' quantum mechanics; shape invariance, Heisenberg solutions, annihilation-creation operators and coherent states · Summary and Comments · 0.94
Uses its method or tool 7 papers
-
A complete set of exact Heisenberg solutions for `sinusoidal coordinates' [ref] , as many as the degree of freedom, is derived elementarily in terms of the universal Lax pair [ref] , which is a well-established solution mechanism for classical and quantum Calogero-Sutherland-Moser systems [ref] based on any root system [ref] .
Exact Heisenberg operator solutions for multi-particle quantum mechanics · Introduction · 0.80
-
From the closure relation [ref], the exact Heisenberg operator solution of the sinusoidal coordinate $ℰ$ can be obtained [ref] , [equation] where $a^(±)=a^(±)(ℋ^X dual_𝒟, ℰ )$ are [equation] Note that square roots in $α_±(ℋ^X dual_𝒟)$ are well-defined, because the matrix $R_1(ℋ^X dual_𝒟)^2 +4R_0(ℋ^X dual_𝒟)$ is positive semi-definite, see [ref].
Dual Polynomials of the Multi-Indexed ($q$-)Racah Orthogonal Polynomials · Closure relation · 0.88
-
The closure relation [ref] allows us to obtain the exact Heisenberg operator solution for $η(x)$, and the annihilation and creation operators $a^(±)$ are extracted from this exact Heisenberg operator solution [ref] .
Solvable Discrete Quantum Mechanics: q-Orthogonal Polynomials with |q|=1 and Quantum Dilogarithm · Closure relation · 0.90
Compares with it 1 paper
-
The two types of creation-annihilation operators are closely related with each other [ref] [equation] with [equation] and the operators $X$ and $X^†$ map the eigenfunction $ϕ_n$ to itself: [equation] The structure of these operators is better understood by the similarity transformation in terms of the groundstate wavefunction $ϕ_0$ [equation] In fact, their actions on polynomials ${H_n(cosx|q)}$ are essentially identical: [equation] The main part of $X$ and $X^†$, defined by [equation] was also introduced by Atakishiyev-Klimyk [ref] eq(9).
q-oscillator from the q-Hermite Polynomial · Heisenberg operator solution · 0.87
Cites it as support 2 papers
-
As shown in previous work [ref] and in [ref], the essential information on exact solvability is contained only in the closure relation [ref].
Unified theory of exactly and quasi-exactly solvable `Discrete' quantum mechanics: I. Formalism · Askey-Wilson algebra · 0.98
-
As mentioned repeatedly, these standard properties are well satisfied in explicit examples of discrete QM in [ref] .
Crum's Theorem for `Discrete' Quantum Mechanics · Summary and Comments · 0.97
Cites it as background 16 papers
-
These orthogonal polynomials can be studied in the framework of idQM, in which they appear as part of the eigenfunction as follows: [equation] Here $η(x)$ is a sinusoidal coordinate [ref] and $P_n(η)$ is a orthogonal polynomial of degree $n$ in $η$.
Recurrence Relations of the Multi-Indexed Orthogonal Polynomials VI : Meixner-Pollaczek and continuous Hahn types · Discrete Quantum Mechanics With Pure Imaginary Shifts and Deformed Systems · 0.81
-
The exactly solvable quantum mechanical systems described by the classical orthogonal polynomials in the Askey scheme have two properties, shape invariance and closure relation [ref] .
Recurrence Relations of the Multi-Indexed Orthogonal Polynomials IV : closure relations and creation/annihilation operators · Introduction · 0.89
-
The eigenfunctions of the Hamiltonian $ϕ_n(x)=ϕ_n(x ;λ)$ have the following general structure: [equation] Here $P_n$ is a polynomial in $η(x)$, which is called a sinusoidal coordinate [ref] .
New Quasi Exactly Solvable Difference Equation · General Setting · 0.89
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.