Existe-t-il des problèmes dans lesquels les ordinateurs quantiques sont connus pour fournir un avantage exponentiel?


27

Il est généralement admis et affirmé que les ordinateurs quantiques peuvent surpasser les appareils classiques dans au moins certaines tâches.

L' un des exemples d'un problème le plus fréquemment cités dans les ordinateurs quantiques seraient surperformer les dispositifs classiques est , mais là encore, il est ne sait pas si est aussi efficace résoluble avec un ordinateur classique (qui est, si ).FactoringFactoringFactoringP

Pour d'autres problèmes couramment cités dans lesquels les ordinateurs quantiques sont connus pour fournir un avantage, tels que la recherche dans la base de données, l'accélération n'est que polynomiale.

Y a-t-il des cas connus de problèmes dans lesquels il peut être démontré (prouvé ou prouvé sous de fortes hypothèses de complexité de calcul) que les ordinateurs quantiques fourniraient un avantage exponentiel?


Je dirais que la réponse est non si vous limitez les problèmes à des problèmes de décision , car il y a des problèmes d'échantillonnage (par exemple, BosonSampling et IQP) pour lesquels un avantage quantique exponentiel a été démontré (ou plutôt prouvé sous de fortes hypothèses). Il y en a peut-être d'autres que je ne connais pas.
glS

Notez qu'il existe déjà de nombreux algorithmes classiques à coût sous-exponentiel pour l'affacturage. (Il existe un écart important entre les coûts polynomiaux et exponentiels.)
Squeamish Ossifrage

