⚛️ quantum physics

Comment on Temperature change can solve the Deutsch-Jozsa problem: An exploration of thermodynamic query complexity

Dieses Paper widerlegt die Behauptung, dass eine einzige thermische Abfrage gefolgt von mehreren Probenahmen das Deutsch-Jozsa-Problem lösen kann, indem es demonstriert, dass der vorgeschlagene Auslesemechanismus aufgrund perfekter Korrelationen keine unabhängigen Stichproben erzeugen kann und dass die zitierte Stichprobenuntergrenze mathematisch ungültig ist.

Ursprüngliche Autoren: Ridha Horchani

Veröffentlicht 2026-07-15

📖 4 Min. Lesezeit🧠 Tiefgang

CC BY 4.0

Ursprüngliche Autoren: Ridha Horchani

Originalarbeit lizenziert unter CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Dies ist eine KI-generierte Erklärung des untenstehenden Papers. Sie wurde nicht von den Autoren verfasst oder gebilligt. Für technische Genauigkeit konsultieren Sie das Originalpaper. Vollständigen Haftungsausschluss lesen

Stellen Sie sich vor, Sie versuchen, ein kniffliges Logikrätsel namens Deutsch–Jozsa-Problem zu lösen. In einer kürzlich erschienenen Studie schlugen Forscher einen cleveren Weg vor, dieses Problem mithilfe einer „thermischen Maschine“ zu lösen – im Grunde eine winzige Wärmekraftmaschine, die wie ein magisches Orakel fungiert. Die Idee war, dass man dieser Maschine eine einzige Frage stellen könnte (eine „thermische Abfrage“), ein Ergebnis erhält und dieses Ergebnis dann immer wieder kopieren kann, um einen riesigen Berg an Daten zu erhalten, ohne die Maschine jemals wieder fragen zu müssen. Sie behaupteten, dass man das Rätsel mit nur einem einzigen Wärmeaustausch und einer Menge zusätzlicher Stichproben lösen könne, wobei man etwa 116 Messungen bräuchte, um sicher zu sein.

Hier ist die Geschichte, was schiefgelaufen ist, erklärt mit ein paar lustigen Analogien.

Die „magische Fotokopier Maschine“, die es nicht gab

Der ursprüngliche Plan beruhte auf einem Trick namens „CNOT-Fanout“. Stellen Sie sich das Probe-Qubit (das winzige Teilchen, das mit der Wärmemaschine kommuniziert) als eine einzige, magische Münze vor, die entweder Kopf oder Zahl zeigt. Die Forscher glaubten, sie könnten das Ergebnis dieser Münze mittels eines speziellen Gates (einem CNOT) augenblicklich auf 100 andere leere Münzen (Ancillas) kopieren. Sie glaubten, dass sie nach dem Kopieren alle 100 Münzen unabhängig voneinander messen könnten, um 100 separate Datensätze zu erhalten.

Horchani weist darauf hin, dass dies so ist, als würde man versuchen, eine geheime Nachricht zu fotokopieren, indem man Licht auf sie wirft. Wenn man das Licht einschaltet, sind das Original und die Kopie perfekt miteinander verknüpft. Wenn die ursprüngliche Münze Kopf zeigt, zeigt jede einzelne Kopie Kopf. Wenn die ursprüngliche Münze Zahl zeigt, zeigt jede einzelne Kopie Zahl.

Man erhält nicht 100 unabhängige Vermutungen; man erhält eine einzige Vermutung, die 100 Mal geschrien wurde. Es ist, als würde eine Person ein Geheimnis in einen Raum mit 100 Menschen flüstern und man fragt dann jeden, was er gehört hat. Wenn die erste Person „Ja“ gehört hat, sagen alle „Ja“. Wenn sie „Nein“ gehört hat, sagen alle „Nein“. Man hat nicht 100 neue Meinungen gesammelt; man hat lediglich die eine ursprüngliche Meinung 100 Mal bestätigt. Aus diesem Grund werden auch die „Trace-Distanz“ und die „relative Entropie“ (das sind schicke mathematische Begriffe für die Art und Weise, wie man den Unterschied zwischen zwei Möglichkeiten misst) nicht größer, nur weil man Kopien erstellt. Man hat immer noch nur eine einzige Information.

