# Bosons and Fermions in a rigorous QFT

by kof9595995
Tags: bosons, fermions, rigorous
 P: 679 I'm wondering, is there still a sharp distinction between Bosons and Fermions in a rigorous QFT, if exsits? My question is motivated by the following, consider one of the equations of motion of QED: $$\partial_\nu F^{\nu \mu} = e \bar{\psi} \gamma^\mu \psi$$ In our familiar perturbative QED (Here I'm not 100% sure if I use the word "perturbative" correctly. I simply mean fields are quantized as free fields, and we introduce an interaction built from free fields operators, like an iteration method), LHS is made of Bosonic operators and RHS is made of Fermionic operators, and since the Bosonic sector and Fermionic sector are independent in the total Fock space, perturbative QED fails to satisfy this equation of motion. I suppose if a rigourous QED exists, this equation of motion should be satisfied, but this in turn means the fermion operator and bosonic operator must act on a Hilbert space they share together, then is there still a sharp distinction between Bosons and Fermions?
 Sci Advisor P: 3,564 One of the greater successes of axiomatic QFT was the proof that at least in some quantum field theories bosonic and fermionic behaviour results quite naturally for localized charges. See e.g. the book by R. Haag, Local quantum physics.
 Sci Advisor P: 5,366 The above mentioned field equation cannot be quantized directly b/c it has to be gauge fixed. In A°=0 at least for the time-indep. constraint (the Gauss law) this equaton is implemented on the physical Hilbert space. This does not require any "free field approach".
P: 1,903
Bosons and Fermions in a rigorous QFT

 Quote by kof9595995 [...] LHS is made of Bosonic operators and RHS is made of Fermionic operators, and since the Bosonic sector and Fermionic sector are independent in the total Fock space, perturbative QED fails to satisfy this equation of motion.
