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

Résumé technique : Commentaire sur le fait que le changement de température peut résoudre le problème de Deutsch–Jozsa : une exploration de la complexité de requête thermodynamique

Énoncé du problème
Cet article traite d'une faille critique dans la comptabilisation des ressources et l'analyse de la lecture proposées dans Phys. Rev. A 113, 012420 (2026) (ci-après la Réf. [1]). La Réf. [1] affirme que le problème de décision de Deutsch–Jozsa peut être résolu à l'aide d'une seule requête thermique (un échange de chaleur entre une sonde qubit et un oracle de machine thermique) suivie d'un nombre d'échantillons de sonde statistiquement utiles qui est indépendant de la taille de l'entrée. Les auteurs de ce commentaire soutiennent que le mécanisme de lecture proposé ne parvient pas à générer des échantillons indépendants à partir d'une seule requête et que les bornes inférieures d'échantillonnage dérivées sont mathématiquement incorrectes.

Méthodologie et analyse
L'article analyse les deux principales stratégies de lecture discutées dans la Réf. [1] ainsi que les inégalités statistiques utilisées pour dériver les bornes de complexité d'échantillonnage :

1. Analyse du fanout CNOT : La Réf. [1] propose d'utiliser des portes CNOT pour « reconstruire de manière unitaire » une seule sonde post-requête $\rho_h$ (où $h \in \{B, C\}$ représente les hypothèses équilibrée ou constante) en $M$ qubits ancillaires purs afin de permettre des mesures répétées.

   • Les auteurs démontrent que l'application de portes CNOT à partir d'une sonde diagonale vers $M$ ancillas produit un état conjoint $\sigma^{(M)}_h = p_h|0^{M+1}\rangle\langle 0^{M+1}| + (1-p_h)|1^{M+1}\rangle\langle 1^{M+1}|$.
   • Bien que les registres individuels conservent l'état marginal $\rho_h$, l'état conjoint consiste en des registres parfaitement corrélés (soit tous des $0$, soit tous des $1$).
   • Par conséquent, les $M+1$ bits enregistrés constituent un seul tirage de Bernoulli copié $M$ fois, et non $M+1$ tirages indépendants. La fréquence empirique ne converge pas vers la véritable probabilité $p_h$ à mesure que $M$ augmente.
   • L'article calcule la distance de trace et l'entropie relative entre les hypothèses équilibrée et constante, montrant qu'elles restent identiques aux valeurs des copies uniques ($T(\sigma^{(M)}_B, \sigma^{(M)}_C) = T(\rho_B, \rho_C)$ et $D(\sigma^{(M)}_B \| \sigma^{(M)}_C) = D(\rho_B \| \rho_C)$). Ainsi, le fanout ne multiplie pas la distinguabilité.

2. Analyse de réinitialisation et répétition (Reset-and-Repeat) : La stratégie alternative consiste à mesurer la sonde, réinitialiser le système et répéter l'expérience.

   • Les auteurs soutiennent que selon la définition de la Réf. [1], où une « requête » est définie comme un échange de chaleur entre la sonde et l'oracle, cette procédure nécessite $M$ requêtes thermiques distinctes pour générer $M$ échantillons indépendants.
   • Par conséquent, l'affirmation d'« une requête suivie de plusieurs échantillons » est opérationnellement invalide ; des échantillons indépendants nécessitent des échanges de chaleur répétés.

3. Critique de l'inégalité statistique : L'article examine la borne inférieure d'échantillonnage $n^*$ énoncée dans l'Éq. (7) de la Réf. [1], qui affirme que $n^* > \ln(1/\delta) / D(\rho_B \| \rho_C)$ et utilise l'inégalité de Pinsker pour relier cela à un seuil de distance de trace $t$.

   • Les auteurs montrent que l'inégalité de Pinsker ($D \geq 2T^2$) implique une borne supérieure de l'inverse de l'entropie relative, et non une borne inférieure.
   • Plus précisément, la substitution de l'inégalité produit $\frac{\ln(1/\delta)}{D} < \frac{\ln(1/\delta)}{2t^2}$. Une borne inférieure sur $n^*$ dérivée du côté gauche ne peut logiquement pas impliquer l'inégalité $n^* > \frac{\ln(1/\delta)}{2t^2}$ énoncée dans la Réf. [1].
   • De plus, les auteurs notent que le lemme de Chernoff–Stein, qui régit les exposants d'erreur asymptotiques, ne fournit pas l'inégalité exacte pour les échantillons finis utilisée dans la Réf. [1] sans analyse supplémentaire.

Contributions clés et résultats

• Correction de la comptabilisation des ressources : L'article établit qu'un fanout CNOT d'une sonde post-requête diagonale crée des registres parfaitement corrélés plutôt que des copies indépendantes. Par conséquent, les mesures répétées de ces ancillas ne fournissent qu'une seule observation de Bernoulli, et non $M$ observations indépendantes.
• Clarification de la complexité de requête : L'analyse confirme que la génération de $M$ échantillons indépendants via la méthode de « réinitialisation et répétition » nécessite $M$ requêtes thermiques, contredisant l'affirmation selon laquelle le protocole atteint une indépendance d'échantillonnage vis-à-vis de la taille de l'entrée avec une seule requête.
• Réfutation mathématique des bornes d'échantillonnage : L'article démontre que la borne inférieure spécifique d'échantillonnage citée (nécessitant environ 116 échantillons pour $\delta = t = 0,1$) ne découle pas de l'inégalité de Pinsker. L'inégalité fournit en réalité une estimation supérieure pour l'expression, et non une borne inférieure nécessaire.
• Préservation de la distinguabilité : Il est montré que le fanout CNOT est un plongement isométrique qui préserve, plutôt qu'il n'amplifie, la distance de trace et l'entropie relative entre les hypothèses.

Signification et affirmations
Les auteurs précisent que ces observations n'invalident pas les calculs de transfert de population sous-jacents ni la possibilité que le « kickback thermique » encode des informations de décision dans les températures des sondes. Ils ne rejettent pas non plus la possibilité d'une complexité de requête constante pour une erreur cible fixée, à condition que la séparation des populations reste éloignée de zéro.

Cependant, l'article affirme que les conclusions opérationnelles de la Réf. [1] doivent être corrigées. Spécifiquement :

1. L'affirmation selon laquelle une sonde mixte interrogée une seule fois produit plusieurs observations indépendantes est fausse.
2. La production des observations indépendantes nécessaires à l'estimation de la température nécessite l'utilisation répétée de l'oracle d'échange de chaleur.
3. La comparaison basée sur la séparation entre « une requête » et « plusieurs échantillons » est erronée.
4. L'affirmation numérique spécifique d'« au moins 116 échantillons » dérivée de l'Éq. (7) n'est pas étayée par les inégalités citées.

L'article conclut que la revendication de lecture à une seule requête et la comptabilisation des ressources associée dans la Réf. [1] doivent être corrigées pour refléter fidèlement la complexité de requête thermodynamique.