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

Sintesi Tecnica: Commento sul fatto che il cambiamento di temperatura può risolvere il problema di Deutsch–Jozsa: un'esplorazione della complessità di query termodinamica

Enunciato del Problema
Questo articolo affronta un difetto critico nella contabilità delle risorse e nell'analisi della lettura (readout) proposta in Phys. Rev. A 113, 012420 (2026) (qui di seguito Rif. [1]). L'autore di Rif. [1] sostiene che il problema decisionale di Deutsch–Jozsa possa essere risolto utilizzando una singola query termica (uno scambio di calore tra un qubit sonda e un oracolo macchina-termica) seguita da un numero di campioni della sonda statisticamente utili che è indipendente dalla dimensione dell'input. Gli autori di questo commento sostengono che il meccanismo di lettura proposto non riesce a generare campioni indipendenti da una singola query e che i limiti inferiori dei campioni derivati sono matematicamente errati.

Metodologia e Analisi
L'articolo analizza le due principali strategie di lettura discusse in Rif. [1] e le disuguaglianze statistiche utilizzate per derivare i limiti di complessità dei campioni:

1. Analisi del Fanout CNOT: Rif. [1] propone l'uso di porte CNOT per "ricostruire unitariamente" una singola sonda post-query $\rho_h$ (dove $h \in \{B, C\}$ rappresenta le ipotesi bilanciata o costante) in $M$ qubit ancilla puri per consentire misurazioni ripetute.

   • Gli autori dimostrano che l'applicazione di porte CNOT da una sonda diagonale a $M$ ancilla produce uno stato congiunto $\sigma^{(M)}_h = p_h|0^{M+1}\rangle\langle 0^{M+1}| + (1-p_h)|1^{M+1}\rangle\langle 1^{M+1}|$.
   • Sebbene i singoli registri mantengano lo stato marginale $\rho_h$, lo stato congiunto consiste in registri perfettamente correlati (tutti $0$ o tutti $1$).
   • Di conseguenza, i $M+1$ bit registrati costituiscono un singolo campionamento Bernoulli copiato $M$ volte, non $M+1$ campionamenti indipendenti. La frequenza empirica non converge alla vera probabilità $p_h$ all'aumentare di $M$.
   • L'articolo calcola la distanza di traccia e l'entropia relativa tra le ipotesi bilanciata e costante per questo stato fanout, mostrando che rimangono identici ai valori a singola copia ($T(\sigma^{(M)}_B, \sigma^{(M)}_C) = T(\rho_B, \rho_C)$ e $D(\sigma^{(M)}_B \| \sigma^{(M)}_C) = D(\rho_B \| \rho_C)$). Pertanto, il fanout non amplifica la distinguibilità.

2. Analisi Reset-and-Repeat: La strategia alternativa prevede la misurazione della sonda, il reset del sistema e la ripetizione dell'esperimento.

   • Gli autori sostengono che, secondo la definizione in Rif. [1], dove una "query" è definita come uno scambio di calore tra la sonda e l'oracolo, questa procedura richiede $M$ distinte query termiche per generare $M$ campioni indipendenti.
   • Pertanto, l'affermazione di "una query seguita da molti campioni" è operativamente invalida; i campioni indipendenti necessitano di scambi di calore ripetuti.

3. Critica alle Disuguaglianze Statistiche: L'articolo esamina il limite inferiore del campione $n^*$ indicato nell'Eq. (7) di Rif. [1], che afferma $n^* > \ln(1/\delta) / D(\rho_B \| \rho_C)$ e utilizza la disuguaglianza di Pinsker per relazionarlo a una soglia di distanza di traccia $t$.

   • Gli autori mostrano che la disuguaglianza di Pinsker ($D \geq 2T^2$) implica un limite superiore del reciproco dell'entropia relativa, non un limite inferiore.
   • Nello specifico, sostituendo la disuguaglianza si ottiene $\frac{\ln(1/\delta)}{D} < \frac{\ln(1/\delta)}{2t^2}$. Un limite inferiore su $n^*$ derivato dal lato sinistro non può logicamente implicare la disuguaglianza $n^* > \frac{\ln(1/\delta)}{2t^2}$ indicata in Rif. [1].
   • Inoltre, gli autori osservano che il lemma di Chernoff–Stein, che governa gli esponenti di errore asintotici, non fornisce l'esatta disuguaglianza per campioni finiti utilizzata in Rif. [1] senza un'analisi aggiuntiva.

Contributi Chiave e Risultati

• Correzione del Conteggio delle Risorse: L'articolo stabilisce che un fanout CNOT di una sonda post-query diagonale crea registri perfettamente correlati invece di copie indipendenti. Pertanto, misurazioni ripetute di queste ancilla forniscono solo un'osservazione Bernoulli, non $M$ osservazioni indipendenti.
• Chiarificazione della Complessità di Query: L'analisi conferma che la generazione di $M$ campioni indipendenti tramite il metodo "reset-and-repeat" richiede $M$ query termiche, contraddicendo l'affermazione che il protocollo raggiunge l'indipendenza del campione dalla dimensione dell'input con una singola query.
• Confutazione Matematica dei Limiti del Campione: L'articolo dimostra che il limite inferiore specifico del campione citato (che richiede circa 116 campioni per $\delta = t = 0.1$) non deriva dalla disuguaglianza di Pinsker. La disuguaglianza fornisce in realtà una stima superiore per l'espressione, non un limite inferiore necessario.
• Preservazione della Distinguibilità: È dimostrato che il fanout CNOT è un embedding isometrico che preserva, anziché amplificare, la distanza di traccia e l'entropia relativa tra le ipotesi.

Significato e Affermazioni
Gli autori dichiarano che queste osservazioni non invalidano i calcoli del trasferimento di popolazione sottostanti o la possibilità che il "thermal kickback" codifichi informazioni decisionali nelle temperature della sonda. Non escludono inoltre la possibilità di una complessità di query costante per un errore target fisso, a condizione che la separazione della popolazione rimanga lontana dallo zero.

Tuttavia, l'articolo afferma che le conclusioni operative di Rif. [1] devono essere corrette. Nello specifico:

1. L'affermazione che una singola sonda mista interrogata produca molteplici osservazioni indipendenti è falsa.
2. La produzione delle osservazioni indipendenti necessarie per la stima della temperatura comporta l'uso ripetuto dell'oracolo di scambio termico.
3. Il confronto basato sulla separazione di "una query" rispetto a "molti campioni" è fallace.
4. La specifica affermazione numerica di "almeno 116 campioni" derivata dall'Eq. (7) non è supportata dalle disuguaglianze citate.

L'articolo conclude che l'affermazione sulla lettura a una singola query e la relativa contabilità delle risorse in Rif. [1] richiedono una correzione per riflettere accuratamente la complessità di query termodinamica.