Hauptmenü öffnen

Quantencomputer

Computer, dessen Funktionsweise auf den Gesetzmäßigkeiten der Quantenmechanik beruht

Ein Quantenprozessor bzw. Quantencomputer ist ein Prozessor, dessen Funktion auf den Gesetzen der Quantenmechanik beruht.

Im Unterschied zum klassischen Computer arbeitet er nicht auf der Basis der Gesetze der klassischen Physik bzw. Informatik, sondern auf der Basis quantenmechanischer Zustände. Die Verarbeitung dieser Zustände erfolgt nach quantenmechanischen Prinzipien. Hierbei sind (i) das Superpositionsprinzip (d. h. die quantenmechanische Kohärenz, analog zu den Kohärenzeffekten, siehe z. B. Holographie, in der sonst inkohärenten Optik) und (ii) die Quantenverschränkung von Bedeutung. Theoretische Studien zeigen, dass unter Ausnutzung dieser Effekte bestimmte Probleme der Informatik, z. B. die Suche in extrem großen Datenbanken (siehe Grover-Algorithmus) und die Faktorisierung großer Zahlen (siehe Shor-Algorithmus) effizienter gelöst werden können als mit klassischen Computern. Dies würde viele mathematische Probleme leichter lösbar machen.

Der Quantencomputer war lange ein überwiegend theoretisches Konzept. Es gibt verschiedene Vorschläge, wie ein Quantencomputer realisiert werden könnte, und in kleinem Maßstab wurden einige dieser Konzepte im Labor erprobt und Quantencomputer mit wenigen Qubits realisiert. Neben der Anzahl der Qubits ist aber auch zum Beispiel eine geringe Fehlerquote beim Rechnen und Auslesen wichtig und wie lange die Zustände in den Qubits aufrechterhalten werden können. Gegenwärtig (2018) investieren viele große Computerfirmen in die Entwicklung von Quantencomputern und der Rekord liegt bei rund 50 bis 70 Qubits.

Inhaltsverzeichnis

QubitsBearbeiten

 
Zur Definition des Begriffes Qubit:
Beim Quantencomputing arbeitet man mit allgemeinen Zuständen, die in bestimmter Weise durch Überlagerung  der beiden farbig gekennzeichneten Basiszustände entstehen, wogegen beim klassischen Computing nur die Basiszustände selbst auftreten.

In einem klassischen Computer wird sämtliche Information in Bits dargestellt. Physikalisch wird ein Bit dadurch realisiert, dass ein elektrisches Potential entweder oberhalb eines bestimmten Pegels liegt oder unterhalb.

Auch in einem Quantencomputer wird Information in der Regel binär dargestellt. Dazu bedient man sich eines physikalischen Systems mit zwei nicht notwendigerweise orthogonal gewählten Basiszuständen eines zweidimensionalen komplexen Raums, wie er in der Quantenmechanik auftritt. Ein Basiszustand repräsentiert den quantenmechanischen Zustandsvektor  , der andere den Zustandsvektor  . Dabei wird die Dirac-Notation genutzt. Bei diesen quantenmechanischen Zwei-Niveau-Systemen kann es sich z. B. um den Spinvektor eines Elektrons handeln, der entweder nach „oben“ oder nach „unten“ zeigt. Andere Implementierungen nutzen das Energieniveau in Atomen oder Molekülen oder die Flussrichtung eines Stroms in einem ringförmigen Supraleiter. Ein solches quantenmechanisches Zweizustandssystem wird Qubit (Quanten-Bit) genannt.

Eine Eigenschaft quantenmechanischer Zustandsvektoren ist, dass diese eine Überlagerung anderer Zustände sein können. Dies wird auch Superposition genannt. Im konkreten Fall bedeutet dies, dass ein Qubit nicht entweder   oder   sein muss, wie dies für die Bits des klassischen Computers der Fall ist. Vielmehr ergibt sich der Zustand eines Qubits in dem oben erwähnten zweidimensionalen komplexen Raum allgemein zu

 ,

wobei wie in der kohärenten Optik beliebige Überlagerungszustände zugelassen sind. Der Unterschied zwischen klassischem und quantenmechanischem Computing ist also analog dem zwischen inkohärenter bzw. kohärenter Optik (im ersten Fall werden Intensitäten addiert, im zweiten direkt die Feldamplituden, wie etwa in der Holographie).

Hierbei sind   und   komplexe Zahlen. Zur Normierung fordert man  . Ohne Beschränkung der Allgemeinheit kann   reell und nichtnegativ gewählt werden. Die Wahrscheinlichkeit dafür, als Resultat einer Messung am Zustand   den Wert 0 zu erhalten, beträgt  . Die Wahrscheinlichkeit dafür, als Resultat einer im Allgemeinen anderen Messung am Zustand   den Wert 1 zu erhalten, beträgt  . Die Summe   ist nur für orthogonale Basiszustände 1. Davon unabhängig darf dieses probabilistische Verhalten nicht so interpretiert werden, dass sich das Qubit mit einer bestimmten Wahrscheinlichkeit im Zustand   und mit einer anderen Wahrscheinlichkeit im Zustand   befindet, während andere Zustände nicht zugelassen sind. Ein solches ausschließendes Verhalten könnte man auch mit einem klassischen Computer erzielen, der einen Zufallsgenerator verwendet, um beim Auftreten von überlagerten Zuständen zu entscheiden, ob er mit 0 oder 1 weiterrechnet. Ein solches ausschließendes Verhalten kommt in der statistischen Physik vor, die im Gegensatz zur Quantenmechanik inkohärent ist.

Bei Berücksichtigung der kohärenten Überlagerung erhält man allgemein

 ,

wobei   den Realteil der komplexen Zahl   bedeutet,   die konjugiert-komplexe Zahl zu   und   das quantenmechanische Skalarprodukt der betreffenden Zustände ist.[1]

