Phase operators, temporally stable phase states, mutually unbiased bases and exactly solvable quantum systems

Mohammed Daoud, Maurice Robert Kibler

Introduction

It is well known that the usual model for the quantized single modes of the electromagnetic field is the harmonic oscillator with an infinity of states. The infinite-dimensional character of the representation space of the corresponding oscillator algebra constitutes a drawback to define a phase operator in a consistent way -. In order to get rid of this difficulty, Pegg and Barnett suggested to truncate to some finite (but arbitrarily large) order the infinite-dimensional representation space of the oscillator algebra . Their approach also provided a valid way for calculating the so-called phase states (the eigenvectors of the phase operator). In the same vein, Vourdas proposed a definition of a phase operator for su(2)su(2) and calculated its eigenstates without a truncation procedure since su(2)su(2) admits finite-dimensional unitary irreducible representations . He also constructed a phase operator and its eigenstates for su(1,1)su(1,1), without a truncation procedure although su(1,1)su(1,1) admits infinite-dimensional unitary irreducible representations .

The main aim of the present work is to develop a method to build unitary phase operatorsWe deal here with unitary rather than Hermitian phase operators. The two kinds of operators are related via an exponentiation trick. and temporally stable phase states for some exactly solvable quantum systems. Various algebraic structures were used to construct (temporaly stable or not) coherent states in connection with some quantum systems -. The construction of temporally stable phase states to be developed in this work is based on a generalized oscillator algebra which takes its root in . This algebra was introduced to construct isospectral shape invariant potentials in the framework of fractional supersymmetry.

A second facet of this work is to show that the obtained temporally stable phase states can be used to generate mutually unbiased bases (MUBs). Such bases are of considerable interest in quantum information and were recently investigated from an angular momentum approach . It is not the purpose of this paper to deal with unsolved problems concerning MUBs but to give a way to construct MUBs from temporally stable states associated with some exactly solvable systems.

The paper is organized as follows. Section 2 is devoted to the generalized oscillator algebra Aκ{\cal A}_{\kappa}. Temporally stable phase states associated with Aκ{\cal A}_{\kappa} are studied in section 3. Section 4 deals with the truncated oscillator algebra Aκ,s{\cal A}_{\kappa,s} and the correponding phase states. As a first application, the derivation of MUBs from phase states is developed in section 5. A second application is made in section 6 to some exactly solvable quantum systems.

The notations are standard. Let us simply mention that: δa,b\delta_{a,b} stands for the Kronecker symbol of aa and bb, II for the identity operator, AA^{\dagger} for the adjoint of the operator AA, and [A,B][A,B] and {A,B}\{A,B\} for respectively the commutator and the anticommutator of the operators AA and BB. We use a notation of type ψ|\psi\rangle for a vector in an Hilbert space and we denote ϕψ\langle\phi|\psi\rangle and ϕψ|\phi\rangle\langle\psi| respectively the inner and outer products of the vectors ψ|\psi\rangle and ϕ|\phi\rangle.

Generalized oscillator algebra

Let Aκ{\cal A}_{\kappa} be the algebra spanned by the three linear operators aa^{-}, a+a^{+} and NN satisfying the following relations

where the operators f0(N)f_{0}(N) and X±X_{\pm}, and the parameters kk, aa and bb are defined in . It should be noted that the CλC_{\lambda}-extended oscillator algebra worked out in is a particular case of WkW_{k} (for λ=k\lambda=k).

We denote by Fκ{\cal F}_{\kappa} the finite- or infinite-dimensional Hilbert space on which the operators aa^{-}, a+a^{+} and NN are defined. Let

(with d(κ)d({\kappa}) finite or infinite) be an orthonormal basis, with respect to the inner product nn=δn,n\langle n|n^{\prime}\rangle=\delta_{n,n^{\prime}}, of the space Fκ{\cal F}_{\kappa}. It is easy to check that the actions

