Contextualidad en sistemas compuestos: el papel del entrelazamiento en el teorema de Kochen-Specker

Contextualidad en sistemas compuestos: el papel del entrelazamiento en el teorema de Kochen-Specker

victoria j wright1 y Ravi Kunjwal2

1ICFO-Institut de Ciencies Fotoniques, Instituto de Ciencia y Tecnología de Barcelona, ​​08860 Castelldefels, España
2Centro de Información y Comunicación Cuántica, Ecole polytechnique de Bruxelles, CP 165, Université libre de Bruxelles, 1050 Bruselas, Bélgica

¿Encuentra este documento interesante o quiere discutirlo? Scite o deje un comentario en SciRate.

Resumen

El teorema de Kochen-Specker (KS) revela la no clásicaidad de los sistemas cuánticos simples. Por el contrario, el teorema de Bell y el entrelazamiento se refieren a la no clásicaidad de los sistemas cuánticos compuestos. En consecuencia, a diferencia de la incompatibilidad, el entrelazamiento y la no localidad de Bell no son necesarios para demostrar la contextualidad de KS. Sin embargo, aquí encontramos que para los sistemas multiqubit, el entrelazamiento y la no localidad son esenciales para las pruebas del teorema de Kochen-Specker. En primer lugar, mostramos que las mediciones no entrelazadas (un superconjunto estricto de mediciones locales) nunca pueden producir una prueba lógica (independiente del estado) del teorema KS para sistemas multiqubit. En particular, las mediciones no entrelazadas pero no locales, cuyos estados propios exhiben "no localidad sin entrelazamiento", son insuficientes para tales pruebas. Esto también implica que probar el teorema de Gleason en un sistema multiqubit necesariamente requiere proyecciones entrelazadas, como lo muestra Wallach [Contemp Math, 305: 291-298 (2002)]. En segundo lugar, mostramos que un estado multiqubit admite una prueba estadística (dependiente del estado) del teorema KS si y solo si puede violar una desigualdad de Bell con medidas proyectivas. También establecemos la relación entre el entrelazamiento y los teoremas de Kochen-Specker y Gleason de manera más general en sistemas multiqudit mediante la construcción de nuevos ejemplos de conjuntos KS. Finalmente, discutimos cómo nuestros resultados arrojan nueva luz sobre el papel de la contextualidad multiqubit como recurso dentro del paradigma de la computación cuántica con inyección de estado.

[Contenido incrustado]

Los sistemas físicos muy pequeños, como los fotones de luz, se comportan de manera que contradicen las teorías de los científicos de física utilizadas antes del advenimiento de la teoría cuántica. La teoría cuántica se desarrolló para describir estos sistemas muy pequeños y lo hace con mucho éxito. En términos generales, las teorías anteriores a la teoría cuántica, a menudo llamadas teorías clásicas, son todas no contextuales. Una teoría es no contextual si se puede suponer que cada propiedad observable de un sistema, como su posición, tiene un valor definido en todo momento, de modo que cuando y como sea que se mida esta propiedad, se encontrará este valor. El teorema de Kochen-Specker demuestra cómo las predicciones de la teoría cuántica no pueden explicarse de forma no contextual.

La teoría cuántica también tiene otras diferencias importantes con las teorías clásicas, con dos ejemplos destacados que son la no localidad de Bell y el entrelazamiento. A diferencia de la contextualidad de Kochen-Specker descrita anteriormente, que involucra un solo sistema cuántico, la no localidad de Bell y el entrelazamiento son propiedades que solo están presentes cuando estudiamos múltiples sistemas cuánticos juntos. En este trabajo, sin embargo, mostramos que para los sistemas de múltiples qubits (como en una computadora cuántica) tanto la no localidad de Bell como el entrelazamiento son esenciales para la presencia de la contextualidad de Kochen-Specker.

Además de la relevancia para los fundamentos de la física, discutimos cómo nuestros hallazgos pueden conducir a una mejor comprensión de la ventaja cuántica en la computación cuántica. La ventaja cuántica debe surgir de las diferencias entre la física cuántica y la clásica que describen las computadoras cuánticas y clásicas, respectivamente. Por lo tanto, comprender la no clásicaidad de los sistemas multiqubit que estudiamos presenta un camino para aprovechar el poder de la ventaja cuántica.

