Abstract
We present the relativistic particle model without Grassmann variables which, being canonically quantized, leads to the Dirac equation. Classical dynamics of the model is in correspondence with the dynamics of mean values of the corresponding operators in the Dirac theory. Classical equations for the spin tensor are the same as those of the Barut-Zanghi model of spinning particle.
1. Discussion: Nonrelativistic Spin
Starting from the classical works [1–6], a lot of efforts have been spent in attempts to understand behaviour of a particle with spin on the base of semiclassical mechanical models [7–24].
In the course of canonical quantization of a given classical theory, one associates Hermitian operators with classical variables. Let stands for the basic phase-space variables that describe the classical system, and is the corresponding classical bracket. (It is the Poisson (Dirac) bracket in the theory without (with) second-class constraints.) According to the Dirac quantization paradigm [3], the operators must be chosen to obey the quantization rule In this equation, we take commutator (anticommutator) of the operators for the antisymmetric (symmetric) classical bracket. Antisymmetric (symmetric) classical bracket arises in the classical mechanics of even (odd = Grassmann) variables.
Since the quantum theory of spin is known (it is given by the Pauli (Dirac) equation for nonrelativistic (relativistic) case), search for the corresponding semiclassical model represents the inverse task to those of canonical quantization: we look for the classical-mechanics system whose classical bracket obeys (1.1) for the known left-hand side. Components of the nonrelativistic spin operator ( are the Pauli matrices (1.5)) form a simple algebra with respect to commutator as well as to anticommutator So, the operators can be produced starting from a classical model based on either even or odd spin-space variables.
In their pioneer work [13, 14], Berezin and Marinov have constructed the model based on the odd variables and showed that it gives very economic scheme for semiclassical description of both nonrelativistic and relativistic spin. Their prescription can be shortly resumed as follows. For nonrelativistic spin, the noninteracting Lagrangian reads , where the spin inner space is constructed from vector-like Grassmann variables , . Since the Lagrangian is linear on , their conjugate momenta coincide with , . The relations represent the Dirac second-class constraints and are taken into account by transition from the odd Poisson bracket to the Dirac one, the latter reads Dealing with the Dirac bracket, one can resolve the constraints, excluding the momenta from consideration. So, there are only three spin variables with the desired brackets (1.4). According to (1.1), (1.4), and (1.3), canonical quantization is performed replacing the variables by the spin operators proportional to the Pauli -matrices, , , acting on two-dimensional spinor space . Canonical quantization of the particle on an external electromagnetic background leads to the Pauli equation It has been denoted that , is the four-vector potential of electromagnetic field, and the magnetic field is , where represents the totally antisymmetric tensor with . Relativistic spin is described in a similar way [13, 14].
The problem here is that the Grassmann classical mechanics represents a rather formal mathematical construction. It leads to certain difficulties [13, 14, 17] in attempts to use it for description the spin effects on the semiclassical level, before the quantization. Hence it would be interesting to describe spin on a base of usual variables. While the problem has a long history (see [7–15] and references therein), there appears to be no wholly satisfactory solution to date. It seems to be surprisingly difficult [15] to construct, in a systematic way, a consistent model that would lead to the Dirac equation in the the course of canonical quantization. It is the aim of this work to construct an example of mechanical model for the Dirac equation.
To describe the nonrelativistic spin by commuting variables, we need to construct a mechanical model which implies the commutator (even) operator algebra (1.2) instead of the anticommutator one (1.3). It has been achieved in the recent work [18] starting from the Lagrangian The configuration-space variables are , , , . Here represents the spatial coordinates of the particle with the mass and the charge , are the spin-space coordinates, , are the auxiliary variables and . Second and third terms in (1.7) represent minimal interaction with the vector potential , of an external electromagnetic field, while the fourth term contains interaction of spin with a magnetic field. At the end, it produces the Pauli term in quantum mechanical Hamiltonian.
The Dirac constraints presented in the model imply [18] that spin lives on two-dimensional surface of six-dimensional spin phase space , . The surface can be parameterized by the angular-momentum coordinates , subject to the condition . They obey the classical brackets . Hence we quantize them according the rule .
The model leads to reasonable picture both on classical and quantum levels. The classical dynamics is governed by the Lagrangian equations It has been denoted that . Since , the -term disappears from (1.8) in the classical limit . Then (1.8) reproduces the classical motion on an external electromagnetic field. Notice also that in absence of interaction, the spinning particle does not experience an undesirable Zitterbewegung. Equation (1.9) describes the classical spin precession in an external magnetic field. On the other hand, canonical quantization of the model immediately produces the Pauli equation (1.6).
Below, we generalize this scheme to the relativistic case, taking angular-momentum variables as the basic coordinates of the spin space. On this base, we construct the relativistic-invariant classical mechanics that produces the Dirac equation after the canonical quantization, and briefly discuss its classical dynamics.
2. Algebraic Construction of the Relativistic Spin Space
We start from the model-independent construction of the relativistic-spin space. Relativistic equation for the spin precession can be obtained including the three-dimensional spin vector (1.2) either into the Frenkel tensor , , or into the Bargmann-Michel-Telegdi four-vector (The conditions and guarantee that in the rest frame survive only three components of these quantities, which implies the right nonrelativistic limit). , , where represents four-velocity of the particle. Unfortunately, the semiclassical models based on these schemes do not lead to a reasonable quantum theory, as they do not produce the Dirac equation through the canonical quantization. We now motivate that it can be achieved in the formulation that implies inclusion of into the angular-momentum tensor of five-dimensional Minkowski space , .
In the passage from nonrelativistic to relativistic spin, we replace the Pauli equation by the Dirac one where . We use the representation with Hermitian and anti-Hermitian then , , and , are the Dirac matrices [3] , We take the classical counterparts of the operators and in the standard way, which are , , with the Poisson brackets .
Let us discuss the classical variables that could produce the -matrices. To this aim, we first study their commutators. The commutators of do not form closed Lie algebra, but produce -Lorentz generators where it has been denoted . The set , form closed algebra. Besides the commutator (2.4), one has The algebra (2.4), (2.5) can be identified with the five-dimensional Lorentz algebra with generators assuming , .
To reach the algebra starting from a classical-mechanics model, we introduce ten-dimensional “phase” space of the spin degrees of freedom, , , equipped with the Poisson bracket Then Poisson brackets of the quantities read Below we use the decompositions
The Jacobian of the transformation has rank equal seven. So, only seven among ten functions , , are independent quantities. They can be separated as follows. By construction, the quantities (2.8) obey the identity that is, the three-vector can be presented through , as Further, -space can be parameterized by the coordinates , , , , . We can not yet quantize the variables since it would lead to the appearance of some operators , , , which are not presented in the Dirac theory and are not necessary for description of spin. To avoid the problem, we kill the variables , , , restricting our model to live on seven-dimensional surface of ten-dimensional phase space , . The only quadratic invariants that can be constructed from are , , . We choose conventionally the surface determined by the equations. The quantities , form a coordinate system of the spin-space surface. So, we can quantize them instead of the initial variables , .
According to (1.1), (2.6), (2.9), quantization is achieved replacing the classical variables , on -matrices It implies, that the Dirac equation can be produced by the constraint (we restate that )
Summing up, to describe the relativistic spin, we need a theory that implies the Dirac constraints (2.13), (2.14), (2.16) in the Hamiltonian formulation.
3. Dynamical Realization
One possible dynamical realization of the construction presented above is given by the following Poincare-invariant Lagrangian written on the configuration space , , , , , where , are the auxiliary variables. The variables , , are scalars under the Poincare transformations. The remaining variables transform according to the rule Local symmetries of the theory form the two-parameter group composed by the reparametrizations as well as by the local transformations with the parameter (below we have denoted ) The local symmetries guarantee appearance of the first-class constraints (2.13), (2.16).
Curiously enough, the action can be rewritten in almost five-dimensional form. Indeed, after the change , where , , , it reads where the covariant derivative is (The change is an example of conversion of the second-class constraints in the Lagrangian formulation [25]).
Canonical Quantization
In the Hamiltonian formalism, the action implies the desired constraints (2.13), (2.14), (2.16). The constraints (2.13), (2.14) can be taken into account by transition from the Poisson to the Dirac bracket, and after that they are omitted from the consideration [17, 26]. The first-class constraint (2.16) is imposed on the state vector and produces the Dirac equation. In the result, canonical quantization of the model leads to the desired quantum picture.
We now discuss some properties of the classical theory and confirm that they are in correspondence with semiclassical limit [3, 27, 28] of the Dirac equation.
Equations of Motion
The auxiliary variables , can be omitted from consideration after the partial fixation of a gauge. After that, Hamiltonian of the model reads
Since , are not -invariant variables, their equations of motion have no much sense. So, we write the equations of motion for -invariant quantities , , ,
They imply
In three-dimensional notations, the equation (3.8) read
Relativistic Invariance
While the canonical momentum of is given by , the mechanical momentum, according to (3.7), coincides with the variables that turn into the -matrices in quantum theory, . Due to the constraints (2.13), (2.14), obeys , which is analogy of of the spinless particle. As a consequence, cannot exceed the speed of light, . Equations (3.10), (3.11) mean that both -particle and the variables , experience the Zitterbewegung in noninteracting theory.
Center-of-Charge Rest Frame
Identifying the variables with position of the charge, (3.7) implies that the rest frame is characterized by the conditions
According to (3.12), (2.12), only survives in the nonrelativistic limit.
The Variables Free of Zitterbewegung
The quantity (center-of-mass coordinate [7]) obeys , so, it has the free dynamics . Note also that represents the mechanical momentum of -particle.
As the classical four-dimensional spin vector, let us take . It has no precession in the free theory, . In the rest frame, it reduces to , .
Comparison with the Barut-Zanghi (BZ) Model
The BZ spinning particle [16] is widely used [19–24] for semiclassical analysis of spin effects. Starting from the even variable , where is -spinor index, Barut and Zanghi have constructed the spin-tensor according to . We point out that (3.7)–(3.9) of our model coincide with those of BZ-model, identifying , . Besides, our model implies the equations . The first equation guarantees that the center of charge cannot exceed the speed of light. The second equation implies the Dirac equation. (In the BZ theory [16], the mass of the spinning particle is not fixed from the model.)
Acknowledgment
This work has been supported by the Brazilian foundation FAPEMIG.