-
Classical and quantum KMS states on spin lattice systems
Authors:
Nicolò Drago,
Lorenzo Pettinari,
Christiaan J. F. van de Ven
Abstract:
We study the classical and quantum KMS conditions within the context of spin lattice systems. Specifically, we define a strict deformation quantization (SDQ) for a $\mathbb{S}^2$-valued spin lattice system over $\mathbb{Z}^d$ generalizing the renown Berezin SDQ for a single sphere. This allows to promote a classical dynamics on the algebra of classical observables to a quantum dynamics on the alge…
▽ More
We study the classical and quantum KMS conditions within the context of spin lattice systems. Specifically, we define a strict deformation quantization (SDQ) for a $\mathbb{S}^2$-valued spin lattice system over $\mathbb{Z}^d$ generalizing the renown Berezin SDQ for a single sphere. This allows to promote a classical dynamics on the algebra of classical observables to a quantum dynamics on the algebra of quantum observables. We then compare the notion of classical and quantum thermal equilibrium by showing that any weak*-limit point of a sequence of quantum KMS states fulfils the classical KMS condition. In short, this proves that the semiclassical limit of quantum thermal states describes classical thermal equilibrium, strenghtening the physical interpretation of the classical KMS condition. Finally we provide two sufficient conditions ensuring uniqueness of classical and quantum KMS states: The latter are based on an version of the Kirkwood-Salzburg equations adapted to the system of interest. As a consequence we identify a mild condition which ensures uniqueness of classical KMS states and of quantum KMS states for the quantized dynamics for a common sufficiently high temperature.
△ Less
Submitted 16 March, 2025; v1 submitted 18 June, 2024;
originally announced June 2024.
-
Feynman path integrals on compact Lie groups with bi-invariant Riemannian metrics
Authors:
Nicoló Drago,
Sonia Mazzucchi,
Valter Moretti
Abstract:
In this work we consider a suitable generalization of the Feynman path integral on a specific class of Riemannian manifolds consisting of compact Lie groups with bi-invariant Riemannian metrics. The main tools we use are the Cartan development map, the notion of oscillatory integral, and the Chernoff approximation theorem. We prove that, for a class of functions of a dense subspace of the relevant…
▽ More
In this work we consider a suitable generalization of the Feynman path integral on a specific class of Riemannian manifolds consisting of compact Lie groups with bi-invariant Riemannian metrics. The main tools we use are the Cartan development map, the notion of oscillatory integral, and the Chernoff approximation theorem. We prove that, for a class of functions of a dense subspace of the relevant Hilbert space, the Feynman map produces the solution of the Schrödinger equation, where the Laplace-Beltrami operator coincides with the second order Casimir operator of the group.
△ Less
Submitted 21 May, 2025; v1 submitted 6 July, 2023;
originally announced July 2023.
-
On the Cauchy problem for the Fadaray tensor on globally hyperbolic manifolds with timelike boundary
Authors:
Nicoló Drago,
Nicolas Ginoux,
Simone Murro
Abstract:
We study the well-posedness of the Cauchy problem for the Faraday tensor on globally hyperbolic manifolds with timelike boundary. The existence of Green operators for the operator $\mathrm{d}+δ$ and a suitable pre-symplectic structure on the space of solutions are discussed.
We study the well-posedness of the Cauchy problem for the Faraday tensor on globally hyperbolic manifolds with timelike boundary. The existence of Green operators for the operator $\mathrm{d}+δ$ and a suitable pre-symplectic structure on the space of solutions are discussed.
△ Less
Submitted 22 September, 2023; v1 submitted 12 June, 2023;
originally announced June 2023.
-
DLR-KMS correspondence on lattice spin systems
Authors:
Nicolò Drago,
Christiaan J. F. van de Ven
Abstract:
The Dobrushin-Lanford-Ruelle (DLR) condition and the classical Kubo-Martin-Schwinger (KMS) condition are considered in the context of classical lattice systems. In particular, we prove that these conditions are equivalent for the case of a lattice spin system with values in a compact symplectic manifold by showing that infinite volume Gibbs states are in bijection with KMS states.
The Dobrushin-Lanford-Ruelle (DLR) condition and the classical Kubo-Martin-Schwinger (KMS) condition are considered in the context of classical lattice systems. In particular, we prove that these conditions are equivalent for the case of a lattice spin system with values in a compact symplectic manifold by showing that infinite volume Gibbs states are in bijection with KMS states.
△ Less
Submitted 28 July, 2023; v1 submitted 6 April, 2023;
originally announced April 2023.
-
An algebraic correspondence between stochastic differential equations and the Martin-Siggia-Rose formalism
Authors:
Alberto Bonicelli,
Claudio Dappiaggi,
Nicolò Drago
Abstract:
In the realm of complex systems, dynamics is often modeled in terms of a non-linear, stochastic, ordinary differential equation (SDE) with either an additive or a multiplicative Gaussian white noise. In addition to a well-established collection of results proving existence and uniqueness of the solutions, it is of particular relevance the explicit computation of expectation values and correlation…
▽ More
In the realm of complex systems, dynamics is often modeled in terms of a non-linear, stochastic, ordinary differential equation (SDE) with either an additive or a multiplicative Gaussian white noise. In addition to a well-established collection of results proving existence and uniqueness of the solutions, it is of particular relevance the explicit computation of expectation values and correlation functions, since they encode the key physical information of the system under investigation. A pragmatically efficient way to dig out these quantities consists of the Martin-Siggia-Rose (MSR) formalism which establishes a correspondence between a large class of SDEs and suitably constructed field theories formulated by means of a path integral approach. Despite the effectiveness of this duality, there is no corresponding, mathematically rigorous proof of such correspondence. We address this issue using techniques proper of the algebraic approach to quantum field theories which is known to provide a valuable framework to discuss rigorously the path integral formulation of field theories as well as the solution theory both of ordinary and of partial, stochastic differential equations. In particular, working in this framework, we establish rigorously, albeit at the level of perturbation theory, a correspondence between correlation functions and expectation values computed either in the SDE or in the MSR formalism.
△ Less
Submitted 21 March, 2025; v1 submitted 21 February, 2023;
originally announced February 2023.
-
Strict deformation quantization and local spin interactions
Authors:
Nicolò Drago,
Christiaan J. F. van de Ven
Abstract:
We define a strict deformation quantization which is compatible with any Hamiltonian with local spin interaction (e.g. the Heisenberg Hamiltonian) for a spin chain. This is a generalization of previous results known for mean-field theories. The main idea is to study the asymptotic properties of a suitably defined algebra of sequences invariant under the group generated by a cyclic permutation. Our…
▽ More
We define a strict deformation quantization which is compatible with any Hamiltonian with local spin interaction (e.g. the Heisenberg Hamiltonian) for a spin chain. This is a generalization of previous results known for mean-field theories. The main idea is to study the asymptotic properties of a suitably defined algebra of sequences invariant under the group generated by a cyclic permutation. Our point of view is similar to the one adopted by Landsman, Moretti and van de Ven, who considered a strict deformation quantization for the case of mean-field theories. However, the methods for a local spin interaction are considerably more involved, due to the presence of a strictly smaller symmetry group.
△ Less
Submitted 24 January, 2024; v1 submitted 19 October, 2022;
originally announced October 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.
-
Møller operators and Hadamard states for Dirac fields with MIT boundary conditions
Authors:
Nicolò Drago,
Nicolas Ginoux,
Simone Murro
Abstract:
The aim of this paper is to prove the existence of Hadamard states for Dirac fields coupled with MIT boundary conditions on any globally hyperbolic manifold with timelike boundary. This is achieved by introducing a geometric Møller operator which implements a unitary isomorphism between the spaces of $L^2$ -initial data of particular symmetric systems we call weakly-hyperbolic and which are couple…
▽ More
The aim of this paper is to prove the existence of Hadamard states for Dirac fields coupled with MIT boundary conditions on any globally hyperbolic manifold with timelike boundary. This is achieved by introducing a geometric Møller operator which implements a unitary isomorphism between the spaces of $L^2$ -initial data of particular symmetric systems we call weakly-hyperbolic and which are coupled with admissible boundary conditions. In particular, we show that for Dirac fields with MIT boundary conditions, this isomorphism can be lifted to a $*$-isomorphism between the algebras of Dirac fields and that any Hadamard state can be pulled back along this $*$-isomorphism preserving the singular structure of its two-point distribution.
△ Less
Submitted 22 November, 2021; v1 submitted 3 September, 2021;
originally announced September 2021.
-
Classical KMS Functionals and Phase Transitions in Poisson Geometry
Authors:
Nicolò Drago,
Stefan Waldmann
Abstract:
We study the convex cone of not necessarily smooth measures satisfying the classical KMS condition within the context of Poisson geometry. We discuss the general properties of KMS measures and its relation with the underlying Poisson geometry in analogy to Weinstein's seminal work in the smooth case. Moreover, by generalizing results from the symplectic case, we focus on the case of $b$-Poisson ma…
▽ More
We study the convex cone of not necessarily smooth measures satisfying the classical KMS condition within the context of Poisson geometry. We discuss the general properties of KMS measures and its relation with the underlying Poisson geometry in analogy to Weinstein's seminal work in the smooth case. Moreover, by generalizing results from the symplectic case, we focus on the case of $b$-Poisson manifolds, where we provide an almost complete characterization of the convex cone of KMS measures.
△ Less
Submitted 26 April, 2023; v1 submitted 9 July, 2021;
originally announced July 2021.
-
The Cauchy problem of the Lorentzian Dirac operator with APS boundary conditions
Authors:
Nicolò Drago,
Nadine Große,
Simone Murro
Abstract:
We consider the classical Dirac operator on globally hyperbolic manifolds with timelike boundary and show well-posedness of the Cauchy initial-boundary value problem coupled to APS-boundary conditions. This is achieved by deriving suitable energy estimates, which play a fundamental role in establishing uniqueness and existence of weak solutions. Finally, by introducing suitable mollifier operators…
▽ More
We consider the classical Dirac operator on globally hyperbolic manifolds with timelike boundary and show well-posedness of the Cauchy initial-boundary value problem coupled to APS-boundary conditions. This is achieved by deriving suitable energy estimates, which play a fundamental role in establishing uniqueness and existence of weak solutions. Finally, by introducing suitable mollifier operators, we study the differentiability of the solutions. For obtaining smoothness we need additional technical conditions.
△ Less
Submitted 1 April, 2021;
originally announced April 2021.
-
A Microlocal Approach to Renormalization in Stochastic PDEs
Authors:
Claudio Dappiaggi,
Nicolò Drago,
Paolo Rinaldi,
Lorenzo Zambotti
Abstract:
We present a novel framework for the study of a large class of non-linear stochastic PDEs, which is inspired by the algebraic approach to quantum field theory. The main merit is that, by realizing random fields within a suitable algebra of functional-valued distributions, we are able to use techniques proper of microlocal analysis which allow us to discuss renormalization and its associated freedo…
▽ More
We present a novel framework for the study of a large class of non-linear stochastic PDEs, which is inspired by the algebraic approach to quantum field theory. The main merit is that, by realizing random fields within a suitable algebra of functional-valued distributions, we are able to use techniques proper of microlocal analysis which allow us to discuss renormalization and its associated freedomw without resorting to any regularization scheme and to the subtraction of infinities. As an example of the effectiveness of the approach we apply it to the perturbative analysis of the stochastic $Φ^3_d$ model.
△ Less
Submitted 9 June, 2021; v1 submitted 16 September, 2020;
originally announced September 2020.
-
Global wave parametrices on globally hyperbolic spacetimes
Authors:
Matteo Capoferri,
Claudio Dappiaggi,
Nicolò Drago
Abstract:
In a recent work the first named author, Levitin and Vassiliev have constructed the wave propagator on a closed Riemannian manifold $M$ as a single oscillatory integral global both in space and in time with a distinguished complex-valued phase function. In this paper, first we give a natural reinterpretation of the underlying algorithmic construction in the language of ultrastatic Lorentzian manif…
▽ More
In a recent work the first named author, Levitin and Vassiliev have constructed the wave propagator on a closed Riemannian manifold $M$ as a single oscillatory integral global both in space and in time with a distinguished complex-valued phase function. In this paper, first we give a natural reinterpretation of the underlying algorithmic construction in the language of ultrastatic Lorentzian manifolds. Subsequently we show that the construction carries over to the case of static backgrounds thanks to a suitable reduction to the ultrastatic scenario. Finally we prove that the overall procedure can be generalised to any globally hyperbolic spacetime with compact Cauchy surfaces. As an application, we discuss how, from our procedure, one can recover the local Hadamard expansion which plays a key role in all applications in quantum field theory on curved backgrounds.
△ Less
Submitted 29 June, 2020; v1 submitted 13 January, 2020;
originally announced January 2020.
-
An operational construction of the sum of two non-commuting observables in quantum theory and related constructions
Authors:
Nicolò Drago,
Sonia Mazzucchi,
Valter Moretti
Abstract:
The existence of a real linear-space structure on the set of observables of a quantum system -- i.e., the requirement that the linear combination of two generally non-commuting observables $A,B$ is an observable as well -- is a fundamental postulate of the quantum theory yet before introducing any structure of algebra. However, it is by no means clear how to choose the measuring instrument of the…
▽ More
The existence of a real linear-space structure on the set of observables of a quantum system -- i.e., the requirement that the linear combination of two generally non-commuting observables $A,B$ is an observable as well -- is a fundamental postulate of the quantum theory yet before introducing any structure of algebra. However, it is by no means clear how to choose the measuring instrument of the composed observable $aA+bB$ ($a,b\in \mathbb{R}$) if such measuring instruments are given for the addends observables $A$ and $B$ when they are incompatible observables. A mathematical version of this dilemma is how to construct the spectral measure of $f(aA+bB)$ out of the spectral measures of $A$ and $B$. We present such a construction with a formula which is valid for generally unbounded selfadjoint operators $A$ and $B$, whose spectral measures may not commute, and a wide class of functions $f: \mathbb{R} \to \mathbb{C}$. We prove that, in the bounded case the Jordan product of $A$ and $B$ can be constructed with the same procedure out of the spectral measures of $A$ and $B$. The formula turns out to have an interesting operational interpretation and, in particular cases, a nice interplay with the theory of Feynman path integration and the Feynman-Kac formula.
△ Less
Submitted 23 September, 2020; v1 submitted 24 September, 2019;
originally announced September 2019.
-
On Maxwell's Equations on Globally Hyperbolic Spacetimes with Timelike Boundary
Authors:
Claudio Dappiaggi,
Nicolò Drago,
Rubens Longhi
Abstract:
We study Maxwell's equation as a theory for smooth $k$-forms on globally hyperbolic spacetimes with timelike boundary as defined by Aké, Flores and Sanchez. In particular we start by investigating on these backgrounds the D'Alembert - de Rham wave operator $\Box_k$ and we highlight the boundary conditions which yield a Green's formula for $\Box_k$. Subsequently, we characterize the space of soluti…
▽ More
We study Maxwell's equation as a theory for smooth $k$-forms on globally hyperbolic spacetimes with timelike boundary as defined by Aké, Flores and Sanchez. In particular we start by investigating on these backgrounds the D'Alembert - de Rham wave operator $\Box_k$ and we highlight the boundary conditions which yield a Green's formula for $\Box_k$. Subsequently, we characterize the space of solutions of the associated initial and boundary value problem under the assumption that advanced and retarded Green operators do exist. This hypothesis is proven to be verified by a large class of boundary conditions using the method of boundary triples and under the additional assumption that the underlying spacetime is ultrastatic. Subsequently we focus on the Maxwell operator. First we construct the boundary conditions which entail a Green's formula for such operator and then we highlight two distinguished cases, dubbed $δ\mathrm{d}$-tangential and $δ\mathrm{d}$-normal boundary conditions. Associated to these we introduce two different notions of gauge equivalence and we prove that in both cases, every equivalence class admits a representative abiding to the Lorenz gauge. We use this property and the analysis of the operator $\Box_k$ to construct and to classify the space of gauge equivalence classes of solutions of the Maxwell's equations with the prescribed boundary conditions. As a last step and in the spirit of future applications in the framework of algebraic quantum field theory, we construct the associated unital $*$-algebras of observables proving in particular that, as in the case of the Maxwell operator on globally hyperbolic spacetimes with empty boundary, they possess a non-trivial center.
△ Less
Submitted 12 June, 2020; v1 submitted 26 August, 2019;
originally announced August 2019.
-
Equilibrium states in Thermal Field Theory and in Algebraic Quantum Field Theory
Authors:
João Braga de Góes Vasconcellos,
Nicolò Drago,
Nicola Pinamonti
Abstract:
In this paper we compare the construction of equilibrium states at finite temperature for self-interacting massive scalar quantum field theories on Minkowski spacetime proposed by Fredenhagen and Lindner with results obtained in ordinary thermal field theory, by means of real time and Matsubara formalisms. In the construction of this state, even if the adiabatic limit is considered, the interactio…
▽ More
In this paper we compare the construction of equilibrium states at finite temperature for self-interacting massive scalar quantum field theories on Minkowski spacetime proposed by Fredenhagen and Lindner with results obtained in ordinary thermal field theory, by means of real time and Matsubara formalisms. In the construction of this state, even if the adiabatic limit is considered, the interaction Lagrangian is multiplied by a smooth time cut-off. In this way the interaction starts adiabatically and the correlation functions are free from divergences. The corresponding interaction Hamiltonian is a local interacting field smeared over the interval of time where the chosen cut-off is not constant. In order to cope with this smearing, the Matsubara propagator needs to be modified. We obtain an expansion of the correlation functions of the interacting equilibrium state as a sum over certain type of graphs with mixed edges, some of them correspond to modified Matsubara propagators and others to propagators of the real time formalism. An integration over the adiabatic time cut-off is present in every vertex. However, at every order in perturbation theory, the final result does not depend on the particular form of the cut-off function. The obtained graphical expansion contains in it both the real time formalism and the Matsubara formalism as particular cases. Finally, we show that a particular factorisation which is used to derive the ordinary real time formalism holds only in special cases and we present a counterexample. We conclude with the analysis of certain correlation functions and we notice that corrections to the self-energy in a $λφ^4$ at finite temperature theory are expected.
△ Less
Submitted 10 June, 2019;
originally announced June 2019.
-
The notion of observable and the moment problem for *-algebras and their GNS representations
Authors:
Nicolò Drago,
Valter Moretti
Abstract:
We address some usually overlooked issues concerning the use of $*$-algebras in quantum theory and their physical interpretation. If $\mathfrak{A}$ is a $*$-algebra describing a quantum system and $ω\colon\mathfrak{A}\to\mathbb{C}$ a state, we focus in particular on the interpretation of $ω(a)$ as expectation value for an algebraic observable $a=a^*\in\mathfrak{A}$, studying the problem of finding…
▽ More
We address some usually overlooked issues concerning the use of $*$-algebras in quantum theory and their physical interpretation. If $\mathfrak{A}$ is a $*$-algebra describing a quantum system and $ω\colon\mathfrak{A}\to\mathbb{C}$ a state, we focus in particular on the interpretation of $ω(a)$ as expectation value for an algebraic observable $a=a^*\in\mathfrak{A}$, studying the problem of finding a probability measure reproducing the moments $\{ω(a^n)\}_{n\in\mathbb{N}}$. This problem enjoys a close relation with the self-adjointeness of the (in general only symmetric) operator $π_ω(a)$ in the GNS representation of $ω$ and thus it has important consequences for the interpretation of $a$ as an observable. We provide physical examples (also from QFT) where the moment problem for $\{ω(a^n)\}_{n\in\mathbb{N}}$ does not admit a unique solution. To reduce this ambiguity, we consider the moment problem for the sequences $\{ω_b(a^n)\}_{n\in\mathbb{N}}$, being $b\in\mathfrak{A}$ and $ω_b(\cdot):=ω(b^*\cdot b)$. Letting $μ_{ω_b}^{(a)}$ be a solution of the moment problem for the sequence $\{ω_b(a^n)\}_{n\in\mathbb{N}}$, we introduce a consistency relation on the family $\{μ_{ω_{b}}^{(a)}\}_{b\in\mathfrak{A}}$. We prove a 1-1 correspondence between consistent families $\{μ_{ω_{b}}^{(a)}\}_{b\in\mathfrak{A}}$ and positive operator-valued measures (POVM) associated with the symmetric operator $π_ω(a)$. In particular there exists a unique consistent family of $\{μ_{ω_{b}}^{(a)}\}_{b\in\mathfrak{A}}$ if and only if $π_ω(a)$ is maximally symmetric. This result suggests that a better physical understanding of the notion of observable for general $*$-algebras should be based on POVMs rather than projection-valued measure (PVM).
△ Less
Submitted 17 February, 2020; v1 submitted 18 March, 2019;
originally announced March 2019.
-
The algebra of Wick polynomials of a scalar field on a Riemannian manifold
Authors:
Claudio Dappiaggi,
Nicolò Drago,
Paolo Rinaldi
Abstract:
On a connected, oriented, smooth Riemannian manifold without boundary we consider a real scalar field whose dynamics is ruled by $E$, a second order elliptic partial differential operator of metric type. Using the functional formalism and working within the framework of algebraic quantum field theory and of the principle of general local covariance, first we construct the algebra of locally covari…
▽ More
On a connected, oriented, smooth Riemannian manifold without boundary we consider a real scalar field whose dynamics is ruled by $E$, a second order elliptic partial differential operator of metric type. Using the functional formalism and working within the framework of algebraic quantum field theory and of the principle of general local covariance, first we construct the algebra of locally covariant observables in terms of equivariant sections of a bundle of smooth, regular polynomial functionals over the affine space of the parametrices associated to $E$. Subsequently, adapting to the case in hand a strategy first introduced by Hollands and Wald in a Lorentzian setting, we prove the existence of Wick powers of the underlying field, extending the procedure to smooth, local and polynomial functionals and discussing in the process the regularization ambiguities of such procedure. Subsequently we endow the space of Wick powers with an algebra structure, dubbed E-product, which plays in a Riemannian setting the same role of the time ordered product for field theories on globally hyperbolic spacetimes. In particular we prove the existence of the E-product and we discuss both its properties and the renormalization ambiguities in the underlying procedure. As last step we extend the whole analysis to observables admitting derivatives of the field configurations and we discuss the quantum Møller operator which is used to investigate interacting models at a perturbative level.
△ Less
Submitted 10 January, 2020; v1 submitted 4 March, 2019;
originally announced March 2019.
-
Ricci Flow from the Renormalization of Nonlinear Sigma Models in the Framework of Euclidean Algebraic Quantum Field Theory
Authors:
Mauro Carfora,
Claudio Dappiaggi,
Nicolò Drago,
Paolo Rinaldi
Abstract:
The perturbative approach to nonlinear Sigma models and the associated renormalization group flow are discussed within the framework of Euclidean algebraic quantum field theory and of the principle of general local covariance. In particular we show in an Euclidean setting how to define Wick ordered powers of the underlying quantum fields and we classify the freedom in such procedure by extending t…
▽ More
The perturbative approach to nonlinear Sigma models and the associated renormalization group flow are discussed within the framework of Euclidean algebraic quantum field theory and of the principle of general local covariance. In particular we show in an Euclidean setting how to define Wick ordered powers of the underlying quantum fields and we classify the freedom in such procedure by extending to this setting a recent construction of Khavkine, Melati and Moretti for vector valued free fields. As a by-product of such classification, we prove that, at first order in perturbation theory, the renormalization group flow of the nonlinear Sigma model is the Ricci flow.
△ Less
Submitted 31 August, 2019; v1 submitted 20 September, 2018;
originally announced September 2018.
-
Fundamental solutions for the wave operator on static Lorentzian manifolds with timelike boundary
Authors:
Claudio Dappiaggi,
Nicolò Drago,
Hugo Ferreira
Abstract:
We consider the wave operator on static, Lorentzian manifolds with timelike boundary and we discuss the existence of advanced and retarded fundamental solutions in terms of boundary conditions. By means of spectral calculus we prove that answering this question is equivalent to studying the self-adjoint extensions of an associated elliptic operator on a Riemannian manifold with boundary $(M,g)$. T…
▽ More
We consider the wave operator on static, Lorentzian manifolds with timelike boundary and we discuss the existence of advanced and retarded fundamental solutions in terms of boundary conditions. By means of spectral calculus we prove that answering this question is equivalent to studying the self-adjoint extensions of an associated elliptic operator on a Riemannian manifold with boundary $(M,g)$. The latter is diffeomorphic to any, constant time hypersurface of the underlying background. In turn, assuming that $(M,g)$ is of bounded geometry, this problem can be tackled within the framework of boundary triples. These consist of the assignment of two surjective, trace operators from the domain of the adjoint of the elliptic operator into an auxiliary Hilbert space $\mathsf{h}$, which is the third datum of the triple. Self-adjoint extensions of the underlying elliptic operator are in one-to-one correspondence with self-adjoint operators $Θ$ on $\mathsf{h}$. On the one hand, we show that, for a natural choice of boundary triple, each $Θ$ can be interpreted as the assignment of a boundary condition for the original wave operator. On the other hand, we prove that, for each such $Θ$, there exists a unique advanced and retarded fundamental solution. In addition, we prove that these share the same structural property of the counterparts associated to the wave operator on a globally hyperbolic spacetime.
△ Less
Submitted 11 April, 2019; v1 submitted 10 April, 2018;
originally announced April 2018.
-
Thermal state with quadratic interaction
Authors:
Nicolò Drago
Abstract:
We consider the perturbative construction, proposed in [37], for a thermal state $Ω_{β,λV\{f\}}$ for the theory of a real scalar Klein-Gordon field $φ$ with interacting potential $V\{f\}$. Here $f$ is a spacetime cut-off of the interaction $V$ and $λ$ is a perturbative parameter. We assume that $V$ is quadratic in the field $φ$ and we compute the adiabatic limit $f\to 1$ of the state…
▽ More
We consider the perturbative construction, proposed in [37], for a thermal state $Ω_{β,λV\{f\}}$ for the theory of a real scalar Klein-Gordon field $φ$ with interacting potential $V\{f\}$. Here $f$ is a spacetime cut-off of the interaction $V$ and $λ$ is a perturbative parameter. We assume that $V$ is quadratic in the field $φ$ and we compute the adiabatic limit $f\to 1$ of the state $Ω_{β,λV\{f\}}$. The limit is shown to exist, moreover, the perturbative series in $λ$ sums up to the thermal state for the corresponding (free) theory with potential $V$. In addition, we exploit the same methods to address a similar computation for the non-equilibrium steady state (NESS) [59] recently constructed in [25].
△ Less
Submitted 17 October, 2018; v1 submitted 3 November, 2017;
originally announced November 2017.
-
Relative entropy and entropy production for equilibrium states in pAQFT
Authors:
Nicolò Drago,
Federico Faldino,
Nicola Pinamonti
Abstract:
We analyze the relative entropy of certain KMS states for scalar self-interacting quantum field theories over Minkowski backgrounds that have been recently constructed by Fredenhagen and Lindner in [FL14] in the framework of perturbative algebraic quantum field theory. The definition we are using is a generalization of the Araki relative entropy to the case of field theories. In particular, we sha…
▽ More
We analyze the relative entropy of certain KMS states for scalar self-interacting quantum field theories over Minkowski backgrounds that have been recently constructed by Fredenhagen and Lindner in [FL14] in the framework of perturbative algebraic quantum field theory. The definition we are using is a generalization of the Araki relative entropy to the case of field theories. In particular, we shall see that the analyzed relative entropy is positive in the sense of perturbation theory, hence, even if the relative modular operator is not at disposal in this context, the proposed extension is compatible with perturbation theory. In the second part of the paper we analyze the adiabatic limits of these states showing that also the density of relative entropy obtained dividing the relative entropy by the spatial volume of the region where interaction takes place is positive and finite. In the last part of the paper we discuss the entropy production for states obtained by an ergodic mean (time average) of perturbed KMS states evolved with the free evolution recently constructed by the authors of the present paper. We show that their entropy production vanishes even if return to equilibrium [Ro73, HKT74] does not hold. This means that states constructed in this way are thermodynamically simple, namely they are not so far from equilibrium states.
△ Less
Submitted 2 November, 2018; v1 submitted 26 October, 2017;
originally announced October 2017.
-
On the adiabatic limit of Hadamard states
Authors:
Nicoló Drago,
Christian Gérard
Abstract:
We consider the adiabatic limit of Hadamard states for free quantum Klein-Gordon fields, when the background metric and the field mass are slowly varied from their initial to final values. If the Klein-Gordon field stays massive, we prove that the adiabatic limit of the initial vacuum state is the (final) vacuum state, by extending to the symplectic framework the adiabatic theorem of Avron-Seiler-…
▽ More
We consider the adiabatic limit of Hadamard states for free quantum Klein-Gordon fields, when the background metric and the field mass are slowly varied from their initial to final values. If the Klein-Gordon field stays massive, we prove that the adiabatic limit of the initial vacuum state is the (final) vacuum state, by extending to the symplectic framework the adiabatic theorem of Avron-Seiler-Yaffe. In cases when only the field mass is varied, using a abstract version of the mode decomposition method we can also consider the case when the initial or final mass vanishes, and the initial state is either a thermal state or a more general Hadamard state.
△ Less
Submitted 7 February, 2017; v1 submitted 10 September, 2016;
originally announced September 2016.
-
On the stability of KMS states in perturbative algebraic quantum field theories
Authors:
Nicolo Drago,
Federico Faldino,
Nicola Pinamonti
Abstract:
We analyze the stability properties shown by KMS states for interacting massive scalar fields propagating over Minkowski spacetime, recently constructed in the framework of perturbative algebraic quantum field theories by Fredenhagen and Lindner \cite{FredenhagenLindner}. In particular, we prove the validity of the return to equilibrium property when the interaction Lagrangian has compact spatial…
▽ More
We analyze the stability properties shown by KMS states for interacting massive scalar fields propagating over Minkowski spacetime, recently constructed in the framework of perturbative algebraic quantum field theories by Fredenhagen and Lindner \cite{FredenhagenLindner}. In particular, we prove the validity of the return to equilibrium property when the interaction Lagrangian has compact spatial support. Surprisingly, this does not hold anymore, if the adiabatic limit is considered, namely when the interaction Lagrangian is invariant under spatial translations. Consequently, an equilibrium state under the adiabatic limit for a perturbative interacting theory evolved with the free dynamics does not converge anymore to the free equilibrium state. Actually, we show that its ergodic mean converges to a non equilibrium steady state for the free theory.
△ Less
Submitted 4 August, 2017; v1 submitted 5 September, 2016;
originally announced September 2016.
-
A new class of Fermionic Projectors: Møller operators and mass oscillation properties
Authors:
Nicolò Drago,
Simone Murro
Abstract:
Recently, a new functional analytic construction of quasi-free states for a self-dual CAR algebra has been presented in \cite{Felix2}. This method relies on the so-called strong mass oscillation property. We provide an example where this requirement is not satisfied, due to the nonvanishing trace of the solutions of the Dirac equation on the horizon of Rindler space, and we propose a modification…
▽ More
Recently, a new functional analytic construction of quasi-free states for a self-dual CAR algebra has been presented in \cite{Felix2}. This method relies on the so-called strong mass oscillation property. We provide an example where this requirement is not satisfied, due to the nonvanishing trace of the solutions of the Dirac equation on the horizon of Rindler space, and we propose a modification of the construction in order to weaken this condition. Finally, a connection between the two approaches is built.
△ Less
Submitted 9 September, 2017; v1 submitted 11 July, 2016;
originally announced July 2016.
-
Constructing Hadamard states via an extended Møller operator
Authors:
Claudio Dappiaggi,
Nicolò Drago
Abstract:
We consider real scalar field theories whose dynamics is ruled by normally hyperbolic operators differing only by a smooth potential $V$. By means of an extension of the standard definition of Møller operator, we construct an isomorphism between the associated spaces of smooth solutions and between the associated algebras of observables. On the one hand such isomorphism is non-canonical since it d…
▽ More
We consider real scalar field theories whose dynamics is ruled by normally hyperbolic operators differing only by a smooth potential $V$. By means of an extension of the standard definition of Møller operator, we construct an isomorphism between the associated spaces of smooth solutions and between the associated algebras of observables. On the one hand such isomorphism is non-canonical since it depends on the choice of a smooth time-dependant cut-off function. On the other hand, given any quasi-free Hadamard state for a theory with a given $V$, such isomorphism allows for the construction of another quasi-free Hadamard state for a different potential. The resulting state preserves also the invariance under the action of any isometry, whose associated Killing field commutes with the vector field built out of the normal vectors to a family of Cauchy surfaces, foliating the underlying manifold. Eventually we discuss a sufficient condition to remove on static spacetimes the dependence on the cut-off via a suitable adiabatic limit.
△ Less
Submitted 10 October, 2016; v1 submitted 30 June, 2015;
originally announced June 2015.
-
The generalised principle of perturbative agreement and the thermal mass
Authors:
Nicolò Drago,
Thomas-Paul Hack,
Nicola Pinamonti
Abstract:
The Principle of Perturbative Agreement, as introduced by Hollands & Wald, is a renormalisation condition in quantum field theory on curved spacetimes. This principle states that the perturbative and exact constructions of a field theoretic model given by the sum of a free and an exactly tractable interaction Lagrangean should agree. We develop a proof of the validity of this principle in the case…
▽ More
The Principle of Perturbative Agreement, as introduced by Hollands & Wald, is a renormalisation condition in quantum field theory on curved spacetimes. This principle states that the perturbative and exact constructions of a field theoretic model given by the sum of a free and an exactly tractable interaction Lagrangean should agree. We develop a proof of the validity of this principle in the case of scalar fields and quadratic interactions without derivatives which differs in strategy from the one given by Hollands & Wald for the case of quadratic interactions encoding a change of metric. Thereby we profit from the observation that, in the case of quadratic interactions, the composition of the inverse classical Møller map and the quantum Møller map is a contraction exponential of a particular type. Afterwards, we prove a generalisation of the Principle of Perturbative Agreement and show that considering an arbitrary quadratic contribution of a general interaction either as part of the free theory or as part of the perturbation gives equivalent results. Motivated by the thermal mass idea, we use our findings in order to extend the construction of massive interacting thermal equilibrium states in Minkowski spacetime developed by Fredenhagen & Lindner to the massless case. In passing, we also prove a property of the construction of Fredenhagen & Lindner which was conjectured by these authors.
△ Less
Submitted 1 July, 2015; v1 submitted 9 February, 2015;
originally announced February 2015.
-
Influence of quantum matter fluctuations on geodesic deviation
Authors:
Nicolò Drago,
Nicola Pinamonti
Abstract:
We study the passive influence of quantum matter fluctuations on the expansion parameter of a congruence of timelike geodesics in a semiclassical regime. In particular, we show that, the perturbations of this parameter can be considered to be elements of the algebra of matter fields at all perturbative order. Hence, once a quantum state for matter is chosen, it is possible to explicitly evaluate…
▽ More
We study the passive influence of quantum matter fluctuations on the expansion parameter of a congruence of timelike geodesics in a semiclassical regime. In particular, we show that, the perturbations of this parameter can be considered to be elements of the algebra of matter fields at all perturbative order. Hence, once a quantum state for matter is chosen, it is possible to explicitly evaluate the behavior of geometric fluctuations. After introducing the formalism necessary to treat similar problems, in the last part of the paper, we estimate the approximated probability of having a geodesic collapse in a flat spacetime due to those fluctuations.
△ Less
Submitted 12 September, 2014; v1 submitted 18 February, 2014;
originally announced February 2014.
