stringtranslate.com

No localidad cuántica

En física teórica , la no localidad cuántica se refiere al fenómeno por el cual las estadísticas de medición de un sistema cuántico multipartito no permiten una interpretación con realismo local . La no localidad cuántica se ha verificado experimentalmente bajo una variedad de supuestos físicos. [1] [2] [3] [4] [5]

La no localidad cuántica no permite una comunicación más rápida que la luz [ 6] y, por lo tanto, es compatible con la relatividad especial y su límite de velocidad universal de los objetos. Por lo tanto, la teoría cuántica es local en el sentido estricto definido por la relatividad especial y, como tal, el término "no localidad cuántica" a veces se considera un nombre inapropiado. [7] Aun así, da lugar a muchas de las discusiones fundamentales sobre la teoría cuántica. [7]

Historia

Einstein, Podolsky y Rosen

En el artículo EPR de 1935 , [8] Albert Einstein , Boris Podolsky y Nathan Rosen describieron "dos partículas separadas espacialmente que tienen posiciones y momentos perfectamente correlacionados" [9] como una consecuencia directa de la teoría cuántica. Pretendían utilizar el principio clásico de localidad para desafiar la idea de que la función de onda cuántica era una descripción completa de la realidad, pero en cambio provocaron un debate sobre la naturaleza de la realidad. [10] Posteriormente, Einstein presentó una variante de estas ideas en una carta a Erwin Schrödinger , [11] que es la versión que se presenta aquí. El estado y la notación utilizados aquí son más modernos y similares a la interpretación de David Bohm sobre EPR. [12] El estado cuántico de las dos partículas antes de la medición se puede escribir como donde . [13]

Aquí, los subíndices "A" y "B" distinguen las dos partículas, aunque es más conveniente y habitual referirse a estas partículas como en posesión de dos experimentalistas llamados Alice y Bob . Las reglas de la teoría cuántica dan predicciones para los resultados de las mediciones realizadas por los experimentalistas. Alice, por ejemplo, medirá que su partícula tiene espín hacia arriba en un promedio del cincuenta por ciento de las mediciones. Sin embargo, según la interpretación de Copenhague, la medición de Alice hace que el estado de las dos partículas colapse , de modo que si Alice realiza una medición de espín en la dirección z, es decir, con respecto a la base , entonces el sistema de Bob quedará en uno de los estados . Del mismo modo, si Alice realiza una medición de espín en la dirección x, es decir, con respecto a la base , entonces el sistema de Bob quedará en uno de los estados . Schrödinger se refirió a este fenómeno como " dirección ". [14] Esta dirección ocurre de tal manera que no se puede enviar ninguna señal al realizar dicha actualización de estado; La no localidad cuántica no se puede utilizar para enviar mensajes instantáneamente y, por lo tanto, no está en conflicto directo con las preocupaciones de causalidad en la relatividad especial . [13]

En la perspectiva de Copenhague de este experimento, la medición de Alice (y en particular su elección de medición) tiene un efecto directo en el estado de Bob. Sin embargo, bajo el supuesto de localidad, las acciones sobre el sistema de Alice no afectan el estado "verdadero" u "óntico" del sistema de Bob. Vemos que el estado óntico del sistema de Bob debe ser compatible con uno de los estados cuánticos o , ya que Alice puede hacer una medición que concluya con uno de esos estados siendo la descripción cuántica de su sistema. Al mismo tiempo, también debe ser compatible con uno de los estados cuánticos o por la misma razón. Por lo tanto, el estado óntico del sistema de Bob debe ser compatible con al menos dos estados cuánticos; el estado cuántico no es, por lo tanto, un descriptor completo de su sistema. Einstein, Podolsky y Rosen vieron esto como evidencia de lo incompleto de la interpretación de Copenhague de la teoría cuántica, ya que la función de onda explícitamente no es una descripción completa de un sistema cuántico bajo este supuesto de localidad. Su artículo concluye: [8]

Si bien hemos demostrado que la función de onda no proporciona una descripción completa de la realidad física, dejamos abierta la cuestión de si tal descripción existe o no. Creemos, sin embargo, que tal teoría es posible.

Aunque varios autores (entre los que destacaba Niels Bohr ) criticaron la terminología ambigua del artículo de EPR, [15] [16] el experimento mental generó, no obstante, un gran interés. Su noción de una "descripción completa" se formalizó posteriormente mediante la sugerencia de variables ocultas que determinan las estadísticas de los resultados de las mediciones, pero a las que un observador no tiene acceso. [17] La ​​mecánica de Bohm proporciona una forma de completar la mecánica cuántica, con la introducción de variables ocultas; sin embargo, la teoría es explícitamente no local. [18] Por lo tanto, la interpretación no da una respuesta a la pregunta de Einstein, que era si se podía dar o no una descripción completa de la mecánica cuántica en términos de variables ocultas locales de acuerdo con el "Principio de acción local". [19]

Desigualdad de Bell

En 1964, John Bell respondió a la pregunta de Einstein demostrando que dichas variables ocultas locales nunca pueden reproducir la gama completa de resultados estadísticos predichos por la teoría cuántica. [20] Bell demostró que una hipótesis de variable oculta local conduce a restricciones en la fuerza de las correlaciones de los resultados de las mediciones. Si las desigualdades de Bell se violan experimentalmente como predice la mecánica cuántica, entonces la realidad no puede ser descrita por variables ocultas locales y el misterio de la causalidad cuántica no local permanece. Sin embargo, Bell señala que el modelo de variable oculta no local de Bohm es diferente: [20]

Esta [estructura groseramente no local] es característica... de cualquier teoría que reproduzca exactamente las predicciones de la mecánica cuántica.

Clauser , Horne, Shimony y Holt (CHSH) reformularon estas desigualdades de una manera que fuera más propicia para la prueba experimental (véase desigualdad CHSH ). [21]

En el escenario propuesto por Bell (un escenario de Bell), dos experimentadores, Alice y Bob, realizan experimentos en laboratorios separados. En cada ejecución, Alice (Bob) realiza un experimento en su (su) laboratorio, obteniendo el resultado . Si Alice y Bob repiten sus experimentos varias veces, entonces pueden estimar las probabilidades , es decir, la probabilidad de que Alice y Bob observen respectivamente los resultados cuando realizan respectivamente los experimentos x, y. En lo sucesivo, cada uno de esos conjuntos de probabilidades se denotará simplemente por . En la jerga de la no localidad cuántica, se denomina caja. [22]

Bell formalizó la idea de una variable oculta al introducir el parámetro para caracterizar localmente los resultados de las mediciones en cada sistema: [20] "Es indiferente... si λ denota una sola variable o un conjunto... y si las variables son discretas o continuas". Sin embargo, es equivalente (y más intuitivo) pensar en ella como una "estrategia" o "mensaje" local que ocurre con cierta probabilidad cuando Alice y Bob reinician su configuración experimental. La suposición de causalidad local de Bell estipula entonces que cada estrategia local define las distribuciones de resultados independientes si Alice lleva a cabo el experimento x y Bob lleva a cabo el experimento :

Aquí ( ) denota la probabilidad de que Alice (Bob) obtenga el resultado cuando realiza el experimento y la variable local que describe su experimento tiene valor ( ).

