Register to reply 
Rigorous Quantum Field Theory. 
Share this thread: 
#55
Nov1809, 03:07 AM

Emeritus
Sci Advisor
PF Gold
P: 9,355

To me this suggests that particles are at best an approximate concept that can be useful in situations where gravity can be neglected and the interactions are weak. 


#56
Nov1809, 04:48 AM

P: 1,160

In fact they are well observable and they posses the features furnished by us coming from the experimental data. I see the only reasonable way to understand it without uneasiness: to consider the usual decoupled Dirac and Maxwell equations (free equations) as equations describing subsystems of one compound system, i.e., the equations describing dynamics of separated variables. If so, they stay decoupled if there is no external force or presence of another charge. Their solutions (or variables) get into equations of other charges as "external" ones, i.e., the free equation solutions (or better, variables) are observable in this way. In other words, we have to introduce the interaction between different charges rather than between a charge and its own filed. Such a theory construction is free from selfaction and full of physical meaning. It can be constructed in a rigorous way and it will be a rigorous QFT with everything physically meaningful and mathematically well defined from the very beginning. There is no problem with an infinite number of excitation modes here since they carry finite energy and do not contribute to (modify perturbatively) masses and charges. The other understanding is logically inconsistent and mathematically questionable, IMHO. We all are looking forward to seeing a rigorous QFT from DarMM. 


#57
Nov1809, 09:21 AM

P: 90

