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

Minha pergunta é sobre algoritmos quânticos para cálculos de QED (eletrodinâmica quântica) relacionados às constantes de estrutura fina. Tais cálculos (como me explicaram) equivalem ao cálculo de séries do tipo Taylor ondeé a constante de estrutura fina (em torno de 1/137) eé a contribuição dos diagramas de Feynman comloops. ∑ …

10 cc.complexity-theory  quantum-computing  physics 

Sabe-se que o cálculo de uma máquina de Turing não determinística (NTM) é representável como uma árvore de configurações, enraizada na configuração inicial. Qualquer transição no programa é representada por um link pai-filho nesta árvore. Árvores semelhantes também podem ser construídas para visualizar os cálculos de máquinas quânticas e probabilísticas. …

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

A JBV sugeriu que eu transformasse alguns comentários em uma pergunta, então aqui vai. Outra pergunta [1] pergunta sobre aplicações da computação QM. Uma resposta [2] foi "simulando eficientemente a mecânica quântica". Aparentemente, essa idéia remonta aos primeiros escritos de Feynman sobre o assunto; embora eu não tenha uma referência. …

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

Alguns de nós lemos o artigo de Michael Nielsen sobre uma abordagem geométrica para usar limites quânticos inferiores (em resumo, a construção de uma métrica de Finsler na modo que a distância geodésica de a um elemento seja um limite inferior no número de portas em um circuito quântico que …

10 quantum-computing 

O algoritmo de Deutsch é uma computação quântica bem conhecida f(0)+f(1)mod2f(0)+f(1)mod2f(0) + f(1)\mod{2} com apenas uma avaliação de fff . Se substituirmos +++ por ⋅⋅\cdot o problema parecerá bastante diferente. Minha pergunta é: existe um algoritmo quântico calculando o valor de f(0)⋅f(1)f(0)⋅f(1)f(0)\cdot f(1) (ou AND, se você preferir) usando apenas …

10 reference-request  quantum-computing 

Estou lendo o excelente artigo de Watrous sobre a teoria da complexidade quântica. Nele, ele afirma que seria surpreendente se um problema completo de QMA tivesse uma promessa vazia (ou seja, um idioma). Porque isto é assim? Isso tem a ver com o fato de que o problema hamiltoniano k-local …

10 cc.complexity-theory  quantum-computing 

Estou curioso para saber se alguém poderia recomendar algum material suplementar para obter uma compreensão mais profunda do artigo: " Alguns Resultados e Problemas em Desigualdades Quânticas do Tipo Sino - Tsirelson ". Especificamente, algo que pode elaborar um pouco mais sobre a interpretação geométrica das desigualdades do tipo Bell. …

10 reference-request  quantum-computing  quantum-information 

No papel seminal de Bernstein e Vazirani "Quantum Teoria da Complexidade", eles mostram que um transformação unitária dimensional pode ser eficientemente aproximada por um produto do que eles chamam de "rotações quase trivial" e "mudanças de fase quase trivial".ddd "Perto trivial rotações" são -dimensional unitária matrizes que actuam como a …

10 quantum-computing  linear-algebra  universal-computation 

Embora sejam conhecidas separações exponenciais entre a complexidade da consulta quântica com erro limitado ( ) e a complexidade determinística da consulta ( ) ou a complexidade aleatória da consulta com erro limitado ( ), elas se aplicam apenas a determinadas funções parciais. Se as funções parciais tiverem estruturas especiais …

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

Um programa span é uma maneira algébrica-linear de especificar uma função booleana apresentada aqui . Recentemente, esse modelo foi usado para mostrar que o método adversário negativo fornece uma caracterização rígida (pelo menos até ) da complexidade da consulta quântica.registron / logregistronlog⁡n/log⁡log⁡n\log n/ \log \log n A medida de complexidade …

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

Na Universal Blind Quantum Computation, os autores descrevem um protocolo baseado em medições que permite a um usuário quase clássico realizar cálculos arbitrários em um servidor quântico sem revelar quase nada sobre o conteúdo da computação. Na descrição do protocolo, os autores mencionam "conjuntos de dependências" associados a cada qubit, …

10 quantum-computing  cr.crypto-security 

Grande parte da literatura da computação quântica se concentra no modelo de circuito. A computação quântica adiabática não se baseia na aplicação de uma sequência de operadores unitários, mas na alteração de um hamiltoniano dependente do tempo. Estou procurando informações sobre qualquer um dos seguintes. A computação quântica adiabática é …

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

Existe uma família conhecida de ações de grupo com um elemento designado no conjunto em que está sendo atuado, onde é sabido como \: amostra (essencialmente uniformemente) dos grupos, calcula as operações inversas, calcula as operações do grupo e calcula as ações do grupo \: e não existe um algoritmo …

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

É sabido que a complexidade da consulta quântica de erro limitado da função é . Agora, a questão é: se queremos que nosso algoritmo quântico seja bem-sucedido para cada entrada com probabilidade em vez dos usuais . Agora, em termos de quais seriam os limites superior e inferior apropriados?Θ ( …

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

Como nenhuma resposta foi dada, foi definido um sinalizador solicitando que essa pergunta fosse convertida em um wiki da comunidade. Os comentários de Aaron Sterling, Sasho Nikolov e Vor foram sintetizados na seguinte resolução, que está aberta para discussão no wiki da comunidade: Resolvido: com relação aos algoritmos clássicos que …

9 quantum-computing  program-verification  sample-complexity