The $q$-extension of iterated integrals and nested sums in quantum field theory

Resumen Técnico: La q-extensión de las integrales iteradas y las sumas anidadas en la teoría cuántica de campos

Planteamiento del Problema
Los cálculos perturbativos en la teoría cuántica de campos (QFT), particularmente para magnitudes de escala cero y de escala única, producen resultados expresados en términos de funciones y números especiales. Estos incluyen polilogaritmos, integrales de Nielsen, polilogaritmos armónicos y sus generalizaciones (ciclotómicas, inducidas por formas cuadráticas y con valores de raíz cuadrada). Las expansiones de series de estas funciones alrededor de $x=0$ (o sus transformadas de Mellin) corresponden a clases de sumas anidadas, tales como sumas armónicas, sumas armónicas generalizadas y sumas que involucran coeficientes binomiales centrales.

Si bien trabajos previos establecieron la "$\mu$-extensión" de estos espacios de funciones, los autores identifican la necesidad de construir la q-extensión (o el análogo q) de estas clases de funciones específicas. Esta extensión está motivada por aplicaciones físicas que involucran relaciones de conmutación q-deformadas en mecánica cuántica y teoría cuántica de campos, donde los operadores de creación y aniquilación satisfacen relaciones modificadas de la forma $a_\lambda(k)a^\dagger_{\lambda'}(k') - q a^\dagger_{\lambda'}(k')a_\lambda(k) = g_{\lambda\lambda'}\delta^{(3)}(k-k')$. El artículo señala que las q-extensiones definen nuevos espacios de funciones de funciones trascendentales superiores que son estructuralmente distintos de las funciones $\mu$-extendidas.

Metodología
Los autores emplean un enfoque algorítmico sistemático para construir las q-extensiones, basándose en los siguientes principios fundamentales:

1. Base de la Expansión de Series: El punto de partida es la solución de forma cerrada conocida $f[n]$ para los coeficientes de expansión de una función $F(x) = \sum_{n=0}^\infty f[n]x^n$. La q-extensión $F(x; q)$ se define mediante la serie $\sum_{n=0}^\infty f[n; q]x^n$, donde los coeficientes $f[n]$ son reemplazados por sus análogos q, $f[n; q]$.
2. Reglas de q-Deformación: La construcción utiliza definiciones q-asimétricas estándar:
   • q-enteros: $\{n\}_q = \frac{1-q^n}{1-q}$.
   • q-derivadas (derivada de Jackson): $D_q^x f[x] = \frac{f(x) - f(qx)}{(1-q)x}$.
   • q-factoriales y q-binomiales.
   • Crucialmente, las potencias $c^n$ ($c \in \mathbb{C}$) no se extienden en q, mientras que las estructuras de suma-producto sí lo hacen.
3. Derivación Algorítmica:
   • Sumas Anidadas: Los autores derivan relaciones de recurrencia para las sumas anidadas q-extendidas. Estas son ecuaciones de diferencia lineales de orden finito con coeficientes polinómicos en $q^n$. Utilizan paquetes de álgebra computacional (específicamente qFunctions, QREGuess, Sigma y QRE2DE) para proponer recurrencias a partir de los coeficientes de expansión y para verificar identidades.
   • Integrales Iteradas: Las q-extensiones de las integrales iteradas se construyen reemplazando las estructuras de suma-producto en los coeficientes de expansión con sus q-extensiones. Los autores derivan las q-ecuaciones diferenciales definitorias y las relaciones de q-desplazamiento (ecuaciones de diferencia en el argumento $x$) para estas funciones.
   • Nombre del Método: Los autores denominan a este enfoque de expansión de series alrededor de $x=0$ el "método de Frobenius-q", trazando una analogía con el método de Frobenius utilizado en los cálculos estándar de QFT.
4. Estructura Algebraica: El artículo investiga las propiedades algebraicas de estas extensiones, específicamente el álgebra de shuffle para integrales iteradas y el álgebra de quasi-shuffle para sumas anidadas, verificando que estas estructuras se preservan bajo la q-deformación.