strangerep > Rigorous QFT is pretty much a very mathematical topic. One does not care as much about eventual physical end results (those have been widely tested) as much as, say, proving that you can exchange a limit with an integral when doing it leads to a physical result that agrees with experiment. Or understanding if the perturbation series converges or not (it doesn't). Or figuring out the commonalities of physical states (widely believed to be the so called "Hadamard states"). Also, tring to construct representations of the CCR algebra. Or justifying the use of the GellMann & Low formula in perturbation theory  when and for what models one can use it. And it also includes much more technical results like showing that the "relativistic KMS condition is indeed satisfied by the 2point function of an interacting scalar theory in 2D with polynomial interaction." And so on. Think about mathematicians and what they do and then let them work in QFT. In a sense, that's an accurate picture. And of course, the grand goal of Rigorous QFT is to construct an interacting field theory in 4D. For a better idea of RQFT check out the work of people like Glimm, Jaffe, Buchholz, Borchers, Jost, Wightman, Haag, Wald, Kay, Roberts and a million of others related to them. I think Jaffe has some short descriptive paper about RQFT on his webpage.
And thanks for the reference! meopemuk > The creation/annihilation operators for a free and an interacting theory are different. For free theory they are time independent whereas in the interacting case they depend on time. (See book by Srednicki, chapter 5) Also, the "infinite degrees of freedom" do not refer to the number of particles but to the fact that you have an infinite numer of harmonic oscillators, i.e. one at each point in spacetime. Renormalization is not an open fundamental issue in QFT  it is mathematically well understood. Why is this so difficult to accept? Bob_for_short > "Noninteracting" particles are not observable. The very fact that they can be observed means they are interacting. No interaction = no observation. In fact, free particles as described by free fields simply do not exist. At least we don't have any evidence that they do. Mathematical free fields are another story. Rigorous QFT is a MATHEMATICAL subject. And as such, it has its axioms (the Wightman axioms or, alternatively, the Haag  Kastler axioms) and draws consequences from them. Using various different mathematical techniques. Loosely speaking, one could say that RQFT is the part of functoinal analysis with the Wightman axioms on top. Or the part of Operator Algebras with the HaagKastler axioms on top. Loads of theorems and even more hard core maths. And NONE of the popular QFT books is mathematically rigorous. And this includes Peskin&Schroeder, Srednicki and Weinberg as well. If you don't believe me, email them and ask them. 


#58
Nov1809, 09:50 AM

P: 1,160

(A "selfinteracting" particle is probably "selfobservable"?) By the way, why they (mathematicians) call the Dirac deltafunction a "distribution" rather than a "concentrution"? 


#59
Nov1809, 01:39 PM

P: 1,746

[tex] a^{dag}_{free}(p,t) = \exp(iH_0t)a^{dag}(p,0) \exp(iH_0t) [/tex] [tex] a^{dag}_{int}(p,t) = \exp(iHt)a^{dag}(p,0) \exp(iHt) [/tex] where [itex]H_0[/itex] and [itex]H[/itex] are the free and interacting Hamiltonians, respectively. At time 0 both sets of creation operators reduce to [itex] a^{dag}(p,0) [/itex], i.e., they coincide. At nonzero times the free and interacting creation operators can be expressed as linear combinations of (products of) each other. Both these sets act in the same Fock space. If you agree with these descriptions, then there is nothing to argue about. 


#60
Nov1809, 02:27 PM

P: 1,160

Usually they say that IR and UV divergences are of different nature. I agree with it in a very narrow sense: with very massive photons one can obtain nonzero elastic Smatrix elements. But in my opinion both divergences are removed from QED at one stroke with correct description of interaction physics. 


#61
Nov1809, 06:36 PM

Sci Advisor
P: 1,918

as a consequence of infinite degrees of freedom still lurk here, just as they lurk in "QFT1". 


#62
Nov1809, 06:44 PM

P: 1,746




#63
Nov1809, 07:18 PM

Sci Advisor
P: 1,918

operatorvalued distributions. Hence fields constructed as linear combinations of them are also operatorvalued distributions. Hence QFT2 suffers exactly the same "illdefined equalpoint multiplication of distributions" mathematical problem as QFT1. 


#64
Nov1809, 07:51 PM

P: 1,746




#65
Nov1909, 04:04 AM

P: 1,160

I think Strangerep speaks of loops in practical calculations, not of something different.
I would say the loop expressions are not "illdefined" but simply divergent. There are many "cutoff" approaches to make them temporarily finite but they are just infinite as they should be. 


#66
Nov1909, 04:39 AM

Sci Advisor
P: 303

Okay, here is a model which is exactly solvable nonperturbatively and is under complete analytic control. Also virtually every aspect of this model is understood mathematically.
Now in the is model, the field does not transform covariantly. The reason I'm using the model is to show that even with this property removed there are still different Hilbert spaces. Firstly, the model is commonly known as the external field problem. It involves a massive scalar quantum field interacting with an external static field. The equations of motion are: [tex]\left( \Box + m^{2} \right)\phi\left(x\right) = gj\left(x\right)[/tex] Now I'm actually going to start from what meopemuk calls "QFT2". The Hamiltonian of the free theory is given by: [tex]H = \int{dk \omega(k)a^{*}(k)a(k)}[/tex] Where [tex]a^{*}(k)[/tex],[tex]a(k)[/tex] are the creation and annihilation operators for the Fock space particles. In order for this to describe the local interactions with an external source, I would modify the Hamiltonian to be: [tex]H = \int{dk \omega(k)a^{*}(k)a(k)} + \frac{g}{(2\pi)^{3/2}}\int{dk\frac{\left[a^{*}(k) + a(k)\right]}{\sqrt{2}\omega(k)^{1/2}}\tilde{j}(k)}[/tex] So far, so good. Now the normal mode creation and annihilation operators for this Hamiltonian are: [tex]A(k) = a(k) + \frac{g}{(2\pi)^{3/2}}\frac{\tilde{j}(k)}{\sqrt{2}\omega(k)^{3/2}}[/tex] A short calculation will show you that these operators have different commutation relations to the usual commutation relations. They bring the Hamiltonian into the form: [tex]H = \int{dk E(k)A^{*}(k)A(k)}[/tex], where [tex]E(k)[/tex] is a function describing the eigenspectrum of the full Hamiltonian. Now, if you use RayleighSchrödinger perturbation theory you obtain the interacting ground state as a superposition of free states: [tex]\Omega = Z^{1/2} \sum^{\infty}_{n = 0} \frac{1}{n!}  \left(\frac{g}{(2\pi)^{3/2}}\int{\frac{\tilde{j}(k)}{\sqrt{2}\omega(k)^{3/2}}a^{*}(k)}\right)^{n} \Psi_{0}[/tex]. Where [tex]\Psi_{0}[/tex] is the free vacuum. Also [tex]Z = exp\left[\int{\frac{g^{2}}{(2\pi)^{3}}\frac{\tilde{j}(k)^{2}}{\sqrt{2}\omega(k )^{3}}}\right][/tex] Now for a field weak enough that: [tex]\frac{\tilde{j}(k)}{\omega(k)^{3/2}} \in L^{2}(\mathbb{R}^{3})[/tex] then everything is fine. I'll call this condition (1). However if this condition is violated, by a strong external field, then we have some problems. First of all [tex]A(k), A^{*}(k)[/tex] are just creation and annihilation operators. They have a different commutation relations, but essentially I can still use them to create a Fock basis, since I can prove the exists a Hilbert space with a state annihilated by all [tex]A(k)[/tex]. Now this constructed Fock space always exists, no problem. Let's call this Fock space [tex]\mathcal{F}_{I}[/tex]. However, if condition (1) is violated something interesting happens. [tex]Z[/tex] vanishes. Now the expansion for [tex]\Omega[/tex] is a sum of terms expressing the overlap of [tex]\Omega[/tex] with free states. If [tex]Z=0[/tex], then [tex]\Omega[/tex] has no overlap with and hence is orthogonal to all free states. This can be shown for any interacting state. So every single state in [tex]\mathcal{F}_{I}[/tex] is completely orthognal to all states in [tex]\mathcal{F}[/tex], the free Fock space. Hence the two Hilbert spaces are disjoint. So the Fock space for [tex]a(k),a^{*}(k)[/tex] is not the same Hilbert space as the Fock space for [tex]A(k), A^{*}(k)[/tex]. They are still both Fock spaces, however [tex]A(k), A^{*}(k)[/tex] has a different algebra, so it's the Fock representation of a new algebra. If one wanted to still use the [tex]a(k),a^{*}(k)[/tex] and their algebra, you would need to use a nonFock rep in order to be in the correct Hilbert space. This is what a meant by my previous comment: The interacting Hilbert space is a nonFock representation of the usual creation and annihilation operators or It is a Fock representation of unusual creation and annihilation operators. I hope this post helps. 


#67
Nov1909, 04:49 AM

Sci Advisor
P: 303

I also want to say that in [tex]\mathcal{F}_{I}[/tex], the Hamiltonian and Smatrix are both finite. So one has unitary evolution in this space.
For mathematical literature on this model: Reed, M. and Simon, B. Methods of Modern Mathematical Physics, Vols. IIIII, New York: Academic Press. Wightman's article in Partial Differential Equations edited by D. Spencer, Symposium in Pure Mathematics (American Mathematical Society, Providence), Vol. 23. 


#68
Nov1909, 05:00 AM

P: 1,160

Thank you, DarMM, for this example. Before reading it, I would like to know if it is very different from "radiation of classical current", i.e., from coherent states (if m=0 and the field is the quantized EMF)? Or it is akin to the coherent states?



#69
Nov1909, 05:12 AM

Sci Advisor
P: 303

Axiomatic Field Theory This is basically, as Dr. Faustus said, Functional analysis with the Wightman axioms on top. One tries to understand what type of mathematical object quantum fields are and what conditions they should obey, either in canonical or path integral form. This has been accomplished by Wightman, Osterwalder, Schrader, Frohlich, Nelson, Symanzik and others. Given these conditions (axioms), you then try to figure out properties of the quantum fields, such as: Analyticity of the vertex functions. Poles in correlation functions. The connection between spin and statistics. e.t.c. Basically the study of what mathematical objects fields are and the consequences of this. Algebraic Field Theory Here one is being very general and simply concentrates on the properties of local quantum theories in Minkowski or other spacetimes, not specifically requiring there to be fields involved. This area can be seen as working out the general physical consequences of quantum theory and relativity. For instance this area provides the simplest treatment of Bell's inequalities in general spacetimes. It is this area that really tries to understand the uncountable infinity of inequivalent representations, since it is trying to understand the very general implications of quantum theory and relativity. You could see Axiomatic field theory as a subset of Algebraic field theory, which focuses on Minkowski spacetime and assumes the theory is a field theory and is nonthermal, which leads to more detailed properties. However because of fields being involved, the mathematics and the focus of the two areas tend to be quite different. For instance an algebraic field theory question might be "What are the general characteristics of thermal states that seperate them from pure states? What are the different representations in which they live? Can we characterise them?" Axiomatic Field Theory would ask "Where are the poles in the threepoint vertex function? What physical information is contained in these poles?" Constructive Field Theory This area essentially tries to prove that the field theories that physicists work with actually belong to the catagories above. For instance in Axiomatic Field Theory you have the Wightman axioms, but how do you know there exists any mathematical object that actually satisfies them? Constructive field theory builds (constructs) such objects by nonperturbatively controlling actual quantum field theories. So constructive field theory would ask something like: "Does [tex]\phi^{4}[/tex] in two dimensions exist as a welldefined mathematical entity?, If it does exist, does it satisfy the axioms from axiomatic field?" 


#70
Nov1909, 05:14 AM

Sci Advisor
P: 303




#71
Nov1909, 05:23 AM

P: 1,160

In your case there is just a threshold for massive quanta but the external current can be sufficiently powerful to radiate even massive quanta, so I see it as a quite akin problem. What energy can absorb/emit new quanta corresponding to operators A(k)? (You missed dk in two integrals but it is not essential.) 


#72
Nov1909, 05:29 AM

Sci Advisor
P: 303

Unless you are saying they are akin simply because in both the external field can create quanta, however that's no different than saying they are both external field problems. The main focus here is the change in Hilbert space, not coherent states or anything like them, because they are not present. 


Register to reply 
Related Discussions  
Quantum Field Theory: Field Operators and Lorentz invariance  Quantum Physics  6  
Is quantum field theory a genuine quantum theory?  Quantum Physics  3  
Two concepts about quantum electrodynamics and quantum field theory  Quantum Physics  16 