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

Este artículo refuta el comentario de Matteo Giordano al demostrar que los contraejemplos propuestos violan el supuesto fundamental de la QCD de analiticidad en la masa al cuadrado del quark a altas temperaturas y al identificar un error técnico en la crítica, validando así la validez de los argumentos originales de los autores con respecto a la restauración de la simetría quiral y la anomalía axial U(1).

Lo esencial

Imagina un debate de alto nivel entre dos grupos de físicos que intentan comprender cómo se comporta el universo cuando alcanza temperaturas extremadamente altas. Un grupo (los autores de este artículo, liderados por Sinya Aoki y Hidenori Fukaya) hizo una afirmación específica sobre cómo interactúan las partículas a estas temperaturas. El otro grupo (representado por Matteo Giordano) escribió un "comentario" intentando demostrar que estaban equivocados ofreciendo algunos contraejemplos.

Este artículo es la respuesta de los autores. Su mensaje principal es simple: "Los ejemplos que utilizaste para intentar refutarnos en realidad no funcionan porque rompen las reglas fundamentales del juego".

Aquí tienes un desglose de su argumento utilizando analogías de la vida cotidiana:

1. La regla de la "Suavidad" (El desacuerdo central)

La teoría original de los autores se basa en una regla que llaman $m^2$-analyticidad.

• La analogía: Imagina que estás horneando un pastel. La "masa del quark" ($m$) es como la cantidad de azúcar que añades. Los autores afirman que si te encuentras en la "fase caliente" (como un pastel ya horneado), el sabor del pastel cambia suavemente a medida que ajustas el azúcar. Si graficas el sabor frente a la cantidad de azúcar, obtienes una curva continua y agradable, sin saltos repentinos ni esquinas afiladas.
• El movimiento del crítico: Giordano intentó demostrar que esta regla no es cierta inventando algunos "pasteles" matemáticos extraños donde el sabor salta repentinamente o se comporta de manera extraña cuando cambias el azúcar.
• La refutación: Los autores señalan que los pasteles extraños de Giordano son ilegales. En el mundo real de la física de alta temperatura (QCD), la naturaleza no permite esos saltos repentinos. Los ejemplos de Giordano solo funcionan si se rompen las leyes fundamentales del universo. Dado que sus ejemplos son "poco realistas", no pueden usarse para refutar una teoría sobre el universo real.

2. La probabilidad "Bien Definida"

Los autores también discuten una herramienta matemática que utilizan llamada $P(m, A)$, que actúa como un mapa de probabilidad de cómo se comportan las partículas.

• El movimiento del crítico: Giordano argumentó que este mapa podría estar "mal definido" o roto en ciertos escenarios, sugiriendo una fórmula específica para él que parecía desordenada.
• La refutación: Los autores explican que si construyes este mapa utilizando un método estándar, paso a paso (como una simulación computacional en una cuadrícula), funciona perfectamente. Argumentan que la fórmula desordenada de Giordano es simplemente otro de esos ejemplos "ilegales" que rompen la regla de suavidad mencionada anteriormente. Es como intentar usar un mapa de una ciudad que no existe para demostrar que tus habilidades de navegación son malas.

3. El error del "Promedio"

Finalmente, los autores encontraron un error matemático específico en la lógica de Giordano.

• La analogía: Imagina que tienes una bolsa de canicas.
  • El error: Giordano actuó como si la "canica promedio" en la bolsa fuera la única canica que existía. Supuso que si el peso promedio es de 5 gramos, entonces cada una de las canicas pesa exactamente 5 gramos.
  • La realidad: En el mundo real, tienes canicas de 4g, 6g, 3g, etc. El promedio es 5g, pero la varianza (la dispersión) es real e importante.
• La refutación: Giordano confundió el "valor promedio" con la "distribución de valores". Utilizó una fórmula que asume que no hay variación en absoluto (una función delta), lo cual es matemáticamente incorrecto para este tipo de problema. Debido a este error básico, las conclusiones a las que llegó son inválidas.

La Conclusión

Los autores concluyen diciendo que:

1. Los contraejemplos que utilizó Giordano son "no físicos" (rompen las reglas del universo).
2. Giordano cometió un error técnico al confundir un promedio con un valor específico.
3. Por lo tanto, el intento de Giordano de refutar la teoría original falla. La teoría original se mantiene en pie.

En resumen, los autores están diciendo: "Intentaste derribar nuestra casa lanzándole piedras, pero estabas lanzando piedras hechas de vidrio que se hicieron añicos antes de tocar la pared. Además, calculaste mal la trayectoria de tu lanzamiento. Nuestra casa sigue en pie".

Resumen técnico

Resumen Técnico: Respuesta a "Comment on Chiral symmetry restoration, the eigenvalue density of the Dirac operator, and the axial U(1) anomaly at finite temperature"

