Muestreo de bosones

Modelo restringido de computación cuántica no universal

El muestreo de bosones es un modelo restringido de computación cuántica no universal introducido por Scott Aaronson y Alex Arkhipov ^[1] después del trabajo original de Lidror Troyansky y Naftali Tishby , que exploró el posible uso de la dispersión de bosones para evaluar los valores esperados de los permanentes de las matrices . ^[2] El modelo consiste en el muestreo de la distribución de probabilidad de bosones idénticos dispersos por un interferómetro lineal . Aunque el problema está bien definido para cualquier partícula bosónica, su versión fotónica se considera actualmente como la plataforma más prometedora para una implementación escalable de un dispositivo de muestreo de bosones, lo que lo convierte en un enfoque no universal para la computación cuántica óptica lineal . Además, aunque no es universal, se cree firmemente que el esquema de muestreo de bosones implementa tareas informáticas que son difíciles de implementar con computadoras clásicas al utilizar muchos menos recursos físicos que una configuración completa de computación cuántica óptica lineal. Esta ventaja lo convierte en un candidato ideal para demostrar el poder de la computación cuántica en el corto plazo.

Descripción

Considérese un circuito óptico lineal multimodo de N modos al que se inyectan M fotones individuales indistinguibles ( N>M ). Entonces, la implementación fotónica de la tarea de muestreo de bosones consiste en generar una muestra a partir de la distribución de probabilidad de mediciones de fotones individuales en la salida del circuito. Específicamente, esto requiere fuentes confiables de fotones individuales (actualmente las más utilizadas son cristales de conversión descendente paramétricos ), así como un interferómetro lineal. Este último puede fabricarse, por ejemplo, con divisores de haz de fibra fundida, ^[3] a través de interferómetros integrados de sílice sobre silicio ^[4] o escritos con láser ^{[5] [6] [7]} , o chips ópticos interconectados eléctrica y ópticamente. ^[8] Finalmente, el esquema también necesita detectores de conteo de fotones individuales de alta eficiencia, como los basados ​​en nanocables superconductores polarizados por corriente , que realizan las mediciones en la salida del circuito. Por lo tanto, en base a estos tres ingredientes, la configuración del muestreo de bosones no requiere ancillas , mediciones adaptativas u operaciones de entrelazamiento, como lo hace, por ejemplo, el esquema óptico universal de Knill, Laflamme y Milburn (el esquema KLM ). Esto lo convierte en un modelo no universal de computación cuántica y reduce la cantidad de recursos físicos necesarios para su realización práctica.

En concreto, supongamos que el interferómetro lineal está descrito por una matriz unitaria N×N que realiza una transformación lineal de los operadores de creación ( aniquilación ) de los modos de entrada del circuito: ${\displaystyle U,}$ ${\displaystyle a_{i}^{\dagger }}$ ${\displaystyle (a_{i}^{})}$

${\displaystyle b_{j}^{\dagger }=\sum _{i=1}^{N}U_{ji}a_{i}^{\dagger }\;\;(b_{j}=\sum _{i=1}^{N}U_{ji}^{*}a_{i}).}$

Aquí i ( j ) etiqueta los modos de entrada (salida), y denota los operadores de creación (aniquilación) de los modos de salida ( i,j =1 ,..., N ). Un interferómetro caracterizado por algún unitario induce naturalmente una evolución unitaria en los estados de -fotones. Además, el mapa es un homomorfismo entre matrices unitarias -dimensionales y unitarias que actúan sobre el espacio de Hilbert exponencialmente grande del sistema: argumentos de conteo simples muestran que el tamaño del espacio de Hilbert correspondiente a un sistema de M fotones indistinguibles distribuidos entre N modos está dado por el coeficiente binomial (note que dado que existe este homomorfismo , no todos los valores de son posibles). ${\displaystyle b_{j}^{\dagger }}$ ${\displaystyle (b_{j}^{})}$ ${\displaystyle U}$ ${\displaystyle \varphi _{M}(U)}$ ${\displaystyle M}$ ${\displaystyle \varphi _{M}}$ ${\displaystyle N}$ ${\displaystyle {\tbinom {M+N-1}{M}}}$ ${\displaystyle W}$

