No Arabic abstract
Quantum error correcting codes with finite-dimensional Hilbert spaces have yielded new insights on bulk reconstruction in AdS/CFT. In this paper, we give an explicit construction of a quantum error correcting code where the code and physical Hilbert spaces are infinite-dimensional. We define a von Neumann algebra of type II$_1$ acting on the code Hilbert space and show how it is mapped to a von Neumann algebra of type II$_1$ acting on the physical Hilbert space. This toy model demonstrates the equivalence of entanglement wedge reconstruction and the exact equality of bulk and boundary relative entropies in infinite-dimensional Hilbert spaces.
We construct an infinite-dimensional analog of the HaPPY code as a growing series of stabilizer codes defined respective to their Hilbert spaces. The Hilbert spaces are related by isometric maps, which we define explicitly. We construct a Hamiltonian that is compatible with the infinite-dimensional HaPPY code and further study the stabilizer of our code, which has an inherent fractal structure. We use this result to study the dynamics of the code and map a nontrivial bulk Hamiltonian to the boundary. We find that the image of the mapping is scale invariant, but does not create any long-range entanglement in the boundary, therefore failing to reproduce the features of a CFT. This result shows the limits of the HaPPY code as a model of the AdS/CFT correspondence, but also hints that the relevance of quantum error correction in quantum gravity may not be limited to the CFT context.
We give a general construction of a setup that verifies bulk reconstruction, conservation of relative entropies, and equality of modular flows between the bulk and the boundary, for infinite-dimensional systems with operator-pushing. In our setup, a bulk-to-boundary map is defined at the level of the $C^*$-algebras of state-independent observables. We then show that if the boundary dynamics allow for the existence of a KMS state, physically relevant Hilbert spaces and von Neumann algebras can be constructed directly from our framework. Our construction should be seen as a state-dependent construction of the other side of a wormhole and clarifies the meaning of black hole reconstruction claims such as the Papadodimas-Raju proposal. As an illustration, we apply our result to construct a wormhole based on the HaPPY code, which satisfies all properties of entanglement wedge reconstruction.
A breakthrough took place in the von Neumann algebra theory when the Tomita-Takesaki theory was established around 1970. Since then, many important issues in the theory were developed through 1970s by Araki, Connes, Haagerup, Takesaki and others, which are already very classics of the von Neumann algebra theory. Nevertheless, it seems still difficult for beginners to access them, though a few big volumes on the theory are available. These lecture notes are delivered as an intensive course in 2019, April at Department of Mathematical Analysis, Budapest University of Technology and Economics. The course was aimed at giving a fast track study of those main classics of the theory, from which people gain an enough background knowledge so that they can consult suitable volumes when more details are needed.
In the holographic correspondence, subregion duality posits that knowledge of the mixed state of a finite spacelike region of the boundary theory allows full reconstruction of a specific region of the bulk, known as the entanglement wedge. This statement has been proven for local bulk operators. In this paper, specializing first for simplicity to a Rindler wedge of AdS$_3$, we find that generic curves within the wedge are in fact not fully reconstructible with entanglement entropies in the corresponding boundary region, even after using the most general variant of hole-ography, which was recently shown to suffice for reconstruction of arbitrary spacelike curves in the Poincare patch. This limitation is an analog of the familiar phenomenon of entanglement shadows, which we call entanglement shade. We overcome it by showing that the information about the nonreconstructible curve segments is encoded in a slight generalization of the concept of entanglement of purification, whose holographic dual has been discussed very recently. We introduce the notion of differential purification, and demonstrate that, in combination with differential entropy, it enables the complete reconstruction of all spacelike curves within an arbitrary entanglement wedge in any 3-dimensional bulk geometry.
The notion of index for inclusions of von Neumann algebras goes back to a seminal work of Jones on subfactors of type ${I!I}_1$. In the absence of a trace, one can still define the index of a conditional expectation associated to a subfactor and look for expectations that minimize the index. This value is called the minimal index of the subfactor. We report on our analysis, contained in [GL19], of the minimal index for inclusions of arbitrary von Neumann algebras (not necessarily finite, nor factorial) with finite-dimensional centers. Our results generalize some aspects of the Jones index for multi-matrix inclusions (finite direct sums of matrix algebras), e.g., the minimal index always equals the squared norm of a matrix, that we call emph{matrix dimension}, as it is the case for multi-matrices with respect to the Bratteli inclusion matrix. We also mention how the theory of minimal index can be formulated in the purely algebraic context of rigid 2-$C^*$-categories.