Supongamos que se pueden tomar valores de un conjunto determinado . Si cada par de valores tiene una probabilidad asociada de ser seleccionado (se permite la aleatoriedad compartida, es decir, se pueden correlacionar), entonces se puede promediar esta distribución para obtener una fórmula para la probabilidad conjunta de cada resultado de medición:

Una caja que admite tal descomposición se denomina caja local de Bell o caja clásica. Fijando el número de valores posibles que puede tomar cada una, se puede representar cada caja como un vector finito con entradas . En esa representación, el conjunto de todas las cajas clásicas forma un politopo convexo . En el escenario de Bell estudiado por CHSH, donde puede tomar valores dentro de , cualquier caja local de Bell debe satisfacer la desigualdad de CHSH:

dónde

Las consideraciones anteriores se aplican para modelar un experimento cuántico. Consideremos dos partes que realizan mediciones de polarización local en un estado fotónico bipartito. El resultado de la medición para la polarización de un fotón puede tomar uno de dos valores (informalmente, si el fotón está polarizado en esa dirección o en la dirección ortogonal). Si a cada parte se le permite elegir entre solo dos direcciones de polarización diferentes, el experimento encaja dentro del escenario CHSH. Como señaló CHSH, existe un estado cuántico y direcciones de polarización que generan una caja con igual a . Esto demuestra una forma explícita en la que una teoría con estados ontológicos que son locales, con mediciones locales y solo acciones locales no puede coincidir con las predicciones probabilísticas de la teoría cuántica, refutando la hipótesis de Einstein. Experimentalistas como Alain Aspect han verificado la violación cuántica de la desigualdad CHSH [1] así como otras formulaciones de la desigualdad de Bell, para invalidar la hipótesis de las variables ocultas locales y confirmar que la realidad es de hecho no local en el sentido EPR.

No localidad posibilista

La demostración de Bell es probabilística en el sentido de que muestra que las probabilidades precisas predichas por la mecánica cuántica para algunos escenarios entrelazados no pueden cumplirse mediante una teoría de variables ocultas locales. (Para abreviar, aquí y en adelante "teoría local" significa "teoría de variables ocultas locales"). Sin embargo, la mecánica cuántica permite una violación aún más fuerte de las teorías locales: una posibilista, en la que las teorías locales ni siquiera pueden estar de acuerdo con la mecánica cuántica sobre qué eventos son posibles o imposibles en un escenario entrelazado. La primera prueba de este tipo se debió a Daniel Greenberger , Michael Horne y Anton Zeilinger en 1993 [23]. El estado involucrado a menudo se llama estado GHZ .

En 1993, Lucien Hardy demostró una prueba lógica de no localidad cuántica que, como la prueba GHZ, es una prueba posibilista. [24] [25] [26] Comienza con la observación de que el estado definido a continuación se puede escribir de algunas maneras sugerentes: donde, como arriba, .

El experimento consiste en que este estado entrelazado se comparte entre dos experimentadores, cada uno de los cuales tiene la capacidad de medir con respecto a la base o . Vemos que si cada uno mide con respecto a , entonces nunca ven el resultado . Si uno mide con respecto a y el otro , nunca ven los resultados . Sin embargo, a veces ven el resultado cuando miden con respecto a , ya que

Esto nos lleva a la paradoja: si tenemos el resultado , concluimos que si uno de los experimentadores hubiera medido con respecto a la base, el resultado debería haber sido o , ya que y son imposibles. Pero entonces, si ambos hubieran medido con respecto a la base, por localidad el resultado debería haber sido , lo cual también es imposible.

Modelos de variables ocultas no locales con una velocidad de propagación finita

El trabajo de Bancal et al. [27] generaliza el resultado de Bell al demostrar que las correlaciones alcanzables en la teoría cuántica también son incompatibles con una gran clase de modelos de variables ocultas superlumínicas. En este marco, se excluye la señalización más rápida que la luz. Sin embargo, la elección de la configuración de una de las partes puede influir en las variables ocultas en la ubicación distante de otra parte, si hay tiempo suficiente para que una influencia superlumínica (de velocidad finita, pero por lo demás desconocida) se propague de un punto al otro. En este escenario, cualquier experimento bipartito que revele la no localidad de Bell puede simplemente proporcionar límites inferiores a la velocidad de propagación de la influencia oculta. Los experimentos cuánticos con tres o más partes pueden, no obstante, refutar todos esos modelos de variables ocultas no locales. [27]

Análogos del teorema de Bell en estructuras causales más complicadas

Una red bayesiana simple. La lluvia influye en si se activa el aspersor y tanto la lluvia como el aspersor influyen en si el césped está mojado.

Las variables aleatorias medidas en un experimento general pueden depender entre sí de maneras complicadas. En el campo de la inferencia causal, tales dependencias se representan a través de redes bayesianas : gráficos acíclicos dirigidos donde cada nodo representa una variable y un borde de una variable a otra significa que la primera influye en la segunda y no de otra manera, vea la figura. En un experimento de Bell bipartito estándar, la configuración de Alice (Bob) ( ), junto con su variable local ( ), influyen en su resultado local ( ). El teorema de Bell puede entonces interpretarse como una separación entre las predicciones cuánticas y clásicas en un tipo de estructuras causales con solo un nodo oculto . Se han establecido separaciones similares en otros tipos de estructuras causales. [28] La caracterización de los límites para las correlaciones clásicas en tales escenarios de Bell extendidos es un desafío, pero existen métodos computacionales prácticos completos para lograrlo. [29] [30]

Entrelazamiento y no localidad

A veces se entiende que la no localidad cuántica es equivalente al entrelazamiento. Sin embargo, no es así. El entrelazamiento cuántico solo se puede definir dentro del formalismo de la mecánica cuántica, es decir, es una propiedad que depende del modelo. Por el contrario, la no localidad se refiere a la imposibilidad de una descripción de las estadísticas observadas en términos de un modelo de variable oculta local, por lo que es independiente del modelo físico utilizado para describir el experimento.

Es cierto que para cualquier estado entrelazado puro existe una selección de mediciones que producen correlaciones no locales de Bell, pero la situación es más compleja para los estados mixtos. Mientras que cualquier estado no local de Bell debe estar entrelazado, existen estados entrelazados (mixtos) que no producen correlaciones no locales de Bell [31] (aunque, operando sobre varias copias de algunos de esos estados, [32] o llevando a cabo post-selecciones locales, [33] es posible observar efectos no locales). Además, mientras que existen catalizadores para el entrelazamiento, [34] no los hay para la no localidad. [35] Finalmente, se han encontrado ejemplos razonablemente simples de desigualdades de Bell para las cuales el estado cuántico que da la violación más grande nunca es un estado entrelazado al máximo, lo que demuestra que el entrelazamiento, en cierto sentido, ni siquiera es proporcional a la no localidad. [36] [37] [38]

Correlaciones cuánticas

Como se muestra, las estadísticas alcanzables por dos o más partes que realizan experimentos en un sistema clásico están restringidas de una manera no trivial. Análogamente, las estadísticas alcanzables por observadores separados en una teoría cuántica también resultan estar restringidas. La primera derivación de un límite estadístico no trivial en el conjunto de correlaciones cuánticas, debido a B. Tsirelson , [39] se conoce como límite de Tsirelson . Considere el escenario de Bell CHSH detallado anteriormente, pero esta vez suponga que, en sus experimentos, Alice y Bob están preparando y midiendo sistemas cuánticos. En ese caso, se puede demostrar que el parámetro CHSH está acotado por

