Kontextualität in zusammengesetzten Systemen: Die Rolle der Verschränkung im Kochen-Specker-Theorem

Kontextualität in zusammengesetzten Systemen: Die Rolle der Verschränkung im Kochen-Specker-Theorem

Victoria J. Wright1 und Ravi Kunjwal2

1ICFO-Institut de Ciencies Fotoniques, The Barcelona Institute of Science and Technology, 08860 Castelldefels, Spanien
2Zentrum für Quanteninformation und -kommunikation, Ecole polytechnique de Bruxelles, CP 165, Université libre de Bruxelles, 1050 Brüssel, Belgien

Findest du dieses Paper interessant oder möchtest du darüber diskutieren? Scite oder hinterlasse einen Kommentar zu SciRate.

Abstrakt

Das Kochen-Specker-Theorem (KS) offenbart die Nichtklassizität einzelner Quantensysteme. Im Gegensatz dazu betreffen der Satz und die Verschränkung von Bell die Nichtklassizität zusammengesetzter Quantensysteme. Dementsprechend sind im Gegensatz zur Inkompatibilität Verschränkung und Bell-Nichtlokalität nicht erforderlich, um KS-Kontextualität zu demonstrieren. Hier stellen wir jedoch fest, dass für Multiqubit-Systeme sowohl Verschränkung als auch Nichtlokalität für Beweise des Kochen-Specker-Theorems von wesentlicher Bedeutung sind. Erstens zeigen wir, dass entwirrte Messungen (eine strikte Obermenge lokaler Messungen) niemals einen logischen (zustandsunabhängigen) Beweis des KS-Theorems für Multiqubit-Systeme liefern können. Insbesondere nichtverschränkte, aber nichtlokale Messungen – deren Eigenzustände „Nichtlokalität ohne Verschränkung“ aufweisen – reichen für solche Beweise nicht aus. Dies impliziert auch, dass der Beweis des Gleason-Theorems auf einem Multiqubit-System notwendigerweise verschränkte Projektionen erfordert, wie Wallach [Contemp Math, 305: 291-298 (2002)] zeigt. Zweitens zeigen wir, dass ein Multiqubit-Zustand genau dann einen statistischen (zustandsabhängigen) Beweis des KS-Theorems zulässt, wenn er eine Bell-Ungleichung mit projektiven Messungen verletzen kann. Wir stellen auch die Beziehung zwischen der Verschränkung und den Theoremen von Kochen-Specker und Gleason allgemeiner in Multiqudit-Systemen her, indem wir neue Beispiele für KS-Mengen konstruieren. Abschließend diskutieren wir, wie unsere Ergebnisse ein neues Licht auf die Rolle der Multiqubit-Kontextualität als Ressource im Paradigma der Quantenberechnung mit Zustandsinjektion werfen.

[Eingebetteten Inhalt]

Sehr kleine physikalische Systeme wie Lichtphotonen verhalten sich auf eine Weise, die den Theorien der Physiker vor dem Aufkommen der Quantentheorie widerspricht. Die Quantentheorie wurde entwickelt, um diese sehr kleinen Systeme zu beschreiben, und tut dies sehr erfolgreich. Im Großen und Ganzen sind die Theorien vor der Quantentheorie, die oft als klassische Theorien bezeichnet werden, alle nicht kontextbezogen. Eine Theorie ist nicht kontextuell, wenn davon ausgegangen werden kann, dass jede beobachtbare Eigenschaft eines Systems, beispielsweise seine Position, jederzeit einen bestimmten Wert hat, so dass man diesen Wert finden kann, wann immer und wie auch immer diese Eigenschaft gemessen wird. Das Kochen-Specker-Theorem zeigt, dass die Vorhersagen der Quantentheorie nicht auf nichtkontextuelle Weise erklärt werden können.

