As a probe of circuit complexity in holographic field theories, we study subsystem analogues based on the entanglement wedge of the bulk quantities appearing in the "complexity = volume" and "complexity = action" conjectures. We calculate these quantities for one exterior region of an eternal static neutral or charged black hole in general dimensions, dual to a thermal state on one boundary with or without chemical potential respectively, as well as for a shock wave geometry. We then define several analogues of circuit complexity for mixed states, and use tensor networks to gain intuition about them. In the action approach, we find two possible cases depending on an ambiguity in the definition of the action associated with a counterterm. In one case, there is a promising qualitative match between the holographic action and what we call the purification complexity, the minimum number of gates required to prepare an arbitrary purification of the given mixed state. In the other case, the match is to what we call the basis complexity, the minimum number of gates required to prepare the given mixed state starting from a minimal complexity state with the same eigenvalue spectrum. One way to fix this ambiguity is to choose an action definition such that UV divergent part is positive, in which case the best match to the action result is the basis complexity. In contrast, the holographic volume does not appear to match any of our definitions of mixed-state complexity.

Abstract:We compute the leading contribution to the mutual information (MI) of two disjoint spheres in the large distance regime for arbitrary conformal field theories (CFT) in any dimension. This is achieved by refining the operator product expansion method introduced by Cardy [1]. For CFTs with holographic duals the leading contribution to the MI at long distances comes from bulk quantum corrections to the Ryu-Takayanagi area formula. According to the FLM proposal [2] this equals the bulk MI between the two disjoint regions spanned by the boundary spheres and their corresponding minimal area surfaces. We compute this quantum correction and provide in this way a non-trivial check of the FLM proposal.

We revisit the recent reformulation of the holographic prescription to compute entanglement entropy in terms of a convex optimization problem, introduced by Freedman and Headrick. According to it, the holographic entanglement entropy associated to a boundary region is given by the maximum flux of a bounded, divergenceless vector field, through the corresponding region. Our work leads to two main results: (i) We present a general algorithm that allows the construction of explicit thread configurations in cases where the minimal surface is known. We illustrate the method with simple examples: spheres and strips in vacuum AdS, and strips in a black brane geometry. Studying more generic bulk metrics, we uncover a sufficient set of conditions on the geometry and matter fields that must hold to be able to use our prescription. (ii) Based on the nesting property of holographic entanglement entropy, we develop a method to construct bit threads that maximize the flux through a given bulk region. As a byproduct, we are able to construct more general thread configurations by combining (i) and (ii) in multiple patches. We apply our methods to study bit threads which simultaneously compute the entanglement entropy and the entanglement of purification of mixed states and comment on their interpretation in terms of entanglement distillation. We also consider the case of disjoint regions for which we can explicitly construct the so-called multi-commodity flows and show that the monogamy property of mutual information can be easily illustrated from our constructions. arXiv:1811.08879v3 [hep-th]

In the context of holography, entanglement entropy can be studied either by i) extremal surfaces or ii) bit threads, i.e., divergenceless vector fields with a norm bound set by the Planck length. In this paper we develop a new method for metric reconstruction based on the latter approach and show the advantages over existing ones. We start by studying general linear perturbations around the vacuum state. Generic thread configurations turn out to encode the information about the metric in a highly nonlocal way, however, we show that for boundary regions with a local modular Hamiltonian there is always a canonical choice for the perturbed thread configurations that exploits bulk locality. To do so, we express the bit thread formalism in terms of differential forms so that it becomes manifestly background independent. We show that the Iyer-Wald formalism provides a natural candidate for a canonical local perturbation, which can be used to recast the problem of metric reconstruction in terms of the inversion of a particular linear differential operator. We examine in detail the inversion problem for the case of spherical regions and give explicit expressions for the inverse operator in this case. Going beyond linear order, we argue that the operator that must be inverted naturally increases in order. However, the inversion can be done recursively at different orders in the perturbation. Finally, we comment on an alternative way of reconstructing the metric non-perturbatively by phrasing the inversion problem as a particular optimization problem.

