-
Quantum reference frames, measurement schemes and the type of local algebras in quantum field theory
Authors:
Christopher J. Fewster,
Daan W. Janssen,
Leon Deryck Loveridge,
Kasia Rejzner,
James Waldron
Abstract:
We develop an operational framework, combining relativistic quantum measurement theory with quantum reference frames (QRFs), in which local measurements of a quantum field on a background with symmetries are performed relative to a QRF. This yields a joint algebra of quantum-field and reference-frame observables that is invariant under the natural action of the group of spacetime isometries. For t…
▽ More
We develop an operational framework, combining relativistic quantum measurement theory with quantum reference frames (QRFs), in which local measurements of a quantum field on a background with symmetries are performed relative to a QRF. This yields a joint algebra of quantum-field and reference-frame observables that is invariant under the natural action of the group of spacetime isometries. For the appropriate class of quantum reference frames, this algebra is parameterised in terms of crossed products. Provided that the quantum field has good thermal properties (expressed by the existence of a KMS state at some nonzero temperature), one can use modular theory to show that the invariant algebra admits a semifinite trace. If furthermore the quantum reference frame has good thermal behaviour (expressed in terms of the properties of a KMS weight) at the same temperature, this trace is finite. We give precise conditions for the invariant algebra of physical observables to be a type $II_1$ factor. Our results build upon recent work of Chandrasekaran, Longo, Penington and Witten [JHEP $\mathbf{2023}$, 82 (2023)], providing both a significant mathematical generalisation of these findings and a refined operational understanding of their model.
△ Less
Submitted 19 December, 2024; v1 submitted 18 March, 2024;
originally announced March 2024.
-
A novel class of functionals for perturbative algebraic quantum field theory
Authors:
Eli Hawkins,
Kasia Rejzner,
Berend Visser
Abstract:
Perturbative Algebraic Quantum Field Theory (pAQFT) is based upon formal power series valued in spaces of functionals. This is usually done with microcausal functionals, which are defined using microlocal analysis and motivated by propagation of singularities. In this paper, we prove that the class of microcausal functionals is not closed under the Peierls (Poisson) bracket by showing that a Peier…
▽ More
Perturbative Algebraic Quantum Field Theory (pAQFT) is based upon formal power series valued in spaces of functionals. This is usually done with microcausal functionals, which are defined using microlocal analysis and motivated by propagation of singularities. In this paper, we prove that the class of microcausal functionals is not closed under the Peierls (Poisson) bracket by showing that a Peierls bracket of regular functionals can fail to be smooth. Consequently, microcausal functionals are not a suitable basis for pAQFT. To remedy these issues, we introduce the class of equicausal functionals. We show that this class contains the local functionals and that it closes under the star-product and Peierls bracket. Furthermore, we prove the time-slice axiom for equicausal functionals, using a chain homotopy. The class of microcausal functionals is not closed under this chain homotopy, which strongly suggests that the class of microcausal functionals does not fulfill the time slice axiom.
△ Less
Submitted 5 March, 2024; v1 submitted 23 December, 2023;
originally announced December 2023.
-
A Lorentzian renormalisation group equation for gauge theories
Authors:
Edoardo D'Angelo,
Kasia Rejzner
Abstract:
In a recent paper, with Drago and Pinamonti we have introduced a Wetterich-type flow equation for scalar fields on Lorentzian manifolds, using the algebraic approach to perturbative QFT. The equation governs the flow of the effective average action, under changes of a mass parameter k. Here we introduce an analogous flow equation for gauge theories, with the aid of the Batalin-Vilkovisky (BV) form…
▽ More
In a recent paper, with Drago and Pinamonti we have introduced a Wetterich-type flow equation for scalar fields on Lorentzian manifolds, using the algebraic approach to perturbative QFT. The equation governs the flow of the effective average action, under changes of a mass parameter k. Here we introduce an analogous flow equation for gauge theories, with the aid of the Batalin-Vilkovisky (BV) formalism. We also show that the corresponding effective average action satisfies a Slavnov-Taylor identity in Zinn-Justin form. We interpret the equation as a cohomological constraint on the functional form of the effective average action, and we show that it is consistent with the flow.
△ Less
Submitted 30 October, 2024; v1 submitted 2 March, 2023;
originally announced March 2023.
-
The observables of a perturbative algebraic quantum field theory form a factorization algebra
Authors:
Owen Gwilliam,
Kasia Rejzner
Abstract:
We demonstrate that perturbative algebraic QFT methods, as developed by Fredenhagen and Rejzner, naturally yields a factorization algebras of observables for a large class of Lorentzian theories. Along the way we carefully articulate cochain-level refinements of multilocal functionals, building upon results about the variational bicomplex, and we lift existing results about Epstein-Glaser renormal…
▽ More
We demonstrate that perturbative algebraic QFT methods, as developed by Fredenhagen and Rejzner, naturally yields a factorization algebras of observables for a large class of Lorentzian theories. Along the way we carefully articulate cochain-level refinements of multilocal functionals, building upon results about the variational bicomplex, and we lift existing results about Epstein-Glaser renormalization to these multilocal differential forms, results which may be of independent interest.
△ Less
Submitted 10 November, 2023; v1 submitted 15 December, 2022;
originally announced December 2022.
-
Locally covariant approach to effective quantum gravity
Authors:
Romeo Brunetti,
Klaus Fredenhagen,
Kasia Rejzner
Abstract:
Despite the fact that quantum gravity is non-renormalisable, a consistent and mathematically rigorous construction of a perturbation series is possible.
This is based on the use of the Batalin-Vilkovisky-Becchi-Rouet-Stora-Tyutin formalism for gauge theories, the methods of perturbative algebraic quantum field theory and the principle of local covariance. The truncation of the series can be inte…
▽ More
Despite the fact that quantum gravity is non-renormalisable, a consistent and mathematically rigorous construction of a perturbation series is possible.
This is based on the use of the Batalin-Vilkovisky-Becchi-Rouet-Stora-Tyutin formalism for gauge theories, the methods of perturbative algebraic quantum field theory and the principle of local covariance. The truncation of the series can be interpreted as an effective quantum field theory which provides predictions for observations at sufficiently small energy scales. Quantum cosmology can be seen as its lowest order expansion, and precision measurements on the cosmic microwave background yield the first empirical test of this approach to quantum gravity.
△ Less
Submitted 23 December, 2022; v1 submitted 15 December, 2022;
originally announced December 2022.
-
Unitary, anomalous Master Ward Identity and its connections to the Wess-Zumino condition, BV formalism and $L_\infty$-algebras
Authors:
Romeo Brunetti,
Michael Dütsch,
Klaus Fredenhagen,
Kasia Rejzner
Abstract:
The C*-algebraic construction of QFT by Buchholz and one of us relies on the causal structure of spacetime and a classical Lagrangian. In one of our previous papers we have introduced additional structure into this construction, namely an action of symmetries, which is related to fixing renormalisation conditions. This action characterizes anomalies and satisfies a cocycle condition which is summa…
▽ More
The C*-algebraic construction of QFT by Buchholz and one of us relies on the causal structure of spacetime and a classical Lagrangian. In one of our previous papers we have introduced additional structure into this construction, namely an action of symmetries, which is related to fixing renormalisation conditions. This action characterizes anomalies and satisfies a cocycle condition which is summarized in the unitary anomalous Master Ward identity. Here (using perturbation theory) we show how this cocycle condition is related to the Wess-Zumino consistency relation and the consistency relation for the anomaly in the BV formalism, where the latter is the generalized Jacobi identity for the associated $L_\infty$-algebra.
△ Less
Submitted 3 November, 2023; v1 submitted 12 October, 2022;
originally announced October 2022.
-
Quantization, dequantization, and distinguished states
Authors:
Eli Hawkins,
Christoph Minz,
Kasia Rejzner
Abstract:
Geometric quantization is a natural way to construct quantum models starting from classical data. In this work, we start from a symplectic vector space with an inner product and -- using techniques of geometric quantization -- construct the quantum algebra and equip it with a distinguished state. We compare our result with the construction due to Sorkin -- which starts from the same input data --…
▽ More
Geometric quantization is a natural way to construct quantum models starting from classical data. In this work, we start from a symplectic vector space with an inner product and -- using techniques of geometric quantization -- construct the quantum algebra and equip it with a distinguished state. We compare our result with the construction due to Sorkin -- which starts from the same input data -- and show that our distinguished state coincides with the Sorkin-Johnson state. Sorkin's construction was originally applied to the free scalar field over a causal set (locally finite, partially ordered set). Our perspective suggests a natural generalization to less linear examples, such as an interacting field.
△ Less
Submitted 13 September, 2024; v1 submitted 12 July, 2022;
originally announced July 2022.
-
Chirality in 2d pAQFT
Authors:
Sam Crawford,
Kasia Rejzner,
Benoit Vicedo
Abstract:
In this article, which builds upon the work done in our previous paper, the chiral aspects of 2dcft on globally hyperbolic Lorentzian manifolds are developed and explored within the perturbative algebraic quantum field theory (pAQFT) framework. In the example of the massless scalar field on globally hyperbolic 2-dimensional spacetimes, we identify the subalgebras of a given theory comprising only…
▽ More
In this article, which builds upon the work done in our previous paper, the chiral aspects of 2dcft on globally hyperbolic Lorentzian manifolds are developed and explored within the perturbative algebraic quantum field theory (pAQFT) framework. In the example of the massless scalar field on globally hyperbolic 2-dimensional spacetimes, we identify the subalgebras of a given theory comprising only chiral (or anti-chiral) observables. These subalgebras are constructed explicitly, with the help of structures naturally associated to a Cauchy surface, for both the classical and the quantised theory, and it is shown that they then embed naturally into the algebra of the full theory. Finally, it is demonstrated that the construction of these subalgebras is independent of the choice of Cauchy surface and that they unambiguously define a covariant theory on the spaces of null-geodesics.
△ Less
Submitted 2 May, 2022;
originally announced May 2022.
-
An algebraic QFT approach to the Wetterich equation on Lorentzian manifolds
Authors:
Edoardo D'Angelo,
Nicolò Drago,
Nicola Pinamonti,
Kasia Rejzner
Abstract:
We discuss the scaling of the effective action for the interacting scalar quantum field theory on generic spacetimes with Lorentzian signature and in a generic state (including vacuum and thermal states, if they exist). This is done constructing a flow equation, which is very close to the renown Wetterich equation, by means of techniques recently developed in the realm of perturbative Algebraic Qu…
▽ More
We discuss the scaling of the effective action for the interacting scalar quantum field theory on generic spacetimes with Lorentzian signature and in a generic state (including vacuum and thermal states, if they exist). This is done constructing a flow equation, which is very close to the renown Wetterich equation, by means of techniques recently developed in the realm of perturbative Algebraic Quantum Field theory (pAQFT). The key ingredient that allows one to obtain an equation which is meaningful on generic Lorentzian backgrounds is the use of a local regulator, which keeps the theory covariant. As a proof of concept, the developed methods are used to show that non-trivial fixed points arise in quantum field theories in a thermal state and in the case of quantum fields in the Bunch-Davies state on the de Sitter spacetime.
△ Less
Submitted 15 January, 2024; v1 submitted 15 February, 2022;
originally announced February 2022.
-
The unitary Master Ward Identity: Time slice axiom, Noether's Theorem and Anomalies
Authors:
Romeo Brunetti,
Michael Dütsch,
Klaus Fredenhagen,
Kasia Rejzner
Abstract:
The C*-algebraic formulation of generic interacting quantum field theories, recently presented by Detlev Buchholz and one of the authors (KF), is enriched by a unitary version of the Master Ward Identity, which was postulated some time ago by Franz Marc Boas, Ferdinand Brennecke and two of us (MD,KF). It is shown that the corresponding axiom implies the validity of the time slice axiom. Moreover,…
▽ More
The C*-algebraic formulation of generic interacting quantum field theories, recently presented by Detlev Buchholz and one of the authors (KF), is enriched by a unitary version of the Master Ward Identity, which was postulated some time ago by Franz Marc Boas, Ferdinand Brennecke and two of us (MD,KF). It is shown that the corresponding axiom implies the validity of the time slice axiom. Moreover, it opens the way for a new approach to Noether's Theorem where it yields directly the unitaries implementing the symmetries. It also unravels interesting aspects of the role of anomalies in quantum field theory.
△ Less
Submitted 6 February, 2022; v1 submitted 30 August, 2021;
originally announced August 2021.
-
Lorentzian 2d CFT from the pAQFT perspective
Authors:
Sam Crawford,
Kasia Rejzner,
Benoit Vicedo
Abstract:
We provide a detailed construction of the quantum theory of the massless scalar field on 2-dimensional, globally-hyperbolic (in particular, Lorentzian) manifolds using the framework of perturbative algebraic quantum field theory. From this we subalgebras of observables isomorphic to the Heisenberg and Virasoro algebras on the Einstein cylinder. We also show how the conformal version of general cov…
▽ More
We provide a detailed construction of the quantum theory of the massless scalar field on 2-dimensional, globally-hyperbolic (in particular, Lorentzian) manifolds using the framework of perturbative algebraic quantum field theory. From this we subalgebras of observables isomorphic to the Heisenberg and Virasoro algebras on the Einstein cylinder. We also show how the conformal version of general covariance, as first introduced by Pinamonti as an extension of the construction due to Brunetti, Fredenhagen and Verch, may be applied to the concept of natural Lagrangians in order to obtain a simple condition for the conformal covariance of classical dynamics, which is then shown to quantise in the case of a quadratic Lagrangian. We then compare the covariance condition for the stress-energy tensor in the classical and quantum theory in Minkowksi space, obtaining a transformation law dependent on the Schwarzian derivative of the transformed coordinate, in accordance with a well-known result in the Euclidean literature.
△ Less
Submitted 26 July, 2021;
originally announced July 2021.
-
Equilibrium states for the massive Sine-Gordon theory in the Lorentzian signature
Authors:
Dorothea Bahns,
Nicola Pinamonti,
Kasia Rejzner
Abstract:
In this paper we investigate the massive Sine-Gordon model in the ultraviolet finite regime in thermal states over the two-dimensional Minkowski spacetime. We combine recently developed methods of perturbative algebraic quantum field theory with techniques developed in the realm of constructive quantum field theory over Euclidean spacetimes to construct the correlation functions of the equilibrium…
▽ More
In this paper we investigate the massive Sine-Gordon model in the ultraviolet finite regime in thermal states over the two-dimensional Minkowski spacetime. We combine recently developed methods of perturbative algebraic quantum field theory with techniques developed in the realm of constructive quantum field theory over Euclidean spacetimes to construct the correlation functions of the equilibrium state of the Sine-Gordon theory in the adiabatic limit. First of all, the observables of the Sine-Gordon theory are seen as functionals over the free configurations and are obtained as a suitable combination of the S-matrices of the interaction Lagrangian restricted to compact spacetime regions over the free massive theory. These S-matrices are given as power series in the coupling constant with values in the algebra of fields over the free massive theory. Adapting techniques like conditioning and inverse conditioning to spacetimes with Lorentzian signature, we prove that these power series converge when evaluated on a generic field configuration. The latter observation implies convergence in the strong operator topology in the GNS representations of the considered states. In the second part of the paper, adapting the cluster expansion technique to the Lorentzian case, we prove that the correlation functions of the interacting equilibrium state at finite temperature (KMS state) can be constructed also in the adiabatic limit, where the interaction Lagrangian is supported everywhere in space.
△ Less
Submitted 3 April, 2023; v1 submitted 16 March, 2021;
originally announced March 2021.
-
$C^*$-algebraic approach to interacting quantum field theory: Inclusion of Fermi fields
Authors:
Romeo Brunetti,
Michael Dütsch,
Klaus Fredenhagen,
Kasia Rejzner
Abstract:
We extend the $C^*$-algebraic approach to interacting quantum field theory, proposed recently by Detlev Buchholz and one of us (KF) to Fermi fields. The crucial feature of our approach is the use of auxiliary Grassmann variables in a functorial way.
We extend the $C^*$-algebraic approach to interacting quantum field theory, proposed recently by Detlev Buchholz and one of us (KF) to Fermi fields. The crucial feature of our approach is the use of auxiliary Grassmann variables in a functorial way.
△ Less
Submitted 7 August, 2022; v1 submitted 9 March, 2021;
originally announced March 2021.
-
BV quantization in perturbative algebraic QFT: Fundamental concepts and perspectives
Authors:
Kasia Rejzner
Abstract:
This paper is mainly based on the talk I presented at the meeting "The Philosophy and Physics of Noether's Theorems" that took place 5-6 October 2018, but it also contains some original results that were inspired by discussions with mathematicians, physicists and philosophers about the problem of understanding the intrinsic meaning of gauge invariance. In this work, I argue that following the prin…
▽ More
This paper is mainly based on the talk I presented at the meeting "The Philosophy and Physics of Noether's Theorems" that took place 5-6 October 2018, but it also contains some original results that were inspired by discussions with mathematicians, physicists and philosophers about the problem of understanding the intrinsic meaning of gauge invariance. In this work, I argue that following the principles of locality, deformation and homology, one naturally ends up using the Batalin-Vilkovisky (BV) formalism in quantizing gauge theories.
I start with the gentle introduction into the BV framework and then I proceed to some new results and more speculative deliberations. In the classical theory, I present a new perspective on the classical BV operator, using the notion of Moller maps. In the quantum theory, I present some loose ideas on the formulation of anomalous master Ward identity in the framework proposed recently by Buchholz and Fredenhagen, based on local S-matrices.
△ Less
Submitted 26 April, 2022; v1 submitted 29 April, 2020;
originally announced April 2020.
-
Asymptotic symmetries in the BV-BFV formalism
Authors:
Kasia Rejzner,
Michele Schiavina
Abstract:
We show how to derive asymptotic charges for field theories on manifolds with "asymptotic" boundary, using the BV-BFV formalism. We also prove that the conservation of said charges follows naturally from the vanishing of the BFV boundary action, and show how this construction generalises Noether's procedure. Using the BV-BFV viewpoint, we resolve the controversy present in the literature, regardin…
▽ More
We show how to derive asymptotic charges for field theories on manifolds with "asymptotic" boundary, using the BV-BFV formalism. We also prove that the conservation of said charges follows naturally from the vanishing of the BFV boundary action, and show how this construction generalises Noether's procedure. Using the BV-BFV viewpoint, we resolve the controversy present in the literature, regarding the status of large gauge transformation as symmetries of the asymptotic structure. We show that even though the symplectic structure at the asymptotic boundary is not preserved under these transformations, the failure is governed by the corner data, in agreement with the BV-BFV philosophy. We analyse in detail the case of electrodynamics and the interacting scalar field, for which we present a new type of duality to a sourced two-form model.
△ Less
Submitted 6 August, 2020; v1 submitted 23 February, 2020;
originally announced February 2020.
-
Algebraic Classical and Quantum Field Theory on Causal Sets
Authors:
Edmund Dable-Heath,
Christopher J. Fewster,
Kasia Rejzner,
Nick Woods
Abstract:
The framework of perturbative algebraic quantum field theory (pAQFT) is used to construct QFT models on causal sets. We discuss various discretised wave operators, including a new proposal based on the idea of a `preferred past', which we also introduce, and show how they may be used to construct classical free and interacting field theory models on a fixed causal set; additionally, we describe ho…
▽ More
The framework of perturbative algebraic quantum field theory (pAQFT) is used to construct QFT models on causal sets. We discuss various discretised wave operators, including a new proposal based on the idea of a `preferred past', which we also introduce, and show how they may be used to construct classical free and interacting field theory models on a fixed causal set; additionally, we describe how the sensitivity of observables to changes in the background causal set may be encapsulated in a relative Cauchy evolution. These structures are used as the basis of a deformation quantization, using the methods of pAQFT. The SJ state is defined and discussed as a particular quantum state on the free quantum theory. Finally, using the framework of pAQFT, we construct interacting models for arbitrary interactions that are smooth functions of the field configurations. This is the first construction of such a wide class of models achieved in QFT on causal sets.
△ Less
Submitted 25 February, 2020; v1 submitted 6 August, 2019;
originally announced August 2019.
-
Locality and causality in perturbative AQFT
Authors:
Kasia Rejzner
Abstract:
In this paper we discuss how seemingly different notions of locality and causality in quantum field theory can be unified using a non-abelian generalization of the Hammerstein property (originally introduced as a weaker version of linearity). We also prove a generalization of the main theorem of renormalization, in which we do not require field independence.
In this paper we discuss how seemingly different notions of locality and causality in quantum field theory can be unified using a non-abelian generalization of the Hammerstein property (originally introduced as a weaker version of linearity). We also prove a generalization of the main theorem of renormalization, in which we do not require field independence.
△ Less
Submitted 28 December, 2019; v1 submitted 5 June, 2019;
originally announced June 2019.
-
Algebraic Quantum Field Theory -- an introduction
Authors:
Christopher J. Fewster,
Kasia Rejzner
Abstract:
We give a pedagogical introduction to algebraic quantum field theory (AQFT), with the aim of explaining its key structures and features. Topics covered include: algebraic formulations of quantum theory and the GNS representation theorem, the appearance of unitarily inequivalent representations in QFT (exemplified by the van Hove model), the main assumptions of AQFT and simple models thereof, the s…
▽ More
We give a pedagogical introduction to algebraic quantum field theory (AQFT), with the aim of explaining its key structures and features. Topics covered include: algebraic formulations of quantum theory and the GNS representation theorem, the appearance of unitarily inequivalent representations in QFT (exemplified by the van Hove model), the main assumptions of AQFT and simple models thereof, the spectrum condition, Reeh--Schlieder theorem, split property, the universal type of local algebras, and the theory of superselection sectors. The abstract discussion is illustrated by concrete examples. One of our concerns is to explain various ways in which quantum field theory differs from quantum mechanics, not just in terms of technical detail, but in terms of physical content. The text is supplemented by exercises and appendices that enlarge on some of the relevant mathematical background. These notes are based on lectures given by CJF for the International Max Planck Research School at the Albert Einstein Institute, Golm (October, 2018) and by KR at the Raman Research Institute, Bangalore (January, 2019).
△ Less
Submitted 18 November, 2019; v1 submitted 8 April, 2019;
originally announced April 2019.
-
Local nets of von Neumann algebras in the Sine-Gordon model
Authors:
Dorothea Bahns,
Klaus Fredenhagen,
Kasia Rejzner
Abstract:
The Haag-Kastler net of local von Neumann algebras is constructed in the ultraviolet finite regime of the sine-Gordon model, and its equivalence with the massive Thirring model is proved. In contrast to other authors, we do not add an auxiliary mass term, and we work completely in Lorentzian signature. The construction is based on the functional formalism for perturbative Algebraic Quantum Field T…
▽ More
The Haag-Kastler net of local von Neumann algebras is constructed in the ultraviolet finite regime of the sine-Gordon model, and its equivalence with the massive Thirring model is proved. In contrast to other authors, we do not add an auxiliary mass term, and we work completely in Lorentzian signature. The construction is based on the functional formalism for perturbative Algebraic Quantum Field Theory together with estimates originally derived within Constructive Quantum Field Theory and adapted to Lorentzian signature. The paper extends previous work by two of us.
△ Less
Submitted 7 December, 2017;
originally announced December 2017.
-
Relating nets and factorization algebras of observables: free field theories
Authors:
Owen Gwilliam,
Kasia Rejzner
Abstract:
In this paper we relate two mathematical frameworks that make perturbative quantum field theory rigorous: perturbative algebraic quantum field theory (pAQFT) and the factorization algebras framework developed by Costello and Gwilliam. To make the comparison as explicit as possible, we use the free scalar field as our running example, while giving proofs that apply to any field theory whose equatio…
▽ More
In this paper we relate two mathematical frameworks that make perturbative quantum field theory rigorous: perturbative algebraic quantum field theory (pAQFT) and the factorization algebras framework developed by Costello and Gwilliam. To make the comparison as explicit as possible, we use the free scalar field as our running example, while giving proofs that apply to any field theory whose equations of motion are Green-hyperbolic (which includes, for instance, free fermions). The main claim is that for such free theories, there is a natural transformation intertwining the two constructions. In fact, both approaches encode equivalent information if one assumes the time-slice axiom. The key technical ingredient is to use time-ordered products as an intermediate step between a net of associative algebras and a factorization algebra.
△ Less
Submitted 6 November, 2019; v1 submitted 17 November, 2017;
originally announced November 2017.
-
Properties of field functionals and characterization of local functionals
Authors:
Christian Brouder,
Nguyen Viet Dang,
Camille Laurent-Gengoux,
Kasia Rejzner
Abstract:
Functionals (i.e. functions of functions) are widely used in quantum field theory and solid-state physics. In this paper, functionals are given a rigorous mathematical framework and their main properties are described. The choice of the proper space of test functions (smooth functions) and of the relevant concept of differential (Bastiani differential) are discussed.
The relation between the mul…
▽ More
Functionals (i.e. functions of functions) are widely used in quantum field theory and solid-state physics. In this paper, functionals are given a rigorous mathematical framework and their main properties are described. The choice of the proper space of test functions (smooth functions) and of the relevant concept of differential (Bastiani differential) are discussed.
The relation between the multiple derivatives of a functional and the corresponding distributions is described in detail. It is proved that, in a neighborhood of every test function, the support of a smooth functional is uniformly compactly supported and the order of the corresponding distribution is uniformly bounded. Relying on a recent work by Yoann Dabrowski, several spaces of functionals are furnished with a complete and nuclear topology. In view of physical applications, it is shown that most formal manipulations can be given a rigorous meaning.
A new concept of local functionals is proposed and two characterizations of them are given: the first one uses the additivity (or Hammerstein) property, the second one is a variant of Peetre's theorem. Finally, the first step of a cohomological approach to quantum field theory is carried out by proving a global Poincaré lemma and defining multi-vector fields and graded functionals within our framework.
△ Less
Submitted 3 December, 2017; v1 submitted 3 May, 2017;
originally announced May 2017.
-
The Star Product in Interacting Quantum Field Theory
Authors:
Eli Hawkins,
Kasia Rejzner
Abstract:
We propose a new formula for the star product in deformation quantization of Poisson structures related in a specific way to a variational problem for a function $S$, interpreted as the action functional. Our approach is motivated by perturbative Algebraic Quantum Field Theory (pAQFT). We provide a direct combinatorial formula for the star product and we show that it can be applied to a certain cl…
▽ More
We propose a new formula for the star product in deformation quantization of Poisson structures related in a specific way to a variational problem for a function $S$, interpreted as the action functional. Our approach is motivated by perturbative Algebraic Quantum Field Theory (pAQFT). We provide a direct combinatorial formula for the star product and we show that it can be applied to a certain class of infinite dimensional manifolds (e.g., regular observables in pAQFT). This is the first step towards understanding how pAQFT can be formulated such that the only formal parameter is $\hbar$, while the coupling constant can be treated as a number.
In the introductory part of the paper, apart from reviewing the framework, we make precise several statements present in the pAQFT literature and recast these in the language of (formal) deformation quantization. Finally, we use our formalism to streamline the proof of perturbative agreement provided by Drago, Hack, and Pinamonti and to generalize some of the results obtained in that work to the case of a non-linear interaction.
△ Less
Submitted 1 July, 2019; v1 submitted 29 December, 2016;
originally announced December 2016.
-
The Quantum Sine Gordon model in perturbative AQFT
Authors:
Dorothea Bahns,
Kasia Rejzner
Abstract:
We study the Sine-Gordon model with Minkowski signature in the framework of perturbative algebraic quantum field theory. We calculate the vertex operator algebra braiding property. We prove that in the finite regime of the model, the expectation value - with respect to the vacuum or a Hadamard state - of the Epstein Glaser S-matrix and the interacting current or the field respectively, both given…
▽ More
We study the Sine-Gordon model with Minkowski signature in the framework of perturbative algebraic quantum field theory. We calculate the vertex operator algebra braiding property. We prove that in the finite regime of the model, the expectation value - with respect to the vacuum or a Hadamard state - of the Epstein Glaser S-matrix and the interacting current or the field respectively, both given as formal power series, converge.
△ Less
Submitted 6 February, 2017; v1 submitted 27 September, 2016;
originally announced September 2016.
-
Cosmological perturbation theory and quantum gravity
Authors:
Romeo Brunetti,
Klaus Fredenhagen,
Thomas-Paul Hack,
Nicola Pinamonti,
Katarzyna Rejzner
Abstract:
It is shown how cosmological perturbation theory arises from a fully quantized perturbative theory of quantum gravity. Central for the derivation is a non-perturbative concept of gauge-invariant local observables by means of which perturbative invariant expressions of arbitrary order are generated. In particular, in the linearised theory, first order gauge-invariant observables familiar from cosmo…
▽ More
It is shown how cosmological perturbation theory arises from a fully quantized perturbative theory of quantum gravity. Central for the derivation is a non-perturbative concept of gauge-invariant local observables by means of which perturbative invariant expressions of arbitrary order are generated. In particular, in the linearised theory, first order gauge-invariant observables familiar from cosmological perturbation theory are recovered. Explicit expressions of second order quantities are presented as well.
△ Less
Submitted 9 May, 2016;
originally announced May 2016.
-
Effective quantum gravity observables and locally covariant QFT
Authors:
Kasia Rejzner
Abstract:
Perturbative algebraic quantum field theory (pAQFT) is a mathematically rigorous framework that allows to construct models of quantum field theories on a general class of Lorentzian manifolds. Recently this idea has been applied also to perturbative quantum gravity, treated as an effective theory. The difficulty was to find the right notion of observables that would in an appropriate sense be diff…
▽ More
Perturbative algebraic quantum field theory (pAQFT) is a mathematically rigorous framework that allows to construct models of quantum field theories on a general class of Lorentzian manifolds. Recently this idea has been applied also to perturbative quantum gravity, treated as an effective theory. The difficulty was to find the right notion of observables that would in an appropriate sense be diffeomorphism invariant. In this article I will outline a general framework that allows to quantize theories with local symmetries (this includes infinitesimal diffeomorphism transformations) with the use of the BV (Batalin-Vilkovisky) formalism. This approach has been successfully applied to effective quantum gravity in a recent paper by R. Brunetti, K. Fredenhagen and myself. In the same paper we also proved perturbative background independence of the quantized theory, which is going to be discussed in the present work as well.
△ Less
Submitted 22 March, 2016;
originally announced March 2016.
-
Renormalization and periods in perturbative Algebraic Quantum Field Theory
Authors:
Kasia Rejzner
Abstract:
In this paper I give an overview of mathematical structures appearing in perturbative algebraic quantum field theory (pAQFT) in the case of the massless scalar field on Minkowski spacetime. I also show how these relate to Kontsevich-Zagier periods. Next, I review the pAQFT version of the renormalization group flow and reformulate it in terms of Feynman graphs. This allows me to relate Kontsevich-Z…
▽ More
In this paper I give an overview of mathematical structures appearing in perturbative algebraic quantum field theory (pAQFT) in the case of the massless scalar field on Minkowski spacetime. I also show how these relate to Kontsevich-Zagier periods. Next, I review the pAQFT version of the renormalization group flow and reformulate it in terms of Feynman graphs. This allows me to relate Kontsevich-Zagier periods to numbers appearing in computing the pAQFT $β$-function.
△ Less
Submitted 9 September, 2017; v1 submitted 8 March, 2016;
originally announced March 2016.
-
Perturbative Construction of Models of Algebraic Quantum Field Theory
Authors:
Klaus Fredenhagen,
Katarzyna Rejzner
Abstract:
We review the construction of models of algebraic quantum field theory by renormalized perturbation theory.
We review the construction of models of algebraic quantum field theory by renormalized perturbation theory.
△ Less
Submitted 26 March, 2015;
originally announced March 2015.
-
QFT on curved spacetimes: axiomatic framework and examples
Authors:
Klaus Fredenhagen,
Katarzyna Rejzner
Abstract:
In this overview article we present a formalism suitable for constructing models of QFT's on curved spacetimes. The leading principle is the emphasis on local properties. It turns out that this requires a reformulation of the standard QFT framework which also yields a new perspective for the theories on Minkowski space. The aim of the present work is to provide an introduction into the framework,…
▽ More
In this overview article we present a formalism suitable for constructing models of QFT's on curved spacetimes. The leading principle is the emphasis on local properties. It turns out that this requires a reformulation of the standard QFT framework which also yields a new perspective for the theories on Minkowski space. The aim of the present work is to provide an introduction into the framework, which should be accessible for both mathematical physicists and mathematicians.
△ Less
Submitted 24 July, 2020; v1 submitted 16 December, 2014;
originally announced December 2014.
-
Dimensional Regularization in Position Space, and a Forest Formula for Epstein-Glaser Renormalization
Authors:
Michael Duetsch,
Klaus Fredenhagen,
Kai Johannes Keller,
Katarzyna Rejzner
Abstract:
We reformulate dimensional regularization as a regularization method in position space and show that it can be used to give a closed expression for the renormalized time-ordered products as solutions to the induction scheme of Epstein-Glaser. For scalar fields the resulting renormalization method is always applicable, we compute several examples. We also analyze the Hopf algebraic aspects of the c…
▽ More
We reformulate dimensional regularization as a regularization method in position space and show that it can be used to give a closed expression for the renormalized time-ordered products as solutions to the induction scheme of Epstein-Glaser. For scalar fields the resulting renormalization method is always applicable, we compute several examples. We also analyze the Hopf algebraic aspects of the combinatorics. Our starting point is the Main Theorem of Renormalization of Stora and Popineau and the arising renormalization group as originally defined by Stueckelberg and Petermann.
△ Less
Submitted 31 October, 2014; v1 submitted 21 November, 2013;
originally announced November 2013.
-
Quantum gravity from the point of view of locally covariant quantum field theory
Authors:
Romeo Brunetti,
Klaus Fredenhagen,
Katarzyna Rejzner
Abstract:
We construct perturbative quantum gravity in a generally covariant way. In particular our construction is background independent. It is based on the locally covariant approach to quantum field theory and the renormalized Batalin-Vilkovisky formalism. We do not touch the problem of nonrenormalizability and interpret the theory as an effective theory at large length scales.
We construct perturbative quantum gravity in a generally covariant way. In particular our construction is background independent. It is based on the locally covariant approach to quantum field theory and the renormalized Batalin-Vilkovisky formalism. We do not touch the problem of nonrenormalizability and interpret the theory as an effective theory at large length scales.
△ Less
Submitted 27 November, 2015; v1 submitted 5 June, 2013;
originally announced June 2013.
-
Remarks on local symmetry invariance in perturbative algebraic quantum field theory
Authors:
Katarzyna Rejzner
Abstract:
We investigate various aspects of invariance under local symmetries in the framework of perturbative algebraic quantum field theory (pAQFT). Our main result is the proof that the quantum Batalin-Vilkovisky (BV) operator, on-shell, can be written as the commutator with the interacting BRST charge. Up to now, this was proven only for a certain class of fields in quantum electrodynamics and in Yang-M…
▽ More
We investigate various aspects of invariance under local symmetries in the framework of perturbative algebraic quantum field theory (pAQFT). Our main result is the proof that the quantum Batalin-Vilkovisky (BV) operator, on-shell, can be written as the commutator with the interacting BRST charge. Up to now, this was proven only for a certain class of fields in quantum electrodynamics and in Yang-Mills theory. Our result is more general and it holds in a wide class of theories with local symmetries, including general relativity and the bosonic string. We also comment on other issues related to local gauge invariance and, using the language of homological algebra, we compare different approaches to quantization of gauge theories in the pAQFT framework.
△ Less
Submitted 27 November, 2013; v1 submitted 29 January, 2013;
originally announced January 2013.
-
Perturbative algebraic quantum field theory
Authors:
Klaus Fredenhagen,
Katarzyna Rejzner
Abstract:
These notes are based on the course given by Klaus Fredenhagen at the Les Houches Winter School in Mathematical Physics (January 29 - February 3, 2012) and the course "QFT for mathematicians" given by Katarzyna Rejzner in Hamburg for the Research Training Group 1670 (February 6 -11, 2012). Both courses were meant as an introduction to modern approach to perturbative quantum field theory and are ai…
▽ More
These notes are based on the course given by Klaus Fredenhagen at the Les Houches Winter School in Mathematical Physics (January 29 - February 3, 2012) and the course "QFT for mathematicians" given by Katarzyna Rejzner in Hamburg for the Research Training Group 1670 (February 6 -11, 2012). Both courses were meant as an introduction to modern approach to perturbative quantum field theory and are aimed both at mathematicians and physicists.
△ Less
Submitted 27 February, 2013; v1 submitted 7 August, 2012;
originally announced August 2012.
-
The Locality Axiom in Quantum Field Theory and Tensor Products of $C^*$-algebras
Authors:
Romeo Brunetti,
Klaus Fredenhagen,
Paniz Imani,
Katarzyna Rejzner
Abstract:
The prototype of mutually independent systems are systems which are localized in spacelike separated regions. In the framework of locally covariant quantum field theory we show that the commutativity of observables in spacelike separated regions can be encoded in the tensorial structure of the functor which associates unital $C^*$-algebras (the local observable algebras) to globally hyperbolic spa…
▽ More
The prototype of mutually independent systems are systems which are localized in spacelike separated regions. In the framework of locally covariant quantum field theory we show that the commutativity of observables in spacelike separated regions can be encoded in the tensorial structure of the functor which associates unital $C^*$-algebras (the local observable algebras) to globally hyperbolic spacetimes. This holds under the assumption that the local algebras satisfy the split property and involves the minimal tensor product of $C^*$-algebras.
△ Less
Submitted 24 June, 2012;
originally announced June 2012.
-
The effective theory of strings
Authors:
Dorothea Bahns,
Katarzyna Rejzner,
Jochen Zahn
Abstract:
We show that the Nambu-Goto string, and its higher dimensional generalizations, can be quantized, in the sense of an effective theory, in any dimension of the target space. The crucial point is to consider expansions around classical string configurations. We are using tools from perturbative algebraic quantum field theory, quantum field theory on curved spacetimes, and the Batalin-Vilkovisky form…
▽ More
We show that the Nambu-Goto string, and its higher dimensional generalizations, can be quantized, in the sense of an effective theory, in any dimension of the target space. The crucial point is to consider expansions around classical string configurations. We are using tools from perturbative algebraic quantum field theory, quantum field theory on curved spacetimes, and the Batalin-Vilkovisky formalism. Our model has some similarities with the Lüscher-Weisz string, but we allow for arbitrary classical background string configurations and keep the diffeomorphism invariance.
△ Less
Submitted 26 November, 2013; v1 submitted 27 April, 2012;
originally announced April 2012.
-
Batalin-Vilkovisky formalism in locally covariant field theory
Authors:
Katarzyna Rejzner
Abstract:
The present work contains a complete formulation of the Batalin-Vilkovisky (BV) formalism in the framework of locally covariant field theory. In the first part of the thesis the classical theory is investigated with a particular focus on the infinite dimensional character of the underlying structures. It is shown that the use of infinite dimensional differential geometry allows for a conceptually…
▽ More
The present work contains a complete formulation of the Batalin-Vilkovisky (BV) formalism in the framework of locally covariant field theory. In the first part of the thesis the classical theory is investigated with a particular focus on the infinite dimensional character of the underlying structures. It is shown that the use of infinite dimensional differential geometry allows for a conceptually clear and elegant formulation. The construction of the BV complex is performed in a fully covariant way and we also generalize the BV framework to a more abstract level, using functors and natural transformations. In this setting we construct the BV complex for classical gravity. This allows us to give a homological interpretation to the notion of diffeomorphism invariant physical quantities in general relativity.
The second part of the thesis concerns the quantum theory. We provide a framework for the BV quantization that doesn't rely on the path integral formalism, but is completely formulated within perturbative algebraic quantum field theory. To make such a formulation possible we first prove that the renormalized time-ordered product can be understood as a binary operation on a suitable domain. Using this result we prove the associativity of this product and provide a consistent framework for the renormalized BV structures. In particular the renormalized quantum master equation and the renormalized quantum BV operator are defined. To give a precise meaning to theses objects we make a use of the master Ward identity, which is an important structure in causal perturbation theory.
△ Less
Submitted 17 May, 2013; v1 submitted 22 November, 2011;
originally announced November 2011.
-
Batalin-Vilkovisky formalism in perturbative algebraic quantum field theory
Authors:
Klaus Fredenhagen,
Katarzyna Rejzner
Abstract:
On the basis of a thorough discussion of the Batalin-Vilkovisky formalism for classical field theory presented in our previous publication, we construct in this paper the Batalin-Vilkovisky complex in perturbatively renormalized quantum field theory. The crucial technical ingredient is a proof that the renormalized time-ordered product is equivalent to the pointwise product of classical field theo…
▽ More
On the basis of a thorough discussion of the Batalin-Vilkovisky formalism for classical field theory presented in our previous publication, we construct in this paper the Batalin-Vilkovisky complex in perturbatively renormalized quantum field theory. The crucial technical ingredient is a proof that the renormalized time-ordered product is equivalent to the pointwise product of classical field theory. The renormalized Batalin-Vilkovisky algebra is then the classical algebra but written in terms of the time-ordered product, together with an operator which replaces the ill defined graded Laplacian of the unrenormalized theory. We identify it with the anomaly term of the anomalous Master Ward Identity of Brennecke and Dütsch. Contrary to other approaches we do not refer to the path integral formalism and do not need to use regularizations in intermediate steps.
△ Less
Submitted 12 June, 2014; v1 submitted 24 October, 2011;
originally announced October 2011.
-
Spacelike localization of long-range fields in a model of asymptotic electrodynamics
Authors:
Andrzej Herdegen,
Katarzyna Rejzner
Abstract:
A previously proposed algebra of asymptotic fields in quantum electrodynamics is formulated as a net of algebras localized in regions which in general have unbounded spacelike extension. Electromagnetic fields may be localized in `symmetrical spacelike cones', but there are strong indications this is not possible in the present model for charged fields, which have tails extending in all space dire…
▽ More
A previously proposed algebra of asymptotic fields in quantum electrodynamics is formulated as a net of algebras localized in regions which in general have unbounded spacelike extension. Electromagnetic fields may be localized in `symmetrical spacelike cones', but there are strong indications this is not possible in the present model for charged fields, which have tails extending in all space directions. Nevertheless, products of appropriately `dressed' fermion fields (with compensating charges) yield bi-localized observables.
△ Less
Submitted 5 March, 2011;
originally announced March 2011.
-
Local covariance and background independence
Authors:
Klaus Fredenhagen,
Katarzyna Rejzner
Abstract:
One of the many conceptual difficulties in the development of quantum gravity is the role of a background geometry for the structure of quantum field theory. To some extent the problem can be solved by the principle of local covariance. The principle of local covariance was originally imposed in order to restrict the renormalization freedom for quantum field theories on generic spacetimes. It turn…
▽ More
One of the many conceptual difficulties in the development of quantum gravity is the role of a background geometry for the structure of quantum field theory. To some extent the problem can be solved by the principle of local covariance. The principle of local covariance was originally imposed in order to restrict the renormalization freedom for quantum field theories on generic spacetimes. It turned out that it can also be used to implement the request of background independence. Locally covariant fields then arise as background independent entities.
△ Less
Submitted 11 February, 2011;
originally announced February 2011.
-
Fermionic fields in the functional approach to classical field theory
Authors:
Katarzyna Rejzner
Abstract:
In this paper, we present a formulation of the classical theory of Fermionic (anticommuting) fields, which fits into the general framework proposed by K.Fredenhagen, M.Duetsch and R.Brunetti. It was inspired by the recent developments in perturbative algebraic quantum field theory and allows for a deeper structural understanding also on the classical level. We propose a modification of this formal…
▽ More
In this paper, we present a formulation of the classical theory of Fermionic (anticommuting) fields, which fits into the general framework proposed by K.Fredenhagen, M.Duetsch and R.Brunetti. It was inspired by the recent developments in perturbative algebraic quantum field theory and allows for a deeper structural understanding also on the classical level. We propose a modification of this formalism that allows to treat also Fermionic fields. In contrast to other formulations of classical theory of anticommuting variables, we don't introduce additional Grassman degrees of freedom. Instead the anticommutativity is introduced in a natural way on the level of functionals. Moreover our construction incorporates the functional-analytic and topological aspects, which is usually neglected in the treatments of anticommuting fields. We also give an example of an interacting model where our framework can be applied.
△ Less
Submitted 14 November, 2011; v1 submitted 26 January, 2011;
originally announced January 2011.
-
Batalin-Vilkovisky formalism in the functional approach to classical field theory
Authors:
Klaus Fredenhagen,
Katarzyna Rejzner
Abstract:
We develop the Batalin-Vilkovisky formalism for classical field theory on generic globally hyperbolic spacetimes. A crucial aspect of our treatment is the incorporation of the principle of local covariance which amounts to formulate the theory without reference to a distinguished spacetime. In particular, this allows a homological construction of the Poisson algebra of observables in classical gra…
▽ More
We develop the Batalin-Vilkovisky formalism for classical field theory on generic globally hyperbolic spacetimes. A crucial aspect of our treatment is the incorporation of the principle of local covariance which amounts to formulate the theory without reference to a distinguished spacetime. In particular, this allows a homological construction of the Poisson algebra of observables in classical gravity. Our methods heavily rely on the differential geometry of configuration spaces of classical fields.
△ Less
Submitted 5 July, 2011; v1 submitted 26 January, 2011;
originally announced January 2011.