for n>0n>0. The condition (7) determines the value of d(κ)d({\kappa}) and then the dimension of Fκ{\cal F}_{\kappa}. The finiteness or infiniteness of Fκ{\cal F}_{\kappa} depends on the sign of the parameter κ\kappa. For κ0\kappa\geq 0, the space Fκ{\cal F}_{\kappa} is infinite-dimensional. In fact, for κ=0\kappa=0, the space F0{\cal F}_{0} coincides with the usual Hilbert-Foch space for the harmonic oscillator. For κ<0\kappa<0, there exists a finite number of states satisfying the condition (7). As a matter of fact, for κ<0\kappa<0, nn can take the values

where E(x)E(x) stands for the integer part of xx. The finiteness of the space Fκ{\cal F}_{\kappa} induces properties of the operators aa^{-} and a+a^{+} which differ from those corresponding to an infinite-dimensional space. In particular, the trace of any commutator in the finite-dimensional space must be zero. This implies that the parameter κ\kappa is related to the dimension dd of the space Fκ{\cal F}_{\kappa} by

3 A generalized oscillator Hamiltonian

We are now in a position to define an operator which generalizes (up to an additive constant) the Hamiltonian a+a+1/2a^{+}a^{-}+1/2 for the one-dimensional harmonic oscillator. Starting from

we refer F(N)F(N) to as an Hamiltonian associated with the generalized oscillator algebra Aκ{\cal A}_{\kappa}. The eigenvalue equation

gives the energies (6) of a quantum dynamical system described by the Hamiltonian operator F(N)F(N). Let us discuss the degeneracies of the levels F(n)F(n) given by (6).

(i) In the case κ0\kappa\geq 0, the spectrum of F(N)F(N) is nondegenerate.

(ii) In the case κ<0\kappa<0, the eigenvalues of F(N)F(N) can be rewritten as

Thus, for dd even the levels are doublets except the fundamental level n=0n=0 and the level n=d/2n=d/2 which are nondegenerate. For dd odd the levels are two-fold degenerate except the fundamental level n=0n=0 which is a singlet.

In both cases (κ0\kappa\geq 0 and κ<0\kappa<0), we note that the Perron-Frobenius theorem is satisfied, namely, the fundamental level is nondegenerate.

It is known that one-dimensional quantum dynamical systems (on the real line) correspond to nondegenerate spectra. Therefore, the representation obtained for Aκ{\cal A}_{\kappa} with κ<0\kappa<0 cannot be used to describe a particle evolving in some nonrelativistic potential on the real line. However, a modification of the generalized oscillator algebra Aκ{\cal A}_{\kappa} can be achieved in orded to avoid the degeneracies of F(N)F(N). This will be done in section 4 by means of a truncation procedure which will prove also useful in the case κ0\kappa\geq 0 to define in a consistent way the phase operator for some exactly solvable systems.

We shall treat separately the cases κ0\kappa\geq 0 and κ<0\kappa<0 associated with the infinite- and the finite-dimensional representation of the generalized oscillator algebra Aκ{\cal A}_{\kappa}, respectively.

In the case κ0\kappa\geq 0, we decompose aa^{-} and a+a^{+} as

a result which means that EE_{\infty} is not a unitary operator.

To find the phase states corresponding to κ0\kappa\geq 0, let us consider the eigenvalue equation

By expanding the vector z|z\rangle of Fκ{\cal F}_{\kappa} as

it is easy to see that the complex coefficients CnC_{n} satisfy the relation

where the coefficient C0C_{0} can be determined from the normalization condition of the states z|z\rangle. As a result, we can take (up to a phase factor)

Following the method developed in for the Lie algebra su(1,1)su(1,1), we define the states θ,φ|\theta,\varphi\rangle by

where θ[π,+π]\theta\in[-\pi,+\pi] (see also where a limit of type zeiθz1z\rightarrow e^{i\theta}\Rightarrow|z|\rightarrow 1 is used in a similar way). We thus get the states

These states, defined on the unit circle S1S^{1}, turn out to be phase states. Indeed, we have

Hence, the operator EE_{\infty} is a (nonunitary) phase operator.