Los conjuntos de correlaciones cuánticas y el problema de Tsirelson

Matemáticamente, una caja admite una realización cuántica si y sólo si existen un par de espacios de Hilbert , un vector normalizado y operadores de proyección tales que

  1. Para todos los , los conjuntos representan mediciones completas. Es decir, .
  2. , para todos .

En lo sucesivo, el conjunto de tales cajas se llamará . A diferencia del conjunto clásico de correlaciones, cuando se ve en el espacio de probabilidad, no es un politopo. Por el contrario, contiene límites tanto rectos como curvos. [40] Además, no es cerrado: [41] esto significa que existen cajas que pueden ser arbitrariamente bien aproximadas por sistemas cuánticos pero que en sí mismas no son cuánticas.

En la definición anterior, la separación espacial de las dos partes que llevan a cabo el experimento de Bell se modeló imponiendo que sus álgebras de operadores asociadas actúan sobre diferentes factores del espacio de Hilbert general que describe el experimento. Alternativamente, se podría modelar la separación espacial imponiendo que estas dos álgebras conmutan. Esto conduce a una definición diferente:

admite una realización cuántica de campo si y sólo si existe un espacio de Hilbert , un vector normalizado y operadores de proyección tales que

  1. Para todos los , los conjuntos representan mediciones completas. Es decir, .
  2. , para todos .
  3. , para todos .

Llamemos al conjunto de todas estas correlaciones .

¿Cómo se relaciona este nuevo conjunto con el más convencional definido anteriormente? Se puede demostrar que es cerrado. Además, , donde denota el cierre de . El problema de Tsirelson [42] consiste en decidir si la relación de inclusión es estricta, es decir, si . Este problema solo aparece en dimensiones infinitas: cuando el espacio de Hilbert en la definición de está restringido a ser de dimensión finita, el cierre del conjunto correspondiente es igual a . [42]

En enero de 2020, Ji, Natarajan, Vidick, Wright y Yuen afirmaron un resultado en la teoría de la complejidad cuántica [43] que implicaría que , resolviendo así el problema de Tsirelson. [44] [45] [46] [47] [48] [49] [50]

El problema de Tsirelson puede demostrarse como equivalente al problema de incrustación de Connes , [51] [52] [53] una famosa conjetura en la teoría de las álgebras de operadores.

Caracterización de correlaciones cuánticas

Dado que las dimensiones de y son, en principio, ilimitadas, determinar si una caja dada admite una realización cuántica es un problema complicado. De hecho, se sabe que el doble problema de establecer si una caja cuántica puede tener una puntuación perfecta en un juego no local es indecidible. [41] Además, el problema de decidir si puede ser aproximada por un sistema cuántico con precisión es NP-hard. [54] Caracterizar cajas cuánticas es equivalente a caracterizar el cono de matrices semidefinidas completamente positivas bajo un conjunto de restricciones lineales. [55]

Para dimensiones fijas pequeñas , se puede explorar, utilizando métodos variacionales, si se puede realizar en un sistema cuántico bipartito , con , . Sin embargo, ese método solo se puede utilizar para demostrar la realizabilidad de , y no su irrealizabilidad con sistemas cuánticos.

Para demostrar la irrealizabilidad, el método más conocido es la jerarquía de Navascués–Pironio–Acín (NPA). [56] Esta es una secuencia infinita decreciente de conjuntos de correlaciones con las propiedades:

  1. Si , entonces para todos .
  2. Si , entonces existe tal que .
  3. Para cualquier , decidir si se puede formular como un programa semidefinido .

La jerarquía NPA proporciona, por tanto, una caracterización computacional, no de , sino de . Si , (como afirman Ji, Natarajan, Vidick, Wright y Yuen), entonces se necesita un nuevo método para detectar la no realizabilidad de las correlaciones en . Si el problema de Tsirelson se resolviera afirmativamente, es decir, , entonces los dos métodos anteriores proporcionarían una caracterización práctica de .

La física de las correlaciones supracuánticas

Los trabajos mencionados anteriormente describen cómo es el conjunto cuántico de correlaciones, pero no explican por qué. ¿Son inevitables las correlaciones cuánticas, incluso en las teorías físicas postcuánticas, o, por el contrario, podrían existir correlaciones fuera de ellas que, sin embargo, no conduzcan a ningún comportamiento operativo no físico?

En su influyente artículo de 1994, Popescu y Rohrlich exploran si las correlaciones cuánticas pueden explicarse apelando únicamente a la causalidad relativista. [57] Es decir, si cualquier caja hipotética permitiría construir un dispositivo capaz de transmitir información a una velocidad superior a la de la luz. En el nivel de correlaciones entre dos partes, la causalidad de Einstein se traduce en el requisito de que la elección de medición de Alice no debería afectar las estadísticas de Bob, y viceversa. De lo contrario, Alice (Bob) podría enviarle una señal a Bob (Alice) instantáneamente al elegir su configuración de medición apropiadamente. Matemáticamente, las condiciones de no señalización de Popescu y Rohrlich son:

Al igual que el conjunto de cajas clásicas, cuando se representa en el espacio de probabilidad, el conjunto de cajas sin señalización forma un politopo . Popescu y Rohrlich identificaron una caja que, si bien cumple con las condiciones de no señalización, viola el límite de Tsirelson y, por lo tanto, es irrealizable en física cuántica. Denominada caja PR, se puede escribir como:

Aquí se toman valores en , y denota la suma módulo dos. Se puede verificar que el valor CHSH de esta caja es 4 (en oposición al límite de Tsirelson de ). Esta caja había sido identificada anteriormente por Rastall [58] y Khalfin y Tsirelson . [59]

En vista de este desajuste, Popescu y Rohrlich plantean el problema de identificar un principio físico, más fuerte que las condiciones de ausencia de señalización, que permita derivar el conjunto de correlaciones cuánticas. A continuación se formularon varias propuestas:

  1. Complejidad de comunicación no trivial (NTCC). [60] Este principio estipula que las correlaciones no locales no deben ser tan fuertes como para permitir que dos partes resuelvan todos los problemas de comunicación unidireccional con cierta probabilidad utilizando solo un bit de comunicación. Se puede demostrar que cualquier caja que viole el límite de Tsirelson en más de es incompatible con NTCC.
  2. Sin ventaja para el cálculo no local (NANLC). [61] Se considera el siguiente escenario: dada una función , se distribuyen las cadenas de bits a dos partes y se les pide que generen los bits de manera que sea una buena estimación para . El principio de NANLC establece que las cajas no locales no deberían dar a las dos partes ninguna ventaja para jugar este juego. Se ha demostrado que cualquier caja que viole el límite de Tsirelson proporcionaría dicha ventaja.
  3. Causalidad de la información (CI). [62] El punto de partida es un escenario de comunicación bipartita donde una de las partes (Alice) recibe una cadena aleatoria de bits. La segunda parte, Bob, recibe un número aleatorio . Su objetivo es transmitir a Bob el bit , para lo cual se permite a Alice transmitir bits a Bob. El principio de CI establece que la suma de la información mutua entre el bit de Alice y la estimación de Bob no puede exceder el número de bits transmitidos por Alice. Se muestra que cualquier caja que viole el límite de Tsirelson permitiría a dos partes violar la CI.
  4. Localidad macroscópica (ML). [63] En la configuración considerada, dos partes separadas realizan extensas mediciones de baja resolución sobre una gran cantidad de pares de partículas correlacionadas preparados independientemente. ML establece que cualquier experimento “macroscópico” de este tipo debe admitir un modelo de variable oculta local. Está demostrado que cualquier experimento microscópico capaz de violar el límite de Tsirelson también violaría la no localidad estándar de Bell cuando se lo lleva a la escala macroscópica. Además del límite de Tsirelson, el principio de ML recupera por completo el conjunto de todos los correladores cuánticos de dos puntos.
  5. Ortogonalidad local (LO). [64] Este principio se aplica a escenarios de Bell multipartitos, donde las partes realizan respectivamente experimentos en sus laboratorios locales. Obtienen respectivamente los resultados . El par de vectores se denomina evento. Se dice que dos eventos , son localmente ortogonales si existe tal que y . El principio de LO establece que, para cualquier caja multipartita, la suma de las probabilidades de cualquier conjunto de eventos localmente ortogonales por pares no puede exceder 1. Está demostrado que cualquier caja bipartita que viole el límite de Tsirelson por una cantidad de viola LO.