Supongamos que se inyecta en el interferómetro un estado de entrada de fotones individuales con es el número de fotones inyectados en el modo k ). Entonces, el estado en ${\displaystyle |\psi _{\text{in}}\rangle =}$ ${\displaystyle |s_{1},s_{2},...,s_{N}\rangle }$ ${\displaystyle \sum _{k=1}^{N}s_{k}=M}$ ${\displaystyle (s_{k}}$ ${\displaystyle |\psi _{\text{out}}\rangle }$

La salida del circuito se puede escribir como Una forma sencilla de entender el homomorfismo entre y es la siguiente: ${\displaystyle |\psi _{\text{out}}\rangle =\varphi _{M}(U)|s_{1},s_{2},...,s_{N}\rangle .}$ ${\displaystyle U}$ ${\displaystyle \varphi _{M}(U)}$

Definimos el isomorfismo para los estados base: x , y obtenemos el siguiente resultado: x x ${\displaystyle P_{|s_{1},s_{2},...,s_{N}\rangle }(}$ ${\displaystyle )\equiv x_{1}^{s_{1}}{\cdot }x_{2}^{s_{2}}{\cdot \cdot \cdot }x_{N}^{s_{N}}}$ ${\displaystyle P_{{\varphi (U)}|s_{1},s_{2},...,s_{N}\rangle }(}$ ${\displaystyle )=P_{|s_{1},s_{2},...,s_{N}\rangle }(U}$ ${\displaystyle )}$

En consecuencia, la probabilidad de detectar fotones en el modo de salida k se da como ^[9] ${\displaystyle p(t_{1},t_{2},...,t_{N})}$ ${\displaystyle t_{k}}$

${\displaystyle p(t_{1},t_{2},...,t_{N})=|\langle t_{1},t_{2},...,t_{N}|\psi _{\text{out}}\rangle |^{2}={\frac {|{\text{Perm}}\,U_{S,T}|^{2}}{t_{1}!\cdot \cdot \cdot t_{N}!s_{1}!\cdot \cdot \cdot s_{N}!}}.}$

En la expresión anterior se representa la permanente de la matriz que se obtiene a partir de la unitaria repitiendo las veces su i- ésima columna y las veces su j -ésima fila. Por lo general, en el contexto del problema de muestreo de bosones, el estado de entrada se toma de una forma estándar, denotada como para la cual cada uno de los primeros M modos del interferómetro se inyecta con un solo fotón. En este caso, la expresión anterior se lee: ${\displaystyle {\text{Perm}}\,U_{S,T}}$ ${\displaystyle U_{S,T},}$ ${\displaystyle U}$ ${\displaystyle s_{i}}$ ${\displaystyle t_{j}}$ ${\displaystyle |1_{M}\rangle ,}$

${\displaystyle p(t_{1},t_{2},...,t_{N})=|\langle t_{1},t_{2},...,t_{N}|\varphi _{M}(U)|1_{M}\rangle |^{2}={\frac {|{\text{Perm}}\,U_{T}|^{2}}{t_{1}!\cdot \cdot \cdot t_{N}!}},}$

donde la matriz se obtiene manteniendo sus primeras M columnas y repitiendo veces su j- ésima fila. Posteriormente, la tarea del muestreo de bosones es muestrear exactamente o aproximadamente a partir de la distribución de salida anterior, dado el unitario que describe el circuito óptico-lineal como entrada. Como se detalla a continuación, la aparición del permanente en las estadísticas correspondientes de las mediciones de fotón único contribuye a la dificultad del problema del muestreo de bosones. ${\displaystyle U_{T}}$ ${\displaystyle U}$ ${\displaystyle t_{j}}$ ${\displaystyle U}$

Complejidad del problema

La razón principal del creciente interés por el modelo de muestreo de bosones es que, a pesar de no ser universal, se cree firmemente que realiza una tarea computacional que es intratable para una computadora clásica. Una de las principales razones detrás de esto es que la distribución de probabilidad, de la que el dispositivo de muestreo de bosones tiene que tomar muestras, está relacionada con la permanente de matrices complejas . El cálculo de la permanente es, en el caso general, una tarea extremadamente difícil: cae en la clase de complejidad #P-hard . Además, su aproximación al error multiplicativo interno es también un problema #P-hard .

Todas las pruebas actuales de la dificultad de simular el muestreo de bosones en una computadora clásica se basan en las fuertes consecuencias computacionales que tendría su simulación eficiente mediante un algoritmo clásico. Es decir, estas pruebas muestran que una simulación clásica eficiente implicaría el colapso de la jerarquía polinómica a su tercer nivel, una posibilidad que la comunidad informática considera muy improbable ^{[ cita requerida ]} debido a sus fuertes implicaciones computacionales (en línea con las fuertes implicaciones del problema P=NP ).

Muestreo exacto

La prueba de dureza del problema del muestreo exacto de bosones se puede lograr siguiendo dos caminos distintos. En concreto, el primero utiliza las herramientas de la teoría de la complejidad computacional y combina los dos hechos siguientes:

1. Aproximar la probabilidad de un resultado de medición específico en la salida de un interferómetro lineal dentro de una constante multiplicativa es un problema #P-hard (debido a la complejidad de la permanente). ${\displaystyle p(t_{1},t_{2},...,t_{N})}$
2. Si existiera un algoritmo clásico de tiempo polinomial para el muestreo exacto de bosones, entonces la probabilidad anterior podría haberse aproximado dentro de una constante multiplicativa en la clase de complejidad ^NP BPP , ^[10] es decir, dentro del tercer nivel de la jerarquía polinomial. ${\displaystyle p(t_{1},t_{2},...,t_{N})}$

La combinación de estos dos hechos con el teorema de Toda da como resultado el colapso de la jerarquía polinómica, lo que, como se mencionó anteriormente, es muy poco probable que ocurra. Esto lleva a la conclusión de que no existe un algoritmo polinómico clásico para el problema exacto del muestreo de bosones.

Por otra parte, la prueba alternativa se inspira en un resultado similar para otro modelo restringido de computación cuántica: el modelo de computación cuántica instantánea. ^[11] Es decir, la prueba utiliza el esquema KLM, que dice que la óptica lineal con mediciones adaptativas es universal para la clase BQP . También se basa en los siguientes hechos:

1. La óptica lineal con medidas post-seleccionadas es universal para PostBQP , es decir, la clase de tiempo polinomial cuántico con post-selección (un corolario directo de la construcción KLM)
2. La clase PostBQP es equivalente a PP (es decir, la clase de tiempo polinomial probabilístico): PostBQP = PP ^[12]
3. La existencia de un algoritmo clásico de muestreo de bosones implica la simulabilidad de la óptica lineal postseleccionada en la clase PostBPP (es decir, tiempo polinomial clásico con postselección, conocido también como la clase BPP _path ).

Nuevamente, la combinación de estos tres resultados, como en el caso anterior, da como resultado el colapso de la jerarquía polinómica, lo que hace que la existencia de un algoritmo clásico de tiempo polinómico para el problema exacto del muestreo de bosones sea altamente improbable.

El mejor algoritmo clásico propuesto para el muestreo exacto de bosones se ejecuta a tiempo para un sistema con n fotones y m modos de salida. ^[13] Este algoritmo conduce a una estimación de 50 fotones necesarios para demostrar la supremacía cuántica con el muestreo de bosones. También hay una implementación de código abierto en R. ${\displaystyle O(n2^{n}+mn^{2})}$

Muestreo aproximado

Las pruebas de dureza anteriores no son aplicables a la implementación realista de un dispositivo de muestreo de bosones, debido a la imperfección de cualquier configuración experimental (incluida la presencia de ruido, decoherencia, pérdidas de fotones, etc.). Por lo tanto, para las necesidades prácticas se necesita la prueba de dureza para la tarea aproximada correspondiente. Esta última consiste en tomar muestras de una distribución de probabilidad cercana a la dada por , en términos de la distancia de variación total . La comprensión de la complejidad de este problema se basa entonces en varios supuestos adicionales, así como en dos conjeturas aún no probadas. ${\displaystyle \varepsilon }$ ${\displaystyle p(t_{1},t_{2},...,t_{N})}$

Específicamente, las pruebas del problema exacto de muestreo de bosones no se pueden aplicar directamente aquí, ya que se basan en la #P-dureza de estimar la probabilidad exponencialmente pequeña de un resultado de medición específico. Por lo tanto, si un muestreador " supiera " lo que queríamos estimar, entonces podría elegir adversamente corromperlo (siempre que la tarea sea aproximada). Es por eso que la idea es " ocultar " la probabilidad anterior en una matriz unitaria aleatoria N×N . Esto se puede hacer sabiendo que cualquier submatriz M×M de una unitaria , elegida aleatoriamente de acuerdo con la medida de Haar , está cerca en distancia de variación a una matriz de variables gaussianas aleatorias complejas iid , siempre que M ≤ N ^1/6 (las matrices aleatorias de Haar se pueden implementar directamente en circuitos ópticos al mapear funciones de densidad de probabilidad independientes para sus parámetros, a componentes de circuitos ópticos, es decir, divisores de haz y desfasadores ^[14] ). Por lo tanto, si el circuito óptico lineal implementa una matriz unitaria aleatoria de Haar, el muestreador adversario no podrá detectar cuál de las muchas probabilidades exponenciales nos interesan y, por lo tanto, no podrá evitar su estimación. En este caso, es proporcional al valor absoluto al cuadrado de la permanente de la matriz M×M de gaussianas iid, contrabandeada dentro de Estos argumentos nos llevan a la primera conjetura de la prueba de dureza del problema de muestreo aproximado de bosones: la conjetura de la permanente de las gaussianas: ${\displaystyle p(t_{1},t_{2},...,t_{N})}$ ${\displaystyle p(t_{1},t_{2},...,t_{N})}$ ${\displaystyle p(t_{1},t_{2},...,t_{N})}$ ${\displaystyle U}$ ${\displaystyle p(t_{1},t_{2},...,t_{N})}$ ${\displaystyle p(t_{1},t_{2},...,t_{N})}$ ${\displaystyle X\sim {\mathcal {N}}(0,1)_{\mathcal {C}}^{M\times M}}$ ${\displaystyle U.}$

• Aproximar la permanente de una matriz de gaussianas iid dentro del error multiplicativo es una tarea #P-difícil. ${\displaystyle X\sim {\mathcal {N}}(0,1)_{\mathcal {C}}^{M\times M}}$

Además, la conjetura anterior puede vincularse con la estimación de a qué es proporcional la probabilidad dada de un resultado de medición específico. Sin embargo, para establecer este vínculo hay que basarse en otra conjetura: la conjetura de anticoncentración permanente: ${\displaystyle |{\text{Perm}}\,X|^{2},}$

• Existe un polinomio Q tal que para cualquier M y δ > 0 la probabilidad sobre matrices M×M de que se cumpla la siguiente desigualdad es menor que δ : ${\displaystyle X\sim {\mathcal {N}}(0,1)_{\mathcal {C}}^{M\times M}}$ ${\displaystyle |\,{\text{Perm}}\,X|<{\frac {\sqrt {M!}}{Q(M,1/\delta )}}.}$

Al hacer uso de las dos conjeturas anteriores (que tienen varias evidencias de ser ciertas), la prueba final finalmente establece que la existencia de un algoritmo clásico de tiempo polinomial para la tarea de muestreo aproximado de bosones implica el colapso de la jerarquía polinomial. También vale la pena mencionar otro hecho importante para la prueba de esta afirmación, a saber, la llamada paradoja del cumpleaños bosónico (en analogía con la conocida paradoja del cumpleaños ). Esta última establece que si M bosones idénticos están dispersos entre N ≫ M ² modos de un interferómetro lineal sin dos bosones en el mismo modo, entonces con alta probabilidad tampoco se encontrarán dos bosones en el mismo modo de salida. ^[15] Esta propiedad se ha observado experimentalmente ^[16] con dos y tres fotones en interferómetros integrados de hasta 16 modos. Por un lado, esta característica facilita la implementación de un dispositivo de muestreo de bosones restringido. Es decir, si la probabilidad de tener más de un fotón a la salida de un circuito óptico lineal es insignificante, ya no se requieren detectores de resolución de número de fotones: los detectores de encendido y apagado serán suficientes para la realización de la configuración.

Aunque la probabilidad de un resultado de medición específico en la salida del interferómetro está relacionada con la permanente de las submatrices de una matriz unitaria, una máquina de muestreo de bosones no permite su estimación. La razón principal es que la probabilidad de detección correspondiente suele ser exponencialmente pequeña. Por lo tanto, para recopilar suficientes estadísticas para aproximar su valor, uno tiene que ejecutar el experimento cuántico durante un tiempo exponencialmente largo. Por lo tanto, la estimación obtenida de un muestreador de bosones no es más eficiente que ejecutar el algoritmo clásico de tiempo polinomial de Gurvits para aproximar la permanente de cualquier matriz dentro del error aditivo. ^[17] ${\displaystyle p(t_{1},t_{2},...,t_{N})}$

Variantes

Muestreo de bosones dispersos

Como ya se mencionó anteriormente, para la implementación de una máquina de muestreo de bosones se necesita una fuente confiable de muchos fotones indistinguibles, y este requisito actualmente sigue siendo una de las principales dificultades para ampliar la complejidad del dispositivo. Es decir, a pesar de los recientes avances en las técnicas de generación de fotones utilizando átomos, moléculas, puntos cuánticos y centros de color en diamantes , el método más utilizado sigue siendo el mecanismo de conversión descendente paramétrica ( PDC ). Las principales ventajas de las fuentes PDC son la alta indistinguibilidad de fotones, la eficiencia de recolección y las configuraciones experimentales relativamente simples. Sin embargo, una de las desventajas de este enfoque es su naturaleza no determinista (anunciada). Específicamente, supongamos que la probabilidad de generar un solo fotón por medio de un cristal PDC es ε . Entonces, la probabilidad de generar simultáneamente M fotones individuales es ε ^M , que disminuye exponencialmente con M . En otras palabras, para generar el estado de entrada de la máquina de muestreo de bosones, habría que esperar un tiempo exponencialmente largo, lo que eliminaría la ventaja de la configuración cuántica sobre una máquina clásica. Posteriormente, esta característica restringió el uso de fuentes PDC a demostraciones de prueba de principio de un dispositivo de muestreo de bosones.

Sin embargo, recientemente se ha propuesto un nuevo esquema para hacer el mejor uso de las fuentes de PDC para las necesidades de muestreo de bosones, mejorando en gran medida la tasa de eventos de M fotones. Este enfoque se ha denominado muestreo de bosones dispersos , ^{[18] [19]} que consiste en conectar N ( N > M ) fuentes de fotón único anunciadas a diferentes puertos de entrada del interferómetro lineal. Luego, al bombear todos los N cristales de PDC con pulsos láser simultáneos, la probabilidad de generar M fotones se dará como Por lo tanto, para N ≫ M , esto da como resultado una mejora exponencial en la tasa de generación de fotón único con respecto al muestreo de bosones de entrada fija habitual con M fuentes. Esta configuración también puede verse como un problema de muestreo de N estados de vacío comprimidos de dos modos generados a partir de N fuentes de PDC. ${\displaystyle {\tbinom {N}{M}}\varepsilon ^{M}.}$

El muestreo de bosones dispersos todavía es intratable para una computadora clásica: en la configuración convencional fijamos las columnas que definían nuestra submatriz M × M y solo variamos las filas, mientras que ahora también variamos las columnas, dependiendo de qué M de N cristales de PDC generaron fotones individuales. Por lo tanto, la prueba puede construirse aquí de manera similar a la original. Además, el muestreo de bosones dispersos también se ha implementado recientemente con seis fuentes de pares de fotones acopladas a circuitos fotónicos integrados de nueve y trece modos, lo que constituye un salto importante hacia una demostración experimental convincente de la supremacía computacional cuántica. ^[20] El modelo de muestreo de bosones dispersos se puede generalizar aún más al caso en el que ambos brazos de las fuentes de PDC están sujetos a transformaciones ópticas lineales (en el caso original de scattershot, uno de los brazos se usa para anunciar, es decir, pasa por el canal de identidad). Este modelo de muestreo de bosones de dispersión doble también es computacionalmente difícil, como se demuestra al hacer uso de la simetría de la mecánica cuántica bajo inversión temporal . ^[21]

Muestreo de bosones gaussianos

Otra implementación fotónica del muestreo de bosones se refiere a los estados de entrada gaussianos, es decir, estados cuya función de distribución de Wigner de cuasiprobabilidad es gaussiana. La dificultad de la tarea de muestreo correspondiente se puede vincular a la del muestreo de bosones dispersos. ^[22] Es decir, este último se puede integrar en la configuración de muestreo de bosones convencional con entradas gaussianas. Para esto, uno tiene que generar estados gaussianos entrelazados de dos modos y aplicar una unitaria aleatoria de Haar a sus "mitades derechas", sin hacer nada con las otras. Luego podemos medir las "mitades izquierdas" para averiguar cuál de los estados de entrada contenía un fotón antes de aplicarlo. Esto es precisamente equivalente al muestreo de bosones dispersos, excepto por el hecho de que nuestra medición de los fotones heraldo se ha diferido hasta el final del experimento, en lugar de ocurrir al principio. Por lo tanto, se puede argumentar que el muestreo de bosones gaussiano aproximado es difícil bajo exactamente el mismo supuesto de complejidad que puede aproximar el muestreo de bosones ordinario o disperso. ^[19] También se pueden emplear recursos gaussianos en la etapa de medición. Es decir, se puede definir un modelo de muestreo de bosones, donde una evolución óptica lineal de los estados de fotón único de entrada se concluye mediante mediciones gaussianas (más específicamente, mediante la detección homodina de ocho puertos que proyecta cada modo de salida sobre un estado coherente comprimido ). Este modelo se ocupa del resultado de la medición de variable continua, lo que, en determinadas condiciones, es una tarea computacionalmente difícil. ^[21] Finalmente, también está disponible una plataforma de óptica lineal para implementar un experimento de muestreo de bosones donde los fotones individuales de entrada experimentan una transformación gaussiana activa (no lineal). Esta configuración hace uso de un conjunto de estados de vacío comprimidos de dos modos como recurso previo, sin necesidad de fuentes de fotón único o medio de amplificación no lineal en línea. ^[23] Esta variante utiliza el hafniano , una generalización del permanente. ^[22] ${\displaystyle U}$ ${\displaystyle U.}$

Tareas de muestreo de bosones simulables de forma clásica

Los resultados anteriores indican que la existencia de un algoritmo clásico de tiempo polinomial para el esquema original de muestreo de bosones con fotones individuales indistinguibles (en los casos exacto y aproximado), para scattershot, así como para los problemas generales de muestreo de bosones gaussianos es altamente improbable. Sin embargo, hay algunas realizaciones no triviales del problema de muestreo de bosones que permiten su simulación clásica eficiente. Un ejemplo de ello es cuando el circuito óptico se inyecta con fotones individuales distinguibles. En este caso, en lugar de sumar las amplitudes de probabilidad correspondientes a las trayectorias fotónicas de muchas partículas, uno tiene que sumar las probabilidades correspondientes (es decir, los valores absolutos al cuadrado de las amplitudes). En consecuencia, la probabilidad de detección será proporcional a la permanente de submatrices del valor absoluto al cuadrado (componente por componente) de la unitaria. Esta última es ahora una matriz no negativa. Por lo tanto, aunque el cálculo exacto del permanente correspondiente es un problema #P-completo , su aproximación se puede realizar de manera eficiente en una computadora clásica, debido al algoritmo seminal de Jerrum, Sinclaire y Vigoda. ^[24] En otras palabras, el muestreo aproximado de bosones con fotones distinguibles es eficientemente simulable de manera clásica. ${\displaystyle p(t_{1},t_{2},...,t_{N})}$ ${\displaystyle U.}$

Otro ejemplo de configuraciones de muestreo de bosones simulables clásicamente consiste en el muestreo de la distribución de probabilidad de estados coherentes inyectados en el interferómetro lineal. La razón es que a la salida de un circuito óptico lineal los estados coherentes permanecen como tales y no crean ningún entrelazamiento cuántico entre los modos. Más precisamente, solo se transforman sus amplitudes, y la transformación se puede calcular de manera eficiente en una computadora clásica (el cálculo comprende la multiplicación de matrices ). Este hecho se puede utilizar para realizar tareas de muestreo correspondientes a partir de otro conjunto de estados: los llamados estados clásicos, cuya función P de Glauber-Sudarshan es una distribución de probabilidad bien definida. Estos estados se pueden representar como una mezcla de estados coherentes debido al teorema de equivalencia óptica . Por lo tanto, al elegir estados coherentes aleatorios distribuidos de acuerdo con la función P correspondiente , se puede realizar una simulación clásica eficiente del muestreo de bosones a partir de este conjunto de estados clásicos. ^{[25] [26]}

Implementaciones experimentales

Los requisitos anteriores para la máquina de muestreo de bosones fotónicos permiten su construcción a pequeña escala mediante tecnologías existentes. En consecuencia, poco después de la introducción del modelo teórico, cuatro grupos diferentes ^{[3] [4] [6] [7]} informaron simultáneamente sobre su realización.

En concreto, esto incluyó la implementación del muestreo de bosones con:

• Dos y tres fotones dispersados ​​por una transformación unitaria lineal de seis modos (representada por dos polarizaciones ortogonales en modos espaciales 3×3 de un divisor de haz de fibra fusionada) mediante una colaboración entre la Universidad de Queensland y el MIT ^[3]
• Tres fotones en diferentes modos de un circuito de guía de ondas de silicio sobre silicio de seis modos, gracias a una colaboración entre las Universidades de Oxford, Shanghái, Londres y Southampton ^[4]
• Tres fotones en un interferómetro de cinco modos escrito con láser de femtosegundos, gracias a una colaboración entre las universidades de Viena y Jena ^[6]
• tres fotones en un interferómetro de cinco modos escrito con láser de femtosegundos que implementa una transformación unitaria aleatoria de Haar, mediante una colaboración entre el Instituto de Fotónica y Nanotecnología de Milán, la Universidade Federal Fluminense y la Universidad La Sapienza de Roma. ^[7]

Posteriormente, se han realizado experimentos de muestreo de bosones más complejos, aumentando el número de modos espaciales de los interferómetros aleatorios hasta 13 ^[27] y 9 ^[28] modos, y logrando un circuito integrado totalmente reconfigurable de 6 modos. ^[8] Estos experimentos en conjunto constituyen las demostraciones de prueba de principio de un dispositivo de muestreo de bosones operativo y la ruta hacia sus implementaciones a mayor escala.

Implementación del muestreo de bosones dispersos

Recientemente se ha implementado un primer experimento de muestreo de bosones dispersos ^[20] utilizando seis fuentes de pares de fotones acopladas a circuitos fotónicos integrados con 13 modos. Las 6 fuentes de pares de fotones se obtuvieron mediante procesos PDC de tipo II en 3 cristales no lineales diferentes (explotando el grado de libertad de polarización). Esto permitió muestrear simultáneamente entre 8 estados de entrada diferentes. El interferómetro de 13 modos se realizó mediante la técnica de escritura láser de femtosegundos sobre vidrio de aluminoborosilicato.

Esta implementación experimental representa un salto hacia una demostración experimental de la supremacía computacional cuántica. ^[20]

Propuestas con plataforma fotónica alternativa

Existen otras propuestas para la implementación del muestreo fotónico de bosones. Entre ellas se incluye, por ejemplo, el esquema para el muestreo de bosones arbitrariamente escalable utilizando dos bucles de fibra anidados. En este caso, la arquitectura emplea codificación por intervalos de tiempo, por medio de la cual los fotones incidentes forman un tren de pulsos que ingresan a los bucles. Mientras tanto, las relaciones de acoplamiento de bucles controladas dinámicamente permiten la construcción de interferómetros lineales arbitrarios. Además, la arquitectura emplea solo un único punto de interferencia y, por lo tanto, puede ser más fácil de estabilizar que otras implementaciones. ^[29]

Otro enfoque se basa en la realización de transformaciones unitarias en modos temporales basados ​​en la dispersión y la conformación de pulsos. Es decir, pasar fotones anunciados consecutivamente a través de una dispersión independiente del tiempo y medir el tiempo de salida de los fotones es equivalente a un experimento de muestreo de bosones. Con la dispersión dependiente del tiempo, también es posible implementar unidades arbitrarias de una sola partícula. Este esquema requiere una cantidad mucho menor de fuentes y detectores y no necesita un gran sistema de divisores de haz. ^[30]

Proceso de dar un título

La salida de una computadora cuántica universal que ejecute, por ejemplo, el algoritmo de factorización de Shor , se puede verificar de manera eficiente de manera clásica, como es el caso de todos los problemas en la clase de complejidad de tiempo polinomial (NP) no determinista . Sin embargo, no está claro que exista una estructura similar para el esquema de muestreo de bosones. Es decir, como este último está relacionado con el problema de estimar permanentes de matriz (que caen en la clase de complejidad #P-hard ), no se entiende cómo verificar el funcionamiento correcto para versiones grandes de la configuración. Específicamente, la verificación ingenua de la salida de un muestreador de bosones mediante el cálculo de las probabilidades de medición correspondientes representa un problema intratable para una computadora clásica.

Una primera pregunta relevante es si es posible o no distinguir entre distribuciones de muestreo de bosones y uniformes mediante la realización de un número polinomial de mediciones. El argumento inicial introducido en la referencia ^[31] afirmaba que mientras se utilicen configuraciones de medición simétricas lo anterior es imposible (en términos generales, un esquema de medición simétrico no permite etiquetar los modos de salida del circuito óptico). Sin embargo, dentro de las tecnologías actuales, la suposición de una configuración simétrica no está justificada (el seguimiento de las estadísticas de medición es completamente accesible) y, por lo tanto, el argumento anterior no se aplica. Es posible entonces definir una prueba rigurosa y eficiente para discriminar las estadísticas de muestreo de bosones de una distribución de probabilidad imparcial. ^[32] El discriminador correspondiente está correlacionado con la permanente de la submatriz asociada con un patrón de medición dado, pero se puede calcular de manera eficiente. Esta prueba se ha aplicado experimentalmente para distinguir entre un muestreo de bosones y una distribución uniforme en el régimen de 3 fotones con circuitos integrados de 5, 7, 9 ^[28] y 13 modos. ^[27]

La prueba anterior no distingue entre distribuciones más complejas, como la cuántica y la clásica, o entre estadísticas fermiónicas y bosónicas. Un escenario con motivaciones físicas que debe abordarse es la introducción no deseada de la capacidad de distinguir entre fotones, que destruye la interferencia cuántica (este régimen es fácilmente accesible experimentalmente, por ejemplo, introduciendo un retraso temporal entre fotones). Existe entonces la oportunidad de sintonizar entre datos idealmente indistinguibles (cuánticos) y perfectamente distinguibles (clásicos) y medir el cambio en una métrica construida adecuadamente. Este escenario puede abordarse mediante una prueba estadística que realiza una comparación de probabilidad uno a uno de las probabilidades de salida. Esta prueba requiere el cálculo de una pequeña cantidad de permanentes, pero no necesita el cálculo de la distribución de probabilidad esperada completa. La implementación experimental de la prueba se ha informado con éxito en circuitos integrados escritos con láser tanto para el muestreo de bosones estándar ^[27] (3 fotones en interferómetros de 7, 9 y 13 modos) como para la versión scattershot ^[20] (3 fotones en interferómetros de 9 y 13 modos con diferentes estados de entrada). Otra posibilidad se basa en la propiedad de agrupamiento de los fotones indistinguibles. Se puede analizar la probabilidad de encontrar resultados de medición de coincidencia k -fold (sin ningún modo de entrada poblado de forma múltiple), que es significativamente mayor para partículas distinguibles que para bosones debido a la tendencia de agrupamiento de estos últimos. ^[28] Finalmente, dejando el espacio de matrices aleatorias, uno puede centrarse en configuraciones multimodo específicas con ciertas características. En particular, se ha demostrado que el análisis del efecto de la nubosidad bosónica (la tendencia de los bosones a favorecer eventos con todas las partículas en la misma mitad de la matriz de salida de una caminata cuántica de muchas partículas en el tiempo continuo) discrimina el comportamiento de partículas distinguibles e indistinguibles en esta plataforma específica. ^[28]

Un enfoque diferente para confirmar que la máquina de muestreo de bosones se comporta como predice la teoría es hacer uso de circuitos ópticos completamente reconfigurables. Con la interferencia de fotones individuales y multifotones a gran escala verificada con correlaciones multimodo predecibles en un circuito completamente caracterizado, una suposición razonable es que el sistema mantiene una operación correcta a medida que el circuito se reconfigura continuamente para implementar una operación unitaria aleatoria. Para este fin, se pueden explotar las leyes de supresión cuántica (la probabilidad de combinaciones específicas de entrada-salida se suprime cuando el interferómetro lineal se describe mediante una matriz de Fourier u otras matrices con simetrías relevantes). ^[33] Estas leyes de supresión se pueden predecir clásicamente de manera eficiente. Este enfoque también permite excluir otros modelos físicos, como los estados de campo medio, que imitan algunas propiedades colectivas de múltiples partículas (incluida la opacidad bosónica). Se ha informado sobre la implementación de un circuito de matriz de Fourier en un dispositivo de 6 modos totalmente reconfigurable ^[8] y se han mostrado observaciones experimentales de la ley de supresión para 2 fotones en matrices de Fourier de 4 y 8 modos. ^[34]

Implementaciones y aplicaciones alternativas

Aparte de la realización fotónica de la tarea de muestreo de bosones, se han propuesto otras configuraciones. Esto incluye, por ejemplo, la codificación de bosones en los modos de fonón transversales locales de iones atrapados . El esquema permite la preparación determinista y la lectura de alta eficiencia de los estados de Fock de fonón correspondientes y la manipulación universal de los modos de fonón a través de una combinación de interacción de Coulomb inherente y cambios de fase individuales . ^[35] Este esquema es escalable y se basa en los avances recientes en técnicas de atrapamiento de iones (varias docenas de iones pueden atraparse con éxito, por ejemplo, en trampas de Paul lineales haciendo uso de potenciales axiales anarmónicos).

Otra plataforma para implementar la configuración de muestreo de bosones es un sistema de espines interactuantes: observaciones recientes muestran que el muestreo de bosones con M partículas en N modos es equivalente a la evolución de corto tiempo con M excitaciones en el modelo XY de 2 N espines. ^{[36] Aquí se necesitan varios supuestos adicionales, incluyendo la probabilidad de agrupamiento de bosones pequeños y la postselección de errores eficiente. Este esquema escalable, sin embargo, es bastante prometedor, a la luz del considerable desarrollo en la construcción y manipulación de} qubits superconductores acoplados y específicamente la máquina D-Wave .

La tarea de muestreo de bosones comparte similitudes peculiares con el problema de determinar espectros vibrónicos moleculares : una modificación factible del esquema de muestreo de bosones da como resultado una configuración que puede usarse para la reconstrucción de los perfiles de Franck-Condon de una molécula (para la cual actualmente no se conoce ningún algoritmo clásico eficiente). Específicamente, la tarea ahora es ingresar estados coherentes comprimidos específicos en un interferómetro lineal que está determinado por las propiedades de la molécula de interés. ^[37] Por lo tanto, esta observación destacada hace que el interés por la implementación de la tarea de muestreo de bosones se extienda mucho más allá de la base fundamental.

También se ha sugerido utilizar un dispositivo de muestreo de bosones con una red de resonadores superconductores como interferómetro. Se supone que esta aplicación es práctica, ya que pequeños cambios en los acoplamientos entre los resonadores cambiarán los resultados del muestreo. De este modo, se logra la detección de variaciones en los parámetros capaces de alterar los acoplamientos al comparar los resultados del muestreo con una referencia inalterada. ^[38]

Se han utilizado variantes del modelo de muestreo de bosones para construir algoritmos computacionales clásicos , destinados, por ejemplo, a la estimación de ciertas matrices permanentes (por ejemplo, las permanentes de matrices semidefinidas positivas relacionadas con el problema abierto correspondiente en informática ^[39] ) mediante la combinación de herramientas propias de la óptica cuántica y la complejidad computacional . ^[40]

El muestreo de bosones de grano grueso se ha propuesto como un recurso para problemas de decisión y función que son computacionalmente difíciles y, por lo tanto, pueden tener aplicaciones criptográficas. ^{[41] [42] [43]} El primer experimento de prueba de principio relacionado se realizó con una máquina fotónica de muestreo de bosones (fabricada mediante una técnica de escritura láser directa de femtosegundos), ^[44] y confirmó muchas de las predicciones teóricas.

El muestreo de bosones gaussianos también se ha analizado como un componente de búsqueda para calcular la propensión a la unión entre moléculas de interés farmacológico. ^[45]

Véase también

• Circuitos aleatorios cuánticos
• Evaluación comparativa de entropía cruzada
• Computación cuántica óptica lineal
• Protocolo KLM

Referencias

1. Aaronson, Scott; Arkhipov, Alex (2013). "La complejidad computacional de la óptica lineal". Theory of Computing . 9 : 143–252. doi : 10.4086/toc.2013.v009a004 .
2. Troyansky, Lidror; Tishby, Naftali (1996). “Incertidumbre permanente: sobre la evaluación cuántica del determinante y el permanente de una matriz”. Actas de PhysComp, 1996: 314-318.
3. Broome, Matthew; Fedrizzi, Alessandro; Rahimi-Keshari, Saleh; Dove, Justin; Aaronson, Scott; Ralph, Timothy; White, Andrew (2013). "Muestreo de bosones fotónicos en un circuito sintonizable". Science . 339 (6121): 794–798. arXiv : 1212.2234 . Bibcode :2013Sci...339..794B. doi :10.1126/science.1231440. PMID  23258411. S2CID  22912771.
4. Spring, Justin; Metcalf, Benjamin; Humphreys, Peter; Kolthammer, Steven; Jin, Xian-Min; Barbieri, Marco; Datta, Animesh; Thomas-Peter, Nicholas; Langford, Nathan; Kundys, Dmytro; Gates, James; Smith, Brian; Smith, Peter; Walmsley, Ian (2013). "Muestreo de bosones en un chip fotónico". Science . 339 (6121): 798–801. arXiv : 1212.2622 . Bibcode :2013Sci...339..798S. doi :10.1126/science.1231692. PMID  23258407. S2CID  11687876.
5. Szameit, Alexander; Dreisow, Felix; Pertsch, Thomas; Nolte, Stefan; Tünnermann, Andreas (2007). "Control del acoplamiento evanescente direccional en guías de onda escritas con láser fs". Optics Express . 15 (4): 1579–1587. Bibcode :2007OExpr..15.1579S. doi : 10.1364/OE.15.001579 . PMID  19532390.
6. Tillmann, Max; Dakic, Borivoje; Heilmann, Rene; Nolte, Stefan; Szameit, Alexander; Walther, Philip (2013). "Muestreo experimental de bosones". Nature Photonics . 7 (7): 540–544. arXiv : 1212.2240 . Código Bibliográfico :2013NaPho...7..540T. doi :10.1038/nphoton.2013.102. S2CID  119241050.
7. Crespi, Andrea; Osellame, Roberto; Ramponi, Roberta; Brod, Daniel; Galvão, Ernesto; Spagnolo, Nicolò; Vitelli, Chiara; Maiorino, Enrico; Mataloni, Paolo; Sciarrino, Fabio (2013). "Interferómetros multimodo integrados con diseños arbitrarios para muestreo de bosones fotónicos". Fotónica de la naturaleza . 7 (7): 545–549. arXiv : 1212.2783 . Código bibliográfico : 2013NaPho...7..545C. doi :10.1038/nphoton.2013.112. S2CID  121093296.
8. Carolan, Jacques; Harrold, Christopher; Sparrow, Chris; et al. (2015). "Óptica lineal universal". Science . 349 (6249): 711–716. arXiv : 1505.01182 . doi :10.1126/science.aab3642. PMID  26160375. S2CID  19067232.
9. Scheel, Stefan (2008). "Permanentes en redes ópticas lineales". Acta Physica Slovaca . 58 (5): 675. arXiv : quant-ph/0406127 . Código Bibliográfico :2004quant.ph..6127S. doi :10.2478/v10155-010-0092-x. S2CID  121606171.
10. "Jerarquía de tiempo polinomial". Complexity Zoo . Archivado desde el original el 14 de febrero de 2014.
11. Bremner, Michael; Jozsa, Richard; Shepherd, Dan (2011). "La simulación clásica de cálculos cuánticos conmutativos implica el colapso de la jerarquía polinómica". Proc. R. Soc. A . 467 (2126): 459–472. arXiv : 1005.1407 . Código Bibliográfico :2011RSPSA.467..459B. doi :10.1098/rspa.2010.0301. S2CID  12301677.
12. Aaronson, Scott (2005). "Computación cuántica, poselección y tiempo polinomial probabilístico". Proc. R. Soc. A . 461 (2063): 3473–3482. arXiv : quant-ph/0412187 . Código Bibliográfico :2005RSPSA.461.3473A. doi :10.1098/rspa.2005.1546. S2CID  1770389.
13. Clifford, Peter; Clifford, Raphaël (5 de junio de 2017). "La complejidad clásica del muestreo de bosones". arXiv : 1706.01260 [cs.DS].
14. Russell, Nicholas; Chakhmakhchyan, Levon; O'Brien, Jeremy; Laing, Anthony (2017). "Marcación directa de matrices unitarias aleatorias de Haar". New J. Phys . 19 (3): 033007. arXiv : 1506.06220 . Código Bibliográfico :2017NJPh...19c3007R. doi :10.1088/1367-2630/aa60ed. S2CID  46915633.
15. Arkhipov, Alex; Kuperberg, Greg (2012). "La paradoja del cumpleaños bosónico". Monografías de geometría y topología . Actas del Freedman Fest. 18 : 1–7. arXiv : 1106.0849 . doi :10.2140/gtm.2012.18.1. S2CID  41510747.
16. Spagnolo, Nicolò; Vitelli, Chiara; Sanson, Linda; et al. (2013). "Reglas generales para el agrupamiento bosónico en interferómetros multimodo". Phys. Rev. Lett . 111 (13): 130503. arXiv : 1305.3188 . Código Bibliográfico :2013PhRvL.111m0503S. doi :10.1103/PhysRevLett.111.130503. PMID  24116759. S2CID  26984278.
17. Gurvits, Leonid (2005). "Sobre la complejidad de los discriminantes mixtos y problemas relacionados". Fundamentos matemáticos de la informática : 447–458.
18. Lund, Austin; Laing, Anthony; Rahimi-Keshari, Saleh; et al. (2014). "Muestreo de bosones a partir de un estado gaussiano". Phys. Rev. Lett . 113 (10): 100502. arXiv : 1305.4346 . Bibcode :2014PhRvL.113j0502L. doi :10.1103/PhysRevLett.113.100502. PMID  25238340. S2CID  27742471.
19. Aaronson, Scott (8 de noviembre de 2013). "Scattershot BosonSampling: un nuevo enfoque para experimentos escalables de BosonSampling". Optimizado para Shtetl .
20. Bentivegna, Marco; Spagnolo, Nicolo; Vitelli, Chiara; Flamini, Fulvio; Viggianiello, Niko; Latmiral, Ludovico; Mataloni, Paolo; Brod, Daniel; Galvão, Ernesto; Crespi, Andrea; Ramponi, Roberta; Osellame, Roberto; Sciarrino, Fabio (2015). "Muestreo experimental de bosones dispersos". Avances científicos . 1 (3): e1400255. arXiv : 1505.03708 . Código Bib : 2015SciA....1E0255B. doi :10.1126/sciadv.1400255. PMC 4640628 . PMID  26601164. 
21. Chakhmakhchyan, Levon; Cerf, Nicolas (2017). "Muestreo de bosones con mediciones gaussianas". Phys. Rev. A . 96 (3): 032326. arXiv : 1705.05299 . Código Bibliográfico :2017PhRvA..96c2326C. doi :10.1103/PhysRevA.96.032326. S2CID  119431211.
22. Hamilton, Craig S.; Kruse, Regina; Sansoni, Linda; Barkhofen, Sonja; Silberhorn, Christine; Jex, Igor (23 de octubre de 2017). "Muestreo de bosones gaussianos". Physical Review Letters . 119 (17): 170501. arXiv : 1612.01199 . Código Bibliográfico :2017PhRvL.119q0501H. doi :10.1103/PhysRevLett.119.170501. PMID  29219463. S2CID  1665615 . Consultado el 22 de enero de 2021 .
23. Chakhmakhchyan, Levon; Cerf, Nicolas (2018). "Simulación de circuitos gaussianos arbitrarios con óptica lineal". Phys. Rev. A . 98 (6): 062314. arXiv : 1803.11534 . Código Bibliográfico :2018PhRvA..98f2314C. doi :10.1103/PhysRevA.98.062314. S2CID  119227039.
24. Jerrum, Mark; Sinclair, Alistair; Vigoda, Eric (2001). "Un algoritmo de aproximación en tiempo polinomial para la permanente de una matriz con entradas no negativas". Revista de la ACM . 51 (4): 671–697. CiteSeerX 10.1.1.18.9466 . doi :10.1145/1008731.1008738. S2CID  47361920. 
25. Rahimi-Keshari, Saleh; Lund, Austin; Ralph, Timothy (2015). "¿Qué puede decir la óptica cuántica sobre la teoría de la complejidad computacional?". Phys. Rev. Lett . 114 (6): 060501. arXiv : 1408.3712 . Bibcode :2015PhRvL.114f0501R. doi :10.1103/PhysRevLett.114.060501. PMID  25723196. S2CID  436866.
26. Rahimi-Keshari, Saleh; Ralph, Timothy; Carlton, Caves (2016). "Simulación clásica eficiente de la óptica cuántica". Physical Review X . 6 (2): 021039. arXiv : 1511.06526 . Código Bibliográfico :2016PhRvX...6b1039R. doi :10.1103/PhysRevX.6.021039. S2CID  23490704.
27. Spagnolo, Nicolo; Vitelli, Chiara; Bentivegna, Marco; Brod, Daniel; Crespi, Andrea; Flamini, Fulvio; Giacomini, Sandro; Milani, Giorgio; Ramponi, Roberta; Mataloni, Paolo; Osellame, Roberto; Galvão, Ernesto; Sciarrino, Fabio (2014). "Validación experimental del muestreo de bosones fotónicos". Fotónica de la naturaleza . 8 (8): 615–620. arXiv : 1311.1622 . Código Bib : 2014NaPho...8..615S. doi :10.1038/nphoton.2014.135. S2CID  120825561.
28. Carolan, Jacques; Meinecke, Jasmin; Shadbolt, Pete; Russell, Nicholas; Ismail, Nur; Wörhoff, Kerstin; Rudolph, Terry; Thompson, Mark; O'Brien, Jeremy; Matthews, Jonathan; Laing, Anthony (2014). "Sobre la verificación experimental de la complejidad cuántica en óptica lineal". Nature Photonics . 8 (8): 621–626. arXiv : 1311.2913 . Código Bibliográfico :2014NaPho...8..621C. doi :10.1038/nphoton.2014.152. S2CID  10874278.
29. Motes, Keith; Gilchrist, Alexei; Dowling, Jonathan; Rohde, Peter (2014). "Muestreo escalable de bosones con codificación de intervalos de tiempo utilizando una arquitectura basada en bucles". Phys. Rev. Lett . 113 (12): 120501. arXiv : 1403.4007 . Bibcode :2014PhRvL.113l0501M. doi :10.1103/PhysRevLett.113.120501. PMID  25279613. S2CID  33602886.
30. Pant, Mihir; Englund, Dirk (2016). "Transformaciones unitarias de alta dimensión y muestreo de bosones en modos temporales utilizando óptica dispersiva". Physical Review A . 93 (4): 043803. arXiv : 1505.03103 . Código Bibliográfico :2016PhRvA..93d3803P. doi :10.1103/PhysRevA.93.043803. S2CID  5022049.
31. Gogolin, C.; Kliesch, M.; Aolita, L.; Eisert, J. (2013). "Muestreo de bosones a la luz de la complejidad de la muestra". arXiv : 1306.3995 [quant-ph].
32. Aaronson, Scott; Arkhipov, Alex (2013). "El muestreo de bosones está lejos de ser uniforme". arXiv : 1309.7460 [quant-ph].
33. Tichy, Malte; Mayer, Klaus; Buchleitner, Andreas; Mølmer, Klaus (2014). "Evaluación rigurosa y eficiente de dispositivos de muestreo de bosones". Phys. Rev. Lett . 113 (2): 020502. arXiv : 1312.3080 . Código Bibliográfico :2014PhRvL.113b0502T. doi :10.1103/PhysRevLett.113.020502. PMID  25062152. S2CID  44653164.
34. Crespi, Andrea; Osellame, Roberto; Ramponi, Roberta; et al. (2016). "Ley de supresión cuántica en un chip fotónico 3-D que implementa la transformada rápida de Fourier". Nature Communications . 7 : 10469. arXiv : 1508.00782 . Bibcode :2015arXiv150800782C. doi :10.1038/ncomms10469. PMC 4742850 . PMID  26843135. 
35. Shen, C.; Zhang, Z.; Duan, L.-M. (2014). "Implementación escalable de muestreo de bosones con iones atrapados". Phys. Rev. Lett . 112 (5): 050504. arXiv : 1310.4860 . Bibcode :2014PhRvL.112e0504S. doi :10.1103/PhysRevLett.112.050504. PMID  24580579. S2CID  10489988.
36. Peropadre, Borja; Aspuru-Guzik, Alan; García-Ripoll, Juan (2015). "Modelos de espín y muestreo de bosones". arXiv : 1509.02703 [cuántico-ph].
37. Huh, Joonsuk; Giacomo Guerreschi, Gian; Peropadre, Borja; McClean, Jarrod; Aspuru-Guzik, Alan (2015). "Muestreo de bosones para espectros vibrónicos moleculares". Nature Photonics . 9 (9): 615–620. arXiv : 1412.8427 . Código Bibliográfico :2015NaPho...9..615H. doi :10.1038/NPHOTON.2015.153. S2CID  960357.
38. Goldstein, Samuel; Korenblit, Simcha; Bendor, Ydan; You, Hao; Geller, Michael R.; Katz, Nadav (17 de enero de 2017). "Decoherencia y sensibilidad interferométrica del muestreo de bosones en redes de resonadores superconductores". Phys. Rev. B . 95 (2): 020502. arXiv : 1701.00714 . Código Bibliográfico :2017PhRvB..95b0502G. doi :10.1103/PhysRevB.95.020502. S2CID  119077553.
39. Véase el problema abierto (4) en "Shtetl Optimized: Introducing some British people to P vs. NP". 22 de julio de 2015.
40. Chakhmakhchyan, Levon; Cerf, Nicolas; Garcia-Patron, Raul (2017). "Un algoritmo de inspiración cuántica para estimar la permanente de matrices semidefinidas positivas". Phys. Rev. A . 96 (2): 022329. arXiv : 1609.02416 . Bibcode :2017PhRvA..96b2329C. doi :10.1103/PhysRevA.96.022329. S2CID  54194194.
41. Nikolopoulos, Georgios M.; Brougham, Thomas (2016). "Problemas de decisión y función basados ​​en muestreo de bosones". Physical Review A . 94 (1): 012315. arXiv : 1607.02987 . Bibcode :2016PhRvA..94a2315N. doi :10.1103/PhysRevA.94.012315. S2CID  5311008.
42. Nikolopoulos, Georgios M. (2019). "Función criptográfica unidireccional basada en muestreo de bosones". Procesamiento de información cuántica . 18 (8): 259. arXiv : 1607.02987 . Código Bibliográfico :2019QuIP...18..259N. doi :10.1007/s11128-019-2372-9. S2CID  195791867.
43. Nikolopoulos, Georgios M (29 de noviembre de 2022). "Indistinguibilidad computacional y muestreo de bosones*". Physica Scripta . 98 (1): 014001. arXiv : 2211.04420 . doi : 10.1088/1402-4896/aca1ed . ISSN  0031-8949.
44. Wang, Xiao-Wei; Zhou, Wen-Hao; Fu, Yu-Xuan; Gao, junio; Lu, Yong-Heng; Chang, Yi-Jun; Qiao, Lu-Feng; Ren, Ruo-Jing; Jiang, Ze-Kun; Jiao, Zhi-Qiang; Nikolopoulos, Georgios M.; Jin, Xian-Min (9 de febrero de 2023). "Muestreo experimental de bosones que permite la función criptográfica unidireccional". Cartas de revisión física . 130 (6): 060802. Código bibliográfico : 2023PhRvL.130f0802W. doi : 10.1103/PhysRevLett.130.060802. PMID  36827576. S2CID  256757275.
45. Banchi, Leonardo; Fingerhuth, Mark; Babej, Tomas; Ing, Christopher; Arrazola, Juan Miguel (2020). "Acoplamiento molecular con muestreo de bosones gaussianos". Science Advances . 6 (23): eaax1950. arXiv : 1902.00462 . Bibcode :2020SciA....6.1950B. doi : 10.1126/sciadv.aax1950 . PMC 7274809 . PMID  32548251. 

Enlaces externos

• Proyecto QUCHIP
• Laboratorio de Información Cuántica – Sapienza: video sobre muestreo de bosones
• Laboratorio de Información Cuántica – Sapienza: video sobre muestreo de bosones dispersos
• El laboratorio de cúbits: muestreo de bosones