Imagen geométrica detrás de expansores cuánticos


17

(también preguntado aquí , sin respuestas)

Un expansor cuántico es una distribución sobre el grupo unitario con la propiedad que: a) , b) , donde es la medida de Haar. Si en lugar de distribuciones sobre unidades unitarias consideramos distribuciones sobre matrices de permutación, no es difícil ver que recuperamos la definición habitual de un gráfico expansor regular. Para obtener más información, consulte, por ejemplo: Expansores de productos de tensor cuántico eficiente y diseños k de Harrow y Low.(re,λ)νU(re)El |stupagpag νEl |=remiUνUU-miUμHUUλμHre

Mi pregunta es: ¿los expansores cuánticos admiten algún tipo de interpretación geométrica similar a los expansores clásicos (donde la brecha espectral isoperimetría sim / expansión del gráfico subyacente)? No defino formalmente la "realización geométrica", pero conceptualmente, uno podría esperar que el criterio puramente espectral pueda traducirse a alguna imagen geométrica (que, en el caso clásico, es la fuente de riqueza matemática que disfrutan los expansores; estructura matemática cuántica los expansores parecen ser mucho más limitados).


8
Tal vez hay una pregunta más simple que acecha debajo? Hay una caminata aleatoria natural asociada con el Laplaciano de un gráfico, y los valores propios de este último le informan sobre la mezcla del primero. Es esta vista "geométrica" ​​de caminatas aleatorias (en términos de difusión de calor) lo que nos ayuda a interpretar expansores en el caso clásico. ¿Existe un vínculo similar entre los recorridos aleatorios cuánticos y las propiedades de las matrices de Hadamard asociadas?
Suresh Venkat

Respuestas:


7

[Esta respuesta fue copiada de mi respuesta en el sitio de intercambio de pila de física teórica ahora desaparecido.] Para los expansores clásicos, la definición espectral puede expresarse en términos del segundo valor propio más pequeño del gráfico laplaciano, que puede considerarse como el mínimo de una forma cuadrática sobre todos los vectores unitarios ortogonales al vector todos. Si restringimos esta minimización a vectores de la forma (a, a, ..., a, b, b, ..b), entonces esto produce la expansión del borde del gráfico. Aquí hay una discusión. La equivalencia aproximada de estas dos definiciones se conoce como desigualdad de Cheeger .

Esto sugiere que para el caso cuántico deberíamos considerar la acción del canal (formado al aplicar un unitario aleatorio del expansor) en los proyectores. Un resultado análogo a la desigualdad de Cheeger se deriva en el Apéndice A de arXiv: 0706.0556 .

Por otro lado, si bien esto es matemáticamente análogo, todavía conocemos muchas menos aplicaciones de expansores cuánticos que las conocidas para los expansores clásicos.


Acepte mi invitación a: quantumcomputing.stackexchange.com .
Rob
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.