Reply to "Comment on "Chiral symmetry restoration, the eigenvalue density of the Dirac operator, and the axial U(1) anomaly at finite temperature""

Este artigo refuta o comentário de Matteo Giordano ao demonstrar que os contraexemplos propostos violam o pressuposto fundamental da analiticidade da QCD na massa do quark ao quadrado em altas temperaturas e ao identificar um erro técnico na crítica, sustentando, assim, a validade dos argumentos originais dos autores relativos à restauração da simetria quiral e à anomalia U(1) axial.

O essencial

Imagine um debate de alto nível entre dois grupos de físicos tentando entender como o universo se comporta quando fica extremamente quente. Um grupo (os autores deste artigo, liderados por Sinya Aoki e Hidenori Fukaya) fez uma afirmação específica sobre como as partículas interagem nessas temperaturas. O outro grupo (representado por Matteo Giordano) escreveu um "comentário" tentando provar que eles estavam errados, oferecendo alguns contraexemplos.

Este artigo é a resposta dos autores. A mensagem principal deles é simples: "Os exemplos que você usou para tentar nos desmentir não funcionam porque quebram as regras fundamentais do jogo."

Aqui está uma decomposição do argumento deles usando analogias do cotidiano:

1. A Regra da "Suavidade" (O Desacordo Central)

A teoria original dos autores baseia-se em uma regra que eles chamam de $m^2$-analyticidade.

• A Analogia: Imagine que você está assando um bolo. A "massa do quark" ($m$) é como a quantidade de açúcar que você adiciona. Os autores afirmam que, se você estiver na "fase quente" (como um bolo totalmente assado), o sabor do bolo muda suavemente conforme você ajusta o açúcar. Se você plotar o sabor contra a quantidade de açúcar, obterá uma curva contínua e bonita, sem saltos repentinos ou cantos agudos.
• A Jogada do Crítico: Giordano tentou mostrar que essa regra não é verdadeira, inventando alguns "bolos" matemáticos estranhos onde o sabor muda subitamente ou se comporta de maneira estranha quando você altera o açúcar.
• A Réplica: Os autores apontam que os bolos estranhos de Giordano são ilegais. No mundo real da física de alta temperatura (QCD), a natureza não permite esses saltos repentinos. Os exemplos de Giordano só funcionam se você quebrar as leis fundamentais do universo. Como seus exemplos são "irrealistas", eles não podem ser usados para desmentir uma teoria sobre o universo real.

2. A Probabilidade "Bem Definida"

Os autores também discutem uma ferramenta matemática que utilizam chamada $P(m, A)$, que atua como um mapa de probabilidade de como as partículas se comportam.

• A Jogada do Crítico: Giordano argumentou que esse mapa poderia ser "mal definido" ou estar quebrado em certos cenários, sugerindo uma fórmula específica para ele que parecia confusa.
• A Réplica: Os autores explicam que, se você construir este mapa usando um método padrão, passo a passo (como uma simulação computacional em uma grade), ele funciona perfeitamente bem. Eles argumentam que a fórmula confusa de Giordano é apenas mais um desses exemplos "ilegais" que quebram a regra da suavidade mencionada acima. É como tentar usar um mapa de uma cidade que não existe para provar que suas habilidades de navegação são ruins.

3. O Erro da "Média"

Finalmente, os autores encontraram um erro matemático específico na lógica de Giordano.

• A Analogia: Imagine que você tem um saco de bolinhas de gude.
  • O Erro: Giordano agiu como se a "bolinha média" no saco fosse a única bolinha que existia. Ele assumiu que, se a média de peso é 5 gramas, então cada bolinha pesa exatamente 5 gramas.
  • A Realidade: No mundo real, você tem bolinhas de 4g, 6g, 3g, etc. A média é 5g, mas a variância (a dispersão) é real e importante.
• A Réplica: Giordano confundiu o "valor médio" com a "distribuição de valores". Ele usou uma fórmula que assume que não há variação alguma (uma função delta), o que é matematicamente incorreto para este tipo de problema. Devido a esse erro básico, as conclusões que ele tirou a partir disso são inválidas.

A Conclusão

Os autores encerram dizendo que:

1. Os contraexemplos usados por Giordano são "não físicos" (eles quebram as regras do universo).
2. Giordano cometeu um erro técnico ao confundir uma média com um valor específico.
3. Portanto, a tentativa de Giordano de desmentir a teoria original falha. A teoria original permanece de pé.

Em resumo, os autores estão dizendo: "Você tentou derrubar nossa casa jogando pedras nela, mas você estava jogando pedras feitas de vidro que se estilhaçavam antes de atingir a parede. Além disso, você calculou mal a trajetória do seu arremesso. Nossa casa continua de pé."

Resumo técnico

Resumo Técnico: Resposta ao "Comentário sobre a restauração da simetria quiral, a densidade de autovalores do operador de Dirac e a anomalia axial U(1) a temperatura finita"

