Wie gilt das Landauer-Prinzip im Quanten- (und im Allgemeinen reversiblen) Computing?

Ich verstehe, dass ein reversibler Computer während des Betriebs keine Wärme durch das Landauer-Prinzip abführt - der Speicherzustand ist zu jeder Zeit eine bijektive Funktion des Zustands zu jeder anderen Zeit.

Ich habe jedoch darüber nachgedacht, was passiert, wenn ein reversibler Computer initialisiert wird . Betrachten Sie den Zustand des physischen Systems, aus dem der Speicher aufgebaut ist, kurz vor dem Einschalten und der Initialisierung. Aufgrund der Umkehrbarkeit der zugrunde liegenden mikroskopischen physikalischen Gesetze bleibt dieser Zustand im Zustand des Gesamtsystems verschlüsselt, wenn er bei der Initialisierung des Computers effektiv "ausgelöscht" und durch einen Zustand ersetzt wird, der den initialisierten Speicher darstellt (z. B. auf Null gesetzt). ).

So scheint es mir, dass wenn M Bits ist der maximale Speicher, den ein umkehrbarer Algorithmus während seiner gesamten Arbeit abrufen muss, nach der Begründung des Landauer-Prinzips müssen wir letztendlich Arbeit leisten M k T Protokoll 2 um "die überschüssige Entropie aus dem initialisierten System zu werfen".

Frage 1: Ist meine Argumentation soweit richtig? Wenn nicht, sagen Sie bitte warum.

Nun, wenn man sich auf Quantencomputer spezialisiert, scheint dies einige enorme Initialisierungsenergiezahlen zu implizieren. Angenommen, wir haben ein System mit N Qubits, also der Quantenzustandsraum hat 2 N Basis Staaten. Nehmen wir weiter an, dass die Physik und Technik des Systems aus Gründen der Argumentation so ist, dass der Systemzustand während des gesamten Betriebs des Systems nur "digitalisierte" Überlagerungen annimmt, ich . e . Summen der Form:

1 N j 1 2 N x j | p 1 , j , p 2 , j ,

wo x j , p k , j 0 , 1 und N die entsprechende Normalisierung. Um den Anfangszustand zu codieren, der beim Einschalten und Initialisieren gelöscht wird, scheint mir, dass die vom Landauer-Prinzip befohlene Arbeit erforderlich ist 2 N k T Protokoll 2 . Diese Zahl erreicht 6.000 kg Energie (etwa den jährlichen Energieverbrauch der Menschheit ) bei etwa 140 Qubits, vorausgesetzt, wir bauen unseren Computer im Weltraum, um beispielsweise eine Systembetriebstemperatur von 10 K zu nutzen.

Frage 2: Angesichts der Tatsache, dass wir wie oben einen Quantencomputer mit 140 Qubits in „digitalen“ Überlagerungen bauen könnten, brauchen wir tatsächlich solche Initialisierungsenergien?

