Estoy considerando ideas sobre algoritmos cuánticos exactos. En particular, estoy considerando las posibles limitaciones de , que consiste en lenguajes exactamente decidibles por las familias de circuitos cuánticos uniformes de polimetro sobre un conjunto arbitrario de puerta finita.
La transformada cuántica de Fourier (QFT), dada por
Obviamente, según el teorema de Solovay-Kitaev, podemos aproximar las puertas o arbitrariamente bien con cualquier conjunto de puertas aproximadamente universal que esté cerrado bajo inversas. Lo que me gustaría saber es si existe un conjunto de puertas finito que pueda dar cuenta exactamente de estas familias de operadores, o, lo que sospecho es más probable, si existe una prueba de que no existe tal conjunto de puertas finito.
Pregunta. ¿Existe una descomposición de como una familia de circuitos uniformes de polytime en un conjunto de puertas finitas, o una prueba de que esto es imposible?
fuente