Die „Reset und Repeat“-Falle

Wie bekommt man also echte, unabhängige Daten? Das Paper schlägt vor, dass man die gesamte Maschine zurücksetzen, abkühlen und der Wärmemaschine eine neue Frage stellen müsste. Aber hier ist der Haken: Das ursprüngliche Paper definierte eine „Abfrage“ (Query) als den Akt des Wärmeaustauschs mit der Maschine.

Wenn man 100 unabhängige Stichproben möchte, kann man nicht einfach die erste kopieren. Man muss zur Maschine zurückkehren, den Wärmeaustausch vollziehen und der Wärmemaschine eine neue Frage stellen. Das bedeutet, dass man tatsächlich 100 Abfragen durchgeführt hat, nicht nur eine. Der Traum von „eine Abfrage, viele Stichproben“ ist geplatzt, denn um unabhängige Daten zu erhalten, muss man die Wärmemaschine immer wieder besuchen, was als wiederholte Abfragen zählt.

Das mathematische Durcheinander

Es gibt ein zweites Problem mit den Zahlen. Das ursprüngliche Paper behauptete, dass man, um zu 90 % sicher zu sein (mit einer Fehlerrate von 0,1), mindestens 116 Stichproben benötigt. Sie versuchten, dies unter Verwendung einer berühmten mathematischen Regel namens Pinsker-Ungleichung zu beweisen.

Horchani zeigt, dass sie die Ungleichung rückwärts angewendet haben. Es ist, als würde man versuchen zu beweisen, dass man mindestens 50 Dollar braucht, um ein Spielzeug zu kaufen, indem man sagt: „Das Spielzeug kostet höchstens 50 Dollar.“ Das beweist nicht, dass man mindestens 50 braucht; es setzt lediglich eine Obergrenze. Die Mathematik im ursprünglichen Paper deutet eigentlich auf das Gegenteil dessen hin, was sie behaupteten. Die Zahl 116 ist kein harter Grenzwert, der aus dieser Ungleichung abgeleitet wurde; es ist eine unbegründete Vermutung basierend auf einer falsch angewandten Formel.

Das Fazit

Bedeutet das, dass die ganze Idee, Hitze zur Lösung von Logikrätseln zu verwenden, tot ist? Keineswegs! Das Paper räumt ein, dass der Mechanismus des „thermischen Kickbacks“ immer noch funktionieren könnte, um die Antwort in der Temperatur der Sonde zu kodieren. Die Physik des Wärmeaustauschs selbst scheint in Ordnung zu sein.

Die spezifische Behauptung jedoch, dass man das Problem mit nur einer thermischen Abfrage gefolgt von vielen nützlichen Stichproben lösen kann, ist falsch. Man kann nicht mehr Information aus einem einzigen Wärmeaustausch ziehen, als dieser eine Austausch hergibt. Um die benötigten Daten zu erhalten, muss man der Maschine immer wieder Fragen stellen, was bedeutet, dass die „Ressourcen-Abrechnung“ (das Zählen der verwendeten Abfragen) korrigiert werden muss. Der magische „Einmal-und-fertig“-Shortcut existiert nicht, und die spezifische Zahl von 116 Stichproben ist nicht das unerschütterliche Limit, für das die ursprünglichen Autoren es hielten.

Technisches Resümee: Kommentar zu „Temperature change can solve the Deutsch–Jozsa problem: An exploration of thermodynamic query complexity“

