A bstract We probe the multipartite entanglement structure of the vacuum state of a CFT in 1+1 dimensions, using recovery operations that attempt to reconstruct the density matrix in some region from its reduced density matrices on smaller subregions. We use an explicit recovery channel known as the twirled Petz map, and study distance measures such as the fidelity, relative entropy, and trace distance between the original state and the recovered state. One setup we study in detail involves three contiguous intervals A , B and C on a spatial slice, where we can view these quantities as measuring correlations between A and C that are not mediated by the region B that lies between them. We show that each of the distance measures is both UV finite and independent of the operator content of the CFT, and hence depends only on the central charge and the cross-ratio of the intervals. We evaluate these universal quantities numerically using lattice simulations in critical spin chain models, and derive their analytic forms in the limit where A and C are close using the OPE expansion. In the case where A and C are far apart, we find a surprising non-commutativity of the replica trick with the OPE limit. For all values of the cross-ratio, the fidelity is strictly better than a general information-theoretic lower bound in terms of the conditional mutual information. We also compare the mutual information between various subsystems in the original and recovered states, which leads to a more qualitative understanding of the differences between them. Further, we introduce generalizations of the recovery operation to more than three adjacent intervals, for which the fidelity is again universal with respect to the operator content.
A bstract We probe the multipartite entanglement structure of the vacuum state of a CFT in 1+1 dimensions, using recovery operations that attempt to reconstruct the density matrix in some region from its reduced density matrices on smaller subregions. We use an explicit recovery channel known as the twirled Petz map, and study distance measures such as the fidelity, relative entropy, and trace distance between the original state and the recovered state. One setup we study in detail involves three contiguous intervals A , B and C on a spatial slice, where we can view these quantities as measuring correlations between A and C that are not mediated by the region B that lies between them. We show that each of the distance measures is both UV finite and independent of the operator content of the CFT, and hence depends only on the central charge and the cross-ratio of the intervals. We evaluate these universal quantities numerically using lattice simulations in critical spin chain models, and derive their analytic forms in the limit where A and C are close using the OPE expansion. In the case where A and C are far apart, we find a surprising non-commutativity of the replica trick with the OPE limit. For all values of the cross-ratio, the fidelity is strictly better than a general information-theoretic lower bound in terms of the conditional mutual information. We also compare the mutual information between various subsystems in the original and recovered states, which leads to a more qualitative understanding of the differences between them. Further, we introduce generalizations of the recovery operation to more than three adjacent intervals, for which the fidelity is again universal with respect to the operator content.
We probe the multipartite entanglement structure of the vacuum state of a CFT in 1+1 dimensions, using recovery operations that attempt to reconstruct the density matrix in some region from its reduced density matrices on smaller subregions. We use an explicit recovery channel known as the twirled Petz map, and study distance measures such as the fidelity, relative entropy, and trace distance between the original state and the recovered state. One setup we study in detail involves three contiguous intervals A, B and C on a spatial slice, where we can view these quantities as measuring correlations between A and C that are not mediated by the region B that lies between them. We show that each of the distance measures is both UV finite and independent of the operator content of the CFT, and hence depends only on the central charge and the cross-ratio of the intervals. We evaluate these universal quantities numerically using lattice simulations in critical spin chain models, and derive their analytic forms in the limit where A and C are close using the OPE expansion. In the case where A and C are far apart, we find a surprising non-commutativity of the replica trick with the OPE limit. For all values of the cross-ratio, the fidelity is strictly better than a general information-theoretic lower bound in terms of the conditional mutual information. We also compare the mutual information between various subsystems in the original and recovered states, which leads to a more qualitative understanding of the differences between them. Further, we introduce generalizations of the recovery operation to more than three adjacent intervals, for which the fidelity is again universal with respect to the operator content.
At the heart of recent progress in AdS/CFT is the question of subregion duality, or entanglement wedge reconstruction: which part(s) of the boundary CFT are dual to a given subregion of the bulk? This question can be answered by appealing to the quantum error correcting properties of holography, and it was recently shown that robust bulk (entanglement wedge) reconstruction can be achieved using a universal recovery channel known as the twirled Petz map. In short, one can use the twirled Petz map to recover bulk data from a subset of the boundary. However, this map involves an averaging procedure over bulk and boundary modular time, and hence it can be somewhat intractable to evaluate in practice. We show that a much simpler channel, the Petz map, is sufficient for entanglement wedge reconstruction for any code space of fixed finite dimension – no twirling is required. Moreover, the error in the reconstruction will always be non-perturbatively small. From a quantum information perspective, we prove a general theorem extending the use of the Petz map as a general-purpose recovery channel to subsystem and operator algebra quantum error correction.
Abstract At the heart of recent progress in AdS/CFT is the question of subregion duality, or entanglement wedge reconstruction: which part(s) of the boundary CFT are dual to a given subregion of the bulk? This question can be answered by appealing to the quantum error correcting properties of holography, and it was recently shown that robust bulk (entanglement wedge) reconstruction can be achieved using a universal recovery channel known as the twirled Petz map. In short, one can use the twirled Petz map to recover bulk data from a subset of the boundary. However, this map involves an averaging procedure over bulk and boundary modular time, and hence it can be somewhat intractable to evaluate in practice. We show that a much simpler channel, the Petz map, is sufficient for entanglement wedge reconstruction for any code space of fixed finite dimension — no twirling is required. Moreover, the error in the reconstruction will always be non-perturbatively small. From a quantum information perspective, we prove a general theorem extending the use of the Petz map as a general-purpose recovery channel to subsystem and operator algebra quantum error correction.
Abstract We report on a systematic replica approach to calculate the subsystem trace distance for a quantum field theory. This method has been recently introduced in [J. Zhang, P. Ruggiero and P. Calabrese, Phys. Rev. Lett.122(2019) 141602 ], of which this work is a completion. The trace distance between two reduced density matricesρAandσAis obtained from the moments tr(ρA− σA)nand taking the limitn →1 of the traces of the even powers. We focus here on the case of a subsystem consisting of a single interval of lengthℓembedded in the low lying eigenstates of a one-dimensional critical system of lengthL, a situation that can be studied exploiting the path integral form of the reduced density matrices of two-dimensional conformal field theories. The trace distance turns out to be ascale invariant universal functionofℓ/L. Here we complete our previous work by providing detailed derivations of all results and further new formulas for the distances between several low-lying states in two-dimensional free massless compact boson and fermion theories. Remarkably, for one special case in the bosonic theory and for another in the fermionic one, we obtain the exact trace distance, as well as the Schattenn-distance, for an interval of arbitrary length, while in generic case we have a general form for the first term in the expansion in powers ofℓ/L. The analytical predictions in conformal field theories are tested against exact numerical calculations in XX and Ising spin chains, finding perfect agreement. As a byproduct, new results in two-dimensional CFT are also obtained for other entanglement-related quantities, such as the relative entropy and the fidelity.
We report on a systematic replica approach to calculate the subsystem trace distance for a generic quantum field theory. This method has been recently introduced in [J. Zhang, P. Ruggiero, P. Calabrese, Phys. Rev. Lett. 122, 141602 (2019)], of which this work is a completion. The trace distance between two reduced density matrices ρA and σA is obtained from the moments tr(ρA−σA)n and taking the limit n→1 of the traces of the even powers. We focus here on the case of a subsystem consisting of a single interval of length ℓ embedded in the low lying eigenstates of a one-dimensional critical system of length L, a situation that can be studied exploiting the path integral form of the reduced density matrices of two-dimensional conformal field theories. The trace distance turns out to be a {\it scale invariant universal function} of ℓ/L. Here we complete our previous work by providing detailed derivations of all results and further new formulas for the distances between several low-lying states in two-dimensional free massless compact boson and fermion theories. Remarkably, for one special case in the bosonic theory and for another in the fermionic one, we obtain the exact trace distance, as well as the Schatten n-distance, for an interval of arbitrary length, while in generic case we have a general form for the first term in the expansion in powers of ℓ/L. The analytical predictions in conformal field theories are tested against exact numerical calculations in XX and Ising spin chains, finding perfect agreement. As a byproduct, new results are also obtained for other entanglement-related quantities, such as the relative entropy and the fidelity.
The reconstruction of the state of a multipartite quantum mechanical system represents a fundamental task in quantum information science. At its most basic, it concerns a state of a bipartite quantum system whose subsystems are subjected to local operations. We compare two different methods for obtaining the original state from the state resulting from the action of these operations. The first method involves quantum operations called Petz recovery maps, acting locally on the two subsystems. The second method is called matrix (or state) reconstruction and involves local, linear maps that are not necessarily completely positive. Moreover, we compare the quantities on which the maps employed in the two methods depend. We show that any state that admits Petz recovery also admits state reconstruction. However, the latter is successful for a strictly larger set of states. We also compare these methods in the context of a finite spin chain. Here, the state of a finite spin chain is reconstructed from the reduced states of a few neighbouring spins. In this setting, state reconstruction is the same as the matrix product operator reconstruction proposed by Baumgratz et al. [Phys. Rev. Lett. 111, 020401 (2013)]. Finally, we generalize both these methods so that they employ long-range measurements instead of relying solely on short-range correlations embodied in such local reduced states. Long-range measurements enable the reconstruction of states which cannot be reconstructed from measurements of local few-body observables alone and hereby we improve existing methods for quantum state tomography of quantum many-body systems.