► datos BibTeX

► referencias

[ 1 ] Erwin Schrodinger. Discusión de las relaciones de probabilidad entre sistemas separados. En Actas Matemáticas de la Sociedad Filosófica de Cambridge, volumen 31, páginas 555–563. Prensa de la Universidad de Cambridge, 1935. doi:10.1017/​S0305004100013554.
https: / / doi.org/ 10.1017 / S0305004100013554

[ 2 ] Noah Linden y Sandu Popescu. Buena dinámica frente a mala cinemática: ¿se necesita el entrelazamiento para la computación cuántica? física Rev. Lett., 87:047901, 2001. doi:10.1103/​PhysRevLett.87.047901.
https: / / doi.org/ 10.1103 / PhysRevLett.87.047901

[ 3 ] Animesh Datta y Guifre Vidal. Papel del entrelazamiento y las correlaciones en la computación cuántica de estado mixto. física 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 y Joseph Emerson. La cuasi-probabilidad negativa como recurso para la computación cuántica. 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 y Joseph Emerson. La contextualidad proporciona la 'magia' para la computación cuántica. Nature, 510(7505):351–355, 2014. doi:10.1038/nature13460.
https: / / doi.org/ 10.1038 / nature13460

[ 6 ] Claudio Carmeli, Teiko Heinosaari y Alessandro Toigo. Códigos cuánticos de acceso aleatorio e incompatibilidad de medidas. EPL (Cartas de Eurofísica), 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 y Andreas Winter. Mejora de la comunicación clásica de cero errores con entrelazamiento. física Rev. Lett., 104:230503, 2010. doi:10.1103/​PhysRevLett.104.230503.
https: / / doi.org/ 10.1103 / PhysRevLett.104.230503

[ 8 ] Shiv Akshar Yadavalli y Ravi Kunjwal. Contextualidad en la comunicación clásica one-shot asistida por entrelazamiento. 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 y Antonio Acín. La no localidad de Bell no es suficiente para la seguridad de los protocolos estándar de distribución de claves cuánticas independientes del dispositivo. física Rev. Lett., 127:050503, 2021. doi:10.1103/​PhysRevLett.127.050503.
https: / / doi.org/ 10.1103 / PhysRevLett.127.050503

[ 10 ] John Preskill. Computación cuántica en la era NISQ y más allá. 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. Supremacía cuántica utilizando un procesador superconductor programable. 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 y Ernst P. Specker. El problema de las variables ocultas en la mecánica cuántica. J. Matemáticas. 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, Nicolás Delfosse, Dan E Browne, Cihan Okay, and Robert Raussendorf. La contextualidad como recurso para modelos de computación cuántica con qubits. física Rev. Lett., 119:120505, 2017. doi:10.1103/PhysRevLett.119.120505.
https: / / doi.org/ 10.1103 / PhysRevLett.119.120505

[ 14 ] Juan Bell. Sobre la paradoja de Einstein-Podolsky-Rosen. Física, 1(RX-1376):195–200, 1964. doi:10.1103/​PhysicsPhysiqueFizika.1.195.
https: / / doi.org/ 10.1103 / PhysicsPhysiqueFizika.1.195

[ 15 ] Juan S Bell. Sobre el Problema de las Variables Ocultas en Mecánica Cuántica. 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. Medidas sobre los subespacios cerrados de un espacio de Hilbert. Universidad de Indiana Matemáticas. J, 6:885, 1957. doi:10.1512/iumj.1957.6.56050.
https: / / doi.org/ 10.1512 / iumj.1957.6.56050

[ 17 ] Robert W. Spekkens. Cuasicuantificación: teorías estadísticas clásicas con una restricción epistémica, páginas 83–135. Springer Holanda, 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 y Robert W. Spekkens. Del teorema de Kochen-Specker a las desigualdades de no contextualidad sin asumir el determinismo. física Rev. Lett., 115:110403, 2015. doi:10.1103/​PhysRevLett.115.110403.
https: / / doi.org/ 10.1103 / PhysRevLett.115.110403