Problemstellung
Dieses Papier adressiert einen kritischen Fehler in der Ressourcenrechnung und der Ausleseanalyse, die in Phys. Rev. A 113, 012420 (2026) (im Folgenden Ref. [1]) vorgeschlagen wurde. Ref. [1] behauptet, dass das Deutsch–Jozsa-Entscheidungsproblem unter Verwendung einer einzigen thermischen Abfrage (einem Wärmeaustausch zwischen einem Sonden-Qubit und einer thermischen Maschinen-Orakel) gelöst werden kann, gefolgt von einer Anzahl statistisch nützlicher Sondenproben, die unabhängig von der Eingabegröße ist. Die Autoren dieses Kommentars argumentieren, dass der vorgeschlagene Auslesemechanismus nicht in der Lage ist, unabhängige Stichproben aus einer einzigen Abfrage zu generieren, und dass die abgeleiteten Schranken für die Stichprobengröße mathematisch fehlerhaft sind.

Methodik und Analyse
Das Papier analysiert die zwei primären Auslesestrategien, die in Ref. [1] diskutiert werden, sowie die statistischen Ungleichungen, die zur Ableitung der Stichprobenkomplexitätsgrenzen verwendet werden:

CNOT-Fanout-Analyse: Ref. [1] schlägt vor, CNOT-Gatter zu verwenden, um einen einzelnen post-query Sondenstatus $\rho_h$ (wobei $h \in \{B, C\}$ für die Hypothesen „ausbalanciert“ oder „konstant“ steht) unitär in $M$ reine Ancilla-Qubits zu rekonstruieren, um wiederholte Messungen zu ermöglichen.
- Die Autoren zeigen, dass das Anwenden von CNOT-Gattern auf einen diagonalen Sondenstatus zu $M$ Ancillas zu einem gemeinsamen Zustand $\sigma^{(M)}_h = p_h|0^{M+1}\rangle\langle 0^{M+1}| + (1-p_h)|1^{M+1}\rangle\langle 1^{M+1}|$ führt.
- Während die einzelnen Register den marginalen Status $\rho_h$ beibehalten, besteht der gemeinsame Zustand aus perfekt korrelierten Registern (entweder alle $0$ oder alle $1$).
- Folglich stellen die $M+1$ aufgezeichneten Bits eine einzige Bernoulli-Ziehung dar, die $M$ -mal kopiert wurde, und nicht $M+1$ unabhängige Ziehungen. Die empirische Häufigkeit konvergiert nicht gegen die wahre Wahrscheinlichkeit $p_h$ , wenn $M$ steigt.
- Das Papier berechnet die Spurdistanz und die relative Entropie zwischen den Hypothesen „ausbalanciert“ und „konstant“ für diesen Fanout-Zustand und zeigt, dass diese identisch mit den Single-Copy-Werten bleiben ( $T(\sigma^{(M)}_B, \sigma^{(M)}_C) = T(\rho_B, \rho_C)$ und $D(\sigma^{(M)}_B \| \sigma^{(M)}_C) = D(\rho_B \| \rho_C)$ ). Somit verstärkt der Fanout die Unterscheidbarkeit nicht.
Reset-and-Repeat-Analyse: Die alternative Strategie beinhaltet das Messen der Sonde, das Zurücksetzen des Systems und das Wiederholen des Experiments.
- Die Autoren argumentieren, dass unter der Definition in Ref. [1], bei der eine „Abfrage“ als ein Wärmeaustausch zwischen der Sonde und dem Orakel definiert ist, dieses Verfahren $M$ verschiedene thermische Abfragen erfordert, um $M$ unabhängige Stichproben zu generieren.
- Daher ist die Behauptung „eine Abfrage gefolgt von vielen Proben“ operational ungültig; unabhängige Stichproben erfordern wiederholte Wärmeaustausche.
Kritik der statistischen Ungleichung: Das Papier untersucht die in Eq. (7) von Ref. [1] angegebene untere Schranke für die Stichprobengröße $n^*$ , die behauptet, $n^* > \ln(1/\delta) / D(\rho_B \| \rho_C)$ , und nutzt die Pinsker-Ungleichung, um dies mit einem Spurdistanz-Schwellenwert $t$ in Beziehung zu setzen.
- Die Autoren zeigen, dass die Pinsker-Ungleichung ( $D \geq 2T^2$ ) eine obere Schranke für den Kehrwert der relativen Entropie impliziert, nicht eine untere Schranke.
- Konkret ergibt die Substitution der Ungleichung $\frac{\ln(1/\delta)}{D} < \frac{\ln(1/\delta)}{2t^2}$ . Eine untere Schranke für $n^*$ , die aus der linken Seite abgeleitet wird, kann logischerweise nicht die in Ref. [1] angegebene Ungleichung $n^* > \frac{\ln(1/\delta)}{2t^2}$ implizieren.
- Darüber hinaus merken die Autoren an, dass das Chernoff–Stein-Lemma, welches die asymptotischen Fehlerexponenten regelt, die in Ref. [1] verwendete exakte Finite-Sample-Ungleichung ohne zusätzliche Analyse nicht bereitstellt.