Quantenregister, VerschränkungBearbeiten

Wie beim klassischen Computer fasst man mehrere Qubits zu Quantenregistern zusammen. Der Zustand eines Qubit-Registers ist dann gemäß den Gesetzen der Vielteilchen-Quantenmechanik ein Zustand aus einem  -dimensionalen Hilbert-Raum. Eine mögliche Basis dieses Vektorraums ist die Produktbasis über der Basis  . Für ein Register aus zwei Qubits erhielte man demnach die Basis  . Auch der Zustand des Registers kann eine beliebige Superposition dieser Basiszustände sein, also bei   Qubits von der Form

 ,

mit beliebigen komplexen Zahlen   und der üblichen Dualbasis. Auch Summen bzw. Differenzen solcher Terme sind erlaubt, während bei klassischen Computern nur die Basiszustände selbst vorkommen, d. h. nur aus den Ziffern 0 bzw. 1 zusammengesetzte Vorfaktoren.

Die Zustände eines Quantenregisters lassen sich nicht immer aus den Zuständen unabhängiger Qubits zusammensetzen: Beispielsweise kann der Zustand

 

nicht in ein Produkt aus einem Zustand für das erste und einem Zustand für das zweite Qubit zerlegt werden.

Man nennt einen derartigen Zustand daher auch verschränkt (in der englischsprachigen Literatur spricht man von entanglement). Das Gleiche gilt für den von   verschiedenen Zustand

 .[2]

Diese Verschränkung ist ein Grund, warum Quantencomputer effizienter als klassische Computer sein können, d. h. dass sie prinzipiell bestimmte Probleme schneller als klassische Computer lösen können: Um den Zustand eines klassischen  -Bit-Registers darzustellen, benötigt man   Bits an Information. Der Zustand des Quanten-Registers ist aber ein Vektor aus einem  -dimensionalen Vektorraum, so dass zu dessen Darstellung   komplexwertige Koeffizienten benötigt werden. Bei großem   ist die Zahl   viel größer als   selbst.

Das Superpositionsprinzip wird oft so dargestellt, dass ein Quantencomputer in einem Quantenregister aus   Qubits gleichzeitig alle   Zahlen von 0 bis   speichern könnte. Diese Vorstellung ist irreführend. Da eine am Register vorgenommene Messung stets genau einen der Basiszustände auswählt, lässt sich unter Anwendung des so genannten Holevo-Theorems zeigen, dass der maximale zugängliche Informationsgehalt eines einzelnen unverschränkten Qubits wie im klassischen Fall genau ein Bit beträgt.[3][4] Es ist dennoch korrekt, dass das Superpositionsprinzip eine Parallelität in den Rechnungen erlaubt, die über das hinausgeht, was in einem klassischen Parallelrechner passiert. Bei der Vorstellung einiger Quantenalgorithmen wird darauf näher eingegangen.

QuantengatterBearbeiten

Beim klassischen Computer werden durch Logikgatter (engl. Gates) elementare Operationen auf den Bits durchgeführt. Mehrere Gatter werden zu einem Schaltnetz verbunden, das dann komplexe Operationen wie das Addieren zweier Binärzahlen durchführen kann. Die Gatter werden durch physikalische Bauelemente wie Transistoren realisiert und die Information als elektrisches Signal durch diese Bauelemente geleitet.

Berechnungen auf einem Quantencomputer laufen grundsätzlich anders ab: Ein Quantengatter (engl. Quantum Gate) ist kein technischer Baustein, sondern stellt eine elementare physikalische Manipulation eines oder mehrerer Qubits dar. Wie genau so eine Manipulation aussieht, hängt von der tatsächlichen physikalischen Natur des Qubits ab. So lässt sich der Spin eines Elektrons durch eingestrahlte Magnetfelder beeinflussen, der Anregungszustand eines Atoms durch Laserpulse. Obwohl also ein Quantengatter kein elektronischer Baustein, sondern eine im Verlauf der Zeit auf das Quantenregister angewendete Aktion ist, beschreibt man Quantenalgorithmen mit Hilfe von Schaltplänen, vgl. hierzu den Artikel Liste der Quantengatter.

Formal ist ein Quantengatter eine unitäre Operation  , die auf den Zustand des Quanten-Registers wirkt:

 

Ein Quantengatter kann daher als unitäre Matrix geschrieben werden. Ein Gatter, welches den Zustand eines Qubits umdreht (negiert), würde im Falle eines zweidimensionalen Zustandsraums der folgenden Matrix entsprechen:

 

Komplizierter zu schreiben sind Quantengatter (unitäre Matrizen), die Zwei- oder Mehr-Qubitzustände modifizieren, z. B. das in   definierte CNOT-Gatter, mit der Zwei-Qubit-Zustandstabelle  ,  ,   und  .[5] Das Ergebnis lässt sich zusätzlich bezüglich Stellenindizes   und   symmetrisieren bzw. antisymmetrisieren, etwa nach dem Schema

 ,

wodurch verschränkte Zustände entstehen.

Ein Quantenschaltkreis besteht aus mehreren Quantengattern, die in fester zeitlicher Abfolge auf das Quantenregister angewendet werden. Beispiele hierfür sind die Quanten-Fouriertransformation oder der Shor-Algorithmus. Mathematisch ist ein Quantenschaltkreis auch eine unitäre Transformation, deren Matrix das Produkt der Matrizen der einzelnen Quantengatter ist.

Einweg-QuantencomputerBearbeiten

