Gibt es Probleme, bei denen Quantencomputer bekanntermaßen einen exponentiellen Vorteil bieten?


27

Es wird allgemein angenommen und behauptet, dass Quantencomputer zumindest bei einigen Aufgaben die Leistung klassischer Geräte übertreffen können.

Eines der am häufigsten genannten Beispiele für ein Problem, bei dem Quantencomputer klassische Geräte übertreffen würden, ist ist auch nicht bekannt, ob auch mit einem klassischen Computer effizient lösbar ist (d. ist, ob ).Factoring Factoring PFactoringFactoringFactoringP

Bei anderen häufig genannten Problemen, bei denen Quantencomputer bekanntermaßen einen Vorteil bieten, wie z. B. der Datenbanksuche, ist die Beschleunigung nur polynomiell.

Gibt es bekannte Fälle von Problemen, in denen gezeigt werden kann (entweder bewiesen oder unter starker rechnerischer Komplexität bewiesen), dass Quantencomputer einen exponentiellen Vorteil bieten würden?


Ich würde sagen, die Antwort lautet nein, wenn Sie die Probleme auf Entscheidungsprobleme einschränken , da es Stichprobenprobleme gibt (z. B. BosonSampling und IQP), für die ein exponentieller Quantenvorteil nachgewiesen (oder vielmehr unter starken Annahmen bewiesen) wurde. Es kann andere geben, die ich nicht kenne.
glS

Beachten Sie, dass es bereits viele klassische Algorithmen für das Factoring mit subexponentiellen Kosten gibt. (Es gibt eine erhebliche Lücke zwischen polynomiellen und exponentiellen Kosten.)
Squeamish Ossifrage

Wie Heather sagt, ist dies derzeit nicht bekannt, da die Grenzen der klassischen (und Quanten-) Computer nicht bekannt sind. Die Kriterien, die Sie in Ihrer Frage angegeben haben, erfordern letztendlich, dass der Antwortende die Beziehung über P und NP hinaus nachweist. Ich würde vorschlagen, dass Sie Ihre Frage umformulieren, um nach anderen wahrscheinlichen Beispielen zu fragen (sowie Factoring).
Toby Hawkins

2
Die praktischen Konsequenzen einer Quantenbeschleunigung, z. B. für die Frage , ob Shors Algorithmus das klassische GNFS tatsächlich übertreffen kann, werden auch nicht notwendigerweise durch asymptotische Beziehungen der Wachstumskurven der Kosten impliziert . In dieser Antwort erfahren Sie etwas mehr über die asymptotische vs. konkrete Einstellung und warum Fragen rund um P = NP für die Kryptographie und praktische Leistungsvergleiche ein roter Faden sind.
Squeamish Ossifrage

1
@ SqueamishOssifrage Genau. Ich möchte hinzufügen, dass das Gleichsetzen der Mitgliedschaft von P mit "effizient" bei Informatikern eher Wunschdenken als absolute Wahrheit ist. Die Idee ist, dass, sobald gezeigt wurde, dass ein Problem in P liegt , auch wenn es etwas Grässliches wie , es Verbesserungen geben wird, die es zu etwas ähnlichem wie O ( n 3 ) abschälen , etwas näher an der gemütliche "bedingte Untergrenzen". Um das zu würdigen, ist dies normalerweise in der Vergangenheit passiert. Dies ist jedoch keine Garantie, und für die Praktikabilität gibt es sogar "lineare" Algorithmen, die als "nicht implementierbar" gelten. O(n1235436546)O(n3)
Diskrete Eidechse

Antworten:


9

Angenommen, eine Funktion hat die folgende merkwürdige Eigenschaft: Es gibt s { 0 , 1 } n, so dass f ( x ) = f ( y ) genau dann, wenn x + y = s ist . Wenn s = 0 die einzige Lösung ist, bedeutet dies, dass f 1-zu-1 ist; ansonsten gibt es ein von Null verschiedenes s, so dass f ( x )f:F2nF2ns{0,1}nf(x)=f(y)x+y=ss=0fs für alle x , wasbedeutet, dass f 2-zu-1 ist, weil 2 = 0 .f(x)=f(x+s)x2=0f

Was kostet es für eine vorgeschriebene Erfolgswahrscheinlichkeit auf einem klassischen oder Quantencomputer, eine einheitliche zufällige 1-zu-1-Funktion von einer einheitlichen zufälligen 2-zu-1-Funktion zu unterscheiden, die diese Eigenschaft erfüllt, wenn jede Option (1-zu -1 oder 2-zu-1) hat gleiche Wahrscheinlichkeit?

Dh ich werfe heimlich eine Münze fair um; Wenn ich Köpfe bekomme, gebe ich dir eine Black-Box-Schaltung (klassisch oder quantum bzw.) für eine einheitliche zufällige 1-zu-1-Funktion , während ich Schwänze bekomme, gebe ich dir eine Black-Box-Schaltung für eine einheitliche zufällige 2-zu -1 Funktion f . Wie viel haben Sie zu zahlen , um eine vorgeschriebene Erfolgswahrscheinlichkeit zu bekommen p zu sagen , ob ich bekam Kopf oder Zahl?ffp