Enunciado do Problema
Este artigo serve como uma resposta formal a um comentário de Matteo Giordano [1] referente ao trabalho anterior dos autores [2] sobre a restauração da simetria quiral, a densidade de autovalores do operador de Dirac e a anomalia axial U(1) a temperatura finita. O comentário de Giordano propôs contraexemplos destinados a refutar os argumentos apresentados em [2]. A questão central abordada aqui é se os contraexemplos fornecidos por Giordano são válidos dentro do arcabouço da Cromodinâmica Quântica (QCD) em altas temperaturas, especificamente no que diz respeito à analiticidade de observáveis gluônicos em relação à massa de quark ao quadrado ($m^2$).

Metodologia e Argumentação
Os autores empregam uma análise teórica baseada nas propriedades da função de partição da QCD e de observáveis gluônicos na fase quiralmente simétrica. Sua metodologia envolve:

1. Reavaliação de Contraexemplos: Os autores examinam minuciosamente os modelos específicos (como um modelo Gaussiano) e as funções de densidade de estados $\rho_O(x, m)$ propostos no comentário de Giordano para determinar se satisfazem as suposições fundamentais da QCD de alta temperatura.
2. Análise da Analiticidade em $m^2$: Os autores baseiam-se na suposição de que todo observável gluônico na fase quiralmente simétrica é uma função analítica de $m^2$. Eles testam se os contraexemplos propostos preservam essa analiticidade ou se introduzem comportamento não analítico que implicaria divergências no infravermelho ou criticidade inconsistente com a fase simétrica.
3. Exame da Bem-Definição: Os autores abordam as preocupações de Giordano quanto à bem-definição da função $P(m, A)$ usada em sua derivação. Eles utilizam a regularização em rede (especificamente o operador de Dirac de overlap em uma rede finita) para demonstrar que $P(m, A)$ é bem definida e que seu limite de volume infinito ($L \to \infty$) pode ser tomado mantendo $m > 1/L$.
4. Identificação de Erros Matemáticos: Os autores realizam uma verificação matemática direta na igualdade da densidade de estados proposta no comentário de Giordano, especificamente testando a relação entre o valor esperado de uma função delta e a função delta do valor esperado.

Principais Contribuições e Resultados
O artigo apresenta três principais achados técnicos:

• Violação da Analiticidade em $m^2$ nos Contraexemplos: Os autores demonstram que os contraexemplos propostos por Giordano [1] violam inerentemente a suposição crucial de que os observáveis gluônicos são funções analíticas de $m^2$ em altas temperaturas. Especificamente, no exemplo do modelo Gaussiano fornecido por Giordano, os valores esperados $\langle O(A)^\alpha \rangle$ para $\alpha$ não inteiro resultam em potências não analíticas de $m^2$ no limite $m \to 0$. Os autores argumentam que tal não analiticidade implica divergência no infravermelho ou criticidade, o que não é observado na fase simétrica da QCD. Eles observam que o próprio Giordano reconhece que esses exemplos quebram a analiticidade em $m^2$.
• Validação de $P(m, A)$: Os autores refutam a afirmação de que $P(m, A)$ é mal definida. Ao definir o valor esperado via integral de caminho com uma função característica para o suporte do operador, eles mostram que $P(m, A)$ é um funcional bem definido em uma rede finita. Eles argumentam que o exemplo específico "mal definido" de $P(m, A)$ sugerido por Giordano (envolvendo uma função degrau $\Theta(m^2 - |A|)$) também falha porque leva a contribuições não analíticas em derivadas com relação a $m^2$, contradizendo assim a suposição de analiticidade em $m^2$ da QCD na fase simétrica.
• Correção de um Erro Matemático: Os autores identificam um erro fundamental na discussão de Giordano sobre quantidades não locais. Giordano assumiu a igualdade $\langle \delta(x - O(A)) \rangle = \delta(x - \langle O(A) \rangle)$. Os autores demonstram que isso é incorreto, pois o valor esperado de uma função delta não é igual à função delta do valor esperado. Usando um modelo Gaussiano simples para a densidade de carga topológica, eles mostram que assumir essa igualdade leva à conclusão falsa de que $\langle O_L(A)^2 \rangle = \langle O_L(A) \rangle^2$, enquanto a relação correta envolve cumulantes independentes (por exemplo, $\langle O_L(A)^2 \rangle = 3\langle O_L(A) \rangle^2$).

Significância e Conclusão
Os autores concluem que os argumentos apresentados no comentário de Giordano [1] não são válidos. A significância desta resposta reside na defesa dos argumentos originais em [2] sobre a restauração da simetria quiral e a anomalia axial U(1). Os autores afirmam que os contraexemplos destinados a refutar seu trabalho falham porque não respeitam as propriedades analíticas básicas da QCD em altas temperaturas. Além disso, os erros técnicos identificados no comentário em relação à definição de $P(m, A)$ e às propriedades das densidades de estado minam a base da crítica. Consequentemente, os autores sustentam que suas conclusões originais relativas à densidade de autovalores do operador de Dirac e à anomalia U(1) permanecem robustas.