Todos estos principios pueden ser refutados experimentalmente bajo el supuesto de que podemos decidir si dos o más eventos están separados por una distancia espacial. Esto distingue a este programa de investigación de la reconstrucción axiomática de la mecánica cuántica a través de las teorías probabilísticas generalizadas .

Los trabajos anteriores se basan en el supuesto implícito de que cualquier conjunto físico de correlaciones debe estar cerrado bajo conexiones. [65] Esto significa que cualquier caja efectiva construida mediante la combinación de las entradas y salidas de una serie de cajas dentro del conjunto considerado también debe pertenecer al conjunto. El cierre bajo conexiones no parece imponer ningún límite al valor máximo de CHSH. Sin embargo, no es un principio de vacío: por el contrario, en [65] se muestra que muchas familias simples e intuitivas de conjuntos de correlaciones en el espacio de probabilidad lo violan.

Originalmente, se desconocía si alguno de estos principios (o un subconjunto de ellos) era lo suficientemente fuerte como para derivar todas las restricciones que definen . Esta situación continuó durante algunos años hasta la construcción del conjunto casi cuántico . [66] es un conjunto de correlaciones que está cerrado bajo cableados y puede caracterizarse mediante programación semidefinida. Contiene todas las correlaciones en , pero también algunas cajas no cuánticas . Sorprendentemente, se ha demostrado que todas las cajas dentro del conjunto casi cuántico son compatibles con los principios de NTCC, NANLC, ML y LO. También hay evidencia numérica de que las cajas casi cuánticas también cumplen con IC. Parece, por lo tanto, que, incluso cuando se toman en conjunto los principios anteriores, no son suficientes para distinguir el conjunto cuántico en el escenario de Bell más simple de dos partes, dos entradas y dos salidas. [66]

Protocolos independientes del dispositivo

La no localidad se puede aprovechar para llevar a cabo tareas de información cuántica que no dependen del conocimiento del funcionamiento interno de los aparatos de preparación y medición que intervienen en el experimento. La seguridad o fiabilidad de cualquier protocolo de este tipo depende únicamente de la solidez de las correlaciones medidas experimentalmente . Estos protocolos se denominan independientes del dispositivo.

Distribución de claves cuánticas independiente del dispositivo

El primer protocolo independiente del dispositivo propuesto fue la distribución de clave cuántica independiente del dispositivo (QKD). [67] En esta primitiva, a dos partes distantes, Alice y Bob, se les distribuye un estado cuántico entrelazado, que sondean, obteniendo así las estadísticas . Basándose en lo no local que resulta ser la caja, Alice y Bob estiman cuánto conocimiento podría poseer un adversario cuántico externo, Eve (el espía), sobre el valor de las salidas de Alice y Bob. Esta estimación les permite idear un protocolo de reconciliación al final del cual Alice y Bob comparten un bloc de notas de un solo uso perfectamente correlacionado del que Eve no tiene información alguna. El bloc de notas de un solo uso puede entonces usarse para transmitir un mensaje secreto a través de un canal público. Aunque los primeros análisis de seguridad sobre QKD independiente del dispositivo se basaban en que Eve llevara a cabo una familia específica de ataques, [68] todos estos protocolos han demostrado recientemente ser incondicionalmente seguros. [69]

Certificación, expansión y amplificación de aleatoriedad independiente del dispositivo

La no localidad se puede utilizar para certificar que los resultados de una de las partes en un experimento de Bell son parcialmente desconocidos para un adversario externo. Al introducir una semilla parcialmente aleatoria en varias cajas no locales y, después de procesar los resultados, se puede terminar con una cadena más larga (potencialmente ilimitada) de aleatoriedad comparable [70] o con una cadena más corta pero más aleatoria [71] . Esta última primitiva se puede demostrar imposible en un contexto clásico [72] .

La certificación, expansión y amplificación de la aleatoriedad independiente del dispositivo (DI) son técnicas que se utilizan para generar números aleatorios de alta calidad que sean seguros contra posibles ataques a los dispositivos subyacentes utilizados para generar números aleatorios. Estas técnicas tienen aplicaciones críticas en criptografía, donde los números aleatorios de alta calidad son esenciales para garantizar la seguridad de los protocolos criptográficos. La certificación de aleatoriedad es el proceso de verificar que la salida de un generador de números aleatorios es verdaderamente aleatoria y no ha sido alterada por un adversario. La certificación de aleatoriedad DI realiza esta verificación sin hacer suposiciones sobre los dispositivos subyacentes que generan números aleatorios. En cambio, la aleatoriedad se certifica observando correlaciones entre las salidas de diferentes dispositivos que se generan utilizando el mismo proceso físico. Investigaciones recientes han demostrado la viabilidad de la certificación de aleatoriedad DI utilizando sistemas cuánticos entrelazados, como fotones o electrones. La expansión de la aleatoriedad consiste en tomar una pequeña cantidad de semilla aleatoria inicial y expandirla en una secuencia mucho más grande de números aleatorios. En la expansión de aleatoriedad DI, la expansión se realiza utilizando mediciones de sistemas cuánticos que se preparan en un estado altamente entrelazado. La seguridad de la expansión está garantizada por las leyes de la mecánica cuántica, que hacen imposible que un adversario prediga el resultado de la expansión. Investigaciones recientes han demostrado que la expansión de aleatoriedad DI se puede lograr utilizando pares de fotones entrelazados y dispositivos de medición que violan una desigualdad de Bell. [73] La amplificación de aleatoriedad es el proceso de tomar una pequeña cantidad de semilla aleatoria inicial y aumentar su aleatoriedad utilizando un algoritmo criptográfico. En la amplificación de aleatoriedad DI, este proceso se realiza utilizando propiedades de entrelazamiento y mecánica cuántica. La seguridad de la amplificación está garantizada por el hecho de que cualquier intento por parte de un adversario de manipular el resultado del algoritmo inevitablemente introducirá errores que pueden detectarse y corregirse. Investigaciones recientes han demostrado la viabilidad de la amplificación de aleatoriedad DI utilizando entrelazamiento cuántico y la violación de una desigualdad de Bell. [74]