Contribuciones Clave y Resultados
El artículo proporciona construcciones explícitas y ecuaciones definitorias para varias clases de funciones q-extendidas:

• Sumas Anidadas:

  • Derivación de q-extensiones para sumas armónicas, sumas armónicas generalizadas y sumas que contienen binomiales centrales.
  • Presentación de relaciones de recurrencia específicas para sumas simples y múltiples (por ejemplo, $S_{2,1}(n; q)$, $S_{3,-2}(n; q)$).
  • Demostración de que estas sumas satisfacen ecuaciones de q-diferencia de orden finito.

• Integrales Iteradas:

  • Polilogaritmos: Se derivan q-extensiones de forma cerrada, expresadas como funciones q-hipergeométricas ($_{k+1}\phi_k$). El artículo define los valores q-zeta $\zeta_k(q)$ como límites cuando $x \to 1$.
  • Integrales de Nielsen: Se construyen las q-extensiones de las integrales de Nielsen, y se presentan sus asociadas q-ecuaciones diferenciales y relaciones de q-desplazamiento para pesos hasta $w=5$.
  • Polilogaritmos Armónicos (HPLs): Los autores extienden los HPLs sobre el alfabeto $\{1/x, 1/(1-x), 1/(1+x)\}$. Proporcionan relaciones de recurrencia y ecuaciones diferenciales para casos específicos como $H_{-1,0,1}(x; q)$.
  • HPLs Generalizados y Ciclotómicos: Se detallan los pasos algorítmicos para los polilogaritmos armónicos generalizados (integrales de Kummer-Poincaré) y los polilogaritmos armónicos ciclotómicos.
  • Formas Cuadráticas y Raíces Cuadradas: El artículo aborda los casos más complejos, incluyendo las integrales iteradas implicadas por formas cuadráticas y aquellas que contienen letras con valores de raíz cuadrada (que involucran coeficientes binomiales centrales). A pesar de la complejidad, los autores muestran que estas también obedecen q-ecuaciones diferenciales y q-ecuaciones de diferencia de primer orden que factorizan.

• Relaciones Algebraicas:

  • El artículo verifica que el producto de shuffle para integrales iteradas y el producto de quasi-shuffle para sumas anidadas se mantienen para las cantidades q-extendidas.
  • Se proporcionan y verifican ejemplos explícitos de relaciones de quasi-shuffle (por ejemplo, para $S_{1,-1}$ y $S_{1,-1,-2}$) utilizando el paquete Sigma.

Significancia y Reivindicaciones
El artículo afirma proporcionar un marco integral para la q-extensión de las clases específicas de funciones especiales que surgen en los cálculos de QFT perturbativa. Su significancia radica en:

1. Completitud: Cubre todas las clases conocidas actualmente de integrales iteradas y sumas anidadas que obedecen ecuaciones diferenciales/de diferencia de primer orden factorizables en QFT de escala única, extendiéndolas al caso q-deformado.
2. Distinción Estructural: Destaca que las q-extensiones crean nuevos espacios de funciones de funciones trascendentales superiores, distintos de las $\mu$-extensiones estudiadas previamente.
3. Utilidad Algorítmica: Para alfabetos complejos donde las formas cerradas no son inmediatamente obvias, el artículo proporciona los pasos algorítmicos (generación de recurrencias, derivación de ecuaciones diferenciales) para obtener la q-extensión para casos individuales.
4. Relevancia Física: Se postula que las funciones construidas pueden desempeñar un papel en los cálculos perturbativos que involucran relaciones de conmutación q-deformadas, tales como las encontradas en álgebras de osciladores deformados, enfoques de espacio-tiempo no conmutativo y simetrías de grupos cuánticos.

Los autores concluyen que, aunque las funciones q-extendidas son más complejas (trascendencia superior), siguen estando definidas de manera única por sus relaciones de q-recurrencia, sus q-ecuaciones diferenciales y sus relaciones de q-desplazamiento, lo que permite su estudio sistemático y su potencial aplicación en teorías cuánticas de campos deformadas.