Problemas NP-intermedios con soluciones cuánticas eficientes

Peter Shor mostró que dos de los problemas NP-intermedios más importantes, la factorización y el problema de registro discreto, están en BQP. Por el contrario, el algoritmo cuántico más conocido para SAT (búsqueda de Grover) solo produce una mejora cuadrática sobre el algoritmo clásico, lo que sugiere que los problemas de NP completo aún no se pueden resolver en las computadoras cuánticas. Como señalan Arora y Barak, también hay un problema en BQP que no se sabe que está en NP, lo que lleva a la conjetura de que las dos clases son incomparables.

¿Hay algún conocimiento / conjetura de por qué estos problemas intermedios NP están en BQP, pero por qué SAT (hasta donde sabemos) no lo está? ¿Otros problemas NP-intermedios siguen esta tendencia? En particular, ¿es el isomorfismo gráfico en BQP? (Este no google bien).

No se sabe que el isomorfismo gráfico esté en BQP. Se ha trabajado mucho para tratar de ponerlo. Una observación muy interesante es que el isomorfismo gráfico podría resolverse si las computadoras cuánticas pudieran resolver el problema del subgrupo oculto no abeliano para el grupo simétrico (la factorización y el registro discreto se resuelven mediante utilizando el problema del subgrupo oculto abeliano, que a su vez se resuelve aplicando la transformada cuántica de Fourier en grupos abelianos).

Una de las formas en que las personas intentaron resolver el isomorfismo gráfico fue aplicando la transformada cuántica de Fourier para grupos no abelianos. Existen algoritmos para la transformación cuántica de Fourier para muchos grupos no abelianos, incluido el grupo simétrico. Desafortunadamente, parece que puede no ser posible usar la transformada cuántica de Fourier para el grupo simétrico para resolver el isomorfismo gráfico; Se han escrito bastantes artículos sobre esto que muestran que no funciona, dados varios supuestos sobre la estructura del algoritmo. Estos documentos son probablemente lo que encuentras cuando buscas en Google.

La respuesta del folklore es que la factorización está "estructurada" de una manera que los problemas generales de NP no lo son, y es por eso que solo hemos podido encontrar una ventaja cuántica para problemas intermedios.

Podría decirse que una versión más simple de su pregunta es analizar no la complejidad computacional, sino la complejidad de la consulta de las funciones booleanas. Aquí podemos decir algunas cosas de manera demostrable, como el hecho de que las aceleraciones superpolinomiales son posibles solo para funciones parciales (probadas en http://arxiv.org/abs/quant-ph/9802049 ) y no para funciones que son simétricas en sus entradas y resultados (probado en http://arxiv.org/abs/0911.0996 ).

Estos resultados no arrojan luz sobre la pregunta BQP vs NP, pero creo que son pasos significativos para determinar dónde hay una ventaja cuántica.