La certificación, expansión y amplificación de la aleatoriedad DI son técnicas poderosas para generar números aleatorios de alta calidad que son seguros contra cualquier ataque potencial a los dispositivos subyacentes utilizados para generar números aleatorios. Estas técnicas tienen aplicaciones críticas en criptografía y es probable que se vuelvan cada vez más cruciales a medida que avanza la tecnología de computación cuántica. Además, existe un enfoque más suave llamado semi-DI donde los números aleatorios se pueden generar con algunas suposiciones sobre el principio de funcionamiento de los dispositivos, el entorno, la dimensión, la energía, etc., en el que se beneficia de la facilidad de implementación y la alta tasa de generación. [75]

Autoprueba

A veces, la caja compartida por Alice y Bob es tal que solo admite una única realización cuántica. Esto significa que existen operadores de medición y un estado cuántico que da lugar a tal que cualquier otra realización física de está conectada a través de transformaciones unitarias locales. Este fenómeno, que puede interpretarse como un ejemplo de tomografía cuántica independiente del dispositivo, fue señalado por primera vez por Tsirelson [40] y denominado autoprueba por Mayers y Yao. [67] Se sabe que la autoprueba es robusta frente al ruido sistemático, es decir, si las estadísticas medidas experimentalmente son lo suficientemente cercanas a , aún se pueden determinar el estado subyacente y los operadores de medición hasta las barras de error. [67]

Testigos de dimensión

El grado de no localidad de una caja cuántica también puede proporcionar límites inferiores en la dimensión del espacio de Hilbert de los sistemas locales accesibles a Alice y Bob. [76] Este problema es equivalente a decidir la existencia de una matriz con un rango semidefinido completamente positivo bajo. [77] Encontrar límites inferiores en la dimensión del espacio de Hilbert basándose en estadísticas resulta ser una tarea difícil, y los métodos generales actuales solo proporcionan estimaciones muy bajas. [78] Sin embargo, un escenario de Bell con cinco entradas y tres salidas es suficiente para proporcionar límites inferiores arbitrariamente altos en la dimensión del espacio de Hilbert subyacente. [79] Los protocolos de comunicación cuántica que suponen un conocimiento de la dimensión local de los sistemas de Alice y Bob, pero que por lo demás no hacen afirmaciones sobre la descripción matemática de los dispositivos de preparación y medición involucrados se denominan protocolos semiindependientes del dispositivo. Actualmente, existen protocolos semiindependientes del dispositivo para la distribución de claves cuánticas [80] y la expansión de aleatoriedad. [81]

Véase también

