We present an approach to computing probabilities in quantum field theory for a wide class of source-detector models. The approach works directly with probabilities and not with squared matrix elements, and the resulting probabilities can be written in terms of expectation values of nested commutators and anticommutators. We present results that help in the evaluation of these, including an expression for the vacuum expectation values of general nestings of commutators and anticommutators in scalar field theory. This approach allows one to see clearly how faster-than-light signalling is prevented, because it leads to a diagrammatic expansion in which the retarded propagator plays a prominent role. We illustrate the formalism using the simple case of the much-studied Fermi two-atom problem.
We present an approach to computing probabilities in quantum field theory for a wide class of source-detector models. The approach works directly with probabilities and not with squared matrix elements, and the resulting probabilities can be written in terms of expectation values of nested commutators and anticommutators. We present results that help in the evaluation of these, including an expression for the vacuum expectation values of general nestings of commutators and anticommutators in scalar field theory. This approach allows one to see clearly how faster-than-light signalling is prevented, because it leads to a diagrammatic expansion in which the retarded propagator plays a prominent role. We illustrate the formalism using the simple case of the much-studied Fermi two-atom problem.
We present a novel approach to computing transition probabilities in quantum field theory, which allows them to be written directly in terms of expectation values of nested commutators and anti-commutators of field operators, rather than squared matrix elements. We show that this leads to a diagrammatic expansion in which the retarded propagator plays a dominant role. As a result, one is able to see clearly how faster-than-light signalling is prevented between sources and detectors. Finally, we comment on potential implications of this approach for dealing with infra-red divergences.
We survey some results obtained in the last 25 years to illustrate the following probabilistic quantization statement: quantum probability is not a generalization of classical probability but a deeper level of it. Generalizing the classical theory of orthogonal polynomials, one can show that any random field X admitting all the moments can be represented as the sum of three operators, which are natural extensions of the creation, annihilation, and preservation operators in the usual boson Fock quantum theory. These operators generate a noncommutative ∗-algebra on which the quantum extension of the expected value relative to the probability distribution of the field X induces a quantum state. So, any classical algebraic probability space generates a quantum space with its own commutation relations. The Heisenberg commutation relation characterizes the classical fields, while the new type of commutation relations (of type II) appears in non-Gaussian cases. The same machinery, but applied to Bernoulli fields, leads to Fermi-Dirac anticommutation relations (see the introduction).
We survey some results obtained in the last 25 years to illustrate the following probabilistic quantization statement: quantum probability is not a generalization of classical probability but a deeper level of it. Generalizing the classical theory of orthogonal polynomials, one can show that any random field X admitting all the moments can be represented as the sum of three operators, which are natural extensions of the creation, annihilation, and preservation operators in the usual boson Fock quantum theory. These operators generate a noncommutative ∗-algebra on which the quantum extension of the expected value relative to the probability distribution of the field X induces a quantum state. So, any classical algebraic probability space generates a quantum space with its own commutation relations. The Heisenberg commutation relation characterizes the classical fields, while the new type of commutation relations (of type II) appears in non-Gaussian cases. The same machinery, but applied to Bernoulli fields, leads to Fermi--Dirac anticommutation relations (see the introduction).
The diagrammatic method is one of the most powerful tools of theoretical physics. It allows us to efficiently organize perturbative computations in statistical physics, quantum many-body theory and quantum field theory. The main feature of this method is a representation of individual terms of a perturbative expansion as diagrams ( graphs ). Diagrams consist of vertices representing terms in the perturbation, lines representing pairings between vertices and, possibly, external legs . There exist several kinds of diagrams. We will try to present them in a systematic way. In Sect. 20.1 we present a diagrammatic formalism whose goal is to organize integration of polynomials with respect to a Gaussian measure. This formalism is used extensively in classical statistical physics. It also plays an important role in quantum physics, especially in the Euclidean approach, since many quantum quantities can be expressed in terms of Gaussian integrals over classical variables. We use the term “Gaussian integration” in a rather broad sense. Beside commuting “bosonic” variables, we also consider anti-commuting “fermionic” variables, where we use the Berezin integral with respect to a Gaussian weight. Even in the case of commuting variables, the “Gaussian integral” is not necessarily meant in the sense of measure theory. It denotes an algebraic operation performed on polynomials (or formal power series), which in the case of a positive definite covariance coincides with the usual integral with a Gaussian weight. However, we allow the covariance to be complex, or even negative definite, and do not insist that the operation have a measure theoretic meaning.
Quantum detection processes in quantum field theory (QFT) must play a key role in the description of quantum-field correlations, such as the appearance of entanglement, and of causal effects. We consider the detection in the case of a simple QFT model with a suitable interaction to exact treatment, consisting of a quantum scalar field coupled linearly to a classical scalar source. We then evaluate the response function to the field quanta of two-level pointlike quantum model detectors, and analyze the effects of the approximation adopted in standard detection theory. We show that the use of the RWA, which characterizes the Glauber detection model, leads in the detector response to nonlocal terms corresponding to an instantaneously spreading of source effects over the whole space. Other detector models, obtained with nonstandard or no application of RWA, give instead local responses to field quanta, apart from source-independent vacuum contribution linked to preexisting correlations of zero-point field.
DiagrammaticsThe diagrammatic method is one of the most powerful tools of theoretical physics.It allows us to efficiently organize perturbative computations in statistical physics, quantum many-body theory and quantum field theory.The main feature of this method is a representation of individual terms of a perturbative expansion as diagrams (graphs).Diagrams consist of vertices representing terms in the perturbation, lines representing pairings between vertices and, possibly, external legs.There exist several kinds of diagrams.We will try to present them in a systematic way.In Sect.20.1 we present a diagrammatic formalism whose goal is to organize integration of polynomials with respect to a Gaussian measure.This formalism is used extensively in classical statistical physics.It also plays an important role in quantum physics, especially in the Euclidean approach, since many quantum quantities can be expressed in terms of Gaussian integrals over classical variables.We use the term "Gaussian integration" in a rather broad sense.Beside commuting "bosonic" variables, we also consider anti-commuting "fermionic" variables, where we use the Berezin integral with respect to a Gaussian weight.Even in the case of commuting variables, the "Gaussian integral" is not necessarily meant in the sense of measure theory.It denotes an algebraic operation performed on polynomials (or formal power series), which in the case of a positive definite covariance coincides with the usual integral with a Gaussian weight.However, we allow the covariance to be complex, or even negative definite, and do not insist that the operation have a measure theoretic meaning.We distinguish two kinds of spaces on which we perform the integrals: real and complex.As in many other places in our work, we treat these two cases in parallel.Of course, the difference between the real (i.e.neutral), and the complex (i.e.charged) formalism is mainly that of a different notation.In particular, charged lines need to be equipped with an arrow, whereas neutral lines need not.The terminology that we use is inspired by quantum field theory.Therefore, the variables that enter the integral are associated with "particles"; they are divided into "bosons" and "fermions", each subdivided into "neutral" and "charged" particles.In the main part of the chapter we describe the diagram formalism used in quantum many-body physics and quantum field theory.As a preparation, we include a brief Sect.20.2 devoted to the basic terminology of perturbation theory