Saturday, October 25, 2014

quantum field theory - Connection between "classical" Grassmann variables and Heisenberg Equation of motion


I have been reading di Francesco et al's textbook on Conformal Field theory, and am confused by a particular statement they make on pg 22.



Let {ψi} be a set of Grassmann variables. Starting with the Lagrangian L=i2ψiTij˙ψjV(ψ) they derive the equation ˙ψi=i(T1)ijVψj.


They then claim that you get the same result if you use the Heisenberg equation of motion ˙ψ=i[H,ψ] with H=V(ψ)and{ψi,ψj}+=(T1)ij.


I don't understand how they get from the Heisenberg equation of motion to the desired result. I tried setting V=ψj for a particular j and deriving the result in this particular case, but in trying to compute [ψj,ψi] you'll end up getting extra terms of the form ψiψj which I don't know how to get rid of. Unfortunately the textbook doesn't work this out and leaves this as an exercise to the reader.


On a slightly deeper level, what exactly is meant when we say that Grassmann variables provide a "classical" description of Fermi fields?


Any help/insight would be much appreciated!



Answer





  1. Grassmann-odd variables provide a classical description of Grassmann-odd quantum operators in the same way that Grassmann-even variables provide a classical description of Grassmann-even quantum operators. The classical super-Poisson bracket {ψi,ψj}PB = i(T1)ij is related to the super-commutator1 ˆψiˆψj+ˆψjˆψi = {ˆψi,ˆψj}+ = [ˆψi,ˆψj]SC =  (T1)ij 1 in accordance with the correspondence principle between classical and quantum mechanics, cf. e.g. this Phys.SE post.





  2. The EL equations (2.36) for the Lagrangian (2.32) are precisely the Hamilton's equations ˙ψi  {ψi,H}PB = {ψi,ψj}PBHψj (A)= i(T1)ijHψj. Eq. (2.36b) (which uses units with =1) is the corresponding Heisenberg's EOM idˆψidt  [ˆψi,ˆH]SC, i.e. the quantum version of the classical Hamilton's eqs. (C).




  3. Concerning the Legendre transformation between the Lagrangian and Hamiltonian formulation of Grassmann-odd variables, see e.g. this Phys.SE post and links therein.




--


1 The super-commutator [ˆA,ˆB]SC of two operators ˆA, ˆB (with Grassmann parities |A|, |B|) is defined as [ˆA,ˆB]SC := ˆAˆB(1)|A||B|ˆBˆA.


No comments:

Post a Comment

classical mechanics - Moment of a force about a given axis (Torque) - Scalar or vectorial?

I am studying Statics and saw that: The moment of a force about a given axis (or Torque) is defined by the equation: $M_X = (\vec r \times \...