Wesentliche Beiträge und Ergebnisse

Korrektur der Ressourcenzählung: Das Papier stellt fest, dass ein CNOT-Fanout eines diagonalen Post-Query-Sondenstatus perfekt korrelierte Register erzeugt, statt unabhängiger Kopien. Daher liefern wiederholte Messungen dieser Ancillas nur eine einzige Bernoulli-Beobachtung und nicht $M$ unabhängige Beobachtungen.
Klärung der Abfragekomplexität: Die Analyse bestätigt, dass das Generieren von $M$ unabhängigen Stichproben mittels der „Reset-and-Repeat“-Methode $M$ thermische Abfragen erfordert, was der Behauptung widerspricht, das Protokoll erreiche eine Stichprobenunabhängigkeit von der Eingangsgröße mit einer einzigen Abfrage.
Mathematische Widerlegung der Stichproben-Schranken: Das Papier demonstriert, dass die spezifische untere Schranke für die Stichprobengröße, die in Ref. [1] zitiert wird (die etwa 116 Proben für $\delta = t = 0,1$ erfordert), nicht aus der Pinsker-Ungleichung folgt. Die Ungleichung liefert tatsächlich eine obere Schätzung für den Ausdruck, aber keine notwendige untere Schranke.
Erhaltung der Unterscheidbarkeit: Es wird gezeigt, dass der CNOT-Fanout eine isometrische Einbettung ist, welche die Spurdistanz und die relative Entropie zwischen den Hypothesen bewahrt, anstatt sie zu verstärken.

Bedeutung und Ansprüche
Die Autoren stellen klar, dass diese Beobachtungen nicht die zugrunde liegenden Populationstransfer-Berechnungen oder die Möglichkeit invalidieren, dass der „thermische Kickback“ Entscheidungsinformationen in den Sondetemperaturen kodiert. Sie schließen auch nicht die Möglichkeit einer konstanten Abfragekomplexität für eine feste Zielfehlerrate aus, sofern die Populationsdifferenz von Null verschieden bleibt.

Sie behaupten jedoch, dass die operationalen Schlussfolgerungen von Ref. [1] korrigiert werden müssen. Insbesondere:

Die Behauptung, dass eine einzige abgefragte gemischte Sonde mehrere unabhängige Beobachtungen liefert, ist falsch.
Das Erzeugen der notwendigen unabhängigen Beobachtungen zur Temperaturschätzung erfordert wiederholte Anwendungen des Wärmeaustausch-Orakels.
Der Vergleich basierend auf der Trennung von „einer Abfrage“ versus „vielen Proben“ ist fehlerhaft.
Die spezifische numerische Behauptung von „mindestens 116 Proben“, die aus Eq. (7) abgeleitet wurde, ist durch die zitierten Ungleichungen nicht gestützt.

Das Papier kommt zu dem Schluss, dass die Behauptung zur Ein-Abfrage-Auslese und die damit verbundene Ressourcenrechnung in Ref. [1] korrigiert werden müssen, um die thermodynamische Abfragekomplexität korrekt abzubilden.

Die „magische Fotokopier Maschine“, die es nicht gab

Die „Reset und Repeat“-Falle

Das mathematische Durcheinander

Das Fazit

Mehr davon