The main properties of the states θ,φ|\theta,\varphi\rangle are the following.

(i) They are temporally stable in the sense that the relation

is satisfied for any value of the real parameter tt. This property is due to the presence of the parameter φ\varphi in the phase operator EE_{\infty}.

(ii) They are not normalized and not orthogonal. However, for fixed φ\varphi, they satisfy the closure relation

Finally, observe that for φ=0\varphi=0 the states θ,0|\theta,0\rangle have the same form than those derived in for su(1,1)su(1,1).

2 The finite-dimensional case

which easily follows from the calculation of d1aa+d1\langle d-1|a^{-}a^{+}|d-1\rangle.

Let us look for a decomposition of the creation a+a^{+} and annihilation aa^{-} operators similar to (14) for the case κ0\kappa\geq 0. Thus, let us put

The operator EdE_{d} can be seen to satisfy

for n=1,2,,d1n=1,2,\ldots,d-1. For n=0n=0, we shall assume that

so that (29) is valid modulo dd. (Note that, in view of (28), a0=0a^{-}|0\rangle=0 does not imply that Ed0=0E_{d}|0\rangle=0.) It follows that we have

where n+1n+1 should be understood modulo dd. As an important result (to be contrasted with the situtation where κ0\kappa\geq 0), the operator EdE_{d} is unitary. Therefore, equation (28) constitutes a polar decomposition of aa^{-} and a+a^{+}.

We are now ready to derive the eigenstates of the operator EdE_{d}. Let us consider the eigenvalue equation

As a consequence, the complex variable zz is a root of unity given by

is reminiscent of the parameter used in the theory of quantum groups. The constant C0C_{0} can be calculated from the normalization condition zz=1\langle z|z\rangle=1 to be

up to a phase factor. Finally, we arrive at the following eigenstates zm,φ|z\rangle\equiv|m,\varphi\rangle of EdE_{d}

which shows that EdE_{d} is indeed a phase operator. In the particular case φ=0\varphi=0, the states m,0|m,0\rangle are similar to those derived in for the Lie algebra su(2)su(2). In this case, the states m,0|m,0\rangle correspond to an ordinary discrete Fourier transform of the basis {n:n=0,1,,d1}\{|n\rangle:n=0,1,\ldots,d-1\} of the dd-dimensional space Fκ{\cal F}_{\kappa}.

The phase states m,φ|m,\varphi\rangle have remarkable properties (to be compared to those for the states θ,φ|\theta,\varphi\rangle of the case κ0\kappa\geq 0).

(i) They are temporally stable under “time evolution”. In other words, they satisfy

for any value of the real parameter tt. We note here the major role of the parameter φ\varphi in ensuing the temporal stability of the states m,φ|m,\varphi\rangle.

(ii) For fixed φ\varphi, they satisfy the equiprobability relation

(iii) For fixed φ\varphi, they satisfy the orthonormality relation

(iv) The overlap between two phase states m,φ|m^{\prime},\varphi^{\prime}\rangle and m,φ|m,\varphi\rangle reads

and qq is defined in (38). Therefore, the temporally stable phase states are not all orthogonal.

Truncated generalized oscillator algebra and phase states

Inspired by the work of Pegg and Barnett , we define the truncated generalized oscillator algebra Aκ,s{\cal A}_{\kappa,s} through the three linear operators bb^{-}, b+b^{+} and NN satisfying the following relations

The algebra Aκ,s{\cal A}_{\kappa,s} generalizes the one introduced by Pegg and Barnett for the harmonic oscillator in their discussion of the phase operator for the single modes of the electromagnetic field . Indeed, the algebra A0,s{\cal A}_{0,s}, for κ=0\kappa=0, is identical to the truncated oscillator algebra considered in .

Following the same approach as in subsection 2.2, we define a ss-dimensional representation of Aκ,s{\cal A}_{\kappa,s} (whatever the sign of κ\kappa is) via the actions

