Defining complexity in quantum field theory is a difficult task, and the main challenge concerns going beyond free models and associated Gaussian states and operations. One take on this issue is to consider conformal field theories in 1+1 dimensions and our work is a comprehensive study of state and operator complexity in the universal sector of their energy-momentum tensor. The unifying conceptual ideas are Euler-Arnold equations and their integro-differential generalization, which guarantee well-posedness of the optimization problem between two generic states or transformations of interest. The present work provides an in-depth discussion of the results reported in arXiv:2005.02415 and techniques used in their derivation. Among the most important topics we cover are usage of differential regularization, solution of the integro-differential equation describing Fubini-Study state complexity and probing the underlying geometry.Defining complexity in quantum field theory is a difficult task, and the main challenge concerns going beyond free models and associated Gaussian states and operations. One take on this issue is to consider conformal field theories in 1+1 dimensions and our work is a comprehensive study of state and operator complexity in the universal sector of their energy-momentum tensor. The unifying conceptual ideas are Euler-Arnold equations and their integro-differential generalization, which guarantee well-posedness of the optimization problem between two generic states or transformations of interest. The present work provides an in-depth discussion of the results reported in arXiv:2005.02415 and techniques used in their derivation. Among the most important topics we cover are usage of differential regularization, solution of the integro-differential equation describing Fubini-Study state complexity and probing the underlying geometry.

Dec 15, 202046 citations

Survey on the Conformal Field Theories in two dimensions and Minimal Models

Atlas Çelik

The fundamentals of the conformal symmetry transformations in two dimensions are introduced. From the adapted \textit{Ward identities under conformal constraints}, the \textit{operator product expansion} (OPE) is defined for free fields and the energy momentum tensor (EM). After demonstrating how the energy momentum tensor transforms under conformal invariance, the notion of the \textit{central charge c} is defined. Conformal fields in two dimensions are \textit{radially} quantized on the cylinder within the framework of the second quantization of quantum field theory and are then mapped onto complex plane via a conformal mapping. The \textit{radial ordering} of conformal fields is adopted. The \textit{Virasoro algebra} is derived from the identification of the \textit{conformal generators}, which follow from relations between equal-time commutators and contour integrals of conformal fields. The radial quantization is applied to the free fermionic and bosonic fields, where for the latter the \textit{Vertex operator} is defined and specified. The Fock space of the free boson is constructed through the \textit{operator state correspondence}. Various boundary conditions are applied to free fields, and their effects on the ground-state energy density are detailed, leading to the notion of the \textit{Casimir energy}. The OPEs are regularized for the \textit{interacting} conformal fields, namely the E-M tensor, and the related definition of \textit{normal ordering} is revisited. Utilization of the Virasoro algebra led first to the \textit{descendant states} and subsequently to the \textit{conformal families}. The OPEs are generalized for the conformal families, and it is demonstrated how the three-point function coefficients may be obtained in terms of the two-point functions. The same procedure is employed generically through the definition of the \textit{conformal blocks}. The \textit{conformal Bootstrap method} is introduced to calculate the coefficients of $n$ point functions. The Hilbert space of the conformal fields in two dimensions is formally constructed through the \textit{representation theory of Virasoro algebra}. Accordingly, the reducible and irreducible \textit{Verma modules} are specified. Due to the unitarity requirement of the Hilbert space, the famous \textit{Kac determinant} is introduced to obtain constraints on the inner products of the Verma modules, whence on the \textit{conformal weights} and the central charge. The decoupling of the \textit{null states} from rest of the their conformal families is used to obtain \textit{fusion rules} of the families. The \textit{Kac table} for the constrained conformal weights is constructed, and its analysis under the requirement of unitarity leads to the identification of the \textit{minimal models}. The correspondence between the discrete statistical systems at criticality and the minimal models is studied, where special attention is given on the \textit{Ising model}.The fundamentals of the conformal symmetry transformations in two dimensions are introduced. From the adapted \textit{Ward identities under conformal constraints}, the \textit{operator product expansion} (OPE) is defined for free fields and the energy momentum tensor (EM). After demonstrating how the energy momentum tensor transforms under conformal invariance, the notion of the \textit{central charge c} is defined. Conformal fields in two dimensions are \textit{radially} quantized on the cylinder within the framework of the second quantization of quantum field theory and are then mapped onto complex plane via a conformal mapping. The \textit{radial ordering} of conformal fields is adopted. The \textit{Virasoro algebra} is derived from the identification of the \textit{conformal generators}, which follow from relations between equal-time commutators and contour integrals of conformal fields. The radial quantization is applied to the free fermionic and bosonic fields, where for the latter the \textit{Vertex operator} is defined and specified. The Fock space of the free boson is constructed through the \textit{operator state correspondence}. Various boundary conditions are applied to free fields, and their effects on the ground-state energy density are detailed, leading to the notion of the \textit{Casimir energy}. The OPEs are regularized for the \textit{interacting} conformal fields, namely the E-M tensor, and the related definition of \textit{normal ordering} is revisited. Utilization of the Virasoro algebra led first to the \textit{descendant states} and subsequently to the \textit{conformal families}. The OPEs are generalized for the conformal families, and it is demonstrated how the three-point function coefficients may be obtained in terms of the two-point functions. The same procedure is employed generically through the definition of the \textit{conformal blocks}. The \textit{conformal Bootstrap method} is introduced to calculate the coefficients of $n$ point functions. The Hilbert space of the conformal fields in two dimensions is formally constructed through the \textit{representation theory of Virasoro algebra}. Accordingly, the reducible and irreducible \textit{Verma modules} are specified. Due to the unitarity requirement of the Hilbert space, the famous \textit{Kac determinant} is introduced to obtain constraints on the inner products of the Verma modules, whence on the \textit{conformal weights} and the central charge. The decoupling of the \textit{null states} from rest of the their conformal families is used to obtain \textit{fusion rules} of the families. The \textit{Kac table} for the constrained conformal weights is constructed, and its analysis under the requirement of unitarity leads to the identification of the \textit{minimal models}. The correspondence between the discrete statistical systems at criticality and the minimal models is studied, where special attention is given on the \textit{Ising model}.

