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

Resumen Técnico: Comentario sobre cómo el cambio de temperatura puede resolver el problema de Deutsch–Jozsa: una exploración de la complejidad de consulta termodinámica

Planteamiento del Problema
Este artículo aborda un fallo crítico en la contabilidad de recursos y el análisis de lectura propuestos en Phys. Rev. A 113, 012420 (2026) (en adelante, Ref. [1]). Ref. [1] afirma que el problema de decisión de Deutsch–Jozsa puede resolverse utilizando una única consulta térmica (un intercambio de calor entre una sonda de qubit y un oráculo de máquina térmica) seguida de un número de muestras de la sonda estadísticamente útiles que es independiente del tamaño de la entrada. Los autores de este comentario argumentan que el mecanismo de lectura propuesto no logra generar muestras independientes a partir de una sola consulta y que los límites inferiores de muestras derivados son matemáticamente incorrectos.

Metodología y Análisis
El artículo analiza las dos estrategias principales de lectura discutidas en Ref. [1] y las desigualdades estadísticas utilizadas para derivar los límites de la complejidad de las muestras:

1. Análisis de Fanout CNOT: Ref. [1] propone utilizar puertas CNOT para "reconstruir unitariamente" una única sonda post-consulta $\rho_h$ (donde $h \in \{B, C\}$ representa las hipótesis balanceada o constante) en $M$ qubits ancila puros para permitir mediciones repetidas.

   • Los autores demuestran que la aplicación de puertas CNOT desde un estado de sonda diagonal hacia $M$ ancillas resulta en un estado conjunto $\sigma^{(M)}_h = p_h|0^{M+1}\rangle\langle 0^{M+1}| + (1-p_h)|1^{M+1}\rangle\langle 1^{M+1}|$.
   • Si bien los registros individuales mantienen el estado marginal $\rho_h$, el estado conjunto consiste en registros perfectamente correlacionados (ya sea todos $0$ o todos $1$).
   • Consecuentemente, los $M+1$ bits registrados constituyen un único dibujo de Bernoulli copiado $M$ veces, no $M+1$ dibujos independientes. La frecuencia empírica no converge a la verdadera probabilidad $p_h$ a medida que $M$ aumenta.
   • El artículo calcula la distancia de traza y la entropía relativa entre las hipótesis balanceada y constante para este estado de fanout, mostrando que permanecen idénticas a los valores de una sola copia ($T(\sigma^{(M)}_B, \sigma^{(M)}_C) = T(\rho_B, \rho_C)$ y $D(\sigma^{(M)}_B \| \sigma^{(M)}_C) = D(\rho_B \| \rho_C)$). Por lo tanto, el fanout no amplifica la distinguibilidad.

2. Análisis de Reinicio y Repetición (Reset-and-Repeat): La estrategia alternativa consiste en medir la sonda, reiniciar el sistema y repetir el experimento.

   • Los autores argumentan que bajo la definición de Ref. [1], donde una "consulta" se define como un intercambio de calor entre la sonda y el oráculo, este procedimiento requiere $M$ consultas térmicas distintas para generar $M$ muestras independientes.
   • Por lo tanto, la afirmación de "una consulta seguida de muchas muestras" es operativamente inválida; las muestras independientes requieren intercambios de calor repetidos.

3. Crítica de la Desigualdad Estadística: El artículo examina el límite inferior de muestra $n^*$ establecido en la Ec. (7) de Ref. [1], el cual afirma que $n^* > \ln(1/\delta) / D(\rho_B \| \rho_C)$ y utiliza la desigualdad de Pinsker para relacionarlo con un umbral de distancia de traza $t$.

   • Los autores muestran que la desigualdad de Pinsker ($D \geq 2T^2$) implica un límite superior del recíproco de la entropía relativa, no un límite inferior.
   • Específicamente, al sustituir la desigualdad se obtiene $\frac{\ln(1/\delta)}{D} < \frac{\ln(1/\delta)}{2t^2}$. Un límite inferior para $n^*$ derivado del lado izquierdo no puede implicar lógicamente la desigualdad $n^* > \frac{\ln(1/\delta)}{2t^2}$ establecida en Ref. [1].
   • Además, los autores señalan que el lema de Chernoff–Stein, que gobierna los exponentes de error asintóticos, no proporciona la desigualdad exacta de muestras finitas utilizada en Ref. [1] sin un análisis adicional.

Contribuciones Clave y Resultados

• Corrección del Conteo de Recursos: El artículo establece que un fanout CNOT de una sonda post-consulta diagonal crea registros perfectamente correlacionados en lugar de copias independientes. Por lo tanto, las mediciones repetidas de estas ancillas proporcionan solo una observación de Bernoulli, no $M$ observaciones independientes.
• Clarificación de la Complejidad de Consulta: El análisis confirma que generar $M$ muestras independientes mediante el método de "reinicio y repetición" requiere $M$ consultas térmicas, contradiciendo la afirmación de que el protocolo logra la independencia de muestras del tamaño de la entrada con una sola consulta.
• Refutación Matemática de los Límites de Muestra: El artículo demuestra que el límite inferior de muestra específico citado en Ref. [1] (que requiere aproximadamente 116 muestras para $\delta = t = 0.1$) no se deriva de la desigualdad de Pinsker. La desigualdad en realidad proporciona una estimación superior para la expresión, no un límite inferior necesario.
• Preservación de la Distinguibilidad: Se muestra que el fanout CNOT es una incrustación isométrica que preserva, en lugar de amplificar, la distancia de traza y la entropía relativa entre las hipótesis.

Significancia y Reclamaciones
Los autores afirman que estas observaciones no invalidan los cálculos de transferencia de población subyacentes ni la posibilidad de que el "retroceso térmico" (thermal kickback) codifique información de decisión en las temperaturas de la sonda. Tampoco descartan la posibilidad de una complejidad de consulta constante para un error objetivo fijo, siempre que la separación de la población permanezca alejada de cero.

Sin embargo, el artículo afirma que las conclusiones operacionales de Ref. [1] deben corregirse. Específicamente:

1. La afirmación de que una única sonda mixta consultada produce múltiples observaciones independientes es falsa.
2. Producir las observaciones independientes necesarias para la estimación de la temperatura conlleva el uso repetido del oráculo de intercambio de calor.
3. La comparación basada en la separación de "una consulta" frente a "muchas muestras" es errónea.
4. La afirmación numérica específica de "al menos 116 muestras" derivada de la Ec. (7) no está sustentada por las desigualdades citadas.

El artículo concluye que la afirmación de lectura de una sola consulta y la contabilidad de recursos asociada en Ref. [1] requieren corrección para reflejar con precisión la complejidad de consulta termodinámica.