Anti-de Sitter Space from Optimization of Path Integrals in Conformal Field Theories

Pseudoentropy in dS/CFT and Timelike Entanglement Entropy

We study holographic entanglement entropy in dS/CFT and introduce timelike entanglement entropy in CFTs. Both of them take complex values in general and are related with each other via an analytical continuation. We argue that they are correctly understood as pseudoentropy. We find that the imaginary part of pseudoentropy implies an emergence of time in dS/CFT.

Quantum information in holographic duality

We give a pedagogical review of how concepts from quantum information theory build up the gravitational side of the anti-de Sitter/conformal field theory correspondence. The review is self-contained in that it only presupposes knowledge of quantum mechanics and general relativity; other tools-including holographic duality itself-are introduced in the text. We have aimed to give researchers interested in entering this field a working knowledge sufficient for initiating original projects. The review begins with the laws of black hole thermodynamics, which form the basis of this subject, then introduces the Ryu-Takayanagi proposal, the Jafferis-Lewkowycz-Maldacena-Suh (JLMS) relation, and subregion duality. We discuss tensor networks as a visualization tool and analyze various network architectures in detail. Next, several modern concepts and techniques are discussed: Rényi entropies and the replica trick, differential entropy and kinematic space, modular Berry phases, modular minimal entropy, entanglement wedge cross-sections, bit threads, and others. We discuss the extent to which bulk geometries are fixed by boundary entanglement entropies, and analyze the relations such as the monogamy of mutual information, which boundary entanglement entropies must obey if a state has a semiclassical bulk dual. We close with a discussion of black holes, including holographic complexity, firewalls and the black hole information paradox, islands, and replica wormholes.

Conformal properties of hyperinvariant tensor networks

Hyperinvariant tensor networks (hyMERA) were introduced as a way to combine the successes of perfect tensor networks (HaPPY) and the multiscale entanglement renormalization ansatz (MERA) in simulations of the AdS/CFT correspondence. Although this new class of tensor network shows much potential for simulating conformal field theories arising from hyperbolic bulk manifolds with quasiperiodic boundaries, many issues are unresolved. In this manuscript we analyze the challenges related to optimizing tensors in a hyMERA with respect to some quasiperiodic critical spin chain, and compare with standard approaches in MERA. Additionally, we show two new sets of tensor decompositions which exhibit different properties from the original construction, implying that the multitensor constraints are neither unique, nor difficult to find, and that a generalization of the analytical tensor forms used up until now may exist. Lastly, we perform randomized trials using a descending superoperator with several of the investigated tensor decompositions, and find that the constraints imposed on the spectra of local descending superoperators in hyMERA are compatible with the operator spectra of several minimial model CFTs.

Lorentzian Threads as Gatelines and Holographic Complexity

The continuous min flow-max cut principle is used to reformulate the "complexity=volume" conjecture using Lorentzian flows-divergenceless norm-bounded timelike vector fields whose minimum flux through a boundary subregion is equal to the volume of the homologous maximal bulk Cauchy slice. The nesting property is used to show the rate of complexity is bounded below by "conditional complexity," describing a multistep optimization with intermediate and final target states. Conceptually, discretized Lorentzian flows are interpreted in terms of threads or gatelines such that complexity is equal to the minimum number of gatelines used to prepare a conformal field theory (CFT) state by an optimal tensor network (TN) discretizing the state. We propose a refined measure of complexity, capturing the role of suboptimal TNs, as an ensemble average. The bulk symplectic potential provides a "canonical" thread configuration characterizing perturbations around arbitrary CFT states. Its consistency requires the bulk to obey linearized Einstein's equations, which are shown to be equivalent to the holographic first law of complexity, thereby advocating a notion of "spacetime complexity."

Emergent Einstein Equation in p-adic Conformal Field Theory Tensor Networks

We take the tensor network describing explicit p-adic conformal field theory partition functions proposed in [L.-Y. Hung et al., J. High Energy Phys. 04 (2019) 170JHEPFG1029-847910.1007/JHEP04(2019)170], and consider boundary conditions of the network describing a deformed Bruhat-Tits (BT) tree geometry. We demonstrate that this geometry satisfies an emergent graph Einstein equation in a unique way that is consistent with the bulk effective matter action encoding the same correlation function as the tensor network, at least in the perturbative limit order by order away from the pure BT tree. Moreover, the (perturbative) definition of the graph curvature in the mathematics [Y. Lin and S.-T. Yau, Tohoku Math. J. 63, 605 (2011)TOMJAM0040-873510.2748/tmj/1325886283; Y. Ollivier, J. Funct. Anal. 256, 810 (2009)JFUAAW0022-123610.1016/j.jfa.2008.11.001] and physics [S. S. Gubser et al., J. High Energy Phys. 06 (2017) 157JHEPFG1029-847910.1007/JHEP06(2017)157] literature naturally emerges from the consistency requirements of the emergent Einstein equation. This could provide new insights into the understanding of gravitational dynamics potentially encoded in more general tensor networks.