Dies ist das Szenario von Simons Algorithmus . Es hat esoterische Anwendungen in unsinnigen cryptanalysis , * und es war ein frühes Instrument in die Komplexitätsklassen BQP und BPP Studium und eine frühe Inspiration für Shor-Algorithmus.

Simon präsentierte einen Quantenalgorithmus (§3.1, S. 7), der Qubits und die erwartete O ( n T f ( n ) + G ( n ) ) Zeit für die Wahrscheinlichkeit nahe 1 des Erfolgs kostet , wobei T f ( n ) ist die Zeit zum Berechnen einer Überlagerung von Werten von f an einer Eingabe der Größe n und wobei G ( n ) die Zeit zum Lösen von istO(n+|f|)O(nTf(n)+G(n))Tf(n)fnG(n) lineares Gleichungssystem in F 2 .n×nF2

Simon skizzierte ferner einen Nachweis (Theorem 3.1, p . 9) , dass ein klassische Algorithmus Auswertung bei nicht mehr als 2 n / 4 unterschiedlichen diskreten Werten nicht die Münze mit Vorteile erraten besser als 2 - n / 2 über eine einheitliche Zufall Vermutung.f2n/42-n/2

In gewissem Sinne beantwortet dies Ihre Frage positiv: Eine Quantenberechnung, die eine lineare Anzahl von Auswertungen einer Zufallsfunktion auf einer Quantenüberlagerung von Eingaben erfordert, kann eine viel bessere Erfolgswahrscheinlichkeit erzielen als eine klassische Berechnung, die eine exponentielle Anzahl von Auswertungen einer Zufallsfunktion auf diskret erfordert Eingänge , in der Größe der Eingänge. Aber in einem anderen Sinne beantwortet Ihre Frage nicht überhaupt, weil es , dass für sein könnte jede bestimmte Funktion es ein schnellerer Weg, um die Suche zu berechnen.f

Der Deutsch-Jozsa-Algorithmus dient als ähnliche Illustration für ein etwas anderes künstliches Problem, um verschiedene Komplexitätsklassen (P und EQP) zu untersuchen, wobei die Details herausgefunden werden, die dem Leser als Übung überlassen bleiben.


* Simon's ist für die Kryptoanalyse unsinnig, weil nur ein unvorstellbar verwirrter Idiot seinen geheimen Schlüssel in den Quantenschaltkreis des Gegners einspeisen würde, um ihn für eine Quantenüberlagerung von Eingaben zu verwenden. Aus irgendeinem Grund sorgt er jedoch jedes Mal für Aufsehen, wenn jemand eine neue Veröffentlichung über die Verwendung von Simons Algorithmus veröffentlicht die Schlüssel der Idioten mit imaginärer Hardware zu knacken, so funktionieren all diese Angriffe. Ausnahme: Es ist möglich, dass dies die White-Box- Kryptographie zerstört, aber die Sicherheitsstory für die White-Box-Kryptographie selbst gegenüber klassischen Gegnern ist nicht vielversprechend.


1
interessant, danke für die antwort. Können Sie erläutern, warum dies keinen Beweis dafür darstellt, dass ? Ich denke, die Antwort ist etwas in der Art, dass eine orakelhafte Trennung zeigt, im Gegensatz zu einer "normalen", aber ich kenne mich in diesen Themen nicht gut genug aus, um es wirklich auszudrücken. Ich denke, eine kurze Diskussion darüber würde die Antwort verbessern. BQPBPP
glS

@glS Ich habe einen Satz hinzugefügt, der meiner Meinung nach den entscheidenden Unterschied ausmacht. Hilft das?
Squeamish Ossifrage

12

Ich bin mir nicht sicher, ob dies genau das ist, wonach Sie suchen. und ich weiß nicht, ob ich dies als "exponentiell" bezeichnen würde (ich bin auch kein Informatiker, daher gibt es für mich so gut wie keine Algorithmusanalyse ...), aber ein aktuelles Ergebnis von Bravyi et. al präsentierte eine Klasse von '2D-Problemen mit versteckten linearen Funktionen', die nachweislich weniger Ressourcen auf einem quantenparallelen Gerät verbrauchen.

N×NEINbq

LogN>7/8

Der Beweis läuft im Wesentlichen darauf hinaus, dass ein bestimmter Graphenzustand für eine klassische Schaltung schwer zu simulieren ist. Dieses Unterergebnis wurde etwas früher bewiesen . Dann zeigt der Rest des Papiers, dass die größere Klasse von Problemen dieses schwierige Problem enthält.


5

BPPOBQPO


2

2

Obwohl ich keinen formalen Beweis liefern kann, wird angenommen, dass die Simulation (der zeitlichen Entwicklung) eines Quantensystems ein solcher Fall ist: Es gibt keinen besseren Weg, dies auf einem klassischen Computer zu tun als in exponentieller Zeit, aber ein Quantencomputer kann dies Mach es einfach in polynomialer Zeit.

Die Idee eines solchen Quantensimulators (siehe auch Wikipedia-Artikel ) ist in der Tat, wie Quantencomputer zuerst vorgeschlagen wurden.

Durch die Nutzung unserer Website bestätigen Sie, dass Sie unsere Cookie-Richtlinie und Datenschutzrichtlinie gelesen und verstanden haben.
Licensed under cc by-sa 3.0 with attribution required.