NP-intermediäre Probleme mit effizienten Quantenlösungen

27

Peter Shor hat gezeigt, dass zwei der wichtigsten NP-Intermediate-Probleme, Factoring und das diskrete Log-Problem, im BQP liegen. Im Gegensatz dazu liefert der bekannteste Quantenalgorithmus für SAT (Grovers Suche) nur eine quadratische Verbesserung gegenüber dem klassischen Algorithmus, was darauf hindeutet, dass NP-vollständige Probleme auf Quantencomputern immer noch nicht gelöst werden können. Wie Arora und Barak hervorheben, gibt es auch bei BQP ein Problem, von dem nicht bekannt ist, dass es sich um NP handelt, was zu der Vermutung führt, dass die beiden Klassen unvergleichbar sind.

Gibt es irgendwelche Kenntnisse / Vermutungen darüber, warum diese NP-intermediären Probleme in BQP auftreten, aber warum SAT (soweit wir wissen) nicht? Folgen andere NP-intermediäre Probleme diesem Trend? Insbesondere ist Graph-Isomorphismus in BQP? (Dieser google nicht gut).

Huck Bennett
quelle
5
Schauen Sie sich diese Math Overflow-Frage und den Quantenalgorithmus-Zoo an .
Peter Shor
4
Ich nehme an, ich sollte mich mit der Frage befassen, warum bestimmte NP-Zwischenprobleme bei BQP auftreten und andere nicht bekannt sind. Das einzige, was ich wirklich zuversichtlich sagen kann, ist, dass die Probleme, von denen bekannt ist, dass sie in BQP vorkommen, in verschiedene Klassen unterteilt sind und in jeder Klasse im Allgemeinen die gleichen Techniken in der Lösung verwendet werden. Siehe die beiden Links in meinem vorherigen Kommentar
Peter Shor
1
Jedes BQP-vollständige Problem dient als Beispiel für ein Problem in BQP, von dem nicht bekannt ist, dass es in NP vorliegt.
Robin Kothari
2
Bezüglich eines Quantengraphen-Isomorphismus-Algorithmus: tuvalu.santafe.edu/~moore/qip-slides.pdf .
Huck Bennett
1
BQP-vollständig? Kann jemand bitte ein BQP-vollständiges Problem anführen?
Cem Say

Antworten:

32

Es ist nicht bekannt, dass der Graphisomorphismus in BQP vorliegt. Es wurde viel Arbeit darauf verwendet, es einzufügen. Eine sehr interessante Beobachtung ist, dass der Graphisomorphismus gelöst werden könnte, wenn Quantencomputer das nicht-abelsche Problem der verborgenen Untergruppen für die symmetrische Gruppe lösen könnten (Faktorisierung und diskretes Log werden durch gelöst) Verwenden des Problems der versteckten abelschen Untergruppen, das wiederum durch Anwenden der Quanten-Fourier-Transformation auf abelsche Gruppen gelöst wird.

Eine Möglichkeit, den Isomorphismus von Graphen zu lösen, war die Anwendung der Quanten-Fourier-Transformation für nicht-abelsche Gruppen. Es gibt Algorithmen für die Quanten-Fourier-Transformation für viele nicht-abelsche Gruppen, einschließlich der symmetrischen Gruppe. Leider scheint es nicht möglich zu sein, die Quanten-Fourier-Transformation für die symmetrische Gruppe zu verwenden, um den Graphisomorphismus zu lösen. Es wurden einige Artikel darüber geschrieben, die zeigen, dass es nicht funktioniert, wenn verschiedene Annahmen über die Struktur des Algorithmus getroffen werden. Diese Papiere sind wahrscheinlich das, was Sie finden, wenn Sie googeln.

Peter Shor
quelle
1
Ich schätze, die Probleme, die ich gefragt habe, fallen in die Kategorie 2 (QFT / HSP) der MathOverflow-Frage, und das ist die zentrale Gemeinsamkeit. Vielen Dank!
Huck Bennett
10
Dies ist eine schöne Umfrage zu allem, was Peter sagte. Arxiv.org/abs/0812.0380
Marcos Villagra
Wie steht es mit der Komplexität des Quantencomputer-Algorithmus auf GI, der mit dem Ergebnis von Prof. Babai zur Graphisomorphie steht?
XL _At_Here_There
Wir haben derzeit keine Quantenalgorithmen, die besser sind als klassische Algorithmen.
Peter Shor
20

Die folkloristische Antwort lautet, dass Factoring so "strukturiert" ist, dass es keine allgemeinen NP-vollständigen Probleme gibt, und deshalb konnten wir nur Quantenvorteile für Zwischenprobleme finden.

Möglicherweise ist es eine einfachere Version Ihrer Frage, sich nicht mit der Komplexität der Berechnungen, sondern mit der Komplexität der Abfragen von Booleschen Funktionen zu befassen. Hier können wir einige Dinge nachweislich sagen, wie zum Beispiel die Tatsache, dass Superpolynom-Beschleunigungen nur für Teilfunktionen (bewiesen in http://arxiv.org/abs/quant-ph/9802049 ) und nicht für Funktionen möglich sind, die in ihren Eingaben symmetrisch sind und Ausgänge (geprüft in http://arxiv.org/abs/0911.0996 ).

Diese Ergebnisse werfen kein direktes Licht auf die Frage zwischen BQP und NP, aber ich denke, sie sind sinnvolle Schritte, um festzustellen, wo es einen Quantenvorteil gibt.

Aram Harrow
quelle