Conformal field theory complexity from Euler-Arnold equations

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.

Spacetime from bits

In the anti-de Sitter/conformal field theory approach to quantum gravity, the spacetime geometry and gravitational physics of states in some quantum theory of gravity are encoded in the quantum states of an ordinary nongravitational system. Here, I demonstrate that this nongravitational system can be replaced with an arbitrarily large collection of noninteracting systems ("bits") placed in a highly entangled state. This construction makes manifest the idea that spacetime geometry emerges from entanglement between the fundamental degrees of freedom of quantum gravity and that removing this entanglement is tantamount to disintegrating spacetime. This setup also reveals that the entangled states encoding spacetimes may be well represented by a certain type of tensor network in which the individual tensors are associated with states of small numbers of bits.

Renormalized Circuit Complexity

We propose a modification to Nielsen's circuit complexity for Hamiltonian simulation using the Suzuki-Trotter (ST) method, which provides a network like structure for the quantum circuit. This leads to an optimized gate counting linear in the geodesic distance and spatial volume, unlike in the original proposal. The optimized ST iteration order is correlated with the error tolerance and plays the role of an anti-de Sitter radial coordinate. The density of gates is shown to be monotonic with the tolerance and a holographic interpretation using path-integral optimization is given.

Towards a Fisher-Information Description of Complexity in de Sitter Universe

Recent developments on holography and quantum information physics suggest that quantum information theory has come to play a fundamental role in understanding quantum gravity. Cosmology, on the other hand, plays a significant role in testing quantum gravity effects. How to apply this idea to a realistic universe is still unknown. Here, we show that some concepts in quantum information theory have cosmological descriptions. Particularly, we show that the complexity of a tensor network can be regarded as a Fisher information measure (FIM) of a dS universe, followed by several observations: (i) the holographic entanglement entropy has a tensor-network description and admits a information-theoretical interpretation, (ii) on-shell action of dS spacetime has a same description of FIM, (iii) complexity/action(CA) duality holds for dS spacetime. Our result is also valid for f ( R ) gravity, whose FIM exhibits the same features of a recent proposed L n norm complexity.

Entanglement Wedges from the Information Metric in Conformal Field Theories

We present a new method of deriving the geometry of entanglement wedges in holography directly from conformal field theories (CFTs). We analyze an information metric called the Bures metric of reduced density matrices for locally excited states. This measures the distinguishability of states with different points excited. For a subsystem given by an interval, we precisely reproduce the expected entanglement wedge for two-dimensional holographic CFTs from the Bures metric, which turns out to be proportional to the anti-de Sitter metric on a time slice. On the other hand, for free scalar CFTs, we do not find any sharp structures like entanglement wedges. When a subsystem consists of two disconnected intervals, we manage to reproduce the expected entanglement wedge from holographic CFTs with the correct phase transitions, up to a very small error, from a quantity alternative to the Bures metric.

First Law of Holographic Complexity

We investigate the variation of holographic complexity for two nearby target states. Based on Nielsen's geometric approach, we find the variation only depends on the end point of the optimal trajectory, a result which we designate the first law of complexity. As an example, we examine the complexity=action conjecture when the anti-de Sitter vacuum is perturbed by a scalar field excitation, which corresponds to a coherent state. Remarkably, the gravitational contributions completely cancel and the final variation reduces to a boundary term coming entirely from the scalar field action. Hence, the null boundary of Wheeler-DeWitt patch appears to act like the "end of the quantum circuit".

Holography and criticality in matchgate tensor networks

The AdS/CFT correspondence conjectures a holographic duality between gravity in a bulk space and a critical quantum field theory on its boundary. Tensor networks have come to provide toy models to understand these bulk-boundary correspondences, shedding light on connections between geometry and entanglement. We introduce a versatile and efficient framework for studying tensor networks, extending previous tools for Gaussian matchgate tensors in 1 + 1 dimensions. Using regular bulk tilings, we show that the critical Ising theory can be realized on the boundary of both flat and hyperbolic bulk lattices, obtaining highly accurate critical data. Within our framework, we also produce translation-invariant critical states by an efficiently contractible tensor network with the geometry of the multiscale entanglement renormalization ansatz. Furthermore, we establish a link between holographic quantum error-correcting codes and tensor networks. This work is expected to stimulate a more comprehensive study of tensor network models capturing bulk-boundary correspondences.