Työväentutkimus VuosikirjaMay 20, 20260 citations

Entanglement and complexity of purification in (1+1)-dimensional free conformal field theories

Hugo A. Camargo, Lucas Hackl, Michał P. Heller +3 more

Finding pure states in an enlarged Hilbert space that encode the mixed state of a quantum field theory as a partial trace is necessarily a challenging task. Nevertheless, such purifications play the key role in characterizing quantum information-theoretic properties of mixed states via entanglement and complexity of purifications. In this article, we analyze these quantities for two intervals in the vacuum of free bosonic and Ising conformal field theories using the most general Gaussian purifications. We provide a comprehensive comparison with existing results and identify universal properties. We further discuss important subtleties in our setup: the massless limit of the free bosonic theory and the corresponding behavior of the mutual information, as well as the Hilbert space structure under the Jordan-Wigner mapping in the spin chain model of the Ising conformal field theory.Finding pure states in an enlarged Hilbert space that encode the mixed state of a quantum field theory as a partial trace is necessarily a challenging task. Nevertheless, such purifications play the key role in characterizing quantum information-theoretic properties of mixed states via entanglement and complexity of purifications. In this article, we analyze these quantities for two intervals in the vacuum of free bosonic and Ising conformal field theories using the most general Gaussian purifications. We provide a comprehensive comparison with existing results and identify universal properties. We further discuss important subtleties in our setup: the massless limit of the free bosonic theory and the corresponding behavior of the mutual information, as well as the Hilbert space structure under the Jordan-Wigner mapping in the spin chain model of the Ising conformal field theory.

Jan 1, 202125 citations

Quantum complexity as hydrodynamics

Pablo Basteiro, Johanna Erdmenger B, Pascal Fries +3 more

As a new step toward defining complexity for quantum field theories, we map Nielsen operator complexity for $SU(N)$ gates to two-dimensional hydrodynamics. We develop a tractable large $N$ limit that leads to regular geometries on the manifold of unitaries as $N$ is taken to infinity. To achieve this, we introduce a basis of noncommutative plane waves for the $\mathfrak{su}(N)$ algebra and define a metric with polynomial penalty factors. Through the Euler-Arnold approach we identify incompressible inviscid hydrodynamics on the two-torus as a novel effective theory of large-qudit operator complexity. For large $N$ , our cost function captures two essential properties of holographic complexity measures: ergodicity and conjugate points.As a new step toward defining complexity for quantum field theories, we map Nielsen operator complexity for $SU(N)$ gates to two-dimensional hydrodynamics. We develop a tractable large $N$ limit that leads to regular geometries on the manifold of unitaries as $N$ is taken to infinity. To achieve this, we introduce a basis of noncommutative plane waves for the $\mathfrak{su}(N)$ algebra and define a metric with polynomial penalty factors. Through the Euler-Arnold approach we identify incompressible inviscid hydrodynamics on the two-torus as a novel effective theory of large-qudit operator complexity. For large $N$, our cost function captures two essential properties of holographic complexity measures: ergodicity and conjugate points.

arXiv:2109.01152Physical review. D/Physical review. D.Sep 14, 202224 citations

Toward a Definition of Complexity for Quantum Field Theory States

Shira Chapman, Michał P. Heller, Hugo Marrochio +1 more

We investigate notions of complexity of states in continuous many-body quantum systems. We focus on Gaussian states which include ground states of free quantum field theories and their approximations encountered in the context of the continuous version of the multiscale entanglement renormalization ansatz. Our proposal for quantifying state complexity is based on the Fubini-Study metric. It leads to counting the number of applications of each gate (infinitesimal generator) in the transformation, subject to a state-dependent metric. We minimize the defined complexity with respect to momentum-preserving quadratic generators which form su(1,1) algebras. On the manifold of Gaussian states generated by these operations, the Fubini-Study metric factorizes into hyperbolic planes with minimal complexity circuits reducing to known geodesics. Despite working with quantum field theories far outside the regime where Einstein gravity duals exist, we find striking similarities between our results and those of holographic complexity proposals.We investigate notions of complexity of states in continuous many-body quantum systems. We focus on Gaussian states which include ground states of free quantum field theories and their approximations encountered in the context of the continuous version of the multiscale entanglement renormalization ansatz. Our proposal for quantifying state complexity is based on the Fubini-Study metric. It leads to counting the number of applications of each gate (infinitesimal generator) in the transformation, subject to a state-dependent metric. We minimize the defined complexity with respect to momentum-preserving quadratic generators which form su(1,1) algebras. On the manifold of Gaussian states generated by these operations, the Fubini-Study metric factorizes into hyperbolic planes with minimal complexity circuits reducing to known geodesics. Despite working with quantum field theories far outside the regime where Einstein gravity duals exist, we find striking similarities between our results and those of holographic complexity proposals.