Ein weiterer Ansatz zur Implementierung eines Quantencomputers ist der sogenannte Einweg-Quantencomputer (one-way quantum computer, Hans J. Briegel, Robert Raußendorf 2001)[6]. Dieser unterscheidet sich vom Schaltkreismodell dadurch, dass zuerst ein universeller (also vom Problem unabhängiger) verschränkter Quantenzustand generiert wird (beispielsweise ein sogenannter Clusterzustand), und die eigentliche Rechnung durch gezielte Messungen an diesem Zustand durchgeführt wird. Dabei bestimmen die Ergebnisse früherer Messungen, welche weiteren Messungen durchgeführt werden.

Anders als im Schaltkreismodell wird hier der verschränkte Quantenzustand nur als Ressource benutzt. Bei der eigentlichen Rechnung werden nur einzelne Qubits des verwendeten Zustands gemessen und klassische Rechnungen durchgeführt. Insbesondere werden dabei keine Mehr-Qubit-Operationen durchgeführt (die Herstellung des Zustands benötigt solche natürlich). Dennoch lässt sich zeigen, dass der Einweg-Quantencomputer genauso leistungsfähig ist, wie ein auf dem Schaltkreismodell beruhender Quantencomputer.

Adiabatische QuantencomputerBearbeiten

Ein weiterer Ansatz für Quantencomputer beruht auf einem anderen Konzept[7]: Gemäß den Gesetzen der Quantenmechanik bleibt ein quantenmechanisches System, das sich im Grundzustand (Zustand minimaler Energie) eines zeitunabhängigen Systems befindet, auch bei Veränderungen des Systems im Grundzustand, wenn die Veränderung nur hinreichend langsam (also adiabatisch) passiert. Die Idee des adiabatischen Quantencomputers ist es, ein System zu konstruieren, das einen zu dieser Zeit noch unbekannten Grundzustand hat, der der Lösung eines bestimmten Problems entspricht, und ein anderes, dessen Grundzustand leicht experimentell zu präparieren ist. Anschließend wird das leicht zu präparierende System in das System überführt, an dessen Grundzustand man interessiert ist, und dessen Zustand dann gemessen. Wenn der Übergang langsam genug erfolgt ist, hat man so die Lösung des Problems.

Die Firma D-Wave Systems hat 2007 erklärt, einen kommerziell verwendbaren Quantencomputer entwickelt zu haben, der auf diesem Prinzip beruht.[8] Am 26. Mai 2011 verkaufte die Firma D-Wave Systems den ersten kommerziellen Quantencomputer D-Wave One an die Lockheed Martin Corporation.[9] Ihre Ergebnisse sind allerdings noch umstritten.[10] 2015 stellte D-Wave Systems ihre verbesserte und aufwärts skalierbare Version D-Wave-2X der Öffentlichkeit vor. Der adiabatische Quantencomputer, der speziell für die Lösung von Optimierungsproblemen entwickelt wurde, soll bei einigen Problemen bis zu 15mal schneller sein als herkömmliche klassische Spezialcomputer für die jeweiligen Probleme (beim D-Wave One war das noch nicht so). Nach Angaben von D-Wave benutzt er supraleitende Technologie und über 1.000 Qubits[11] (genannt 1000+ Qubits, ausgelegt auf 1.152 Qubits), bei einer Arbeitstemperatur von 15 mK. Unter Qubit versteht die Firma eine supraleitende Schleife auf ihrem Chip, in der die Information über die Flussrichtung codiert ist. Ein Exemplar wurde an Google und die NASA verkauft, die schon 2013 einen D-Wave-Computer der ersten Generation mit 512 Qubits erwarben[12]. Google benutzt ihn, um die Vorteile von Quantum Annealing Algorithmen auszuloten, das heißt Quantenversionen von Simulated Annealing.[13]

Physikalische RealisierungBearbeiten

Das bisher beschriebene Konzept ist zunächst abstrakt und allgemein gültig. Will man einen konkret nutzbaren Quantencomputer bauen, muss man die natürlichen physikalischen Einschränkungen beachten, die im Folgenden beschrieben werden.

RelaxationBearbeiten

Überlässt man ein System sich selbst, neigt es dazu, sich ins thermische Gleichgewicht mit seiner Umgebung zu entwickeln. Im einfachsten Fall geschieht dies über Energieaustausch mit der Umgebung, der mit Zustandsänderung der Qubits einhergeht. Dies führt dazu, dass ein Qubit aus dem Zustand   nach einer gewissen Zeit mit einer bestimmten Wahrscheinlichkeit in den Zustand   gesprungen ist und umgekehrt. Diesen Prozess nennt man Relaxation. Als Relaxationszeit   bezeichnet man die charakteristische Zeit, in welcher sich das System (meist exponentiell) seinem stationären Zustand nähert.

DekohärenzBearbeiten

Mit Dekohärenz ist der Verlust der Superpositionseigenschaften eines Quantenzustands gemeint. Durch den Einfluss der Umgebung entwickelt sich aus einem beliebigen Superpositionszustand   (wobei  ) entweder der Zustand   oder der Zustand   (mit entsprechenden Wahrscheinlichkeiten, die zum Beispiel durch   gegeben sein können, während gemischte Terme (z. B.  ) nicht auftreten (Zustandsreduktion; inkohärente vs. kohärente Superposition; Thermalisierung, wie in der statistischen Physik)). Dann verhält sich das Qubit nur noch wie ein klassisches Bit. Die Dekohärenzzeit   ist in der Regel ebenfalls exponential verteilt und typischerweise kleiner als die Relaxationszeit. Während die Relaxation auch für klassische Computer ein Problem darstellt (so könnten sich Magnete auf der Festplatte spontan umpolen), ist die Dekohärenz ein rein quantenmechanisches Phänomen.

Die Verlässlichkeit von Quantencomputern kann durch die sogenannte Quantenfehlerkorrektur erhöht werden.[14]

Berechenbarkeits- und KomplexitätstheorieBearbeiten

