Bosons and Fermions in a rigorous QFT

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?

 PhysOrg.com physics news on PhysOrg.com >> Iron-platinum alloys could be new-generation hard drives>> Lab sets a new record for creating heralded photons>> Breakthrough calls time on bootleg booze
 Recognitions: Science Advisor 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.
 Recognitions: Science Advisor 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".

Recognitions:

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.

 Recognitions: Science Advisor 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.

Recognitions:
 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?

 Recognitions: Science Advisor 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.

 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?

 Quote by tom.stoer I don't believe in a rigorous QED ...
Then what's the underlying theory that makes perturbative QED plausible?

 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.

 Recognitions: Science Advisor 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

 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.

Recognitions:
 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

 Recognitions: Homework Help Science Advisor 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.

Recognitions:
 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.

Recognitions:
 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.

Recognitions: