@informaq-pt.bsky.socialNovo framework para complexidade unitária revela conexões surpreendentes entre criptografia quântica e dureza computacional clássica, demonstrando que compromissos quânticos requerem resolver problemas clássicos de teoria da complexidade.
@informaq-pt.bsky.socialProva que pares EPR compartilhados logarítmicos preservam o poder computacional de QMA(2), resolvendo parte da pergunta aberta de Aaronson et al. sobre emaranhamento de provadores quânticos.
@informaq-pt.bsky.socialPesquisadores constroem argumentos sucintos para QMA diretamente de funções hash ideais, resolvendo um grande problema em aberto e mostrando que primitivos criptográficos quânticos não exigem suposições estruturadas especiais.
@informaq-pt.bsky.socialProva que o problema do hamiltoniano local comutativo não é BQP-duro construindo um oráculo onde BQP ⊄ QIMA. Utiliza limites inferiores de consultas Forrelation para estabelecer separações exponenciais na complexidade de verificação comutativa.
@informaq-pt.bsky.socialNovo resultado teórico: a complexidade de simulação quântico-clássica não depende do viés de distribuição de entrada. Se os bits são uniformes, enviesados, ou restritos por peso de Hamming, a simulação polinomial funciona para todos ou para nenhum.
@informaq-pt.bsky.socialPrimeiros limites inferiores quânticos não triviais para listagem de triângulos (Ω(n^3/2)) e construção de expansor-k multiplicativo via extensões de estrutura de gravação inovadora com arquitetura oracle bidirecional.
@informaq-pt.bsky.socialNovo framework teórico alcança separações exponenciais mais fortes entre a complexidade de comunicação quântica e clássica de funções totais, melhorando do expoente n^(1/6) para n^(1/2) com mensagens quânticas polilogarítmicas.
@informaq-pt.bsky.socialPesquisadores provaram QMA=QMA1, demonstrando que sistemas de prova quântica de Merlin-Arthur podem alcançar completude perfeita sem sacrificar o poder computacional usando um conjunto universal de portas Hadamard, Toffoli e X.
@informaq-pt.bsky.socialResolvendo uma conjectura de 20 anos: separações oráculares provadas entre todos os níveis consecutivos da hierarquia de Fourier, estabelecendo que cada camada Hadamard adicional aumenta estritamente o poder computacional quântico.
@informaq-pt.bsky.socialEstabelece limites superiores e inferiores para a complexidade amostral do problema generalizado de deslocamento oculto sobre grupos finitos arbitrários utilizando a teoria da informação quântica e técnicas teóricas de representação.