Da formal festgelegt ist, wie ein Quantencomputer arbeitet, können die aus der theoretischen Informatik bekannten Begriffe wie Berechenbarkeit oder Komplexitätsklasse auch auf einen Quantencomputer übertragen werden. Man stellt dabei fest, dass ein Quantencomputer keine prinzipiell neuen Probleme lösen kann, einige Probleme allerdings schneller gelöst werden können.

BerechenbarkeitBearbeiten

Ein klassischer Computer kann einen Quantencomputer simulieren, da die Wirkung der Gates auf dem Quantenregister einer Matrix-Vektor-Multiplikation entspricht. Der klassische Computer muss nun einfach all diese Multiplikationen ausführen, um den Anfangs- in den Endzustand des Registers zu überführen. Die Konsequenz dieser Simulierbarkeit ist, dass alle Probleme, die auf einem Quantencomputer gelöst werden können, auch auf einem klassischen Computer gelöst werden können. Umgekehrt bedeutet dies, dass Probleme wie das Halteproblem auch auf Quantencomputern nicht gelöst werden können.

Es lässt sich zeigen, dass die Simulation eines Quantencomputers in der Komplexitätsklasse PSPACE liegt. Man geht daher davon aus, dass es keinen Simulationsalgorithmus gibt, der einen Quantencomputer mit polynomiellem Zeitverlust simuliert.

Umgekehrt kann ein Quantencomputer auch einen klassischen Computer simulieren. Dazu muss man zunächst wissen, dass jeder logische Schaltkreis allein aus NAND-Gattern gebildet werden kann. Mit dem Toffoli-Gatter kann man bei geeigneter Beschaltung der drei Eingänge nun ein Quantengatter erhalten, das sich auf Qubits in der Basis der klassischen Bits   wie ein NAND-Gatter verhält. Außerdem lässt sich das Toffoli-Gate dazu verwenden, ein Eingangsbit zu verdoppeln. Aufgrund des No-Cloning-Theorems ist dies allerdings nur für die Zustände   möglich. Diese Verdopplung (auch Fan-out genannt) ist deshalb nötig, weil es bei einem klassischen Schaltkreis möglich ist, ein Bit auf zwei Leitungen zu verteilen.

KomplexitätBearbeiten

Im Rahmen der Komplexitätstheorie ordnet man algorithmische Probleme sogenannten Komplexitätsklassen zu. Die bekanntesten und wichtigsten Vertreter sind die Klassen P und NP. Dabei bezeichnet P diejenigen Probleme, deren Lösung deterministisch in zur Eingabelänge polynomieller Laufzeit berechnet werden kann. In NP liegen die Probleme, zu denen es Lösungsalgorithmen gibt, die nicht-deterministisch polynomiell sind. Der Nicht-Determinismus erlaubt, gleichzeitig verschiedene Möglichkeiten abzutesten. Da unsere aktuellen Rechner deterministisch laufen, muss der Nicht-Determinismus durch Hintereinanderausführung der verschiedenen Möglichkeiten simuliert werden, wodurch die Polynomialität der Lösungsstrategie verloren gehen kann.

Für Quantencomputer definiert man die Komplexitätsklasse BQP (eingeführt 1993 durch Umesh Vazirani und Ethan Bernstein). Diese enthält diejenigen Probleme, deren Laufzeit polynomiell von der Eingabelänge abhängt und deren Fehlerwahrscheinlichkeit unter   liegt. Aus dem vorhergehenden Abschnitt folgt, dass BQP   PSPACE. Ferner gilt P   BQP, da ein Quantencomputer auch klassische Computer mit nur polynomiellem Zeitverlust simulieren kann.

Wie BQP zur wichtigen Klasse NP in Beziehung steht, ist noch unklar. Man weiß nicht, ob ein Quantencomputer ein NP-vollständiges Problem effizient lösen kann oder nicht. Könnte man nachweisen, dass BQP eine echte Teilmenge von NP ist, wäre damit auch das P-NP-Problem gelöst: Dann gälte nämlich P   NP. Andererseits würde aus dem Nachweis, dass NP echte Teilmenge von BQP ist, folgen, dass P echte Teilmenge von PSPACE ist. Sowohl das P-NP-Problem als auch die Frage P   PSPACE sind wichtige ungelöste Fragen der theoretischen Informatik.

Lange offen war, ob es Probleme gibt, die Quantencomputer beweisbar schneller und effizienter als jeder klassische Computer lösen können, anders ausgedrückt, die Teil von BQP sind, aber nicht von PH, einer Verallgemeinerung von NP. 2018 wurde ein Beispiel von Ran Raz und Avishai Tal gefunden, das in BQP (Scott Aaronson 2009), aber nicht in PH ist (genauer bewiesen sie, dass das Problem für beide Fälle Orakel-separiert ist), das Forrelation-Problem.[15][16] Gegeben sind zwei Zufallszahlengeneratoren. Das Forrelation-Problem besteht darin, aus den erzeugten Zufallszahlenfolgen herauszufinden, ob die beiden Zufallszahlgeneratoren unabhängig sind oder die Folgen doch in verborgener Weise verbunden sind, genauer ob die eine die Fouriertransformation der anderen ist. Raz und Tal bewiesen, dass Quantencomputer sehr viel weniger Hinweise (Orakel) für die Lösung benötigen als klassische Computer. Ein Quantencomputer benötigt sogar nur ein Orakel, in PH gibt es auch mit unendlich vielen Orakeln keinen Algorithmus, der das Problem löst. Das Beispiel zeigt, dass selbst für P=NP es Probleme gibt, die Quantencomputer lösen können, klassische Rechner aber nicht.

Bei anderen Problemen wie dem Faktorisierungsproblem ganzer Zahlen wird zwar vermutet, dass Quantencomputer prinzipiell schneller sind (Quantencomputer lösen es polynomialzeitlich mit dem Shor-Algorithmus), es lässt sich aber bisher nicht beweisen, da unbekannt ist, ob das Problem in der Komplexitätsklasse P liegt.

