---
abstract: 'Energy spectrum of isotropic harmonic oscillator as a function of noncommutativity parameter $\Theta$ is studied. It is shown that for a dense set of values of $\Theta$ the spectrum is degenerated and the algebra responsible for degeneracy can be always chosen to be $sU(2)$. The generators of the algebra are constructed explicitely.'
author:
- |
    Agnieszka Kijanka, Piotr Kosiński[^1]\
    Department of Theoretical Physics II\
    University of [Ł]{}ódź\
    Pomorska 149/153, 90 - 236 [Ł]{}ódź/Poland.
title: On noncommutative isotropic harmonic oscillator 
---

It is well known that the noncommutative geometry plays an important role in string theory and $M$-theory [@b1]. It has been found that, in a certain limit, string theory reduces to a gauge theory on noncommutative space. Since then quantum theory on noncommutative spaces became a subject of intensive research.

The simplest example of such a theory is nonrelativistic quantum mechanics of fixed number of particles. There are indications that some testable predictions can be found even in this case [@b2]. There appeared many papers dealing with quantum mechanics on noncommutative spaces [@b3] $\div$ [@b20].

In particular, several authors studied the energy spectrum of natural hamiltonians on two dimensional noncommutative space defined by the commutation rule $$\begin{aligned}
[\hat{x}_i,\;\hat{x}_j]=i\Theta\varepsilon_{ij},\;i,\;j=1,\;2\label{w1}\end{aligned}$$ Unfortunately, most of these models cannot be solved exactly so only perturbative results are available. They show that the $\Theta$-dependence of physical quantities is quite involved.

In particular, it has been suggested [@b21] [@b13] that, in general, the limit $\Theta \rightarrow 0$cannot be taken directly.

In the present note we show that, even if the limit $\Theta \rightarrow 0$  be taken directly, still it is sometimes highly nontrivial (although numerically simple). This happens if the $\lim\limits_{\Theta \rightarrow 0}E_n(\Theta )$ is not uniform in $n$.

More specifically, we consider isotropic harmonic oscillator on noncommutative plane (\[w1\]). Both the hamiltonian and the commutation rule (\[w1\]) are invariant under rotations. However, in two dimensions the rotation group is abelian so it does not imply energy degeneracy. In the commutative case the energy spectrum is degenerate due to the existence of dynamical $SU(2)$ symmetry. For $\Theta\not=0 $ the situation appears to be more complicated. For a dense set of values of $\Theta$ the energy spectrum degenerate and the dynamical $SU(2)$ symmetry is still responsible for degeneracy; however, the structure of $SU(2)$ multiplets changes abruptly with $\Theta$. The complement set, on which the hamiltonian has simple spectrum, is also dense. Therefore, with $\Theta$ going to 0 one observes a complicated pattern of nondegenerate and degenerate states, the latter being organized in $SU(2)$ multiplets varying with $\Theta$.

We start with the hamiltonian for isotropic oscillator on noncommutative plane $$\begin{aligned}
\hat{H}=\frac{1}{2m}(\hat{p}^2_1+\hat{p}_2^2)+\frac{m\omega^2}{2}(\hat{x}_1^2+\hat{x}_2^2) \label{w2}\end{aligned}$$

