¿Cómo evita el papel BosonSampling clases fáciles de matrices complejas?

22

En La complejidad computacional de la óptica lineal ( ECCC TR10-170 ), Scott Aaronson y Alex Arkhipov argumentan que si las computadoras cuánticas pueden ser simuladas eficientemente por las computadoras clásicas, entonces la jerarquía polinómica se colapsa al tercer nivel. El problema motivador es el muestreo de una distribución definida por una red lineal-óptica; Esta distribución puede expresarse como el permanente de una matriz particular. En el caso clásico, todas las entradas de la matriz no son negativas, por lo que existe un algoritmo de tiempo polinomial probabilístico, como lo muestran Mark Jerrum, Alistair Sinclair y Eric Vigoda (JACM 2004, doi: 10.1145 / 1008731.1008738) En el caso cuántico, las entradas son números complejos. Tenga en cuenta que en el caso general (cuando no se requiere que las entradas sean no negativas) el permanente no puede ser aproximado ni siquiera dentro de un factor constante, por el clásico resultado de 1979 de Valiant.

El artículo define una distribución definida por una matriz A y un problema de muestreoreUNAUNA


Entrada de muestreo de bosones : matriz Muestra: de la distribución D AUNA
reUNA

El uso de un resultado de dureza parece ser una evidencia débil de una separación entre los mundos clásico y cuántico, ya que es posible que la clase de matrices en la configuración cuántica específica tenga una forma especial. Pueden tener entradas complejas, pero aún pueden poseer mucha estructura. Por lo tanto, podría existir un procedimiento de muestreo eficiente para tales matrices, a pesar de que el problema general es # P-hard.

¿Cómo el uso de BosonSampling en el periódico evita clases fáciles?

El artículo usa muchos antecedentes que no tengo en cuanto a la complejidad cuántica. Dadas todas las personas cuánticas en este sitio, realmente agradecería un puntero en la dirección correcta. ¿Cómo se sostendrían los argumentos si uno descubriera que la clase de matrices de valores complejos observadas en una configuración experimental específica en realidad correspondía a una clase de distribuciones de las que era fácil tomar muestras? ¿O hay algo inherente en el sistema cuántico que garantiza que esto no puede suceder?

András Salamon
fuente

Respuestas:

23

Gracias por tu pregunta! Hay dos respuestas, dependiendo de si está interesado en los resultados de dureza para BosonSampling exacto o aproximado .

En el caso exacto, demostramos que dada cualquier matriz compleja n por n, A, puede construir un experimento óptico que produzca una salida particular con probabilidad proporcional a | Per (A) | 2 . Esto, a su vez, implica que ningún algoritmo clásico de tiempo polinómico puede muestrear exactamente de la misma distribución que el experimento óptico (dada una descripción del experimento como entrada), a menos que P #P = BPP NP . De hecho, podemos fortalecer eso, para dar una distribución única D n (dependiendo solo de la longitud de entrada n) que se puede muestrear usando un experimento óptico de tamaño poli (n), pero que no se puede muestrear clásicamente en poli (n ) tiempo a menos que P #P = BPP NP .

En el caso aproximado, la situación es más complicada. Nuestro resultado principal dice que, si hay un algoritmo clásico de tiempo polinómico que simula el experimento óptico incluso aproximadamente (en el sentido de muestreo de una distribución de probabilidad sobre salidas que es 1 / poli (n) -cierre en la distancia de variación), entonces en BPP NP , puede aproximarse | Por (A) | 2 , con alta probabilidad sobre una matriz A n-por-n de iid gaussianos con media 0 y varianza 1.

Nosotros conjeturamos que el problema anterior es # P-duro (al menos, no en BPP NP ), y en las páginas 57-82 de nuestro periódico todos acerca de la evidencia de que la conjetura.

Por supuesto, tal vez nuestra conjetura sea falsa, y en realidad se puede dar un algoritmo de poli-tiempo para aproximar los permanentes de las matrices iid gaussianas. ¡Ese sería un resultado fenomenal! Sin embargo, el objetivo del 85% del trabajo que hicimos fue basar todo en una conjetura de dureza que fuera lo más limpia, simple y "libre de cuántica" posible. En otras palabras, en lugar de la suposición

"aproximar los permanentes de algunas matrices especiales y extrañas que surgen en nuestro experimento es # P-difícil"

mostramos que es suficiente hacer la suposición

"aproximar los permanentes de las matrices iid gaussianas es # P-difícil".

Scott Aaronson
fuente
10
siempre me hace feliz cuando el autor de un artículo responde aquí a preguntas sobre el artículo :)
Suresh Venkat