Comme le dit Heather, cela n'est actuellement pas connu car les limites des ordinateurs classiques (et quantiques) ne sont pas connues. Les critères que vous énoncez dans votre question obligent finalement le répondeur à aller même au-delà de la preuve de la relation au-delà de P et NP. Je vous suggère de reformuler votre question pour demander d'autres exemples probables (ainsi que l'affacturage).
Toby Hawkins

2
Les conséquences pratiques d'une accélération quantique, par exemple pour savoir si l'algorithme de Shor peut réellement surpasser le GNFS classique, ne sont pas nécessairement impliquées non plus par des relations asymptotiques des courbes de croissance des coûts. Voir cette réponse pour un peu plus sur le paramètre asymptotique vs concret, et pourquoi les questions autour de P = NP sont un peu un hareng rouge pour la cryptographie et les comparaisons de performances pratiques.
Squeamish Ossifrage

1
@SqueamishOssifrage Exactement. Je voudrais ajouter qu'assimiler l'appartenance à P à «efficace» est plus un vœu pieux de la part des informaticiens que la vérité absolue. L'idée est que, une fois qu'il a montré qu'un problème réside dans P , même si son quelque chose d'horrible comme , il y aura des améliorations le rasant à quelque chose de similaire à , un un peu plus près des confortables «limites inférieures conditionnelles». Au crédit, cela s'est généralement produit dans le passé. Mais ce n'est pas une garantie et quant à l'aspect pratique, il existe même des algorithmes «linéaires» qui sont considérés comme «non réalisables». O ( n 3 )O(n1235436546)O(n3)
Lézard discret

Réponses:


9

Supposons qu'une fonction ait la propriété curieuse suivante: Il existe s { 0 , 1 } n tel que f ( x ) = f ( y ) si et seulement si x + y = s . Si s = 0 est la seule solution, cela signifie que f est 1 à 1; sinon il y a une valeur non nulle de telle sorte que f ( x )F:F2nF2ns{0,1}nf(x)=f(y)x+y=ss=0fs pour tout x , ce qui, parce que 2 = 0 , signifie que f est 2 pour 1.f(x)=f(x+s)x2=0f

Quel est le coût, pour une probabilité de réussite prescrite, sur un ordinateur classique ou quantique, de distinguer une fonction aléatoire uniforme 1-à-1 d'une fonction aléatoire aléatoire 2-à-1 satisfaisant cette propriété, si chaque option (1 à -1 ou 2 à 1) a une probabilité égale?

C'est-à-dire que je lance secrètement une pièce; si je reçois des têtes je vous remets un circuit de boîte noire (classique ou quantique, resp.) pour une fonction aléatoire uniforme de 1 à 1 , alors que si je reçois des queues je vous donne un circuit de boîte noire pour un aléatoire uniforme de 2 à -1 fonction f . Combien devez-vous payer pour obtenir une probabilité de succès prescrite p de dire si j'ai des têtes ou des queues?ffp

C'est le scénario de l'algorithme de Simon . Elle a des applications ésotériques dans cryptanalyse aucun sens , * et il était un instrument au début de l' étude des classes de complexité BQP et BPP et un début d' inspiration pour l'algorithme de Shor.

Simon a présenté un algorithme quantique (§3.1, p. 7) qui coûte qubits et le temps O ( n T f ( n ) + G ( n ) ) prévu pour une probabilité proche de 1 de réussite, où T f ( n ) est le temps pour calculer une superposition de valeurs de f sur une entrée de taille n et où G ( n ) est le temps pour résoudre unO(n+|f|)O(nTf(n)+G(n))TF(n)Fng(n) système d'équations linéaires dans F 2 .n×nF2

Simon a ensuite esquissé une preuve (théorème 3.1, p. 9) qu'un algorithme classique évaluant à pas plus de 2 n / 4 valeurs distinctes distinctes ne peut pas deviner la pièce avec un avantage meilleur que 2 - n / 2 sur une supposition aléatoire uniforme.F2n/42-n/2

Dans un certain sens, cela répond positivement à votre question: un calcul quantique nécessitant un nombre linéaire d'évaluations de fonction aléatoire sur une superposition quantique d'entrées peut atteindre une bien meilleure probabilité de succès qu'un calcul classique nécessitant un nombre exponentiel d'évaluations d'une fonction aléatoire sur discret entrées , dans la taille des entrées. Mais dans un autre sens, cela ne répond pas du tout à votre question, car il se pourrait que pour chaque fonction particulière il existe un moyen plus rapide de calculer la recherche.F

L' algorithme de Deutsch – Jozsa sert d'illustration similaire à un problème artificiel légèrement différent pour étudier différentes classes de complexité, P et EQP, dont les détails sont laissés en exercice au lecteur.


* Simon n'a pas de sens pour la cryptanalyse, car seul un idiot inconcevablement confus alimenterait sa clé secrète dans le circuit quantique de l'adversaire pour l'utiliser sur une superposition quantique d'entrées, mais pour une raison quelconque, il fait sensation à chaque fois que quelqu'un publie un nouvel article sur l'utilisation de l'algorithme de Simon. briser les clés des idiots avec du matériel imaginaire, c'est ainsi que fonctionnent toutes ces attaques. Exception: il est possible que cela brise la cryptographie en boîte blanche , mais l'histoire de la sécurité de la cryptographie en boîte blanche, même contre les adversaires classiques, n'est pas prometteuse.


1
intéressant, merci pour la réponse. Pouvez-vous expliquer pourquoi ce n'est pas la preuve que ? Je suppose que la réponse est quelque chose dans le sens de cela montrant une séparation oraculaire , par opposition à une séparation "régulière", mais je ne suis pas assez versé dans ces sujets pour vraiment dire. Je pense qu'une brève discussion à ce sujet améliorerait la réponse. BQPBPP
glS

@glS J'ai ajouté une phrase qui, je pense, devrait être au cœur de la différence. Est ce que ça aide?
Squeamish Ossifrage

12

Je ne sais pas si c'est exactement ce que vous recherchez; et je ne sais pas si je qualifierais cela d '"exponentiel" (je ne suis pas non plus un informaticien donc ma capacité à faire des analyses d'algorithmes est plus ou moins inexistante ...), mais un résultat récent de Bravyi et. al a présenté une classe de «problèmes de fonction linéaire cachée 2D» qui utilisent de manière prouvée moins de ressources sur un dispositif parallèle quantique.

N×NUNEbq

bûcheN>7/8

La preuve revient essentiellement à un état de graphe spécifique étant difficile à simuler pour un circuit classique, ce sous-résultat a été prouvé un peu plus tôt . Ensuite, le reste de l'article montre que la plus grande classe de problèmes contient ce problème difficile.


5

BPPOBQPO


2

2

Bien que je ne puisse pas fournir de preuve formelle, la simulation (de l'évolution temporelle) d'un système quantique est supposée être un tel cas: il n'y a pas de meilleure façon connue de le faire sur un ordinateur classique qu'en temps exponentiel mais un ordinateur quantique peut le faire trivialement en temps polynomial.

L'idée d'un tel simulateur quantique (voir également l' article de wikipedia ) est en fait la première proposition des ordinateurs quantiques.

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.