for n=0,1,,s1n=0,1,\ldots,s-1. Note that a further condition is necessary here, namely, the upper limit condition b+s1=0b^{+}|s-1\rangle=0. It can be checked that the recurrence relation (5) is equally valid for Aκ,s{\cal A}_{\kappa,s}. Therefore, equations (6) and (12) can be applied with n=0,1,,s1n=0,1,\ldots,s-1.

It is interesting to note that the creation and annihilation operators bb^{-} and b+b^{+} satisfy (in the representation under consideration) the nilpotency relations

For the truncated algebra Aκ,s{\cal A}_{\kappa,s} (corresponding to d(κ)d(\kappa) finite or infinite), the analog of the phase operator EdE_{d} is the unitary operator

By using the same reasoning as in subsection 3.2, we obtain

We are thus left with phase states m,φ|m,\varphi\rangle associated with the phase operator EsE_{s}. These states satisfy the same properties as those for EdE_{d} (see section 3.2) except that dd is replaced by ss in some places.

3 A new type of discrete phase states

It is well known that, for quantum systems with a finite spectrum (like the Morse system) or for Lie algebras with finite-dimensional unitary representations (as for instance su(2)su(2)), the construction of coherent states cannot be achieved by looking for the eigenstates of an annihilation operator or of a compact shift operator .

For the algebra Aκ,s{\cal A}_{\kappa,s} the difficulty inherent to the finiteness of the representation can be overcome as follows. We define the operator

The operator VsV_{s} is an idempotent operator of order ss since

By using (57), we obtain that zz is discretized as

with qsq_{s} defined by (54). Then, it is a simple matter to calculate the coefficients CnC_{n} and to normalize the μ\mu- and φ\varphi-dependent states zμ,φ|z\rangle\equiv|\mu,\varphi\rangle. This leads to

where the normalization factor C0C_{0} is such that (up to a phase factor)

The states μ,φ|\mu,\varphi\rangle are temporally stable and are similar to the coherent states introduced by Gazeau and Klauder except that their labeling includes an integer and they correspond to the eigenvectors of a polynomial in terms of generalized creation and annhilation operators. They satisfy

We close this subsection with a remark concerning the unitary operator

that is a companion of VsV_{s} in the following sense. This operator satisfies the cyclicity relation

Furthermore, we have the ss-commutation relation

Equations (57), (65) and (66) are necessary conditions for the pair (Us,VsU_{s},V_{s}) be a pair of Weyl (see ). However, this is not the case because VsV_{s} is not unitary.

Application to mutually unbiased bases

As an a priori unexpected connection, the approach in subsection 3.2 and 4.2 for the finite-dimensional cases (for Aκ{\cal A}_{\kappa} and Aκ,s{\cal A}_{\kappa,s}) can be further developed for deriving MUBs. Let us recall that two orthonormal bases {aα:α=0,1,,d1}\{|a\alpha\rangle:\alpha=0,1,\ldots,d-1\} and {bβ:β=0,1,,d1}\{|b\beta\rangle:\beta=0,1,\ldots,d-1\} in a dd-dimensional Hilbert space (with an inner product \langle\,|\,\rangle) are said to be mutually unbiased iff

For fixed dd, it is known that the number N{\cal N} of MUBs is such that Nd+1{\cal N}\leq d+1 and that the limit N=d+1{\cal N}=d+1 is reached when dd is the power of a prime number .

In order to generate MUBs along the line of the developments of subsection 3.2, let us further examine some properties of the phase operator EdE_{d} for Aκ{\cal A}_{\kappa} with κ<0\kappa<0. This operator can be written in a compact form as

(in this section, the summations on nn are understood modulo dd). It is easy to check that

so that EdE_{d} is idempotent. The operator EdE_{d} can be decomposed as

where the operators UφU_{\varphi} and VV are defined by

The operators UφU_{\varphi} and VV are unitary and satisfy the pseudo-commutation relation

In addition, the operator VV satisfies the idempotency relation

and, when the parameter φ\varphi is quantized as

In view of (74), equation (72) can be rewritten as

