1. Introduction
Let us start with Heisenberg’s commutation relations
with
where
corresponds to the
coordinates respectively.
With these
and
, we can construct the following three operators,
These three operators satisfy the closed set of commutation relations:
These operators generate rotations in the three-dimensional space. In mathematics, this set is called the Lie algebra of the rotation group. This is a direct consequence of Heisenberg’s commutation relations.
In quantum mechanics, each corresponds to the angular momentum along the i direction. A remarkable fact is that it is also possible to construct the same Lie algebra with two-by-two matrices. These matrices are of course the Pauli spin matrices, leading to the observable angular momentum not seen in classical mechanics.
As the expression shows in Equation (
2), each
generates a translation along the
direction. Thus, the three translation generators, together with the three rotation generators constitute the Lie algebra of the Galilei group, with the additional commutation relations:
This set of commutation relations together with those of Equation (
4) constitute a closed set for both
and
. This set is called the Lie algebra of the Galilei group. This group is the basic symmetry group for the Schrödinger or non-relativistic quantum mechanics.
In the Schrödinger picture, the generator
corresponds to the particle momentum along the
i direction. In addition, the time translation operator is
This corresponds to the energy variable.
Let us go to the Lorentzian world. Here we have to take into account the generators of the boosts. The generators thus include the time variable, and the generator of boosts along the
i direction is
These generators satisfy the commutation relations
Thus, these three boost generators alone cannot constitute a closed set of commutation relations (Lie algebra).
With
, these boost generators satisfy
With
, they satisfy the relation
Thus, the commutation relations of Equations (
4),(
5),(
8–
10) constitute a closed set of the ten generators. This closed set is commonly called the Lie algebra of the Poincaré symmetry.
The three rotation and three translation generators are contained in, or are derivable from, Heisenberg’s commutation relations, and the time translation operator is seen in the Schrödinger equation. They are all Hermitian operators corresponding to dynamical variables. On the other hand, the three boost generators of Equation (
7) are not derivable from the Heisenberg relations. Furthermore, they do not appear to correspond to observable quantities [
1].
The purpose of this paper is to show that the Lie algebra of the Poincaré symmetry is derivable from the Heisenberg commutation relations. For this purpose, we first examine the symmetry of the Heisenberg commutation relation using the Wigner function in the phase space. It is noted that the single-variable relation contains the symmetry of the Lorentz group applicable to two space-like and one time-like dimensions.
As Dirac noted in 1963 [
2], two coupled oscillators lead to the symmetry of the
or the Lorentz group applicable to the three space-like directions and two time-like directions. As is illustrated in
Figure 1, it is possible to contract one of those two time variables of this
group into the inhomogeneous Lorentz group, consisting of the Lorentz group applicable to the three space-like dimensions and one time-like direction, plus four translation generators corresponding to the energy-momentum four-vector. This of course leads to Einstein’s energy–momentum relation of
.
In
Section 2, it is noted that the best way to study the symmetry of the Heisenberg commutation relation is to use the Wigner function for the Gaussian function for the oscillator state. In the Wigner phase space, this function contains the symmetry for the Lorentz group applicable to two space-like dimensions and one time-like dimension. This group has three generators. This operation is equivalent to constructing a two-by-two block-diagonal Hermitian matrix with quadratic forms of the step-up and step-down operators.
In
Section 3, we consider two oscillators. If these oscillators are independent, it is possible to construct a four-by-four block diagonal matrix, where each block consists of the two-by-two matrix for each operator defined in
Section 2. Since the oscillators are uncoupled, this four-by-four block-diagonal Hermitian matrix contains six independent generators.
If the oscillators are coupled, then to keep the overall four-by-four block-diagonal matrix Hermitian, we need one off-diagonal block matrix, with four independent quadratic forms. Thus, the overall four-by-four matrix contains ten independent quadratic forms of the creation and annihilation operators.
It is shown that these ten independent generators can be linearly combined into the ten generators constructed by Dirac for the the Lorentz group applicable to three space-like dimensions and two time-like dimensions, commonly called the group.
In
Section 4, using the boosts belonging to one of its time-like dimensions, we contract
to produce the Lorentz group applicable to one time dimension and four translations leading to the four-momentum. This Lorentz-covariant four-momentum is commonly known as Einstein’s
.
This paper is essentially based on Dirac’s paper published in 1949 and 1963 [
1,
2]. As is illustrated in
Figure 2, we show here that the space-time symmetry of quantum mechanics mentioned in his 1949 paper is derivable from his two-oscillator system discussed in 1963. The route is the group contraction procedure of Inönü and Wigner [
3].
Indeed, from 1927 Dirac made lifelong efforts to synthesize quantum mechanics and special relativity [
4]. In 1949 and before, he treated quantum mechanics and special relativity as two separate scientific disciplines, and then in 1949 he attempted to synthesize them. Thus, it is of interest to see how Dirac’s ideas evolved during the period 1929–1949. We shall give a brief review of Dirac’s efforts during the period in
Appendix A.
2. Symmetries of the Single-Mode States
Heisenberg’s uncertainty relation for a single Cartesian variable takes the form
with
Very often, it is more convenient to use the operators
with
This aspect is well known.
The representation based on a and is known as the harmonic oscillator representation of the uncertainty relation and is the basic language for the Fock space for particle numbers. This representation is therefore the basic language for quantum optics.
Let us next consider the quadratic forms:
, and
. Then the linear combination
according to the uncertainty relation. Thus, there are three independent quadratic forms, and we are led to the following two-by-two matrix:
This matrix leads to the following three independent operators:
They produce the following set of closed commutation relations:
This set is commonly called the Lie algebra of the group, locally isomorphic to the Lorentz group applicable to one time and two space coordinates.
The best way to study the symmetry property of these operators is to use the Wigner function for the ground-state oscillator which takes the form [
5,
6,
7,
8]
This distribution is concentrated in the circular region around the origin. Let us define the circle as
We can use the area of this circle in the phase space of
x and
p as the minimum uncertainty. This uncertainty is preserved under rotations in the phase space and also under squeezing. These transformations can be written as
respectively. The rotation and the squeeze are generated by
If we take the commutation relation with these two operators, the result is
with
Indeed, as before, these three generators form the closed set of commutation which form the Lie algebra of the
group, isomorphic to the Lorentz group applicable to two space and one time dimensions. This isomorphic correspondence is illustrated in
Figure 3.
Let us consider the Minkowski space of
. It is possible to write three four-by-four matrices satisfying the Lie algebra of Equation (
17). The three four-by-four matrices satisfying this set of commutation relations are:
However, these matrices have null second rows and null second columns. Thus, they can generate Lorentz transformations applicable only to the three-dimensional space of , while the y variable remains invariant. Thus, this single-oscillator system cannot describe what happens in the full four-dimensional Minkowski space.
Yet, it is interesting that the oscillator system can produce three different representations sharing the same Lie algebra with the (2 + 1)-dimensional Lorentz group, as shown in
Table 1.
3. Symmetries from Two Oscillators
In order to generate Lorentz transformations applicable to the full Minkowskian space, we may need two Heisenberg commutation relations. Indeed, Paul A. M. Dirac started this program in 1963 [
2]. It is possible to write the two uncertainty relations using two harmonic oscillators as
with
and
where
i and
j could be 1 or 2.
As in the case of the two-by-two matrix given in Equation (
15), we can consider the following four-by-four block-diagonal matrix if the oscillators are not coupled:
There are six generators in this matrix.
We are now interested in coupling them by filling in the off-diagonal blocks. The most general forms for this block are the following two-by-two matrix and its Hermitian conjugate:
with four independent generators. This leads to the following four-by-four matrix with ten (6 + 4) generators:
With these ten elements, we can now construct the following four rotation-like generators:
and six squeeze-like generators:
and
There are now ten operators from Equations (
31)–(
33), and they satisfy the following Lie algebra as was noted by Dirac in 1963 [
2]:
Dirac noted that this set is the same as the Lie algebra for the de Sitter group, with ten generators. This is the Lorentz group applicable to the three-dimensional space with two time variables. This group plays a very important role in space-time symmetries.
In the same paper, Dirac pointed out that this set of commutation relations serves as the Lie algebra for the four-dimensional symplectic group commonly called
. For a dynamical system consisting of two pairs of canonical variables
and
, we can use the four-dimensional phase space with the coordinate variables defined as [
9]
Then the four-by-four transformation matrix
M applicable to this four-component vector is canonical if [
10,
11]
where
is the transpose of the
M matrix, with
which we can write in the block-diagonal form as
where
I is the unit two-by-two matrix.
According to this form of the J matrix, the area of the phase space for the and variables remains invariant, and the story is the same for the phase space of and
We can then write the generators of the
group as [
12]
and
Among these ten matrices, six of them are in block-diagonal form. They are
and
In the language of two harmonic oscillators, these generators do not mix up the first and second oscillators. There are six of them because each operator has three generators for its own
symmetry. These generators, together with those in the oscillator representation, are tabulated in
Table 2.
The off-diagonal matrix
couples the first and second oscillators without changing the overall volume of the four-dimensional phase space. However, in order to construct the closed set of commutation relations, we need the three additional generators:
and
The commutation relations given in Equations (
34) are clearly consequences of Heisenberg’s uncertainty relations.
As for the
group, the generators are five-by-five matrices, applicable to
, where
t and
s are time-like variables. These matrices can be written as
Next, we are interested in eliminating all the elements in the fifth row. The six generators
and
are not affected by this operation, but
and
become
respectively. While
and
generate Lorentz transformations on the four dimensional Minkowski space, these
and
in the form of the
matrices generate translations along the
and
t directions respectively. We shall study this aspect in detail in
Section 4.
4. Contraction of to the Inhomogeneous Lorentz Group
We can contract
according to the procedure introduced by Inönü and Wigner [
3]. They introduced the procedure for transforming the four-dimensional Lorentz group into the three-dimensional Galilei group. Here, we shall contract the boost generators belonging to the time-like
s variable,
, along with the rotation generator between the two time-like variables,
.
Here, we illustrate the Inönü-Wigner procedure using the concept of squeeze transformations. For this purpose, let us introduce the squeeze matrix
This matrix commutes with and . The story is different for and .
For
,
which, in the limit of small
, becomes
We then make the inverse squeeze transformation:
Thus, we can write this contraction procedure as
where the explicit five-by-five matrix is given in Equation (
42). Likewise
These four contracted generators lead to the five-by-five transformation matrix, as can be seen from
performing translations in the four-dimensional Minkowski space:
In this way, the space-like directions are translated and the time-like
t component is shortened by an amount
d. This means the group
derivable from the Heisenberg’s uncertainty relations becomes the inhomogeneous Lorentz group governing the Poincaré symmetry for quantum mechanics and quantum field theory. These matrices correspond to the differential operators
respectively. These translation generators correspond to the Lorentz-covariant four-momentum variable with
This energy-momentum relation is widely known as Einstein’s .
5. Concluding Remarks
According to Dirac [
1], the problem of finding a Lorentz-covariant quantum mechanics reduces to the problem of finding a representation of the inhomogeneous Lorentz group. Again, according to Dirac [
2], it is possible to construct the Lie algebra of the group
starting from two oscillators. We have shown in our earlier paper [
12] that this
group can be contracted to the inhomogeneous Lorentz group according to the group contraction procedure introduced by Inönü and Wigner [
3].
In this paper, we noted first that the symmetry of a single oscillator is generated by three generators. Two independent oscillators thus have six generators. We have shown that there are four additional generators needed for the coupling of the two oscillators. Thus there are ten generators. These ten generators can then be linearly combined to produce ten generators which were spelled out in Dirac’s 1963 paper.
For the two-oscillator system, there are four step-up and step-down operators. There are therefore sixteen quadratic forms [
9]. Among those, only ten of them are in Dirac’s 1963 paper [
2]. Why ten? Dirac needed those ten to construct the Lie algebra for the
group. At the end of the same paper, he stated that this Lie algebra is the same as that for the
group, which preserves the minimum uncertainty for each oscillator.
In this paper, we started with the block-diagonal matrix given in Equation (
28) for two totally independent oscillators with six independent generators. We then added one two-by-two Hermitian matrix of Equation (
29) with four generators for the off-diagonal blocks. The result is the four-by-four Hermitian matrix given in Equation (
30). This four-by-four Hermitian matrix has ten independent operators which can be linearly combined to the ten operators chosen by Dirac. Thus, in this paper, we have shown how the two-oscillators are coupled, and how this coupling introduces additional symmetries.
Paul A. M. Dirac made life-long efforts to make quantum mechanics consistent with special relativity, starting from 1927 [
4]. While we exploited the contents of his paper published in 1963 [
2], it is of interest to review his earlier efforts. In his earlier papers, Dirac started with quantum mechanics and special relativity as two different branches of science based on two different mathematical bases.
In this paper, based on Dirac’s two papers [
1,
2], we concluded that both quantum mechanics and special relativity can be derived from the same mathematical base. A brief review of Dirac’s earlier efforts is given in
Appendix A.