Cited by 65

The DOI matches its Crossref record; 17 of the 17 references it cites were found in a registry or an index.

Quantum minimal surfaces from quantum error correction

Akers, Chris, Penington, Geoff·2022·SciPost Physics

Abstract

We show that complementary state-specific reconstruction of logical (bulk) operators is equivalent to the existence of a quantum minimal surface prescription for physical (boundary) entropies. This significantly generalizes both sides of an equivalence previously shown by Harlow[1]; in particular, we do not require the entanglement wedge to be the same for all states in the code space. In developing this theorem, we construct an emergent bulk geometry for general quantum codes, defining ``areas'' associated to arbitrary logical subsystems, and argue that this definition is ``functionally unique.'' We also formalize a definition of bulk reconstruction that we call ``state-specific product unitary’’ reconstruction. This definition captures the quantum error correction (QEC) properties present in holographic codes and has potential independent interest as a very broad generalization of QEC; it includes most traditional versions of QEC as special cases. Our results extend to approximate codes, and even to the ``non-isometric codes'' that seem to describe the interior of a black hole at late times.

Overview

The claims and statistics of this paper haven’t been checked yet.

Run the check — free, no account needed. It reads the open-access text and checks the sources it cites.

A few free checks a day · papers already verified open instantly · results are public

Integrity signals

Registry

Crossref · 10.21468/scipostphys.12.5.157

Cites

17 of 17 references verified0 citation errors · 0 not checkable

Statistics

Figures

Figure 1 An AdS / CFT setup without complementary state-independent recovery. Between the two candidate extremal surfaces lies a black hole with horizon area much greater than the difference in area between the two surfaces, A BH A 2 A 1 . Neither B nor B can reconstruct operators in b 0 in a state-independent way.
Figure 1 An AdS / CFT setup without complementary state-independent recovery. Between the two candidate extremal surfaces lies a black hole with horizon area much greater than the difference in area between the two surfaces, A BH A 2 A 1 . Neither B nor B can reconstruct operators in b 0 in a state-independent way.CC-BY · From the PDF
Figure 2 Two illustrations of the quantum codes used throughout this paper. (a) A linear map V : i H b i ! H B H B . (b) This linear map encompasses situations in holography. Each input leg corresponds to a bulk point or subregion, while the output legs correspond to boundary subregions. The map V is implicit.
Figure 2 Two illustrations of the quantum codes used throughout this paper. (a) A linear map V : i H b i ! H B H B . (b) This linear map encompasses situations in holography. Each input leg corresponds to a bulk point or subregion, while the output legs correspond to boundary subregions. The map V is implicit.CC-BY · From the PDF
Image 3
CC-BY · From the PDF
Figure 4 An AdS / CFT setup in which a unitary acting within an entanglement wedge changes the location of the quantum minimal surface. On the left, we have two black holes in an entangled pure state. Because of the large amount of entanglement, 1 is quantum minimal and therefore both black holes are inside the entanglement wedge of B . On the right, we have the situation after acting on both black holes with a unitary Ubb 0 that maps the original state to a factorized pure state. Now 2 is quantum minimal. This unitary has changed the entropies S ( B ) and S ( B ) and therefore cannot be represented by a unitary on B .
Figure 4 An AdS / CFT setup in which a unitary acting within an entanglement wedge changes the location of the quantum minimal surface. On the left, we have two black holes in an entangled pure state. Because of the large amount of entanglement, 1 is quantum minimal and therefore both black holes are inside the entanglement wedge of B . On the right, we have the situation after acting on both black holes with a unitary Ubb 0 that maps the original state to a factorized pure state. Now 2 is quantum minimal. This unitary has changed the entropies S ( B ) and S ( B ) and therefore cannot be represented by a unitary on B .CC-BY · From the PDF
Image 5
CC-BY · From the PDF
Figure 5 An example tensor network. The blue circles each represent tensors, fourpartite states on the union of the small red circle and three black legs touching that blue circle. Each tensor can be viewed as a map from a state on the red circle to a state on the black legs. A solid black line between tensors represents postselection of the state on one leg from each tensor onto the state ϕ MAX ι . The entire tensor network forms a map from states on the union of the small red circles to the union of the boundary legs, which are those legs crossing the outer circle.
Figure 5 An example tensor network. The blue circles each represent tensors, fourpartite states on the union of the small red circle and three black legs touching that blue circle. Each tensor can be viewed as a map from a state on the red circle to a state on the black legs. A solid black line between tensors represents postselection of the state on one leg from each tensor onto the state ϕ MAX ι . The entire tensor network forms a map from states on the union of the small red circles to the union of the boundary legs, which are those legs crossing the outer circle.CC-BY · From the PDF
Image 7
CC-BY · From the PDF
Image 8
CC-BY · From the PDF
Image 9
CC-BY · From the PDF