Die Quantentheorie weist auch andere große Unterschiede zu klassischen Theorien auf, wobei zwei herausragende Beispiele die Bell-Nichtlokalität und die Verschränkung sind. Im Gegensatz zur oben beschriebenen Kochen-Specker-Kontextualität, die ein einzelnes Quantensystem betrifft, sind Bell-Nichtlokalität und Verschränkung Eigenschaften, die nur dann vorhanden sind, wenn wir mehrere Quantensysteme zusammen untersuchen. In dieser Arbeit zeigen wir jedoch, dass für Systeme mit mehreren Qubits (wie in einem Quantencomputer) sowohl die Bell-Nichtlokalität als auch die Bell-Verschränkung für das Vorhandensein der Kochen-Specker-Kontextualität wesentlich sind.

Neben der Relevanz für die Grundlagen der Physik diskutieren wir, wie unsere Erkenntnisse zu einem besseren Verständnis des Quantenvorteils im Quantencomputing führen können. Der Quantenvorteil muss aus den Unterschieden zwischen der Quanten- und der klassischen Physik resultieren, die Quanten- bzw. klassische Computer beschreiben. Daher stellt das Verständnis der Nichtklassizität der von uns untersuchten Multiqubit-Systeme einen Weg dar, die Macht des Quantenvorteils zu nutzen.

► BibTeX-Daten

► Referenzen

[1] Erwin Schrödinger. Diskussion von Wahrscheinlichkeitsbeziehungen zwischen getrennten Systemen. In Mathematical Proceedings of the Cambridge Philosophical Society, Band 31, Seiten 555–563. Cambridge University Press, 1935. doi:10.1017/​S0305004100013554.
https: / / doi.org/ 10.1017 / S0305004100013554

[2] Noah Linden und Sandu Popescu. Gute Dynamik versus schlechte Kinematik: Ist Verschränkung für Quantenberechnungen erforderlich? Physik. Rev. Lett., 87:047901, 2001. doi:10.1103/​PhysRevLett.87.047901.
https://doi.org/ 10.1103/PhysRevLett.87.047901

[3] Animesh Datta und Guifre Vidal. Rolle von Verschränkung und Korrelationen in der Mixed-State-Quantenberechnung. Physik. Rev. A, 75:042310, 2007. doi:10.1103/​PhysRevA.75.042310.
https: / / doi.org/ 10.1103 / PhysRevA.75.042310

[4] Victor Veitch, Christopher Ferrie, David Gross und Joseph Emerson. Negative Quasiwahrscheinlichkeit als Ressource für Quantenberechnungen. New J. Phys., 14(11):113011, 2012. doi:10.1088/​1367-2630/​14/​11/​113011.
https:/​/​doi.org/​10.1088/​1367-2630/​14/​11/​113011

[5] Mark Howard, Joel Wallman, Victor Veitch und Joseph Emerson. Kontextualität liefert die „Magie“ für Quantenberechnungen. Nature, 510(7505):351–355, 2014. doi:10.1038/​nature13460.
https: / / doi.org/ 10.1038 / nature13460

[6] Claudio Carmeli, Teiko Heinosaari und Alessandro Toigo. Quanten-Direktzugriffscodes und Inkompatibilität von Messungen. EPL (Europhysics Letters), 130(5):50001, 2020. doi:10.1209/​0295-5075/​130/​50001.
https:/​/​doi.org/​10.1209/​0295-5075/​130/​50001

[7] Toby S. Cubitt, Debbie Leung, William Matthews und Andreas Winter. Verbesserung der klassischen Null-Fehler-Kommunikation mit Verschränkung. Physik. Rev. Lett., 104:230503, 2010. doi:10.1103/​PhysRevLett.104.230503.
https://doi.org/ 10.1103/PhysRevLett.104.230503

[8] Shiv Akshar Yadavalli und Ravi Kunjwal. Kontextualität in der verschränkungsgestützten klassischen One-Shot-Kommunikation. arXiv:2006.00469, 2020. doi:10.48550/​arXiv.2006.00469.
https://​/​doi.org/​10.48550/​arXiv.2006.00469
arXiv: 2006.00469