arXiv:1707.08582Physical Review LettersMar 22, 2018403 citations

Perturbed conformal field theory, nonlinear integral equations and spectral problems

Clare Dunning

This thesis is concerned with various aspects of perturbed conformal field theory and the methods used to calculate finite-size effects of integrable quantum field theories. Nonlinear integral equations are the main tools to find the exact ground-state energy of a quantum field theory. The thermodyamic Bethe ansatz (TBA) equations are a set of examples and are known for a large number of models. However, it is also an interesting question to find exact equations describing the excited states of integrable models. The first part of this thesis uses analytical continuation in a continuous parameter to find TBA like equations describing the spin-zero excited states of the sine-Gordon model at coupling β(^2) = 16π/3. Comparisons are then made with a further type of nonlinear integral equation which also predicts the excited state energies. Relations between the two types of equation are studied using a set of functional relations recently introduced in integrable quantum field theory. A relevant perturbation of a conformal field theory results in either a massive quantum field theory such as the sine-Gordon model, or a different massless conformal field theory. The second part of this thesis investigates flows between conformal field theories using a nonlinear integral equation. New families of flows are found which exhibit a rather unexpected behaviour. The final part of this thesis begins with a review of a connection between integrable quantum field theory and properties of certain ordinary differential equations of second- and third-order. The connection is based on functional relations which appear on both sides of the correspondence; for the second-order case these are exactly the functional relations mentioned above. The results are extended to include a correspondence between n(^th) order differential equations and Bethe ansatz system of SU(n) type. A set of nonlinear integral equations are derived to check the results.This thesis is concerned with various aspects of perturbed conformal field theory and the methods used to calculate finite-size effects of integrable quantum field theories. Nonlinear integral equations are the main tools to find the exact ground-state energy of a quantum field theory. The thermodyamic Bethe ansatz (TBA) equations are a set of examples and are known for a large number of models. However, it is also an interesting question to find exact equations describing the excited states of integrable models. The first part of this thesis uses analytical continuation in a continuous parameter to find TBA like equations describing the spin-zero excited states of the sine-Gordon model at coupling β(^2) = 16π/3. Comparisons are then made with a further type of nonlinear integral equation which also predicts the excited state energies. Relations between the two types of equation are studied using a set of functional relations recently introduced in integrable quantum field theory. A relevant perturbation of a conformal field theory results in either a massive quantum field theory such as the sine-Gordon model, or a different massless conformal field theory. The second part of this thesis investigates flows between conformal field theories using a nonlinear integral equation. New families of flows are found which exhibit a rather unexpected behaviour. The final part of this thesis begins with a review of a connection between integrable quantum field theory and properties of certain ordinary differential equations of second- and third-order. The connection is based on functional relations which appear on both sides of the correspondence; for the second-order case these are exactly the functional relations mentioned above. The results are extended to include a correspondence between n(^th) order differential equations and Bethe ansatz system of SU(n) type. A set of nonlinear integral equations are derived to check the results.

Jan 1, 20002 citations

n

point functions. The Hilbert space of the conformal fields in two dimensions is formally constructed through the \textit{representation theory of Virasoro algebra}. Accordingly, the reducible and irreducible \textit{Verma modules} are specified. Due to the unitarity requirement of the Hilbert space, the famous \textit{Kac determinant} is introduced to obtain constraints on the inner products of the Verma modules, whence on the \textit{conformal weights} and the central charge. The decoupling of the \textit{null states} from rest of the their conformal families is used to obtain \textit{fusion rules} of the families. The \textit{Kac table} for the constrained conformal weights is constructed, and its analysis under the requirement of unitarity leads to the identification of the \textit{minimal models}. The correspondence between the discrete statistical systems at criticality and the minimal models is studied, where special attention is given on the \textit{Ising model}.

As a new step toward defining complexity for quantum field theories, we map Nielsen operator complexity for

SU(N)

gates to two-dimensional hydrodynamics. We develop a tractable large

N

limit that leads to regular geometries on the manifold of unitaries as

N

is taken to infinity. To achieve this, we introduce a basis of noncommutative plane waves for the

\mathfrak{su}(N)

algebra and define a metric with polynomial penalty factors. Through the Euler-Arnold approach we identify incompressible inviscid hydrodynamics on the two-torus as a novel effective theory of large-qudit operator complexity. For large

N

, our cost function captures two essential properties of holographic complexity measures: ergodicity and conjugate points.