2025-11-15T18:34:11.940475

On the Leading Order Term of the Lattice Yang-Mills Free Energy

Brennecke
In \cite{Cha1}, the leading order term of the free energy of $\text{U(N)}$ lattice Yang-Mills theory in $Λ_n=\{0,\ldots,n\}^d\subset \mathbb{Z}^d$ was determined, for every $N\geq 1$ and $d\geq 2$. The formula is explicit apart from a contribution $K_d$ which corresponds to the limiting free energy of lattice Maxwell theory with boundary conditions induced by the axial gauge. By suitably adjusting the boundary conditions, we provide an equivalent characterization of $K_d$ that admits its explicit computation.
academic

Sobre el Término de Orden Principal de la Energía Libre de Yang-Mills en Red

Información Básica

  • ID del Artículo: 2511.07297
  • Título: On the Leading Order Term of the Lattice Yang-Mills Free Energy
  • Autor: Christian Brennecke (Instituto de Matemática Aplicada, Universidad de Bonn)
  • Clasificación: math-ph (Física Matemática), math.MP (Física Matemática), math.PR (Teoría de Probabilidad)
  • Fecha de Publicación: 11 de noviembre de 2025
  • Enlace del Artículo: https://arxiv.org/abs/2511.07297

Resumen

Este artículo proporciona un método de cálculo explícito para la parte no especificada K_d de la fórmula del término principal de la energía libre de la teoría de Yang-Mills en red U(N) determinada por Chatterjee en 24. K_d corresponde a la energía libre límite de la teoría de Maxwell en red con condiciones de frontera de calibre axial. Mediante el ajuste apropiado de las condiciones de frontera, el autor proporciona una caracterización equivalente de K_d que permite su cálculo explícito, obteniendo finalmente una expresión de forma cerrada que contiene integrales logarítmicas.

Antecedentes y Motivación de la Investigación

Problema Central

  1. Construcción rigurosa de la teoría de Yang-Mills: La construcción rigurosa de la teoría euclidiana no abeliana de Yang-Mills en d≥3 dimensiones es un problema abierto importante en física matemática, lo cual es crucial para colocar la correspondiente teoría cuántica de Yang-Mills sobre bases sólidas.
  2. Explicitación del término principal de la energía libre: Chatterjee en su trabajo de 2016 24 determinó la expansión asintótica del término principal de la energía libre de la teoría de Yang-Mills en red U(N) (Teorema 1): Fn,g=En12ndN2logg2+(d1)logj=1N1j!(2π)N/2+N2Kd+o(1)F_{n,g} = \frac{|E_n^1|}{2n^d}N^2\log g^2 + (d-1)\log\frac{\prod_{j=1}^{N-1}j!}{(2\pi)^{N/2}} + N^2K_d + o(1) donde K_d es la energía libre límite de la teoría de Maxwell en red, pero no se proporcionó una expresión explícita.

Importancia de la Investigación

  1. Significado Teórico: Comprender el comportamiento de la función de partición y la medida de la teoría de Yang-Mills en red en el límite n→∞, g→0 podría ser útil para construir la medida continua de Yang-Mills según la estrategia propuesta en 17.
  2. Relevancia Física: El límite de acoplamiento débil g→0 está relacionado con la teoría de Yang-Mills en red en la red reescalada, cuando d<4, el espaciado de red ϵ→0 implica que el acoplamiento reescalado g²ϵ = g²ϵ^(4-d)→0.
  3. Universalidad: K_d depende únicamente de la dimensión d≥2, no del grupo de calibre específico G, una propiedad que merece comprensión profunda.

Limitaciones de los Métodos Existentes

  • El trabajo de Chatterjee fija el calibre axial y aproxima la teoría original mediante la teoría de Maxwell en red (teoría gaussiana efectiva), determinando exitosamente el término principal de la energía libre, pero la expresión de K_d se da únicamente en forma implícita: Kd=limntrlogΣn02ndK_d = \lim_{n\to\infty}\frac{-\text{tr}\log\Sigma_n^0}{2n^d} donde Σ⁰_n es la matriz de covarianza restringida al calibre axial.

Motivación de Este Trabajo

El autor tiene como objetivo responder si K_d puede determinarse explícitamente, mediante:

  1. Conectar Σ⁰_n con el operador diferencial en red Q_d
  2. Comparar las condiciones de frontera de calibre axial con las condiciones de frontera periódicas
  3. Utilizar la diagonalización de Fourier en el caso periódico para calcular explícitamente K_d

Contribuciones Principales

Las contribuciones principales del artículo incluyen:

  1. Caracterización del Operador: Se establece la conexión entre la matriz de covarianza Σ⁰_n y el operador diferencial en red Q_d (Teorema 2), donde: (Qdw)i=Δwij=1dijwj(Q_d w)_i = -\Delta w_i - \sum_{j=1}^d \partial_i\partial_j^* w_j y se demuestra que: Kd=limn12ndtr(logΠΩn1,aQdΠΩn1,a)K_d = \lim_{n\to\infty}\frac{-1}{2n^d}\text{tr}\left(\log \Pi_{\Omega_n^{1,a}}Q_d\Pi_{\Omega_n^{1,a}}\right)
  2. Fórmula Explícita: Mediante la transformación de equivalencia de condiciones de frontera y análisis de Fourier, se obtiene la expresión explícita de K_d (Teorema 2): Kd=d12log21201dxlog(1cos(2πx))K_d = -\frac{d-1}{2}\log 2 - \frac{1}{2}\int_0^1 dx\log(1-\cos(2\pi x))d22[0,1]ddx1dxdlogk=1d(1cos(2πxk))- \frac{d-2}{2}\int_{[0,1]^d}dx_1\cdots dx_d\log\sum_{k=1}^d(1-\cos(2\pi x_k))
  3. Equivalencia de Condiciones de Frontera: Se demuestra que la densidad de energía libre bajo condiciones de frontera de calibre axial es igual a la densidad de energía libre bajo condiciones de frontera periódicas (por encima del estado base de energía cero) (Proposiciones 5 y 6).
  4. Análisis Espectral: Se caracteriza completamente la estructura espectral del operador periódico Q^per_d, demostrando que sus valores propios son: ϵp=2k=1d(1cos(2πpk))\epsilon_p = 2\sum_{k=1}^d(1-\cos(2\pi p_k)) y se determina que la dimensión de su espacio nulo es O(n^(d-1)).

Explicación Detallada del Método

Definición de la Tarea

Entrada: Función de partición Z_{n,g} de la teoría de Yang-Mills en red y su energía libre correspondiente F_{n,g}
Salida: Expresión explícita de la constante K_d en el término principal de la energía libre
Restricciones:

  • Red Λ_n = {0,...,n}^d ⊂ Z^d
  • Grupo de calibre G = U(N)
  • Dimensión d≥2

Arquitectura del Método Principal

El método del artículo se divide en cuatro pasos principales:

Paso 1: Representación Matricial (Lema 3)

Se calcula la representación matricial de la forma cuadrática de covarianza Σ_n. Para aristas e, e'∈E_n:

undefined