Algoritmos Cuánticos para Convolución


9

Estaba buscando aplicaciones de computación cuántica para el aprendizaje automático y encontré la siguiente preimpresión de 2003. Los algoritmos de convolución cuántica y correlación son físicamente imposibles . El artículo no parece haber sido publicado en ninguna revista, pero ha sido citado algunas docenas de veces.

El autor del artículo afirma que es imposible calcular la convolución discreta sobre los estados cuánticos. Intuitivamente, esto me parece incorrecto, ya que sé que podemos realizar una multiplicación de matriz cuántica, y sé que la convolución discreta puede enmarcarse simplemente como una multiplicación con una matriz de Toeplitz (o circulante).

El quid de su argumento parece ser que no existe una composición realizable de operadores unitarios para el producto elementwise (Hadamard) de dos vectores.

¿Dónde está mi desconexión? ¿Hay alguna razón por la que, en general, no podamos construir una matriz de Toeplitz para una convolución discreta en una computadora cuántica?

¿O es el artículo simplemente incorrecto? He trabajado a través de la contradicción que el autor presenta en su prueba de Lema 14, y parece tener sentido para mí.


El artículo termina diciendo "Una nota final: este resultado fue inspirado por un comentario hecho por David Meyer, quien obtuvo resultados similares de forma independiente". ¿Revisaste un artículo de Meyer?
Norbert Schuch el

@NorbertSchuch lo hice, y no pude encontrar uno que hiciera un reclamo similar.
DPL

Respuestas:


3

En realidad, puede realizar convolución en una computadora cuántica (y exponencialmente más rápido), si sus señales de entrada tienen una determinada estructura. Pero para los aportes generales, esto parece desafiante e incluso físicamente imposible, que es lo que parece argumentar el artículo.

Considere cómo calcularía la convolución de dos señales discretas y clásicamente. Puede tomar la transformada de Fourier de ambas señales, hacer una multiplicación puntual de los vectores resultantes y luego hacer una transformada inversa de Fourier:fg

F1(F(f).F(g))

Tenga en cuenta que la transformación de Fourier es una operación muy barata en una computadora cuántica. Entonces esto parece genial. El problema es que la multiplicación puntual de dos vectores no es tan fácil. Veamos qué factores determinan eso.

Supongamos que tenemos suerte y el espectro de Fourier de resulta ser plano: F = F ( f ) = 1f

F=F(f)=1Ni=0N1|i=i=1N1F(i)

En ese caso, su computadora cuántica puede hacer una operación de matriz diagonal que le da la multiplicación por puntos:

F(f).F(g)=F.G=(F(0)F(1).F(N1))(G(0)G(1).G(N1))

Sin embargo, los algoritmos cuánticos que encuentran la multiplicación puntual de dos vectores pueden ser físicamente imposibles en el caso general. Esto se debe a que esta operación no es unitaria en general. Como ejemplo simple, suponga que la transformada de Fourier de es una función puntiaguda, con ceros en la mayoría de los lugares:f

La multiplicación de punto racional de este estado con otro estado no reversible (debido a los ceros), y por lo tanto no unitario.

F=F(f)=12(|0+|2+|5+|7)

Ha habido trabajo previo para descubrir funciones que dan como resultado un espectro de Fourier plano o casi plano, y por lo tanto son fáciles de convolucionar:

https://arxiv.org/abs/0811.3208

https://arxiv.org/abs/quant-ph/0211140


3

yojαyoβjEl |yojyoαyoβyoEl |yo
PAGS=yoEl |yoyoyoEl |.
El |yoyoEl |yo0 0,

3
¿No se requiere que la operación sea unitaria?
Craig Gidney

2
@CraigGidney Theorem 16 se refiere específicamente a la combinación de unidades unitarias y medición, y afirma que no hay resultados de medición individuales que puedan lograr ese mapa.
DaftWullie

Esto parece un buen contraejemplo. ¿Tiene algún sentido de algún error en la lógica del autor al probar el Lema 14 (que utiliza como base para probar el Teorema 16?)
DPL

@DPL No creo que el Lema 14 esté equivocado (al menos, creo el resultado. No sé acerca de la prueba) Sin embargo, hay un argumento extraño en el teorema 16 (puede estar bien, no gasté nada tiempo pensando en ello, solo parece sospechoso) algo sobre porque algo era cierto para los unitarios es cierto para los operadores lineales, y por lo tanto también para las mediciones.
DaftWullie

@DPL con mayor precisión, creo Lemma 14, ya que se aplica a los unitarios.
DaftWullie
Al usar nuestro sitio, usted reconoce que ha leído y comprende nuestra Política de Cookies y Política de Privacidad.
Licensed under cc by-sa 3.0 with attribution required.