Complexity functionals and complexity growth limits in continuous MERA circuits
Molina Vilaplana, J. [Universidad Politencia de Cartagena (Spain)]; del Campo, Adolfo [Univ. of Massachusetts, Boston, MA (United States); Los Alamos National Lab. (LANL), Los Alamos, NM (United States)]
Using the path integral associated to a cMERA tensor network, we provide an operational definition for the complexity of a cMERA circuit/state which is relevant to investigate the complexity of states in quantum field theory. In this framework, it is possible to explicitly establish the correspondence (Minimal) Complexity = (Least) Action. Remarkably, it is also shown how the cMERA complexity action functional can be seen as the action of a Liouville field theory, thus establishing a connection with two dimensional quantum gravity. Concretely, the Liouville mode is identified with the variational parameter defining the cMERA circuit. The rate of complexity growth along the cMERA renormalization group flow is obtained and shown to saturate limits which are in close resemblance to the fundamental bounds to the speed of evolution in unitary quantum dynamics, known as quantum speed limits. We also show that the complexity of a cMERA circuit measured through these complexity functionals, can be cast in terms of the variationally-optimized amount of left-right entanglement created along the cMERA renormalization flow. Our results suggest that the patterns of entanglement in states of a QFT could determine their dual gravitational descriptions through a principle of least complexity.
Using the path integral associated to a cMERA tensor network, we provide an operational definition for the complexity of a cMERA circuit/state which is relevant to investigate the complexity of states in quantum field theory. In this framework, it is possible to explicitly establish the correspondence (Minimal) Complexity = (Least) Action. Remarkably, it is also shown how the cMERA complexity action functional can be seen as the action of a Liouville field theory, thus establishing a connection with two dimensional quantum gravity. Concretely, the Liouville mode is identified with the variational parameter defining the cMERA circuit. The rate of complexity growth along the cMERA renormalization group flow is obtained and shown to saturate limits which are in close resemblance to the fundamental bounds to the speed of evolution in unitary quantum dynamics, known as quantum speed limits. We also show that the complexity of a cMERA circuit measured through these complexity functionals, can be cast in terms of the variationally-optimized amount of left-right entanglement created along the cMERA renormalization flow. Our results suggest that the patterns of entanglement in states of a QFT could determine their dual gravitational descriptions through a principle of least complexity.
Abstract Using the path integral associated to a cMERA tensor network, we provide an operational definition for the complexity of a cMERA circuit/state which is relevant to investigate the complexity of states in quantum field theory. In this framework, it is possible to explicitly establish the correspondence (Minimal) Complexity = (Least) Action. Remarkably, it is also shown how the cMERA complexity action functional can be seen as the action of a Liouville field theory, thus establishing a connection with two dimensional quantum gravity. Concretely, the Liouville mode is identified with the variational parameter defining the cMERA circuit. The rate of complexity growth along the cMERA renormalization group flow is obtained and shown to saturate limits which are in close resemblance to the fundamental bounds to the speed of evolution in unitary quantum dynamics, known as quantum speed limits. We also show that the complexity of a cMERA circuit measured through these complexity functionals, can be cast in terms of the variationally-optimized amount of left-right entanglement created along the cMERA renormalization flow. Our results suggest that the patterns of entanglement in states of a QFT could determine their dual gravitational descriptions through a principle of least complexity.
Abstract We propose an optimization procedure for Euclidean path-integrals that evaluate CFT wave functionals in arbitrary dimensions. The optimization is performed by minimizing certain functional, which can be interpreted as a measure of computational complexity, with respect to background metrics for the path-integrals. In two dimensional CFTs, this functional is given by the Liouville action. We also formulate the optimization for higher dimensional CFTs and, in various examples, find that the optimized hyperbolic metrics coincide with the time slices of expected gravity duals. Moreover, if we optimize a reduced density matrix, the geometry becomes two copies of the entanglement wedge and reproduces the holographic entanglement entropy. Our approach resembles a continuous tensor network renormalization and provides a concrete realization of the proposed interpretation of AdS/CFT as tensor networks. The present paper is an extended version of our earlier report arXiv:1703.00456 and includes many new results such as evaluations of complexity functionals, energy stress tensor, higher dimensional extensions and time evolutions of thermofield double states.
We adapt the techniques of entanglement renormalization tensor networks to weakly interacting quantum field theories in the continuum. A key tool is ``quantum circuit perturbation theory,'' which enables us to systematically construct unitaries that map between wave functionals which are Gaussian with arbitrary perturbative corrections. As an application, we construct a local continuous multiscale entanglement renormalization ansatz (cMERA) circuit that maps an unentangled scale-invariant state to the ground state of ${\ensuremath{\varphi}}^{4}$ theory to one loop. Our local cMERA circuit corresponds exactly to one-loop Wilsonian renormalization group (RG) flow on the spatial momentum modes. In other words, we establish that perturbative Wilsonian RG on spatial momentum modes can be equivalently recast as a local cMERA circuit in ${\ensuremath{\varphi}}^{4}$ theory and argue that this correspondence holds more generally. Our analysis also suggests useful numerical ans\"atze for cMERA in the nonperturbative regime.
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.
The study of the ground states of local Hamiltonians in quantum many-body and quantum field theoretic systems is a source of many research problems of great complexity. Almost in its entirety, this thesis deals with constructions related to the field of tensor networks, which are efficient parametrizations of mathematical objects from quantum many-body theory (such as quantum states and operators) that exploit our knowledge of their entanglement structures in order to obtain improvements in our computational abilities. In the past decade, the new research program of continuous tensor networks has arisen with the goal of reproducing, in the setting of quantum field theory, the success that tensor network techniques have enjoyed on the lattice. First, we present a number of results from research performed on non-interacting examples of the continuous Multiscale Entanglement Renormalization Ansatz, or cMERA, a continuous tensor network that provides a variational wavefunctional for a quantum field theoretic ground state. Initially, we study the correlations and entanglement structure of cMERA states, providing evidence that such states can be interpreted as UV regularized versions of the physical states they approximate. After that, we study what modifications of the formalism are necessary in order to consider systems with gauge symmetry, or in the presence of boundaries and defects. We obtain prescriptions for the treatment of these cases which, we expect, may also hold in the interacting setting. We then abandon briefly the area of continuous tensor networks to present a piece of research within a different though related research program: that of the study of manifestations of universal emergent behaviour in critical lattice systems. In particular we bring attention to the existence of an approximate representation of the Virasoro algebra supported on the eigenvectors of the reduced density matrices of critical lattice systems. We call this the entanglement algebra, and study its accuracy in the particular case of the Ising model. Lastly, we present a proposal for a continuous version of the Tensor Network Renormalization (TNR) algorithm, which we dub continuous TNR, or cTNR. cTNR operates on UV regularized classical partition functions or quantum Euclidean path integrals, and generates a real-space renormalization group flow via continuous coarse-graining and rescaling operations. We show that a UV regularized version of the free boson path integral can be made a fixed point of such a renormalization flow, in a way that allows for recovery of the conformal data associated to the free boson conformal field theory.
The continuous multiscale entanglement renormalization ansatz (cMERA) [J. Haegeman et al., Phys. Rev. Lett. 110, 100402 (2013)] gives a variational wave functional for ground states of quantum field-theoretic Hamiltonians. A cMERA is defined as the result of applying to a reference unentangled state a unitary evolution generated by a quasilocal operator, the entangler. This makes the extension of the formalism to the case where boundaries and defects are present nontrivial. Here we show how this generalization works, using the (1+1)-dimensional free boson cMERA as a proof-of-principle example, and restricting ourselves to conformal boundaries and defects. In our prescription, the presence of a boundary or defect induces a modification of the entangler localized only to its vicinity, in analogy with the so-called principle of minimal updates for the lattice tensor network MERA.