Questions marquées «quantum-computing»

Calcul quantique et problèmes de calcul liés à la mécanique quantique

1
Manière uniforme de quantifier la «ramification» dans le calcul non déterministe, probabiliste et quantique?
Le calcul d'une machine de Turing non déterministe (NTM) est bien connu pour être représentable comme un arbre de configurations, enraciné à la configuration de départ. Toute transition dans le programme est représentée par un lien père-enfant dans cet arbre. Des arbres similaires peuvent également être construits pour visualiser également …
1
Quelle est la preuve que les ordinateurs quantiques peuvent simuler efficacement des systèmes mécaniques quantiques arbitraires?
JBV a suggéré de transformer certains commentaires en question, alors voici. Une autre question [1] pose sur les applications de l'informatique QM. Une réponse [2] était "simuler efficacement la mécanique quantique". Apparemment, cette idée remonte aux premiers écrits de Feynman sur le sujet; même si je n'ai pas de référence. …
4
Inégalités quantiques de type cloche
Je suis curieux de savoir si quelqu'un pourrait recommander du matériel supplémentaire pour acquérir une compréhension plus approfondie de l'article: " Quelques résultats et problèmes sur les inégalités quantiques de type Bell - Tsirelson ". Plus précisément, quelque chose qui pourrait élaborer un peu plus sur l'interprétation géométrique des inégalités …
2
Restreindre les entrées d'opérateurs unitaires aux nombres réels et aux ensembles de portes universelles
Dans l'article fondateur de Bernstein et Vazirani "Théorie de la complexité quantique", ils montrent qu'une transformation unitaire en dimensions peut être efficacement approchée par un produit de ce qu'ils appellent des "rotations quasi-triviales" et des "décalages de phases quasi-triviaux".ddd Les «rotations quasi triviales» sont des matrices unitaires dimensionnelles qui agissent …
1
Programmes étendus, taille des témoins et complexité des certificats
Un programme span est une manière linéaire-algébrique de spécifier une fonction booléenne présentée ici . Récemment, ce modèle a été utilisé pour montrer que la méthode de l'adversaire négatif fournit une caractérisation étroite (au moins jusqu'à ) de la complexité des requêtes quantiques.Journaln / logJournalnlog⁡n/log⁡log⁡n\log n/ \log \log n La …
2
L'informatique quantique adiabatique est-elle aussi puissante que le modèle de circuit?
Une grande partie de la littérature sur l'informatique quantique se concentre sur le modèle de circuit. L'informatique quantique adiabatique n'est pas basée sur l'application d'une séquence d'opérateurs unitaires, mais sur la modification d'un hamiltonien dépendant du temps. Je recherche un aperçu de l'un des éléments suivants. L'informatique quantique adiabatique est-elle …
1
Sur l'optimalité de l'algorithme de Grover avec une probabilité de réussite élevée
Il est bien connu que la complexité de la requête quantique d'erreur bornée de la fonction est Θ ( √O R ( x1, x2, … , Xn)OR(x1,x2,…,xn)OR(x_1,x_2,\ldots, x_n). Maintenantla question est que si nous voulonsnotre algorithme quantique pour réussir à chaque entrée avecprobabilité1-εplutôt que l'habituel2/3. Maintenant, en termes deϵquelles seraient …
1
Quel est le rôle approprié de la vérification dans l'échantillonnage quantique, la simulation et les tests de Church-Turing étendus (ECT)?
Comme aucune réponse n'a été donnée, un indicateur a été défini pour demander que cette question soit convertie en wiki communautaire. Les commentaires d'Aaron Sterling, Sasho Nikolov et Vor ont été synthétisés dans la résolution suivante, qui est ouverte à la discussion wiki communautaire: Résolu: En ce qui concerne les …
En utilisant notre site, vous reconnaissez avoir lu et compris notre politique liée aux cookies et notre politique de confidentialité.
Licensed under cc by-sa 3.0 with attribution required.