Simulación clásica rápida de algoritmos cuánticos.

10

¿Hay ejemplos de casos en los que la simulación clásica de un algoritmo cuántico para un problema supera al algoritmo clásico mejor conocido anteriormente para este problema? "Superar" no tiene que significar una clase de complejidad diferente, simplemente podría ser una mejor escala.

Esta pregunta se inspiró en el caso de la simulación clásica eficiente de un algoritmo de recomendación cuántica .

delete000
fuente
1
Su pregunta como se indicó no tiene realmente sentido. Una simulación clásica de un algoritmo cuántico es un tipo específico de algoritmo clásico, por lo que no puede ser más rápido que el mejor algoritmo clásico. Podría ser el algoritmo clásico más rápido conocido, pero no puede ser mejor ya que eso lo haría mejor que él mismo.
Craig Gidney
Supongo que querías decir "Supera el algoritmo clásico mejor conocido anteriormente "
Frédéric Grosshans
Pensé en esa advertencia cuando leí la pregunta, pero esperaba que fuera obvio que uno de los dos algoritmos clásicos sería una no simulación "previamente conocida" del algoritmo cuántico. Lo sé mejor ahora.
delete000

Respuestas:

6

Su pregunta se inspiró en el reciente avance clásico de inspiración cuántica en el algoritmo de recomendación. Tenga en cuenta que no es el primer momento en que sucede tal cosa. En 2015, ocurrieron desarrollos similares con MAX3LIN aproximado : un algoritmo quanutm que supera a todos los algoritmos clásicos conocidos anteriores motivó una búsqueda exitosa de un algoritmo clásico mejor. Sin embargo, hasta donde yo sé, en ambos casos, los algoritmos clásicos no se parecen a la simulación clásica de una evolución cuántica.

Sé de un artículo que describe una simulación clásica de un sistema cuántico que permite superar los algoritmos previamente conocidos (Divulgación completa: los autores son amigos míos) :

Algoritmo de inspiración cuántica para estimar el permanente de matrices semidefinidas positivas, por L. Chakhmakhchyan, NJ Cerf, R. Garcia-Patron, arXiv: 1609.02416 / Phys. Rev. A 96 , 022329

Esto se basa en la conexión entre la óptica permanente y la óptica cuántica, que se muestra mediante el muestreo de bosones . En oposición al enfoque habitual, observan estados que son bien conocidos por ser fáciles de simular (estados térmicos), y utilizan esta simulación para realizar un cálculo de Monte-Carlo del permanente de matrices semidefinidas positivas de Hermit. Para algunas clases de matrices, este algoritmo ofrece una mejor aproximación que el mejor algoritmo conocido previamente (algoritmo de Gurvits).

Frédéric Grosshans
fuente