[9] Máté Farkas, Maria Balanzó-Juandó, Karol Łukanowski, Jan Kołodyński und Antonio Acín. Die Bell-Nichtlokalität reicht für die Sicherheit standardmäßiger geräteunabhängiger Quantenschlüsselverteilungsprotokolle nicht aus. Physik. Rev. Lett., 127:050503, 2021. doi:10.1103/​PhysRevLett.127.050503.
https://doi.org/ 10.1103/PhysRevLett.127.050503

[10] John Preskill. Quantencomputing in der NISQ-Ära und darüber hinaus. Quantum, 2:79, 2018. doi:10.22331/​q-2018-08-06-79.
https:/​/​doi.org/​10.22331/​q-2018-08-06-79

[11] Frank Arute, Kunal Arya, Ryan Babbush, Dave Bacon, Joseph C. Bardin, Rami Barends, Rupak Biswas, Sergio Boixo, et al. Quantenüberlegenheit mit einem programmierbaren supraleitenden Prozessor. Nature, 574(7779):505–510, 2019. doi:10.1038/​s41586-019-1666-5.
https:/​/​doi.org/​10.1038/​s41586-019-1666-5

[12] Simon Kochen und Ernst P. Specker. Das Problem versteckter Variablen in der Quantenmechanik. J. Mathe. Mech., 17(1):59–87, 1967. doi:10.1512/​iumj.1968.17.17004.
https: / / doi.org/ 10.1512 / iumj.1968.17.17004

[13] Juan Bermejo-Vega, Nicolas Delfosse, Dan E. Browne, Cihan Okay und Robert Raussendorf. Kontextualität als Ressource für Modelle der Quantenberechnung mit Qubits. Physik. Rev. Lett., 119:120505, 2017. doi:10.1103/​PhysRevLett.119.120505.
https://doi.org/ 10.1103/PhysRevLett.119.120505

[14] John Bell. Zum Einstein-Podolsky-Rosen-Paradoxon. Physics, 1(RX-1376):195–200, 1964. doi:10.1103/​PhysicsPhysiqueFizika.1.195.
https: / / doi.org/ 10.1103 / PhysicsPhysiqueFizika.1.195

[15] John S. Bell. Zum Problem versteckter Variablen in der Quantenmechanik. Rev. Mod. Phys., 38:447–452, 1966. doi:10.1103/​RevModPhys.38.447.
https: / / doi.org/ 10.1103 / RevModPhys.38.447

[16] Andrew M. Gleason. Maße für die geschlossenen Unterräume eines Hilbert-Raums. Indiana Univ. Mathematik. J, 6:885, 1957. doi:10.1512/​iumj.1957.6.56050.
https: / / doi.org/ 10.1512 / iumj.1957.6.56050

[17] Robert W. Spekkens. Quasi-Quantisierung: Klassische statistische Theorien mit epistemischer Einschränkung, Seiten 83–135. Springer Niederlande, Dordrecht, 2016. doi:10.1007/978-94-017-7303-4_4.
https:/​/​doi.org/​10.1007/​978-94-017-7303-4_4

[18] Ravi Kunjwal und Robert W. Spekkens. Vom Kochen-Specker-Theorem zu Nichtkontextualitätsungleichungen ohne Annahme von Determinismus. Physik. Rev. Lett., 115:110403, 2015. doi:10.1103/​PhysRevLett.115.110403.
https://doi.org/ 10.1103/PhysRevLett.115.110403

[19] Ravi Kunjwal und Robert W. Spekkens. Von statistischen Beweisen des Kochen-Specker-Theorems bis hin zu rauschrobusten Nichtkontextualitätsungleichungen. Physik. Rev. A, 97:052110, 2018. doi:10.1103/​PhysRevA.97.052110.
https: / / doi.org/ 10.1103 / PhysRevA.97.052110

[20] Alexander A. Klyachko, M. Ali Can, Sinem Binicioğlu und Alexander S. Shumovsky. Einfacher Test für versteckte Variablen in Spin-1-Systemen. Physik. Rev. Lett., 101:020403, 2008. doi:10.1103/​PhysRevLett.101.020403.
https://doi.org/ 10.1103/PhysRevLett.101.020403

