Perguntas com a marcação «quantum-computing»

Considere-se um espaço de Hilbert . Uma base de produto não extensível (UPB) é um conjunto de vetores de produtos | v i ⟩ = | v 1 i ⟩ ⊗ ⋯ ⊗ | v n i ⟩ tais que:H= H1 1⊗ ⋯ ⊗ HnH=H1⊗⋯⊗HnH = H_1 \otimes \dots \otimes …

9 quantum-computing  linear-algebra  quantum-information 

Na complexidade da árvore de decisão de uma função booleana, um método de limite inferior muito bem conhecido é encontrar um polinômio (aproximado) que represente a função. Paturi deu uma caracterização para funções booleanas simétricas (parciais e totais) em termos de uma quantidade indicada ΓΓ\Gamma : Teorema ( Paturi ): …

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

Defina o modelo computacional MPostBQP para ser idêntico ao PostBQP, exceto que permitimos polinomialmente muitas medições de qubit antes da pós-seleção e medição final. Podemos dar alguma evidência indicando que o MPostBQP é mais poderoso que o PostBQP? Defina MPostBQP [k] para permitir várias rodadas de medição e pós-seleção antes …

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

Recentemente, pensei em "importar" algumas questões relacionadas à física para o CS quântico: A noção do fenômeno da lei de área nos sistemas hamiltonianos geralmente representa um hamiltoniano local em alguma rede, cujo estado fundamental exibe uma propriedade na qual o emaranhamento de qualquer região fechada é proporcional à superfície …

9 quantum-computing  big-picture 

Contexto : Existem vários artigos que estudam as implicações das curvas timelike fechadas (CTCs) na complexidade quântica. Em 2008, Aaronson e Watrous publicaram seu famoso artigo sobre esse tópico, que mostra que certas formas de viagem no tempo podem tornar equivalentes a computação quântica e clássica, ou seja, computadores quânticos …

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

Da Wikipedia : VPVP\mathsf{VP} : A classe VP é o análogo algébrico de P; é a classe de polinômios de grau polinomial que têm circuitos de tamanho polinomiais sobre um campo fixo .fffKKK VNPVNP\mathsf{VNP} : A classe VNP é o análogo do NP. O VNP pode ser considerado como a …

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

Eu li o jornal Ahmed Younes, " Um algoritmo de tempo polinomial quântico com erro limitado para dois problemas de bissecção de gráficos ", 2015. doi: 10.1007 / s11128-015-1069-y publicado na revista Quantum Information Processing da Springer. O artigo parece afirmar que fornece um algoritmo BQP para os problemas NP-difíceis …

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

O Modelo Padrão da física (o modelo matemático que prediz o bóson de Higg) é, até onde eu entendo, o nosso modelo mais completo do universo. Ou seja, é a melhor descrição do jogo matemático a ser jogado para fazer previsões sobre o resultado dos experimentos realizados em nosso Universo. …

8 cc.complexity-theory  quantum-computing  physics 

Qual é o maior conjunto que admite um algoritmo determinístico de busca quântica, para um único elemento marcado, que opera com apenas uma chamada para o oráculo? A questão é interessante, já que o algoritmo de Grover, que para pesquisa não estruturada em um conjunto de elementos requer chamadas para …

8 quantum-computing  quantum-information 

Estou tentando esclarecer meu entendimento no exemplo apresentado na Seção 2.2 dos autômatos finitos quânticos de 1 via: fortalece as fraquezas e as generalizações (esse link alternativo também pode ser útil). Este exemplo fornece um exemplo muito simplificado de um 1-QFA com as seguintes regras de transição: ,Va|q0⟩ = 12| …

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

Tenho algumas perguntas sobre a conjectura do Quantum PCP: Qual é a afirmação da conjectura quântica do PCP? Que implicações o teorema do PCP quântico teria para simular Hamiltonianos? Acredita-se que a adoção da prova de Irit Dinur do teorema clássico do PCP provavelmente leve a uma prova da conjectura …

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

Esta pergunta surge de uma resposta que Joe Fitzsimons deu a uma pergunta diferente . A maioria das classes de complexidade natural possui uma "descrição intuitiva" de uma linha que ajuda a caracterizar os principais problemas dessa classe. NP é "verificação eficiente", #P é "enumerar soluções", PSPACE é "jogo" e …

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