Quasi-Linear Algebras and Integrability (the Heisenberg Picture)
We study Poisson and operator algebras with the ''quasi-linear property'' from the Heisenberg picture point of view. This means that there exists a set of one-parameter groups yielding an explicit expression of dynamical variables (operators) as functions of ''time'...
Збережено в:
| Опубліковано в: : | Symmetry, Integrability and Geometry: Methods and Applications |
|---|---|
| Дата: | 2008 |
| Автори: | , |
| Формат: | Стаття |
| Мова: | Англійська |
| Опубліковано: |
Інститут математики НАН України
2008
|
| Онлайн доступ: | https://nasplib.isofts.kiev.ua/handle/123456789/148977 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Quasi-Linear Algebras and Integrability (the Heisenberg Picture) / L. Vinet, A. Zhedanov // Symmetry, Integrability and Geometry: Methods and Applications. — 2008. — Т. 4. — Бібліогр.: 29 назв. — англ. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1860267170863251456 |
|---|---|
| author | Vinet, L. Zhedanov, A. |
| author_facet | Vinet, L. Zhedanov, A. |
| citation_txt | Quasi-Linear Algebras and Integrability (the Heisenberg Picture) / L. Vinet, A. Zhedanov // Symmetry, Integrability and Geometry: Methods and Applications. — 2008. — Т. 4. — Бібліогр.: 29 назв. — англ. |
| collection | DSpace DC |
| container_title | Symmetry, Integrability and Geometry: Methods and Applications |
| description | We study Poisson and operator algebras with the ''quasi-linear property'' from the Heisenberg picture point of view. This means that there exists a set of one-parameter groups yielding an explicit expression of dynamical variables (operators) as functions of ''time'' t. We show that many algebras with nonlinear commutation relations such as the Askey-Wilson, q-Dolan-Grady and others satisfy this property. This provides one more (explicit Heisenberg evolution) interpretation of the corresponding integrable systems.
|
| first_indexed | 2025-12-07T19:02:08Z |
| format | Article |
| fulltext |
Symmetry, Integrability and Geometry: Methods and Applications SIGMA 4 (2008), 015, 22 pages
Quasi-Linear Algebras and Integrability
(the Heisenberg Picture)?
Luc VINET † and Alexei ZHEDANOV ‡
† Université de Montréal PO Box 6128, Station Centre-ville, Montréal QC H3C 3J7, Canada
E-mail: luc.vinet@umontreal.ca
‡ Donetsk Institute for Physics and Technology, Donetsk 83114, Ukraine
E-mail: zhedanov@yahoo.com
Received November 16, 2007, in final form January 19, 2008; Published online February 06, 2008
Original article is available at http://www.emis.de/journals/SIGMA/2008/015/
Abstract. We study Poisson and operator algebras with the “quasi-linear property” from
the Heisenberg picture point of view. This means that there exists a set of one-parameter
groups yielding an explicit expression of dynamical variables (operators) as functions of
“time” t. We show that many algebras with nonlinear commutation relations such as the
Askey–Wilson, q-Dolan–Grady and others satisfy this property. This provides one more
(explicit Heisenberg evolution) interpretation of the corresponding integrable systems.
Key words: Lie algebras; Poisson algebras; nonlinear algebras; Askey–Wilson algebra;
Dolan–Grady relations
2000 Mathematics Subject Classification: 17B63; 17B37; 47L90
1 Classical version
Assume that there is a classical Poisson manifold with the Poisson brackets (PB) {x, y} defined
for all dynamical variables x, y belonging to this manifold. Of course, it is assumed that the PB
satisfy the standard conditions:
(i) {x, α1y + α2z} = α1{x, y}+ α2{x, z} – linearity (α1, α2 are arbitrary constants);
(ii) {x, y} = −{y, x} – antisymmetricity;
(iii) {x, yz} = z{x, y}+ y{x, z} – the Leibnitz rule;
(iv) {{x, y}, z}+ {{y, z}, x}+ {{z, x}, y} = 0 – the Jacobi identity.
If one chooses the “Hamiltonian” H (i.e. some dynamical variable belonging to this manifold),
then we have the standard Hamiltonian dynamics: all variables x(t) become depending on
an additional time variable t and the equation of motion is defined as
ẋ(t) = {x(t),H}. (1.1)
Of course, the Hamiltonian H is independent of t, because Ḣ = {H,H} = 0. More generally,
a dynamical variable Q is called the integral of motion if Q̇ = 0. Clearly, this is equivalent to
the condition {Q,H} = 0.
From (1.1) we have ẍ = {{x,H},H} and more generally
dnx
dtn
= {. . . {x,H},H}, . . . H} = {x,H(n)},
?This paper is a contribution to the Proceedings of the Seventh International Conference “Symmetry in
Nonlinear Mathematical Physics” (June 24–30, 2007, Kyiv, Ukraine). The full collection is available at
http://www.emis.de/journals/SIGMA/symmetry2007.html
mailto:luc.vinet@umontreal.ca
mailto:zhedanov@yahoo.com
http://www.emis.de/journals/SIGMA/2008/015/
http://www.emis.de/journals/SIGMA/symmetry2007.html
2 L. Vinet and A. Zhedanov
where notation {x,H(n)} means n repeated PB. Using this formula we can write down the formal
Taylor expansion of an arbitrary dynamical variable in the form
x(t) = x(0) + tẋ(0) + · · ·+ tn
n!
dnx(t)
dtn
∣∣∣
t=0
+ · · ·
= x(0) + t{x(0),H}+ · · ·+ tn
n!
{x(0),H(n)}+ · · · . (1.2)
Assume now that there are N dynamical variables x1(0), x2(0), . . . , xN (0) (not depending on t)
with the following property: for every k = 1, . . . , N the PB of the variable xk(0) with the
Hamiltonian H depends linearly on all xi(0):
{xk(0),H} =
N∑
s=1
Fks(H)xs(0) + Φk(H), k = 1, 2, . . . , N, (1.3)
where Fks(H), Φk(H) are some functions of the variable H only. Using rules (i)–(iv) for the PB
we have
{{xk(0),H},H} =
N∑
s=1
Fks(H){xs(0),H} =
N∑
s=1
F
(2)
ks (H)xs(0) + Φ(1)
k (H),
where
F
(2)
ks (H) =
N∑
i=1
Fki(H)Fis(H), Φ(1)
k (H) =
N∑
i=1
Fki(H)Φi(H).
We see that the double PB {{xk(0),H},H} is again linear with respect to xi(0).
In what follows we will use the matrix notation assuming that F (H) is the N × N matrix
with the entries Fik(H) and Φ(H) is the N -dimensional vector with the components Φi(H).
Then it is seen that F (2)(H) is the square of the matrix F (H) and the vector Φ(1) is obtained
by the applying of the matrix F (h) to the vector Φ(H): Φ(1)(H) = F (H)Φ(H) in accordance
with usual conventions in linear algebra.
By induction, we obtain the following formula
{xk(0),H(n)} =
N∑
s=1
F
(n)
ks (H)xs(0) + Φ(n−1)
k (H), (1.4)
where the matrix F (n)(H) means the n-th power of the matrix Fik and the vector Φ(n−1)(H) is
Φ(n−1)(H) = F (n−1)Φ(H).
Now using (1.2) we can write down the formula
xk(t) =
∞∑
n=0
{xk(0),H(n)} tn
n!
.
By (1.4) we can present the above formula in the form
xk(t) =
N∑
s=1
Eks(H; t)xs(0) + Gk(H; t), (1.5)
Quasi-Linear Algebras and Integrability (the Heisenberg Picture) 3
where the N ×N matrix E(H; t) and the N -dimensional vector G(H, t) are defined as
E(H; t) = exp(tF (H)), G(H; t) =
(∫ t
τ=0
exp(τF (H))dτ
)
Φ(H). (1.6)
We used the ordinary definition of the exponential function of the matrix:
exp(tF ) =
∞∑
n=0
tnF (n)
n!
and ∫ t
τ=0
exp(τF )dτ =
∞∑
n=0
tn+1F (n)
(n + 1)!
.
We see from (1.5) that every variable xk(t) is a linear function with respect to initial variab-
les xs(0).
Proposition 1. Assume that there is an analytical matrix function E(H; t) and an analytical
vector function G(H; t) such that condition (1.5) holds for every k = 1, 2, . . . , N . Then this
condition is equivalent to condition (1.3).
Proof of this proposition is elementary.
So far, we did not concretize the choice of the Hamiltonian H. Now we assume that all
variables xs(0), s = 1, . . . , N can be chosen as Hamiltonians: if one puts H = xs(0) then we will
have linearity property (1.3) with respect to all other variables xi, i 6= s. It is naturally to call
such algebras the quasi-linear Poison algebras. This means that linearity property holds for all
generators xi, apart from the Hamiltonian variable xs.
Quasi-linear algebras possess a remarkable property: if one chooses any basic variable xj ,
j = 1, 2, . . . , N as a Hamiltonian then for time evolution of all other variables xi, i = 1, . . . , N ,
i 6= j we have linear property
xi(t) =
N∑
s=1
′
ξijs(xj ; t)xs(0) + ηij(xj ; t), i 6= j,
where the functions ξijs(xj ; t) and ηij(xj ; t) can be explicitly calculated as was shown above.
Notation
N∑
s=1
′ means that we exclude the term with s = j from the sum (note that excluding
value of s coincides with the fixed “number” j of the Hamiltonian).
In this case we obtain strong restrictions for the expression of the Poisson brackets {xi, xk}.
Indeed, from this property we have that for any pair of variables xi, xk one has the relation
{xi, xk} =
N∑
s=1
′
Fiks(xk)xs + Φik(xk), i, k = 1, 2, . . . , N, i 6= k (1.7)
with some functions Fiks(xk) and Φik(xk). These functions cannot be taken arbitrarily. Indeed,
we can also write down the similar condition but with reversed order of variables xi, xk:
{xk, xi} =
N∑
s=1
′
Fkis(xi)xs + Φki(xi), i, k = 1, 2, . . . , N, i 6= k.
4 L. Vinet and A. Zhedanov
But {xk, xi} = −{xi, xk}, so we have the system of conditions
N∑
s=1
′
Fkis(xi)xs + Φki(xi) +
N∑
s=1
′
Fiks(xk)xs + Φik(xk) = 0 (1.8)
which should be valid for any pair xi, xk, i 6= k.
Moreover, the Jacobi identity
{{xi, xk}, xj}+ {{xk, xj}, xi}+ {{xj , xi}, xk} = 0 (1.9)
should be valid for any triple xi, xk, xj with distinct values i, j, k. In our case the Jacobi
identity (1.9) is reduced to a system of functional-differential equations
Wijk + Wjki + Wkij = 0, (1.10)
where
Wijk = {{xi, xk}, xj} = Φ′
ik(xk){xk, xj}+
N∑
s=1
′ (
Fiks(xk){xs, xj}+ F ′
iks(xk)xs{xk, xj}
)
,
where F ′(x) means the derivative of the function F (x).
Conditions (1.8) and (1.10) can be considered as a system of nontrivial functional-differential
equations for unknown functions Fiks(xk) and Φik(xk).
Of course, there is a trivial solution of these conditions when all functions are constants, i.e.
Fiks(xk) and Φik(xk) do not depend on their arguments xk. If, additionally, Φik ≡ 0 then we
obtain well-known Lie–Poisson algebras with commutation relations
{xi, xk} =
N∑
s=1
ciksxs
with the structure constants ciks satisfying standard restrictions following from (1.8) and (1.10)
(see, e.g. [10]).
Consider the most general finite-dimensional Poisson algebras with nonlinear Poison brackets
{xi, xk} = hik(x1, . . . , xN ), (1.11)
where hik(x1, . . . , xN ) are smooth functions of N variables x1, . . . , xN . For general theory con-
nected with these algebras see e.g. [10]. In order for the variables xi, xk to form a Poisson
algebra, the functions hik should satisfy some strong restrictions. In particular, in [6] necessary
and sufficient conditions were obtained in case when hik(x1, . . . , xN ) are quadratic functions.
We will provide several examples when Poisson algebras of type (1.11) satisfy conditions (1.8)
and (1.10) and hence are quasi-linear. General classification of all Poisson algebras with such
property is an interesting open problem.
Note that in [10] the so-called semi-linear Poisson algebras (as well as their operator ana-
logues) were considered. Such algebras are in general nonlinear but they have linearity property
with respect to some prescribed generators. However the semi-linear algebras introduced in [10]
do not possess, in general, the property (1.7) and hence they are not quasi-linear algebras in our
sense.
Quasi-Linear Algebras and Integrability (the Heisenberg Picture) 5
2 “Quantum” (operator) version
Now assume that Xk, k = 1, 2, . . . are operators which act on some linear space (either finite or
infinite-dimensional).
The time dynamics is defined by the Heisenberg equations:
Ḃ = [H,B],
where H is an operator called the Hamiltonian and [H,B] ≡ HB −BH is the commutator.
As in the previous section, assume that there exist N operators Xk and a Hamiltonian H
such that the conditions
[H,Xk] =
N∑
s=1
Fks(H)Xs + Φk(H), (2.1)
where Fks(H), Φk(H) are some functions depending only on the Hamiltonian H.
Introduce the n-th repeated commutator
[H, [H, . . . , [H,B] . . . ] = adn
HB.
As in the previous section we have
adn
HXk =
N∑
s=1
F
(n)
ks (H)Xs + Φ(n−1)
k (H),
where the matrix F (n)(H) means the n-th power of the matrix Fik and the vector Φ(n−1)(H) is
Φ(n−1)(H) = F (n−1)Φ(H).
The Heisenberg time evolution is described by the one-parametric group in a standard manner
Xk(t) = exp(tH)Xk exp(−tH) = Xk + t[H,Xk] + · · ·+ tn
n!
adn
HXk + · · · . (2.2)
Note that in our approach the time variable t can be an arbitrary complex parameter and
the “Hamiltonian” H need not be a Hermitian operator. In physical applications it is usually
assumed that H is a Hermitian operator and we need to change t → it in order to obtain the
usual Heisenberg picture where the time t is a real parameter.
Again, as in classical case we obtain that Xk(t) is a linear combination of initial operators Xs:
Xk(t) =
N∑
s=1
Eks(H; t)Xs + Gk(H; t), (2.3)
where the N×N operator-valued matrix E(H; t) and the N -dimensional operator-valued vector
G(H, t) are defined by the same formulas (1.6).
Note that if the operators Xs form a Lie algebra:
[Xi, Xk] =
N∑
s=1
gs
ikXs,
where gs
ik are the structure constants, then any operator Xj = H taken as a Hamiltonian,
satisfies conditions (2.1) with Fks the constants (not depending on H) and Φk = 0, hence we
6 L. Vinet and A. Zhedanov
have formula (2.2) with Gk = 0 which is a standard action of the one-parameter Lie group
corresponding to the generator H = Xj :
exp(tXj)Xk exp(−tXj) =
N∑
s=1
Eks(t)Xs.
Of course, in the case of the Lie algebra we can construct full Lie group due to linearity property
(gs
ik are constants). However, if Fks(H) depend on an operator H then we see that only a set
of one-parameter groups exists with the linearity property (2.2). Our next problem therefore,
will be how to construct algebras satisfying the property (2.1) for different possible choices of
the operator H.
The simplest possibility is the same as in the previous section: we demand that any opera-
tor Xj can be taken as a Hamiltonian H = Xj , j = 1, 2, . . . , N . We call such algebras the
quasi-linear operator algebras. Condition (2.1) is replaced with a system of conditions
[Xj , Xk] =
N∑
s=1
′
Fjks(Xj)Xs + Φjk(Xj), k, j = 1, 2 . . . , N, k 6= j. (2.4)
Then for all possible choices of the Hamiltonian H the time evolution (the Heisenberg picture)
has the linearity property with respect to all operators apart from the Hamiltonian:
X
(j)
k (t) = exp(tXj)Xk exp(−tXj) =
N∑
s=1
′
Ejks(Xj ; t)Xs + Gjk(Xj ; t),
where the functions Ejks(Xj ; t) and Gjk(Xj ; t) are easily calculated from the functions Fjks(Xj)
and Φjk(Xj).
Of course, compatibility analysis of conditions (2.4) as well as checking of the Jacobi identity
[[Xi, Xk], Xj ] + [[Xk, Xj ], Xi] + [[Xj , Xi], Xk] = 0, i, j, k = 1, 2, . . . , N
is rather a nontrivial problem even for the case when all operators Xk are finite-dimensional.
Instead, we present concrete examples of the operator algebras possessing quasi-linear property.
However first we need to generalize our scheme to include the so-called “extension” operators.
3 Quasi-linear algebras with extension
Assume that we have a set of N so-called “basic” operators X1, X2, . . . XN and for any opera-
tor Xi, i = 1, 2, . . . , N we have also “a tower” of extension, i.e. a set of Mi ≥ 0 operators Y
(i)
k ,
k = 1, 2, . . . ,Mi, such that we have the commutation relations
[Xi, Xk] =
N∑
s=1
′
Fiks(Xi)Xs +
Mi∑
s=1
Giks(Xi)Y (i)
s + Φik(Xi),
i, k = 1, 2, . . . , N, i 6= k (3.1)
and
[Xi, Y
(i)
k ] =
N∑
s=1
′
Uiks(Xi)Xs +
Mi∑
s=1
Viks(Xi)Y (i)
s + Wik(Xi),
i = 1, 2, . . . , N, k = 1, 2, . . . ,Mi (3.2)
Quasi-Linear Algebras and Integrability (the Heisenberg Picture) 7
with some functions Fiks(x), . . . ,Wik(x). In what follows we will assume that all these functions
are polynomials.
Thus the extension operators Y
(i)
k enter the linear combinations in commutators (3.1), (3.2)
but only operators Xi can be chosen as “Hamiltonians”. In general, commutation relations
between operators Y
(i)
k are not defined as well as the commutation relations between the Hamil-
tonian Xi and operators Y
(j)
k from another “tower” (i.e. when j 6= i).
From (3.1), (3.2) it follows immediately that repeated commutators with the “Hamilto-
nians” Xi have the similar structure
adn
Xi
Xk =
N∑
s=1
′
F
(n)
iks (Xi)Xs +
Mi∑
s=1
G
(n)
iks(Xi)Y (i)
s + Φ(n)
ik (Xi), i, k = 1, 2, . . . , N
and
adn
Xi
Y
(i)
k =
N∑
s=1
′
U
(n)
iks (Xi)Xs +
Mi∑
s=1
V
(n)
iks (Xi)Y (i)
s + W
(n)
ik (Xi)
with polynomials F
(n)
iks (x), . . . ,W (n)
ik (x) which can be obtained from Fiks(x), . . . ,Wik(x) by ob-
vious explicit procedures.
Hence we have an explicit Heisenberg evolution picture:
etXiXke
−tXi =
N∑
s=1
′
F̃iks(Xi; t)Xs +
Mi∑
s=1
G̃iks(Xi; t)Y (i)
s + Φ̃ik(Xi; t), i, k = 1, 2, . . . , N
and
etXiY
(i)
k e−tXi =
N∑
s=1
′
Ũiks(Xi; t)Xs +
Mi∑
s=1
Ṽiks(Xi; t)Y (i)
s + W̃ik(Xi; t),
where the functions F̃iks(x; t), . . . , W̃ik(x; t) are obtained from the polynomials F
(n)
iks (x), . . . ,
W
(n)
ik (x) by an obvious way, e.g.
F̃iks(x; t) =
∞∑
n=0
tn
n!
F
(n)
iks (x)
etc.
Thus, as in the previous section, we have an explicit linear Heisenberg evolution of the
operators Xi, Y
(i)
k under the action of N Hamiltonians Xi, i = 1, 2, . . . , N . In contrast to the
previous section, the operators Y
(i)
k do not in general provide the linear evolution, i.e. they
cannot be chosen as Hamiltonians. They serve only as an auxiliary tool in our picture.
The total number M of extension operators Y
(i)
k can be less then M1 + M2 + · · · + MN ,
because in special cases some of these operators can coincide, as we will see later.
It will be convenient to call the corresponding algebras the quasi-linear algebras of the type
(N,M), where N is number of the “true Hamiltonians” X1, . . . , XN and M is a total num-
ber of extension operators Y
(i)
k . For quasi-linear algebras without extension we will use the
symbol (N, 0).
Of course, essentially the same picture is valid in classical case if one replaces the commutators
[· · · ] with the Poisson brackets {· · · }.
In the next sections we construct simplest examples of the quasi-linear algebras in both
classical and quantum (operator) pictures.
8 L. Vinet and A. Zhedanov
4 The q-oscillator algebra
Consider the simplest case when we have only two operators X, Y (i.e. N = 2) and we demand
that property (2.1) will be satisfied when H is chosen as either X or Y , i.e. in this case we have
the quasi-linear algebra of type (2, 0) without extension. From previous considerations it follows
that two conditions
[X, Y ] = F1(Y )X + Φ1(Y ), [Y, X] = F2(X)Y + Φ2(X) (4.1)
should be valid, where Fi(z), Φi(z), i = 1, 2 are some functions.
In the classical case we will have similar conditions:
{x, y} = F1(y)x + Φ1(y), {y, x} = F2(x)y + Φ2(x) (4.2)
with commutators [· · · ] replaced with the Poisson brackets {· · · }. We see that necessary condi-
tion for compatibility of (4.1) or (4.2) is
F1(Y )X + Φ1(Y ) + F2(X)Y + Φ2(X) = 0. (4.3)
In the classical case (i.e. when X, Y are two independent commuting variables) we have a simple
functional equation for 4 unknown functions Fi(z), Φi(z), i = 1, 2. Assume first that the
function F2(x) is not a constant. Then taking two distinct values x = α and x = β and
considering (4.3) as a system for unknowns F1(y), Φ1(y) we easily find that these functions
should be linear in y. Quite similarly, we find that functions F2(x), Φ2(x) should be linear as
well. After simple calculations we obtain in this case the most general solution
{x, y} = αxy + β1x + β2y + γ, (4.4)
where α, β1, β2, γ are arbitrary constants (α 6= 0). By an appropriate affine transformation of
the variables x → ξ1x + η1, y → ξ2y + η2 we can reduce (4.4) to a canonical form
{x, y} = αxy − 1
in the case if the polynomial αxy + β1x + β2y + γ is irreducible. If this polynomial is reducible
(i.e. can be presented as a product of two linear polynomials in x, y) then we have the canonical
form
{x, y} = αxy.
In quantum case we have correspondingly either algebra of the form
[X, Y ] = αXY + γ, (4.5)
if γ 6= 0, or the Weyl operator pair
XY = qY X.
Note that relation (4.5) can be rewritten in other canonical form
XY − qY X = 1 (4.6)
with some parameter q 6= 0, 1. The pair of operators X, Y satisfying the commutation rela-
tion (4.6) is called the q-oscillator algebra.
Quasi-Linear Algebras and Integrability (the Heisenberg Picture) 9
In this case the Heisenberg evolution becomes very simple. Indeed, consider, e.g. Y as the
Hamiltonian. We have from (4.6)
[Y, [Y, X]] = ω2Y 2X − ωY,
where ω = 1− q, and, by induction,
adn
Y X = ωnY nX − ωn−1Y n−1, n = 1, 2, . . . .
Hence we have explicitly
etY Xe−tY = eωtY X − φ(Y ; t),
where
φ(y; t) =
∫ t
0
eωτydτ =
eωty − 1
ωy
.
When ω → 0 (i.e. q → 1) one obtains
etY Xe−tY = X − t + ωtY (X − t/2) + O(ω2).
Here the first term X − t in the right-hand side corresponds to the simple Weyl shift of the
harmonic oscillator. Indeed, when X, Y satisfy the Heisenberg–Weyl commutation relation
[X, Y ] = 1 then
etY Xe−yY = X − t,
i.e. the operator X is shifted by a constant under action of the Hamiltonian H = Y . The second
term ωtY (X − t/2) describes a small “q-deformation” of the Weyl shift.
5 The Askey–Wilson algebra
The Askey–Wilson algebra AW (3) [8, 28] can be presented in several equivalent forms. One of
them consists of 3 operators K1, K2, K3 with the commutation relations
[K1,K2] = K3, (5.1)
[K2,K3] = 2ρK2K1K2 + a1{K1,K2}+ a2K
2
2 + c1K1 + dK2 + g1,
[K3,K1] = 2ρK1K2K1 + a2{K1,K2}+ a1K
2
1 + c2K2 + dK1 + g2
with some constants ρ, a1, a2, c1, c2, d, g1, g2. The symbol {· · · } stands for the anticommutator:
{X, Y } ≡ XY + Y X.
The AW (3) algebra belongs to quasi-linear type of (2, 1). Indeed, we can rewrite it in the
form
[K1,K2] = K3, (5.2)
[K2, [K2,K1]] = R2(K2)K1 + R1(K2)K3 + R0(K2),
[K1, [K1,K2]] = S2(K1)K2 + S1(K1)K3 + S0(K1),
where
R2(x) = −2ρx2 − 2a1x− c1, R1(x) = −2ρx− a1, R0(x) = −a2x
2 − dx− g1,
S2(x) = −2ρx2 − 2a2x− c2, S1(x) = 2ρx + a2, S0(x) = −a1x
2 − dx− g2.
10 L. Vinet and A. Zhedanov
We see that AW (3) algebra in the form (5.2) has quasi-linear structure with N = 2, M = 1.
The operators K1, K2 play the role of the true Hamiltonians whereas the operator K3 is the
only extension.
If ρ 6= 0 one can present the same algebra in an equivalent (more symmetric) form in terms
of operators X, Y , Z [28, 24, 27]
XY − qY X = Z + C3, Y Z − qZY = X + C1, ZX − qXZ = Y + C2, (5.3)
or, in a pure commutator form
[X, Y ] = (q − 1)Y X + Z + C3, [Y, Z] = (q − 1)ZY + X + C1,
[Z,X] = (q − 1)XZ + Y + C2.
In this form we have quasi-linear algebra of type (3, 0) without extension, i.e. in this case all
3 operators X, Y , Z of the algebra play the role of the Hamiltonians. Hence in this case the
linearity property holds for all operators X, Y , Z.
It is instructive to derive directly transformation property of, say, operator X under Hamil-
tonian action of the operator Y . We have
adn
Y X = Un(Y )X + Vn(Y )Z + Wn(Y ), (5.4)
where Un(x), Vn(x), Wn(x) are polynomials in x. Initial conditions are obvious:
U0(x) = 1, V0(x) = W0(x) = 0.
Derive recurrence relations for the polynomials Un(x), Vn(x), Wn(x). For this goal let as apply
the operator adY with respect to (5.4):
adn+1
Y X = Un(Y )[Y, X] + Vn(Y )[Y, Z] =
(
(1− q)Y Un(Y ) + q−1Vn(Y )
)
X
+
(
(1− q−1)Y Vn(Y )− Un(Y )
)
Z − C3Un(Y ) + q−1C1Vn(Y ).
Hence we have
Un+1 = (1− q)Y Un + q−1Vn, Vn+1 = −Un + (1− q−1)Y Vn,
Wn+1 = −C3Un + C1q
−1Vn. (5.5)
From recurrence relations (5.5) it is possible to find polynomials Un, Vn, Wn explicitly. In
particular, it is clear that Un(Y ) is a polynomial of degree n and Vn(Y ), Wn(Y ) are polynomials
of degree n− 1.
For the transformed operator X(t) we have
X(t) = etY Xe−tY = E1(t;Y )X + E2(t;Y )Z + E0(t;Y ),
where
E1(t;Y ) =
∞∑
n=0
tnUn(Y )
n!
, E2(t;Y ) =
∞∑
n=0
tnVn(Y )
n!
, E0(t;Y ) =
∞∑
n=0
tnWn(Y )
n!
.
From (5.5) we have a system of linear differential equations for unknown functions E1(t), E2(t)
Ė1(t;x) = (1− q)xE1 + q−1E2, Ė2(t;x) = −E1 + (1− q−1)xE2.
Initial conditions are E1(0) = 1, E2(0) = 0. This system has constant coefficients (not depending
on t) and hence can be elementary integrated:
E1(t;x) = a11(x)eω1(x)t + a12(x)eω2(x)t, E2(t;x) = a21(x)eω1(x)t + a22(x)eω2(x)t,
Quasi-Linear Algebras and Integrability (the Heisenberg Picture) 11
where ω1,2(x) are roots of the characteristic equation
ω2 + x(2− q − q−1)(x− ω) + q−1 = 0
and the coefficients aik(x) can be found by standard methods.
The function E0(t;x) can then be found as
E0(t;x) = −C3
∫ t
0
E1(τ ;x)dτ + C1q
−1
∫ t
0
E2(τ ;x)dτ.
We see that the Heisenberg evolution is described by elementary functions (linear combinations
of exponents) in the argument t. But the coefficients in these linear combinations depend on
operator H.
Similar expressions are valid for all other possible choices of the Hamiltonian (i.e. H = X or
H = Z) due to symmetric form of algebra (5.3).
Thus for ρ 6= 0 essentially the same AW (3) algebra can be presented in two equivalent forms –
either as an algebra of type (2, 1) with the only extension or as an algebra of type (3, 0) without
extension. However if ρ = 0 then the only type (2, 1) is known (this special case corresponds to
the so-called quadratic Racah algebra QR(3) [8]).
So far, we have no general results in quantum (i.e. operator) case concerning classification
scheme. In particular, we do not know, whether AW (3) algebra is the only quasi-linear algebra
of type (2, 1) or (3, 0). In the classical case the situation is slightly better: we already showed
that for the type (2, 0) the only q-oscillator algebra appears. In the next section we consider
a classification scheme for the type (3, 0).
6 Classical case of type (3,0)
Consider the classical case of quasi-linear algebras of type (3, 0). This means that we have
3 dynamical variables x, y, z satisfying the Poisson bracket relations
{y, z} = F1(x, y, z), {z, x} = F2(x, y, z), {x, y} = F3(x, y, z),
where the functions Fi(x, y, z) should be chosen in such way to satisfy the Jacobi identity
{{x, y}, z}+ {{y, z}, x}+ {{z, x}, y} = 0.
It is easily seen that this condition is equivalent to the relation [6]
(F, rotF) = 0, (6.1)
where the vector F has Cartesian components (F1, F2, F3) and rot is standard differentiation
curl operator acting on the vector F.
Relation (6.1) has an obvious solution
F = ∇Q(x, y, z), (6.2)
where ∇ is the gradient operator and Q(x, y, z) is a function of 3 variables. In this case we have
the defining Poisson relations in the form
{y, z} = Qx, {z, x} = Qy, {x, y} = Qz, (6.3)
where Qx means derivation with respect to x etc. Note that in this case the function Q(x, y, z) is
the Casimir element of the algebra, i.e. {x,Q} = {y, Q} = {z, Q} = 0. Poisson brackets of such
12 L. Vinet and A. Zhedanov
types are sometimes called the Nambu brackets or Mukai–Sklyanin algebras [17]. However, the
Nambu bracket (6.2) do not exhaust all admissible Poisson algebras with 3 generators. There
are non-trivial examples corresponding to rotF 6= 0.
Consider restrictions on the functions Fi(x, y, z) coming from the quasi-linear property.
On the one side, choosing y to be a Hamiltonian, we have by this property
{x, y} = F3(x, y, z) = Φ1(y)x + Φ2(y)z + Φ3(y). (6.4)
On the other side, choosing x to be a Hamiltonian, we have analogously
{x, y} = Φ4(x)y + Φ5(x)z + Φ6(x) (6.5)
with some functions Φi(x), i = 1, 2, . . . , 6.
From (6.4) and (6.5) we see that F3(x, y, z) should be a polynomial having degree no more
than 1 with respect to each variable x, y, z and the most general form of this polynomial is
F3(x, y, z) = α3xy + β31x + β32y + β33z + γ3.
Quite analogously, taking functions F1, F2 we obtain
Fi(x, y, z) = αixkxl +
3∑
s=1
βisxs + γi, (6.6)
where x1 = x, x2 = y, x3 = z and αi, βis, γi are some constants. As usual in rhs of (6.6)
notation xkxl means that triple (i, k, l) has no coinciding entries.
Condition (6.1) imposes strong restrictions upon the coefficients αi, βik, γi. It is convenient
to analyze the canonical forms of obtained algebras up to affine transformations xi → ξixi + ηi
with some constants ξi, ηi (of course we demand that ξ1ξ2ξ3 6= 0).
(i) If diagonal entries βii are all nonzero then necessarily α1 = α2 = α3 = α. We will
assume α 6= 0 (otherwise we will obtain the Lie–Poisson algebras). Then the matrix β should
be symmetric: βik = βki. These conditions are also sufficient for validity of the Jacobi identity.
After an appropriate affine transformation we reduce our algebra to the canonical form
Fi(x, y, z) = αxkxl + xi + γi
with only 4 independent free parameters: α and γi, i = 1, 2, 3. This is exactly the classical
version of the Askey–Wilson algebra AW (3) [12].
(ii) If one of diagonal entries is zero, say β33 = 0, then again we have the same necessary and
sufficient conditions α1 = α2 = α3 = α 6= 0 and βik = βki. The canonical form is
F1 = αx2x3 + x1 + γ1, F2 = αx1x3 + x2 + γ2, F3 = αx2x1 + γ3.
In both cases (i) and (ii) we have the Nambu–Poisson brackets (6.3) with
Q = αxyz + (x2 + y2 + z2)/2 + γ1x + γ2y + γ3z
for the case (i) and
Q = αxyz + (x2 + y2)/2 + γ1x + γ2y + γ3z
for the case (ii).
(iii) Two diagonal entries are zero, say β22 = β33 = 0 and β11 6= 0. Then there exist
2 possibilities: in the first case α1 = α2 = α3 = α 6= 0 and the canonical form of the algebra is
F1 = αx2x3 + x1 + γ1, F2 = αx1x3 + γ2, F3 = αx2x1 + γ3.
Quasi-Linear Algebras and Integrability (the Heisenberg Picture) 13
This is again the algebra of Nambu type with
Q = αxyz + x2/2 + γ1x + γ2y + γ3z.
(iv) As in the previous case we have β22 = β33 = 0 and β11 6= 0. But now there is a possibility
of noncoinciding entries αi. Namely we have α2 = α3 but α1 6= α2. We will assume that
α2α1 6= 0. Then we have the canonical form
F1 = α1x2x3 + x1, F2 = α2x1x3, F3 = α2x2x1.
This case does not belong to the Nambu type.
(v) There is further degeneration of the previous case. Namely we can allow α1 = 0, α2 6= 0
or α2 = 0, α1 6= 0. In the first case we have the canonical form
F1 = x1 + γ1, F2 = α2x1x3, F3 = α2x2x1.
In the second case the canonical form is
F1 = α1x2x3 + x1 + γ1, F2 = x3, F3 = x2.
(vi) Assume that all diagonal entries are zero β11 = β22 = β33 = 0. Then if α1α2α3 6= 0 we
have the canonical form
F1 = α1x2x3, F2 = α2x1x3, F3 = α3x2x1.
It is interesting to note that obtained algebras of types (i)–(vi) correspond to the list of
so-called 3-dimensional skew-polynomial algebras introduced by Bell and Smith [22, 19]. In our
case we have classical (i.e. Poisson brackets) analogues of the 3-dimensional skew-polynomial
algebras.
Concerning other aspects and applications of the classical (Poissonic) version of the AW (3)
algebra see e.g. [12].
7 Beyond the AW-algebra
Consider the so-called Dolan–Grady relations [5] for two operators A0, A1
[A0, [A0, [A0, A1]]] = ω2[A0, A1], [A1, [A1, [A1, A0]]] = ω2[A1, A0], (7.1)
where ω is an arbitrary constant. These relations generate the so-called infinite-dimensional
Onsager algebra [4] which plays a crucial role in algebraic solution of the Ising model as well as
of some more general models in statistical physics [18].
On the other hand, we can consider the DG-relations from the “quasi-linear” algebras point
of view. Indeed, introduce the operators
A2 = [A0, A1], A3 = [A0, [A0, A1]], A4 = [A1, [A1, A0]]. (7.2)
Then we see that
ad2n+2
A0
A1 = ω2nA3, ad2n+1
A0
A1 = ω2nA2, n = 0, 1, 2, . . . ,
ad2n+2
A1
A0 = ω2nA4, ad2n+1
A1
A0 = −ω2nA2, n = 0, 1, 2, . . . ,
ad2n+2
A0
A2 = ω2n+2A2, ad2n+1
A0
A2 = ω2nA3, n = 0, 1, 2, . . . ,
ad2n+2
A1
A2 = ω2n+2A2, ad2n+1
A1
A2 = −ω2nA4, n = 0, 1, 2, . . . .
14 L. Vinet and A. Zhedanov
From these formulas we obtain an explicit Heisenberg evolution of the operators A0, A1, A2
if the operators A0 or A1 are chosen as Hamiltonians:
etA0A1e
−tA0 = A1 +
sinh(ωt)
ω
A2 +
coth(ωt)− 1
ω2
A3,
etA0A2e
−tA0 = cosh(ωt)A2 +
sinh(ωt)
ω
A3,
etA1A0e
−tA1 = A0 −
sinh(ωt)
ω
A2 +
coth(tω)− 1
ω2
A4,
etA1A2e
−tA1 = cosh(ωt)A2 −
sinh(ωt)
ω
A4.
We see that the operators A0, A1 can be chosen as Hamiltonians whereas the operators A2, A3,
A4 are the extension. Hence the DG-relations provide an example of a quasi-linear algebra of
the type (2, 3).
Define now the operator
W = αA0 + βA1 + γA2
with arbitrary parameters α, β, γ. It is seen that
etA1We−tA1 = αA0 + βA1 +
(
γ cosh(ωt)− α
sinh(ωt)
ω
)
A2
+
(
α
cosh(ωt)− 1
ω2
− γ
sinh(ωt)
ω
)
A4.
Analogously
eτA0We−τA0 = αA0 + βA1 +
(
γ cosh(ωτ) + β
sinh(ωτ)
ω
)
A2
+
(
β
cosh(ωτ)− 1
ω2
+ γ
sinh(ωτ)
ω
)
A3,
where t and τ are arbitrary parameters. If one chooses
α = ωγ coth(ωt/2), β = −ωγ coth(ωτ/2),
then the terms containing A3, A4 disappear and we have
etA1We−tA1 = αA0 + βA1 − γA2 = eτA0We−τA0 ,
whence
TWT−1 = W,
where
T = e−τA0etA1 .
Equivalently, this means that the operator W commutes with the operator T :
TW = WT.
As was noted by Davies [4] this commutation relation was crucial in Onsager’s solution of the
Ising model, where the operators T play the role of the transfer matrix. We see that this relation
follows directly from the quasi-linear property of the DG-relations.
Quasi-Linear Algebras and Integrability (the Heisenberg Picture) 15
There is an obvious generalization of the DG-relations preserving the quasi-linear property.
Indeed, define again basic operators A0, A1 and their extensions A2, A3, A4 by (7.2). But now
the triple commutators ad3
A0
A1 and ad3
A1
A0 can contain not only operator A2 as in DG-case (7.1)
but arbitrary linear combinations of the type
[A0, [A0, [A0, A1]]] = g1(A0)A1 + g2(A0)A2 + g3(A0)A3 + g0(A0) (7.3)
and
[A1, [A1, [A1, A0]]] = f1(A1)A0 + f2(A1)A2 + f3(A1)A4 + f0(A1) (7.4)
with some polynomials gi(x), fi(x), i = 0, . . . , 3. We will call these relations the generalized DG-
relations. The ordinary DG-relations corresponds to the choice g0 = f0 = g1 = f1 = g3 = f3 = 0
and g2 = −f2 = ω2.
From (7.3) and (7.4) it is obvious that for any positive integer n the repeated commutator
adn
A0
A1 has the same structure
adn
A0
A1 = g
(n)
1 (A0)A1 + g
(n)
2 (A0)A2 + g
(n)
3 (A0)A3 + g
(n)
0 (A0)
and similarly
adn
A1
A0 = f
(n)
1 (A1)A0 + f
(n)
2 (A1)A2 + f
(n)
3 (A1)A4 + f
(n)
0 (A1)
with polynomials g
(n)
i (x) and f
(n)
i (x) can be easily obtained from gi(x) and fi(x). We thus have
the “Heisenberg solvability” property
exp(A0t)A1 exp(−A0t) = G1(A0; t)A1 + G2(A0; t)A2 + G3(A0; t)A3 + G0(A0; t),
where functions Gi(x; t) can be easily calculated in the same manner as in (2.3). (Similar relation
holds for the Heisenberg evolution of the operator A1.)
Consider a special example of these generalized DG-relations. The so-called “tridiagonal
algebra” proposed by Terwilliger is generated by the two relations [9]
[A0, A
2
0A1 + A1A
2
0 − βA0A1A0 − γ(A0A1 + A1A0)− αA1] = 0 (7.5)
and
[A1, A
2
1A0 + A0A
2
1 − βA1A0A1 − γ1(A0A1 + A1A0)− α1A0] = 0, (7.6)
where β, γ, γ1, α, α1 are some constants.
The tridiagonal algebra is closely related with the Askey–Wilson algebra AW (3). Indeed, let
the operators A0, A1 belong to the AW(3) algebra of the type (5.1). Identify A0 = K1, A1 = K2,
A2 = K3 and rewrite relations (5.1) in an equivalent form getting rid of the operator K3 = A2:
A2
1A0 + A0A
2
1 + 2(ρ− 1)A1A0A1 + a1(A1A0 + A0A1)
+ a2A
2
1 + c1A0 + dA1 + g1 = 0 (7.7)
and
A2
0A1 + A1A
2
0 + 2(ρ− 1)A0A1A0 + a2(A1A0 + A0A1)
+ a1A
2
0 + c2A1 + dA0 + g2 = 0. (7.8)
16 L. Vinet and A. Zhedanov
Now applying the operator adA0 to (7.8) we obtain relation (7.5). Analogously, applying the
operator adA1 to (7.7) we obtain relation (7.6). Parameters of the tridiagonal algebra (7.5), (7.6)
are related with parameters of the AW (3) algebra as follows
β = 2(1− ρ), α = −c2, α1 = −c1, γ = −a2, γ1 = −a1.
Thus the tridiagonal algebra (7.5), (7.6) follows from the AW (3) algebra (5.1). However the
reciprocal statement is not valid: the tridiagonal algebra is larger than AW (3) [9].
It is easily verified that the tridiagonal algebra (7.5), (7.6) can be presented in an equivalent
form:
[A0, [A0, [A0, A1]]] = (2− β)(A0A3 −A2
0A2) + 2γA0A2 − γA3 + αA2,
[A1, [A1, [A1, A0]]] = (2− β)(A1A4 + A2
1A2)− 2γ1A1A2 − γ1A4 − α1A2, (7.9)
where the operators A2, A3, A4 are defined as (7.2). Comparing (7.9) with (7.3) and (7.4) we see
that the tridiagonal algebra (7.5) indeed belongs to the quasi-linear type with the coefficients
g0 = g1 = 0, g2(x) = (β − 2)x2 + 2γx + α, g3(x) = (2− β)x− γ,
f0 = f1 = 0, f2(x) = (2− β)x2 − 2γ1x− α1, f3(x) = (2− β)x− γ1.
As in the case of the ordinary DG-relations, the tridiagonal algebra is the quasi-linear algebra
with two basic operators A0, A1 and 3 extensions A2, A3, A4, i.e. it has the same type (2, 3) as
the DG-algebra.
In a special case γ = γ1 = 0 we obtain the so-called q-deformation of the Dolan–Grady
relations [24, 25]:
[A0, [A0, [A0, A1]q]q−1 ] = α[A0, A1], [A1, [A1, [A1, A0]q]q−1 ] = α1[A1, A0], (7.10)
where [X, Y ]q = q1/2XY − q−1/2Y X is so-called q-commutator. The parameter q is connected
with the parameter β by the relation β = q+q−1. This deformed DG-algebra plays an important
role in theory of quantum XXZ Heisenberg model, Azbel–Hofstadter model etc [3, 2].
It would be interesting to study what is the meaning of the exact solvability of the Heisenberg
picture for the q-deformed DG-relations (7.10) in corresponding exactly solvable models.
8 Quasi-linear algebras and exactly solvable systems
Recently Odake and Sasaki proposed an interesting approach to exactly solvable classical and
quantum mechanical models in the Heisenberg picture [15, 16]. They noticed that almost all
exactly solvable one-dimensional quantum models admit exact solution in both Schrödinger and
Heisenberg pictures.
Consider, e.g. the one-dimensional model described by the standard one-dimensional Hamil-
tonian
H = p2/2 + U(x), (8.1)
where p is the momentum operator and U(x) is a potential. Of course, the standard Heisenberg
commutation relation between coordinate and momentum operators [x, p] = i is assumed.
Introduce the operator X = f(x) with some function f(x) and consider the Heisenberg
evolution of this operator under the Hamiltonian H:
X(t) = exp(iHt)X exp(−iHt) = X + it[H,X]− t2
2
[H, [H,X]] + · · ·+ (it)n
n!
adn
HX + · · · .
Quasi-Linear Algebras and Integrability (the Heisenberg Picture) 17
In general for arbitrary Hamiltonian H the structure of the expression adn
HX will be too compli-
cated, and so it is hopeless to find explicit solution in the Heisenberg picture. Assume, however,
that the Hamiltonian H and the function f(x) satisfy the restriction
[H, [H,X]] = ad2
HX = g1(H)X + g2(H)Y + g0(H), (8.2)
with some functions gi(H), i = 0, 1, 2, where we introduce the operator
Y = [H,X] = −2if ′(x)− f ′′(x).
Then it is obvious that ansatz (8.2) (proposed by Odake and Sasaki [15, 16]) leads to an explicit
solution
X(t) = G1(H; t)X + G2(H; t)Y + G0(H; t),
where the functions Gi(H; t), i = 0, 1, 2 have elementary behavior in time t (i.e. they can be
expressed in terms of trigonometric or hyperbolic functions).
Simple considerations (see [15]) lead to the conclusion that g1(H) and g0(H) should be linear
polynomials in H whereas g2(H) should be a constant such that 2g2 = −g′1(H) = −α1 with
some constant α1.
It is easy to find (see [15]) that the most general function f(x) satisfying this property is
a solution of the equation
f ′′(x) = −1
2(α1f(x) + β1)
with arbitrary constants α1, β1. Hence f(x) is an elementary function: it is either a quadratic
polynomial in x, or a superposition of two exponents (plus a constant). Corresponding po-
tentials U(x) can also be easily found [15] – they coincide with well-known “exactly-solvable”
potentials in quantum mechanics:
(i) singular oscillator:
U(x) = a1x
2 + a2x
−2 + a0;
(ii) the Morse potential
U(x) = a1e
−2x + a2e
−x + a0;
(iii) the Pöschl–Teller potential
U(x) = a1 sin−2 x + a2 cos−2 x + a0
(in the latter case one can replace trigonometric functions with hyperbolic ones that gives hy-
perbolic analogs of the Pöschl–Teller potential).
Observe now that two operators H, X together with the third operator Y = [H,X] form
some quasi-linear algebra. In this case the operator Y plays the role of extension. Indeed, we
already established the first commutation relation (8.2) which in our case can be rewritten in
the form
[H,Y ] = (α1H + α0)X − α1
2
Y + β1H + β0. (8.3)
The second commutation relation is verified easily:
[Y, X] = −f ′2(x) =
α1
2
X2 + β1X + ε (8.4)
18 L. Vinet and A. Zhedanov
with some constant ε. Relations (8.3) and (8.4) show that we have a quasi-linear algebra of
type (2, 1) with two Hamiltonians H, X and the only extension Y . This algebra is equivalent
to so-called quadratic Jacobi algebra QJ(3) which was considered in [8] as a hidden symmetry
algebra of exactly solvable Schrödinger Hamiltonians (see also [13]). The Jacobi algebra is
a special case of the algebra AW (3) [8]. It corresponds to the following choice of the parameters
ρ = a2 = d = 0 in (5.1). We thus see that the Odake–Sasaki approach [15, 16] for the Schrödinger
Hamiltonians H (8.1) leads naturally to the Jacobi algebra QJ(3).
Consider a difference analogue of the Schrödinger Hamiltonian. We choose
H = A(s)T+ + C(s)T− + B(s), (8.5)
where operator H acts on the space of functions f(s) depending on a variable s and operators T±
are the standard shift operators
T±f(s) = f(s± 1).
The operator H is a second-order difference operator. Hence the eigenvalue equation
Hf(s) = λf(s)
can be considered as a difference analogue of the corresponding one-dimensional Schrödinger
equation.
Introduce also the operators X which acts as a multiplication
Xf(s) = x(s)f(s)
with some function x(s) which will be called a “grid” and the commutator Y = [H,X].
We now would like to find when the relation
ad2
HX = [H,Y ] = W1(H)X + W2(H)Y + W0(H) (8.6)
holds, where Wi(H), i = 0, 1, 2 are some polynomials in H. If (8.6) is fulfilled then obviously we
have an explicit time dynamics of the “grid” operator X under the Heisenberg evolution with
the Hamiltonian H:
X(t) ≡ exp(Ht)X exp(−Ht) = Q1(H; t)X + Q2(H; t)Y + Q0(H; t)
with functions Qi(H; t) which can be easily explicitly calculated from Wi(H).
We will assume that A(s)C(s) 6= 0 and the grid x(s) is nondegenerated, i.e. x(s) 6= x(s + 1)
and x(s) 6= x(s + 2). Under such conditions it is always possible to assume that C(s) = 1.
Indeed, using similarity transformation H → F (s)HF−1(s) with some functions F (s) one can
achieve the condition C(s) = 1. Such similarity transformation does not change the operator
relation (8.6).
Assume that polynomial W2(H) have a degree N with respect to the variable H. Then
it is clear from nondegeneracy of x(s) that degrees of polynomials W1(H) and W0(H) cannot
exceed N + 1. Assuming that deg (W1) = deg (W0) = N + 1 (otherwise we again obtain
degeneracy of x(s)) we obtain from (8.6) an operator identity of the form
N+1∑
k=−N−1
Ek(s)T k = 0
with coefficients Ek(s) which can be explicitly calculated after substitution of (8.5) and X = x(s)
into (8.6). From this identity we should have
Ek(s) ≡ 0
Quasi-Linear Algebras and Integrability (the Heisenberg Picture) 19
for all k = −N − 1,−N, . . . , N + 1. Assume that N ≥ 2. Then the highest-order conditions
E−N−1(s) = EN+1(s) ≡ 0 are reduced to very simple first-degree recurrence relations for the
grid x(s):
ξNx(s + 1) + ηNx(s) + ζN = 0
and
ξNx(s− 1) + ηNx(s) + ζN = 0,
where ξN , ηN , ζN are some complex coefficients not depending on s. It is easily verified that
for all possible choices of the coefficients these conditions are incompatible with nondegeneracy
conditions x(s) 6= x(s + 1) and x(s − 1) 6= x(s + 1) for the grid x(s). Hence necessarily
N ≤ 1. Thus W2(H) should be a linear polynomial (or a constant) in H and W0(H), W1(H)
should be quadratic (or linear) polynomials in H. Consider again the highest-order conditions
E2(s) = E−2(s) ≡ 0:
ξx(s + 1) + ηx(s) + x(s− 1) + ζ = 0
and
ξx(s− 1) + ηx(s) + x(s + 1) + ζ = 0
with some constants ξ, η, ζ.
These conditions are compatible with non-degeneracy conditions for the grid x(s) only if
ξ = 1 and then we obtain the linear recurrence relation
x(s + 1) + x(s− 1) + ηx(s) + ζ = 0.
This equation is well known – it describes the so-called “Askey–Wilson grids” (AW-grid) [1, 14].
The most general is the “q-quadratic” grid:
x(s) = c1q
s + c2q
−s + c0
with some constants c0, c1, c2 and a “basic” parameter q. In the limit q = 1 we obtain the
quadratic grid:
x(s) = c2s
2 + c1s + c0.
Further simple analysis of the relation (8.6) allows to obtain explicit expressions for A(s)
and B(s). It appears (we omit technical details) that corresponding operator H coincides with
the difference Askey–Wilson operator on the grid x(s) (for details see [1, 14, 26]). Thus we
showed that the only condition (8.6) concerning integrability in the Heisenberg picture of the
second-order difference operator leads uniquely to the Askey–Wilson difference operator and
corresponding AW-grid. It can be compared with results of [26], where the similar statement
was obtained but under different conditions.
It is then directly verified that the second (“dual”) algebraic relation
[Y, X] = V1(X)H + V2(X)Y + V0(X) (8.7)
holds automatically with deg(V2(X)) ≤ 1 and deg(V0,1(X)) ≤ 2.
Combining (8.6) and (8.7) we immediately conclude that operators H, X together with their
extension operator Y = [H,X] form the (generic) Askey–Wilson algebra AW (3) (5.2). Thus
the AW (3) algebra can be derived uniquely from the “Heisenberg solvability” principle. This
results seems to be new. Note that in [15] and [16] it was directly verified that the Askey–
Wilson Hamiltonian (8.5) (as well as all its special cases corresponding to classical orthogonal
polynomials) provides an exact solution for the “grid variable” X in the Heisenberg picture. In
our approach these results follow directly from the quasi-linear property of the AW (3) algebra.
Concerning classical (i.e. Poisson brackets) analogue of the AW (3) algebra and corresponding
exactly solvable systems see e.g. [29].
20 L. Vinet and A. Zhedanov
9 Conclusion
We demonstrated that the “quasi-linear” algebras (with possible extension) can be considered as
a natural generalization of the Lie algebras: they preserve the linearity property with respect to
one-parameter subgroups (exponential mapping) constructed from the fixed set of the “Hamil-
tonians”. This provides an exact time evolution (Heisenberg picture) with respect to all these
Hamiltonians. The situation is almost the same in both classical (with Poisson brackets instead
of commutators) and quantum picture. Many exactly solvable models in classical and quantum
mechanics admit an alternative description in terms of a corresponding quasi-linear algebra.
There are many open questions and problems connected with quasi-linear algebras:
(i) is it possible to give complete classification of all finite-dimensional quasi-linear algebras
(with or without extension)? We were able to construct such classification only in the classical
case (i.e. Poisson algebras) for the simplest cases of types (2, 0) and (3, 0) without extensions.
We hope that in quantum (operator) case such classification is possible at least in the case when
all operators are finite-dimensional.
(ii) in our definition of the quasi-linear algebras, e.g. in condition (2.1) the polynomials F
(depending on the Hamiltonians H) stand to the left side of the operators Xk. Of course it is
possible to define the “right” quasi-linear algebras with the property
[H,Xk] =
N∑
s=1
XsFks(H) + Φk(H), (9.1)
instead of (2.1). It is easily verified that for all considered examples of the quasi-linear algebras
the “right” version coincides with the “left” version (with possible modification of the structure
parameters). Is this property valid in general situation? We hope that the answer is positive.
Note that if the operators H and all Xi are Hermitian and if Fks(x) and Φk(x) are polyno-
mials in x (as happens e.g. for already considered examples of integrable systems in quantum
mechanics) then obviously the “left” and the “right” versions are equivalent; indeed, taking
Hermitian conjugation of (9.1) we have
[H,Xk]† = −[H,Xk] =
N∑
s=1
F ∗
ks(H)Xs + Φ∗
k(H),
(F ∗ means complex conjugation of corresponding polynomials), i.e. we obtained the “left” version
from the initial “right” version. However, from general mathematical point of view we cannot
assume that operators H and Xi are Hermitian, so the problem of equivalence between the “left”
and the “right” version remains open.
(iii) possible applications to exactly solvable models. As we know, the Jacobi algebra QJ(3)
describes exactly solvable one-dimensional quantum Hamiltonians with the singular oscillator,
Morse and Pöschl–Teller potentials. The Askey–Wilson algebra AW (3) describes all “classical”
second-order difference equations. By “classical” we mean that these equations have solutions
in terms of classical orthogonal polynomials on non-uniform grids (the most general are the
Askey–Wilson difference equations [26]). What about multi-dimensional generalization of these
results? An interesting approach was proposed in [3], where the q-deformed DG-relations are
applied to integrable models like XXZ-chain on the one side and to some generalization of the
Askey–Wilson polynomials on the other side.
(iv) the “quasi-linear” algebras do not describe all interesting non-linear algebraic objects in
theory of integrable systems. Among such algebras are so-called Sklyanin algebras introduced
in [21] and then generalized in many papers. The Sklyanin algebra consists from 4 generators Si,
i = 0, . . . , 4 with some special quadratic commutation relations between all possible pairs of the
generators. These algebras are closely related with elliptic solutions of the Yang–Baxter equation
Quasi-Linear Algebras and Integrability (the Heisenberg Picture) 21
for the 8-vertex model in statistical physics. Recently it was shown that the Sklyanin algebras
play an important role in theory of biorthogonal rational functions on elliptic grids [20, 23].
Already on the classical level (Poisson bracket version) the time evolution with respect to any
“Hamiltonian” Si is described by elliptic functions [11]. Hence in this case time evolution does
not satisfy linearity property with respect to generators. It would be very interesting to find
a basic property of these algebras which generalize the quasi-linear property.
Acknowledgments
A.Zh. thanks Centre de Recherches Mathématiques of the Université de Montréal for hospitality
and T. Ito, A. Kiselev, M. Nesterenko and P. Terwilliger for discussions. The authors would like
to thank referees for valuable remarks and comments.
References
[1] Askey R., Wilson J., Some basic hypergeometric orthogonal polynomials that generalize Jacobi polynomials,
Mem. Amer. Math. Soc. 54 (1985), no. 319, 1–55.
[2] Baseilhac P., Koizumi K., A deformed analogue of Onsager’s symmetry in the XXZ open spin chain, J. Stat.
Mech. Theory Exp. 2005 (2005), P10005, hep-th/0507053.
[3] Baseilhac P., Deformed Dolan–Grady relations in quantum integrable models, Nuclear Phys. B 709 (2005),
491–521, hep-th/0404149.
[4] Davies B., Onsager’s algebra and superintegrability, J. Phys. A: Math. Gen. 23 (1990), 2245–2261.
[5] Dolan L., Grady M., Conserved charges from self-duality, Phys. Rev. D (3) 25 (1982), 1587–1604.
[6] Fokas A.S., Gelfand I.M., Quadratic Poisson algebras and their infinite-dimensional extensions, J. Math.
Phys. 35 (1994), 3117–3131.
[7] Gorsky A.S., Zabrodin A.V., Degenerations of Sklyanin algebra and Askey–Wilson polynomials, J. Phys. A:
Math. Gen. 26 (1993), L635–L639, hep-th/9303026.
[8] Granovskii Ya.I., Lutzenko I.M., Zhedanov A.S., Mutual integrability, quadratic algebras, and dynamical
symmetry, Ann. Phys. 217 (1992), 1–20.
[9] Ito T., Tanabe K., Terwilliger P., Some algebra related to P - and Q-polynomial association schemes, in
Codes and Association Schemes (1999, Piscataway NJ), Amer. Math. Soc., Providence RI, 2001, 167–192,
math.CO/0406556.
[10] Karasëv M.V., Maslov V.P., Nonlinear Poisson brackets. Geometry and quantization, Translations of Math-
ematical Monographs, Vol. 119, Amer. Math. Soc., Providence, RI, 1993.
[11] Korovnichenko A., Zhedanov A., Dual algebras with non-linear Poisson brackets, in Integrable Structures
of Exactly Solvable Two-Dimensional Models of Quantum Field Theory (2000, Kiev), NATO Sci. Ser. II
Math. Phys. Chem., Vol. 35, Kluwer Acad. Publ., Dordrecht, 2001, 265–272.
[12] Korovnichenko A., Zhedanov A., Classical Leonard triples, in Proceedings of Workshop on Elliptic Integrable
Systems (November 8–11, 2004, Kyoto), 2004, 71–84,
available at http://www.math.kobe-u.ac.jp/publications/rlm18/6.pdf.
[13] Létourneau P., Vinet L., Quadratic algebras in quantum mechanics, in Symmetries in Science, VII (1992,
Nakajō), Plenum, New York, 1993, 373–382.
[14] Nikiforov A.F., Suslov S.K., Uvarov V.B., Classical orthogonal polynomials of a discrete variable, Springer,
1991.
[15] Odake S., Sasaki R., Unified theory of annihilation-creation operators for solvable (“discrete”) quantum
mechanics, J. Math. Phys. 47 (2006), 102102, 33 pages, quant-ph/0605215.
[16] Odake S., Sasaki R., Exact solutions in the Heisenberg picture and annihilation-creation operators, Phys.
Lett. B 641 (2006), 112–117, quant-ph/0605221.
[17] Odesskii A., Rubtsov V., Polynomial Poisson algebras with regular structure of symplectic leaves, Teoret.
Mat. Fiz. 133 (2002), 1321–1337, math.QA/0110032.
http://arxiv.org/abs/hep-th/0507053
http://arxiv.org/abs/hep-th/0404149
http://arxiv.org/abs/hep-th/9303026
http://arxiv.org/abs/math.CO/0406556
http://www.math.kobe-u.ac.jp/publications/rlm18/6.pdf
http://arxiv.org/abs/quant-ph/0605215
http://arxiv.org/abs/quant-ph/0605221
http://arxiv.org/abs/math.QA/0110032
22 L. Vinet and A. Zhedanov
[18] Perk J.H.H., Star-triangle equations, quantum Lax operators, and higher genus curves, in Proceedings 1987
Summer Research Institute on Theta functions, Proc. Symp. Pure. Math., Vol. 49, Part 1, Amer. Math.
Soc., Providence, R.I., 1989, 341–354.
[19] Rosenberg A., Non-commutative algebraic geometry and representations of quantized algebras, Kluwer
Academic Publishers, 1995.
[20] Rosengren H., An elementary approach to 6j-symbols (classical, quantum, rational, trigonometric, and
elliptic), Ramanujan J. 13 (2007), 131–166, math.CA/0312310.
[21] Sklyanin E.K., On some algebraic structures connected with the Yang–Baxter equation, Funct. Anal. Appl.
16 (1982), no. 4, 263–270.
Sklyanin E.K., Some algebraic structures connected with the Yang–Baxter equation. Representations of
quantum algebras, Funct. Anal. Appl. 17 (1983), no. 4, 273–284.
[22] Smith S.P., Bell A.D., Some 3-dimensional skew polynomial rings, Preprint, 1991.
[23] Spiridonov V., Zhedanov A., Poisson algebras for some generalized eigenvalue problems, J. Phys. A: Math.
Gen. 37 (2004), 10429–10443.
[24] Terwilliger P., Two linear transformations each tridiagonal with respect to an eigenbasis of the other, Linear
Algebra Appl. 330 (2001), 149–203.
[25] Terwilliger P., Two relations that generalize the q-Serre relations and the Dolan–Grady relations,
math.QA/0307016.
[26] Vinet L., Zhedanov A., Generalized Bochner theorem: characterization of the Askey–Wilson polynomials,
J. Comput. Appl. Math. 211 (2008), 45–56, arXiv:0712.0069.
[27] Wiegmann P.B., Zabrodin A.V., Algebraization of difference eigenvalue equations related to Uq(sl2), Nuclear
Phys. B 451 (1995), 699–724, cond-mat/9501129.
[28] Zhedanov A.S., “Hidden symmetry” of Askey–Wilson polynomials, Teoret. Mat. Fiz. 89 (1991), 190–204
(English transl.: Theoret. and Math. Phys. 89 (1991), 1146–1157).
[29] Zhedanov A., Korovnichenko A., ‘Leonard pairs’ in classical mechanics, J. Phys. A: Math. Gen. 35 (2002),
5767–5780.
http://arxiv.org/abs/math.CA/0312310
http://arxiv.org/abs/math.QA/0307016
http://arxiv.org/abs/0712.0069
http://arxiv.org/abs/cond-mat/9501129
1 Classical version
2 ''Quantum'' (operator) version
3 Quasi-linear algebras with extension
4 The q-oscillator algebra
5 The Askey-Wilson algebra
6 Classical case of type (3,0)
7 Beyond the AW-algebra
8 Quasi-linear algebras and exactly solvable systems
9 Conclusion
References
|
| id | nasplib_isofts_kiev_ua-123456789-148977 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 1815-0659 |
| language | English |
| last_indexed | 2025-12-07T19:02:08Z |
| publishDate | 2008 |
| publisher | Інститут математики НАН України |
| record_format | dspace |
| spelling | Vinet, L. Zhedanov, A. 2019-02-19T12:22:25Z 2019-02-19T12:22:25Z 2008 Quasi-Linear Algebras and Integrability (the Heisenberg Picture) / L. Vinet, A. Zhedanov // Symmetry, Integrability and Geometry: Methods and Applications. — 2008. — Т. 4. — Бібліогр.: 29 назв. — англ. 1815-0659 2000 Mathematics Subject Classification: 17B63; 17B37; 47L90 https://nasplib.isofts.kiev.ua/handle/123456789/148977 We study Poisson and operator algebras with the ''quasi-linear property'' from the Heisenberg picture point of view. This means that there exists a set of one-parameter groups yielding an explicit expression of dynamical variables (operators) as functions of ''time'' t. We show that many algebras with nonlinear commutation relations such as the Askey-Wilson, q-Dolan-Grady and others satisfy this property. This provides one more (explicit Heisenberg evolution) interpretation of the corresponding integrable systems. This paper is a contribution to the Proceedings of the Seventh International Conference “Symmetry in Nonlinear Mathematical Physics” (June 24–30, 2007, Kyiv, Ukraine). en Інститут математики НАН України Symmetry, Integrability and Geometry: Methods and Applications Quasi-Linear Algebras and Integrability (the Heisenberg Picture) Article published earlier |
| spellingShingle | Quasi-Linear Algebras and Integrability (the Heisenberg Picture) Vinet, L. Zhedanov, A. |
| title | Quasi-Linear Algebras and Integrability (the Heisenberg Picture) |
| title_full | Quasi-Linear Algebras and Integrability (the Heisenberg Picture) |
| title_fullStr | Quasi-Linear Algebras and Integrability (the Heisenberg Picture) |
| title_full_unstemmed | Quasi-Linear Algebras and Integrability (the Heisenberg Picture) |
| title_short | Quasi-Linear Algebras and Integrability (the Heisenberg Picture) |
| title_sort | quasi-linear algebras and integrability (the heisenberg picture) |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/148977 |
| work_keys_str_mv | AT vinetl quasilinearalgebrasandintegrabilitytheheisenbergpicture AT zhedanova quasilinearalgebrasandintegrabilitytheheisenbergpicture |