Scalar models of formally interacting non-standard quantum fields in Minkowski space-time
Andreas Aste

TL;DR
This paper explores algebraic quantum field theory in non-standard frameworks like hyperfunction theories, constructing models of interacting scalar fields and analyzing their properties to advance understanding of non-trivial quantum field theories.
Contribution
It introduces model theories of formally interacting scalar fields within hyperfunction frameworks, analyzing their characteristic properties and mimicking non-trivial Lagrangian structures.
Findings
Constructed models of formally interacting neutral scalar fields.
Analyzed two-point functions and characteristic properties.
Demonstrated local redefinitions mimic non-trivial interactions.
Abstract
For decades, a lot of work has been devoted to the problem of constructing a non-trivial quantum field theory in four-dimensional space time. This letter addresses the attempts to construct an algebraic quantum field theory in the framework of non-standard theories like hyperfunction or ultra-hyperfunction quantum field theory. For this purpose model theories of formally interacting neutral scalar fields are constructed and some of their characteristic properties like two-point functions are discussed. The formal self-couplings are obtained from local normally-ordered analytic redefinitions of the free scalar quantum field, mimicking a non-trivial structure of the resulting Lagrangians and equations of motion.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
\vol
xx \jyear2018 \pagesxxx
\publishedxx March 2018
Scalar models of formally interacting non-standard quantum fields in Minkowski space-time
Andreas Aste\auno1\auno2
1Department of Physics, University of Basel, Klingelbergstrasse 82, 4056 Basel, Switzerland
2Paul Scherrer Institute, Forschungsstrasse 111, 5232 Villigen PSI, Switzerland
(xx January 2018)
Abstract
For decades, a lot of work has been devoted to the problem of constructing a non-trivial quantum field theory in four-dimensional space-time. This letter addresses the attempts to construct an algebraic quantum field theory in the framework of non-standard theories like hyperfunction or ultra-hyperfunction quantum field theory. For this purpose model theories of formally interacting neutral scalar fields are constructed and some of their characteristic properties like two-point functions are discussed. The formal self-couplings are obtained from local normally-ordered analytic redefinitions of the free scalar quantum field, mimicking a non-trivial structure of the resulting Lagrangians and equations of motion.
keywords:
non-standard quantum fields\sepFourier hyperfunctions\sepdistributions \sepcanonical quantization \sepinteraction models 10.2018/LHEP000001
††journal: LHEP
1 Introduction
Standard relativistic quantum field theory (QFT) in the sense of Gårding and Wightman PCT uses the Schwartz space of rapidly decreasing -functions as a test function space, and in this context a quantum field is an operator-valued distribution, expressing the fact that is an (unbounded) operator defined on a dense subset of a Hilbert space for all . The underlying symmetry of the theory is the Poincaré group , i.e. the semidirect product of the abelian group of time-space translations and the restricted Lorentz group , or, to be more precise, the covering group when fermionic fields are included PCT .
The free neutral scalar field with the Wightman two-point function given by the positive-frequency Pauli-Jordan -number distribution which has the Fourier transform
[TABLE]
where and , provides a simple example for a quantum field associated with a free particle of mass in space-time dimensions. As operator-valued distributions, all act on a common dense set of the standard bosonic Fock-Hilbert space with a non-degenerate vacuum represented by a normalized state vector , as discussed in many textbooks.
Using Schwartz functions as test function space, it is possible to express the causal structure of QFT by the help of (anti-)commutation relations for (fermionic) bosonic operators smeared with test functions having compact support. E.g., a neutral scalar field fulfills the commutation relation Scharf1 ; Scharf2
[TABLE]
if the compact supports of the test functions are spacelike to each other, i.e. if all and are spacelike separated: .
Distribution theory is a linear theory and no associative product of two distributions extending the product of a distribution by a smooth function can be defined. In the case of the free field operator , a partial solution of the problem is offered by the normal ordering of field operators which corresponds to a recursive point-splitting regularization described in a formal manner as follows
[TABLE]
[TABLE]
[TABLE]
[TABLE]
The normally ordered product is an operator-valued distribution again Constantinescu ; Strocchi , as well as the tensor product :\varphi(x)^{n}:$$:\varphi(y)^{n}:. Accordingly, also Wick polynomials defined as finite sums of normally ordered products
[TABLE]
are densely defined operator valued distributions in the Fock-Hilbert space with well-defined correlation distributions à la .
But a problem arises from the fact the two-point function (1) shows a singular behaviour on the light cone. In space dimensions, has a local singularity of the form , and therefore extending Wick polynomials to infinite power series
[TABLE]
and calculating correlation distributions yields an essential singularity at the origin, and consequently objects like will not be tempered.
Despite this problem, Nagamachi and Mugibayashi NagaMugi1 ; NagaMugi2 were able to show that the concept of localization can be implemented in the non-standard framework of hyperfunction quantum field theory (HFQFT) without making use of compactly supported test functions, but in terms of Fourier hyperfunctions. The space of Fourier hyperfunctions is the dual of the space of rapidly decreasing holomorphic functions. One of the characteristics of this space is that it is topologically invariant under Fourier transformations as is the case for the spaces , but it does not contain test functions of compact support. But introducing smaller test function spaces than seems to be desirable in view of the fact that in four-dimensional space-time no non-trivial standard quantum fields have ever been constructed, indicating that the axioms of QFT based on tempered distributions are too narrow.
It is the aim of this paper to give some insight into the problems which arise when interactions are taken into account in relativistic quantum field theory by studying some specific examples of formally interacting field theories, leaving aside the mathematical technicalities involved in the theory of Fourier hyperfunctions and performing formal calculations.
In this context, a main result of Nagamachi and Brüning NagBru shall be quoted here as a theorem:
Theorem 1
Let be a free massive neutral scalar field and a sequence of real numbers satisfying the condition . Then the Wick power series
[TABLE]
is a hyperfunction quantum field, but not a standard quantum field if infinitely many of the coefficients are non-zero.
Of course the condition ensures that for
[TABLE]
is an entire function.
The hyperfunction approach to quantum field theory has been extended to ultra-hyperfunction approaches with even more restricted test function spaces during the last years indeed Vindas . But also these approaches do not seem to lead anywhere from a physical point of view.
2 Example of a non-standard quantum field
Before tackling models of formally interacting quantum fields in Minkowski space, we briefly discuss a typical example of a hyperfunction quantum field given by the Wick power series containing a free neutral field Schroer ; Aste
[TABLE]
with some length parameter . The corresponding two-point function is
[TABLE]
[TABLE]
[TABLE]
since for combinatorial reasons
[TABLE]
Considering the massless case, the positive-frequency Pauli-Jordan distribution is given in configuration space by
[TABLE]
hence the massless two-point function becomes
[TABLE]
Due to its essentially singular behaviour, (and the massive ) cannot be a tempered distribution in . Tempered distributions can always be represented as a finite sum of distributional derivatives of continuous functions of polynomial growth.
Trying to evaluate the two-point function of an expression like, e.g.,
[TABLE]
formally leads to
[TABLE]
an expression which does not converge in any sense.
3 Formal interactions through point transformations of the classical Lagrangian of the free neutral scalar field
The following exercises on models of formally interacting fields will shed some additional light on some of the comments in the introduction. They may also serve as interesting examples for point transformations in lectures on Lagrangian field theory.
3.1 Massive free and formally interacting field: classical and quantum aspects
The Lagrangian density of the non-interacting classical real scalar field
[TABLE]
can be cast in a less familiar form by a local point transformation with a real parameter
[TABLE]
A point transformation
[TABLE]
leaves the form of the Euler-Lagrange equations
[TABLE]
invariant. The free field obeys the Klein-Gordon equation
[TABLE]
With
[TABLE]
follows
[TABLE]
The Euler-Lagrange equations for are obtained from
[TABLE]
and
[TABLE]
[TABLE]
i.e. one has
[TABLE]
Of course, solutions of the seemingly complicated equation of motion (25) can be generated by taking a solution of the real Klein-Gordon equation and calculating . However, the field theories defined by are not completely equivalent, since a solution of the Klein-Gordon equation corresponds to a denumerable discrete set of solutions . There exists an infinity of parallel -worlds.
Regarding the fact that for small fields , one might be tempted to invoke perturbation theory for the involved Lagrangian density . Expanding
[TABLE]
and
[TABLE]
and inserting it in (22) leads to
[TABLE]
[TABLE]
[TABLE]
Naive power counting indicates that quantization of the Lagrangian density describing a free field leads to a non-renormalizable perturbation expansion, since already the lowest quadrilinear interaction term
[TABLE]
contains the dimension-6 operator .
Expressing the quantized field in terms of the free quantized field according to
[TABLE]
as a formal solution of the wave equation (25) does not work. does not belong to the class of fields according to theorem (1), and it is impossible to calculate a corresponding meaningful two-point function using expression (30).
3.2 Formally interacting massless model
In this section, represents the (quantized) free massless neutral scalar field (with the two-point function ) fulfilling the distributional wave equation following from the (classical) Lagrangian density
[TABLE]
We introduce a new field which is related to by the one-to-one correspondence
[TABLE]
Using and
[TABLE]
leads to the classically equivalent Lagrangian density for
[TABLE]
[TABLE]
In the present case,
[TABLE]
is a well-defined quantum field with corresponding n-point functions in the sense of HFQFT.
3.3 Scalar gravity in the absence of matter
The Lagrangian density for a self-coupled field in Minkowski space
[TABLE]
has some interesting properties. From
[TABLE]
and
[TABLE]
follows the equation of motion
[TABLE]
The energy-momentum tensor of the scalar field is given by
[TABLE]
with the metric tensor . The trace follows immediately
[TABLE]
i.e. the source of the field in (39) is proportional to the trace of the energy-momentum tensor of the field itself. The Lagrangian density (36) defines the ostensibly non-geometrical flat space theory of Freund and Nambu FreundNambu , which has been shown by Deser and Halpern DeserHalpern to be equivalent to the geometrical Nordstrøm theory Nordstroem , i.e. the conformally flat metric analog of Einsteins theory.
Relating to a new field by
[TABLE]
results in
[TABLE]
hence
[TABLE]
describes a free field fulfilling the wave equation .
From the analytic structure of the relation (42) follows that cannot be related to the free massless quantized field by a Wick power series, despite the classical equivalence of and .
4 Conclusions
The examples of formally interacting scalar field theories presented in this letter illustrate the fact that local non-linear analytic transformations of a free quantum field, interpreted as an operator valued tempered distribution on Schwartz functions, may not result in operator valued tempered distributions, but in a more general kind of distributions which can be treated in the framework of (ultra-)hyperfunction quantum field theory.
However, even when analytic redefinitions of free fields are considered only, restrictive analytic conditions must hold for the field transformations even when they are one-to-one in order for the deformed fields to be interpretable in any distributional sense. This shows the rigidity of the approach to quantum fields via tempered distributions or (ultra-)hyperfunctions, and the severe problems of quantum field theory on a classical four-dimensional space-time in general.
The reference list from the paper itself. Each links out to its DOI / PubMed record.
- 1(1) R. F. Streater, A. S. Wightman, PCT, Spin, Statistics and All That , Benjamin-Cummings Publishing Company, 1964.
- 2(2) G. Scharf, Finite Quantum Electrodynamics: The Causal Approach , Dover Books on Physics, 2014.
- 3(3) G. Scharf, Gauge Field Theories: Spin One and Spin Two , Dover Books on Physics, 2016.
- 4(4) F. Constantinescu, Distributionen und ihre Anwendungen in der Physik , B. G. Teubner, 1974.
- 5(5) F. Strocchi, An Introduction to Non-Perturbative Foundations of Quantum Field Theory , Oxford University Press, 2013.
- 6(6) N. Mugibayashi, S. Nagamachi, Hyperfunction quantum field theory , Commun. Math. Phys. 46 (1976) 119-134 [https://doi.org/10.1007/BF 01608492].
- 7(7) N. Mugibayashi, S. Nagamachi, Hyperfunctions and renormalization , J. Math. Phys. 27 (1986) 832-839 [https://doi.org/10.1063/1.527189].
- 8(8) S. Nagamachi, E. Brüning, Hyperfuction quantum field theory: Analytic structure, modular aspects, and local observable algebras , J. Math. Phys. 42 (2001) 99-129 [https://doi.org/10.1063/1.1326460].
