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

Resumo Técnico: Comentário sobre a mudança de temperatura poder resolver o problema de Deutsch–Jozsa: Uma exploração da complexidade de consulta termodinâmica

Enunciado do Problema
Este artigo aborda uma falha crítica na contabilidade de recursos e na análise de leitura proposta em Phys. Rev. A 113, 012420 (2026) (doravante Ref. [1]). A Ref. [1] afirma que o problema de decisão de Deutsch–Jozsa pode ser resolvido usando uma única consulta térmica (uma troca de calor entre um qubit de sonda e um oráculo de máquina térmica) seguida por um número de amostras de sonda estatisticamente úteis que é independente do tamanho da entrada. Os autores deste comentário argumentam que o mecanismo de leitura proposto não consegue gerar amostras independentes a partir de uma única consulta e que os limites inferiores de amostra derivados são matematicamente incorretos.

Metodologia e Análise
O artigo analisa as duas principais estratégias de leitura discutidas na Ref. [1] e as desigualdades estatísticas utilizadas para derivar os limites de complexidade de amostra:

1. Análise de Fanout CNOT: A Ref. [1] propõe o uso de portas CNOT para "reconstruir unitariamente" um estado de sonda pós-consulta $\rho_h$ (onde $h \in \{B, C\}$ representa as hipóteses balanceada ou constante) em $M$ qubits ancila puros para permitir medições repetidas.

   • Os autores demonstram que aplicar portas COT de um estado de sonda diagonal para $M$ ancilas resulta em um 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}|$.
   • Embora os registradores individuais mantenham o estado marginal $\rho_h$, o estado conjunto consiste em registradores perfeitamente correlacionados (ou todos $0$s ou todos $1$s).
   • Consequentemente, os $M+1$ bits registrados constituem uma única extração de Bernoulli copiada $M$ vezes, não $M+1$ extrações independentes. A frequência empírica não converge para a verdadeira probabilidade $p_h$ conforme $M$ aumenta.
   • O artigo calcula a distância de traço e a entropia relativa entre as hipóteses balanceada e constante para este estado de fanout, mostrando que elas permanecem idênticas aos valores de cópia única ($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)$). Assim, o fanout não amplifica a distinguibilidade.

2. Análise de Reset-e-Repetição: A estratégia alternativa envolve medir a sonda, resetar o sistema e repetir o experimento.

   • Os autores argumentam que, sob a definição da Ref. [1], onde uma "consulta" é definida como uma troca de calor entre a sonda e o oráculo, este procedimento requer $M$ consultas térmicas distintas para gerar $M$ amostras independentes.
   • Portanto, a afirmação de "uma consulta seguida de muitas amostras" é operacionalmente inválida; amostras independentes necessitam de trocas de calor repetidas.

3. Crítica à Desigualdade Estatística: O artigo examina o limite inferior de amostra $n^*$ declarado na Eq. (7) da Ref. [1], que afirma $n^* > \ln(1/\delta) / D(\rho_B \| \rho_C)$ e utiliza a desigualdade de Pinsker para relacioná-lo a um limiar de distância de traço $t$.

   • Os autores mostram que a desigualdade de Pinsker ($D \geq 2T^2$) implica um limite superior para o recíproco da entropia relativa, não um limite inferior.
   • Especificamente, ao substituir a desigualdade, obtém-se $\frac{\ln(1/\delta)}{D} < \frac{\ln(1/\delta)}{2t^2}$. Um limite inferior para $n^*$ derivado do lado esquerdo não pode logicamente implicar a desigualdade $n^* > \frac{\ln(1/\delta)}{2t^2}$ declarada na Ref. [1].
   • Além disso, os autores observam que o lema de Chernoff–Stein, que governa os expoentes de erro assintóticos, não fornece a desigualdade exata de amostra finita utilizada na Ref. [1] sem análise adicional.

Principais Contribuições e Resultados

• Correção da Contagem de Recursos: O artigo estabelece que um fanout CNOT de uma sonda pós-consulta diagonal cria registradores perfeitamente correlacionados em vez de cópias independentes. Portanto, medições repetidas desses ancilas fornecem apenas uma observação de Bernoulli, não $M$ observações independentes.
• Esclarecimento da Complexidade de Consulta: A análise confirma que gerar $M$ amostras independentes via o método "reset-e-repetição" requer $M$ consultas térmicas, contradizendo a afirmação de que o protocolo alcança a independência de amostra da dimensão da entrada com uma única consulta.
• Refutação Matemática dos Limites de Amostra: O artigo demonstra que o limite inferior de amostra específico citado na Ref. [1] (exigindo aproximadamente 116 amostras para $\delta = t = 0.1$) não decorre da desigualdade de Pinsker. A desigualdade fornece, na verdade, uma estimativa superior para a expressão, não um limite inferior necessário.
• Preservação da Distinguibilidade: É mostrado que o fanout CNOT é um mapeamento isométrico que preserva, em vez de amplificar, a distância de traço e a entropia relativa entre as hipóteses.

Significância e Alegações
Os autores afirmam que estas observações não invalidam os cálculos de transferência de população subjacentes ou a possibilidade de que o "kickback térmico" codifique informações de decisão nas temperaturas da sonda. Eles também não descartam a possibilidade de complexidade de consulta constante para um erro alvo fixo, desde que a separação de população permaneça afastada de zero.

No entanto, o artigo afirma que as conclusões operacionais da Ref. [1] devem ser corrigidas. Especificamente:

1. A afirmação de que uma única sonda misturada consultada produz múltiplas observações independentes é falsa.
2. Produzir as observações independentes necessárias para a estimativa de temperatura exige o uso repetido do oráculo de troca de calor.
3. A comparação baseada na separação de "uma consulta" versus "muitas amostras" é falha.
4. A afirmação numérica específica de "pelo menos 116 amostras" derivada da Eq. (7) não é sustentada pelas desigualdades citadas.

O artigo conclui que a afirmação de leitura de uma única consulta e a contabilidade de recursos associada na Ref. [1] exigem correção para refletir com precisão a complexidade de consulta termodinâmica.