[21] Robert W. Spekkens. Kontextualität für Vorbereitungen, Transformationen und unscharfe Messungen. Physik. Rev. A, 71:052108, 2005. doi:10.1103/​PhysRevA.71.052108.
https: / / doi.org/ 10.1103 / PhysRevA.71.052108

[22] Ravi Kunjwal und Sibasish Ghosh. Minimaler zustandsabhängiger Nachweis der Messkontextualität für ein Qubit. Physik. Rev. A, 89:042118, 2014. doi:10.1103/​PhysRevA.89.042118.
https: / / doi.org/ 10.1103 / PhysRevA.89.042118

[23] Ravi Kunjwal. Kontextualität jenseits des Kochen-Specker-Theorems. arXiv:1612.07250, 2016. doi:10.48550/​arXiv.1612.07250.
https://​/​doi.org/​10.48550/​arXiv.1612.07250
arXiv: 1612.07250

[24] Paul Busch. Quantenzustände und verallgemeinerte Observablen: ein einfacher Beweis des Satzes von Gleason. Phys. Rev. Lett., 91:120403, 2003. doi:10.1103/​physrevlett.91.120403.
https://doi.org/ 10.1103/physrevlett.91.120403

[25] Carlton M. Caves, Christopher A. Fuchs, Kiran K. Manne und Joseph M. Renes. Gleason-artige Ableitungen der Quantenwahrscheinlichkeitsregel für verallgemeinerte Messungen. Gefunden. Phys., 34:193–209, 2004. doi:10.1023/​b:foop.0000019581.00318.a5.
https://​/​doi.org/​10.1023/​b:foop.0000019581.00318.a5

[26] Victoria J Wright und Stefan Weigert. Ein Satz vom Gleason-Typ für Qubits basierend auf Mischungen projektiver Messungen. J.Phys. A, 52:055301, 2019. doi:10.1088/​1751-8121/​aaf93d.
https://​/​doi.org/​10.1088/​1751-8121/​aaf93d

[27] Nolan R. Wallach. Ein entwirrtes Gleason-Theorem. Contemp Math, 305:291–298, 2002. doi:10.1090/​conm/​305/​05226.
https: / / doi.org/ 10.1090 / conm / 305/05226

[28] Charles H. Bennett, David P. DiVincenzo, Christopher A. Fuchs, Tal Mor, Eric Rains, Peter W. Shor, John A. Smolin und William K. Wootters. Quantennichtlokalität ohne Verschränkung. Physik. Rev. A, 59:1070–1091, 1999. doi:10.1103/​PhysRevA.59.1070.
https: / / doi.org/ 10.1103 / PhysRevA.59.1070

[29] David N. Mermin. Versteckte Variablen und die beiden Theoreme von John Bell. Rev. Mod. Phys., 65:803–815, 1993. doi:10.1103/​RevModPhys.65.803.
https: / / doi.org/ 10.1103 / RevModPhys.65.803

[30] Asher Peres. Zwei einfache Beweise des Kochen-Specker-Theorems. J. Phys. A, 24(4):L175, 1991. doi:10.1088/​0305-4470/​24/​4/​003.
https:/​/​doi.org/​10.1088/​0305-4470/​24/​4/​003

[31] Asher Peres. Inkompatible Ergebnisse von Quantenmessungen. Physik. Lette. A, 151(3-4):107–108, 1990. doi:10.1016/​0375-9601(90)90172-K.
https:/​/​doi.org/​10.1016/​0375-9601(90)90172-K

[32] Antonio Acín, Tobias Fritz, Anthony Leverrier und Ana Belén Sainz. Ein kombinatorischer Ansatz zu Nichtlokalität und Kontextualität. Komm. Mathematik. Phys., 334(2):533–628, 2015. doi:10.1007/​s00220-014-2260-1.
https:/​/​doi.org/​10.1007/​s00220-014-2260-1

[33] Ravi Kunjwal. Jenseits des Cabello-Severini-Winter-Rahmens: Kontextualität ohne Maßschärfe verstehen. Quantum, 3:184, 2019. doi:10.22331/​q-2019-09-09-184.
https:/​/​doi.org/​10.22331/​q-2019-09-09-184

