Preguntas etiquetadas con quantum-computing

Mi pregunta es sobre algoritmos cuánticos para cálculos de QED (electrodinámica cuántica) relacionados con las constantes de estructura fina. Tales cálculos (como se me explicó) equivalen a calcular series similares a Taylor donde α es la constante de estructura fina (alrededor de 1/137) y c k es la contribución de …

10 cc.complexity-theory  quantum-computing  physics 

Es bien sabido que el cálculo de una máquina de Turing no determinista (NTM) es representable como un árbol de configuraciones, enraizado en la configuración inicial. Cualquier transición en el programa está representada por un enlace padre-hijo en este árbol. También se pueden construir árboles similares para visualizar los cálculos …

10 cc.complexity-theory  quantum-computing  randomness  derandomization  nondeterminism 

JBV sugirió que convirtiera algunos comentarios en una pregunta, así que aquí va. Otra pregunta [1] es sobre las aplicaciones de la computación QM. Una respuesta [2] fue "simular eficientemente la mecánica cuántica". Aparentemente, esta idea se remonta a los primeros escritos de Feynman sobre el tema; aunque no tengo …

10 reference-request  quantum-computing  application-of-theory 

Algunos de nosotros hemos estado leyendo el artículo de Michael Nielsen sobre un enfoque geométrico para usar límites cuánticos inferiores (en resumen, la construcción de una métrica de Finsler en modo que la distancia geodésica de I a un elemento U sea ​​un límite inferior en el número de puertas …

10 quantum-computing 

El algoritmo de Deutsch es una computación cuántica bien conocida f(0)+f(1)mod2f(0)+f(1)mod2f(0) + f(1)\mod{2} con solo una evaluación de fff . Si reemplazamos +++ con ⋅⋅\cdot el problema parece ser bastante diferente. Mi pregunta es: ¿existe un algoritmo cuántico que calcule el valor de f(0)⋅f(1)f(0)⋅f(1)f(0)\cdot f(1) (o AND si lo prefiere) …

10 reference-request  quantum-computing 

Estoy leyendo la excelente encuesta de Watrous sobre la teoría de la complejidad cuántica. En él, afirma que sería sorprendente si se descubriera que un problema completo de QMA tiene una promesa vacía (es decir, ser un lenguaje). ¿Por qué esto es tan? ¿Tiene que ver con el hecho de …

10 cc.complexity-theory  quantum-computing 

Tengo curiosidad por saber si alguien podría recomendar algún material complementario para obtener una comprensión más profunda del documento: " Algunos resultados y problemas sobre las desigualdades de tipo de campana cuántica - Tsirelson ". Específicamente, algo que puede elaborar un poco más sobre la interpretación geométrica de las desigualdades …

10 reference-request  quantum-computing  quantum-information 

En el artículo seminal de Bernstein y Vazirani, "Teoría de la complejidad cuántica", muestran que una transformación unitaria dimensional puede ser aproximada eficientemente por un producto de lo que llaman "rotaciones casi triviales" y "cambios de fase casi triviales".rered Las "rotaciones casi triviales" son matrices unitarias dimensionales que actúan como …

10 quantum-computing  linear-algebra  universal-computation 

Aunque las separaciones exponenciales entre la complejidad cuántica de consultas con error limitado ( ) y la complejidad de consulta determinista ( D ( f ) ) o la complejidad aleatoria de consultas con error limitado ( R ( f ) ) son conocidas, solo se aplican a ciertas funciones …

10 cc.complexity-theory  reference-request  quantum-computing  query-complexity 

Un programa span es una forma lineal-algebraica de especificar una función booleana presentada aquí . Recientemente, este modelo se usó para mostrar que el método negativo del adversario proporciona una caracterización estricta (al menos hasta ) de la complejidad de la consulta cuántica.logn/loglognlog⁡n/log⁡log⁡n\log n/ \log \log n La medida de …

10 cc.complexity-theory  reference-request  quantum-computing  query-complexity 

En Universal Blind Quantum Computation, los autores describen un protocolo basado en mediciones que permite a un usuario casi clásico realizar cálculos arbitrarios en un servidor cuántico sin revelar casi nada sobre el contenido de la computación. En la descripción del protocolo, los autores mencionan "conjuntos de dependencias" asociados a …

10 quantum-computing  cr.crypto-security 

Gran parte de la literatura de computación cuántica se centra en el modelo de circuito. La computación cuántica adiabática no se basa en aplicar una secuencia de operadores unitarios, sino en cambiar un hamiltoniano dependiente del tiempo. Estoy buscando información sobre cualquiera de los siguientes. ¿Es la computación cuántica adiabática …

9 cc.complexity-theory  reference-request  complexity-classes  quantum-computing  quantum-information 

¿Existe una familia conocida de acciones grupales con un elemento designado en el conjunto sobre el que se está actuando, donde se sabe cómo eficientemente \: muestra (esencialmente uniforme) de los grupos, calcula las operaciones inversas, calcula las operaciones del grupo y calcula las acciones del grupo \: y no …

9 cr.crypto-security  quantum-computing  gr.group-theory 

Es bien sabido que la complejidad de la consulta cuántica de error acotado de la función es Θ ( √OR(x1,x2,…,xn)OR(x1,x2,…,xn)OR(x_1,x_2,\ldots, x_n). Ahora la pregunta es ¿y si queremos que nuestro algoritmo cuántico tenga éxito para cada entrada con probabilidad1-εen lugar de la habitual2/3. Ahora, en términos deϵ,¿cuáles serían los límites …

9 cc.complexity-theory  ds.algorithms  quantum-computing  lower-bounds 

Como no se dio respuesta, se ha establecido una bandera solicitando que esta pregunta se convierta en una wiki comunitaria. Los comentarios de Aaron Sterling, Sasho Nikolov y Vor se sintetizaron en la siguiente resolución, que está abierta para la discusión de la wiki comunitaria: Resuelto: con respecto a los …

9 quantum-computing  program-verification  sample-complexity