Preguntas etiquetadas con quantum-computing

Considere un espacio de Hilbert . Una base de producto no extensible (UPB) es un conjunto de vectores de producto | v i ⟩ = | v 1 i ⟩ ⊗ ⋯ ⊗ | v n i ⟩ tal que:H= H1⊗ ⋯ ⊗ HnorteH=H1⊗⋯⊗HnorteH = H_1 \otimes \dots \otimes H_nEl …

9 quantum-computing  linear-algebra  quantum-information 

En la complejidad del árbol de decisión de una función booleana, un método de límite inferior muy conocido es encontrar un polinomio (aproximado) que represente la función. Paturi dio una caracterización para funciones booleanas simétricas (parciales y totales) en términos de una cantidad denotada :ΓΓ\Gamma Teorema ( Paturi ): Sea …

9 cc.complexity-theory  quantum-computing  lower-bounds  boolean-functions  query-complexity 

Defina que el modelo computacional MPostBQP sea idéntico a PostBQP, excepto que permitimos polinómicamente muchas mediciones de qubit antes de la selección posterior y la medición final. ¿Podemos dar alguna evidencia que indique que MPostBQP es más poderoso que PostBQP? Defina MPostBQP [k] para permitir múltiples rondas de medición y …

9 cc.complexity-theory  complexity-classes  quantum-computing  interactive-proofs 

Recientemente he pensado en "importar" alguna pregunta relacionada con la física en CS cuántico: La noción del fenómeno de ley de área en los sistemas hamiltonianos generalmente representa a un hamiltoniano local en alguna red, cuyo estado base exhibe una propiedad en la que el enredo de cualquier región cerrada …

9 quantum-computing  big-picture 

Contexto : Hay varios documentos que estudian las implicaciones de las curvas cerradas de tiempo (CTC) para la complejidad cuántica. En 2008, Aaronson y Watrous publicaron su famoso artículo sobre este tema que muestra que ciertas formas de viaje en el tiempo pueden hacer que la computación clásica y cuántica …

9 cc.complexity-theory  quantum-computing  big-picture 

De Wikipedia : VPVP\mathsf{VP} : La clase VP es el análogo algebraico de P; es la clase de polinomiosfff de grado del polinomio que tienen circuitos de tamaño polinómicas sobre un campo fijoKKK . VNPVNP\mathsf{VNP} : La clase VNP es el análogo de NP. VNP puede considerarse como la clase …

8 cc.complexity-theory  reference-request  quantum-computing  circuit-complexity 

Leo el periodico Ahmed Younes, " Un algoritmo de tiempo polinómico cuántico de error acotado para dos problemas de bisección gráfica ", 2015. doi: 10.1007 / s11128-015-1069-a que se publica en la revista Springer Quantum Information Processing. El artículo parece afirmar que proporciona un algoritmo BQP para los problemas NP-duros …

8 cc.complexity-theory  np-hardness  quantum-computing 

El modelo estándar de física (el modelo matemático que predice el bosón de Higg) es, hasta donde yo entiendo, nuestro modelo más completo del universo. Es decir, es la mejor descripción del juego matemático que se juega para hacer predicciones sobre el resultado de los experimentos realizados en nuestro Universo. …

8 cc.complexity-theory  quantum-computing  physics 

¿Cuál es el conjunto más grande que admite un algoritmo de búsqueda cuántica determinista, para un solo elemento marcado, que opera con una sola llamada al oráculo? La pregunta es interesante ya que el algoritmo de Grover, que para la búsqueda no estructurada en un conjunto de elementos requiere O …

8 quantum-computing  quantum-information 

Estoy tratando de aclarar mi comprensión en el ejemplo presentado en la Sección 2.2 de Autómatas cuánticos finitos de 1 vía: fortalezas, debilidades y generalizaciones (este enlace alternativo también puede ser útil). Este ejemplo proporciona un ejemplo muy simplificado de un 1-QFA con las siguientes reglas de transición: ,Va|q0⟩=12|q0⟩+12|q1⟩+12√|qrej⟩Va|q0⟩=12|q0⟩+12|q1⟩+12|qrej⟩V_a|q_0\rangle = …

8 fl.formal-languages  quantum-computing  automata-theory  grammars 

Tengo algunas preguntas sobre la conjetura de Quantum PCP: ¿Cuál es la declaración de la conjetura de PCP cuántica? ¿Qué implicaciones tendría el teorema de PCP Quantum para la simulación de hamiltonianos? ¿Se cree que la adopción de la prueba de Irit Dinur del teorema clásico de PCP puede conducir …

8 cc.complexity-theory  quantum-computing  approximation-hardness  pcp  physics 

Esta pregunta surge de una respuesta que Joe Fitzsimons dio a una pregunta diferente . La mayoría de las clases de complejidad natural tienen una "descripción intuitiva" de una línea que ayuda a caracterizar los problemas centrales de esa clase. NP es "verificación eficiente", #P se trata de "enumerar soluciones", …

8 cc.complexity-theory  quantum-computing  big-picture  qma