Let $x_i,\;p_i,\;i=1,\;2$ be the standard canonical variables, $[x_i,\;x_j]=0,\;[p_i,\;p_j]=0,\;[x_i,\;p_j]=i\hbar \delta_{ij}$. Then the commutation rules (\[w1\]) can be solved in terms of canonical variables as follows $$\begin{aligned}
&&\hat{x}_i=x_i-\frac{\Theta}{2\hbar}\varepsilon_{ij}p_j\label{w3} \\
&&\hat{p}_i=p_i \nonumber\end{aligned}$$ With the above Ansatz eq.(\[w2\]) takes the form $$\begin{aligned}
\hat{H}=\frac{1}{2M}(p_1^2+p_2^2)+\frac{M\Omega^2}{2}(x_1^2+x_2^2)-\frac{\Theta M \Omega^2}{2\hbar}L\label{w4}\end{aligned}$$ where $$\begin{aligned}
L\equiv x_1p_2-x_2p_1 \label{w5}\end{aligned}$$ is the angular momentum and $$\begin{aligned}
&&M=\frac{m}{1+\frac{m^2\omega^2\Theta^2}{4\hbar^2}} \nonumber \\
&&\Omega=\omega\sqrt{1+\frac{m^2\omega^2\Theta^2}{4\hbar^2}}\label{w6}\end{aligned}$$ It is straightforward to find the spectrum of $\hat{H}$. To this end we define the relevant creation and anihilation operators, $$\begin{aligned}
a_{\pm}\equiv \frac{1}{2\sqrt{M\Omega\hbar}}(p_1\pm ip_2)-\frac{i}{2}\sqrt{\frac{M\Omega}{\hbar}}(x_1\pm ix_2);\label{w7}\end{aligned}$$ then $$\begin{aligned}
[a_{\alpha},\;a_{\beta}]=0,\;[a_{\alpha}^+,\;a_{\beta}^+]=0,\;[a_{\alpha},\;a_{\beta}^+]=\delta_{\alpha \beta}\label{w8}\end{aligned}$$ and $\hat{H}$ takes the form [@b8] $$\begin{aligned}
\hat{H}=\hbar \Omega_+(N_++\frac{1}{2})+\hbar\Omega_-(N_-+\frac{1}{2})\label{w9}\end{aligned}$$ $N_{\pm}$ are the standard particle-number operators, $N_{\alpha}\equiv a_{\alpha}^+a_{\alpha}$, while $$\begin{aligned}
\Omega_{\pm}\equiv \Omega\mp \frac{M\Omega^2\Theta}{2\hbar}\label{w10}\end{aligned}$$ Note that, due to (\[w6\]), $\Omega_{\pm}>0$.\
The eigenvalues of $\hat{H}$ read $$\begin{aligned}
E_{n_+n_-}=\hbar\Omega_+(n_++\frac{1}{2})+\hbar\Omega_-(n_-+\frac{1}{2})\label{w11}\end{aligned}$$ and the relevant eigenvectors are $$\begin{aligned}
\mid n_+n_->=\frac{1}{\sqrt{n_+!}}\frac{1}{\sqrt{n_-!}}(a_+^+)^{n_+}(a_-^+)^{n_-}\mid 0>\label{w12}\end{aligned}$$

The properties of spectrum depend on the ratio $\frac{\Omega_+}{\Omega_-}$. For irrational $\frac{\Omega_+}{\Omega_-}$the spectrum is nondegenerate while rational $\frac{\Omega_+}{\Omega_-}$ leads to degeneracy. Consider the latter case. Assume that $$\begin{aligned}
\frac{\Omega_+}{\Omega_-}=\frac{k}{l}\label{w13}\end{aligned}$$ where $k,\;l$ are relatively prime. Eq.(\[w13\]) implies $$\begin{aligned}
\Theta =\frac{2\hbar}{m\omega}\frac{\mid \frac{l-k}{l+k}\mid}{\sqrt{1-(\frac{l-k}{l+k})^2}}.\label{w14}\end{aligned}$$ Let us put $$\begin{aligned}
\Omega_+=k\sigma, \;\Omega_-=l \sigma,\;\sigma  \equiv \frac{\omega}{\sqrt{lk}}\label{w15}\end{aligned}$$ Then $$\begin{aligned}
E_{n_+n_-}=\hbar \sigma (kn_++ln_-)+\hbar \sigma (\frac{l+k}{2}) \label{w16}\end{aligned}$$ The last term on $RHS$ is an overall constant. It follows immediately from eq.(\[w16\]) that the spectrum is degenerate, the level of degeneracy being equal to the number of natural solutions $n_{\pm}$to the equation $kn_++ln_-=const$. Suprisingly enough, the symmetry algebra responsible for degeneracy is always $sU(2)$, like for isotropic case. To see this we classify all pairs $(n_+,\;n_-)$ according to their congruence properties [@b22], $$\begin{aligned}
&&n_+=pl+r_+ \;,\;\;\;0\leq \;r_+\leq\; l-1 \nonumber \\
&&n_-=qk+r_- \;,\;\;\;0\leq \;r_-\leq\; k-1 \label{w17}\end{aligned}$$ Let us fix $r\equiv (r_+,\;r_-)$ and let $X_r$ be the subspace spanned by the vectors $\mid n_+\;n_->$ such that $n_+,\;n_-$ are congruent to $r_+,\;r_-$ modulo $l$ and $k$, respectively. Using (\[w17\]) one can write the energy spectrum of $\hat{H}$, when restricted to $X_r$, in the form $$\begin{aligned}
E_{pq}=\hbar kl\sigma (p+q)+\hbar\sigma \left(k(r_++\frac{1}{2})+l(r_-+\frac{1}{2})\right)\label{w18}\end{aligned}$$ Therefore, in each $X_r$ the energy spectrum coincides, up to an additive constant, with that of isotropic oscillator. Moreover, the degeneracy is possible only among the states belonging to the same $X_r$ [@b22].