(see (38) for the definition of qq). For the discrete values of φ\varphi afforded by (74), equation (40) yields the phase states m,φm,p|m,\varphi\rangle\equiv|m,p\rangle given by

which coincides with the vector aα|a\alpha\rangle, with apa\equiv p and αm\alpha\equiv m, obtained in in an SU(2)SU(2) approach to MUBs. Alternatively, by putting

which coincides with the vector aα|a\alpha\rangle, with apa\equiv p and αm\alpha\equiv m, derived in in an angular momentum approach to MUBs. It is to be observed that (77) and (79) correspond to quadratic discrete Fourier transforms.

To make a further contact with , let us note that when φ\varphi is discretized according to (74), the inner product m,φm,φm,pm,p\langle m,\varphi|m^{\prime},\varphi^{\prime}\rangle\equiv\langle m,p|m^{\prime},p^{\prime}\rangle (see equation (46)) can be rewritten as

In equation (80), the factor S(u,v,w)S(u,v,w) denotes a generalized quadratic Gauss sum defined by

where uu, vv and ww are integers (the nonvanishing of S(u,v,w)S(u,v,w) requires uw+vuw+v even). In the special case where dd is a prime integer and ppp^{\prime}\not=p, the calculation of S(u,v,w)S(u,v,w) in (80) through the methods developed in (see also ) leads to

of the dd-dimensional space Fκ{\cal F}_{\kappa}, with dd given by (9), are mutualy unbiased. On the other hand, in view of (43), it is clear that any basis BpB_{p} and the basis

known as the computational basis in quantum information and quantum computation, are mutually unbiased. As a conclusion, for dd prime, the dd bases BpB_{p} with p=0,1,,d1p=0,1,\ldots,d-1 and the computational basis BdB_{d} constitute a complete set of d+1d+1 MUBs. This result, in agreement with the one derived in , is the starting point for constructing MUBs in power prime dimension.

By applying a discretization procedure similar to the one introduced in subsection 5.1, we can construct MUBs from the phase states (53) for the truncated algebra Aκ,s{\cal A}_{\kappa,s} with κ0\kappa\not=0. Let us quantize the parameter φ\varphi by putting

Then, equation (53) leads to the states m,φm,p|m,\varphi\rangle\equiv|m,p\rangle given by

We can proceed as in subsection 5.1 in order to show that the various states m,p|m,p\rangle generate, together with the ss-dimensional basis {n:n=0,1,,s1}\{|n\rangle:n=0,1,\ldots,s-1\}, s+1s+1 MUBs when ss is a prime integer.

Application to exactly solvable potentials

The main goal of this section is to show how the generalized oscillator algebra Aκ{\cal A}_{\kappa} is relevant for the study of one-dimensional exactly solvable potentials in the context of supersymmetric quantum mechanics and how MUBs can be derived from the temporally stable phase states for some quantum mechanical systems.

where H0H_{0} and H1H_{1} act on the states Ψn,0|\Psi_{n},0\rangle and Ψn,1|\Psi_{n},1\rangle of even and odd grading, respectively. In other words, the Hilbert space H{\cal H} is decomposed as

By combining the above-mentioned considerations on supersymmetry with the Infeld and Hull factorization method , we can construct creation, annihilation and transfer operators for an exactly solvable Hamiltonian in one dimension -. For this purpose, let us consider a one-dimensional quantum system embedded in a real potential v0:xv0(x)v_{0}:x\mapsto v_{0}(x). The corresponding Hamiltonian is

Let us suppose that the Hamiltonian H0H_{0} is exactly solvable and admits the discrete spectrum

with a finite or infinite number of levels. We know that the Hamiltonian H0H_{0} of this system can be factorized as

The superpotential w:xw(x)w:x\mapsto w(x) satisfies the Ricatti equation

Since the ground state energy is assumed to be zero, it is easy to see that the potential v0v_{0} and the superpotential ww can be expressed in terms of the ground state wavefunction.

