Existe-t-il un progiciel permettant la décomposition d'unités unitaires de en circuits quantiques sur un ensemble de portes universel prédéfini?U(
Plutôt que des preuves empiriques, par quels principes formels avons-nous prouvé que l'informatique quantique sera plus rapide que l'informatique traditionnelle /
Nous considérons souvent les classes de complexité où nous sommes limités dans la quantité d'espace que notre machine de Turing peut utiliser, par exemple: ou NSPACE ( f ( n ) ) . Il semble qu'au début de la théorie de la complexité, il y eut beaucoup de succès avec ces classes telles que le...
Contexte Les fonctions dans sont PAC apprenables en temps quasi-polynomial avec un algorithme classique qui nécessite des requêtes choisies au hasard pour apprendre un circuit de profondeur d [1]. S'il n'y a pas d' algorithme de factorisation alors c'est optimal [2]. Bien sûr, sur un ordinateur...
La classe de complexité BQP correspond à des sous-programmes quantiques polynomiaux temporels prenant des entrées classiques et crachant une sortie classique probabiliste. Le conseil quantique le modifie pour inclure des copies de certains états de conseil quantique prédéterminés mais avec des...
D'après les commentaires sur une de mes questions sur mathoverflow je le sentiment que la question concernant GCD étant en par rapport à P est semblable à la question concernant Integer factorisation être dans P par rapport à N P .N CNC\mathsf{NC}PP\mathsf{P}PP\mathsf{P}N PNP\mathsf{NP} Y at - il...
Je suis étudiant en informatique de premier cycle et je planifie actuellement mon projet de fin d'études. J'ai besoin de quelques idées dans le domaine de l'informatique quantique. de
Beigi, Shor et Watrous ont un très bon article sur la puissance des preuves interactives quantiques avec des messages courts. Ils considèrent trois variantes de «messages courts», et la seule qui m'importe est leur deuxième variante où un nombre illimité de messages peut être envoyé, mais la...
Pour autant que je sache, presque toutes les implémentations de QKD utilisent l'algorithme CASCADE de Brassard et Salvail pour la correction des erreurs. Est-ce vraiment la méthode la plus connue pour corriger les erreurs dans une séquence partagée de qubits aléatoires, ou existe-t-il une meilleure...
Le contexte. Je vous écris sur des sujets tels que le théorème Gottesman-Knill , en utilisant des groupes de stabilisation Pauli, mais dans le cas de d -dimensionnelle qudits - où d peut avoir plus d'un facteur premier. (J'insiste sur ce point car la grande majorité de la littérature sur le...
Dans le journal Quantum Random Walks Hit Exponially Faster ( arXiv: quant-ph / 0205083 ) Kempe donne une notion de temps de frappe pour les marches quantiques (dans l'hypercube) qui n'est pas très populaire dans la littérature sur la marche quantique. Il est défini comme suit: One-Shot Quantum...
La théorie du calcul de l'état du cluster est désormais bien établie, montrant que tout circuit BQP peut être modifié de sorte qu'il n'utilise que des portes quantiques à qubit unique, éventuellement contrôlées de manière classique, à condition de fournir amplement un état connu sous le nom d...
Je lis dans SP Jordan, D. Gosset, "PJ amour des problèmes COMPLETES pour Hamiltonians stoquastic et matrices de MarkovQ MUNEQMAQMA " qu'il est peu probable que .Q MA ⊆ A MQMA⊆AMQMA \subseteq AM J'ai été surpris de cette affirmation. Quelle est donc la bonne relation entre et A M ?Q MUNEQMAQMAA...
L'adversaire général de la borne inférieure est désormais connu pour caractériser la complexité des requêtes quantiques grâce aux travaux révolutionnaires de Reichardt et al. La même ligne de travail établit également des connexions avec le cadre du programme span pour concevoir des algorithmes...
Je recherche un document d'enquête sur les concepts importants dans le domaine des automates quantiques. J'ai trouvé Quantum Automata Theory - A Review by Hirvensalo, mais cela semble trop succinct pour saisir le sujet. Existe-t-il une enquête assez complète sur le thème des automates quantiques?...
Version rapide Existe-t-il des modèles de décohérence pour la marche quantique sur la ligne de sorte que nous pouvons régler la marche pour qu'elle se répande en pour tout ?1 / deux ≤ k ≤ 1Θ ( tk)Θ(tk)\Theta(t^k)1 / 2 ≤ k ≤ 11/2≤k≤11/2 \leq k \leq 1 Motivation Les marches aléatoires classiques sont...
Le groupe Clifford d'opérateurs quantiques est généré par les opérations quantiques: Contrôlé-Z , Hadamard et Phase ( ).=|0⟩⟨0|+i|1⟩⟨1|=|0⟩⟨0|+i|1⟩⟨1|= |0\rangle\langle0| + i |1\rangle\langle1| Un circuit composé uniquement de ces portes peut être simulé efficacement sur un ordinateur classique....
Je suis actuellement à la recherche de bons documents de référence concernant les jeux non locaux avec des aspects bénéfiques en communication quantique. Par exemple, je suis conscient que les jeux non locaux sont bons pour réduire la complexité de la communication sur les limites inférieures et...
Je pense que la réponse à cette question est bien connue; mais, malheureusement, je ne sais pas. En informatique quantique, nous savons que les états mixtes sont représentés par des matrices de densité. Et la norme de trace de la différence de deux matrices de densité caractérise la distinction des...
J'examine des idées sur les algorithmes quantiques exacts. En particulier, je considère les limitations probables de , qui se compose de langages exactement décidables par des familles de circuits quantiques uniformes en temps polytemporaire sur un ensemble arbitraire de portes finies.E Q...