Ein anderes Problem, von dem erwartet worden war, dass es effizient von Quantencomputern gelöst werden kann, nicht aber von klassischen Computern, ist das Empfehlungsproblem (Recommendation Problem), das sogar breite praktische Anwendung hat. Betrachtet wird zum Beispiel das für Online-Dienste wichtige Problem, aus dem Abruf von Diensten oder Waren durch Nutzer Voraussagen über deren Vorlieben zu machen, was sich formalisieren lässt als Auffüllen einer Matrix, die zum Beispiel Waren den Nutzern zuordnet. 2016 gaben Iordanis Kerenidis und Anupam Prakash[17] einen Quantenalgorithmus, der exponentiell schneller war als jeder damals bekannte klassische Algorithmus. 2018 gab die Studentin Ewin Tang allerdings einen klassischen Algorithmus an, der genauso schnell war.[18][19] Tang fand den klassischen Algorithmus in Anlehnung an den Quantenalgorithmus von Kerenidis und Prakash.

Algorithmen für QuantencomputerBearbeiten

Die bisher gefundenen Algorithmen für Quantencomputer lassen sich grob in drei Kategorien einteilen:

  • Algorithmen, die auf der Quanten-Fouriertransformation beruhen. Darunter fällt auch der wohl berühmteste Algorithmus für Quantencomputer, der Shor-Algorithmus zur Faktorisierung großer Zahlen. Der Zeitaufwand ist dabei polynomiell in der Anzahl der Ziffern. Im Gegensatz dazu benötigt der beste zurzeit bekannte klassische Algorithmus, das Zahlkörpersieb, superpolynomiell (aber subexponentiell) viel Zeit. Die Bedeutung von Shors Algorithmus beruht auf der Tatsache, dass die Sicherheit der asymmetrischen Verschlüsselungsverfahren wie RSA darauf basiert, dass keine hinreichend effizienten klassischen Algorithmen zur Faktorisierung großer Zahlen bekannt sind.
  • Quanten-Suchalgorithmen. Hierzu gehören der Grover-Algorithmus und Varianten davon. Er dient der effizienten Suche in einem unsortierten Array. Ein gewöhnlicher Computer muss sich bei   Einträgen im schlimmsten Fall alle Einträge ansehen (d. h. vergleichen), klassisch ist dieses Problem also in   Rechenschritten lösbar. Auf einem Quantencomputer kann man dies mit dem Grover-Algorithmus in lediglich   Operationen erledigen. Diese Schranke ist scharf, das heißt, kein Quantenalgorithmus kann dieses Problem in (asymptotisch) weniger Operationen lösen. Daraus folgt, dass im Allgemeinen kein exponentieller Geschwindigkeitsvorteil bei Verwendung von Quantenalgorithmen zu erwarten ist.
  • Quanten-Simulation. Um quantenmechanische Systeme zu simulieren, bietet es sich an, wieder quantenmechanische Systeme zu benutzen. Mit einem geeigneten Satz von Quantengattern lässt sich jeder Hamiltonian darstellen. Algorithmen dieser Art würden in der Quantenchemie die Simulation von Molekülen erlauben, bei denen mit heutigen Mitteln grobe Näherungen erforderlich sind.

Viele Algorithmen für Quantencomputer liefern nur mit einer gewissen Wahrscheinlichkeit ein korrektes Ergebnis; man spricht von probabilistischen Algorithmen. Durch wiederholtes Anwenden des Algorithmus kann die Fehlerwahrscheinlichkeit beliebig klein werden. Ist die anfängliche Erfolgswahrscheinlichkeit groß genug, reichen wenige Wiederholungen aus.

Architektur für QuantencomputerBearbeiten

Alle bisher experimentell demonstrierten Quantencomputer bestanden aus wenigen Qubits und waren hinsichtlich Dekohärenz- und Fehlerraten sowie der verwendeten Architektur nicht skalierbar. Unter Architektur versteht man in diesem Kontext das Konzept zur skalierbaren Anordnung einer sehr großen Zahl von Qubits: wie kann sichergestellt werden, dass die Fehlerrate pro Gatter klein ist (unterhalb der Schwelle für fehlertolerantes Rechnen) und zwar unabhängig von der Zahl der Qubits des Quantencomputers und von der räumlichen Entfernung der beteiligten Qubits im Quantenregister.

Das Problem wurde von David DiVincenzo in einem Katalog von fünf Kriterien, die ein skalierbarer, fehlertoleranter Quantencomputer erfüllen muss, zusammengefasst. Die DiVincenzo-Kriterien sind[20]

  1. Er besteht aus einem skalierbaren System gut charakterisierter Qubits.
  2. Alle Qubits können in einen wohldefinierten Anfangszustand gebracht werden (z. B.  ).
  3. Ein universelles Set elementarer Quantengatter kann ausgeführt werden.
  4. Einzelne Qubits (zumindest eines) können ausgelesen (gemessen) werden.
  5. Die relevante Dekohärenzzeit ist viel länger als die Zeit, die benötigt wird, ein elementares Quantengatter zu realisieren, sodass mit geeignetem fehlerkorrigierendem Code die Fehlerrate pro Gatter unter der Schwelle für fehlertolerantes Quantenrechnen liegt.

Die größten Anforderungen ergeben sich aus dem ersten und dem letzten Punkt. Skalierbarkeit heißt in diesem Fall, dass es möglich sein muss, die Zahl der Qubits beliebig groß zu wählen und dass die anderen Eigenschaften unabhängig von der Zahl der Qubits erfüllt sein müssen. Die Schwelle für fehlertolerantes Rechnen liegt je nach verwendetem Code und verwendeter Geometrie des Quantenregisters bei einer Fehlerwahrscheinlichkeit von   bis   (oder noch kleineren Werten) pro Gatter.[21] Bisher ist kein universelles Set von Gattern mit dieser Genauigkeit realisiert worden.

