We suggest a candidate for a non-canonical Hermitian operator corresponding to phase angle, based on the Weyl correspondence rule. The matrix elements of this operator, for harmonic oscillator number states, coincide, in the correspondence limit, with those of a phase operator proposed by Barnett and Pegg, when the dimension of their defining space becomes infinite.
We suggest a candidate for a non-canonical Hermitian operator corresponding to phase angle, based on the Weyl correspondence rule. The matrix elements of this operator, for harmonic oscillator number states, coincide, in the correspondence limit, with those of a phase operator proposed by Barnett and Pegg, when the dimension of their defining space becomes infinite.
The formulation of the quantum description of the rotation angle of the plane rotator has been beset by many of the long-standing problems associated with harmonic-oscillator phases. We apply methods recently developed for oscillator phases to the problem of describing a rotation angle by a Hermitian operator. These methods involve use of a finite, but arbitrarily large, state space of dimension 2l+1 that is used to calculate physically measurable quantum properties, such as expectation values, as a function l. Physical results are then recovered in the limit as l tends to infinity. This approach removes the indeterminacies caused by working directly with an infinite-dimensional state space. Our results show that the classical rotation angle observable does have a corresponding Hermitian operator with well-determined and reasonable properties. The existence of this operator provides deeper insight into the quantum-mechanical nature of rotating systems.
We review some of the difficulties previously encountered in defining the phase operator for finite quantum systems. We then propose the Wigner–Weyl quantization of the angle function φ on phase space as the phase operator, and derive a closed expression for its matrix elements with respect to the Hermite functions. We also determine the quantization of e^{iφ} , which turns out to be a weighted shift operator, its spectrum and that of its adjoint. This is done in the framework of quantization of a certain symbol class of phase space distributions, specialized to those which depend on one variable only. After recalling some results for the position and momentum variables, we apply the scheme to functions of radius or angle. We give necessary and sufficient conditions for operators obtained by quantizing functions of the angle to be elements of \mathscr L^+ [\mathscr S(\mathbf R)] and \mathscr L^+ [\mathscr S (\mathbf R), L^2(\mathbf R)] , and a sufficient condition for boundedness. We then consider the associated questions of commutation relations and uncertainties for operators in \mathscr L^+ [\mathscr S(\mathbf R), L^2(\mathbf R)] , which we define as bilinear forms. As must be the case, the commutator between our phase operator and the number operator exhibits noncanonical terms. Not surprisingly, the Poisson bracket of their phase space symbols also exhibits a noncanonical term.
A simple formalism is introduced for describing the quantum phase of a single-mode field (or, equivalently, a harmonic oscillator) using a particular infinite-dimensional Hilbert space Hsym. This space is spanned by vectors which represent states of the single field mode containing non-negative numbers of photons. It has a symmetry in the sense that it contains vectors in the neighborhood of both the vacuum state and the infinite photon number state. A striking property of Hsym is that it supports Hermitian and unitary phase operators. Indeed the Pegg-Barnett unitary phase operators are shown to converge strongly on the Hilbert space Hsym and so the correponding limit points are ordinary operators on Hsym. This can be compared with the situation for the infinite-dimensional Hilbert space H conventionally used in quantum optics on which the Pegg-Barnett unitary phase operators converge weakly, in general.
More particularly, the sets {|n〉 : n = 0, 1, · · · s} and {|θm〉 : m = 0, 1, · · · s} are two mutually unbiased bases for s as |〈n|θm〉|2 = 1/(s + 1) for n, m = 0, 1, · · · , s. The exponential phase operator is defined in terms of the phase state basis as ei φˆθ = s∑ m=0 eiθm |θm〉〈θm|, (2.4) or equivalently, in terms of the energy eigenstates as |n〉〈n + 1| + ei(s+1)θ0 |s〉〈0|. (2.5) The subscript θ serves as a reminder that the values of phase variable θm lie in the range from θ0 to θ0 + 2π . This construction ensures that the phase states are the eigenstates of ei φˆθ , i.e., ei φˆθ |θm〉 = eiθm |θm〉. (2.6) The exponential phase operator is unitary, because n=0 |n〉〈n| = 1ˆ s (2.7) where 1ˆ s is the identity operator on s . The Hermitian phase operator representing the phase angle itself was introduced in (Pegg and Barnett 1988b Paper 2.2) and (Barnett and Pegg 1989 Paper 2.3) as simply φˆθ = s∑ m=0 θm|θm〉〈θm|. (2.8) The operator on the left hand sides of Eqs. (2.4) and (2.5) is the exponential of i φˆθ .Moreover, the operator corresponding to an arbitrary function of the phase angle f (θ) was introduced in Barnett and Pegg (1992 Paper 3.3) and also discussed in Pegg and Barnett (1997a Paper 2.6) as f (φˆθ ) = s∑ m=0 f (θm)|θm〉〈θm|. (2.9) It follows that the Hermitian conjugate of ei φˆθ is the operator (ei φˆθ )† = s∑ m=0 e−iθm |θm〉〈θm| = e−i φˆθ . (2.10) This construction on the finite dimensional spaces elegantly sidesteps the problems faced with the infinite dimensional Hilbert space discussed in the previous chapter. Its simplicity is particularly appealing. The question remains, however, of how to deal with states such as | f 〉 = ∑∞n=0 cn|n〉 which reside in the infinite dimensional Hilbert space. For each value of s, there exists a phase operator defined on s ; this leads naturally to sequences of operators, such as e.g. φˆθ |s=S, φˆθ |s=S+1, φˆθ |s=S+2 · · · which are phase angle operators defined on the sequence of spaces S, S+1, S+2, · · · for arbitrarily large integer S. The space s contains a state | f 〉s which approximates | f 〉 to arbitrary precision for a sufficiently large value of s, such that the modulus of the overlap 〈 f | f 〉s is as close to unity as desired. Thus the issue of including states such as | f 〉 entails dealing with such sequences as s tends to infinity.
In a series of papers, Barnett, Pegg (1986, 1988, 1989, 1992) and various co-authors have proposed a description of quantum phase by means of a collection of s-dimensional states and operators, s>or=1. We analyse the limiting procedure they employ for large s, which is known not to be compatible with quantum mechanics in the usual sense. Further, we supply a rigorous demonstration of the asymptotic limits of the `mean` and `variance` of their system of operators in coherent states. These values had previously been given but not justified mathematically. Our analysis, based on the asymptotic analysis of certain random variables, shows that the physical deductions that can be drawn from these limits are limited. We also prove that the (s+1)-dimensional `pure phase` LHW-states they consider form a sequence of approximate eigenvectors for the Weyl-quantized angle operator Delta ( phi ) and the Toeplitz phase operator X proposed by Garrison and Wong (1970), Popov and Yarunin (1992), and others. These states X s ( theta ), to our knowledge first introduced by Lerner, Huang and Waiters (1970), can be used to construct a system of measurement as in the usual quantum theory, sensitive to certain qualities of phase, but not all. Indeed, a feature of the Barnett-Pegg method, when it gives finite answers, is the construction of associated measurement systems for different observables. We give examples of sequences of (s+1)-dimensional devices which represent measurements significantly closer to ideal for X. This serves as a model for corresponding devices for Delta ( phi ), or indeed, any observable with a continuous spectrum, contingent on its spectral decomposition being obtained explicitly.
Abstract Coherent states, in Wigner representation of quantum mechanics which is classical in structure with Wigner function playing the role of classical phase space probability distribution, and standard quantum mechanical expression for average values of corresponding Weyl quantum operators, general expression for matrix elements of the operator corresponding to phase of the oscillator by Weyl procedure, are obtained in the |n〉 basis. The general expression for matrix elements in the same basis of any other operator is also obtained. As the only mathematical technique necessary in the proposed procedure is a simple change of variables to polar coordinates in the corresponding integrals, this way to introduce Weyl phase operator, and some other operators in Weyl quantization, greatly simplifies necessary derivations and calculations.