Man kann sehen, wohin solche Argumente führen könnten. Beispielsweise glaubt Paul Davies, dass ähnliche Komplexitätsberechnungen die geringere Größe zukünftiger Quantencomputer begrenzen, da ihre Komplexität (Informationsgehalt) die Bekestein -Grenze respektieren muss . PCW Davies, „Die Implikationen eines holografischen Universums für die Quanteninformationswissenschaft und die Natur des physikalischen Gesetzes“, Fluctuation and Noise Lett 7 , No. 04, 2007 (siehe auch http://arxiv.org/abs/quantph/0703041 )

Davies weist darauf hin, dass die Kolmogorov-Komplexität relevant sein wird, und nimmt dies als Hinweis darauf, dass nur bestimmte "kleine" Unterräume des gesamten Quantenraums, der von einer hohen Anzahl von Qubits aufgespannt wird, für echte Quantencomputer zugänglich sein werden. Ebenso habe ich in meinem Beispiel angenommen, dass diese Art der Einschränkung die „Digitalisierung“ der Überlagerungsgewichte ist, aber ich bin davon ausgegangen, dass alle Qubits unabhängig voneinander überlagert werden können. Vielleicht gäbe es notwendigerweise Korrelationen zwischen den Überlagerungskoeffizienten in echten Quantencomputern.

Ich denke, wir würden die Landauer-Einschränkung treffen, wie ich ebenfalls argumentiere, aber bei einer erheblich geringeren Anzahl von Qubits.

Letzte Frage: Wende ich das Landauer-Prinzip richtig auf den Quantencomputer an? Warum scheitern meine Argumente, wenn sie es tun?*

Interessanterweise habe ich hier einen Artikel ("leider" auf Französisch) gefunden , der besagt, dass im Fall eines hybriden optomechanischen Systems (siehe Abb 2 Seite 7 , Feige 5 Seite 10 ) ist die zur Initialisierung eines Qbits notwendige Arbeit proportional zur Rabi-Frequenz, die die Rolle einer Temperatur spielt (Formel 23 Seite 12 )
@Trimok Ca marche bien pour moi! Wie sehr interessant in der Tat, vielen Dank.
Ja, nein und nein. Das Initialisieren eines Qubits löst sich auf k T von Energie, und somit verbraucht das Initialisieren von N Qubits eine Energie von N k T . (Beachten Sie, dass, wenn die Energie nicht linear mit der Anzahl der Qubits skalieren würde, dies wahrscheinlich zu allen möglichen Widersprüchen führen würde!) Dies hängt eng mit der Frage zusammen, ob N Qubits "enthalten" N Stückchen bzw 2 N Bits an Informationen (und typischerweise N ist die passendere Antwort) - z. B. enthält arxiv.org/abs/quant-ph/0507242 einige Argumente dazu.
... vielleicht möchten Sie auch arxiv.org/abs/1306.4352 überprüfen .
@Norbert Schuch: Ein System aus N Qubits wird beschrieben durch 2 N -dimensionalen Raum, mit anderen Worten, es hat 2 N unterschiedliche/unabhängige Quantenzustände. Genau dasselbe wie N klassische Bits, die haben 2 N Zustände. Ich vermute eine Verwechslung zwischen der Anzahl der Zustände und der Informationsmenge (die logarithmisch wächst).
Eine Antwort gibt es unter physicaloverflow.org/10366
@ArnoldNeumaier Danke Arnold. Ich denke, Ron hat Recht – ich muss ein bisschen darüber nachdenken.

Antworten (2)

Nein, die Begründung ist falsch. Wenn Sie einen N -Qubit-Zustand benötigen, kein Unterschied verschränkt oder nicht, initialisieren Sie einfach N Qubits und wenden dann eine einheitliche Transformation (umkehrbar) an. Die während der Initialisierung erzeugte Entropie ist also proportional zur Informationsmenge ohne Exponenten.

Zur Erklärung der Dauerfrage „Wie viele Zustände haben N Qubits“ (und zur Widerlegung entsprechender Missverständnisse) siehe Wie viele Zustände kann ein Qubit-Quantencomputer speichern? , obwohl es mehrere Stellen auf der Website gibt, an denen verschiedene Benutzer fast dasselbe über Superpositionen / lineare Kombinationen geschrieben haben.

Was ist mit der Begründung zu Frage 1? Warum ist das falsch? Ist die Energie nicht M k T Protokoll 2 ? Könnten Sie bitte auch erklären, "Sie initialisieren nur N Qubits und wenden dann eine einheitliche Transformation an (umkehrbar). Die während der Initialisierung erzeugte Entropie ist also proportional zur Informationsmenge ohne Exponenten." ein bisschen mehr. Ich meine, die Menge an Informationen, wenn Sie so wollen, ist das, was ich brauche. Wollen Sie damit sagen, dass die erforderliche Initialisierungsarbeit einfach ist? N k T Protokoll 2 auch für Qubits?
Wenn ein Qubit eine konstante Menge an Entropie kostet (egal welchen Werts), dann ist die Entropieausgabe proportional zur Anzahl der Qubits ∼ Informationsmenge. Die „Physik und Technik … ist so, dass der Systemzustand während des gesamten Betriebs des Systems nur „digitalisierte“ Überlagerungen annimmt, bla-bla-blh“, die Argumentation basiert auf willkürlichen Annahmen, die nichts mit Quantencomputern zu tun haben, und beweist nichts . Ein System von N  Qubits bekannt 2 N  heißt es genau, obwohl diese 2 N  Zustände können in kohärenter Superposition existieren. Jeder Satz von mehr als 2 N  Zustände ist linear abhängig.

WetSavannaAnimal: Ich verstehe, dass ein reversibler Computer während des Betriebs keine Wärme durch das Landauer-Prinzip abführt - der Speicherzustand ist zu jeder Zeit eine bijektive Funktion des Zustands zu jedem anderen Zeitpunkt.

Das ist nicht das, was Landauer in seiner fast 60 Jahre alten Arbeit gesagt hat: „ Irreversibility and heat generation in the computing process “, R. Landauer, IBM Journal of Research and Development, Volume 5 Issue 3, July 1961, Seiten 183-191:

es wird keine überschüssige kinetische Energie haben, und wir werden während des gesamten Prozesses keine Energie aufgewendet haben, da wir dem Teilchen bei seiner Abwärtsbewegung Energie entzogen haben. So erscheint auf den ersten Blick ein RESTORE TO ONE ohne Kraftaufwand möglich. Beachten Sie jedoch, dass wir zur Vermeidung von Energieaufwand je nach Ausgangszustand des Geräts zwei unterschiedliche Routinen verwendet haben. So funktioniert ein Computer nicht. In den meisten Fällen schiebt ein Computer Informationen auf eine Weise herum, die unabhängig von den genauen Daten ist, die gehandhabt werden, und die nur eine Funktion der physischen Schaltungsverbindungen ist. Beachten Sie jedoch, dass wir zur Vermeidung von Energieaufwand je nach Ausgangszustand des Geräts zwei unterschiedliche Routinen verwendet haben. So funktioniert ein Computer nicht. In den meisten Fällen schiebt ein Computer Informationen auf eine Weise herum, die unabhängig von den genauen Daten ist, die gehandhabt werden, und die nur eine Funktion der physischen Schaltungsverbindungen ist. Beachten Sie jedoch, dass wir zur Vermeidung von Energieaufwand je nach Ausgangszustand des Geräts zwei unterschiedliche Routinen verwendet haben. So funktioniert ein Computer nicht. In den meisten Fällen schiebt ein Computer Informationen auf eine Weise herum, die unabhängig von den genauen Daten ist, die gehandhabt werden, und die nur eine Funktion der physischen Schaltungsverbindungen ist.

Können wir dann eine einzelne zeitvariable Kraft konstruieren, F ( t ) , die, wenn sie auf das konservative System von Fig. 1 angewendet wird, dazu führen wird, dass das Teilchen im EINS-Zustand endet, wenn es ursprünglich entweder im EINS-Zustand oder im NULL-Zustand war? Da das System konservativ ist, kann seine gesamte Geschichte in der Zeit umgekehrt werden, und wir werden immer noch ein System haben, das die Bewegungsgesetze erfüllt. Im zeitumgekehrten System haben wir dann die Möglichkeit, dass wir für einen einzigen Anfangszustand (Position im EINS-Zustand, Geschwindigkeit Null) an mindestens zwei Stellen landen können: dem NULL-Zustand oder dem EINS-Zustand. Dies ist jedoch unmöglich. Die Gesetze der Mechanik sind vollständig deterministisch und eine Flugbahn wird durch eine Anfangsposition und -geschwindigkeit bestimmt. (Eine anfänglich instabile Position kann gewissermaßen eine Ausnahme darstellen. Wir können vom instabilen Punkt in eine von mindestens zwei Richtungen wegrollen. Unser Ausgangspunkt EINS ist jedoch F ( t ) was dazu führt, dass das Teilchen unabhängig von seinem Anfangszustand bei EINS ankommt.

Wenn wir jedoch zulassen, dass der Potentialtopf verlustbehaftet ist, wird dies einfach. Eine sehr starke positive Anfangskraft, die langsam genug aufgebracht wird, damit die Dämpfung Oszillationen verhindert, schiebt das Teilchen nach rechts, über EINS hinaus, unabhängig vom Anfangszustand des Teilchens. Wenn dann die Kraft langsam genug weggenommen wird, damit die Dämpfung Gelegenheit hat, nennenswerte Schwingungen zu verhindern, wird das Teilchen zwangsläufig bei EINS ankommen.

Abbildung 1
Abbildung 1 Bistabiler Potentialtopf. x ist eine verallgemeinerte Koordinate, die eine umgeschaltete Größe darstellt.

Beachten Sie die Ähnlichkeit mit einem Partikel in einer Box .

Hier sind ein paar entfernte Analogien, die zwei Zustände speichern und " Löschung " nicht berücksichtigen :

  • Regeneratives Bremsen

    • Elektroautos, Züge, Aufzüge usw. haben zwei Zustände , beim Wechsel in den anderen Zustand wird viel Energie zurückgewonnen. Je nachdem, welcher Zustand geladen ist, könnte mehr Energie erzeugt als verbraucht werden, beispielsweise wenn leere Züge bergauf zu einem Erzbergwerk fahren.

    Dies ist so effizient, dass Sonderzüge ausschließlich dafür hergestellt wurden, Zementblöcke bergauf zu transportieren, um Energie zu speichern, die auf der Rückfahrt regenerativ zurückgewonnen wird.

    ARES-Shuttle

  • Schwungrad-Energiespeicher

    „Die Energieeffizienz (Verhältnis von abgegebener Energie zu zugeführter Energie) von Schwungrädern, auch bekannt als Round-Trip-Effizienz, kann bis zu 90 % betragen.“

Interessante, aber viel zu ferne Analogien sind die Atmos-Uhr oder die Beverly-Uhr , die seit ihrer Errichtung vor 155 Jahren nie aufgezogen wurde. Wenn ein Computer auf Änderungen des atmosphärischen Drucks und der Temperatur reagieren könnte, wäre er sicherlich effizient.

WetSavannaAnimal: Betrachten Sie den Zustand des physischen Systems, aus dem der Speicher aufgebaut ist, kurz vor dem Einschalten und der Initialisierung . Aufgrund der Umkehrbarkeit der zugrunde liegenden mikroskopischen physikalischen Gesetze bleibt dieser Zustand im Zustand des Gesamtsystems verschlüsselt, wenn er bei der Initialisierung des Computers effektiv "ausgelöscht" wird, und ersetzt ihn durch einen Zustand, der den initialisierten Speicher darstellt (z. B. auf Null gesetzt). ).

Wenn nach dem Kauf irgendwelche Informationen aus den Speicherchips extrahiert werden könnten, bevor Sie sie zum ersten Mal einschalten , welchen Nutzen würde Ihnen die von den Testgeräten des Herstellers geschriebene Ziffernfolge haben; die Aufzeichnung des ersten (bei weitem nicht) Zustand?

Siehe auch: „ Kann RAM Daten nach dem Entfernen behalten? “ auf Security.SE.

Häufig wird der Computerspeicher nicht auf Null initialisiert .

Normalerweise würde man sagen „das ist der Anfang“ (der Anfangszustand) und von diesem Punkt aus weitermachen. Im Wesentlichen fragen Sie, "was vor dem 'Urknall' passiert ist, lange bevor die Atome in den von mir gekauften Computer eingebaut wurden".

WetSavannaAnimal: Also scheint es mir, wenn M Bits ist der maximale Speicher, den ein umkehrbarer Algorithmus während seiner gesamten Arbeit abrufen muss, nach der Begründung des Landauer-Prinzips müssen wir letztendlich arbeiten M k T l Ö g 2 um "die überschüssige Entropie aus dem initialisierten System zu werfen".

Das ist das unerreichbare theoretische Minimum. Siehe Koomeys Gesetz :

„Neueste Studien zeigen, dass sich das Koomeysche Gesetz (die Anzahl der Berechnungen pro Joule an verbrauchter Energie) alle 2,6 Jahre verdoppelt hat [ 12 ] .

Durch den zweiten Hauptsatz der Thermodynamik und das Landauer-Prinzip kann irreversibles Rechnen nicht ewig energieeffizienter gemacht werden. Ab 2011 haben Computer eine Recheneffizienz von etwa 0,00001%. [ 13 ] Unter der Annahme, dass sich die Energieeffizienz von Computern weiterhin alle 1,57 Jahre verdoppelt, wird die Landauer-Grenze im Jahr 2048 erreicht. Somit kann das Koomeysche Gesetz nach etwa 2048 nicht mehr gelten.

Das Landauer-Prinzip ist jedoch nicht auf reversibles Rechnen anwendbar . Diese und andere zukünftige Computertechnologien jenseits von CMOS, die noch nicht entwickelt sind, würden völlig neue Effizienzen jenseits des Koomey-Gesetzes darstellen.

Siehe auch: " Die Physik des Vergessens: Landauers Löschprinzip und Informationstheorie " (19. März 2001), von MB Plenio und V. Vitelli, Seite 20:

„Aus dem letzten Abschnitt erinnern wir uns, dass die Menge an klassischer Information in die Schaffung des Staates investiert wurde ρ ^ war nie kleiner als die von Neumann-Entropie S ( ρ ^ ) ein Wert, der immer erreicht werden kann. Dies ließ die Frage offen, wie viel klassische Information nach der Erstellung tatsächlich noch zugänglich ist ρ ^ . Nachdem wir oben gesehen haben, dass die Entropie der Löschung eines Quantenzustands ist ρ ^ So klein wie die von Neumann-Entropie sein kann , schließen wir aus dem Landauer-Prinzip, dass die zugängliche Information im Zustand ist ρ ^ kann nicht größer sein als seine von Neumann-Entropie. Damit wird deutlich, dass die einzig mögliche Größe zur Beschreibung des klassischen Informationsgehaltes eines aus einem Ensemble reiner Zustände präparierten gemischten Zustandes die von Neumann-Entropie ist.

Beachten Sie, dass gdb und das rr-Projekt die umgekehrte Ausführung eines Programms erlauben. Das hat nichts mit Landauers Prinzip zu tun. Eine Sache, die entdeckt wurde, war, dass einige Operationen sich nicht wie erwartet verhalten, da das Programm nicht mit der Absicht geschrieben wurde, es rückwärts auszuführen.

WetSavannaAnimal: Frage 1: Ist meine Argumentation soweit richtig? Wenn nicht, sagen Sie bitte warum.

Fertig, aber: "... Um den Anfangszustand zu codieren, der beim Einschalten und Initialisieren gelöscht wird, scheint es mir ...". Die „ Null “ ist nicht „0“.

WetSavannaAnimal: Frage 2: Da wir wie oben einen Quantencomputer mit 140 Qubits in „digitalen“ Überlagerungen bauen könnten, brauchen wir tatsächlich solche Initialisierungsenergien?

Die von Neumann-Entropie wird durch ein Wärmebad erzeugt, das den thermischen Gleichgewichtszustand des Systems darstellt ρ ^ , dh m ich n { Δ S t Ö t } = S ( ρ ^ ) = T r { ρ ^ l Ö g ρ ^ } was der von Neumann-Entropie von entspricht ρ ^ . Diese Gleichung wiederholt Landauers Prinzip für Quantensysteme, in denen klassische Informationen kodiert sind.

Siehe auch:

Viewpoint: Landauer Principle Stands up to Quantum Test “ (21. Mai 2018) in APS Physics 11, 49, von Massimiliano Esposito:

„... das Quanten-Landauer-Prinzip geht davon aus, dass das Qubit zunächst nicht mit dem ausgeglichenen Reservoir korreliert ist. Diese Annahme gilt für die Methode, mit der Fengs Team das Qubit präparierte [ 4 ] oder wenn die Wechselwirkung zwischen dem Qubit und dem Reservoir schwach ist. Die Formulierung zweiter Gesetze für korrelierte Anfangsbedingungen ist jedoch schwieriger und bleibt ein aktives Forschungsgebiet.

[4]LL Yan, TP Xiong, K. Rehan, F. Zhou, DF Liang, L. Chen, JQ Zhang, WL Yang, ZH Ma und M. Feng, „ Single-Atom Demonstration of the Quantum Landauer Principle “, Phys. Rev Lett. 120, 210601 (2018).

Bloch-Sphäre

WetSavannaAnimal: Letzte Frage: Wende ich das Landauer-Prinzip richtig auf den Quantencomputer an? Warum scheitern meine Argumente, wenn sie es tun?

Ich denke, ich habe alles oben Beschriebene, aber die Implementierung der meisten Logikgatter erfordert mehr als ein Qubit, ebenso wie das Erstellen einer umkehrbaren Logik.

Siehe: „ Reducing Quantum Cost in Reversible Toffoli Circuits “ (20. Okt. 2011), von Marek Szyprowski und Pawel Kerntopf:

"In letzter Zeit wurde die reversible Schaltungssynthese intensiv untersucht. Eines der Probleme, das lange Zeit nicht gelöst wurde, war die exakte Minimierung der Gate-Anzahl (GC) in 4-Bit-Schaltungen. Letztes Jahr endlich ein Werkzeug für den praktischen Einsatz gefunden Toffoli-Netzwerke mit optimaler Gate-Anzahl für jede 4-Variablen-Funktion wurden entwickelt.Jedoch wurde noch nicht viel Arbeit zur genauen Minimierung der Quantenkosten(QC) in 4-Bit-Schaltungen geleistet.Dieses Papier stellt eine Anwendung des oben erwähnten Werkzeugs zur Reduzierungdar QC von umkehrbaren 4-Bit-Schaltungen. Es wird gezeigt, dass es für Benchmarks und für Designs aus neueren Veröffentlichungen möglich ist, Einsparungen bei der QC von bis zu 74 % im Vergleich zu bisher bekannten Schaltungen zu erzielen.“