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

O título diz mais ou menos tudo, mas acho que poderia adicionar um pouco de fundo e alguns exemplos específicos nos quais estou interessado. Teóricos da complexidade descritiva, como Immerman e Fagin, caracterizaram muitas das classes de complexidade mais conhecidas usando a lógica. Por exemplo, o NP pode ser caracterizado …

20 cc.complexity-theory  quantum-computing  descriptive-complexity 

É sabido que a exponenciação modular (a parte principal de uma operação RSA) é computacionalmente cara e, até onde eu entendi, a técnica da exponenciação modular de Montgomery é o método preferido. A exponenciação modular também é destaque no algoritmo de fatoração quântica, e também é cara lá. Então: por …

20 cr.crypto-security  quantum-computing  factoring 

Com alguns algoritmos aleatórios, você pode des randomizar o algoritmo, removendo (a um possível custo em tempo de execução) o uso de bits aleatórios e maximizando um limite inferior ao objetivo (geralmente calculado usando o fato de que os teoremas têm o desempenho esperado do algoritmo aleatório). algoritmo). Existe um …

20 derandomization  quantum-computing 

Lendo alguns tópicos recentes sobre computação quântica ( aqui , aqui e aqui ), lembro-me de uma pergunta interessante sobre o poder de algum tipo de máquina de preservação -norm.ℓpℓp\ell_p Para as pessoas que trabalham com a teoria da complexidade na complexidade quântica, um excelente texto introdutório é o artigo …

20 cc.complexity-theory  quantum-computing  computability  turing-machines  norms 

Hoje em Nova York e em todo o mundo é comemorado o aniversário de Christos Papadimitriou. Esta é uma boa oportunidade para perguntar sobre as relações entre a classe de complexidade PPAD de Christos (e outras classes relacionadas) e os computadores quânticos. Em seu célebre artigo de 1994, Papadimitriou introduziu …

20 cc.complexity-theory  complexity-classes  quantum-computing  cr.crypto-security  nash-equilibrium 

Em seu artigo de 1995, Algoritmos de tempo polinomial para fatoração primária e logaritmos discretos em um computador quântico , Peter W. Shor discute uma melhoria na parte de busca de pedidos de seu algoritmo de fatoração. As saídas algoritmo padrão , um divisor de ordem de módulo . Em …

19 quantum-computing  nt.number-theory  factoring 

A Wikipedia listou quatro problemas que estão em mas foram conjecturados como estando fora de P : fatoração de número inteiro; Logaritmo discreto; Simulação de sistemas quânticos; Computando o polinômio Jones em certas raízes da unidade.B Q PBQPBQPPPP Existem outros problemas desse tipo?

19 cc.complexity-theory  complexity-classes  quantum-computing 

Em Computação Quântica e Informações Quânticas de Nielsen e Chuang, eles dizem que muitos dos algoritmos baseados nas transformações quânticas de Fourier dependem da propriedade Invariância Coset das transformadas Fourier e sugerem que as propriedades invariáveis ​​de outras transformações podem gerar novos algoritmos. Houve alguma pesquisa frutífera sobre outras transformações?

19 quantum-computing  quantum-information 

Qual é a complexidade do tempo (não a complexidade da consulta) do algoritmo de Grover? Parece-me claro que é pois existem iterações e cada iteração requer o uso da operação de reflexão que, por sua vez, leva tempo usando qualquer conjunto padrão de portas universais.Ω( √Ω ( log( N) N--√)Ω(log⁡(N)N)\Omega(\log(N) …

19 reference-request  quantum-computing  time-complexity 

Na computação quântica adiabática (AQC), codifica-se a solução para um problema de otimização no estado fundamental de um [problema] Hamiltoniano . Para chegar a esse estado fundamental, você começa em um estado inicial facilmente refrigerável ( H ) com Hamiltoniano H i e "recozido" (perturbado adiabaticamente) em direção a H …

19 reference-request  quantum-computing  physics  topology 

A computação reversível é um modelo computacional que permite apenas operações termodinamicamente reversíveis. De acordo com o princípio de Landauer, que afirma que apagar um pouco de informação libera joules de calor, isso exclui as funções de transição que não são individuais (por exemplo, os operadores booleanos AND e OR). …

19 cr.crypto-security  quantum-computing  big-picture  physics  quantum-information 

Na teoria da informação quântica, a distância entre dois canais quânticos é frequentemente medida usando a norma do diamante. Também existem várias maneiras de medir a distância entre dois estados quânticos, como a distância do traço, a fidelidade, etc. O isomorfismo de Jamiołkowski fornece uma dualidade entre canais quânticos e …

19 quantum-computing  it.information-theory  quantum-information 

Meu teorema favorito na teoria da complexidade é o teorema da hierarquia de tempo. No entanto, isso foi feito em 1965. Eu queria saber se havia algo semelhante para a computação quântica. Além disso, se não, quais são as pessoas / grupos trabalhando nessa direção!

19 cc.complexity-theory  quantum-computing 

É possível testar algoritmicamente se um número computável é racional ou inteiro? Em outras palavras, seria possível para uma biblioteca que implementa números computáveis ​​fornecer as funções isIntegerou isRational? Suponho que isso não seja possível e que isso esteja de alguma forma relacionado ao fato de que não é possível …

18 computability  computing-over-reals  lambda-calculus  graph-theory  co.combinatorics  cc.complexity-theory  reference-request  graph-theory  proofs  np-complete  cc.complexity-theory  machine-learning  boolean-functions  combinatory-logic  boolean-formulas  reference-request  approximation-algorithms  optimization  cc.complexity-theory  co.combinatorics  permutations  cc.complexity-theory  cc.complexity-theory  ai.artificial-intel  p-vs-np  relativization  co.combinatorics  permutations  ds.algorithms  algebra  automata-theory  dfa  lo.logic  temporal-logic  linear-temporal-logic  circuit-complexity  lower-bounds  permanent  arithmetic-circuits  determinant  dc.parallel-comp  asymptotics  ds.algorithms  graph-theory  planar-graphs  physics  max-flow  max-flow-min-cut  fl.formal-languages  automata-theory  finite-model-theory  dfa  language-design  soft-question  machine-learning  linear-algebra  db.databases  arithmetic-circuits  ds.algorithms  machine-learning  ds.data-structures  tree  soft-question  security  project-topic  approximation-algorithms  linear-programming  primal-dual  reference-request  graph-theory  graph-algorithms  cr.crypto-security  quantum-computing  gr.group-theory  graph-theory  time-complexity  lower-bounds  matrices  sorting  asymptotics  approximation-algorithms  linear-algebra  matrices  max-cut  graph-theory  graph-algorithms  time-complexity  circuit-complexity  regular-language  graph-algorithms  approximation-algorithms  set-cover  clique  graph-theory  graph-algorithms  approximation-algorithms  clustering  partition-problem  time-complexity  turing-machines  term-rewriting-systems  cc.complexity-theory  time-complexity  nondeterminism 

Eu sou um físico de coração e, portanto, acho que a computação quântica unidirecional é brilhante. Em particular, a computação quântica baseada em medição de estado de gráfico (MBQC) tem sido um desenvolvimento muito bom na pesquisa sobre computação quântica, originada por Raussendorf & Briegel . É necessário apenas preparar …

18 quantum-computing