Why doesn't the phase operator exist?

Question

In many articles about quantum optics, the phase-number uncertainty relation $$\Delta \phi \Delta n \ge 1$$ has been mentioned and used as a heuristic argument, but they say that the phase-number uncertainty relation does not exist in a strict sense. Also many textbooks say there does not exist the phase operator.

Why isn't it possible to define the phase operator? If I define in such way $$\hat{\phi}\vert \phi \rangle=\phi \vert \phi \rangle$$ does this cause any problem? What is the major obstacle in defining the phase operator? Furthermore, how can I derive the phase-number uncertainty relation?

Answer 1

Well there is a Susskind-Glogower operator, which is a fairly good candidate for a phase operator. The problem is that the eigenstates for this operator does not have well-defined orthogonality/completeness relations. The reason for this, as I understand it, is because the Fock states (which are in a Fourier relationship to these eigenstates) only extend to positive infinity and not to negative infinity.

Answer 2

A definite treatment of angle quantization, including a discussion of the extended literature on this problem, is given in

H.A. Kastrup, Quantization of the canonically conjugate pair angle and orbital angular momentum, Physical Review A 73.5 (2006): 052104. https://arxiv.org/abs/quant-ph/0510234

In the main text it is mentioned that

There are two typical (generic) examples where the unit circle $S^1$, parametrized by the momentum angle φ ��� R mod 2π, represents the configuration space, whereas the canonically conjugate momentum variable $p_φ$ represents is either a positive real number $p_φ > 0$, i.e. $p_φ ∈ R_+$, or a real number, i.e. $p_φ ∈ R$.

The first case corresponds to the question posed in the OP and is treated in fuller detail in another paper of the author (https://arxiv.org/abs/quant-ph/0307069), the second case corresponds to the situation explicitly mentioned in the title of the paper.

For both cases, the problem and its resolution is well captured in the first part of the abstract of the paper:

The question how to quantize a classical system where an angle φ is one of the basic canonical variables has been controversial since the early days of quantum mechanics. The problem is that the angle is a multivalued or discontinuous variable on the corresponding phase space. The remedy is to replace φ by the smooth periodic functions cos φ and sin φ.

Answer 3

The difficulty arises in trying to impose periodic boundary conditions. We would like to require that $\theta(0) = \theta(L)$, where $L$ is the system length. But since phases are only defined up to multiples of $2 \pi$, we actually only require that $\theta(0) = \theta(L) + 2 \pi n$ for some integer $n$. Therefore, the phase operator can be multivalued, as long as all the different values differ by multiples of $2 \pi$. This makes it difficult to formalize mathematically. Technically, the subtlety with the boundary conditions means that $\theta(x)$ cannot be a "self-adjoint operator." It is Hermitian, but for infinite-dimensional Hilbert spaces, self-adjointness is actually a strictly stronger condition that Hermiticity, and is required for all the nice properties that we'd like (e.g. having only real eigenvalues). The subtle nature of the domain of the $\theta$ operator is the reason why the naive application of the uncertainty relation doesn't work.

For example, we'd like to be able to freely integrate by parts and neglect boundary terms, but the boundary conditions on $\theta$ mean that we need to be careful of the possibility that the boundary term actually contributes a multiple of $2 \pi$. This is because $d\theta$ is an exact but not closed differential form with a nontrivial de Rahm cohomology, which is possible because it is defined on a non-simply-connected real-space manifold.

There's a detailed discussion of these subtleties here. It turns out that while $\theta(x)$ cannot be made into a self-adjoint operator, $\sin(\theta)$ and $\cos(\theta)$ can, so if you only work with those operators than everything more or less works out okay. Here is a shorter and somewhat more elementary discussion of how different self-adjoint operators that extend the same Hermitian operator can lead to the observably different physics.

Answer 4

May I suggest that you start from the Zentralblatt fur Mathematik review Zbl. MATH 981. 81002 by N. P. Landsmann of the book "Mathematical aspects of Weyl quantization and phase". The short answer to your question is that a canonical phase operator does not exist. A number of proposals for non-canonical operators have been made. Most are legitimate operators on the usual Hilbert space but only one (as far as I know) is independent of the amplitude in the classical limit.