Abstract We study the complexity of Gaussian mixed states in a free scalar field theory using the ‘purification complexity’. The latter is defined as the lowest value of the circuit complexity, optimized over all possible purifications of a given mixed state. We argue that the optimal purifications only contain the essential number of ancillary degrees of freedom necessary in order to purify the mixed state. We also introduce the concept of ‘mode-by- mode purifications’ where each mode in the mixed state is purified separately and examine the extent to which such purifications are optimal. We explore the purification complexity for thermal states of a free scalar QFT in any number of dimensions, and for subregions of the vacuum state in two dimensions. We compare our results to those found using the various holographic proposals for the complexity of subregions. We find a number of qualitative similarities between the two in terms of the structure of divergences and the presence of a volume law. We also examine the ‘mutual complexity’ in the various cases studied in this paper.
Abstract We study the complexity of Gaussian mixed states in a free scalar field theory using the ‘purification complexity’. The latter is defined as the lowest value of the circuit complexity, optimized over all possible purifications of a given mixed state. We argue that the optimal purifications only contain the essential number of ancillary degrees of freedom necessary in order to purify the mixed state. We also introduce the concept of ‘mode-by- mode purifications’ where each mode in the mixed state is purified separately and examine the extent to which such purifications are optimal. We explore the purification complexity for thermal states of a free scalar QFT in any number of dimensions, and for subregions of the vacuum state in two dimensions. We compare our results to those found using the various holographic proposals for the complexity of subregions. We find a number of qualitative similarities between the two in terms of the structure of divergences and the presence of a volume law. We also examine the ‘mutual complexity’ in the various cases studied in this paper.
Quantum information has produced fresh insights into foundational questions about the AdS/CFT correspondence. One fascinating concept, which has captured increasing attention, is quantum circuit complexity. As a natural generalization for the complexity of pure states, we investigate the circuit complexity of mixed states in this thesis. \n \nFirst of all, we explore the so-called purification complexity which is defined as the lowest value of the circuit complexity, optimized over all possible purifications of a given mixed state. We focus on studying the complexity of Gaussian mixed states in a free scalar field theory using the ‘purification complexity’. We argue that the optimal purifications only contain the essential number of ancillary degrees of freedom necessary in order to purify the mixed state. We also introduce the concept of ‘mode-by-mode purifications’ where each mode in the mixed state is purified separately and examine the extent to which such purifications are optimal. In order to compare with the results from using the various holographic proposals for the complexity of subregions, we explore the purification complexity for thermal states of a free scalar QFT, and for subregions of the vacuum state in two dimensions. We find a number of qualitative similarities between the two in terms of the structure of divergences and the presence of a volume law. We also examine the ‘mutual complexity’ in the various cases studied in this thesis. \n \nIn addition, we propose to generalize the Fubini-Study method for pure-state complexity to generic quantum states including mixed states by taking Bures metric or quantum Fisher information metric on the space of density matrices as the complexity measure. Due to Uhlmann’s theorem, we show that the mixed-state complexity exactly equals the purification complexity measured by the Fubini-Study metric for purified states but without explicitly applying any purifications. We also find that the purification complexity is nonincreasing under any trace-preserving quantum operations. As an illustration, we study the mixed Gaussian states as an example to explicitly show our conclusions for purification complexity.
Abstract As a probe of circuit complexity in holographic field theories, we study sub-system 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.
In quantum systems, purification can map mixed states into pure states and a nonunitary evolution into a unitary one by enlarging the Hilbert space. We establish a connection between the complexities of mixed quantum states and their purification, proposing new inequalities among these complexities. By examining single qubits, two-qubit Werner states, eight-dimensional Gaussian random unitary ensembles, and infinite-dimensional systems, we demonstrate how these relationships manifest across a broad class of systems. We find that the spread complexity of purification of a vacuum state evolving into a thermal state equals the average number of Rindler particles. This complexity is also shown to adhere to the Lloyd-like bound, indicating a further relation to the quantum speed limit. Finally, using mutual Krylov complexity, we observe subadditivity of the Krylov complexities, which contrasts with known results from holographic volume complexity. We put forward Krylov mutual complexity as a diagnosis of a potential gravity dual of Krylov complexities.
In this paper, we holographically quantify the entanglement and complexity for mixed states by following the prescription of purification. The bulk theory we consider in this work is a hyperscaling violating solution, characterized by two parameters, hyperscaling violating exponent $\ensuremath{\theta}$ and dynamical exponent z. This geometry is due to a nonrelativistic strongly coupled theory with hidden Fermi surfaces. We first compute the holographic analogy of entanglement of purification, denoted as the minimal area of the entanglement wedge cross section and observe the effects of z and $\ensuremath{\theta}$. Then in order to probe the mixed state complexity we compute the mutual complexity for the Banados Teitelboim Zanelli (BTZ) black hole and the hyperscaling violating geometry by incorporating the holographic subregion complexity conjecture. We carry this out for two disjoint subsystems separated by a distance and also when the subsystems are adjacent with subsystems making up the full system. Furthermore, various aspects of holographic entanglement entropy such as the entanglement Smarr relation, the Fisher information metric, and the butterfly velocity have also been discussed.
Motivated by holographic complexity proposals as novel probes of black hole spacetimes, we explore circuit complexity for thermofield double (TFD) states in free scalar quantum field theories using the Nielsen approach. For TFD states at t = 0 t = 0 , we show that the complexity of formation is proportional to the thermodynamic entropy, in qualitative agreement with holographic complexity proposals. For TFD states at t>0 t > 0 , we demonstrate that the complexity evolves in time and saturates after a time of the order of the inverse temperature. The latter feature, which is in contrast with the results of holographic proposals, is due to the Gaussian nature of the TFD state of the free bosonic QFT. A novel technical aspect of our work is framing complexity calculations in the language of covariance matrices and the associated symplectic transformations, which provide a natural language for dealing with Gaussian states. Furthermore, for free QFTs in 1+1 dimension, we compare the dynamics of circuit complexity with the time dependence of the entanglement entropy for simple bipartitions of TFDs. We relate our results for the entanglement entropy to previous studies on non-equilibrium entanglement evolution following quenches. We also present a new analytic derivation of a logarithmic contribution due to the zero momentum mode in the limit of vanishing mass for a subsystem containing a single degree of freedom on each side of the TFD and argue why a similar logarithmic growth should be present for larger subsystems.
A bstract We compute the entanglement of purification (EoP) in a 2d free scalar field theory with various masses. This quantity measures correlations between two subsystems and is reduced to the entanglement entropy when the total system is pure. We obtain explicit numerical values by assuming minimal gaussian wave functionals for the purified states. We find that when the distance between the subsystems is large, the EoP behaves like the mutual information. However, when the distance is small, the EoP shows a characteristic behavior which qualitatively agrees with the conjectured holographic computation and which is different from that of the mutual information. We also study behaviors of mutual information in purified spaces and violations of monogamy/strong superadditivity.