Oft werden die oben genannten Kriterien um zwei weitere ergänzt, die sich auf die Vernetzung innerhalb von Quantencomputern beziehen:

  1. Eine Quanten-Schnittstelle (engl. quantum interface) zwischen stationären und mobilen Qubits
  2. Mobile Qubits können zwischen verschiedenen Orten verlässlich ausgetauscht werden.

Die Suche nach einer skalierbaren Architektur für einen fehlertoleranten Quantencomputer ist Gegenstand aktueller Forschung. Die Fragestellung ist, wie man erreichen kann, dass Quantengatter auf verschiedenen Qubits parallel (gleichzeitig) ausgeführt werden können, auch wenn die Wechselwirkung zwischen den physikalischen Qubits lokal ist, d. h. nicht jedes Qubit mit jedem anderen in direkter Wechselwirkung steht. Je nach verwendetem Konzept (Gatter-Netzwerk, Einweg-Quantencomputer, adiabatischer Quantencomputer, …) und der gewählten Implementierung (gefangene Ionen, supraleitende Schaltkreise, …) gibt es hierzu verschiedene Vorschläge, die bislang allenfalls für kleine Prototypen demonstriert wurden. Zu den konkretesten und weitest fortgeschrittenen Vorschlägen gehören die folgenden:

  • Quantencomputer in mikrostrukturierter Ionenfalle: Qubits werden durch den internen Zustand einzelner gefangener Ionen realisiert. In einer mikrostrukturierten Falle werden die Ionen kontrolliert zwischen Speicher- und Wechselwirkungsregionen hin- und herbewegt.[22] Anstatt die miteinander zu koppelnden Ionen in eine gemeinsame Wechselwirkungsregion zu bewegen, könnten auch langreichweitige Wechselwirkungen zwischen ihnen benutzt werden. In Experimenten an der Universität Innsbruck wurde demonstriert, dass zum Beispiel die elektrische Dipolwechselwirkung zwischen kleinen Gruppen von oszillierenden Ionen (die als Antenne wirken) zur Kopplung von Ionen, die mehr als 50 Mikrometer voneinander entfernt sind, verwendet werden kann.[23][24]
  • Supraleitende Qubits in einem zweidimensionalen Netzwerk von supraleitenden Streifenleitungsresonatoren (stripline resonators).[25]
  • Quantencomputer auf Basis von Stickstoff-Fehlstellen-Zentren (NV-Zentren) in Diamant: Als Qubits fungieren Kernspins von Stickstoff-Atomen in einem zweidimensionalen Gitter von NV-Zentren; Auslese und Kopplung erfolgen über den elektronischen Spin des NV-Zentrums, wobei die Kopplung durch die magnetische Dipolwechselwirkung erreicht wird; inhomogene Magnetfelder ermöglichen die individuelle Adressierung und parallele Operation auf vielen Qubits.[26]

ForschungsgeschichteBearbeiten

Quantencomputer mit wenigen Qubits konnten bereits in den 1990er Jahren realisiert werden. So wurde Shors Algorithmus im Jahre 2001 mit einem auf Kernspinresonanz beruhenden System am IBM Almaden Research Center mit 7 Qubits realisiert und konnte die Zahl 15 in ihre Primfaktoren 3 und 5 zerlegen.[27] Ebenso konnte im Jahre 2003 ein auf in Ionenfallen gespeicherten Teilchen basierender Quantencomputer den Deutsch-Jozsa-Algorithmus realisieren.[28]

Im November 2005 gelang es Rainer Blatt am Institut für Experimentalphysik der Universität Innsbruck erstmals, ein Quantenregister mit 8 verschränkten Qubits zu erzeugen. Die Verschränkung aller acht Qubits musste durch 650.000 Messungen nachgewiesen werden und dauerte 10 Stunden.[29]

Im März 2011 haben die Innsbrucker Wissenschaftler die Zahl der Qubits noch einmal beinahe verdoppelt. In einer Ionenfalle hielten sie 14 Calciumatome gefangen, welche sie nach dem Prinzip eines Quantenprozessors mit Laserlicht manipulierten.[30]

An der Yale University kühlte ein Forscherteam um Leo DiCarlo ein Zwei-Qubit-Register auf einem 7 mm langen und 2 mm breiten, von einem mehrfach gekrümmten Kanal durchzogenen Quantenprozessor auf eine Temperatur von 13 mK ab und erzeugte damit einen 2-Qubit-Register-Quantencomputer. Der supraleitende Chip spielte nach einer Veröffentlichung von Nature 2009 zum ersten Mal Quantenalgorithmen durch.[31][32]

Einer Forschergruppe am National Institute of Standards and Technology (NIST) in Boulder, USA, ist es 2011 gelungen, Ionen mittels Mikrowellen zu verschränken. Die NIST-Forschergruppe hat gezeigt, dass man solche Operationen nicht nur mit einem komplexen, raumfüllenden Lasersystem realisieren kann, sondern auch mit miniaturisierter Mikrowellenelektronik. Um die Verschränkung zu erzeugen, integrierten die Physiker die Mikrowellenquelle in die Elektroden einer so genannten Chipfalle, einer mikroskopischen chipartigen Struktur zur Speicherung und Manipulation der Ionen in einer Vakuumzelle. Mit ihrem Experiment haben die Forscher gezeigt, dass die Verschränkung der Ionen mit Mikrowellen in 76 % aller Fälle funktioniert. Die bereits seit mehreren Jahren in der Forschung verwendeten laserbasierten Quantenlogikgatter sind mit einer Quote von 99,3 % derzeit noch besser als die Gatter auf Basis von Mikrowellen. Das neue Verfahren hat den Vorteil, dass es nur ungefähr ein Zehntel des Platzes eines Laser-Experiments beansprucht.[33][34]