In three dimensions, the pure Maxwell theory with compact U(1) gauge group is dual to a free compact scalar, and flows from the Maxwell theory with non-compact gauge group in the ultraviolet to a non-compact free massless scalar theory in the infrared. We compute the vacuum disk entanglement entropy all along this flow, and show that the renormalized entropy F(r) decreases monotonically with the radius r as predicted by the F-theorem, interpolating between a logarithmic growth for small r (matching the behavior of the S^3 free energy) and a constant at large r (equal to the free energy of the conformal scalar). The calculation is carried out by the replica trick, employing the scalar formulation of the theory. The Renyi entropies for n>1 are given by a sum over winding sectors, leading to a Riemann-Siegel theta function. The extrapolation to n=1, to obtain the von Neumann entropy, is done by analytic continuation in the large- and small-r limits and by a numerical extrapolation method at intermediate values. We also compute the leading contribution to the renormalized entanglement entropy of the compact free scalar in higher dimensions. Finally, we point out some interesting features of the reduced density matrix for the compact scalar, and its relation to that for the non-compact theory.Comment: 34 page

Inspired by holographic Wilsonian renormalization, we consider coarse graining a quantum system divided between short-distance and long-distance degrees of freedom (d.o.f.), coupled via the Hamiltonian. Observations using purely long-distance observables are described by the reduced density matrix that arises from tracing out the short-distance d.o.f. The dynamics of this density matrix is non-Hamiltonian and nonlocal in time, on the order of some short time scale. We describe this dynamics in a model system with a simple hierarchy of energy gaps ΔE UV > ΔE IR , in which the coupling between high-and low-energy d.o.f. is treated to second order in perturbation theory. We then describe the equations of motion under suitable time averaging, reflecting the limited time resolution of actual experiments, and find an expansion of the master equation in powers of ΔE IR =ΔE UV , after the fashion of effective field theory. The failure of the system to be Hamiltonian or even Markovian appears at higher orders in this ratio. We compute the evolution of the density matrix in three specific examples: coupled spins, linearly coupled simple harmonic oscillators, and an interacting scalar quantum field theory. Finally, we argue that the logarithm of the Feynman-Vernon influence functional is the correct analog of the Wilsonian effective action for this problem.

In this paper we study the kinetic theory of many-particle astrophysical systems and we present a consistent version of the collisionless Boltzmann equation in the 1PN approximation. We argue that the equation presented by Rezania and Sobouti in A&A 354 1110 (2000) is not the correct expression to describe the evolution of a collisionless selfgravitating gas. One of the reasons that account for the previous statement is that the energy of a free-falling test particle, obeying the 1PN equations of motion for static gravitational fields, is not a static solution of the mentioned equation. The same statement holds for the angular momentum, in the case of spherical systems. We provide the necessary corrections and obtain an equation that is consistent with the corresponding equations of motion and the 1PN conserved quantities. We suggest some potential relevance for the study of high density astrophysical systems and as an application we construct the corrected version of the post-Newtonian polytropes.

In this paper we study the kinetic theory of many-particle astrophysical systems imposing axial symmetry and extending our previous analysis in Phys. Rev. D 83, 123007 (2011).Starting from a Newtonian model describing a collisionless self-gravitating gas, we develop a framework to include systematically the first general relativistic corrections to the matter distribution and gravitational potentials for general stationary systems. Then, we use our method to obtain particular solutions for the case of the Morgan & Morgan disks. The models obtained are fully analytical and correspond to the post-Newtonian generalizations of classical ones. We explore some properties of the models in order to estimate the importance of post-Newtonian corrections and we find that, contrary to the expectations, the main modifications appear far from the galaxy cores. As a by-product of this investigation we derive the corrected version of the tensor virial theorem. For stationary systems we recover the same result as in the Newtonian theory. However, for time dependent backgrounds we find that there is an extra piece that contributes to the variation of the inertia tensor.