Generalized Heisenberg Algebras, SUSYQM and Degeneracies: Infinite Well and Morse Potential

We consider classical and quantum one and two-dimensional systems with ladder operators that satisfy generalized Heisenberg algebras. In the classical case, this construction is related to the existence of closed trajectories. In particular, we apply these results to the infinite well and Morse pote...

Full description

Saved in:
Bibliographic Details
Published in:Symmetry, Integrability and Geometry: Methods and Applications
Date:2011
Main Authors: Hussin, V., Marquette, I.
Format: Article
Language:English
Published: Інститут математики НАН України 2011
Online Access:https://nasplib.isofts.kiev.ua/handle/123456789/146798
Tags: Add Tag
No Tags, Be the first to tag this record!
Journal Title:Digital Library of Periodicals of National Academy of Sciences of Ukraine
Cite this:Generalized Heisenberg Algebras, SUSYQM and Degeneracies: Infinite Well and Morse Potential / V. Hussin, I. Marquette // Symmetry, Integrability and Geometry: Methods and Applications. — 2011. — Т. 7. — Бібліогр.: 32 назв. — англ.

Institution

Digital Library of Periodicals of National Academy of Sciences of Ukraine
id nasplib_isofts_kiev_ua-123456789-146798
record_format dspace
spelling Hussin, V.
Marquette, I.
2019-02-11T15:23:52Z
2019-02-11T15:23:52Z
2011
Generalized Heisenberg Algebras, SUSYQM and Degeneracies: Infinite Well and Morse Potential / V. Hussin, I. Marquette // Symmetry, Integrability and Geometry: Methods and Applications. — 2011. — Т. 7. — Бібліогр.: 32 назв. — англ.
1815-0659
2010 Mathematics Subject Classification: 81R15; 81R12; 81R50
DOI:10.3842/SIGMA.2011.024
https://nasplib.isofts.kiev.ua/handle/123456789/146798
We consider classical and quantum one and two-dimensional systems with ladder operators that satisfy generalized Heisenberg algebras. In the classical case, this construction is related to the existence of closed trajectories. In particular, we apply these results to the infinite well and Morse potentials. We discuss how the degeneracies of the permutation symmetry of quantum two-dimensional systems can be explained using products of ladder operators. These products satisfy interesting commutation relations. The two-dimensional Morse quantum system is also related to a generalized two-dimensional Morse supersymmetric model. Arithmetical or accidental degeneracies of such system are shown to be associated to additional supersymmetry.
This paper is a contribution to the Proceedings of the Workshop “Supersymmetric Quantum Mechanics and Spectral Design” (July 18–30, 2010, Benasque, Spain). The full collection is available at http://www.emis.de/journals/SIGMA/SUSYQM2010.html. The research of I. Marquette was supported by a postdoctoral research fellowship from FQRNT of Quebec. V. Hussin acknowledge the support of research grants from NSERC of Canada. Part of this work has been done while V. Hussin visited Northumbria University (as visiting professor and sabbatical leave).
en
Інститут математики НАН України
Symmetry, Integrability and Geometry: Methods and Applications
Generalized Heisenberg Algebras, SUSYQM and Degeneracies: Infinite Well and Morse Potential
Article
published earlier
institution Digital Library of Periodicals of National Academy of Sciences of Ukraine
collection DSpace DC
title Generalized Heisenberg Algebras, SUSYQM and Degeneracies: Infinite Well and Morse Potential
spellingShingle Generalized Heisenberg Algebras, SUSYQM and Degeneracies: Infinite Well and Morse Potential
Hussin, V.
Marquette, I.
title_short Generalized Heisenberg Algebras, SUSYQM and Degeneracies: Infinite Well and Morse Potential
title_full Generalized Heisenberg Algebras, SUSYQM and Degeneracies: Infinite Well and Morse Potential
title_fullStr Generalized Heisenberg Algebras, SUSYQM and Degeneracies: Infinite Well and Morse Potential
title_full_unstemmed Generalized Heisenberg Algebras, SUSYQM and Degeneracies: Infinite Well and Morse Potential
title_sort generalized heisenberg algebras, susyqm and degeneracies: infinite well and morse potential
author Hussin, V.
Marquette, I.
author_facet Hussin, V.
Marquette, I.
publishDate 2011
language English
container_title Symmetry, Integrability and Geometry: Methods and Applications
publisher Інститут математики НАН України
format Article
description We consider classical and quantum one and two-dimensional systems with ladder operators that satisfy generalized Heisenberg algebras. In the classical case, this construction is related to the existence of closed trajectories. In particular, we apply these results to the infinite well and Morse potentials. We discuss how the degeneracies of the permutation symmetry of quantum two-dimensional systems can be explained using products of ladder operators. These products satisfy interesting commutation relations. The two-dimensional Morse quantum system is also related to a generalized two-dimensional Morse supersymmetric model. Arithmetical or accidental degeneracies of such system are shown to be associated to additional supersymmetry.
issn 1815-0659
url https://nasplib.isofts.kiev.ua/handle/123456789/146798
citation_txt Generalized Heisenberg Algebras, SUSYQM and Degeneracies: Infinite Well and Morse Potential / V. Hussin, I. Marquette // Symmetry, Integrability and Geometry: Methods and Applications. — 2011. — Т. 7. — Бібліогр.: 32 назв. — англ.
work_keys_str_mv AT hussinv generalizedheisenbergalgebrassusyqmanddegeneraciesinfinitewellandmorsepotential
AT marquettei generalizedheisenbergalgebrassusyqmanddegeneraciesinfinitewellandmorsepotential
first_indexed 2025-11-26T11:49:59Z
last_indexed 2025-11-26T11:49:59Z
_version_ 1850620146636292096
fulltext Symmetry, Integrability and Geometry: Methods and Applications SIGMA 7 (2011), 024, 16 pages Generalized Heisenberg Algebras, SUSYQM and Degeneracies: Infinite Well and Morse Potential? Véronique HUSSIN † and Ian MARQUETTE ‡ † Département de mathématiques et de statistique, Université de Montréal, Montréal, Québec H3C 3J7, Canada E-mail: veronique.hussin@umontreal.ca ‡ Department of Mathematics, University of York, Heslington, York YO10 5DD, UK E-mail: im553@york.ac.uk Received December 23, 2010, in final form March 01, 2011; Published online March 08, 2011 doi:10.3842/SIGMA.2011.024 Abstract. We consider classical and quantum one and two-dimensional systems with ladder operators that satisfy generalized Heisenberg algebras. In the classical case, this construc- tion is related to the existence of closed trajectories. In particular, we apply these results to the infinite well and Morse potentials. We discuss how the degeneracies of the permutation symmetry of quantum two-dimensional systems can be explained using products of ladder operators. These products satisfy interesting commutation relations. The two-dimensional Morse quantum system is also related to a generalized two-dimensional Morse supersymmet- ric model. Arithmetical or accidental degeneracies of such system are shown to be associated to additional supersymmetry. Key words: generalized Heisenberg algebras; degeneracies; Morse potential; infinite well potential; supersymmetric quantum mechanics 2010 Mathematics Subject Classification: 81R15; 81R12; 81R50 1 Introduction Considering one-dimensional (1D) quantum [1] and classical [2] Hamiltonians with polynomial ladder operators (i.e. polynomial in the momenta) satisfying a polynomial Heisenberg alge- bra [3, 4], we have recently been able to construct two-dimensional (2D) superintegrable systems with separation of variables in cartesian coordinates, their integrals of motion and polynomial symmetry algebra. We have also discussed [5] how supersymmetric quantum mechanics [6] can be used to generate new 2D superintegrable systems. Superintegrable systems possess many properties that make them interesting from the point of view of physics and mathematics. Indeed, all bounded trajectories of maximally classical super- integrable systems are closed and the motion is periodic. Moreover, quantum 2D superintegrable systems have degenerate energy spectra explained by Lie algebras, infinite dimensional algebras or polynomial algebras. For a review of 2D superintegrable systems we refer the reader to [7]. Many 1D quantum systems with nonlinear energy spectra such the infinite well, the Scarf and the Pöschl–Teller systems have ladder operators that satisfy a generalized Heisenberg algebra (GHA) [8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20]. These systems also appear in the context of 1D supersymmetric quantum mechanics (SUSYQM) [6]. It was also pointed out how some 2D generalizations of the Morse potential are related to 2D SUSYQM [21]. ?This paper is a contribution to the Proceedings of the Workshop “Supersymmetric Quantum Me- chanics and Spectral Design” (July 18–30, 2010, Benasque, Spain). The full collection is available at http://www.emis.de/journals/SIGMA/SUSYQM2010.html mailto:veronique.hussin@umontreal.ca mailto:im553@york.ac.uk http://dx.doi.org/10.3842/SIGMA.2011.024 http://www.emis.de/journals/SIGMA/SUSYQM2010.html 2 V. Hussin and I. Marquette At the classical level, it was recently discussed how 1D systems like the Scarf, the infinite well, the Pöschl–Teller and the Morse systems allow such ladder operators that satisfy a Poisson algebra that is the classical analog of a GHA [22]. An interesting paper [23] compared the 1D classical and quantum Pöschl–Teller potentials, their ladder operators and GHA. These ladder operators are directly related to time-dependent integrals of motion that give the motion in the phase space. In quantum mechanics ladder operators are well known and are used to generate, in particular, energy eigenstates, coherent and squeezed states [18, 24, 25, 26]. In this paper we are extending the constructions discussed in [1, 2] to the infinite well and Morse classical and quantum systems. Such systems are integrable but not superintegrable. However some of their classical and quantum properties can be explained algebraically from their ladder operators as it is the case for superintegrable systems. In Section 2, we recall the trajectories of the 1D classical infinite well and Morse potentials and we give some examples of closed trajectories for 2D such systems. In Section 3, we present general ladder operators and GHA for the 1D classical systems and give them explicitly for our specific examples. We consider the extension to 2D of these systems and introduce some products of ladder operators which are not integrals of motion but satisfy interesting Poisson commutation relations. In fact, the commutation relations between these new operators can be interpreted as a condition to get closed trajectories in 2D. In Section 4, we recall the definitions of ladder operators and GHA for general 1D quantum systems. We consider again the examples of the infinite well and the Morse systems [18, 24, 25, 26, 27] and we obtain the GHA. We also discuss, in Section 5, how using ladder operators, we can describe some degeneracies appearing from the permutation symmetry of isotropic 2D infinite well and Morse potentials. The interpretation of accidental or arithmetical degeneracies from an additional supersymmetry is discussed in the case of the 2D Morse potential. We end the paper with some conclusions. 2 Classical trajectories 2.1 Infinite well system The trajectories for 1D and 2D infinite well systems are given in details in [28]. Here we just summarize the results to be able to use them later. In the 1D case, we take the Hamiltonian: Hx = P 2 x 2m + V (x), V (x) =  0, |x| < L 2 , ∞, |x| > L 2 . (2.1) The trajectories are given by x(t) =  p0 m t, t0 ≤ t ≤ t1, −p0 m (t− t2ν−1) + L 2 , t2ν−1 ≤ t < t2ν , p0 m (t− t2ν)− L 2 , t2ν ≤ t < t2ν+1, (2.2) where n, ν ∈ N∗ (i.e. are strictly positive integers) and tn = (2n−1)mL p0 . The initial conditions are chosen as x0 = x(0) = 0 and p0 = p(0) > 0 at t = t0 = 0. The motion is periodic with period T = 4mL p0 and frequency ω = πp0 2mL = π L √ 2E m , (2.3) which is also written in terms of the total energy E of the system under consideration. Generalized Heisenberg Algebras 3 For the 2D system, we take, in particular, the Hamiltonian: H = Hx +Hy = P 2 x 2m + P 2 y 2m + V (x) + V (y), (2.4) with V (x) =  0, |x| < L 2 , ∞, |x| > L 2 , V (y) =  0, |y| < L 2 , ∞, |y| > L 2 . Trajectories are obtained directly from the 1D case and periodic orbits occur when ωxnx = ωyny where nx and ny ∈ N∗ [28]. Using the equation (2.3) adapted to 2D, we obtain the following relation nx √ Ex = ny √ Ey. (2.5) We show in Fig. 1 a closed trajectory for the 2D infinite well taking the initial position as (x0, y0) = (0, 0) and the initial momentum as p0 = (p0,x, p0,y) with p0,x > 0, p0,y > 0. The parameters of the system are chosen as m = L 2 = 1. 2.2 Morse system For the classical Morse system in 1D the trajectories have been obtained in [29]. Let us recall some of the results. The Hamiltonian is given by Hx = P 2 x 2m + V0 ( e−2βx − 2e−βx ) . (2.6) The trajectories can be easily obtained from the Newton equation. For negative energy E we get: x(t) = 1 β log ( 1− cos θ cos(ωt+ θ0) sin2 θ ) , sin θ = √ −E V0 , where θ0 is a constant depending on the initial conditions. In the case of positive energy, the classical motion is given by a similar expression involving hyperbolic functions. Let us mention that the initial position x0 is different from zero while the initial momentum p0 is equal to zero. The motion for this 1D system is periodic and can be viewed as the logarithm of a harmonic oscillator. Indeed, the frequency at energy E is given by ω = β √ −2E m . (2.7) We can easily extend this resolution to the 2D system given, in particular, by the Hamiltonian: H = Hx +Hy = P 2 x 2m + P 2 y 2m + V0 ( e−2βx − 2e−βx ) + V0 ( e−2βy − 2e−βy ) . (2.8) As for the case of the infinite well, closed trajectories and periodic orbits are obtained when ωxnx = ωyny or, from equation (2.7), when the following condition is satisfied: nx √ −Ex = ny √ −Ey, nx, ny ∈ N∗. (2.9) We obtain here the analog of Lissajous figures for the anisotropic harmonic oscillator. One example is given in Fig. 2 where we have chosen the energies Ex and Ey higher than the minimum of the potential and such that equation (2.9) is satisfied. The parameters of the system are taken as m = β = 1 and V0 = 15. 4 V. Hussin and I. Marquette -1.0 -0.5 0.5 1.0 x -1.0 -0.5 0.5 1.0 y Figure 1. A trajectory for Ex = 2, Ey = 1 2 . -0.5 0.5 1.0 1.5 2.0 2.5 x -0.5 0.5 1.0 1.5 y Figure 2. A trajectory for Ex = −2, Ey = − 9 2 . 3 Classical systems and generalized Heisenberg algebras We start by summarizing the factorization method in 1D classical mechanics [22, 23]. Let us assume that the system is given by the Hamiltonian H and admits ladder operators of the following form A± = ±if(x)Px + g(x) √ H + ψ(x) + φ(H), (3.1) where the real functions f , g, ψ are supposed to depend on x only and φ is a real function of H (more precisely it is a power of √ H). Let us also assume that the set {H,A+, A−} generates a generalized Heisenberg algebra given as {H,A±}p = ±iλ(H)A±, (3.2) {A+, A−}p = −iµ(H), (3.3) A+A− = H − γ(H), (3.4) where γ(H), µ(H), λ(H) are power of √ H. Note that the equation (3.2) is a property that ladder operators must satisfy while the equation (3.4) indicates a type of factorization of the Hamiltonian. In the case of bounded motions with negative energy, we will replace the square root √ H by √ −H. Let us mention that additional Poisson commutation relations are satisfied by the ladder operators of many classical systems [22, 23] {{H,A±}p, A±}p = −2a(A±)2 (3.5) or equivalently {λ(H), A±}p = ±2iaA±. (3.6) From equation (3.2), it is thus possible to construct two time-dependent integrals of motion Q± = A±e∓iλ(H)t, (3.7) that indeed satisfy dQ± dt = {H,Q±}p + ∂Q± ∂t = 0. Generalized Heisenberg Algebras 5 The frequency of the bounded states has thus an algebraic origin and is given by λ(E). The constant values of these integrals Q± will be denoted by q± = c(E)e±iθ0 , c(E) = √ E − γ(E). (3.8) Indeed, the function c(E) is obtained from the equation (3.4) using the explicit form of the ladder operators given by the equation (3.1) and the form of Q in equation (3.7) A± = ±if(x)Px + g(x) √ E + ψ(x) + φ(E) = c(E)e±i(θ0+λ(E)t). (3.9) The trajectories in the phase space (x(t), Px(t)) can thus be obtained algebraically from equa- tion (3.9) with c(E) = (3.8), as we will show in the examples below. Now if we generalize the preceding considerations to a 2D system where the Hamiltonian allows the separation of variables in Cartesian coordinates H(x, y, Px, Py) = Hx +Hy, the system is integrable and possesses a second order integral of motion given by S = Hx −Hy. Introducing the generalisation in 2D of the ladder operators (3.1) and denoting them A±x and A±y , we can form the following products I (k,l) + = (A+ x )k(A−y )l, I (k,l) − = (A−x )k(A+ y )l, where k and l ∈ N∗. They satisfy{ H, I (k,l) ± } p = ±i(kλx(Hx)− lλy(Hy))I (k,l) ± . (3.10) We have seen in [3] that for the special cases when λx(Hx) and λy(Hy) are constant quantities and their ratio is rational, the functions I (k,l) ± are thus integrals of motion. In such cases, systems are superintegrable and all bounded trajectories are closed. More generally, the condition for which the right side of equation (3.10) vanishes corresponds to the condition for the existence of closed trajectories (see equation (2.5) or (2.9) in our particular examples) kλx((Ex)− lλy((Ey) = 0. The 2D extension of the additional relations (3.6) implies the following constraints on I (k,l) ± :{{{ H, I (k,l) ± } , I (k,l) ± } , I (k,l) ± } p = 0. (3.11) 3.1 Classical infinite well The classical infinite well may be included in the preceding algebraic scheme (E > 0). Indeed, the ladder operators (with a slight modification) can be obtained from the quantum case [16, 18, 19] or as a limit of the classical Pöschl–Teller system [22, 23]. The explicit form of the ladder operators for the infinite well depends on the boundary conditions. Indeed, using the same boundary conditions as in Section 2, we get A± = ∓ i√ 2m cos (πx L ) Px + sin (πx L )√ H, (3.12) which generate the generalized Heisenberg algebra given in equations (3.2), (3.3) and (3.4) with the following functions of H: λ(H) = µ(H) = α √ H, γ(H) = 0, α = 2π L √ 2m . (3.13) 6 V. Hussin and I. Marquette These ladder operators satisfy the equations (3.6) (with a = α2 4 ). The trajectories can thus be obtained algebraically from equations (3.9) with c(E) = √ E. Indeed the real part leads to sin (πx L ) = cos ( θ0 + 2π L √ 2m √ Et ) (3.14) and thus, for the initial condition x0 = 0 and the phase choice θ0 = −π 2 , we get x(t) = √ 2E m t. We thus recover the equation (2.2). From the expression (2.3) of the frequency, we indeed see that λ(E) is equal to ω. Let us now consider the following 2D classical infinite well as in equation (2.4). We obtain from equations (3.10) and (3.13){ H, I (k,l) ± } p = ∓iα ( k √ Hx − l √ Hy ) I (k,l) ± . (3.15) These functions I (k,l) ± satisfy the equations (3.11). We have thus shown that all closed trajectories have an algebraic origin and the equations (3.15) vanish when the equation (2.5) is satisfied. 3.2 Classical Morse system The 1D Morse potential given by equation (2.6) possesses the following classical ladder opera- tors [22] (E < 0) A± = ∓ i√ 2m eβxPx + eβx √ −H − V0√ −H . We thus get the generalized Heisenberg algebra with the following functions of H: λ(H) = ε √ −H, µ(H) = ε V 2 0 H √ −H , γ(H) = V0 +H + V 2 0 H , ε = 2β√ 2m . (3.16) These ladder operators satisfy the equations (3.6) (with a = − ε2 4 ). We also have c(E) = √ −V 2 0 E − V0. We thus get the trajectories algebraically and the fre- quency for the bound states are given by λ(E) which is identical to equation (2.7). Let us now consider the 2D Morse potential given by equation (2.8). We obtain from equa- tions (3.10) and (3.16) {H, I(k,l)± }p = ±iε(k √ −Hx − l √ −Hy)I (k,l) ± . (3.17) The right side of the equation (3.17) vanishes again when equation (2.9) is satisfied. All closed trajectories have an algebraic origin. 4 Quantum systems with generalized Heisenberg algebras In 1D quantum mechanics a generalized Heisenberg algebra [8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20] generated by ladder operators A± and Hamiltonian H is defined as the set {H,A+, A−} that satisfies the commutation relations [H,A+] = A+λ(H) = δ(H)A+, (4.1) Generalized Heisenberg Algebras 7 [H,A−] = −λ(H)A− = −A−δ(H) (4.2) and [A+, A−] = γ1(H)− γ2(H), (4.3) with A+A− = γ1(H), A−A+ = γ2(H). (4.4) The functions λ(H), δ(H), γ1(H), γ2(H) will take special expressions depending on the physical system under consideration. It is well-known that, from equations (4.1) or (4.2), we can obtain the energy spectrum algebraically. Indeed, let us consider the all set of eigenfunctions {|ψn〉, n ∈ I} (I is a finite or infinite set of positive integers) such that H|ψn〉 = En|ψn〉 (4.5) and A−|ψn〉 = √ k(n)|ψn−1〉, A+|ψn〉 = √ k(n+ 1)|ψn+1〉. (4.6) From equations (4.1), (4.2) and (4.6), we get λ(En) = δ(En+1) = En+1 − En and, from equations (4.4) and (4.6), γ1(En) = k(n), γ2(En) = k(n+ 1). For the physical systems we are considering, the energy spectrum is at most quadratic. This implies that if we take En = an2 + bn+ c, (4.7) we easily get λ(En) = δ(En) + 2a = a(2n+ 1) + b. (4.8) Moreover, it is possible to show that, [[H,A±], A±] = 2a(A±)2 or, equivalently, [λ(H), A±] = ±2aA±, (4.9) which is the quantum analog of the constraint (3.5) or (3.6). Let us mention that if we take A0 = − 1 2a λ(H), and assume that γ1(H)− γ2(H) = 1 a λ(H), (4.10) 8 V. Hussin and I. Marquette the ladder operators A±, together with the new generator A0, generate a su(1, 1) algebra [A±, A0] = ±A±, [A+, A−] = −2A0. When we act on the eigenfunctions |ψn〉, we also get [H, (A±)k] = (En±k − En)(A±)k. (4.11) Now we consider again 2D systems as a sum of 1D systems that have ladder operators generating the preceding algebraic structure. The Hamiltonian is written as: H(x, y, Px, Py) = Hx(x, Px) +Hy(y, Py). (4.12) It admits a set of eigenfunctions labelled as {|ψnx,ny >,nx, ny ∈ I} such that H|ψnx,ny〉 = Enx,ny |ψnx,ny〉 with Enx,ny = Enx + Eny . As in the classical case, the separation of variables allows the existence of a second order integral of motion S = Hx − Hy. We can again take the products of the ladder operators as (k, l ∈ N∗) I (k,l) + = (A+ x )k(A−y )l, I (k,l) − = (A−x )k(A+ y )l. (4.13) Let us impose the following constraints on the ladder operators (as in the 1D case with equation (4.9)) [λ(Hx), A±x ] = ±2aA±x , [λ(Hy), A ± y ] = ±2aA±y . From equations (4.11) and (4.13), we get [H, I (k,l) ± ] = ±I(k,l)± (kλx(Hx)− lλy(Hy) + k(k − 1)a+ l(l + 1)a). (4.14) Indeed, using equation (4.11), we get, for example, [H, I (k,l) + ]|ψnx,ny〉 = ((Enx+k − Enx) + (Eny−l − Eny))I (k,l) + |ψnx,ny〉. Due to the fact that the total energy En takes the general form (4.7) and λ(En) is thus given by equation (4.8), we easily get (Enx+k − Enx) + (Eny−l − Eny) = k(2anx + b)− l(2any + b) + a ( k2 + l2 ) = k(λx(Enx)− a)− l(λy(Eny)− a) + a ( k2 + l2 ) . This is the quantum equivalent of the equation (3.10) for systems with quadratic energy spec- trum. Similarly to the classical case, when λx(Hx) and λy(Hy) reduce to constants and their ratio is rational, the operators I (k,l) ± are thus integrals of motion and the Hamiltonian given by equation (4.12) is superintegrable [1, 2]. For our specific case of a quadratic spectrum, we have seen that the expression of λ is given by equation (4.8) and the commutators [H, I (k,l) ± ] are zero if a(2knx−2lny+k2+l2)+b(k−l) = 0. In particular, for k = l and a 6= 0, we get ny = nx + k. We will discuss, in the next section how, when λx(Hx) and λy(Hy) do not reduce to a constant, we can explain some of the degeneracies of the energy spectrum. Let us finally mention that we also obtain from equation (4.14) the following commutation relations[[[ H, I (k,l) ± ] , I (k,l) ± ] , I (k,l) ± ] = 0, which are the quantum analogs of relations given by equations (3.11). Generalized Heisenberg Algebras 9 4.1 Infinite well potential We consider the quantum version of the 1D infinite well given in equation (2.1). The Schrödinger equation and the corresponding energy spectrum are well-known and given by (using α as defined in equation (3.13)) H|ψn〉 = En|ψn〉, En = α2~2 4 n2, n = 1, 2, . . . . To simplify the following expression, we introduce the number operator N that satisfies N |ψn〉 = n|ψn〉 and is thus defined in terms of H as N = 2 α~ √ H. It has been shown that the ladder operators A± may be defined as [16, 18, 19] A− = √ 1 + 2 N ( − iL π Px cos (πx L ) −N sin (πx L )) , A+ = ( cos (πx L ) iL π Px − sin (πx L ) N )√ 1 + 2 N . Let us mention the similarity with respect to the classical case and the equation (3.12). These ladder operators satisfy the relations (4.6) with k(n) = n2 − 1. We can thus form a generalized Heisenberg algebra given by (4.1), (4.2) and (4.3) with λ(H) = α~ √ H + α2~2 4 = α2~2 4 (2N + 1), γ1(H) = 4 α2~2 (H − E1), γ2(H) = γ1 − 4 α2~2 λ(H). Note that the operator λ(H) satisfies the relations of commutation given by equation (4.9) with a = α2~2 4 . We also see that the relation (4.10) is satisfied giving rise to the well-known existence of a su(1, 1) algebra associated to the infinite well system. 4.2 Morse potential We consider the 1D quantum version of the Hamiltonian (2.6). Introducing the parameters ν = √ 8mV0 β2~2 , p = ν − 1 2 , we get the Schrödinger equation and the corresponding energy spectrum H|ψn〉 = En|ψn〉, En = −~2β2 2m ( ν − 1 2 − n )2 = −~2ε2 4 (p− n)2, (4.15) where n = 0, 1, . . . , [p]. Indeed, the last admissible value of n is the integer part of p. Again the number operator N satisfies N |ψn〉 = n|ψn〉 and is defined in terms of H as N = p− 2 ~ε √ −H. 10 V. Hussin and I. Marquette We introduce the following ladder operators [24, 25] A− = ( eβx( p+ 1 2 ) β ( i ~ Px + β 2 (2p− 2N)(2p− 2N + 1) ) + ( p+ 1 2 ))√ K(N), A+ = (√ K(N) )−1( eβx( p+ 1 2 ) β ( − i ~ Px + β 2 (2p− 2N)(2p− 2N − 1) ) − ( p+ 1 2 )) , where K(N) = (2p−N)(2p− 2N + 2) (2p−N + 1)(2p− 2N) . They act on the eigenfunctions of the Morse potential as in equation (4.6) where k(n) = n(2p− n). We can again form a generalized Heisenberg algebra given by equations (3.2), (3.3) and (3.4) with λ(H) = ~ε √ −H − ~2ε2 4 = ~2ε2 4 (2p− 2N − 1), γ1(H) = 4 ~2ε2 (H − E0), γ2(H) = γ1(H) + 4 ~2ε2 λ(H) and the operator λ(H) satisfies the equation (4.9) with a = −~2ε2 4 . Here again, we can construct a corresponding su(1, 1) algebra. 5 Degeneracies of quantum systems with generalized Heisenberg algebras The study of the relation between the degeneracies and symmetries of multi-dimensional systems consisting in a sum of 1D systems with nonlinear energy spectrum [30] appears to be a less studied subject than in the case of linear energy spectrum. This is a consequence of the fact that multi-dimensional systems that are sum of 1D systems with linear spectrum possess the superintegrability property [1, 2, 5, 7] and appear in the classification of superintegrable systems. The most well-known of such systems is the anisotropic harmonic oscillator. Only the 2D anisotropic Q-oscillators was discussed in [20] and the permutation symmetry was obtained algebraically using operators {I+, I−, I3} (defined as series of ladder operators) generating a su(2) algebra and commuting with the Hamiltonian. This symmetry manifests itself only in doublet and singlet states. We will see how, from results of Section 4.2, such type of operators may be considered as well for the cases of the isotropic 2D infinite well and Morse potentials. These last systems present also accidental or arithmetic degeneracies [30] that has not been explained algebraically. Some of the arithmetical degeneracies of the 2D infinite well were presented in [24] and references therein. We are proposing an interpretation for the case of the Morse potential based on the existence of supercharges of second order. In fact, this example is particularly interesting because this interpretation will also be valid for the super partner of the 2D Morse potential which is not separable in cartesian coordinates (not even in any either coordinates). For the 2D quantum systems we are considering, we have seen that they admit a quadratic energy spectrum of the form Enx,ny = Enx + Eny = a ( n2x + n2y ) + b(nx + ny) + 2c. Generalized Heisenberg Algebras 11 In particular, for the isotropic infinite well, we have a = ~2α2 4 and b = c = 0 while for the Morse system, we have a = c = −~2ε2 4 and b = ~2ε2p 2 . The energies of these systems have similar algebraic structure and present the two types of degeneracies mentioned before. The first type appears when we make the change nx ↔ ny. It is associated to the permutation symmetry. The second type corresponds to the fact that two or more different sets {(ni,x, ni,y), i ∈ N∗} could give rise to the same energy. It is called accidental or arithmetic degeneracy [30]. 5.1 Permutation degeneracies Let us consider the Fock space and the action of the ladder operators as given in equations (4.5) and (4.6) generalized for 2D. We use here the simplified notation |nx, ny〉 for the general energy eigenstates |ψnx,ny〉. We thus denote the operators I (k,l) ± defined in (4.13) by I (l) ± when k = l. We see that the operator I (l) + takes a state with nx = i and ny = i+ l to a state with nx = i+ l and ny = i and the operator I (l) − takes a state with nx = i+ l and ny = i to a state with nx = i and ny = i+ l. For the infinite well, we thus consider the following operators: I+ = ∞∑ i=0 ∞∑ l=1 k(i)! k(i+ l)! ( I (l) + ) |i, i+ l〉〈i, i+ l| = ∞∑ i=0 ∞∑ l=1 |i+ l, i〉〈i, i+ l|, I− = I†+ = ∞∑ i=0 ∞∑ l=1 k(i)! k(i+ l)! |i, i+ l〉〈i, i+ l| ( I (l) − ) = ∞∑ i=0 ∞∑ l=1 |i, i+ l〉〈i+ l, i|, and I3 = 1 2 ∞∑ i=0 ∞∑ l=1 (|i+ l, i〉〈i+ l, i| − |i, i+ l〉〈i, i+ l|). They commute with the Hamiltonian of the system and describe the permutation symmetry in the energy spectrum of the 2D isotropic infinite well potential that manifests itself only in doublets and singlets. Indeed, we get I+|j, k〉 = |k, j〉, I−|j, k〉 = |k, j〉, I3|j, k〉 = 0. For the Morse potential, the number of bound states is finite, we thus take only a finite sum for such kind of operators. We get I+ = [p]∑ i=0 [p]−i∑ l=1 k(i)! k(i+ l)! ( I (l) + ) |i, i+ l〉〈i, i+ l| = [p]∑ i=0 [p]−i∑ l=1 |i+ l, i〉〈i, i+ l|, I− = I†+ = [p]∑ i=0 [p]−i∑ l=1 k(i)! k(i+ l)! |i, i+ l〉〈i, i+ l| ( I (l) − ) = [p]∑ i=0 [p]−i∑ l=1 |i, i+ l〉〈i+ l, i|, and I3 = 1 2 [p]∑ i=0 [p]−i∑ l=1 (|i+ l, i〉〈i+ l, i| − |i, i+ l〉〈i, i+ l|). These products of ladder operators can thus be related to symmetries of the system as it is the case for superintegrable systems. 12 V. Hussin and I. Marquette 5.2 Arithmetical degeneracies We are considering the example of the 2D Morse system in order to give an interpretation of arithmetical degeneracies in terms of symmetry or more precisely supersymmetry of the system. Indeed, the existence of a supersymmetric partner of the original system has been shown by Ioffe and collaborators (see [21] and references therein for more details and generalizations). We will thus start this subsection by introducing such a partner and the corresponding supercharges which realize the intertwining [21]. From equation (4.15) generalized for 2D, we get the energy spectrum of the Hamiltonian H = Hx +Hy as Enx,ny = Enx + Eny = −~2ε2 4 ( (p− nx)2 + (p− ny)2 ) , (5.1) with nx, ny = 0, 1, 2, . . . , [p]. The super partner of H has been obtained as H̃ = H + ~2 m β2 2 sinh2 ( β(x−y) 2 ) . Indeed, introducing the supercharges Q±, which are differential operators of order 2 in the momenta, Q± = −Hx +Hy +D±, where D± are first order differential operators of the form D± = ~2β2 2m coth ( βx− 2 ) ∓ β~2 m ( ∂x− + coth ( βx− 2 ) ∂x+ ) , x± = x± y, we thus know that H̃ and H are related by the intertwining relations: H̃Q+ = Q+H, HQ− = Q−H̃. (5.2) It means, in particular, that if ψ is an eigenstate of H, Q+ψ is an eigenstate of H̃ with the same eigenvalue. In fact, it has been proven that the new Hamiltonian H̃ shares part of the energy spectrum of H. More precisely, the only normalizable eigenstates of H̃ are given as (to simplify the developments, the set (nx, ny) has been renamed (n,m)) Ψ̃A n,m = Q+ΨA n,m = (Em − En)ΨS n,m +D+ΨA n,m, (5.3) where ΨS,A n,m = 1√ 2 (ψνn(x)ψνm(y)± ψνm(x)ψνn(y)), with ψνn(x), ψνm(y) the well-known eigenfunctions of the 1D Morse system [18]. The func- tions (5.3) are in fact antisymmetric in (n,m). The corresponding eigenvalues are given by En,m = (5.1), for n,m = 0, 1, 2, . . . , [p] but now n 6= m and n 6= m ± 1 since Ψ̃A n,n = 0 and Ψ̃A n,n+1 = 0. It has been shown [21] that we thus get the complete spectrum for H̃ that is a subset of the spectrum of H. Let us summarize the properties involved in this context that will be useful for our interpre- tation of the arithmetical degeneracies. From (5.2), we get [Q−Q+, H] = 0 and Q−Q+Ψn,m = rn,mΨn,m with rn,m = (Em+1 − En)(Em−1 − En) = ~2ε2 4 ( (m− n)2 − 1 )( (2p−m− n)2 − 1 ) , (5.4) Generalized Heisenberg Algebras 13 where rn,n+1 = rn+1,n. In fact, Q−Q+ is a fourth order differential operator acting on the eigenstates Ψn,m of H that could be written as Q−Q+ = (Hx −Hy) 2 + 2H + I. (5.5) Moreover, we get [Q+Q−, H̃] = 0 and Q+Q−Ψ̃A n,m = rn,mΨ̃A n,m. The operator Q+Q− is again a fourth order differential operator acting on the eigenstates Ψ̃A n,m of H̃. The interesting consequence is that we have found a superalgebra constructed from both Hamiltonians and the corresponding supercharges as follows. We introduce the generators Q+ = ( 0 Q+ 0 0 ) , Q− = ( 0 0 Q− 0 ) , H = ( H̃ 0 0 H ) that satisfy [H,Q±] = 0, {Q+,Q−} = R, where R commutes with H. Thus the set {H,R,Q+,Q−} closes a superalgebra. Note that R is a fourth order differential operator which will be useful to explain the arithmetical degeneracies of the spectra of both H and H̃. We are now ready to proceed to the analysis of arithmetical degeneracies of the 2D Morse systems. Let us consider, for example, the Hamiltonian H and assume that it admits a double arithmetical degeneracy in the energy spectrum for the couples (n1,m1) and (n2,m2). It means that En1,m1 = En2,m2 (avoiding the permutation symmetry and the identical relation). From the supersymmetric context, we have introduced a new constant of motion R with eigenvalues rn,m = (5.4). We are thus showing that rn1,m1 6= rn2,m2 . Let us first set p− ni = ki and p−mi = li. Since En1,m1 = En2,m2 , we get k21 + l21 = k22 + l22. If we express k21 in terms of the other quantities, we see that the difference rn1,m1 − rn2,m2 becomes rn1,m1 − rn2,m2 = 4 ( l21 − l22 )( l21 − k22 ) = 4(m2 −m1)(n2 −m1)(2p− (m2 +m1))(2p− (n2 +m1)). To get rn1,m1 − rn2,m2 = 0, we have 4 possibilities: 1) m1 = m2 and this leads to En1,m1 = En2,m1 ⇐⇒ n1 = n2 (identity, excluded); 2) m1 = n2 and this leads to En1,m1 = Em1,m2 ⇐⇒ n1 = m2 (symmetry permutation, excluded); 3) m1+m2 = 2p and this leads to m1 = m2 = p since mi ≤ p and En1,p = En2,p ⇐⇒ n1 = n2 (identity, excluded); 4) m1 +n2 = 2p and this leads to m1 = n2 = p and En1,p = Ep,m2 ⇐⇒ n1 = m2 (symmetry permutation excluded). So we conclude that rn1,m1 6= rn2,m2 and the arithmetical degeneracies are explained by the existence of R since the preceding proof may be extended to multiple degeneracies. 14 V. Hussin and I. Marquette 6 Conclusion In earlier works [1, 2, 3], we have presented some ways of getting integrals of motion and poly- nomial symmetry algebras in classical and quantum mechanics for multi-dimensional superinte- grable systems. These quantities are obtained from 1D systems with polynomial ladder operators satisfying polynomial Heisenberg algebras. The integrals are products of ladder operators. It was also observed in context of superintegrable systems that higher order ladder operators and thus higher order integrals of motion can be written in terms of first order and second order supercharges [1, 5, 31]. In particular, we constructed higher integrals of motion for an infinite family of superintegrable systems and involving the fifth Painlevé transcendent using products of second order supercharges [31]. However, all these Hamiltonians were separable in cartesian coordinates. Let us mention that it has been shown very recently that a new non separable superintegrable system admits one third and one fourth order integrals of motion [32]. In this paper, we have considered systems with non polynomial ladder operators. The method does not produce superintegrable systems and this is a limitation to the construc- tion of [1, 2, 3]. However, 2D integrable systems with non polynomial ladder operators can be constructed. In the classical case, we have obtained algebraically the trajectories and the condition for the existence of closed trajectories. In the quantum case, we have explained the degeneracies of the energy spectrum which involve, in particular, supersymmetric methods. We have applied these results for the classical and quantum infinite well and Morse poten- tials. Finally, let us observe that the new integral of motion R, which is a fourth order differential operator, is given as R = ( Q+Q− 0 0 Q−Q+ ) , and acts on the superspace of eigenfunctions {(0,ΨS n,n)T , (Ψ̃A n,m,Ψ A n,m)T , n > m; n,m = 0, 1, 2, . . . , [p]}. We see that Q−Q+ = (5.5) is quadratic in Hx and Hy. The operator Q+Q− has a similar expression but with additional terms. Indeed, we can show that Q+Q− = (Hx −Hy) 2 + 2H̃ + I + [Hx −Hy, D + −D−]. We could say that we have a nonlinear supersymmetry but, in fact, these last operators are not quadratic in H or H̃. We see that the supercharges Q± are related to S = Hx−Hy, the integral of motion obtained somewhat trivially for Hamiltonians admitting the separation of variables in cartesian coordi- nates. The fourth order integral of motion R associated to the Morse Hamiltonian in 2D and related to the “square” of Q is very interesting since one of the Hamiltonian (H̃) does not allow the separation of variables. Acknowledgements The research of I. Marquette was supported by a postdoctoral research fellowship from FQRNT of Quebec. V. Hussin acknowledge the support of research grants from NSERC of Canada. Part of this work has been done while V. Hussin visited Northumbria University (as visiting professor and sabbatical leave). Generalized Heisenberg Algebras 15 References [1] Marquette I., Superintegrability and higher order polynomial algebras, J. Phys. A: Math. Theor. 43 (2010), 135203, 15 pages, arXiv:0908.4399. [2] Marquette I., Construction of classical superintegrable systems with higher order integrals of motion from ladder operators, J. Math. Phys. 51 (2010), 072903, 9 pages, arXiv:1002.3118. [3] Fernández D.J., Hussin V., Higher-order SUSY, linearized nonlinear Heisenberg algebras and coherent states, J. Phys. A: Math. Gen. 32 (1999), 3603–3619. [4] Carbello J.M., Fernández D.J., Negro J., Nieto L.M., Polynomial Heisenberg algebras, J. Phys. A: Math. Gen. 37 (2004), 10349–10362. [5] Marquette I., Supersymmetry as a method of obtaining new superintegrable systems with higher order integrals of motion, J. Math. Phys. 50 (2009), 122102, 10 pages, arXiv:0908.1246. [6] Junker G., Supersymmetric methods in quantum and statistical physics, Texts and Monographs in Physics, Springer-Verlag, Berlin, 1996. [7] Marquette I., Winternitz P., Superintegrable systems with third-order integrals of motion, J. Phys. A: Math. Theor. 41 (2008), 304031, 10 pages, arXiv:0711.4783. [8] De Lange O.L., Raab R.E., Operator methods in quantum mechanics, The Clarendon Press, Oxford Uni- versity Press, New York, 1991. [9] Delbecq C., Quesne C., Nonlinear deformations of su(2) and su(1,1) generalizing Witten’s algebra, J. Phys. A: Math. Gen. 26 (1993), L127–L134. [10] Eleonsky V.M., Korolev V.G., On the nonlinear generalization of the Fock method, J. Phys. A: Math. Gen. 28 (1995), 4973–4985. [11] Eleonsky V.M., Korolev V.G., On the nonlinear Fock description of quantum systems with quadratic spectra, J. Phys. A: Math. Gen. 29 (1996), L241–L248. [12] Ghosh A., Mitra P., Kundu A., Multidimensional isotropic and anisotropic q-oscillator models, J. Phys. A: Math. Gen. 29 (1996), 115–124, hep-th/9511084. [13] Quesne C., Comment: “Application of nonlinear deformation algebra to a physical system with Pöschl–Teller potential” [J. Phys. A: Math. Gen. 31 (1998), 6473–6481] by J.-L. Chen, Y. Liu and M.-L. Ge, J. Phys. A: Math. Gen. 32 (1999), 6705–6710, math-ph/9911004. [14] Chen J.-L., Zhang H.-B., Wang X.-H., Jing H., Zhao X.-G., Raising and lowering operators for a two- dimensional hydrogen atom by an ansatz method, Int. J. Theor. Phys. 39 (2000), 2043–2050. [15] Curado E.M.F., Rego-Monteiro M.A., Multi-parametric deformed Heisenberg algebras: a route to comple- xity, J. Phys. A: Math. Gen. 34 (2001), 3253–3264, hep-th/0011126. [16] Dong S.-H., Ma Z.-Q., The hidden symmetry for a quantum system with an infinitely deep square-well potential, Amer. J. Phys. 70 (2002), 520–521. [17] Daoud M., Kibler M.R., Fractional supersymmetry and hierarchy of shape invariant potentials, J. Math. Phys. 47 (2006), 122108, 11 pages, quant-ph/0609017. [18] Dong S.-H., Factorization method in quantum mechanics, Fundamental Theories of Physics, Vol. 150, Springer, Dordrecht, 2007. [19] Curado E.M.F., Hassouni Y., Rego-Monteiro M.A., Rodrigues L.M.C.S., Generalized Heisenberg algebra and algebraic method: the example of an infinite square-well potential, Phys. Lett. A 372 (2008), 3350–3355. [20] Wang H.-B., Liu Y.-B., Realizing the underlying quantum dynamical algebra SU(2) in Morse potential, Chinese Phys. Lett. 27 (2010), 020301, 4 pages. [21] Ioffe M.V., Nishnianidze D.N., Exact solvability of two-dimensional real singular Morse potential, Phys. Rev. A 76 (2007), 052114, 5 pages, arXiv:0709.2960. [22] Kuru S., Negro J., Factorizations of one dimensional classical systems, Ann. Physics 323 (2008), 413–431, arXiv:0709.4649. [23] Cruz y Cruz S., Kuru S., Negro J., Classical motion and coherent states for Pöschl–Teller potentials, Phys. Lett. A 372 (2008), 1391–1405. [24] Dello Sbarba L., Hussin V., Degenerate discrete energy spectra and associated coherent states, J. Math. Phys. 48 (2007), 012110, 15 pages. [25] Angelova M., Hussin V., Generalized and Gaussian coherent states for the Morse potential, J. Phys. A: Math. Theor. 41 (2008), 30416, 13 pages. http://dx.doi.org/10.1088/1751-8113/43/13/135203 http://arxiv.org/abs/0908.4399 http://dx.doi.org/10.1063/1.3448925 http://arxiv.org/abs/1002.3118 http://dx.doi.org/10.1088/0305-4470/32/19/311 http://dx.doi.org/10.1088/0305-4470/37/43/022 http://dx.doi.org/10.1088/0305-4470/37/43/022 http://dx.doi.org/10.1063/1.3272003 http://arxiv.org/abs/0908.1246 http://dx.doi.org/10.1088/1751-8113/41/30/304031 http://dx.doi.org/10.1088/1751-8113/41/30/304031 http://arxiv.org/abs/0711.4783 http://dx.doi.org/10.1088/0305-4470/26/4/001 http://dx.doi.org/10.1088/0305-4470/28/17/026 http://dx.doi.org/10.1088/0305-4470/29/10/004 http://dx.doi.org/10.1088/0305-4470/29/1/013 http://dx.doi.org/10.1088/0305-4470/29/1/013 http://arxiv.org/abs/hep-th/9511084 http://dx.doi.org/10.1088/0305-4470/32/38/401 http://dx.doi.org/10.1088/0305-4470/32/38/401 http://arxiv.org/abs/math-ph/9911004 http://dx.doi.org/10.1023/A:1003661821241 http://dx.doi.org/10.1088/0305-4470/34/15/304 http://arxiv.org/abs/hep-th/0011126 http://dx.doi.org/10.1119/1.1456073 http://dx.doi.org/10.1063/1.2401711 http://dx.doi.org/10.1063/1.2401711 http://arxiv.org/abs/quant-ph/0609017 http://dx.doi.org/10.1016/j.physleta.2008.01.086 http://dx.doi.org/10.1088/0256-307X/27/2/020301 http://dx.doi.org/10.1103/PhysRevA.76.052114 http://dx.doi.org/10.1103/PhysRevA.76.052114 http://arxiv.org/abs/0709.2960 http://dx.doi.org/10.1016/j.aop.2007.10.004 http://arxiv.org/abs/0709.4649 http://dx.doi.org/10.1016/j.physleta.2007.10.010 http://dx.doi.org/10.1016/j.physleta.2007.10.010 http://dx.doi.org/10.1063/1.2435596 http://dx.doi.org/10.1063/1.2435596 http://dx.doi.org/10.1088/1751-8113/41/30/304016 http://dx.doi.org/10.1088/1751-8113/41/30/304016 16 V. Hussin and I. Marquette [26] Angelova M., Hussin V., Squeezed coherent states and the Morse quantum system, arXiv:1010.3277. [27] Dong S.H., Lemus R., Frank A., Ladder operators for the Morse potential, Int. J. Quant. Chem. 86 (2002), 433–439. [28] Bagchi B., Mallik S., Quesne C., Infinite square well and periodic trajectories in classical mechanics, physics/0207096. [29] Slater N.B., Classical motion under a Morse potential, Nature 180 (1957), 1352–1353. [30] Itzykson C., Luck J.M., Arithmetical degeneracies in simple quantum systems, J. Phys. A: Math. Gen. 19 (1986), 211–239. [31] Marquette I., An infinite family of superintegrable systems from higher order ladder operators and supersym- metry, in Group 28: Physical and Mathematical Aspects of Symmetry: Proceedings of the 28th International Colloquium on Group-Theoretical Methods in Physics, J. Phys. Conf. Ser., to appear, arXiv:1008.3073. [32] Post S., Winternitz P., A nonseparable quantum superintegrable system in 2D real Euclidean space, arXiv:1101.5405. http://arxiv.org/abs/1010.3277 http://dx.doi.org/10.1002/qua.10038 http://arxiv.org/abs/physics/0207096 http://dx.doi.org/10.1038/1801352a0 http://dx.doi.org/10.1088/0305-4470/19/2/017 http://arxiv.org/abs/1008.3073 http://arxiv.org/abs/1101.5405 1 Introduction 2 Classical trajectories 2.1 Infinite well system 2.2 Morse system 3 Classical systems and generalized Heisenberg algebras 3.1 Classical infinite well 3.2 Classical Morse system 4 Quantum systems with generalized Heisenberg algebras 4.1 Infinite well potential 4.2 Morse potential 5 Degeneracies of quantum systems with generalized Heisenberg algebras 5.1 Permutation degeneracies 5.2 Arithmetical degeneracies 6 Conclusion References