[34] Ravi Kunjwal. Hypergraphenrahmen für irreduzible Nichtkontextualitätsungleichungen aus logischen Beweisen des Kochen-Specker-Theorems. Quantum, 4:219, 2020. doi:10.22331/​q-2020-01-10-219.
https:/​/​doi.org/​10.22331/​q-2020-01-10-219

[35] Ehud Hrushovski und Itamar Pitowsky. Verallgemeinerungen des Satzes von Kochen und Specker und die Wirksamkeit des Satzes von Gleason. Studies in History and Philosophy of Science Teil B: Studies in History and Philosophy of Modern Physics, 35(2):177–194, 2004. doi:10.1016/​j.shpsb.2003.10.002.
https: // doi.org/ 10.1016 / j.shpsb.2003.10.002

[36] Lin Chen und Dragomir Z Djokovic. Orthogonale Produktbasen von vier Qubits. J. Phys. A, 50(39):395301, 2017. doi:10.1088/​1751-8121/​aa8546.
https: / / doi.org/ 10.1088 / 1751-8121 / aa8546

[37] Matthew S. Leifer. Ist der Quantenzustand real? Eine ausführliche Übersicht über $psi$-Ontologie-Theoreme. Quanta, 3(1):67–155, 2014. doi:10.12743/​quanta.v3i1.22.
https: / / doi.org/ 10.12743 / quanta.v3i1.22

[38] Matthew S. Leifer und Owen JE Maroney. Maximal epistemische Interpretationen des Quantenzustands und der Kontextualität. Physik. Rev. Lett., 110:120401, 2013. doi:10.1103/​PhysRevLett.110.120401.
https://doi.org/ 10.1103/PhysRevLett.110.120401

[39] Ravi Kunjwal. Fines Theorem, Nichtkontextualität und Korrelationen in Speckers Szenario. Physik. Rev. A, 91:022108, 2015. doi:10.1103/​PhysRevA.91.022108.
https: / / doi.org/ 10.1103 / PhysRevA.91.022108

[40] Tomáš Gonda, Ravi Kunjwal, David Schmid, Elie Wolfe und Ana Belén Sainz. Nahezu Quantenkorrelationen stehen im Widerspruch zum Specker-Prinzip. 2:87. doi:10.22331/​q-2018-08-27-87.
https:/​/​doi.org/​10.22331/​q-2018-08-27-87

[41] Arthur Fine. Versteckte Variablen, gemeinsame Wahrscheinlichkeit und die Bell-Ungleichungen. Physik. Rev. Lett., 48:291–295, 1982. doi:10.1103/​physrevlett.48.291.
https://doi.org/ 10.1103/physrevlett.48.291

[42] Arthur Fine. Gemeinsame Verteilungen, Quantenkorrelationen und kommutierende Observablen. J. Mathe. Phys., 23(7):1306–1310, 1982. doi:10.1063/​1.525514.
https: / / doi.org/ 10.1063 / 1.525514

[43] Samson Abramsky und Adam Brandenburger. Die garbentheoretische Struktur von Nicht-Lokalität und Kontextualität. New J. Phys., 13(11):113036, 2011. doi:10.1088/​1367-2630/​13/​11/​113036.
https:/​/​doi.org/​10.1088/​1367-2630/​13/​11/​113036

[44] Rafael Chaves und Tobias Fritz. Entropischer Ansatz für lokalen Realismus und Nichtkontextualität. Physik. Rev. A, 85:032113, 2012. doi:10.1103/​PhysRevA.85.032113.
https: / / doi.org/ 10.1103 / PhysRevA.85.032113

[45] Remigiusz Augusiak, Tobias Fritz, Ma Kotowski, Mi Kotowski, Marcin Pawłowski, Maciej Lewenstein und Antonio Acín. Enge Bell-Ungleichungen ohne Quantenverletzung durch nicht erweiterbare Qubit-Produktbasen. Physik. Rev. A, 85(4):042113, 2012. doi:10.1103/​physreva.85.042113.
https: / / doi.org/ 10.1103 / physreva.85.042113

