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 and calculated its eigenstates without a truncation procedure since admits finite-dimensional unitary irreducible representations . He also constructed a phase operator and its eigenstates for , without a truncation procedure although 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 . Temporally stable phase states associated with are studied in section 3. Section 4 deals with the truncated oscillator algebra 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: stands for the Kronecker symbol of and , for the identity operator, for the adjoint of the operator , and and for respectively the commutator and the anticommutator of the operators and . We use a notation of type for a vector in an Hilbert space and we denote and respectively the inner and outer products of the vectors and .
Generalized oscillator algebra
Let be the algebra spanned by the three linear operators , and satisfying the following relations
where the operators and , and the parameters , and are defined in . It should be noted that the -extended oscillator algebra worked out in is a particular case of (for ).
We denote by the finite- or infinite-dimensional Hilbert space on which the operators , and are defined. Let
(with finite or infinite) be an orthonormal basis, with respect to the inner product , of the space . It is easy to check that the actions
for . The condition (7) determines the value of and then the dimension of . The finiteness or infiniteness of depends on the sign of the parameter . For , the space is infinite-dimensional. In fact, for , the space coincides with the usual Hilbert-Foch space for the harmonic oscillator. For , there exists a finite number of states satisfying the condition (7). As a matter of fact, for , can take the values
where stands for the integer part of . The finiteness of the space induces properties of the operators and 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 is related to the dimension of the space 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 for the one-dimensional harmonic oscillator. Starting from
we refer to as an Hamiltonian associated with the generalized oscillator algebra . The eigenvalue equation
gives the energies (6) of a quantum dynamical system described by the Hamiltonian operator . Let us discuss the degeneracies of the levels given by (6).
(i) In the case , the spectrum of is nondegenerate.
(ii) In the case , the eigenvalues of can be rewritten as
Thus, for even the levels are doublets except the fundamental level and the level which are nondegenerate. For odd the levels are two-fold degenerate except the fundamental level which is a singlet.
In both cases ( and ), 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 with cannot be used to describe a particle evolving in some nonrelativistic potential on the real line. However, a modification of the generalized oscillator algebra can be achieved in orded to avoid the degeneracies of . This will be done in section 4 by means of a truncation procedure which will prove also useful in the case to define in a consistent way the phase operator for some exactly solvable systems.
We shall treat separately the cases and associated with the infinite- and the finite-dimensional representation of the generalized oscillator algebra , respectively.
In the case , we decompose and as
a result which means that is not a unitary operator.
To find the phase states corresponding to , let us consider the eigenvalue equation
By expanding the vector of as
it is easy to see that the complex coefficients satisfy the relation
where the coefficient can be determined from the normalization condition of the states . As a result, we can take (up to a phase factor)
Following the method developed in for the Lie algebra , we define the states by
where (see also where a limit of type is used in a similar way). We thus get the states
These states, defined on the unit circle , turn out to be phase states. Indeed, we have
Hence, the operator is a (nonunitary) phase operator.
The main properties of the states are the following.
(i) They are temporally stable in the sense that the relation
is satisfied for any value of the real parameter . This property is due to the presence of the parameter in the phase operator .
(ii) They are not normalized and not orthogonal. However, for fixed , they satisfy the closure relation
Finally, observe that for the states have the same form than those derived in for .
2 The finite-dimensional case
which easily follows from the calculation of .
Let us look for a decomposition of the creation and annihilation operators similar to (14) for the case . Thus, let us put
The operator can be seen to satisfy
for . For , we shall assume that
so that (29) is valid modulo . (Note that, in view of (28), does not imply that .) It follows that we have
where should be understood modulo . As an important result (to be contrasted with the situtation where ), the operator is unitary. Therefore, equation (28) constitutes a polar decomposition of and .
We are now ready to derive the eigenstates of the operator . Let us consider the eigenvalue equation
As a consequence, the complex variable is a root of unity given by
is reminiscent of the parameter used in the theory of quantum groups. The constant can be calculated from the normalization condition to be
up to a phase factor. Finally, we arrive at the following eigenstates of
which shows that is indeed a phase operator. In the particular case , the states are similar to those derived in for the Lie algebra . In this case, the states correspond to an ordinary discrete Fourier transform of the basis of the -dimensional space .
The phase states have remarkable properties (to be compared to those for the states of the case ).
(i) They are temporally stable under “time evolution”. In other words, they satisfy
for any value of the real parameter . We note here the major role of the parameter in ensuing the temporal stability of the states .
(ii) For fixed , they satisfy the equiprobability relation
(iii) For fixed , they satisfy the orthonormality relation
(iv) The overlap between two phase states and reads
and 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 through the three linear operators , and satisfying the following relations
The algebra 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 , for , is identical to the truncated oscillator algebra considered in .
Following the same approach as in subsection 2.2, we define a -dimensional representation of (whatever the sign of is) via the actions
for . Note that a further condition is necessary here, namely, the upper limit condition . It can be checked that the recurrence relation (5) is equally valid for . Therefore, equations (6) and (12) can be applied with .
It is interesting to note that the creation and annihilation operators and satisfy (in the representation under consideration) the nilpotency relations
For the truncated algebra (corresponding to finite or infinite), the analog of the phase operator is the unitary operator
By using the same reasoning as in subsection 3.2, we obtain
We are thus left with phase states associated with the phase operator . These states satisfy the same properties as those for (see section 3.2) except that is replaced by 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 ), 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 the difficulty inherent to the finiteness of the representation can be overcome as follows. We define the operator
The operator is an idempotent operator of order since
By using (57), we obtain that is discretized as
with defined by (54). Then, it is a simple matter to calculate the coefficients and to normalize the - and -dependent states . This leads to
where the normalization factor is such that (up to a phase factor)
The states 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 in the following sense. This operator satisfies the cyclicity relation
Furthermore, we have the -commutation relation
Equations (57), (65) and (66) are necessary conditions for the pair () be a pair of Weyl (see ). However, this is not the case because 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 and ) can be further developed for deriving MUBs. Let us recall that two orthonormal bases and in a -dimensional Hilbert space (with an inner product ) are said to be mutually unbiased iff
For fixed , it is known that the number of MUBs is such that and that the limit is reached when 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 for with . This operator can be written in a compact form as
(in this section, the summations on are understood modulo ). It is easy to check that
so that is idempotent. The operator can be decomposed as
where the operators and are defined by
The operators and are unitary and satisfy the pseudo-commutation relation
In addition, the operator satisfies the idempotency relation
and, when the parameter is quantized as
In view of (74), equation (72) can be rewritten as
(see (38) for the definition of ). For the discrete values of afforded by (74), equation (40) yields the phase states given by
which coincides with the vector , with and , obtained in in an approach to MUBs. Alternatively, by putting
which coincides with the vector , with and , 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 is discretized according to (74), the inner product (see equation (46)) can be rewritten as
In equation (80), the factor denotes a generalized quadratic Gauss sum defined by
where , and are integers (the nonvanishing of requires even). In the special case where is a prime integer and , the calculation of in (80) through the methods developed in (see also ) leads to
of the -dimensional space , with given by (9), are mutualy unbiased. On the other hand, in view of (43), it is clear that any basis and the basis
known as the computational basis in quantum information and quantum computation, are mutually unbiased. As a conclusion, for prime, the bases with and the computational basis constitute a complete set of 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 with . Let us quantize the parameter by putting
Then, equation (53) leads to the states given by
We can proceed as in subsection 5.1 in order to show that the various states generate, together with the -dimensional basis , MUBs when is a prime integer.
Application to exactly solvable potentials
The main goal of this section is to show how the generalized oscillator algebra 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 and act on the states and of even and odd grading, respectively. In other words, the Hilbert space 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 . The corresponding Hamiltonian is
Let us suppose that the Hamiltonian is exactly solvable and admits the discrete spectrum
with a finite or infinite number of levels. We know that the Hamiltonian of this system can be factorized as
The superpotential satisfies the Ricatti equation
Since the ground state energy is assumed to be zero, it is easy to see that the potential and the superpotential can be expressed in terms of the ground state wavefunction.
It is important to stress that the operators and are not in general creation and annihilation operators for . They are indeed transfer operators from the spectrum of to the one of and vice-versa. To identify them, we start by representing the supercharge operators and the supersymmetric Hamiltonian by matrices
is the supersymmetric partner of and corresponds to a new potential . The potential
is the supersymmetric partner of the potential . The Hamiltonian is also exactly solvable and isospectral to (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 is a real number, and that the energies of the supersymmetric partners and are related by
Note that the operator (respectively ) converts an eigenfunction of (respectively ) into an eigenfunction of (respectively ) with the same energy. Thus, the operators and 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 relating the states and through (cf -)
Operators similar to were already considered for continuous spectra and for discrete spectra . Then, we define the operators -
By using equations (103) et (104), we obtain
Consequently, and are creation and annihilation operators for the Hamiltonian . Furthermore, it is easily seen that
Ladder operators for the Hamiltonian can be introduced in a similar way.
2 Physical realizations of the generalized oscillator algebra
To simplify the notation, we set . From equations (108) et (109), we get
is in general (for an arbitrary quantum system) different from the product . 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 between two succussive levels is linear in , i.e.
where and are two real parameters. We also assume that the eigenvalues of the operator are positive. With these choices, the algebra generated by the operators , and is identical to the generalized oscillator algebra modulo the replacements
in equation (1). Thus, from equations (108-110), we have
For , the spectrum of 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 (, ), the spectrum of is finite-dimensional with 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 and transfer operators.
(For the harmonic oscillator, 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 . We get
with sufficiently large for the harmonic oscillator and the Pöschl-Teller systems and 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 can be calculated in the different cases (i), (ii) and (iii). A simple calculation gives the following results in term of the 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 . 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 ) or a linear spectrum (for ). As typical examples, these quantum systems correspond to the Pöschl-Teller potential (for ), the Morse potential (for ) and the infinite square well potential (for ) in addition to the harmonic oscillator potential (for ). Second, the algebra 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 , 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 (which corresponds to an infinite representation of ), 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 , by making a (à la Pegg and Barnett) truncation, which gives rise to a truncated generalized oscillator algebra , we can define a unitary phase operator whose eigenstates lead to MUBs.
For the case (which corresponds to a finite representation of ), 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 , the consideration of a truncated generalized oscillator algebra is nevertheless necessary in order to establish a connection with the Morse system and to derive associated MUBs.
As a conclusion, in both cases ( and ), 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 . They are eigenstates of an operator defined in the enveloping algebra of 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.