Am 2. Januar 2014 meldete die Washington Post unter Berufung auf Dokumente des Whistleblowers Edward Snowden, dass die National Security Agency (NSA) der USA an der Entwicklung eines „kryptologisch nützlichen“ Quantencomputers arbeitet.[35] Obwohl der aktuelle Stand (2019) der Technik noch keine Sicherheitsbedrohung darstellt wird an Post-Quanten-Kryptographie gearbeitet.[36]

IBM ermöglicht seit 2015 den Online-Zugriff auf einen supraleiterbasierten Quantenprozessor. Zunächst standen 5 Qubits zur Verfügung, seit November 2017 sind es 20. Die Website umfasst einen Editor, mit dem Programme für den Quantencomputer geschrieben werden können, sowie ein SDK und interaktive Anleitungen.[37][38][39] Bis November 2017 wurden über 35 wissenschaftliche Publikationen veröffentlicht, die den IBM-Computer Q Experience verwendet haben.[40] Über die Cloud bietet IBM auch Zugriff auf die 50-Qubit-Maschine in ihrem Labor an. Der Quantenzustand dieses Systems wird für 90 Mikrosekunden gehalten, was Ende 2017 ein Rekord war. Bei der Technik für effiziente Simulation von Quantencomputern auf klassischen Hochleistungsrechnern kündigte IBM 2017 an, die 49-Qubit-Grenze erreicht zu haben.[41][42]

Außer bei IBM entwickeln (Stand 2018) viele große Computerfirmen sogenannte Quantencomputer bzw. deren Technologie, so Google, Microsoft, Intel und Startups wie Rigetti in San Francisco. Google stellte 2018 seinen neuen Quantenprozessor Bristlecone mit 72 Qubits (skaliert von vorher 9 Qubits) und niedriger Fehlerrate für logische Operationen und Auslesen vor.[43] Er basiert auch auf Supraleitern und dient hauptsächlich der Erforschung der Technologie und eventuell in naher Zukunft dem Nachweis von Quantum Supremacy (John Preskill 2012),[44] also eines Problems, bei dem der Quantencomputer einem klassischen Supercomputer überlegen ist und dessen Lösung als nächster großer Schritt auf dem Weg zum Quantencomputer gilt (Stand August 2018). Google schätzt wie auch andere Computerfirmen, dass zur Demonstration von Quantum Supremacy mindestens 49 Qubits, eine Schaltkreistiefe von über 40 und eine Fehlerrate unter einem halben Prozent erforderlich sind. Die Anzahl der Qubits alleine ist nicht entscheidend, sondern zum Beispiel auch die Fehlerrate und die Tiefe des Schaltkreises, das heißt die Anzahl der Gatter (logischen Operationen), die in den Qubits implementiert werden können, bevor die Kohärenz aufgrund zu hoher Fehlerrate zerstört wird. Vor Bristlecone erreichte Google eine Fehlerrate von rund 1 Prozent für Auslesen und für die logischen Operationen 0,1 Prozent für Gatter eines einzelnen Qubits und 0,6 Prozent für Zwei-Qubit-Gatter.[45] Ein kommerziell nutzbarer Quantencomputer liegt nach Google bei rund 1 Million Qubits.

Microsoft konzentriert sich (Stand 2018) auf theoretische Arbeiten über die Fehlerkorrektur mit Hilfe topologischer Quantencomputer (ein Konzept, das Alexei Jurjewitsch Kitajew 1997 einführte) unter Leitung des Mathematikers Michael Freedman und entwickelte einen Simulator, mit dem Quantencomputer auf klassischen Computern simuliert werden können, und Software für Quantencomputer. Sie haben ein eigenes Quantencomputerlabor (Station Q) in Santa Barbara.[46]

LiteraturBearbeiten

WeblinksBearbeiten

  Commons: Quantencomputer – Sammlung von Bildern, Videos und Audiodateien
 Wiktionary: Quantencomputer – Bedeutungserklärungen, Wortherkunft, Synonyme, Übersetzungen

