Saturday, 22 October 2016

quantum field theory - Classical Fermion and Grassmann number


In the theory of relativistic wave equations, we derive the Dirac equation and Klein-Gordon equation by using representation theory of Poincare algebra.


For example, in this paper


http://arxiv.org/abs/0809.4942


the Dirac equation in momentum space (equation [52], [57] and [58]) can be derived from the 1-particle state of irreducible unitary representation of the Poincare algebra (equation [18] and [19]). The ordinary wave function in position space is its Fourier transform (equation [53], [62] and [65]).



Note at this stage, this Dirac equation is simply a classical wave equation. i.e. its solutions are classical Dirac 4-spinors, which take values in C2C2.


If we regard the Dirac waves ψ(x) and ˉψ(x) as a 'classical fields', then the quantized Dirac fields are obtained by promoting them into fermionic harmonic oscillators.


What I do not understand is that when we are doing the path-integral quantization of Dirac fields, we are, in fact, treating ψ and ˉψ as Grassmann numbers, which are counter-intuitive for me. As far as I understand, we do path-integral by summing over all 'classical fields'. While the 'classical Dirac wave ψ(x)' we derived in the beginning are simply 4-spinors living in C2C2. How can they be treated as Grassmann numbers instead?


As I see it, physicists are trying to construct a 'classical analogue' of Fermions that are purely quantum objects. For instance, if we start from a quantum anti-commutators


[ψ,ψ]+=i1and[ψ,ψ]+=[ψ,ψ]+=0,


then we can obtain the Grassmann numbers in the classical limit 0. This is how I used to understand the Grassmann numbers. The problem is that if the Grassmann numbers are indeed a sort of classical limit of anticommuting operators in Hilbert space, then the limit 0 itself does not make any sense from a physical point of view since in this limit 0, the spin observables vanish totally and what we obtain then would be a 0, which is a trivial theory.


Please tell me how exactly the quantum Fermions are related to Grassmann numbers.



Answer







  1. First of all, recall that a super-Lie bracket [,]LB (such as, e.g., a super-Poisson bracket {,} & the super-commutator [,]), satisfies super-antisymmetry [f,g]LB = (1)|f||g|[g,f]LB, and the super-Jacobi identity cycl. f,g,h(1)|f||h|[[f,g]LB,h]LB = 0. Here |f| denotes the Grassmann-parity of the super-Lie algebra element f. Concerning supernumbers, see also e.g. this Phys.SE post and links therein.




  2. In order to ensure that the Hilbert space has no negative norm states and that the vacuum state has no negative-energy excitations, the Dirac field should be quantized with anticommutation relations [ˆψα(x,t),ˆψβ(y,t)]+ = δαβ δ3(xy)ˆ1 = [ˆψα(x,t),ˆψβ(y,t)]+, [ˆψα(x,t),ˆψβ(y,t)]+ = 0,[ˆψα(x,t),ˆψβ(y,t)]+ = 0, rather than with commutation relations, cf. e.g. Ref. 1 and this Phys.SE post.




  3. According to the correspondence principle between quantum and classical physics, the supercommutator is i times the super-Poisson bracket (up to possible higher -corrections), cf. e.g. this Phys.SE post. Therefore the corresponding fundamental super-Poisson brackets read1
    {ψα(x,t),ψβ(y,t)} = iδαβ δ3(xy) = {ψα(x,t),ψβ(y,t)}, {ψα(x,t),ψβ(y,t)} = 0,{ψα(x,t),ψβ(y,t)} = 0.





  4. Comparing eqs. (1), (3) & (4), it becomes clear that the Dirac field is Grassmann-odd, both as an operator-valued quantum field ˆψα and as a supernumber-valued classical field ψα.




  5. It is interesting that the free Dirac Lagrangian density2 L = ˉψ(i2m)ψ is (i) real, and (ii) its Euler-Lagrange (EL) equation is the Dirac equation3
    (im)ψ  0, irrespectively of the Grassmann-parity of ψ!




  6. The Dirac equation (6) itself is linear in ψ, and hence agnostic to the Grassmann-parity of ψ.





References:




  1. M.E. Peskin & D.V. Schroeder, An Intro to QFT; Section 3.5.




  2. H. Arodz & L. Hadasz, Lectures on Classical and Quantum Theory of Fields, Section 6.2.





--


1 In this answer, we are for simplicity just considering dequantization, i.e. going from a quantum system to a classical system. Normally in physics, one is faced with the opposite problem: quantization. Given the Lagrangian density (5), one could (as a first step in quantization) find the Hamiltonian formulation via the Dirac-Bergmann recipe or the Faddeev-Jackiw method. The Dirac-Bergmann procedure leads to second class constraints. The resulting Dirac bracket becomes eq. (4). The Faddeev-Jackiw method leads to the same result (4). For more details, see also this Phys.SE post and links therein.


2 The variables ψα and ˉψα are not independent of ψα, cf. this Phys.SE post and links therein. We disagree with the sentence "Let us stress that ψα, ˉψα are independent generating elements of a complex Grassmann algebra" in Ref. 2 on p. 130.


3 Conventions. In this answer, we will use (+,,,) Minkowski sign convention, and Clifford algebra


{γμ,γν}+ = 2ημν14×4. Moreover, ˉψ = ψγ0,(γμ) = γ0γμγ0,(γ0)2 = 1. The Hermitian adjoint of a product ˆAˆB of two operators ˆA and ˆB reverses the order, i.e. (ˆAˆB) = ˆBˆA. The complex conjugation of a product zw of two supernumbers z and w reverses the order, i.e. (zw) = wz.


No comments:

Post a Comment

Understanding Stagnation point in pitot fluid

What is stagnation point in fluid mechanics. At the open end of the pitot tube the velocity of the fluid becomes zero.But that should result...