[ 19 ] Ravi Kunjwal y Robert W. Spekkens. Desde demostraciones estadísticas del teorema de Kochen-Specker hasta desigualdades no contextuales resistentes al ruido. física 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 y Alexander S Shumovsky. Prueba simple para variables ocultas en sistemas Spin-1. física Rev. Lett., 101:020403, 2008. doi:10.1103/​PhysRevLett.101.020403.
https: / / doi.org/ 10.1103 / PhysRevLett.101.020403

[ 21 ] Robert W. Spekkens. Contextualidad para preparaciones, transformaciones y medidas de enfoque. física Rev.A, 71:052108, 2005. doi:10.1103/​PhysRevA.71.052108.
https: / / doi.org/ 10.1103 / PhysRevA.71.052108

[ 22 ] Ravi Kunjwal y Sibasish Ghosh. Prueba mínima dependiente del estado de la contextualidad de la medición para un qubit. física Rev.A, 89:042118, 2014. doi:10.1103/​PhysRevA.89.042118.
https: / / doi.org/ 10.1103 / PhysRevA.89.042118

[ 23 ] Ravi Kunjwal. Contextualidad más allá del teorema de Kochen-Specker. arXiv:1612.07250, 2016. doi:10.48550/​arXiv.1612.07250.
https://​/​doi.org/​10.48550/​arXiv.1612.07250
arXiv: 1612.07250

[ 24 ] Paul Busch. Estados cuánticos y observables generalizados: una demostración simple del teorema de 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 y Joseph M Renes. Derivaciones de tipo Gleason de la regla de probabilidad cuántica para mediciones generalizadas. Fundar. 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 y Stefan Weigert. Un teorema de tipo Gleason para qubits basado en mezclas de medidas proyectivas. J. Phys. A, 52: 055301, 2019. doi: 10.1088 / 1751-8121 / aaf93d.
https: / / doi.org/ 10.1088 / 1751-8121 / aaf93d

[ 27 ] Nolan R. Wallach. Un teorema de Gleason desenredado. 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 y William K Wootters. No localidad cuántica sin entrelazamiento. física Rev. A, 59:1070–1091, 1999. doi:10.1103/​PhysRevA.59.1070.
https: / / doi.org/ 10.1103 / PhysRevA.59.1070

[ 29 ] David N Mermín. Variables ocultas y los dos teoremas de 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. Dos demostraciones simples del teorema de Kochen-Specker. J. física. 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. Resultados incompatibles de medidas cuánticas. física Letón. 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, and Ana Belén Sainz. Un enfoque combinatorio de la no localidad y la contextualidad. común Matemáticas. 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. Más allá del marco Cabello-Severini-Winter: dar sentido a la contextualidad sin nitidez de las medidas. 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. Marco hipergráfico para desigualdades no contextuales irreducibles a partir de pruebas lógicas del teorema de Kochen-Specker. Cuántica, 4:219, 2020. doi:10.22331/q-2020-01-10-219.
https:/​/​doi.org/​10.22331/​q-2020-01-10-219

[ 35 ] Ehud Hrushovski e Itamar Pitowsky. Generalizaciones del teorema de Kochen y Specker y la eficacia del teorema de Gleason. Estudios de Historia y Filosofía de la Ciencia Parte B: Estudios de Historia y Filosofía de la Física Moderna, 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 y Dragomir Z Djokovic. Bases de productos ortogonales de cuatro qubits. J. física. A, 50(39):395301, 2017. doi:10.1088/1751-8121/aa8546.
https: / / doi.org/ 10.1088 / 1751-8121 / aa8546

[ 37 ] Mateo S Leifer. ¿Es real el estado cuántico? Una revisión extendida de los teoremas de $psi$-ontology. Quanta, 3(1):67–155, 2014. doi:10.12743/​quanta.v3i1.22.
https: / / doi.org/ 10.12743 / quanta.v3i1.22

[ 38 ] Matthew S Leifer y Owen JE Maroney. Interpretaciones máximamente epistémicas del estado cuántico y contextualidad. física Rev. Lett., 110:120401, 2013. doi:10.1103/PhysRevLett.110.120401.
https: / / doi.org/ 10.1103 / PhysRevLett.110.120401

[ 39 ] Ravi Kunjwal. Teorema de Fine, no contextualidad y correlaciones en el escenario de Specker. física 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 y Ana Belén Sainz. Las correlaciones casi cuánticas son inconsistentes con el principio de Specker. 2:87. doi:10.22331/q-2018-08-27-87.
https:/​/​doi.org/​10.22331/​q-2018-08-27-87