Planteamiento del Problema
Este artículo sirve como una respuesta formal a un comentario de Matteo Giordano [1] con respecto al trabajo previo de los autores [2] sobre la restauración de la simetría quiral, la densidad de autovalores del operador de Dirac y la anomalía axial U(1) a temperatura finita. El comentario de Giordano propuso contraejemplos destinados a refutar los argumentos presentados en [2]. El problema central abordado aquí es si los contraejemplos proporcionados por Giordano son válidos dentro del marco de la Cromodinámica Cuántica (QCD) a altas temperaturas, específicamente en lo que respecta a la analiticidad de los observables gluónicos con respecto a la masa al cuadrado ($m^2$).

Metodología y Argumentación
Los autores emplean un análisis teórico basado en las propiedades de la función de partición de la QCD y los observables gluónicos en la fase de simetría quiral. Su metodología implica:

1. Reevaluación de Contraejemplos: Los autores escrutan los modelos específicos (como un modelo Gaussiano) y las funciones de densidad de estados $\rho_O(x, m)$ propuestos en el comentario de Giordano para determinar si satisfacen los supuestos fundamentales de la QCD a alta temperatura.
2. Análisis de la Analiticidad en $m^2$: Los autores se basan en el supuesto de que cada observable gluónico en la fase de simetría quiral es una función analítica de $m^2$. Evalúan si los contraejemplos propuestos preservan esta analiticidad o si introducen un comportamiento no analítico que implicaría divergencias infrarrojas o criticidad inconsistente con la fase simétrica.
3. Examen de la Bien Definición: Los autores abordan las preocupaciones de Giordano con respecto a la bien definición de la función $P(m, A)$ utilizada en su derivación. Utilizan la regularización de red (específicamente el operador de Dirac de solapamiento en una red finita) para demostrar que $P(m, A)$ está bien definida y que su límite de volumen infinito ($L \to \infty$) puede tomarse manteniendo $m > 1/L$.
4. Identificación de Errores Matemáticos: Los autores realizan una verificación matemática directa de la igualdad de la densidad de estados propuesta en el comentario de Giordano, específicamente probando la relación entre el valor de la esperanza de una función delta y la función delta de la esperanza.

Contribuciones Clave y Resultados
El artículo presenta tres hallazgos técnicos principales:

• Violación de la Analiticidad en $m^2$ en los Contraejemplos: Los autores demuestran que los contraejemplos propuestos por Giordano [1] violan inherentemente el supuesto crucial de que los observables gluónicos son funciones analíticas de $m^2$ a altas temperaturas. Específicamente, en el ejemplo del modelo Gaussiano proporcionado por Giordano, los valores esperados $\langle O(A)^\alpha \rangle$ para $\alpha$ no entero producen potencias no analíticas de $m^2$ en el límite $m \to 0$. Los autores argumentan que tal no analiticidad implica una divergencia infrarroja o criticidad, lo cual no se observa en la fase simétrica de la QCD. Señalan que el propio Giordano reconoce que estos ejemplos rompen la analiticidad en $m^2$.
• Validación de $P(m, A)$: Los autores refutan la afirmación de que $P(m, A)$ está mal definida. Al definir el valor esperado mediante la integral de trayectoria con una función característica para el soporte del operador, demuestran que $P(m, A)$ es un funcional bien definido en una red finita. Argumentan que el ejemplo específico de "mal definición" de $P(m, A)$ sugerido por Giordano (que involucra una función escalón $\Theta(m^2 - |A|)$) también falla porque conduce a contribuciones no analíticas en las derivadas con respecto a $m^2$, contradiciendo así el supuesto de analiticidad en $m^2$ de la QCD en la fase simétrica.
• Corrección de un Error Matemático: Los autores identifican un error fundamental en la discusión de Giordano sobre cantidades no locales. Giordano asumió la igualdad $\langle \delta(x - O(A)) \rangle = \delta(x - \langle O(A) \rangle)$. Los autores demuestran que esto es incorrecto, ya que el valor esperado de una función delta no es igual a la función delta del valor esperado. Utilizando un modelo Gaussiano simple para la densidad de carga topológica, muestran que asumir esta igualdad conduce a la falsa conclusión de que $\langle O_L(A)^2 \rangle = \langle O_L(A) \rangle^2$, mientras que la relación correcta involucra cumulantes independientes (por ejemplo, $\langle O_L(A)^2 \rangle = 3\langle O_L(A) \rangle^2$).

Significancia y Conclusión
Los autores concluyen que los argumentos presentados en el comentario de Giordano [1] no son válidos. La significancia de esta respuesta radica en la defensa de los argumentos originales en [2] respecto a la restauración de la simetría quiral y la anomalía axial U(1). Los autores afirman que los contraejemplos destinados a refutar su trabajo fallan porque no respetan las propiedades analíticas básicas de la QCD a altas temperaturas. Además, los errores técnicos identificados en el comentario respecto a la definición de $P(m, A)$ y las propiedades de las densidades de estado socavan la base de la crítica. Por consiguiente, los autores sostienen que sus conclusiones originales respecto a la densidad de autovalores del operador de Dirac y la anomalía U(1) siguen siendo robustas.