In QFT; for the quartic-interacting real scalar field ϕ we have the Lagrangian density: L = 12(∂μϕ)(∂μϕ)+12m2ϕ2+λϕ4 For λ=0 we have a free bosonic field - when λ≠0 one way to interpret the interaction term is as the quanta of the field, the bosons, having a 2-body repulsive interaction.
My question is; what is the analog for the above interaction in ordinary Quantum Mechanics?
Suppose I have a particle A with free Hamiltonian HA=p2A2m, whose states span some Hilbert Space H. Take another identical particle B with free Hamiltonian HB=p2B2m. The non-interacting free Hamiltonian for the combined system of the two particles is something like: H = p2A2m⊗IH+IH⊗p2B2m+V(xA,xB)
Is there a potential V(xA,xB) which emulates the λϕ4 interaction from QFT? My naive guess is something along the lines of; V(xA,xB)=λ|xA⊗IH−IH⊗xB|4
Is this correct?
Answer
The transition back to ordinary quantum mechanics is accomplished by working out the way probability amplitudes in the N-particle states evolve with time. When that is done, the particles interact with "contact terms", potentials that are proportional to δ(xi−xj). For details, see the development done in the first chapter of Brian Hatfield's "Quantum Field Theory of Point Particles and Strings".
That said, it is often repeated that ordinary quantum mechanics is just quantum field theory with zero spatial dimensions. Under the mapping implied the ϕ4 theory would become H=p22m+mω22x2+λx4. With a countable number of particles being just a sum by adding indices to p and x.
Transitioning back to continuum mechanics is tricky, and I don't know all of the details for certain (textbooks usually get a little hand-wavy about this path). I can say with confidence, though, that any term that mixes xi→fi√h3 with different indices, where h is the spacing between adjacent sites, will either become a derivative or vanish on the continuum transition. The λ of the discrete theory would have to be remapped by λ→λh−3, for instance, in order to keep the λϕ4 term from vanishing in the limit h→0. All of the mi would have to be the same (say, 1), by Lorentz invariance, and the springs that connect the xi would have to have spring constants that diverge like h−1 in order to produce the spatial derivatives between needed sites. So, the intermediate Hamiltonian is given by H=N∑i,j,k=−N[12p2i,j,kh3+12(fi+1,j,k−fi,j,k)2h2+12(fi,j+1,k−fi,j,k)2h2+12(fi,j,k+1−fi,j,k)2h2=N∑i,j,k=−N +m22f2i,j,kh3+λf4i,j,kh3] and the continuum mechanics are recovered by applying lim.
Note that the transformation where x_i\rightarrow f_i\sqrt{h^3} and p_i\rightarrow p_i\sqrt{h^3} is not a canonical change of variables. Starting from the Lagrangian it is straightforward to show from canonically conjugate momentum's definition that p_i would transform as p_i \rightarrow p_i h^{-3/2} if it were. What's going on here is that, in order to get a clean Hamiltonian that becomes an integral of a density, we need to modify the canonical commutation relation to read [f_{i,j,k},\, p_{n,\ell,m}] = i\hbar \delta_{in}\delta_{j\ell}\delta_{km} h^{-3}, where the right hand side now actually becomes a Dirac delta function in the continuum limit, instead of just saying that Kronecker deltas become Dirac deltas.
All of that said, there's a reason that the usual transition back to ordinary QM mentioned in the first paragraph is so convoluted. In ordinary QM x is the observable position of some particle. In QFT the positions of particles are still the fundamental observables, it's just that now the particles are described as excitations in a field. The field strength is not directly observable, though, it can just be inferred on average when it is strong enough to not be significantly disturbed by the injection of multiple small test particles that we measure the positions of.
No comments:
Post a Comment