It is also not difficult to find the relevant $sU(2)$ symmetry algebra responsible for degeneracy in each $X_r$. To this end let us note that each $X_r$ is the Fock space if one makes an identification $\mid n_+\;n_->\cong \mid p,\;q>$  and defines $$\begin{aligned}
&&b_{r_+}\mid p,\;q>=\sqrt{p}\mid p-1,\;q>,\;b_{r_-}\mid p,\;q>=\sqrt{q}\mid p,\;q-1>\nonumber \\
&&b_{r_+}^+\mid p,\;q>=\sqrt{p+1}\mid p+1,\;q>,\;b_{r_-}^+\mid p,\;q>=\sqrt{q+1}\mid p,\;q+1>\label{w19}\end{aligned}$$ New operators are obviously expressible in terms of $a_{\alpha},\;a_{\alpha}^+$. The relevant formulas are slightly complicated and read [@b22] $$\begin{aligned}
&&b_{r_+}=\sqcap_{s=1}^l(N_++s)^{-\frac{1}{2}}(\frac{N_+-r_+}{l})^{\frac{1}{2}}a_+^l \nonumber \\
&&b_{r_-}=\sqcap_{s=1}^k(N_-+s)^{-\frac{1}{2}}(\frac{N_--r_-}{k})^{\frac{1}{2}}a_-^k\label{w20}\end{aligned}$$ In spite of their appearance these operators are well-defined.

Having constructed new creation-anihilation operators one easily finds symmetry operators. In fact, defining (here $\sigma_{i}$ are Pauli matrices) $$\begin{aligned}
T_{ri}\equiv \frac{1}{2}b_{r\alpha}^+(\sigma_i)_{\alpha \beta}b_{r\beta},\;i=1,\;2,\;3\label{w21}\end{aligned}$$ one checks the following relations hold in $\chi_r$: $$\begin{aligned}
&&[T_{ri},\;\hat{H}]=0\label{w22}\\
&&[T_{ri},\;T_{rj}]=i\varepsilon_{ijk}T_{rk}\nonumber \end{aligned}$$ Now, the total Hilbert space is the orthogonal sum of the $X_r, \;X =\oplus_rX_r $. Let $P_r$ be the projection operator on $X_r$; define $$\begin{aligned}
T_i=\sum_rP_rT_{ri}P_r\equiv \sum_rT_{ri}P_r.\label{w23}\end{aligned}$$ Then eqs.(\[w22\]) extend to the whole Hilbert space $\chi$, $$\begin{aligned}
&&[T_i,\;\hat{H}]=0\label{w24} \\
&&[T_i,\;T_j]=i\varepsilon_{ijk}T_k\nonumber\end{aligned}$$ which proves that the symmetry algebra is always $sU(2)$ provided eq.(\[w14\]) holds.