It is important to stress that the operators x+x^{+} and xx^{-} are not in general creation and annihilation operators for H0H_{0} . They are indeed transfer operators from the spectrum of H0H_{0} to the one of H1H_{1} and vice-versa. To identify them, we start by representing the supercharge operators and the supersymmetric Hamiltonian by 2×22\times 2 matrices

is the supersymmetric partner of H0H_{0} and corresponds to a new potential v1:xv1(x)v_{1}:x\mapsto v_{1}(x). The potential

is the supersymmetric partner of the potential v0v_{0}. The Hamiltonian H1H_{1} is also exactly solvable and isospectral to H0H_{0} (except for the ground state). Indeed,

(For more details see and the recent topical review .) From equations (101) and (102), it is clear that we can take

where φ\varphi is a real number, and that the energies of the supersymmetric partners H0H_{0} and H1H_{1} are related by

Note that the operator xx^{-} (respectively x+x^{+}) converts an eigenfunction of H0H_{0} (respectively H1H_{1}) into an eigenfunction of H1H_{1} (respectively H0H_{0}) with the same energy. Thus, the operators xx^{-} and x+x^{+} transfer the states from one spectrum to its partner spectrum. To introduce the ladder operators inside a given spectrum, we first consider the unitary operator UU relating the states Ψn,0|\Psi_{n},0\rangle and Ψn,1|\Psi_{n},1\rangle through (cf -)

Operators similar to UU were already considered for continuous spectra and for discrete spectra . Then, we define the operators -

By using equations (103) et (104), we obtain

Consequently, a+a^{+} and aa^{-} are creation and annihilation operators for the Hamiltonian H0H_{0}. Furthermore, it is easily seen that

Ladder operators for the Hamiltonian H1H_{1} can be introduced in a similar way.

2 Physical realizations of the generalized oscillator algebra

To simplify the notation, we set Ψn:=Ψn,0|\Psi_{n}\rangle:=|\Psi_{n},0\rangle. From equations (108) et (109), we get

is in general (for an arbitrary quantum system) different from the product a+aa^{+}a^{-}. Let us consider the situation where the creation and annihilation operators satisfy the commutation relation

a relation used in the study of the so-called polynomial Heisenberg algebra introduced in . In other words, we assume that the energy gap en+1ene_{n+1}-e_{n} between two succussive levels is linear in nn, i.e.

where aa and bb are two real parameters. We also assume that the eigenvalues of the operator aN+baN+b are positive. With these choices, the algebra generated by the operators a+a^{+}, aa^{-} and NN is identical to the generalized oscillator algebra Aκ{\cal A}_{\kappa} modulo the replacements

in equation (1). Thus, from equations (108-110), we have

For a0a\not=0, the spectrum of H0H_{0} is non-linear and is given by

Particular realizations of (117) in terms of one-dimensional solvable potentials were previously considered in . Following the developments in , we consider the following remarkable cases.

(iii) For (a<0a<0, b0b\geq 0), the spectrum of H0H_{0} is finite-dimensional with n=0,1,,s1n=0,1,\ldots,s-1 where

It is possible to find a realization of each of the three cases above in terms of exactly solvable dynamical systems in one dimension. We give below the corresponding potential v0v_{0} and transfer operators.

(For the harmonic oscillator, UU reduces to the identity operator.)

3 Phase states and MUB for exactly solvable systems

From equation (53), we can obtain the phase states for a general quantum system described by a truncated generalized oscillator algebra Aκ,s{\cal A}_{\kappa,s}. We get

with ss sufficiently large for the harmonic oscillator and the Pöschl-Teller systems and s=l+1s=l+1 for the Morse system. Furthermore, equation (87) provides with a mean to generate MUBs associated with the cases (i), (ii) and (iii) of subsection 6.2.

On the other hand, the discrete phase state (60) reads here

where the factor E(n)E(n) can be calculated in the different cases (i), (ii) and (iii). A simple calculation gives the following results in term of the Γ\Gamma function.

(i) For the harmonic oscillator potential:

It should be mentioned that the discrete phase states given by (127) differ from the coherent states for exactly sovable potentials derived in from supersymmetric quantum mechanics techniques. The noticeable difference comes from the fact that the states (127) are temporally stable and are labeled by an integer instead of a continuous complex variable as in the coherent states derived in . The states (127) are eigenstates of the operator (55) whereas the coherent states in are obtained from the three standard definitions (involving annihilation operator, displacement operator, and uncertainty relation).

Concluding remarks

The starting point of this article is based on the definition of a generalized oscillator algebra Aκ{\cal A}_{\kappa}. This algebra is interesting in two respects. First, it describes in an unified way some exactly solvable one-dimensional systems having a nonlinear spectrum (for κ0\kappa\not=0) or a linear spectrum (for κ=0\kappa=0). As typical examples, these quantum systems correspond to the Pöschl-Teller potential (for κ>0\kappa>0), the Morse potential (for κ<0\kappa<0) and the infinite square well potential (for κ=1/3\kappa=1/3) in addition to the harmonic oscillator potential (for κ=0\kappa=0). Second, the algebra Aκ{\cal A}_{\kappa} can take into account some nonlinear effects that may occur in the quantum description of quantized modes of the electromagnetic field (cf. ).

In connection with the algebra Aκ{\cal A}_{\kappa}, the present work adresses three problems: the construction of a phase operator, the determination of its temporally stable eigenstates (the so-called phase states) and the derivation of MUBs from the obtained phase states. This is the first time that a connection between MUBs and dynamical systems is established. In this regard, the character ”temporally stable” of the eigenstates of the phase operator is essential for the derivation of MUBs. The main results of this paper are as follows.

For the case κ0\kappa\geq 0 (which corresponds to an infinite representation of Aκ{\cal A}_{\kappa}), the phase operator is not unitary. We note in passing that the corresponding phase states are similar to those derived in except that our states are temporally stable. However for κ0\kappa\geq 0, by making a (à la Pegg and Barnett) truncation, which gives rise to a truncated generalized oscillator algebra Aκ,s{\cal A}_{\kappa,s}, we can define a unitary phase operator whose eigenstates lead to MUBs.

For the case κ<0\kappa<0 (which corresponds to a finite representation of Aκ{\cal A}_{\kappa}), it is possible to construct a unitary phase operator whose eigenstates are temporally stable. MUBs can be derived as a subset of these states. For κ<0\kappa<0, the consideration of a truncated generalized oscillator algebra Aκ,s{\cal A}_{\kappa,s} is nevertheless necessary in order to establish a connection with the Morse system and to derive associated MUBs.

As a conclusion, in both cases (κ0\kappa\geq 0 and κ<0\kappa<0), the truncation procedure makes it possible to define a unitary phase operator for exactly solvable systems and to generate temporally stable phase states from which MUBs can be derived.

Another result of this paper concerns a new type of phase states. These temporally stable phase states, namely the states (60), are associated with the truncated algebra Aκ,s{\cal A}_{\kappa,s}. They are eigenstates of an operator defined in the enveloping algebra of Aκ,s{\cal A}_{\kappa,s} and constitute discrete analogs of the coherent states derived in . More generally, this result shows that it is possible, for a finite spectrum, to derive new phase states similar to the coherent states of constructed, for an infinite spectrum, as eigenstates of an annihilation operator. The key of the derivation of the new states (for a finite spectrum) is to add a power of the creation operator to the annihilation operator.

To close this paper, let us mention that the concept of MUBs was recently extended to infinite-dimensional Hilbert spaces . In this vein, it is hoped that the temporally stable phase states derived in this work for the infinite-dimensional case could serve as a hint for deriving MUBs for continuous variables, a difficult challenge.

Acknowledgments

One of the authors (M D) would like to thank the hospitality and kindness extended to him by the Groupe de physique théorique de l’Institut de Physique Nucléaire de Lyon where this work was done. The other author (M R K) is grateful to Michel Capdequi-Peyranère for useful comments. Thanks are due to one Referee and to the Adjudicator for constructive suggestions.

References