[46] Victoria J Wright und Ravi Kunjwal. Peres einbetten. GitHub-Repository, 2021. URL: https://​/​github.com/​vickyjwright/​embeddingperes.
https://​/​github.com/​vickyjwright/​embeddingperes

[47] Daniel McNulty, Bogdan Pammer und Stefan Weigert. Gegenseitig unvoreingenommene Produktbasen für mehrere Qudits. J. Mathe. Phys., 57(3):032202, 2016. doi:10.1063/​1.4943301.
https: / / doi.org/ 10.1063 / 1.4943301

[48] David Schmid, Haoxing Du, John H. Selby und Matthew F. Pusey. Das einzige nichtkontextuelle Modell der Stabilisator-Subtheorie ist das von Gross. Physik. Rev. Lett., 129:120403, 2021 doi:10.1103/​PhysRevLett.129.120403.
https://doi.org/ 10.1103/PhysRevLett.129.120403

[49] Daniel Gottesmann. Die Heisenberg-Darstellung von Quantencomputern. In Gruppe22: Tagungsband des XXII. Internationalen Kolloquiums zu gruppentheoretischen Methoden in der Physik, Seiten 32–43. Cambridge, MA, International Press, 1998. doi:10.48550/​arXiv.quant-ph/​9807006.
https://​/​doi.org/​10.48550/​arXiv.quant-ph/​9807006
arXiv: quant-ph / 9807006

[50] Scott Aaronson und Daniel Gottesman. Verbesserte Simulation von Stabilisatorschaltungen. Physik. Rev. A, 70:052328, 2004. doi:10.1103/​PhysRevA.70.052328.
https: / / doi.org/ 10.1103 / PhysRevA.70.052328

[51] Adán Cabello, Simone Severini und Andreas Winter. Graphentheoretischer Ansatz für Quantenkorrelationen. Physik. Rev. Lett., 112:040401, 2014. doi:10.1103/​PhysRevLett.112.040401.
https://doi.org/ 10.1103/PhysRevLett.112.040401

[52] Reinhard F. Werner. Quantenzustände mit Einstein-Podolsky-Rosen-Korrelationen, die ein Modell mit versteckten Variablen zulassen. Physik. Rev. A, 40:4277–4281, 1989. doi:10.1103/​PhysRevA.40.4277.
https: / / doi.org/ 10.1103 / PhysRevA.40.4277

[53] Michael Rotkopf. Unvollständigkeit, Nichtlokalität und Realismus: Ein Prolegomenon zur Philosophie der Quantenmechanik. Oxford University Press, 1987.

[54] Tobias Fritz, Ana Belén Sainz, Remigiusz Augusiak, J Bohr Brask, Rafael Chaves, Anthony Leverrier und Antonio Acín. Lokale Orthogonalität als mehrteiliges Prinzip für Quantenkorrelationen. Nature communications, 4(1):1–7, 2013. doi:10.1038/​ncomms3263.
https: / / doi.org/ 10.1038 / ncomms3263

[55] Julien Degorre, Marc Kaplan, Sophie Laplante und Jérémie Roland. Die Kommunikationskomplexität nicht signalisierender Verteilungen. In Mathematical Foundations of Computer Science 2009, Seiten 270–281, Berlin, Heidelberg, 2009. Springer Berlin Heidelberg. doi:10.1007/978-3-642-03816-7_24.
https:/​/​doi.org/​10.1007/​978-3-642-03816-7_24

Zitiert von

[1] Ravi Kunjwal und Ämin Baumeler, „Kausale Ordnung gegen Lokalität eintauschen“, arXiv: 2202.00440.

Die obigen Zitate stammen von SAO / NASA ADS (Zuletzt erfolgreich aktualisiert am 2023, 01:20:13 Uhr). Die Liste ist möglicherweise unvollständig, da nicht alle Verlage geeignete und vollständige Zitationsdaten bereitstellen.

On Der von Crossref zitierte Dienst Es wurden keine Daten zum Zitieren von Werken gefunden (letzter Versuch 2023-01-20 13:15:16).

Zeitstempel:

Mehr von Quantenjournal