The product of two spin-1/2 operators is bosonic (being a superposition of spin-0 and spin-1 in general). (You might want to review Clebsch-Gordan coefficients and associated angular momentum decomposition theory in ordinary QM if you're not already familiar with it.)

 [...] then is there still a sharp distinction between Bosons and Fermions?
Yes, in the sense that there's a superselection rule between them. But when you start forming products, things get more complicated.
 Sci Advisor P: 5,366 Perhaps it makes sense to consider a simple qm example; the problem for the two-dim. harmonic oscillator as a toy model would be $$H_i = \frac{1}{2}p_i^2 + \frac{1}{2}x_i^2 = a_i^\dagger a_i + \frac{1}{2}$$ $$H = H_1 + H_2$$ Now we can easily solve equations like $$(H - N)|N\rangle = 0$$ for some eigenvalues N, but structurally the equation "bosonic operator = fermionic operator" would be something like $$(H - N) = 0$$ and this is obviously not allowed as an operator equation b/c $$(H - N) = 0 \;\Rightarrow\; (H - N)|m,n\rangle = 0 \;\forall m,n \;\Rightarrow\; (m+n+1-N) = 0\;\forall m,n$$ Gauge fixing introduces some additional structures like resolving "unphysical bosonic operators" in terms of fermionic operators via Gauss law, but I still don't see how this is sufficient to resolve the problems for the remaining operator equations. Neverthelesse there should be some solution e.g. for QE´D and QCD where these problems have been treated w/o using perturbation theory.
P: 3,564
 Quote by kof9595995 I suppose if a rigourous QED exists, this equation of motion should be satisfied, but this in turn means the fermion operator and bosonic operator must act on a Hilbert space they share together, then is there still a sharp distinction between Bosons and Fermions?
Is there anybody who believes that a rigorous QED exists?
 Sci Advisor P: 5,366 I don't believe in a rigorous QED ... ... but this problem seems to be trivial and there must be a solution in "standard textbook QED with canonical quantization using Fockspace". I think the subtlety is the regularization of the operator product on the r.h.s. which requires e.g. point splitting with gauge-field insertion (in order not to destroy gauge invariance); this would introduce a gauge field dependency on the r.h.s. whereas the fermionic contribution on the l.h.s. comes from the solution of the Gauss law constraint i.e. A° expressed in terms of fermionic charge density. That means that quantization, gauge fixing and regularization translates the equation "bosonic operator = fermionic operator" into something like "bosonic + fermionic operator = fermionic + bosonic operator" which has a chance to hold as operator equation in terms of standard Fock space creation and annihilation operators. This is of course no rigorous proof but is indispensable already for standard textbook QED.
P: 679
 Quote by DrDu One of the greater successes of axiomatic QFT was the proof that at least in some quantum field theories bosonic and fermionic behaviour results quite naturally for localized charges. See e.g. the book by R. Haag, Local quantum physics.
That sounds quite a long way to go, is there a layman explanation of it?
P: 679
 Quote by tom.stoer I don't believe in a rigorous QED ...
Then what's the underlying theory that makes perturbative QED plausible?
P: 679
 Quote by tom.stoer Neverthelesse there should be some solution e.g. for QE´D and QCD where these problems have been treated w/o using perturbation theory.
Can you give a concrete example? Better a QED example since I'm not familiar with QCD.
 Sci Advisor P: 5,366 My example is described in #7 We must not mix two issues - perturbative QED - Fock space with creation and annihilation operators The latter does not imply perturbation theory
P: 679
 Quote by tom.stoer My example is described in #7 We must not mix two issues - perturbative QED - Fock space with creation and annihilation operators The latter does not imply perturbation theory
Could you elaborate? I have always thought a Fock space only makes sense for perturbation theory, since I would imagine an interaction should destroy the simple direct product structure of different sectors.
P: 3,564
 Quote by kof9595995 That sounds quite a long way to go, is there a layman explanation of it?
It was formulated about 1969 but there are still people working on it. Its an extremely mathematical approach.
See the article by Roberts:
http://kolxo3.tiera.ru/M_Mathematics..._.pdf#page=274
 Sci Advisor HW Helper P: 1,332 A useful perspective on this question is provided by lattice gauge theory. For example, Gauss' law, which is the 0th component of the equation you wrote, is satisfied as an identity on the physical hilbert space. In other words, in the true hilbert space electric field lines can only end where charges are located. Nevertheless, there are many ways to distinguish bosons and fermions. In this model the fermions carry charge while the gauge bosons do not. There are composite operators made of fermions that are bosonic and carry charge, but there is still a fermion number that remains sensible. Of course, this is not to say that there is no blurring of the lines. Bosonization in one dimension is a procedure for exchanging bosons and fermions (and is even relatively rigorous). In higher dimensions one can have solitons built from gauge and bosonic matter degrees of freedom that can carry weird charges and even be fermions.
P: 5,366
 Quote by kof9595995 Could you elaborate? I have always thought a Fock space only makes sense for perturbation theory, since I would imagine an interaction should destroy the simple direct product structure of different sectors.
Of course going beyond perturbation theory is still difficult, but neither impossible nor excluded in principle

$$H = \frac{p^2}{2} + V(x)$$

You can rewrite this as

$$H = \frac{p^2}{2} + \frac{x^2}{2} + \left[V(x) - \frac{x^2}{2}\right] = \frac{p^2}{2} + \frac{x^2}{2} + \tilde{v}(x) = a^\dagger a + \frac{1}{2} + \tilde{u}$$

Now it's up to you to solve this problem exactly or to use perturbation theory in u.

I think it's possible to rewrite a QFT in terms of creation and annihilation operators acting on Fock spaces, but I don't see why a perturbative treatment is mandatory.
P: 3,564
 Quote by tom.stoer Of course going beyond perturbation theory is still difficult, but neither impossible nor excluded in principle Think about a Hamiltonian ...
I don't consider this problem as too representative for the situation in QFT. The main problem in field theory is that the perturbed and free fields live in different Hilbert spaces -- a problem usually absent in ordinary QM.
Superconductivity can be taken as a toy model on how to solve this problem:
The BCS Hamiltonian can be diagonalized introducing new field operators by the Bogoliubov Valatin transformation. The new field operators are also fermionic but describe the interacting particles.
They cannot be obtained perturbationally from the free electron gas.
P: 5,366
 Quote by DrDu The main problem in field theory is that the perturbed and free fields live in different Hilbert spaces ... ... Superconductivity can be taken as a toy model on how to solve this problem: The BCS Hamiltonian can be diagonalized introducing new field operators by the Bogoliubov Valatin transformation. The new field operators are also fermionic but describe the interacting particles. They cannot be obtained perturbationally from the free electron gas.
I never said that.

What I am saying is that one may start with Fock space operators and then use some non-perturbative techniques. Bogoljubov transformation, bosonization, ... are examples. That is more than just a solution, it's a kind of formal re-definition of the theory.

There is no need to use perturbation theory only b/c of Fock space states, neither before nor after Bogoljubov transformation.
P: 679
 Quote by tom.stoer Of course going beyond perturbation theory is still difficult, but neither impossible nor excluded in principle Think about a Hamiltonian $$H = \frac{p^2}{2} + V(x)$$ You can rewrite this as $$H = \frac{p^2}{2} + \frac{x^2}{2} + \left[V(x) - \frac{x^2}{2}\right] = \frac{p^2}{2} + \frac{x^2}{2} + \tilde{v}(x) = a^\dagger a + \frac{1}{2} + \tilde{u}$$ Now it's up to you to solve this problem exactly or to use perturbation theory in u. I think it's possible to rewrite a QFT in terms of creation and annihilation operators acting on Fock spaces, but I don't see why a perturbative treatment is mandatory.
But here if you creat the Hilbert space using creation operators, it might not be the same with the true Hilbert space, then the best you can get is a perturbation theory.

 Related Discussions Advanced Physics Homework 9 Special & General Relativity 21 Quantum Physics 3 Advanced Physics Homework 3 Quantum Physics 3