Las computadoras cuánticas son muy buenas para distribuciones de muestreo que no sabemos cómo muestrear usando computadoras clásicas. Por ejemplo, si f es una función booleana (de a - 1 , 1 ) que se puede calcular en tiempo polinómico, entonces con computadoras cuánticas podemos muestrear...
Un importante artículo de 2003 de Childs et al.introdujo el "problema de los árboles combinados": un problema que admite una aceleración cuántica exponencial que es diferente a casi cualquier otro problema que conozcamos. En este problema, se nos da un gráfico exponencialmente grande como el que se...
Esta pregunta se migró de Computer Science Stack Exchange porque se puede responder en Teorematic Computer Science Stack Exchange. Migrado hace 3 años . En el artículo de Ciencia de 2016 " Realización de un algoritmo Shor escalable " [ 1 ], los autores factorizan 15 con...
En la computación cuántica, a menudo nos interesan los casos en que el grupo de operadores unitarios especiales, G, para algún sistema d-dimensional proporciona al grupo entero SU (d) exactamente o incluso solo una aproximación proporcionada por una cubierta densa de SU (d). Un grupo de orden...
Considere la siguiente tarea computacional: Queremos muestrear una fórmula 3-SAT de variables (una variante: n variables m cláusulas) con respecto a la distribución de probabilidad uniforme, condicionada a que la fórmula sea satisfactoria:nortennnortennmetromm P1: ¿Se puede lograr esto de manera...
En La complejidad computacional de la óptica lineal ( ECCC TR10-170 ), Scott Aaronson y Alex Arkhipov argumentan que si las computadoras cuánticas pueden ser simuladas eficientemente por las computadoras clásicas, entonces la jerarquía polinómica se colapsa al tercer nivel. El problema motivador es...
Esta pregunta es un seguimiento de la pregunta sobre los algoritmos de ADN formulada por Aadita Mehra . En los comentarios allí, Joe Fitzsimmons dijo, en parte: [E] l radio del sistema debe escalar proporcionalmente a la masa para evitar esto. El poder computacional se escala a lo sumo...
¿Es BQP igual a BPP con acceso a un oráculo de subgrupos ocultos
El título más o menos lo dice todo, pero creo que podría agregar un poco de antecedentes y algunos ejemplos específicos que me interesan. Los teóricos de la complejidad descriptiva, como Immerman y Fagin, han caracterizado muchas de las clases de complejidad más conocidas utilizando la lógica. Por...
Con algunos algoritmos aleatorios, puede desrandomizar el algoritmo, eliminando (a un posible costo en tiempo de ejecución) el uso de bits aleatorios y maximizando un límite inferior en el objetivo (generalmente calculado utilizando el hecho de que los teoremas son sobre el rendimiento esperado del...
Al leer algunos subprocesos recientes sobre computación cuántica ( aquí , aquí y aquí ), me hace recordar una pregunta interesante sobre el poder de algún tipo de máquina de preservación ℓpℓp\ell_p -norm. Para las personas que trabajan en la teoría de la complejidad que van a la complejidad...
Dos preguntas relacionadas sobre la computación de profundidad limitada: 1) Suponga que comienza con n bits, y para comenzar con el bit i puede ser 0 o 1 con alguna probabilidad p (i), independientemente. (Si simplifica el problema, podemos suponer que todos los p (i) s son 0,1 o 1/2.o incluso que...
Hoy en Nueva York y en todo el mundo se celebra el cumpleaños de Christos Papadimitriou. Esta es una buena oportunidad para preguntar sobre las relaciones entre la clase de complejidad PPAD de Christos (y sus otras clases relacionadas) y las computadoras cuánticas. En su célebre artículo de 1994,...
Es bien sabido que la exponenciación modular (la parte principal de una operación RSA) es computacionalmente costosa, y hasta donde yo entiendo, la técnica de exponenciación modular de Montgomery es el método preferido. La exponenciación modular también se destaca en el algoritmo de factorización...
Si bien el teorema de Adleman muestra que , no conozco ninguna literatura que investigue la posible inclusión de B Q P ⊆ P / poly . ¿Qué consecuencias teóricas de la complejidad tendría tal inclusión?BPP⊆P/polyBPP⊆P/poly\mathsf{BPP} \subseteq \mathsf{P}/\text{poly}BQP⊆P/polyBQP⊆P/poly\mathsf{BQP}...
La computación reversible es un modelo computacional que solo permite operaciones termodinámicamente reversibles. De acuerdo con el principio de Landauer, que establece que borrar un poco de información libera julios de calor, esto excluye las funciones de transición que no son uno a uno (por...
Wikipedia enumeró cuatro problemas que están en pero se conjetura que están fuera de P : Factorización entera; Logaritmo discreto; Simulación de sistemas cuánticos; Calcular el polinomio de Jones en ciertas raíces de la unidad.BQPBQPBQPPPP ¿Hay algún otro
Mi teorema favorito en teoría de la complejidad es el teorema de la jerarquía del tiempo. Sin embargo, esto se hizo en 1965. Quería saber si había algo similar para Quantum Computing. Además, si no, ¿cuáles son las personas / grupos que trabajan en esta
En su artículo de 1995 Algoritmos de tiempo polinómico para la factorización prima y los logaritmos discretos en una computadora cuántica , Peter W. Shor analiza una mejora en la parte de búsqueda de orden de su algoritmo de factorización. Las salidas algoritmo estándar r′r′r' , un divisor de la...
En la computación cuántica adiabática (AQC), uno codifica la solución a un problema de optimización en el estado fundamental de un [problema] Hamiltoniano . Para llegar a este estado fundamental, comienza en un estado inicial (fundamental) fácilmente refrigerable con Hamiltoniano H i y "recocido"...