It remains to construct explicitly $P_r$. Again, it is not difficult to verify that [@b23] $$\begin{aligned}
P_r=\left(\frac{1}{l}\sum_{s=0}^{l-1}e^{\frac{2i\Pi s}{l}(N_+-r_+)}\right)\left(\frac{1}{k}\sum_{t=0}^{k-1}e^{\frac{2i\Pi t}{k}(N_--r_-)}\right)\label{w25}\end{aligned}$$

Let us summarize our results. For $\Theta \rightarrow 0$ all energy levels tend to their undeformed values. However, this limit is not uniform in quantum numbers $n_+,\;n_-$. This results in quite involved $\Theta$-behaviour of the system. For dense set of values the energy spectrum is nondegenerate and the hamiltonian is essentially the only independent operator in the sense that any operator commuting with $\hat{H}$ is a function of $\hat{H}$. On the other hand, for the complement dense set of $\Theta$’s obeying eq.(\[w14\]) the energy spectrum is degenerate and the symmetry algebra responsible for this degeneracy is always $sU(2)$. However, the structure of symmetry operators and irreducible $sU(2)$ multiples change very rapidly with the change of $\Theta$. In fact, a slight change of $\Theta$ can produce an enormous change of $k,\;l$ which determine the decomposition of $X$into the sum of $X_r$’s and the form of symmetry algebra.

This phenomenom has its classical counterpart. If the sympletic structure is modified by imposing $\{x_i,\;x_j\}=\Theta\varepsilon_{ij}$, the hamiltonian continues to be integrable for all values of $\Theta$. However, it becomes superintegrable for a dense set of values of $\Theta$ while it is not superintegrable for complement dense set.

[99]{} E. Witten Nucl. Phys. (1996), 33\
A. Connes, M. R. Douglas, A. Schwarz, JHEP 02 (1998), 003\
N. Seiberg, E. Witten, JHEP 09 (1999), 032 M. Chaichian, A. Demichev, P. Presnajder, M. M. Sheikh-Jabbari, Phys. Lett. (2002), 149\
H. Falomir, J. Gamboa, M. Loewe, F. Mendez, J. C. Rojas, Phys. Rev. (2002), 045018 V. P. Nair, A. P. Polychronakos, Phys. Lett. (2001), 267 D. Karabali, V. P. Nair, A. P. Polychronakos, Nucl. Phys. (2002), 565 O. F. Dayi, A. Jellal, Phys. Lett. (2001), 349 O. F. Dayi, A. Jellal, J. Phys. (2001), 10159 A. Jellal, J. Math. Phys. (2002), 4592; E (2004), 827 A. Jellal,E. H. El Kinani, M. Schreiber, hep-th/0309105 M. Chaichian, M. M. Shekh-Jabbari, A. Tureanu, Phys. Rev. Lett. (2001), 2716 M. Chaichian, A. Demichev, P. Presnajder, M. M. Sheikh-Jabbari, A. Tureanu, Nucl. Phys. (2001), 383 J. Gamboa, M. Loewe, F. Mendez, J. C. Rojas, Int. J. Mod. Phys. (2002), 2555 J. Gamboa, M. Loewe, F. Mendez, J. C. Rojas, Mod. Phys. Lett. (2001), 2075 J. Gamboa, M. Loewe, J. C. Rojas, Phys. Rev. (2001), 067901 I. Dadic, L. Jonke, S. Meljanac, hep-th/0301066 L. Jonke, S. Meljanac, Eur. Phys. J. (2003), 433 C. Daval, P. A. Horvathy, Phys. Lett. (2000), 284 P. A. Horvathy, Ann Phys. (2002), 128 S. Bellucci, A. Nersessian, C. Sochichiu, Phys. Lett. (2001), 345 S. Bellucci, A. Nersessian, Phys. Lett. (2002), 295 B. Muthukumar, P. Mitra, Phys. Rev. (2002), 027701 S. Minwalla, M. Van Raamsdonk, N. Seiberg, JHEP 0002 (2000), 020 J. D. Louck, M. Moshinsky, K. B. Wolf, J. Math. Phys. (1973), 692 C. Gonera, P. Kosiński, M. Majewski, P. Maślanka, to be published

[^1]: supported by KBN grant 5 P03B06021