Referencias

  1. ^ ab Aspect, Alain; Dalibard, Jean; Roger, Gérard (20 de diciembre de 1982). "Prueba experimental de las desigualdades de Bell utilizando analizadores que varían con el tiempo". Physical Review Letters . 49 (25): 1804–1807. Código Bibliográfico :1982PhRvL..49.1804A. doi : 10.1103/PhysRevLett.49.1804 .
  2. ^ Rowe MA, et al. (febrero de 2001). "Violación experimental de una desigualdad de Bell con detección eficiente". Nature . 409 (6822): 791–794. Bibcode :2001Natur.409..791R. doi :10.1038/35057215. hdl : 2027.42/62731 . PMID  11236986. S2CID  205014115.
  3. ^ Hensen, B, et al. (octubre de 2015). "Violación de la desigualdad de Bell sin lagunas utilizando espines de electrones separados por 1,3 kilómetros". Nature . 526 (7575): 682–686. arXiv : 1508.05949 . Bibcode :2015Natur.526..682H. doi :10.1038/nature15759. PMID  26503041. S2CID  205246446.
  4. ^ Giustina, M, et al. (diciembre de 2015). "Prueba sin lagunas significativas del teorema de Bell con fotones entrelazados". Physical Review Letters . 115 (25): 250401. arXiv : 1511.03190 . Bibcode :2015PhRvL.115y0401G. doi :10.1103/PhysRevLett.115.250401. PMID  26722905. S2CID  13789503.
  5. ^ Shalm, LK, et al. (diciembre de 2015). "Prueba sólida sin lagunas del realismo local". Physical Review Letters . 115 (25): 250402. arXiv : 1511.03189 . Código Bibliográfico :2015PhRvL.115y0402S. doi :10.1103/PhysRevLett.115.250402. PMC 5815856 . PMID  26722906. 
  6. ^ Ghirardi, GC; Rimini, A.; Weber, T. (marzo de 1980). "Un argumento general contra la transmisión superlumínica a través del proceso de medición mecánico cuántico". Lettere al Nuovo Cimento . 27 (10): 293–298. doi :10.1007/BF02817189. S2CID  121145494.
  7. ^ ab Chang, Lay Nam; Lewis, Zachary; Minic, Djordje; Takeuchi, Tatsu; Tze, Chia-Hsiung (2011). "Desigualdades de Bell, correlaciones supercuánticas y teoría de cuerdas". Avances en física de altas energías . 2011 : 1–11. doi : 10.1155/2011/593423 . ISSN  1687-7357.
  8. ^ ab Einstein, A.; Podolsky, B.; Rosen, N. (15 de mayo de 1935). "¿Puede considerarse completa la descripción mecánico-cuántica de la realidad física?". Physical Review . 47 (10): 777–780. Bibcode :1935PhRv...47..777E. doi : 10.1103/PhysRev.47.777 . ISSN  0031-899X.
  9. ^ Reid, MD; Drummond, PD; Bowen, WP; Cavalcanti, EG; Lam, PK; Bachor, HA; Andersen, UL; Leuchs, G. (10 de diciembre de 2009). "Coloquio: La paradoja de Einstein-Podolsky-Rosen: De los conceptos a las aplicaciones". Reseñas de Física Moderna . 81 (4): 1727–1751. arXiv : 0806.0270 . Bibcode :2009RvMP...81.1727R. doi :10.1103/RevModPhys.81.1727. hdl : 10072/37941 . ISSN  0034-6861.
  10. ^ Clauser, John F. y Abner Shimony. "Teorema de Bell. Pruebas experimentales e implicaciones". Informes sobre el progreso en física 41.12 (1978): 1881.
  11. ^ Einstein, Albert. "Carta a E. Schrödinger" [Carta]. Archivos de Einstein, ID: Número de referencia 22-47. Universidad Hebrea de Jerusalén.
  12. ^ Jevtic, S.; Rudolph, T (2015). "Cómo Einstein y/o Schrödinger deberían haber descubierto el teorema de Bell en 1936". Journal of the Optical Society of America B . 32 (4): 50–55. arXiv : 1411.4387 . Código Bibliográfico :2015JOSAB..32A..50J. doi :10.1364/JOSAB.32.000A50. S2CID  55579565.
  13. ^ de Nielsen, Michael A.; Chuang, Isaac L. (2000). Computación cuántica e información cuántica . Cambridge University Press . Págs. 112-113. ISBN. 978-0-521-63503-5.
  14. ^ Wiseman, HM; Jones, SJ; Doherty, AC (abril de 2007). "Dirección, entrelazamiento, no localidad y la paradoja de Einstein-Podolsky-Rosen". Physical Review Letters . 98 (14): 140402. arXiv : quant-ph/0612147 . Código Bibliográfico :2007PhRvL..98n0402W. doi :10.1103/physrevlett.98.140402. PMID  17501251. S2CID  30078867.
  15. ^ Bohr, N (julio de 1935). "¿Puede considerarse completa la descripción mecánico-cuántica de la realidad física?". Physical Review . 48 (8): 696–702. Bibcode :1935PhRv...48..696B. doi : 10.1103/PhysRev.48.696 .
  16. ^ Furry, WH (marzo de 1936). "Observaciones sobre mediciones en teoría cuántica". Physical Review . 49 (6): 476. Bibcode :1936PhRv...49..476F. doi :10.1103/PhysRev.49.476.
  17. ^ von Neumann, J. (1932/1955). En Mathematische Grundlagen der Quantenmechanik , Springer, Berlín, traducido al inglés por Beyer, RT, Princeton University Press, Princeton, citado por Baggott, J. (2004) Beyond Measure: Modern physics, philosophy, and the meaning of quantum theory , Oxford University Press, Oxford, ISBN 0-19-852927-9 , páginas 144–145. 
  18. ^ Maudlin, Tim (2011). No localidad cuántica y relatividad: insinuaciones metafísicas de la física moderna (3.ª ed.). John Wiley & Sons. pág. 111. ISBN 9781444331264.
  19. ^ Fine, Arthur (invierno de 2017). "El argumento de Einstein-Podolsky-Rosen en la teoría cuántica". En Zalta, Edward N. (ed.). The Stanford Encyclopedia of Philosophy . Metaphysics Research Lab, Stanford University . Consultado el 6 de diciembre de 2018 .
  20. ^ abc Bell, John (1964). "Sobre la paradoja de Einstein Podolsky-Rosen". Física Física . 1 (3): 195–200. doi : 10.1103/PhysicsPhysiqueFizika.1.195 .
  21. ^ Clauser, John F.; Horne, Michael A.; Shimony, Abner; Holt, Richard A. (octubre de 1969). "Experimento propuesto para probar teorías locales de variables ocultas". Physical Review Letters . 23 (15): 880–884. Código Bibliográfico :1969PhRvL..23..880C. doi : 10.1103/PhysRevLett.23.880 . S2CID  18467053.
  22. ^ Barrett, J.; Linden, N.; Massar, S.; Pironio, S.; Popescu, S.; Roberts, D. (2005). "Correlaciones no locales como un recurso teórico de la información". Physical Review A . 71 (2): 022101. arXiv : quant-ph/0404097 . Bibcode :2005PhRvA..71b2101B. doi :10.1103/PhysRevA.71.022101. S2CID  13373771.
  23. ^ Daniel M. Greenberger; Michael A. Horne; Anton Zeilinger (2007), Más allá del teorema de Bell , arXiv : 0712.0921 , Bibcode :2007arXiv0712.0921G
  24. ^ Hardy, Lucien (1993). "No localidad para dos partículas sin desigualdades para casi todos los estados entrelazados". Physical Review Letters . 71 (11): 1665–1668. Bibcode :1993PhRvL..71.1665H. doi :10.1103/PhysRevLett.71.1665. PMID  10054467. S2CID  11839894.
  25. ^ Braun, D.; Choi, M.-S. (2008). "Prueba de Hardy frente a la prueba de Clauser-Horne-Shimony-Holt de no localidad cuántica: aspectos fundamentales y prácticos". Physical Review A . 78 (3): 032114. arXiv : 0808.0052 . Código Bibliográfico :2008PhRvA..78c2114B. doi :10.1103/physreva.78.032114. S2CID  119267461.
  26. ^ Nikolić, Hrvoje (2007). "Mecánica cuántica: mitos y realidades". Fundamentos de la física . 37 (11): 1563–1611. arXiv : quant-ph/0609163 . Código Bibliográfico :2007FoPh...37.1563N. doi :10.1007/s10701-007-9176-y. S2CID  9613836.
  27. ^ ab Bancal, Jean-Daniel; Pironio, Stefano; Acin, Antonio; Liang, Yeong-Cherng; Scarani, Valerio; Gisin, Nicolas (2012). "La no localidad cuántica basada en influencias causales de velocidad finita conduce a señalización superlumínica". Nature Physics . 8 (867): 867–870. arXiv : 1110.3795 . Código Bibliográfico :2012NatPh...8..867B. doi :10.1038/nphys2460. S2CID  13922531.
  28. ^ Fritz, Tobias (2012). "Más allá del teorema de Bell: escenarios de correlación". New J. Phys . 14 (10): 103001. arXiv : 1206.5115 . Código Bibliográfico :2012NJPh...14j3001F. doi :10.1088/1367-2630/14/10/103001. S2CID  4847110.
  29. ^ Wolfe, Elie; Spekkens, RW ; Fritz, T (2019). "La técnica de inflación para la inferencia causal con variables latentes". Inferencia causal . 7 (2). arXiv : 1609.00672 . doi :10.1515/jci-2017-0020. S2CID  52476882.
  30. ^ Navascués, Miguel; Wolfe, Elie (2020). "La técnica de inflación resuelve por completo el problema de compatibilidad causal". Journal of Causal Inference . 8 : 70–91. arXiv : 1707.06476 . doi :10.1515/jci-2018-0008. S2CID  155100141.
  31. ^ Werner, RF (1989). "Estados cuánticos con correlaciones de Einstein-Podolsky-Rosen que admiten un modelo de variable oculta". Physical Review A . 40 (8): 4277–4281. Bibcode :1989PhRvA..40.4277W. doi :10.1103/PhysRevA.40.4277. PMID  9902666.
  32. ^ Palazuelos, Carlos (2012). "Superactivación de la no localidad cuántica". Physical Review Letters . 109 (19): 190401. arXiv : 1205.3118 . Código Bibliográfico :2012PhRvL.109s0401P. doi :10.1103/PhysRevLett.109.190401. PMID  23215363. S2CID  4613963.
  33. ^ Popescu, Sandu (1995). "Desigualdades de Bell y matrices de densidad: revelando la no localidad "oculta". Physical Review Letters . 74 (14): 2619–2622. arXiv : quant-ph/9502005 . Código Bibliográfico :1995PhRvL..74.2619P. doi :10.1103/PhysRevLett.74.2619. PMID  10057976. S2CID  35478562.
  34. ^ Jonathan, Daniel; Plenio, Martin B. (25 de octubre de 1999). "Manipulación local asistida por entrelazamiento de estados cuánticos puros". Physical Review Letters . 83 (17): 3566–3569. arXiv : quant-ph/9905071 . Código Bibliográfico :1999PhRvL..83.3566J. doi :10.1103/PhysRevLett.83.3566. hdl :10044/1/245. ISSN  0031-9007. S2CID  392419.
  35. ^ Karvonen, Martti (13 de octubre de 2021). "Ni la contextualidad ni la no localidad admiten catalizadores". Physical Review Letters . 127 (16): 160402. arXiv : 2102.07637 . Código Bibliográfico :2021PhRvL.127p0402K. doi :10.1103/PhysRevLett.127.160402. ISSN  0031-9007. PMID  34723585. S2CID  231924967.
  36. ^ Junge, Marius; Palazuelos, C (2011). "Gran violación de las desigualdades de Bell con bajo entrelazamiento". Communications in Mathematical Physics . 306 (3): 695–746. arXiv : 1007.3043 . Código Bibliográfico :2011CMaPh.306..695J. doi :10.1007/s00220-011-1296-8. S2CID  673737.
  37. ^ Thomas Vidick; Stephanie Wehner (2011). "Más no localidad con menos entrelazamiento". Physical Review A . 83 (5): 052310. arXiv : 1011.5206 . Código Bibliográfico :2011PhRvA..83e2310V. doi :10.1103/PhysRevA.83.052310. S2CID  6589783.
  38. ^ Yeong-Cherng Liang; Tamás Vertesi; Nicolás Brunner (2010). "Límites de entrelazamiento semiindependientes del dispositivo". Revisión física A. 83 (2): 022108. arXiv : 1012.1513 . Código bibliográfico : 2011PhRvA..83b2108L. doi : 10.1103/PhysRevA.83.022108. S2CID  73571969.
  39. ^ Cirel'son, BS (1980). "Generalizaciones cuánticas de la desigualdad de Bell". Cartas en física matemática . 4 (2): 93–100. Bibcode :1980LMaPh...4...93C. doi :10.1007/bf00417500. S2CID  120680226.
  40. ^ ab Tsirel'son, BS (1987). "Análogos cuánticos de las desigualdades de Bell. El caso de dos dominios separados espacialmente". Revista de Matemáticas Soviéticas . 36 (4): 557–570. doi : 10.1007/BF01663472 . S2CID  119363229.
  41. ^ ab Slofstra, William (2017). "El conjunto de correlaciones cuánticas no está cerrado". arXiv : 1703.08618 [quant-ph].
  42. ^ ab "Desigualdades de Bell y álgebras de operadores". Problemas cuánticos abiertos. Archivado desde el original el 2019-12-06 . Consultado el 2019-12-05 .
  43. ^ Ji, Zhengfeng; Natarajan, Anand; Vidick, Thomas; Wright, John; Yuen, Henry (2020). "MIP*=RE". arXiv : 2001.04383 . Código Bibliográfico :2020arXiv200104383J. {{cite journal}}: Requiere citar revista |journal=( ayuda )
  44. ^ Castelvecchi, Davide (2020). «¿Qué tan 'espeluznante' es la física cuántica? La respuesta podría ser incalculable». Nature . 577 (7791): 461–462. Bibcode :2020Natur.577..461C. doi : 10.1038/d41586-020-00120-6 . PMID  31965099.
  45. ^ Kalai, Gil (17 de enero de 2020). "Increíble: Zhengfeng Ji, Anand Natarajan, Thomas Vidick, John Wright y Henry Yuen demostraron que MIP* = RE y, por lo tanto, refutaron la conjetura de incrustación de Connes de 1976 y proporcionaron una respuesta negativa al problema de Tsirelson". Combinatoria y más . Consultado el 6 de marzo de 2020 .
  46. ^ Barak, Boaz (14 de enero de 2020). "MIP*=RE, refutando la conjetura de incrustación de Connes". Windows On Theory . Consultado el 6 de marzo de 2020 .
  47. ^ Aaronson, Scott (16 de enero de 2020). "MIP*=RE". Optimizado para Shtetl . Consultado el 6 de marzo de 2020 .
  48. ^ Regan, Kenneth W. (15 de enero de 2020). "La detención es demostrable cuánticamente en tiempo polifónico". La carta perdida de Gödel y P=NP . Consultado el 6 de marzo de 2020 .
  49. ^ Vidick, Thomas (14 de enero de 2020). "Un proyecto de maestría". MyCQstate . Consultado el 6 de marzo de 2020 .
  50. ^ Hartnett, Kevin (4 de marzo de 2020). "Cascadas de pruebas de la informática históricas a través de la física y las matemáticas". Revista Quanta . Consultado el 9 de marzo de 2020 .
  51. ^ Junge, M; Navascués, M; Palazuelos, C; Pérez-García, D; Scholz, VB; Werner, RF (2011). "El problema de incrustación de Connes y el problema de Tsirelson". J. Matemáticas. Física . 52 (1): 012102. arXiv : 1008.1142 . Código Bib : 2011JMP....52a2102J. doi : 10.1063/1.3514538. S2CID  12321570.
  52. ^ Fritz, Tobias (2012). "El problema de Tsirelson y la conjetura de Kirchberg". Rev. Math. Phys . 24 (5): 1250012. arXiv : 1008.1168 . Código Bibliográfico :2012RvMaP..2450012F. doi :10.1142/S0129055X12500122. S2CID  : 17162262.
  53. ^ Ozawa, Narutaka (2013). "Acerca de la conjetura de incrustación de Connes---Enfoques algebraicos---". Jpn. J. Math . 8 : 147–183. doi :10.1007/s11537-013-1280-5. hdl : 2433/173118 . S2CID  121154563.
  54. ^ Ito, T.; Kobayashi, H.; Matsumoto, K. (2008). "Oracularización y pruebas interactivas de una ronda con dos probadores contra estrategias no locales". arXiv : 0810.0693 [quant-ph].
  55. ^ Sikora, Jamie; Varvitsiotis, Antonios (2017). "Formulaciones cónicas lineales para correlaciones de dos partes y valores de juegos no locales". Programación matemática . 162 (1–2): 431–463. arXiv : 1506.07297 . doi :10.1007/s10107-016-1049-8. S2CID  8234910.
  56. ^ Navascués, Miguel; Pironio, S; Acín, A (2007). "Acotando el conjunto de correlaciones cuánticas". Physical Review Letters . 98 (1): 010401. arXiv : quant-ph/0607119 . Bibcode :2007PhRvL..98a0401N. doi :10.1103/physrevlett.98.010401. PMID  17358458. S2CID  41742170.
  57. ^ Popescu, Sandu; Rohrlich, Daniel (1994). "La no localidad como axioma". Fundamentos de la Física . 24 (3): 379–385. Código bibliográfico : 1994FoPh...24..379P. CiteSeerX 10.1.1.508.4193 . doi :10.1007/BF02058098. S2CID  120333148. 
  58. ^ Rastall, Peter (1985). "Localidad, teorema de Bell y mecánica cuántica". Fundamentos de la física . 15 (9): 963–972. Bibcode :1985FoPh...15..963R. doi :10.1007/bf00739036. S2CID  122298281.
  59. ^ Khalfin, LA; Tsirelson, BS (1985). Lahti; et al. (eds.). Análogos cuánticos y cuasiclásicos de las desigualdades de Bell . Simposio sobre los fundamentos de la física moderna. World Sci. Publ. págs. 441–460.
  60. ^ Brassard, G; Buhrman, H; Linden, N; Methot, AA; Tapp, A; Unger, F (2006). "Límite de la no localidad en cualquier mundo en el que la complejidad de la comunicación no sea trivial". Physical Review Letters . 96 (25): 250401. arXiv : quant-ph/0508042 . Código Bibliográfico :2006PhRvL..96y0401B. doi :10.1103/PhysRevLett.96.250401. PMID  16907289. S2CID  6135971.
  61. ^ Linden, N.; Popescu, S.; Short, AJ; Winter, A. (2007). "No localidad cuántica y más allá: límites de la computación no local". Physical Review Letters . 99 (18): 180502. arXiv : quant-ph/0610097 . Código Bibliográfico :2007PhRvL..99r0502L. doi :10.1103/PhysRevLett.99.180502. PMID  17995388.
  62. ^ Pawlowski, M.; Paterek, T.; Kaszlikowski, D.; Scarani, V.; Winter, A.; Zukowski, M. (octubre de 2009). "La causalidad de la información como principio físico". Nature . 461 (7267): 1101–1104. arXiv : 0905.2292 . Código Bibliográfico :2009Natur.461.1101P. doi :10.1038/nature08400. PMID  19847260. S2CID  4428663.
  63. ^ Navascués, M.; H. Wunderlich (2009). "Una mirada más allá del modelo cuántico". Proc. R. Soc. A . 466 (2115): 881–890. arXiv : 0907.0372 . doi : 10.1098/rspa.2009.0453 .
  64. ^ Fritz, T.; AB Sainz; R. Augusiak; JB Brask; R. Chaves; A. Leverrier; A. Acín (2013). "Ortogonalidad local como principio multipartito para correlaciones cuánticas". Nature Communications . 4 : 2263. arXiv : 1210.3018 . Bibcode :2013NatCo...4.2263F. doi :10.1038/ncomms3263. PMID  23948952. S2CID  14759956.
  65. ^ ab Allcock, Jonathan; Nicolás Brunner; Noé Linden; Sandu Popescu; Paul Skrzypczyk; Tamás Vertesi (2009). "Conjuntos cerrados de correlaciones no locales". Revisión física A. 80 (6): 062107. arXiv : 0908.1496 . Código Bib : 2009PhRvA..80f2107A. doi : 10.1103/PhysRevA.80.062107. S2CID  118677048.
  66. ^ ab Navascués, M.; Y. Guryanova; MJ Hoban; A. Acín (2015). "Correlaciones casi cuánticas". Comunicaciones de la naturaleza . 6 : 6288. arXiv : 1403.4621 . Código Bib : 2015NatCo...6.6288N. doi : 10.1038/ncomms7288. PMID  25697645. S2CID  12810715.
  67. ^ abc Mayers, Dominic; Yao, Andrew C.-C. (1998). Criptografía cuántica con aparatos imperfectos . Simposio IEEE sobre fundamentos de la ciencia informática (FOCS).
  68. ^ Acín, Antonio; Nicolas Gisin; Lluis Masanes (2006). "Del teorema de Bell a la distribución segura de claves cuánticas". Physical Review Letters . 97 (12): 120405. arXiv : quant-ph/0510094 . Bibcode :2006PhRvL..97l0405A. doi :10.1103/PhysRevLett.97.120405. PMID  17025944. S2CID  3315286.
  69. ^ Vazirani, Umesh; Vidick, Thomas (2014). "Distribución de clave cuántica totalmente independiente del dispositivo". Physical Review Letters . 113 (14): 140501. arXiv : 1210.1810 . Código Bibliográfico :2014PhRvL.113n0501V. doi :10.1103/physrevlett.113.140501. PMID  25325625. S2CID  119299119.
  70. ^ Colbeck, Roger (diciembre de 2006). Capítulo 5. Protocolos cuánticos y relativistas para computación multipartita segura (tesis), Universidad de Cambridge . arXiv : 0911.3814 .
  71. ^ Colbeck, Roger; Renner, Renato (2012). "La aleatoriedad libre puede ser amplificada". Nature Physics . 8 (6): 450–453. arXiv : 1105.3195 . Código Bibliográfico :2012NatPh...8..450C. doi :10.1038/nphys2300. S2CID  118309394.
  72. ^ Santha, Miklos; Vazirani, Umesh V. (24 de octubre de 1984). Generación de secuencias cuasialeatorias a partir de fuentes ligeramente aleatorias . Actas del 25.º Simposio IEEE sobre Fundamentos de la Ciencia de la Computación. Universidad de California. págs. 434–440.
  73. ^ Colbeck, R. y Kent, A. (2011). Expansión de aleatoriedad privada con dispositivos no confiables. Journal of Physics A: Mathematical and Theoretical, 44(9), 095305. doi: 10.1088/1751-8113/44/9/095305
  74. ^ Pironio, S, et al. (2010). "Números aleatorios certificados por el teorema de Bell". Nature . 464 (7291): 1021–1024. arXiv : 0911.3427 . Código Bibliográfico :2010Natur.464.1021P. doi :10.1038/nature09008. PMID  20393558. S2CID  4300790.
  75. ^ Tebyanian, H., Zahidy, M., Avesani, M., Stanco, A., Villoresi, P. y Vallone, G. (2021). Generación de aleatoriedad semiindependiente del dispositivo basada en la indistinguibilidad de estados cuánticos. Ciencia y tecnología cuántica, 6(4), 045026. doi: 10.1088/2058-9565/ac2047. URL: https://iopscience.iop.org/article/10.1088/2058-9565/ac2047 }
  76. ^ Brunner, Nicolas; Pironio, Stefano; Acín, Antonio; Gisin, Nicolas; Methot, Andre Allan; Scarani, Valerio (2008). "Prueba de la dimensión del espacio de Hilbert". Physical Review Letters . 100 (21): 210503. arXiv : 0802.0760 . Bibcode :2008arXiv0802.0760B. doi :10.1103/PhysRevLett.100.210503. PMID  18518591. S2CID  119256543.
  77. ^ Prakash, Anupam; Sikora, Jamie; Varvitsiotis, Antonios; Wei Zhaohui (2018). "Rango semidefinido completamente positivo". Programación matemática . 171 (1–2): 397–431. arXiv : 1604.07199 . doi :10.1007/s10107-017-1198-4. S2CID  17885968.
  78. ^ Navascués, Miguel; Vertesi, Tamás (2015). "Limitar el conjunto de correlaciones cuánticas de dimensión finita". Cartas de revisión física . 115 (2): 020501. arXiv : 1412.0924 . Código bibliográfico : 2015PhRvL.115b0501N. doi :10.1103/PhysRevLett.115.020501. PMID  26207454. S2CID  12226163.
  79. ^ Coladangelo, Andrea; Stark, Jalex (2018). "Separación incondicional de correlaciones cuánticas de dimensión finita e infinita". arXiv : 1804.05116 [quant-ph].
  80. ^ Pawlowski, Marcin; Brunner, Nicolas (2011). "Seguridad semi-independiente del dispositivo de la distribución de claves cuánticas unidireccionales". Physical Review A . 84 (1): 010302(R). arXiv : 1103.4105 . Código Bibliográfico :2011PhRvA..84a0302P. doi :10.1103/PhysRevA.84.010302. S2CID  119300029.
  81. ^ Li, Hong-Wei; Yin, Zhen-Qiang; Wu, Yu-Chun; Zou, Xu-Bo; Wang, Shuang; Chen, Wei; Guo, Guang-Can; Han, Zheng-Fu (2011). "Expansión de números aleatorios semi-independiente del dispositivo sin enredos". Revisión física A. 84 (3): 034301. arXiv : 1108.1480 . Código bibliográfico : 2011PhRvA..84c4301L. doi : 10.1103/PhysRevA.84.034301. S2CID  118407749.

Lectura adicional