Towards Complexity for Quantum Field Theory States

TL;DR

This work investigates notions of complexity of states in continuous many-body quantum systems by focusing 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.

Abstract

We investigate notions of complexity of states in continuous quantum-many body 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 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 $\mathfrak{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 holographic complexity proposals.

Figures (2)

• Figure 1: The Poincaré disk, parametrized by real (horizontal) and imaginary (vertical) components of $\gamma_+$. Examples of geodesics appear as dashed lines. The two dots indicate the reference state (the center) and the target state (on the real axis). The geodesic connecting the two is the straight solid line along the diameter, corresponding to the generator $K(\vec{k})$. The solid semicircle is the non-geodesic path generated by $B(\vec{k}, M)$ (see SupMatD). The $\mathfrak{su}(1,1)$ algebra generates isometries on the hyperbolic plane.
• Figure 2: Graphical description of the minimal circuit \ref{['minpathgamm']} (left) and the cMERA circuit \ref{['cMERAgamma']} (right). The plots present $\gamma_+$ as a function of $|\vec{k}|/\Lambda$ for different values of $\sigma$ represented by the different colored contours. We see that while the cMERA circuit only acts on momenta $|\vec{k}|/\Lambda<\sigma$, the minimal circuit alters $\gamma_+$ for all the different momenta at every step of the circuit. In this plot we have chosen $m/\Lambda=0.1$.