[ 41 ] Arturo Fino. Variables ocultas, probabilidad conjunta y desigualdades de Bell. física Rev. Lett., 48:291–295, 1982. doi:10.1103/physrevlett.48.291.
https: / / doi.org/ 10.1103 / physrevlett.48.291

[ 42 ] Arturo Fino. Distribuciones conjuntas, correlaciones cuánticas y observables conmutables. J. Matemáticas. Phys., 23(7):1306–1310, 1982. doi:10.1063/1.525514.
https: / / doi.org/ 10.1063 / 1.525514

[ 43 ] Samson Abramsky y Adam Brandenburger. La estructura teórica de la gavilla de no localidad y contextualidad. 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 y Tobías Fritz. Aproximación entrópica al realismo local y la no contextualidad. física 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, and Antonio Acín. Desigualdades ajustadas de Bell sin violación cuántica de las bases de productos no extensibles de qubit. física Rev.A, 85(4):042113, 2012. doi:10.1103/physreva.85.042113.
https: / / doi.org/ 10.1103 / physreva.85.042113

[ 46 ] Victoria J Wright y Ravi Kunjwal. Incrustación de Peres. Repositorio de GitHub, 2021. URL: https:/​/​github.com/​vickyjwright/​embeddingperes.
https://​/​github.com/​vickyjwright/​embeddingperes

[ 47 ] Daniel McNulty, Bogdan Pammer y Stefan Weigert. Bases de productos mutuamente imparciales para múltiples qudits. J. Matemáticas. 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 y Matthew F Pusey. El único modelo no contextual de la subteoría del estabilizador es el de Gross. física Rev. Lett., 129:120403, 2021 doi:10.1103/​PhysRevLett.129.120403.
https: / / doi.org/ 10.1103 / PhysRevLett.129.120403

[ 49 ] Daniel Gottesmann. La representación de Heisenberg de las computadoras cuánticas. En Group22: Actas del XXII Coloquio Internacional sobre Métodos Teóricos de Grupos en Física, páginas 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 y Daniel Gottesman. Simulación mejorada de circuitos estabilizadores. física 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 y Andreas Winter. Enfoque teórico de grafos para las correlaciones cuánticas. física Rev. Lett., 112:040401, 2014. doi:10.1103/​PhysRevLett.112.040401.
https: / / doi.org/ 10.1103 / PhysRevLett.112.040401

[ 52 ] Reinhard F. Werner. Estados cuánticos con correlaciones de Einstein-Podolsky-Rosen que admiten un modelo de variables ocultas. física Rev. A, 40:4277–4281, 1989. doi:10.1103/​PhysRevA.40.4277.
https: / / doi.org/ 10.1103 / PhysRevA.40.4277

[ 53 ] Miguel Pelirrojo. Incompletitud, no localidad y realismo: un prolegómeno a la filosofía de la mecánica cuántica. Prensa de la Universidad de Oxford, 1987.

[ 54 ] Tobias Fritz, Ana Belén Sainz, Remigiusz Augusiak, J Bohr Brask, Rafael Chaves, Anthony Leverrier, and Antonio Acín. La ortogonalidad local como principio multipartito para correlaciones cuánticas. Comunicaciones de la naturaleza, 4(1):1–7, 2013. doi:10.1038/ncomms3263.
https: / / doi.org/ 10.1038 / ncomms3263

[ 55 ] Julien Degorre, Marc Kaplan, Sophie Laplante y Jérémie Roland. La complejidad de la comunicación de las distribuciones sin señalización. En Mathematical Foundations of Computer Science 2009, páginas 270–281, Berlín, 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

Citado por

[1] Ravi Kunjwal y Ämin Baumeler, “Trading causal order for locality”, arXiv: 2202.00440.

Las citas anteriores son de ANUNCIOS SAO / NASA (última actualización exitosa 2023-01-20 13:15:18). La lista puede estar incompleta ya que no todos los editores proporcionan datos de citas adecuados y completos.

On Servicio citado por Crossref no se encontraron datos sobre las obras citadas (último intento 2023-01-20 13:15:16).

Sello de tiempo:

Mas de Diario cuántico