Einzelnachweise und FußnotenBearbeiten

  1. Die Formel entspricht der Verallgemeinerung der Regel  .
  2. In der Spin-Interpretation (   ,    ) haben   bzw.   verschiedene Symmetrie, nämlich Singulett- bzw. Triplett-Symmetrie; d. h. der Gesamtspin S des Zweispinsystems ist für   Null, für   dagegen Eins.
  3. M. A. Nielsen, I. L. Chuang, Quantum computation and quantum information, Cambridge University Press (2000), S. 531 ff.
  4. Unter Ausnutzung von Verschränkung ist die Übertragung von mehr als einem Bit pro Qubit möglich. Ein Beispiel ist die superdichte Codierung, welche die Übertragung von zwei klassischen Bits durch Übertragung eines Qubits erlaubt. Siehe M. A. Nielsen, I. L. Chuang, Quantum computation and quantum information, Cambridge University Press (2000), S. 97.
  5. Es wird also der zweite der beiden Spins invertiert, wenn der erste Zustand   ist.
  6. Robert Raussendorf, Daniel E. Browne, Hans J. Briegel The one-way quantum computer – a non-network model of quantum computation, Journal of Modern Optics, Band 49, 2002, S. 1299, arxiv:quant-ph/0108118
  7. Edward Farhi, Jeffrey Goldstone, Sam Gutmann, Michael Sipser: Quantum Computation by Adiabatic Evolution, Preprint 2000, arxiv:quant-ph/0001106
  8. D-Wave, The Quantum Computing Company.
  9. HPCwire: D-Wave Sells First Quantum Computer.
  10. Robert Gast Ein Quantenmärchen, Frankfurter Allgemeine Sonntagszeitung, 26. Mai 2013, S. 61, 63.
  11. D-Wave Systems Announces the General Availability of the 1000+ Qubit D-Wave 2X Quantum Computer, Pressemitteilung D-Wave Systems, 20. August 2015.
  12. Dieser Chip rechnet besser als ein Roastbeef-Sandwich. Zeit Online, 4. Juni 2013; abgerufen am 16. Februar 2016.
  13. Google Research Blog vom 8. Dezember 2015.
  14. Quantenfehlerkorrektur (PDF; 158 kB).
  15. Kevin Hartnett, Finally, a Problem That Only Quantum Computers Will Ever Be Able to Solve, Quanta Magazine, 21. Juni 2018.
  16. Raz, Tal: Oracle separation of BQP and PH, 2018, Online.
  17. Kerenidis, Prakash: Quantum recommendation problems, Arxiv 2016.
  18. Kevin Hartnett, Major Quantum Computing Advance Made Obsolete by Teenager, Quanta Magazine, 31. Juli 2018.
  19. Ewin Tang, A quantum-inspired classical algorithm for recommendation systems, Arxiv 2018.
  20. David P. DiVincenzo: Topics in Quantum Computers. In: L. Kouwenhoven, G. Schoen und L. L. Sohn (Hrsg.): Mesoscopic Electron Transport. NATO ASI Series E. Nr. 345. Kluwer Academic Publishers, Dordrecht 1997, S. 657, arxiv:cond-mat/9612126v2 (englisch).
  21. A. G. Fowler et al.: High-threshold universal quantum computation on the surface code. In: Phys. Rev. A. 80, 2009, S. 052312. arxiv:0803.0272.
  22. D. Kielpinski, C. Monroe, and D. J. Wineland: Architecture for a large-scale ion-trap quantum computer. In: Nature. 417, 13. Juni 2002, S. 709-711. doi:10.1038/nature00784.
  23. M. Harlander et al.: Trapped-ion antennae for the transmission of quantum information. In: Nature. 23. Februar 2011. doi:10.1038/nature09800.
  24. ORF/APA: Quantenbytes kommunizieren per Funk. 23. Februar 2011, abgerufen am 26. Februar 2011.
  25. F. Helmer et al.: Cavity grid for scalable quantum computation with superconducting circuits. In: Europhysics Letters. 85, 2009, S. 50007. arxiv:0706.3625. doi:10.1209/0295-5075/85/50007.
  26. Yao et el.: Scalable Architecture for a Room Temperature Solid-State Quantum Information Processor, 13. Dezember 2010, arxiv:1012.2864
  27. L. M. K. Vandersypen et al.: Experimental realization of Shor’s factorizing algorithm using nuclear magnetic resonance. In: letters to nature. Band 414, 20./27. Dezember 2001.
  28. S. Gulde et al.: Implementation of the Deutsch-Jozsa algorithm on an ion-trap quantum computer. In: Nature. Band 421, 2003, 48.
  29. H. Häffner, W. Hänsel u. a.: Scalable multiparticle entanglement of trapped ions. In: Nature. 438, 2005, S. 643–646, doi:10.1038/nature04279.
  30. Mit 14 Quantenbits rechnen. iPoint, 31. März 2011.
  31. Jürgen Rink: Supraleitungs-Quantenrechner. In: c’t, 2009, Heft 16, S. 52.
  32. L. DiCarlo, J. M. Chow u. a.: Demonstration of two-qubit algorithms with a superconducting quantum processor. In: Nature. 460, 2009, S. 240, doi:10.1038/nature08121. arxiv:0903.2030
  33. IDW-Online: Ein wichtiger Schritt in Richtung Quantencomputer, 23. August 2011.
  34. C. Ospelkaus, U. Warring, Y. Colombe, K. R. Brown, J. M. Amini, D. Leibfried, D. J. Wineland: Microwave quantum logic gates for trapped ions. In: Nature. 476, 2011, S. 181–184, doi:10.1038/nature10290.
  35. NSA seeks to build quantum computer that could crack most types of encryption. washingtonpost.com, 3. Januar 2014.
  36. Dorothy Denning: Is Quantum Computing a Cybersecurity Threat? In: American Scientist. Band 107, Nr. 2, 2019, S. 83, doi:10.1511/2019.107.2.83 (englisch, americanscientist.org).
  37. Davide Castelvecchi: IBM's quantum cloud computer goes commercial. In: Nature. 6. März 2017, abgerufen am 16. Januar 2018 (englisch).
  38. Andrew Dalton: IBM unveils its most powerful quantum processor yet. In: engadget.com. 17. Mai 2017, abgerufen am 18. Januar 2018 (englisch).
  39. Will Knight: IBM Raises the Bar with a 50-Qubit Quantum Computer. In: MIT Technology Review. 10. November 2017, abgerufen am 16. Januar 2018 (englisch).
  40. Dario Gil: The future is quantum. In: ibm.com. 10. November 2017, abgerufen am 16. Januar 2018 (englisch).
  41. Edwin Pednault u. a., Breaking the 49-Qubit Barrier in the Simulation of Quantum Circuits, Arxiv 2017.
  42. Edwin Pednault, Quantum Computing: Breaking Through the 49 Qubit Simulation Barrier, IBM, 17. Oktober 2017.
  43. A Preview of Bristlecone, Google’s New Quantum Processor, AI Googleblog, 5. März 2018.
  44. Philip Ball, Race for quantum supremacy hits theoretical quagmire, Nature News, 13. November 2017.
  45. Frederic Lardinois, Google’s new Bristlecone processor brings it one step closer to quantum supremacy, Techcrunch, 5. März 2018.
  46. Frederic Lardinois, Microsoft places its bets on quantum computing, Techcrunch, 26. September 2017.