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

Technische Samenvatting: Commentaar op "Temperature change can solve the Deutsch–Jozsa problem: An exploration of thermodynamic query complexity"

Probleemstelling
Dit artikel adresseert een kritiek gebrek in de bronrekening en de uitleesanalyse voorgesteld in Phys. Rev. A 113, 012420 (2026) (hierna Ref. [1]). Ref. [1] beweert dat het Deutsch–Jozsa beslissingsprobleem kan worden opgelost met een enkele thermische query (een warmte-uitwisseling tussen een probe-qubit en een thermische machine-orakel), gevolgd door een aantal statistisch nuttige probe-monsters die onafhankelijk zijn van de invoeromvang. De auteurs van dit commentaar beargumenteren dat het voorgestelde uitleesmechanisme niet in staat is om onafhankelijke monsters te genereren uit een enkele query en dat de afgeleide monster-ondergrenzen wiskundig incorrect zijn.

Methodologie en Analyse
Het artikel analyseert de twee primaire uitleesstrategieën die worden besproken in Ref. [1] en de statistische ongelijkheden die worden gebruikt om de monstercomplexiteit-grenzen af te leiden:

1. CNOT Fanout Analyse: Ref. [1] stelt voor om CNOT-poorten te gebruiken om een enkele post-query probe-toestand $\rho_h$ (waarbij $h \in \{B, C\}$ constante of gebalanceerde hypothesen vertegenwoordigt) "unitair te reconstrueren" naar $M$ zuivere ancilla-qubits om herhaalde metingen mogelijk te maken.

   • De auteurs demonstreren dat het toepassen van CNOT-poorten vanuit een diagonale probe-toestand op $M$ ancilla's resulteert in een gezamenlijke toestand $\sigma^{(M)}_h = p_h|0^{M+1}\rangle\langle 0^{M+1}| + (1-p_h)|1^{M+1}\rangle\langle 1^{M+1}|$.
   • Hoewel individuele registers de marginale toestand $\rho_h$ behouden, bestaat de gezamenlijke toestand uit perfect gecorreleerde registers (ofwel allemaal $0$en, ofwel allemaal $1$en).
   • Gevolgelijk bestaan de $M+1$ geregistreerde bits uit een enkele Bernoulli-trekking die $M$ keer is gekopieerd, en niet uit $M+1$ onafhankelijke trekkingen. De empirische frequentie convergeert niet naar de ware waarschijnlijkheid $p_h$ naarmate $M$ toeneemt.
   • Het artikel berekent de spoorafstand (trace distance) en de relatieve entropie tussen de gebalanceerde en constante hypothesen, waarbij wordt aangetoond dat deze identiek blijven aan de single-copy waarden ($T(\sigma^{(M)}_B, \sigma^{(M)}_C) = T(\rho_B, \rho_C)$ en $D(\sigma^{(M)}_B \| \sigma^{(M)}_C) = D(\rho_B \| \rho_C)$). De fanout verhoogt de onderscheidbaarheid dus niet.

2. Reset-and-Repeat Analyse: De alternatieve strategie houdt in dat de probe wordt gemeten, het systeem wordt gereset en het experiment wordt herhaald.

   • De auteurs betogen dat onder de definitie in Ref. [1], waar een "query" wordt gedefinieerd als een warmte-uitwisseling tussen de probe en het orakel, deze procedure $M$ verschillende thermische queries vereist om $M$ onafhankelijke monsters te genereren.
   • Daarom is de claim van "één query gevolgd door vele monsters" operationeel ongeldig; onafhankelijke monsters vereisen herhaalde warmte-uitwisselingen.

3. Kritiek op de Statistische Ongelijkheid: Het artikel onderzoekt de onderste grens voor het aantal monsters $n^*$ zoals vermeld in Eq. (7) van Ref. [1], die beweert dat $n^* > \ln(1/\delta) / D(\rho_B \| \rho_C)$ en gebruikmaakt van de Pinsker-ongelijkheid om dit te relateren aan een spoorafstand-drempel $t$.

   • De auteurs tonen aan dat de Pinsker-ongelijkheid ($D \geq 2T^2$) een bovengrens impliceert voor de reciproke waarde van de relatieve entropie, en geen ondergrens.
   • Specifiek, bij het substitueren van de ongelijkheid volgt $\frac{\ln(1/\delta)}{D} < \frac{\ln(1/\delta)}{2t^2}$. Een ondergrens op $n^*$ afgeleid van de linkerzijde kan logischerwijs niet de ongelijkheid $n^* > \frac{\ln(1/\delta)}{2t^2}$ impliceren zoals gesteld in Ref. [1].
   • Verder merken de auteurs op dat de Chernoff–Stein lemma, die de asymptotische foutexponenten beheerst, de exacte eindige-monster ongelijkheid uit Ref. [1] niet biedt zonder aanvullende analyse.

Belangrijkste Bijdragen en Resultaten

• Correctie van de Bronrekening: Het artikel stelt vast dat een CNOT fanout van een diagonale post-query probe perfect gecorreleerde registers creëert in plaats van onafhankelijke kopieën. Daarom leveren herhaalde metingen van deze ancilla's slechts één Bernoulli-observatie op, en niet $M$ onafhankelijke observaties.
• Verduidelijking van de Querycomplexiteit: De analyse bevestigt dat het genereren van $M$ onafhankelijke monsters via de "reset-and-repeat" methode $M$ thermische queries vereist, wat in tegenspraak is met de claim dat het protocol de monster-onafhankelijkheid van de invoeromvang bereikt met een enkele query.
• Wiskundige Weerlegging van Monstergrenzen: Het artikel demonstreert dat de specifieke onderste grens voor het aantal monsters (die ongeveer 116 monsters vereist voor $\delta = t = 0.1$) niet volgt uit de Pinsker-ongelijkheid. De ongelijkheid geeft de uitdrukking juist een bovenschatting, en niet een noodzakelijke ondergrens.
• Behoud van Onderscheidbaarheid: Er wordt aangetoond dat de CNOT fanout een isometrische inbedding is die de spoorafstand en de relatieve entropie tussen de hypothesen behoudt, in plaats van ze te vergroten.

Betekenis en Claims
De auteurs stellen dat deze observaties de onderliggende populatie-transfer berekeningen niet ongeldig maken, noch de mogelijkheid dat "thermische kickback" beslissingsinformatie codeert in de probe-temperaturen. Ze sluiten ook de mogelijkheid van een constante querycomplexiteit voor een vaste doel-foutmarge niet uit, mits de populatiescheiding begrensd blijft boven nul.

Echter, het artikel stelt dat de operationele conclusies van Ref. [1] gecorrigeerd moeten worden. Specifiek:

1. De claim dat een enkele gekarakteriseerde gemengde probe meerdere onafhankelijke observaties oplevert, is onjuist.
2. Het produceren van de onafhankelijke observaties die nodig zijn voor temperatuurschatting vereist herhaaldelijk gebruik van de warmte-uitwisselings-orakel.
3. De vergelijking gebaseerd op de scheiding van "één query" versus "vele monsters" is gebrekkig.
4. De specifieke numerieke claim van "ten minste 116 monsters" afgeleid van Eq. (7) is niet ondersteund door de geciteerde ongelijkheden.

Het artikel concludeert dat de bewering over de one-query uitlezing en de daarmee samenhangende bronrekening in Ref. [1] gecorrigeerd moeten worden om de thermodynamische querycomplexiteit accuraat weer te geven.