-
A New Proof of the QNEC
Authors:
Stefan Hollands,
Roberto Longo
Abstract:
We give a simplified proof of the quantum null energy condition (QNEC). Our proof is based on an explicit formula for the shape derivative of the relative entropy, with respect to an entangling cut. It allows bypassing the analytic continuation arguments of a previous proof by Ceyhan and Faulkner and can be used e.g., for defining entropy current fluctuations.
We give a simplified proof of the quantum null energy condition (QNEC). Our proof is based on an explicit formula for the shape derivative of the relative entropy, with respect to an entangling cut. It allows bypassing the analytic continuation arguments of a previous proof by Ceyhan and Faulkner and can be used e.g., for defining entropy current fluctuations.
△ Less
Submitted 6 March, 2025;
originally announced March 2025.
-
Bekenstein Bound for Approximately Local Charged States
Authors:
Stefan Hollands,
Roberto Longo
Abstract:
We generalize the energy-entropy ratio inequality in quantum field theory (QFT) established by one of us from localized states to a larger class of states. The states considered in this paper can be in a charged (non-vacuum) representation of the QFT or may be only approximately localized in the region under consideration. Our inequality is…
▽ More
We generalize the energy-entropy ratio inequality in quantum field theory (QFT) established by one of us from localized states to a larger class of states. The states considered in this paper can be in a charged (non-vacuum) representation of the QFT or may be only approximately localized in the region under consideration. Our inequality is $S(Ψ|\!| Ω) \le 2πR \, ( Ψ, H_ρΨ) + \log d(ρ) + \varepsilon$, where $S$ is the relative entropy, where $R$ is a "radius" (width) characterizing the size of the region, $d(ρ)$ is the statistical (quantum) dimension of the given charged sector $ρ$ hosting the quantum state $Ψ$, $Ω$ is the vacuum state, $H_ρ$ is the Hamiltonian in the charged sector, and $\varepsilon$ is a tolerance measuring the deviation of $Ψ$ from the vacuum according to observers in the causal complement of the region.
△ Less
Submitted 7 January, 2025;
originally announced January 2025.
-
A Bekenstein-type bound in QFT
Authors:
Roberto Longo
Abstract:
Let B be a spacetime region of width 2R > 0, and φa vector state localized in B. We show that the vacuum relative entropy of φ, on the local von Neumann algebra of B, is bounded by 2πR-times the energy of the state φin B. This bound is model-independent and rigorous; it follows solely from first principles in the framework of translation covariant, local Quantum Field Theory on the Minkowski space…
▽ More
Let B be a spacetime region of width 2R > 0, and φa vector state localized in B. We show that the vacuum relative entropy of φ, on the local von Neumann algebra of B, is bounded by 2πR-times the energy of the state φin B. This bound is model-independent and rigorous; it follows solely from first principles in the framework of translation covariant, local Quantum Field Theory on the Minkowski spacetime.
△ Less
Submitted 22 September, 2024;
originally announced September 2024.
-
An entropy bound due to symmetries
Authors:
Roberto Longo,
Vincenzo Morinelli
Abstract:
Let $H$ be a local net of real Hilbert subspaces of a complex Hilbert space on the family of double cones of the spacetime $\mathbb{R}^{d+1}$, covariant with respect to a positive energy, unitary representation $U$ of the Poincaré group, with the Bisognano-Wichmann property for the wedge modular group. We set an upper bound on the local entropy $S_H(φ|\! | C)$ of a vector in a region $C$ that depe…
▽ More
Let $H$ be a local net of real Hilbert subspaces of a complex Hilbert space on the family of double cones of the spacetime $\mathbb{R}^{d+1}$, covariant with respect to a positive energy, unitary representation $U$ of the Poincaré group, with the Bisognano-Wichmann property for the wedge modular group. We set an upper bound on the local entropy $S_H(φ|\! | C)$ of a vector in a region $C$ that depends only on $U$ and the PCT anti-unitary canonically associated with $H$. A similar result holds for local, Möbius covariant nets of standard subspaces on the circle. We compute the entropy increase and illustrate this bound for the nets associated with the $U(1)$-current derivatives.
△ Less
Submitted 4 January, 2024;
originally announced January 2024.
-
Signal communication and modular theory
Authors:
Roberto Longo
Abstract:
We propose a conceptual frame to interpret the prolate differential operator, which appears in Communication Theory, as an entropy operator; indeed, we write its expectation values as a sum of terms, each subject to an entropy reading by an embedding suggested by Quantum Field Theory. This adds meaning to the classical work by Slepian et al. on the problem of simultaneously concentrating a functio…
▽ More
We propose a conceptual frame to interpret the prolate differential operator, which appears in Communication Theory, as an entropy operator; indeed, we write its expectation values as a sum of terms, each subject to an entropy reading by an embedding suggested by Quantum Field Theory. This adds meaning to the classical work by Slepian et al. on the problem of simultaneously concentrating a function and its Fourier transform, in particular to the ``lucky accident" that the truncated Fourier transform commutes with the prolate operator. The key is the notion of entropy of a vector of a complex Hilbert space with respect to a real linear subspace, recently introduced by the author by means of the Tomita-Takesaki modular theory of von Neumann algebras. We consider a generalization of the prolate operator to the higher dimensional case and show that it admits a natural extension commuting with the truncated Fourier transform; this partly generalizes the one-dimensional result by Connes to the effect that there exists a natural selfadjoint extension to the full line commuting with the truncated Fourier transform.
△ Less
Submitted 2 March, 2023; v1 submitted 27 February, 2023;
originally announced February 2023.
-
An Algebra of Observables for de Sitter Space
Authors:
Venkatesa Chandrasekaran,
Roberto Longo,
Geoff Penington,
Edward Witten
Abstract:
We describe an algebra of observables for a static patch in de Sitter space, with operators gravitationally dressed to the worldline of an observer. The algebra is a von Neumann algebra of Type II$_1$. There is a natural notion of entropy for a state of such an algebra. There is a maximum entropy state, which corresponds to empty de Sitter space, and the entropy of any semiclassical state of the T…
▽ More
We describe an algebra of observables for a static patch in de Sitter space, with operators gravitationally dressed to the worldline of an observer. The algebra is a von Neumann algebra of Type II$_1$. There is a natural notion of entropy for a state of such an algebra. There is a maximum entropy state, which corresponds to empty de Sitter space, and the entropy of any semiclassical state of the Type II$_1$ algebras agrees, up to an additive constant independent of the state, with the expected generalized entropy $S_{\text{gen}}=(A/4G_N)+S_{\text{out}}$. An arbitrary additive constant is present because of the renormalization that is involved in defining entropy for a Type II$_1$ algebra.
△ Less
Submitted 3 July, 2023; v1 submitted 21 June, 2022;
originally announced June 2022.
-
A note on continuous entropy
Authors:
Roberto Longo,
Edward Witten
Abstract:
Von Neumann entropy has a natural extension to the case of an arbitrary semifinite von Neumann algebra, as was considered by I. E. Segal. We relate this entropy to the relative entropy and show that the entropy increase for an inclusion of von Neumann factors is bounded by the logarithm of the Jones index. The bound is optimal if the factors are infinite dimensional.
Von Neumann entropy has a natural extension to the case of an arbitrary semifinite von Neumann algebra, as was considered by I. E. Segal. We relate this entropy to the relative entropy and show that the entropy increase for an inclusion of von Neumann factors is bounded by the logarithm of the Jones index. The bound is optimal if the factors are infinite dimensional.
△ Less
Submitted 7 February, 2022;
originally announced February 2022.
-
Modular structure of the Weyl algebra
Authors:
Roberto Longo
Abstract:
We study the modular Hamiltonian associated with a Gaussian state on the Weyl algebra. We obtain necessary/sufficient criteria for the local equivalence of Gaussian states, independently of the classical results by Araki and Yamagami, Van Daele, Holevo. We then present a criterion for a Bogoliubov automorphism to be weakly inner in the GNS representation. We also describe the vacuum modular Hamilt…
▽ More
We study the modular Hamiltonian associated with a Gaussian state on the Weyl algebra. We obtain necessary/sufficient criteria for the local equivalence of Gaussian states, independently of the classical results by Araki and Yamagami, Van Daele, Holevo. We then present a criterion for a Bogoliubov automorphism to be weakly inner in the GNS representation. We also describe the vacuum modular Hamiltonian associated with a time-zero interval in the scalar, massless, free QFT in two spacetime dimensions, thus complementing the recent results in higher space dimensions. In particular, we have the formula for the local entropy of a one-dimensional massless wave packet and Araki's vacuum relative entropy of a coherent state on a double cone von Neumann algebra.
△ Less
Submitted 22 March, 2023; v1 submitted 22 November, 2021;
originally announced November 2021.
-
Relative entropy and curved spacetimes
Authors:
Fabio Ciolli,
Roberto Longo,
Alessio Ranallo,
Giuseppe Ruzzi
Abstract:
Given any half-sided modular inclusion of standard subspaces, we show that the entropy function associated with the decreasing one-parameter family of translated standard subspaces is convex for any given (not necessarily smooth) vector in the underlying Hilbert space. In second quantisation, this infers the convexity of the vacuum relative entropy with respect to the translation parameter of the…
▽ More
Given any half-sided modular inclusion of standard subspaces, we show that the entropy function associated with the decreasing one-parameter family of translated standard subspaces is convex for any given (not necessarily smooth) vector in the underlying Hilbert space. In second quantisation, this infers the convexity of the vacuum relative entropy with respect to the translation parameter of the modular tunnel of von Neumann algebras. This result allows us to study the QNEC inequality for coherent states in a free Quantum Field Theory on a stationary curved spacetime, given a KMS state. To this end, we define wedge regions and appropriate (deformed) subregions. Examples are given by the Schwarzschild spacetime and null translated subregions with respect to the time translation Killing flow. More generally, we define wedge and stripe regions on a globally hyperbolic spacetime, so to have non trivial modular inclusions of von Neumann algebras, and make our analysis in this context.
△ Less
Submitted 9 January, 2024; v1 submitted 14 July, 2021;
originally announced July 2021.
-
The massless modular Hamiltonian
Authors:
Roberto Longo,
Gerardo Morsella
Abstract:
We compute the vacuum local modular Hamiltonian associated with a space ball region in the free scalar massless Quantum Field Theory. We give an explicit expression on the one particle Hilbert space in terms of the higher dimensional Legendre differential operator. The quadratic form of the massless modular Hamiltonian is expressed in terms of an integral of the energy density with the parabolic d…
▽ More
We compute the vacuum local modular Hamiltonian associated with a space ball region in the free scalar massless Quantum Field Theory. We give an explicit expression on the one particle Hilbert space in terms of the higher dimensional Legendre differential operator. The quadratic form of the massless modular Hamiltonian is expressed in terms of an integral of the energy density with the parabolic distribution. We then get the formula for the local entropy of a wave packet. This gives the vacuum relative entropy of a coherent state on the double cone von Neumann algebras associated with the free scalar QFT. Among other points, we provide the passivity characterisation of the modular Hamiltonian within the standard subspace setup.
△ Less
Submitted 23 September, 2022; v1 submitted 1 December, 2020;
originally announced December 2020.
-
Von Neumann Entropy in QFT
Authors:
Roberto Longo,
Feng Xu
Abstract:
In the framework of Quantum Field Theory, we provide a rigorous, operator algebraic notion of entanglement entropy associated with a pair of open double cones $O \subset \tilde O$ of the spacetime, where the closure of $O$ is contained in $\tilde O$. Given a QFT net $A$ of local von Neumann algebras $A(O)$, we consider the von Neumann entropy $S_A(O, \tilde O)$ of the restriction of the vacuum sta…
▽ More
In the framework of Quantum Field Theory, we provide a rigorous, operator algebraic notion of entanglement entropy associated with a pair of open double cones $O \subset \tilde O$ of the spacetime, where the closure of $O$ is contained in $\tilde O$. Given a QFT net $A$ of local von Neumann algebras $A(O)$, we consider the von Neumann entropy $S_A(O, \tilde O)$ of the restriction of the vacuum state to the canonical intermediate type $I$ factor for the inclusion of von Neumann algebras $A(O)\subset A(\tilde O)$ (split property). We show that this canonical entanglement entropy $S_A(O, \tilde O)$ is finite for the chiral conformal net on the circle generated by finitely many free Fermions (here double cones are intervals). To this end, we first study the notion of von Neumann entropy of a closed real linear subspace of a complex Hilbert space, that we then estimate for the local free fermion subspaces. We further consider the lower entanglement entropy $\underline S_A(O, \tilde O)$, the infimum of the vacuum von Neumann entropy of $F$, where $F$ here runs over all the intermediate, discrete type $I$ von Neumann algebras. We prove that $\underline S_A(O, \tilde O)$ is finite for the local chiral conformal net generated by finitely many commuting $U(1)$-currents.
△ Less
Submitted 21 November, 2019;
originally announced November 2019.
-
The emergence of time
Authors:
Roberto Longo
Abstract:
Classically, one could imagine a completely static space, thus without time. As is known, this picture is unconceivable in quantum physics due to vacuum fluctuations. The fundamental difference between the two frameworks is that classical physics is commutative (simultaneous observables) while quantum physics is intrinsically noncommutative (Heisenberg uncertainty relations). In this sense, we may…
▽ More
Classically, one could imagine a completely static space, thus without time. As is known, this picture is unconceivable in quantum physics due to vacuum fluctuations. The fundamental difference between the two frameworks is that classical physics is commutative (simultaneous observables) while quantum physics is intrinsically noncommutative (Heisenberg uncertainty relations). In this sense, we may say that time is generated by noncommutativity; if this statement is correct, we should be able to derive time out of a noncommutative space.
We know that a von Neumann algebra is a noncommutative space. About 50 years ago the Tomita-Takesaki modular theory revealed an intrinsic evolution associated with any given (faithful, normal) state of a von Neumann algebra, so a noncommutative space is intrinsically dynamical. This evolution is characterised by the Kubo-Martin-Schwinger thermal equilibrium condition in quantum statistical mechanics (Haag, Hugenholtz, Winnink), thus modular time is related to temperature. Indeed, positivity of temperature fixes a quantum-thermodynamical arrow of time.
We shall sketch some aspects of our recent work extending the modular evolution to a quantum operation (completely positive map) level and how this gives a mathematically rigorous understanding of entropy bounds in physics and information theory. A key point is the relation with Jones' index of subfactors.
In the last part, we outline further recent entropy computations in relativistic quantum field theory models by operator algebraic methods, that can be read also within classical information theory. The information contained in a classical wave packet is defined by the modular theory of standard subspaces and related to the quantum null energy inequality.
△ Less
Submitted 30 October, 2019;
originally announced October 2019.
-
Entropy of Coherent Excitations
Authors:
Roberto Longo
Abstract:
We provide a rigorous, explicit formula for the vacuum relative entropy of a coherent state on wedge local von Neumann algebras associated with a free, neutral quantum field theory on the Minkowski spacetime of arbitrary spacetime dimension. We consider charges localised on the time zero hyperplane, possibly crossing the boundary.
We provide a rigorous, explicit formula for the vacuum relative entropy of a coherent state on wedge local von Neumann algebras associated with a free, neutral quantum field theory on the Minkowski spacetime of arbitrary spacetime dimension. We consider charges localised on the time zero hyperplane, possibly crossing the boundary.
△ Less
Submitted 16 May, 2019; v1 submitted 8 January, 2019;
originally announced January 2019.
-
Entropy distribution of localised states
Authors:
Roberto Longo
Abstract:
We study the geometric distribution of the relative entropy of a charged localised state in Quantum Field Theory. With respect to translations, the second derivative of the vacuum relative entropy is zero out of the charge localisation support and positive in mean over the support of any single charge. For a spatial strip, the asymptotic mean entropy density is $πE$, with $E$ the corresponding vac…
▽ More
We study the geometric distribution of the relative entropy of a charged localised state in Quantum Field Theory. With respect to translations, the second derivative of the vacuum relative entropy is zero out of the charge localisation support and positive in mean over the support of any single charge. For a spatial strip, the asymptotic mean entropy density is $πE$, with $E$ the corresponding vacuum charge energy. In a conformal QFT, for a charge in a ball of radius $r$, the relative entropy is non linear, the asymptotic mean radial entropy density is $πE$ and Bekenstein's bound is satisfied. We also study the null deformation case. We construct, operator algebraically, a positive selfadjoint operator that may be interpreted as the deformation generator, we thus get a rigorous form of the Averaged Null Energy Condition that holds in full generality. In the one dimensional conformal $U(1)$-current model, we give a complete and explicit description of the entropy distribution of a localised charged state in all points of the real line; in particular, the second derivative of the relative entropy is strictly positive in all points where the charge density is non zero, thus the Quantum Null Energy Condition holds here for these states and is not saturated in these points.
△ Less
Submitted 18 September, 2018; v1 submitted 10 September, 2018;
originally announced September 2018.
-
Split property for free massless finite helicity fields
Authors:
Roberto Longo,
Vincenzo Morinelli,
Francesco Preta,
Karl-Henning Rehren
Abstract:
We prove the split property for any finite helicity free quantum fields. Finite helicity Poincaré representations extend to the conformal group and the conformal covariance plays an essential role in the argument. The split property is ensured by the trace class condition: Tr (exp(-s L_0)) is finite for all s>0 where L_0 is the conformal Hamiltonian of the Möbius covariant restriction of the net o…
▽ More
We prove the split property for any finite helicity free quantum fields. Finite helicity Poincaré representations extend to the conformal group and the conformal covariance plays an essential role in the argument. The split property is ensured by the trace class condition: Tr (exp(-s L_0)) is finite for all s>0 where L_0 is the conformal Hamiltonian of the Möbius covariant restriction of the net on the time axis. We extend the argument for the scalar case presented in [7]. We provide the direct sum decomposition into irreducible representations of the conformal extension of any helicity-h representation to the subgroup of transformations fixing the time axis. Our analysis provides new relations among finite helicity representations and suggests a new construction for representations and free quantum fields with non-zero helicity.
△ Less
Submitted 22 May, 2019; v1 submitted 13 June, 2018;
originally announced June 2018.
-
Minimal index and dimension for 2-$C^*$-categories with finite-dimensional centers
Authors:
Luca Giorgetti,
Roberto Longo
Abstract:
In the first part of this paper, we give a new look at inclusions of von Neumann algebras with finite-dimensional centers and finite Jones' index. The minimal conditional expectation is characterized by means of a canonical state on the relative commutant, that we call the spherical state; the minimal index is neither additive nor multiplicative (it is submultiplicative), contrary to the subfactor…
▽ More
In the first part of this paper, we give a new look at inclusions of von Neumann algebras with finite-dimensional centers and finite Jones' index. The minimal conditional expectation is characterized by means of a canonical state on the relative commutant, that we call the spherical state; the minimal index is neither additive nor multiplicative (it is submultiplicative), contrary to the subfactor case. So we introduce a matrix dimension with the good functorial properties: it is always additive and multiplicative. The minimal index turns out to be the square of the norm of the matrix dimension, as was known in the multi-matrix inclusion case. In the second part, we show how our results are valid in a purely 2-$C^*$-categorical context, in particular they can be formulated in the framework of Connes' bimodules over von Neumann algebras.
△ Less
Submitted 23 May, 2018;
originally announced May 2018.
-
Comment on the Bekenstein bound
Authors:
Roberto Longo,
Feng Xu
Abstract:
We propose a rigorous derivation of the Bekenstein upper limit for the entropy/information that can be contained by a physical system in a given finite region of space with given finite energy. The starting point is the observation that the derivation of such a bound provided by Casini [6] is similar to the description of the black hole incremental free energy that had been given by the first name…
▽ More
We propose a rigorous derivation of the Bekenstein upper limit for the entropy/information that can be contained by a physical system in a given finite region of space with given finite energy. The starting point is the observation that the derivation of such a bound provided by Casini [6] is similar to the description of the black hole incremental free energy that had been given by the first named author [23]. The approach here is different but close in the spirit to [6]. Our bound is obtained by operator algebraic methods, in particular Connes' bimodules, Tomita-Takesaki modular theory and Jones' index are essential ingredients inasmuch as the von Neumann algebras in question are typically of type III. We rely on the general mathematical framework, recently set up in [26], concerning quantum information of infinite systems.
△ Less
Submitted 20 February, 2018;
originally announced February 2018.
-
Relative Entropy in CFT
Authors:
Roberto Longo,
Feng Xu
Abstract:
By using Araki's relative entropy, Lieb's convexity and the theory of singular integrals, we compute the mutual information associated with free fermions, and we deduce many results about entropies for chiral CFT's which are embedded into free fermions, and their extensions. Such relative entropies in CFT are here computed explicitly for the first time in a mathematical rigorous way. Our results a…
▽ More
By using Araki's relative entropy, Lieb's convexity and the theory of singular integrals, we compute the mutual information associated with free fermions, and we deduce many results about entropies for chiral CFT's which are embedded into free fermions, and their extensions. Such relative entropies in CFT are here computed explicitly for the first time in a mathematical rigorous way. Our results agree with previous computations by physicists based on heuristic arguments; in addition we uncover a surprising connection with the theory of subfactors, in particular by showing that a certain duality, which is argued to be true on physical grounds, is in fact violated if the global dimension of the conformal net is greater than $1.$
△ Less
Submitted 19 December, 2017;
originally announced December 2017.
-
On Landauer's principle and bound for infinite systems
Authors:
Roberto Longo
Abstract:
Landauer's principle provides a link between Shannon's information entropy and Clausius' thermodynamical entropy. We set up here a basic formula for the incremental free energy of a quantum channel, possibly relative to infinite systems, naturally arising by an Operator Algebraic point of view. By the Tomita-Takesaki modular theory, we can indeed describe a canonical evolution associated with a qu…
▽ More
Landauer's principle provides a link between Shannon's information entropy and Clausius' thermodynamical entropy. We set up here a basic formula for the incremental free energy of a quantum channel, possibly relative to infinite systems, naturally arising by an Operator Algebraic point of view. By the Tomita-Takesaki modular theory, we can indeed describe a canonical evolution associated with a quantum channel state transfer. Such evolution is implemented both by a modular Hamiltonian and a physical Hamiltonian, the latter being determined by its functoriality properties. This allows us to make an intrinsic analysis, extending our QFT index formula, but without any a priori given dynamics; the associated incremental free energy is related to the logarithm of the Jones index and is thus quantised. This leads to a general lower bound for the incremental free energy of an irreversible quantum channel which is half of the Landauer bound, and to further bounds corresponding to the discrete series of the Jones index. In the finite dimensional context, or in the case of DHR charges in QFT, where the dimension is a positive integer, our lower bound agrees with Landauer's bound.
△ Less
Submitted 15 January, 2018; v1 submitted 2 October, 2017;
originally announced October 2017.
-
Free products in AQFT
Authors:
Roberto Longo,
Yoh Tanimoto,
Yoshimichi Ueda
Abstract:
We apply the free product construction to various local algebras in algebraic quantum field theory.
If we take the free product of infinitely many identical half-sided modular inclusions with ergodic canonical endomorphism, we obtain a half-sided modular inclusion with ergodic canonical endomorphism and trivial relative commutant. On the other hand, if we take Möbius covariant nets with trace cl…
▽ More
We apply the free product construction to various local algebras in algebraic quantum field theory.
If we take the free product of infinitely many identical half-sided modular inclusions with ergodic canonical endomorphism, we obtain a half-sided modular inclusion with ergodic canonical endomorphism and trivial relative commutant. On the other hand, if we take Möbius covariant nets with trace class property, we are able to construct an inclusion of free product von Neumann algebras with large relative commutant, by considering either a finite family of identical inclusions or an infinite family of inequivalent inclusions. In two dimensional spacetime, we construct Borchers triples with trivial relative commutant by taking free products of infinitely many, identical Borchers triples. Free products of finitely many Borchers triples are possibly associated with Haag-Kastler net having S-matrix which is nontrivial and non asymptotically complete, yet the nontriviality of double cone algebras remains open.
△ Less
Submitted 19 June, 2017;
originally announced June 2017.
-
Rotational KMS states and type I conformal nets
Authors:
Roberto Longo,
Yoh Tanimoto
Abstract:
We consider KMS states on a local conformal net on the unit circle with respect to rotations. We prove that, if the conformal net is of type I, namely if it admits only type I DHR representations, then the extremal KMS states are the Gibbs states in an irreducible representation. Completely rational nets, the U(1)-current net, the Virasoro nets and their finite tensor products are shown to be of t…
▽ More
We consider KMS states on a local conformal net on the unit circle with respect to rotations. We prove that, if the conformal net is of type I, namely if it admits only type I DHR representations, then the extremal KMS states are the Gibbs states in an irreducible representation. Completely rational nets, the U(1)-current net, the Virasoro nets and their finite tensor products are shown to be of type I. In the completely rational case, we also give a direct proof that all factorial KMS states are Gibbs states.
△ Less
Submitted 7 October, 2018; v1 submitted 31 August, 2016;
originally announced August 2016.
-
Non-Equilibrium Thermodynamics and Conformal Field Theory
Authors:
Stefan Hollands,
Roberto Longo
Abstract:
We present a model independent, operator algebraic approach to non-equilibrium quantum thermodynamics within the framework of two-dimensional Conformal Field Theory. Two infinite reservoirs in equilibrium at their own temperatures and chemical potentials are put in contact through a defect line, possibly by inserting a probe. As time evolves, the composite system then approaches a non-equilibrium…
▽ More
We present a model independent, operator algebraic approach to non-equilibrium quantum thermodynamics within the framework of two-dimensional Conformal Field Theory. Two infinite reservoirs in equilibrium at their own temperatures and chemical potentials are put in contact through a defect line, possibly by inserting a probe. As time evolves, the composite system then approaches a non-equilibrium steady state that we describe. In particular, we re-obtain recent formulas of Bernard and Doyon.
△ Less
Submitted 7 September, 2016; v1 submitted 5 May, 2016;
originally announced May 2016.
-
Where Infinite Spin Particles Are Localizable
Authors:
Roberto Longo,
Vincenzo Morinelli,
Karl-Henning Rehren
Abstract:
Particles states transforming in one of the infinite spin representations of the Poincaré group (as classified by E. Wigner) are consistent with fundamental physical principles, but local fields generating them from the vacuum state cannot exist. While it is known that infinite spin states localized in a spacelike cone are dense in the one-particle space, we show here that the subspace of states l…
▽ More
Particles states transforming in one of the infinite spin representations of the Poincaré group (as classified by E. Wigner) are consistent with fundamental physical principles, but local fields generating them from the vacuum state cannot exist. While it is known that infinite spin states localized in a spacelike cone are dense in the one-particle space, we show here that the subspace of states localized in any double cone is trivial. This implies that the free field theory associated with infinite spin has no observables localized in bounded regions. In an interacting theory, if the vacuum vector is cyclic for a double cone local algebra, then the theory does not contain infinite spin representations. We also prove that if a Doplicher-Haag-Roberts representation (localized in a double cone) of a local net is covariant under a unitary representation of the Poincaré group containing infinite spin, then it has infinite statistics.
These results hold under the natural assumption of the Bisognano-Wichmann property, and we give a counter-example (with continuous particle degeneracy) without this property where the conclusions fail. Our results hold true in any spacetime dimension s+1 where infinite spin representations exist, namely s > 1.
△ Less
Submitted 27 November, 2015; v1 submitted 7 May, 2015;
originally announced May 2015.
-
From vertex operator algebras to conformal nets and back
Authors:
Sebastiano Carpi,
Yasuyuki Kawahigashi,
Roberto Longo,
Mihály Weiner
Abstract:
We consider unitary simple vertex operator algebras whose vertex operators satisfy certain energy bounds and a strong form of locality and call them strongly local. We present a general procedure which associates to every strongly local vertex operator algebra V a conformal net A_V acting on the Hilbert space completion of V and prove that the isomorphism class of A_V does not depend on the choice…
▽ More
We consider unitary simple vertex operator algebras whose vertex operators satisfy certain energy bounds and a strong form of locality and call them strongly local. We present a general procedure which associates to every strongly local vertex operator algebra V a conformal net A_V acting on the Hilbert space completion of V and prove that the isomorphism class of A_V does not depend on the choice of the scalar product on V. We show that the class of strongly local vertex operator algebras is closed under taking tensor products and unitary subalgebras and that, for every strongly local vertex operator algebra V, the map W\mapsto A_W gives a one-to-one correspondence between the unitary subalgebras W of V and the covariant subnets of A_V. Many known examples of vertex operator algebras such as the unitary Virasoro vertex operator algebras, the unitary affine Lie algebras vertex operator algebras, the known c=1 unitary vertex operator algebras, the moonshine vertex operator algebra, together with their coset and orbifold subalgebras, turn out to be strongly local. We give various applications of our results. In particular we show that the even shorter Moonshine vertex operator algebra is strongly local and that the automorphism group of the corresponding conformal net is the Baby Monster group. We prove that a construction of Fredenhagen and Jörss gives back the strongly local vertex operator algebra V from the conformal net A_V and give conditions on a conformal net A implying that A= A_V for some strongly local vertex operator algebra V.
△ Less
Submitted 8 October, 2018; v1 submitted 4 March, 2015;
originally announced March 2015.
-
Characterization of 2D rational local conformal nets and its boundary conditions: the maximal case
Authors:
Marcel Bischoff,
Yasuyuki Kawahigashi,
Roberto Longo
Abstract:
Let $\mathcal{A}$ be a completely rational local Möbius covariant net on $S^1$, which describes a set of chiral observables. We show that local Möbius covariant nets $\mathcal{B}_2$ on 2D Minkowski space which contains $\mathcal{A}$ as chiral left-right symmetry are in one-to-one correspondence with Morita equivalence classes of Q-systems in the unitary modular tensor category…
▽ More
Let $\mathcal{A}$ be a completely rational local Möbius covariant net on $S^1$, which describes a set of chiral observables. We show that local Möbius covariant nets $\mathcal{B}_2$ on 2D Minkowski space which contains $\mathcal{A}$ as chiral left-right symmetry are in one-to-one correspondence with Morita equivalence classes of Q-systems in the unitary modular tensor category $\mathrm{DHR}(\mathcal{A})$. The Möbius covariant boundary conditions with symmetry $\mathcal{A}$ of such a net $\mathcal{B}_2$ are given by the Q-systems in the Morita equivalence class or by simple objects in the module category modulo automorphisms of the dual category. We generalize to reducible boundary conditions.
To establish this result we define the notion of Morita equivalence for Q-systems (special symmetric $\ast$-Frobenius algebra objects) and non-degenerately braided subfactors. We prove a conjecture by Kong and Runkel, namely that Rehren's construction (generalized Longo-Rehren construction, $α$-induction construction) coincides with the categorical full center. This gives a new view and new results for the study of braided subfactors.
△ Less
Submitted 25 October, 2015; v1 submitted 31 October, 2014;
originally announced October 2014.
-
Tensor categories and endomorphisms of von Neumann algebras (with applications to Quantum Field Theory)
Authors:
Marcel Bischoff,
Roberto Longo,
Yasuyuki Kawahigashi,
Karl-Henning Rehren
Abstract:
Q-systems describe "extensions" of an infinite von Neumann factor $N$, i.e., finite-index unital inclusions of $N$ into another von Neumann algebra $M$. They are (special cases of) Frobenius algebras in the C* tensor category of endomorphisms of $N$. We review the relation between Q-systems, their modules and bimodules as structures in a category on one side, and homomorphisms between von Neumann…
▽ More
Q-systems describe "extensions" of an infinite von Neumann factor $N$, i.e., finite-index unital inclusions of $N$ into another von Neumann algebra $M$. They are (special cases of) Frobenius algebras in the C* tensor category of endomorphisms of $N$. We review the relation between Q-systems, their modules and bimodules as structures in a category on one side, and homomorphisms between von Neumann algebras on the other side. We then elaborate basic operations with Q-systems (various decompositions in the general case, and the centre, the full centre, and the braided product in braided categories), and illuminate their meaning in the von Neumann algebra setting. The main applications are in local quantum field theory, where Q-systems in the subcategory of DHR endomorphisms of a local algebra encode extensions $A(O)\subset B(O)$ of local nets. These applications, notably in conformal quantum field theories with boundaries, are briefly exposed, and are discussed in more detail in two separate papers [arXiv:1405.7863, 1410.8848].
△ Less
Submitted 28 January, 2015; v1 submitted 17 July, 2014;
originally announced July 2014.
-
Phase boundaries in algebraic conformal QFT
Authors:
Marcel Bischoff,
Yasuyuki Kawahigashi,
Roberto Longo,
Karl-Henning Rehren
Abstract:
We study the structure of local algebras in relativistic conformal quantum field theory with phase boundaries. Phase boundaries are instances of a more general notion of boundaries that give rise to a variety of algebraic structures. These can be formulated in a common framework originating in Algebraic QFT, with the principle of Einstein Causality playing a prominent role.We classify the phase bo…
▽ More
We study the structure of local algebras in relativistic conformal quantum field theory with phase boundaries. Phase boundaries are instances of a more general notion of boundaries that give rise to a variety of algebraic structures. These can be formulated in a common framework originating in Algebraic QFT, with the principle of Einstein Causality playing a prominent role.We classify the phase boundary conditions by the centre of a certain universal construction, which produces a reducible representation in which all possible boundary conditions are realized. For a large class of models, the classification reproduces results obtained in a different approach by Fuchs et al. before.
△ Less
Submitted 31 January, 2016; v1 submitted 30 May, 2014;
originally announced May 2014.
-
Localization in Nets of Standard Spaces
Authors:
Gandalf Lechner,
Roberto Longo
Abstract:
Starting from a real standard subspace of a Hilbert space and a representation of the translation group with natural properties, we construct and analyze for each endomorphism of this pair a local, translationally covariant net of standard subspaces, on the lightray and on two-dimensional Minkowski space. These nets share many features with low-dimensional quantum field theory, described by corres…
▽ More
Starting from a real standard subspace of a Hilbert space and a representation of the translation group with natural properties, we construct and analyze for each endomorphism of this pair a local, translationally covariant net of standard subspaces, on the lightray and on two-dimensional Minkowski space. These nets share many features with low-dimensional quantum field theory, described by corresponding nets of von Neumann algebras.
Generalizing a result of Longo and Witten to two dimensions and massive multiplicity free representations, we characterize these endomorphisms in terms of specific analytic functions. Such a characterization then allows us to analyze the corresponding nets of standard spaces, and in particular compute their minimal localization length. The analogies and differences to the von Neumann algebraic situation are discussed.
△ Less
Submitted 5 March, 2014;
originally announced March 2014.
-
Superconformal nets and noncommutative geometry
Authors:
Sebastiano Carpi,
Robin Hillier,
Roberto Longo
Abstract:
This paper provides a further step in our program of studying superconformal nets over S^1 from the point of view of noncommutative geometry. For any such net A and any family Delta of localized endomorphisms of the even part A^gamma of A, we define the locally convex differentiable algebra A_Delta with respect to a natural Dirac operator coming from supersymmetry. Having determined its structure…
▽ More
This paper provides a further step in our program of studying superconformal nets over S^1 from the point of view of noncommutative geometry. For any such net A and any family Delta of localized endomorphisms of the even part A^gamma of A, we define the locally convex differentiable algebra A_Delta with respect to a natural Dirac operator coming from supersymmetry. Having determined its structure and properties, we study the family of spectral triples and JLO entire cyclic cocycles associated to elements in Delta and show that they are nontrivial and that the cohomology classes of the cocycles corresponding to inequivalent endomorphisms can be separated through their even or odd index pairing with K-theory in various cases. We illustrate some of those cases in detail with superconformal nets associated to well-known CFT models, namely super-current algebra nets and super-Virasoro nets. All in all, the result allows us to encode parts of the representation theory of the net in terms of noncommutative geometry.
△ Less
Submitted 2 August, 2013; v1 submitted 15 April, 2013;
originally announced April 2013.
-
N=2 superconformal nets
Authors:
Sebastiano Carpi,
Robin Hillier,
Yasuyuki Kawahigashi,
Roberto Longo,
Feng Xu
Abstract:
We provide an Operator Algebraic approach to N=2 chiral Conformal Field Theory and set up the Noncommutative Geometric framework. Compared to the N=1 case, the structure here is much richer. There are naturally associated nets of spectral triples and the JLO cocycles separate the Ramond sectors. We construct the N=2 superconformal nets of von Neumann algebras in general, classify them in the discr…
▽ More
We provide an Operator Algebraic approach to N=2 chiral Conformal Field Theory and set up the Noncommutative Geometric framework. Compared to the N=1 case, the structure here is much richer. There are naturally associated nets of spectral triples and the JLO cocycles separate the Ramond sectors. We construct the N=2 superconformal nets of von Neumann algebras in general, classify them in the discrete series c<3, and we define and study an operator algebraic version of the N=2 spectral flow. We prove the coset identification for the N=2 super-Virasoro nets with c<3, a key result whose equivalent in the vertex algebra context has seemingly not been completely proved so far. Finally, the chiral ring is discussed in terms of net representations.
△ Less
Submitted 21 November, 2014; v1 submitted 10 July, 2012;
originally announced July 2012.
-
How to add a boundary condition
Authors:
Sebastiano Carpi,
Yasuyuki Kawahigashi,
Roberto Longo
Abstract:
Given a conformal QFT local net of von Neumann algebras B_2 on the two-dimensional Minkowski spacetime with irreducible subnet A\otimes\A, where A is a completely rational net on the left/right light-ray, we show how to consistently add a boundary to B_2: we provide a procedure to construct a Boundary CFT net B of von Neumann algebras on the half-plane x>0, associated with A, and locally isomorphi…
▽ More
Given a conformal QFT local net of von Neumann algebras B_2 on the two-dimensional Minkowski spacetime with irreducible subnet A\otimes\A, where A is a completely rational net on the left/right light-ray, we show how to consistently add a boundary to B_2: we provide a procedure to construct a Boundary CFT net B of von Neumann algebras on the half-plane x>0, associated with A, and locally isomorphic to B_2. All such locally isomorphic Boundary CFT nets arise in this way. There are only finitely many locally isomorphic Boundary CFT nets and we get them all together. In essence, we show how to directly redefine the C* representation of the restriction of B_2 to the half-plane by means of subfactors and local conformal nets of von Neumann algebras on S^1.
△ Less
Submitted 4 December, 2012; v1 submitted 17 May, 2012;
originally announced May 2012.
-
Thermal States in Conformal QFT. II
Authors:
Paolo Camassa,
Roberto Longo,
Yoh Tanimoto,
Mihaly Weiner
Abstract:
We continue the analysis of the set of locally normal KMS states w.r.t. the translation group for a local conformal net A of von Neumann algebras on the real line. In the first part we have proved the uniqueness of KMS state on every completely rational net. In this second part, we exhibit several (non-rational) conformal nets which admit continuously many primary KMS states. We give a complete cl…
▽ More
We continue the analysis of the set of locally normal KMS states w.r.t. the translation group for a local conformal net A of von Neumann algebras on the real line. In the first part we have proved the uniqueness of KMS state on every completely rational net. In this second part, we exhibit several (non-rational) conformal nets which admit continuously many primary KMS states. We give a complete classification of the KMS states on the U(1)-current net and on the Virasoro net Vir_1 with the central charge c=1, whilst for the Virasoro net Vir_c with c>1 we exhibit a (possibly incomplete) list of continuously many primary KMS states. To this end, we provide a variation of the Araki-Haag-Kastler-Takesaki theorem within the locally normal system framework: if there is an inclusion of split nets A in B and A is the fixed point of B w.r.t. a compact gauge group, then any locally normal, primary KMS state on A extends to a locally normal, primary state on B, KMS w.r.t. a perturbed translation. Concerning the non-local case, we show that the free Fermi model admits a unique KMS state.
△ Less
Submitted 29 August, 2017; v1 submitted 9 September, 2011;
originally announced September 2011.
-
Thermal States in Conformal QFT. I
Authors:
Paolo Camassa,
Roberto Longo,
Yoh Tanimoto,
Mihály Weiner
Abstract:
We analyze the set of locally normal KMS states w.r.t. the translation group for a local conformal net A of von Neumann algebras on R. In this first part, we focus on completely rational net A. Our main result here states that, if A is completely rational, there exists exactly one locally normal KMS state φ. Moreover, φis canonically constructed by a geometric procedure. A crucial rôle is played b…
▽ More
We analyze the set of locally normal KMS states w.r.t. the translation group for a local conformal net A of von Neumann algebras on R. In this first part, we focus on completely rational net A. Our main result here states that, if A is completely rational, there exists exactly one locally normal KMS state φ. Moreover, φis canonically constructed by a geometric procedure. A crucial rôle is played by the analysis of the "thermal completion net" associated with a locally normal KMS state. A similar uniqueness result holds for KMS states of two-dimensional local conformal nets w.r.t. the time-translation one-parameter group.
△ Less
Submitted 28 February, 2012; v1 submitted 14 January, 2011;
originally announced January 2011.
-
An Algebraic Construction of Boundary Quantum Field Theory
Authors:
Roberto Longo,
Edward Witten
Abstract:
We build up local, time translation covariant Boundary Quantum Field Theory nets of von Neumann algebras A_V on the Minkowski half-plane M_+ starting with a local conformal net A of von Neumann algebras on the real line and an element V of a unitary semigroup E(A) associated with A. The case V=1 reduces to the net A_+ considered by Rehren and one of the authors; if the vacuum character of A is sum…
▽ More
We build up local, time translation covariant Boundary Quantum Field Theory nets of von Neumann algebras A_V on the Minkowski half-plane M_+ starting with a local conformal net A of von Neumann algebras on the real line and an element V of a unitary semigroup E(A) associated with A. The case V=1 reduces to the net A_+ considered by Rehren and one of the authors; if the vacuum character of A is summable A_V is locally isomorphic to A_+. We discuss the structure of the semigroup E(A). By using a one-particle version of Borchers theorem and standard subspace analysis, we provide an abstract analog of the Beurling-Lax theorem that allows us to describe, in particular, all unitaries on the one-particle Hilbert space whose second quantization promotion belongs to of E(A^(0)) with A^(0) the U(1)-current net. Each such unitary is attached to a scattering function or, more generally, to a symmetric inner function. We then obtain families of models via any Buchholz-Mach-Todorov extension of A^(0). A further family of models comes from the Ising model.
△ Less
Submitted 5 April, 2010;
originally announced April 2010.
-
On the Jones index values for conformal subnets
Authors:
Sebastiano Carpi,
Yasuyuki Kawahigashi,
Roberto Longo
Abstract:
We consider the smallest values taken by the Jones index for an inclusion of local conformal nets of von Neumann algebras on S^1 and show that these values are quite more restricted than for an arbitrary inclusion of factors. Below 4, the only non-integer admissible value is 4\cos^2 π/10, which is known to be attained by a certain coset model. Then no index value is possible in the interval betw…
▽ More
We consider the smallest values taken by the Jones index for an inclusion of local conformal nets of von Neumann algebras on S^1 and show that these values are quite more restricted than for an arbitrary inclusion of factors. Below 4, the only non-integer admissible value is 4\cos^2 π/10, which is known to be attained by a certain coset model. Then no index value is possible in the interval between 4 and 3 +\sqrt{3}. The proof of this result based on α-induction arguments. In the case of values below 4 we also give a second proof of the result. In the course of the latter proof we classify all possible unitary braiding symmetries on the A D E tensor categories, namely the ones associated with the even vertices of the A_n, D_{2n}, E_6, E_8 Dynkin diagrams.
△ Less
Submitted 19 February, 2010;
originally announced February 2010.
-
Spectral triples and the super-Virasoro algebra
Authors:
Sebastiano Carpi,
Robin Hillier,
Yasuyuki Kawahigashi,
Roberto Longo
Abstract:
We construct infinite dimensional spectral triples associated with representations of the super-Virasoro algebra. In particular the irreducible, unitary positive energy representation of the Ramond algebra with central charge c and minimal lowest weight h=c/24 is graded and gives rise to a net of even theta-summable spectral triples with non-zero Fredholm index. The irreducible unitary positive…
▽ More
We construct infinite dimensional spectral triples associated with representations of the super-Virasoro algebra. In particular the irreducible, unitary positive energy representation of the Ramond algebra with central charge c and minimal lowest weight h=c/24 is graded and gives rise to a net of even theta-summable spectral triples with non-zero Fredholm index. The irreducible unitary positive energy representations of the Neveu-Schwarz algebra give rise to nets of even theta-summable generalised spectral triples where there is no Dirac operator but only a superderivation.
△ Less
Submitted 25 May, 2009; v1 submitted 25 November, 2008;
originally announced November 2008.
-
How to remove the boundary in CFT - an operator algebraic procedure
Authors:
Roberto Longo,
Karl-Henning Rehren
Abstract:
The relation between two-dimensional conformal quantum field theories with and without a timelike boundary is explored.
The relation between two-dimensional conformal quantum field theories with and without a timelike boundary is explored.
△ Less
Submitted 15 January, 2008; v1 submitted 13 December, 2007;
originally announced December 2007.
-
Structure and Classification of Superconformal Nets
Authors:
Sebastiano Carpi,
Yasuyuki Kawahigashi,
Roberto Longo
Abstract:
We study the general structure of Fermi conformal nets of von Neumann algebras on the circle, consider a class of topological representations, the general representations, that we characterize as Neveu-Schwarz or Ramond representations, in particular a Jones index can be associated with each of them. We then consider a supersymmetric general representation associated with a Fermi modular net and…
▽ More
We study the general structure of Fermi conformal nets of von Neumann algebras on the circle, consider a class of topological representations, the general representations, that we characterize as Neveu-Schwarz or Ramond representations, in particular a Jones index can be associated with each of them. We then consider a supersymmetric general representation associated with a Fermi modular net and give a formula involving the Fredholm index of the supercharge operator and the Jones index. We then consider the net associated with the super-Virasoro algebra and discuss its structure. If the central charge c belongs to the discrete series, this net is modular by the work of F. Xu and we get an example where our setting is verified by considering the Ramond irreducible representation with lowest weight c/24. We classify all the irreducible Fermi extensions of any super-Virasoro net in the discrete series, thus providing a classification of all superconformal nets with central charge less than 3/2.
△ Less
Submitted 3 March, 2008; v1 submitted 24 May, 2007;
originally announced May 2007.
-
Nuclearity and Thermal States in Conformal Field Theory
Authors:
Detlev Buchholz,
Claudio D'Antoni,
Roberto Longo
Abstract:
We introduce a new type of spectral density condition, that we call L^2-nuclearity. One formulation concerns lowest weight unitary representations of SL(2,R) and turns out to be equivalent to the existence of characters. A second formulation concerns inclusions of local observable von Neumann algebras in Quantum Field Theory. We show the two formulations to agree in chiral Conformal QFT and, sta…
▽ More
We introduce a new type of spectral density condition, that we call L^2-nuclearity. One formulation concerns lowest weight unitary representations of SL(2,R) and turns out to be equivalent to the existence of characters. A second formulation concerns inclusions of local observable von Neumann algebras in Quantum Field Theory. We show the two formulations to agree in chiral Conformal QFT and, starting from the trace class condition for the semigroup generated by the conformal Hamiltonian L_0, we infer and naturally estimate the Buchholz-Wichmann nuclearity condition and the (distal) split property. As a corollary, if L_0 is log-elliptic, the Buchholz-Junglas set up is realized and so there exists a beta-KMS state for the translation dynamics on the net of C*-algebras for every inverse temperature beta>0. We include further discussions on higher dimensional spacetimes. In particular, we verify that L^2-nuclearity is satisfied for the scalar, massless Klein-Gordon field.
△ Less
Submitted 16 November, 2006; v1 submitted 30 March, 2006;
originally announced March 2006.
-
The classification of non-local chiral CFT with c<1
Authors:
Y. Kawahigashi,
R. Longo,
U. Pennig,
K. -H. Rehren
Abstract:
All non-local but relatively local irreducible extensions of Virasoro chiral CFTs with c<1 are classified. The classification, which is a prerequisite for the classification of local c<1 boundary CFTs on a two-dimensional half-space, turns out to be 1 to 1 with certain pairs of A-D-E graphs with distinguished vertices.
All non-local but relatively local irreducible extensions of Virasoro chiral CFTs with c<1 are classified. The classification, which is a prerequisite for the classification of local c<1 boundary CFTs on a two-dimensional half-space, turns out to be 1 to 1 with certain pairs of A-D-E graphs with distinguished vertices.
△ Less
Submitted 31 July, 2006; v1 submitted 8 May, 2005;
originally announced May 2005.
-
Local conformal nets arising from framed vertex operator algebras
Authors:
Yasuyuki Kawahigashi,
Roberto Longo
Abstract:
We apply an idea of framed vertex operator algebras to a construction of local conformal nets of (injective type III_1) factors on the circle corresponding to various lattice vertex operator algebras and their twisted orbifolds. In particular, we give a local conformal net corresponding to the moonshine vertex operator algebras of Frenkel-Lepowsky-Meurman. Its central charge is 24, it has a triv…
▽ More
We apply an idea of framed vertex operator algebras to a construction of local conformal nets of (injective type III_1) factors on the circle corresponding to various lattice vertex operator algebras and their twisted orbifolds. In particular, we give a local conformal net corresponding to the moonshine vertex operator algebras of Frenkel-Lepowsky-Meurman. Its central charge is 24, it has a trivial representation theory in the sense that the vacuum sector is the only irreducible DHR sector, its vacuum character is the modular invariant J-function and its automorphism group (the gauge group) is the Monster group. We use our previous tools such as alpha-induction and complete rationality to study extensions of local conformal nets.
△ Less
Submitted 7 April, 2005; v1 submitted 14 July, 2004;
originally announced July 2004.
-
Noncommutative Spectral Invariants and Black Hole Entropy
Authors:
Yasuyuki Kawahigashi,
Roberto Longo
Abstract:
We consider an intrinsic entropy associated with a local conformal net A by the coefficients in the expansion of the logarithm of the trace of the ``heat kernel'' semigroup. In analogy with Weyl theorem on the asymptotic density distribution of the Laplacian eigenvalues, passing to a quantum system with infinitely many degrees of freedom, we regard these coefficients as noncommutative geometric…
▽ More
We consider an intrinsic entropy associated with a local conformal net A by the coefficients in the expansion of the logarithm of the trace of the ``heat kernel'' semigroup. In analogy with Weyl theorem on the asymptotic density distribution of the Laplacian eigenvalues, passing to a quantum system with infinitely many degrees of freedom, we regard these coefficients as noncommutative geometric invariants. Under a natural modularity assumption, the leading term of the entropy (noncommutative area) is proportional to the central charge c, the first order correction (noncommutative Euler characteristic) is proportional to logμ_A, where μ_A is the global index of A, and the second spectral invariant is again proportional to c.
We give a further general method to define a mean entropy by considering conformal symmetries that preserve a discretization of S^1 and we get the same value proportional to c.
We then make the corresponding analysis with the proper Hamiltonian associated to an interval. We find here, in complete generality, a proper mean entropy proportional to logμ_A with a first order correction defined by means of the relative entropy associated with canonical states.
By considering a class of black holes with an associated conformal quantum field theory on the horizon, and relying on arguments in the literature, we indicate a possible way to link the noncommutative area with the Bekenstein-Hawking classical area description of entropy.
△ Less
Submitted 16 November, 2004; v1 submitted 12 May, 2004;
originally announced May 2004.
-
Solitons in Affine and Permutation Orbifolds
Authors:
Victor G. Kac,
Roberto Longo,
Feng Xu
Abstract:
We consider properties of solitons in general orbifolds in the algebraic quantum field theory framework and constructions of solitons in affine and permutation orbifolds. Under general conditions we show that our construction gives all the twisted representations of the fixed point subnet. This allows us to prove a number of conjectures: in the affine orbifold case we clarify the issue of ``fixe…
▽ More
We consider properties of solitons in general orbifolds in the algebraic quantum field theory framework and constructions of solitons in affine and permutation orbifolds. Under general conditions we show that our construction gives all the twisted representations of the fixed point subnet. This allows us to prove a number of conjectures: in the affine orbifold case we clarify the issue of ``fixed point resolutions''; in the permutation orbifold case we determine all irreducible representations of the orbifold, and we also determine the fusion rules in a nontrivial case, which imply an integral property of chiral data for any completely rational conformal net.
△ Less
Submitted 12 February, 2004; v1 submitted 31 December, 2003;
originally announced December 2003.
-
Topological Sectors and a Dichotomy in Conformal Field Theory
Authors:
Roberto Longo,
Feng Xu
Abstract:
Let A be a local conformal net of factors on the circle with the split property. We provide a topological construction of soliton representations of the tensor product of n copies of A, that restrict to true representations of subnet inviant under cyclic permutations (cyclic orbifold). We prove a quantum index theorem for our sectors relating the Jones index to a topological degree. Then A is no…
▽ More
Let A be a local conformal net of factors on the circle with the split property. We provide a topological construction of soliton representations of the tensor product of n copies of A, that restrict to true representations of subnet inviant under cyclic permutations (cyclic orbifold). We prove a quantum index theorem for our sectors relating the Jones index to a topological degree. Then A is not completely rational iff the the cyclic orbifold has an irreducible representation with infinite index. This implies the following dichotomy: if all irreducible sectors of A have a conjugate sector then either A is completely rational or A has uncountably many different irreducible sectors. Thus A is rational iff A is completely rational. In particular, if the mu-index of A finite then A turns out to be strongly additive. By [KLM], if A is rational then the tensor category of representations of A is automatically modular, namely the braiding symmetry is non-degenerate. In interesting cases, we compute the fusion rules of the topological solitons and show that they determine all twisted sectors of the cyclic orbifold.
△ Less
Submitted 17 March, 2004; v1 submitted 22 September, 2003;
originally announced September 2003.
-
Classification of Two-dimensional Local Conformal Nets with c<1 and 2-cohomology Vanishing for Tensor Categories
Authors:
Yasuyuki Kawahigashi,
Roberto Longo
Abstract:
We classify two-dimensional local conformal nets with parity symmetry and central charge less than 1, up to isomorphism. The maximal ones are in a bijective correspondence with the pairs of A-D-E Dynkin diagrams with the difference of their Coxeter numbers equal to 1. In our previous classification of one-dimensional local conformal nets, Dynkin diagrams D_{2n+1} and E_7 do not appear, but now t…
▽ More
We classify two-dimensional local conformal nets with parity symmetry and central charge less than 1, up to isomorphism. The maximal ones are in a bijective correspondence with the pairs of A-D-E Dynkin diagrams with the difference of their Coxeter numbers equal to 1. In our previous classification of one-dimensional local conformal nets, Dynkin diagrams D_{2n+1} and E_7 do not appear, but now they do appear in this classification of two-dimensional local conformal nets. Such nets are also characterized as two-dimensional local conformal nets with mu-index equal to 1 and central charge less than 1. Our main tool, in addition to our previous classification results for one-dimensional nets, is 2-cohomology vanishing for certain tensor categories related to the Virasoro tensor categories with central charge less than 1.
△ Less
Submitted 14 April, 2003;
originally announced April 2003.
-
A Converse Hawking-Unruh Effect and dS^2/CFT Correspondance
Authors:
Daniele Guido,
Roberto Longo
Abstract:
Given a local quantum field theory net A on the de Sitter spacetime dS^d, where geodesic observers are thermalized at Gibbons-Hawking temperature, we look for observers that feel to be in a ground state, i.e. particle evolutions with positive generator, providing a sort of converse to the Hawking-Unruh effect. Such positive energy evolutions always exist as noncommutative flows, but have only a…
▽ More
Given a local quantum field theory net A on the de Sitter spacetime dS^d, where geodesic observers are thermalized at Gibbons-Hawking temperature, we look for observers that feel to be in a ground state, i.e. particle evolutions with positive generator, providing a sort of converse to the Hawking-Unruh effect. Such positive energy evolutions always exist as noncommutative flows, but have only a partial geometric meaning, yet they map localized observables into localized observables.
We characterize the local conformal nets on dS^d. Only in this case our positive energy evolutions have a complete geometrical meaning. We show that each net has a unique maximal expected conformal subnet, where our evolutions are thus geometrical.
In the two-dimensional case, we construct a holographic one-to-one correspondence between local nets A on dS^2 and local conformal non-isotonic families (pseudonets) B on S^1. The pseudonet B gives rise to two local conformal nets B(+/-) on S^1, that correspond to the H(+/-)-horizon components of A, and to the chiral components of the maximal conformal subnet of A. In particular, A is holographically reconstructed by a single horizon component, namely the pseudonet is a net, iff the translations on H(+/-) have positive energy and the translations on H(-/+) are trivial. This is the case iff the one-parameter unitary group implementing rotations on dS^2 has positive/negative generator.
△ Less
Submitted 25 March, 2003; v1 submitted 5 December, 2002;
originally announced December 2002.
-
A Remark on Quantum Group Actions and Nuclearity
Authors:
S. Doplicher,
R. Longo,
J. E. Roberts,
L. Zsido
Abstract:
Let H be a compact quantum group with faithful Haar measure and bounded counit. If H acts on a C*-algebra A, we show that A is nuclear if and only if its fixed-point subalgebra is nuclear. As a consequence H is a nuclear C*-algebra.
Let H be a compact quantum group with faithful Haar measure and bounded counit. If H acts on a C*-algebra A, we show that A is nuclear if and only if its fixed-point subalgebra is nuclear. As a consequence H is a nuclear C*-algebra.
△ Less
Submitted 8 July, 2002; v1 submitted 2 April, 2002;
originally announced April 2002.
-
Modular localization and Wigner particles
Authors:
Romeo Brunetti,
Daniele Guido,
Roberto Longo
Abstract:
We propose a framework for the free field construction of algebras of local observables which uses as an input the Bisognano-Wichmann relations and a representation of the Poincare' group on the one-particle Hilbert space. The abstract real Hilbert subspace version of the Tomita-Takesaki theory enables us to bypass some limitations of the Wigner formalism by introducing an intrinsic spacetime lo…
▽ More
We propose a framework for the free field construction of algebras of local observables which uses as an input the Bisognano-Wichmann relations and a representation of the Poincare' group on the one-particle Hilbert space. The abstract real Hilbert subspace version of the Tomita-Takesaki theory enables us to bypass some limitations of the Wigner formalism by introducing an intrinsic spacetime localization. Our approach works also for continuous spin representations to which we associate a net of von Neumann algebras on spacelike cones with the Reeh-Schlieder property. The positivity of the energy in the representation turns out to be equivalent to the isotony of the net, in the spirit of Borchers theorem. Our procedure extends to other spacetimes homogeneous under a group of geometric transformations as in the case of conformal symmetries and de Sitter spacetime.
△ Less
Submitted 18 June, 2002; v1 submitted 13 March, 2002;
originally announced March 2002.
-
Classification of Local Conformal Nets. Case c < 1
Authors:
Yasuyuki Kawahigashi,
Roberto Longo
Abstract:
We completely classify diffeomorphism covariant local nets of von Neumann algebras on the circle with central charge c less than 1. The irreducible ones are in bijective correspondence with the pairs of A-D_{2n}-E_{6,8} Dynkin diagrams such that the difference of their Coxeter numbers is equal to 1. We first identify the nets generated by irreducible representations of the Virasoro algebra for c…
▽ More
We completely classify diffeomorphism covariant local nets of von Neumann algebras on the circle with central charge c less than 1. The irreducible ones are in bijective correspondence with the pairs of A-D_{2n}-E_{6,8} Dynkin diagrams such that the difference of their Coxeter numbers is equal to 1. We first identify the nets generated by irreducible representations of the Virasoro algebra for c<1 with certain coset nets. Then, by using the classification of modular invariants for the minimal models by Cappelli-Itzykson-Zuber and the method of alpha-induction in subfactor theory, we classify all local irreducible extensions of the Virasoro nets for c<1 and infer our main classification result. As an application, we identify in our classification list certain concrete coset nets studied in the literature.
△ Less
Submitted 2 April, 2003; v1 submitted 8 January, 2002;
originally announced January 2002.
-
Conformal Subnets and Intermediate Subfactors
Authors:
Roberto Longo
Abstract:
Given an irreducible local conformal net A of von Neumann algebras on the circle and a finite-index conformal subnet B of A, we show that A is completely rational iff B is completely rational. In particular this extends a result of F. Xu for the orbifold construction. By applying previous results of Xu, many coset models turn out to be completely rational and the structure results in [KLM] hold.…
▽ More
Given an irreducible local conformal net A of von Neumann algebras on the circle and a finite-index conformal subnet B of A, we show that A is completely rational iff B is completely rational. In particular this extends a result of F. Xu for the orbifold construction. By applying previous results of Xu, many coset models turn out to be completely rational and the structure results in [KLM] hold. Our proofs are based on an analysis of the net inclusion B in A; among other things we show that, for a fixed interval I, every von Neumann algebra R intermediate between B(I) and A(I) comes from an intermediate conformal net L between B and A with L(I)=R. We make use of a theorem of Watatani (type II case) and Teruya and Watatani (type III case) on the finiteness of the set I(N,M) of intermediate subfactors in an irreducible inclusion of factors N in M with finite Jones index [M:N]. We provide a unified proof of this result that gives in particular an explicit bound for the cardinality of I(N,M) which depends only on [M:N].
△ Less
Submitted 5 March, 2002; v1 submitted 26 February, 2001;
originally announced February 2001.