Verification

Claims the paper makes

The claims and statistics of this paper haven’t been checked yet.

Run the check — free, no account needed. It reads the open-access text and checks the sources it cites.

A few free checks a day · papers already verified open instantly · results are public

Claims other papers make about this one

Each is checked against this paper’s own text: does it say what the citing paper says it does?

Self-check

Percentages, sums and reported differences re-computed from the paper’s own numbers.

The self-check needs the paper’s full text.

Citations

Cites

Research works printed but not linked: 34

  1. 10.1007/s00220-017-2904-z · DOI
  2. 10.1007/JHEP06(2015)149 · DOI · Paper page
  3. 10.1103/PhysRevLett.117.021601 · DOI · Paper page
  4. 10.1103/PhysRevX.9.031011 · DOI · Paper page
  5. 10.1007/JHEP12(2019)007 · DOI · Paper page
  6. 10.1007/JHEP10(2019)240 · DOI · Paper page
  7. 10.1007/JHEP05(2019)052 · DOI · Paper page
  8. 10.1007/JHEP12(2019)063 · DOI · Paper page
  9. 10.1007/JHEP04(2021)062 · DOI
  10. 10.1007/JHEP11(2013)074 · DOI · Paper page
  11. 10.1007/JHEP01(2015)073 · DOI · Paper page
  12. 10.22331/q-2022-02-16-655 · DOI
  13. 10.1088/1126-6708/2007/09/120 · DOI · Paper page
  14. 10.1007/JHEP06(2016)004 · DOI · Paper page
  15. 10.1103/PhysRevD.100.126006 · DOI
  16. 10.1007/BF02787889 · DOI
  17. 10.1007/JHEP11(2016)009 · DOI · Paper page
  18. 10.1088/1361-6382/ac2de5 · DOI · Paper page
  19. 10.1103/PhysRevA.56.2567 · DOI · Paper page
  20. 10.1103/PhysRevLett.104.120501 · DOI · Paper page
  21. 10.1088/1367-2630/6/1/026 · DOI · Paper page
  22. 10.1109/TIT.2012.2191695. · DOI · Paper page
  23. 10.1007/s00220-021-04040-y · DOI
  24. 10.1007/978-3-319-21891-5 · DOI
  25. 10.1007/JHEP02(2013)062 · DOI · Paper page
  26. 10.1103/PhysRevLett.111.171301 · DOI · Paper page
  27. 10.1103/PhysRevLett.75.1260 · DOI · Paper page
  28. 10.1007/JHEP04(2014)195 · DOI · Paper page
  29. 10.1007/JHEP03(2014)051 · DOI · Paper page
  30. 10.1007/JHEP08(2017)057 · DOI
  31. 10.1007/JHEP01(2016)122 · DOI
  32. 10.1103/PhysRevD.101.046001 · DOI
  33. 10.1038/nphys444 · DOI
  34. 10.1088/0305-4470/37/5/L01 · DOI

Cited by

Sorted by citations

See all 65

Metadata

Authors
Akers, C., & Penington, G.
Venue
SciPost Physics
Published
2022-05-12
Volume
12
Issue
5
ISSN
2542-4653
Cited by
65
References
17
Language
en
Funders
  • Air Force Office of Scientific Research (FA9550-19-1-0360)
  • Simons Foundation
  • United States Department of Energy (DE-SC0019380)

About these checks

Registry, retraction, Cites and statistics results are computed, not judged, with one exception: a printed reference that no index lists is read once by a model before it counts as a citation error. Claims are extracted by a model and kept only when their quote appears verbatim in the text; each cited source is then checked, with a model’s help, for whether it says what the claim relies on. Those verdicts can be wrong — read the claim’s quote and the cited source before relying on one.

Statistics and arithmetic are recomputed, not judged.

Confidence bands are shown only for fields calibrated on our annotated test set. None is calibrated yet, so no band is shown.

What counts as a claim ›How we measure confidence ›How we check this ›

Are you an author, or do you see a problem with this page? Request a review