Path Integral Optimization as Circuit Complexity

Early efforts to understand complexity in field theory have primarily employed a geometric approach based on the concept of circuit complexity in quantum information theory. In a parallel vein, it has been proposed that certain deformations of the Euclidean path integral that prepare a given operator or state may provide an alternative definition, whose connection to the standard notion of complexity is less apparent. In this Letter, we bridge the gap between these two proposals in two-dimensional conformal field theories, by explicitly showing how the latter approach from path integral optimization may be given by a concrete realization within the standard gate counting framework. In particular, we show that, when the background geometry is deformed by a Weyl rescaling, a judicious gate counting allows one to recover the Liouville action as a particular choice within a more general class of cost functions.

Quantum Computation as Gravity

We formulate Nielsen's geometric approach to circuit complexity in the context of two-dimensional conformal field theories, where series of conformal transformations are interpreted as "unitary circuits" built from energy-momentum tensor gates. We show that the complexity functional in this setup can be written as the Polyakov action of two-dimensional gravity or, equivalently, as the geometric action on the coadjoint orbits of the Virasoro group. This way, we argue that gravity sets the rules for optimal quantum computation in conformal field theories.

WdW-patches in AdS3 and complexity change under conformal transformations II

We study the null-boundaries of Wheeler-de Witt (WdW) patches in three dimensional Poincaré-AdS, when the selected boundary timeslice is an arbitrary (non-constant) function, presenting some useful analytic statements about them. Special attention will be given to the piecewise smooth nature of the null-boundaries, due to the emergence of caustics and null-null joint curves. This is then applied, in the spirit of one of our previous papers, to the problem of how the complexity of the CFT2 groundstate changes under a small local conformal transformation according to the action (CA) proposal. In stark contrast to the volume (CV) proposal, where this change is only proportional to the second order in the infinitesimal expansion parameter σ, we show that in the CA case we obtain terms of order σ and even σ log(σ). This has strong implications for the possible field-theory duals of the CA proposal, ruling out an entire class of them.

Holographic Entanglement of Purification from Conformal Field Theories

We explore a conformal field theoretic interpretation of the holographic entanglement of purification, which is defined as the minimal area of the entanglement wedge cross section. We argue that, in AdS_{3}/CFT_{2}, the holographic entanglement of purification agrees with the entanglement entropy for a purified state, obtained from a special Weyl transformation, called path-integral optimizations. By definition, this special purified state has minimal path-integral complexity. We confirm this claim in several examples.

Complexity as a Novel Probe of Quantum Quenches: Universal Scalings and Purifications

We apply the recently developed notion of complexity for field theory to a quantum quench through a critical point in 1+1 dimensions. We begin with a toy model consisting of a quantum harmonic oscillator, and show that complexity exhibits universal scalings in both the slow and fast quench regimes. We then generalize our results to a one-dimensional harmonic chain, and show that preservation of these scaling behaviors in free field theory depends on the choice of norm. Applying our setup to the case of two oscillators, we quantify the complexity of purification associated with a subregion, and demonstrate that complexity is capable of probing features to which the entanglement entropy is insensitive. We find that the complexity of subregions is subadditive, and comment on potential implications for holography.

Complexity Growth Rate in Lovelock Gravity

Using the complexity=action framework, we compute the late time growth of complexity for charged black holes in Lovelock gravity. Our calculation is facilitated by the fact that the null boundaries of the Wheeler-DeWitt patch do not contribute at late times and essential contributions coming from the joints are now understood. The late time growth rate reduces to a difference of internal energies associated with the inner and outer horizons, and in the limit where the mass is much larger than the charge, we reproduce the celebrated result of 2M/π with corrections proportional to the highest Lovelock coupling in even (boundary) dimensions. We find in some cases a minimum mass below which complexity remains effectively constant, even if the black hole contains a nondegenerate horizon.

Toward a Definition of Complexity for Quantum Field Theory States

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.

Einstein Equations from Varying Complexity

A recent proposal equates the circuit complexity of a quantum gravity state with the gravitational action of a certain patch of spacetime. Since Einstein's equations follow from varying the action, it should be possible to derive them by varying complexity. I present such a derivation for vacuum solutions of pure Einstein gravity in three-dimensional asymptotically anti-de Sitter space. The argument relies on known facts about holography and on properties of tensor network renormalization, an algorithm for coarse-graining (and optimizing) tensor networks.