Motivated by the role of the holographic entropy cone in constraining the entanglement structure of states with classical gravitational duals, we investigate combinations of subsystem complexities associated with reduced density matrices in multipartite quantum systems. Focusing on subsystems composed of three disjoint regions, we introduce two quantities: a tripartite complexity, inspired by the tripartite information, and a complexity gap, designed to characterize emergent complexity in the full quantum state beyond that of its constituents. We study the sign structure of these quantities in three selected approaches to subsystem complexity. In holography, we employ the complexity=volume proposal in AdS spacetimes; for Gaussian many-body states, we use Fisher-Rao subsystem complexity; and we further develop a Krylov-space inspired, effective framework for reduced density matrices, which we test in few-qubit systems and coherent-state dynamics. Across all three approaches, we find that the tripartite complexity is not sign-definite in general. By contrast, the complexity gap exhibits a definite sign in every example we analyze, although the sign itself depends on the underlying notion of subsystem complexity. Our results suggest that the complexity gap could be a natural candidate building block for a prospective hierarchy of subsystem complexity inequalities.
Motivated by the role of the holographic entropy cone in constraining the entanglement structure of states with classical gravitational duals, we investigate combinations of subsystem complexities associated with reduced density matrices in multipartite quantum systems. Focusing on subsystems composed of three disjoint regions, we introduce two quantities: a tripartite complexity, inspired by the tripartite information, and a complexity gap, designed to characterize emergent complexity in the full quantum state beyond that of its constituents. We study the sign structure of these quantities in three selected approaches to subsystem complexity. In holography, we employ the complexity=volume proposal in AdS spacetimes; for Gaussian many-body states, we use Fisher-Rao subsystem complexity; and we further develop a Krylov-space inspired, effective framework for reduced density matrices, which we test in few-qubit systems and coherent-state dynamics. Across all three approaches, we find that the tripartite complexity is not sign-definite in general. By contrast, the complexity gap exhibits a definite sign in every example we analyze, although the sign itself depends on the underlying notion of subsystem complexity. Our results suggest that the complexity gap could be a natural candidate building block for a prospective hierarchy of subsystem complexity inequalities.
Entanglement and circuit complexity are fundamental concepts in quantum information theory which turned out to have considerable applications in various contexts ranging from many-body systems and condensed matter theory to quantum gravity and black hole physics. In order to find connections between these aspects, an insightful approach consists in comparing the complexity with some entanglement measures of a given bipartition, as for instance the Von Neumann entanglement entropy. Since, for a system in a given quantum state, the bipartite entanglement can be determined once a spatial subsystem and its complement are chosen, this comparison has to be made considering the complexity of reduced density matrices. This motivates the development of techniques for determining the circuit complexity of mixed states. In this thesis, focussing on free bosonic systems, we study the circuit complexity of mixed Gaussian states by employing the Fisher information geometry for the covariance matrices. This approach allows computing the complexity between reduced density matrices (subsystem complexity), as well as the complexity between thermal states. It also leads to a precise prescription for computing the spectrum and the basis complexity and the temporal evolution of the subsystem complexity after global and local quantum quenches. The study of the subsystem complexity of a given bipartition and a complete characterisation of its entanglement requires the detailed knowledge of the corresponding reduced density matrix, or, equivalently, of the entanglement Hamiltonian. A part of this thesis is devoted to determining the entanglement Hamiltonians in free theories. At equilibrium, we consider gapless systems, with the aim of recovering the underlying CFT results, and gapped lattice models. The evolution of entanglement Hamiltonians in quantum chains after a global quench is also studied. In addition, other entanglement quantifiers, as the entanglement spectrum and the contour for the entanglement entropies, are discussed in some of these settings. Finally, motivated by theoretical and experimental advances, we also address the issue of how the entanglement splits into the different charge sectors of a system endowed with a U(1) symmetry. We focus in particular on massive theories, either continuous or on the lattice, and we try to understand whether the entanglement equipartition, which is known to characterise gapless systems, survives away from criticality.
Quantum complexity has emerged as a natural probe of chaos, thermalization, and the black hole interior on timescales long after local observables have equilibrated. However, its time evolution has been studied almost exclusively in subsystems confined to a single connected region. We show, using complementary tools from holography and random quantum circuits, that noncontiguous subsystems composed of multiple disjoint regions give rise to qualitatively new physics compared to the contiguous case. First, at finite temperature, a subsystem occupying less than half of the total system can carry high complexity at late times, even as the complexity of its larger complement remains low. This inversion of the usual hierarchy is intrinsically thermal: it vanishes in the infinite-temperature limit, which is the regime modeled by random quantum circuits. Second, if a subsystem's complexity equilibrates at an early time, then fragmenting it into m disjoint components can further reduce this timescale by a factor of m, a phenomenon we exhibit in both holography and random quantum circuits. These results not only sharpen the correspondence between geometric and computational notions of complexity, but also motivate the search for novel complexity phenomena in quantum dynamics.
The determination of structures that can emerge out of the interactions among the constituents of a quantum many-body system is a foundational task of condensed matter physics.One of the most advanced proposals within this paradigm is the holographic generation of spacetime in some strongly coupled chaotic systems with particular patterns of entanglement and quantum complexity, which is historically motivated by the holographic principle and by the AdS/CFT correspondence.As a part of this scenario, this thesis is dedicated to the analysis of some concepts that are relevant to such proposal, where they are separately applied to some lattice models.Concretely, the matter is divided into three main studies: first, the calculation of the time-dependent circuit complexity in the Ising model with a periodically driven transverse field, where we establish the effectiveness of this quantity for the detection of nonequilibrium quantum phase transitions.Our results provide hints for understanding how universal features out of equilibrium are captured by the complexity of quantum states.Second, the derivation of a bound on the maximal rate of entanglement entropy production for a class of one-dimensional quantum circuits with periodic dynamics.An example of a circuit that saturates the bound is composed by parallel SWAP gates acting on entangled pairs.Out of inequalities obeyed by the entropy, in addition to considerations on multipartite entanglement, we indicate that the effect of a chaotic dynamics cannot result in the increase on the rate of entanglement production.Third, the construction of a class of supersymmetric many-body systems using symmetric inverse semigroups.For particular toy models built out of this structure, we study some questions regarding supersymmetric phases, integrability, disorder, spreading of quantum information and many-body localization.Finally, besides those three works, we include an essay addressing the problem of emergent holographic spaces out of two-dimensional conformal field theories, where the mediation between the two parts is performed by means of a Riemannian structure defined in the Hilbert space of the field theory.
A bstract Within the AdS/CFT correspondence, computational complexity for reduced density matrices of holographic conformal field theories has been conjectured to be related to certain geometric observables in the dual gravity theory. We study this conjecture from both the gravity and field theory point of view. Specifically, we consider a measure of complexity associated to the Bures metric on the space of density matrices. We compute this complexity measure for mixed states associated to single intervals in descendant states of the vacuum in 2d CFTs. Moreover, we derive from first principles a geometric observable dual to the Bures metric which is localized in the entanglement wedge of the AdS spacetime associated to the quantum circuit on the boundary. Finally, we compare the Bures metric complexity measure with holographic subregion complexity within the “complexity=volume” paradigm for perturbatively small transformations of the vacuum. While there is no exact agreement between these two quantities, we find striking similarities as we vary the target state and interval size, suggesting that these quantities are closely related.
To elucidate the meaning of holographic entropy inequalities (beyond subadditivity) which characterize the entanglement structure of geometric states in holography, arXiv:2309.06296 proposed the "tripartite form" for these inequalities, consisting of tripartite information and conditional tripartite information terms with unit coefficients. While this provides a compact and useful packaging of the inequalities, it is not a priori guaranteed that all inequalities can be recast in this form. Here we conjecture that they can, and present substantial evidence, by proving that the two known infinite families of holographic entropy inequalities found in arXiv:2309.15145 can indeed be written in the tripartite form. This is significant because such recasting is particularly nontrivial for these families. Apart from providing the explicit tripartite form expressions for every member of these two infinite families, we detail how we arrived at them, in the process deriving several useful identities which may serve as stepping stones to formulate further repackaging of the corresponding information quantities. We also illustrate the power of the tripartite form by proving a number of structural properties satisfied by any holographic entropy inequality.
In recent years many discoveries have been made that reveal a close relation between quantum information and geometry in the context of the AdS/CFT correspondence. In this duality between a conformal quantum field theory (CFT) and a theory of gravity on Anti-de Sitter spaces (AdS) quantum information quantities in CFT are associated with geometric objects in AdS. Subject of this thesis is the examination of this intriguing property of AdS/CFT. We study two central elements of quantum information: subregion complexity -- which is a measure for the effort required to construct a given reduced state -- and the modular Hamiltonian -- which is given by the logarithm of a considered reduced state. While a clear definition for subregion complexity in terms of unitary gates exists for discrete systems, a rigorous formulation for quantum field theories is not known. In AdS/CFT, subregion complexity is proposed to be related to certain codimension one regions on the AdS side. The main focus of this thesis lies on the examination of such candidates for gravitational duals of subregion complexity. We introduce the concept of \textit{topological complexity}, which considers subregion complexity to be given by the integral over the Ricci scalar of codimension one regions in AdS. The Gauss-Bonnet theorem provides very general expressions for the topological complexity of CFT2 states dual to global AdS3, BTZ black holes and conical defects. In particular, our calculations show that the topology of the considered codimension one bulk region plays an essential role for topological complexity. Moreover, we study holographic subregion complexity (HSRC), which associates the volume of a particular codimension one bulk region with subregion complexity. We derive an explicit field theory expression for the HSRC of vacuum states. The formulation of HSRC in terms of field theory quantities may allow to investigate whether this bulk object indeed provides a concept of subregion complexity on the CFT side. In particular, if this turns out to be the case, our expression for HSRC may be seen as a field theory definition of subregion complexity. We extend our expression to states dual to BTZ black holes and conical defects. A further focus of this thesis is the modular Hamiltonian of a family of states ρλ depending on a continuous parameter λ. Here λ may be associated with the energy density or the temperature, for instance. The importance of the modular Hamiltonian for quantum information is due to its contribution to relative entropy -- one of the very few objects in quantum information with a rigorous definition for quantum field theories. The first order contribution in λ~=λ−λ0 of the modular Hamiltonian to the relative entropy between ρλ and a reference state ρλ0 is provided by the first law of entanglement. We study under which circumstances higher order contributions in λ~ are to be expected. We show that for states reduced to two entangling regions A, B the modular Hamiltonian of at least one of these regions is expected to provide higher order contributions in λ~ to the relative entropy if A and B saturate the Araki-Lieb inequality. The statement of the Araki-Lieb inequality is that the difference between the entanglement entropies of A and B is always smaller or equal to the entanglement entropy of the union of A and B. Regions for which this inequality is saturated are referred to as entanglement plateaux. In AdS/CFT the relation between geometry and quantum information provides many examples for entanglement plateaux. We apply our result to several of them, including large intervals for states dual to BTZ black holes and annuli for states dual to black brane geometries.