Imaginary scaling invariance of the one-loop effective potential

Resumen Técnico: Invarianza de Escalado Imaginario del Potencial Efectivo a un Bucle

Planteamiento del Problema
Investigaciones recientes sobre el Modelo de Dos Dobletes de Higgs (2HDM) revelaron una clase hasta entonces desconocida de relaciones entre los parámetros del potencial escalar que permanecen estables bajo la evolución de la Ecuación del Grupo de Renormalización (RGE) a todos los órdenes de la teoría de perturbaciones. Estas relaciones, identificadas como puntos fijos de las funciones beta, no podían explicarse mediante las seis simetrías conocidas del potencial escalar del 2HDM. En consecuencia, se hipotetizó una nueva clase de transformaciones, denominadas simetrías "$r_0$" o "GOOFy". Estas transformaciones implican mapear campos bosónicos reales y coordenadas del espaciotiempo en otros puramente imaginarios. Aunque se demostró que el Lagrangiano y el potencial a nivel árbol son invariantes bajo estas transformaciones, permaneció como una cuestión abierta si dicha invarianza persiste a nivel cuántico, específicamente dentro del potencial efectivo a un bucle. El problema central abordado en este trabajo es verificar la invarianza del potencial efectivo a un bucle bajo transformaciones $r_0$ y determinar las condiciones necesarias para que esta simetría se mantenga.

Metodología
Los autores emplean dos marcos teóricos principales para investigar las propiedades a un bucle de la simetría $r_0$:

1. El Modelo de Dos Dobletes de Higgs (2HDM): Los autores utilizan el formalismo bilineal, representando el sector escalar mediante cuatro bilineales invariantes de gauge ($r_\mu$) y una métrica tipo Minkowski. Analizan las propiedades de transformación de la matriz de masa al cuadrado escalar ($M_S^2$) y del potencial efectivo a un bucle bajo la transformación $r_0$, la cual incluye el mapeo $r_0 \to -r_0$ y el escalado imaginario de las coordenadas ($x^\mu \to i x^\mu$).
2. Un Modelo de Juguete Mínimo (2RSM): Para proporcionar una verificación explícita, los autores introducen un modelo mínimo compuesto por dos campos escalares reales ($\phi_1, \phi_2$). Construyen un potencial invariante bajo una transformación específica similar a $r_0$, diagonalizan explícitamente la matriz de masas y calculan el potencial efectivo a un bucle utilizando regularización por corte.

Las etapas metodológicas clave incluyen:

• Derivar las reglas de transformación para el cuadrimomento ($p_\mu \to -i p_\mu$) y el cuadrado del corte ultravioleta ($\Lambda_{UV}^2 \to -\Lambda_{UV}^2$) como consecuencias del escalado imaginario de las coordenadas del espaciotiempo.
• Analizar los autovalores de la matriz de masa al cuadrado $M_S^2$ para determinar su comportamiento bajo $r_0$.
• Calcular la traza de potencias de $M_S^2$ para establecer la paridad de los términos en la expansión del potencial efectivo.
• Realizar la renormalización del modelo de juguete para demostrar cómo los contratérminos cancelan las divergencias preservando al mismo tiempo la simetría.

Contribuciones y Resultados Clave

1. Invarianza del Potencial Efectivo a un Bucle: El artículo demuestra que el potencial efectivo a un bucle es invariante bajo transformaciones $r_0$, siempre que el cuadrado del corte ultravioleta ($\Lambda_{UV}^2$) se transforme de manera no trivial (específicamente, $\Lambda_{UV}^2 \to -\Lambda_{UV}^2$).

   • En el 2HDM, los autores muestran que los autovalores de $M_S^2$ se transforman en pares de tal manera que el conjunto de autovalores $\{\lambda_i(r_0)\}$ se mapea a $\{-\lambda_i(r_0)\}$. En consecuencia, las trazas de potencias impares de $M_S^2$ son funciones impares de $r_0$, mientras que las trazas de potencias pares son pares.
   • Dado que el momento al cuadrado $p_E^2$ también se transforma como $p_E^2 \to -p_E^2$ (debido a $p_\mu \to -i p_\mu$), los términos en la expansión del potencial efectivo que involucran $(M_S^2/p_E^2)^n$ mantienen la invarianza cuando se combinan con la transformación del corte.

2. Verificación Explícita en el Modelo de Juguete: Para el modelo mínimo de dos escalares reales, los autores diagonalizan explícitamente la matriz de masas. Descubren que los autovalores $M_{1,2}^2$ se transforman como $M_1^2 \to -M_2^2$ y $M_2^2 \to -M_1^2$.

   • El cálculo confirma que el término divergente cuadráticamente (proporcional a $\Lambda_{UV}^2 \sum M_i^2$) y los términos divergentes logarítmicamente son invariantes bajo la transformación combinada de campos, coordenadas y el corte.
   • Se demuestra que el potencial efectivo renormalizado es invariante bajo $r_0$, con la simetría realizada en los contratérminos requeridos para cancelar las divergencias.

3. Estabilidad del Grupo de Renormalización: El estudio confirma que las relaciones que definen la simetría $r_0$ (por ejemplo, $m_{11}^2 + m_{22}^2 = 0$, $\lambda_1 = \lambda_2$, $\lambda_6 = -\lambda_7$ en el 2HDM) corresponden a puntos fijos de las funciones beta. El análisis del modelo de juguete muestra explícitamente que la función beta para la suma de las masas al cuadrado se anula cuando se impone la simetría, lo cual es consistente con resultados previos a dos bucles.

Significado y Afirmaciones
Los autores argumentan que el término "simetría" es apropiado para estas transformaciones, a pesar de su naturaleza no convencional que implica escalados imaginarios de campos y coordenadas reales. La importancia de este trabajo radica en:

• Validación de la Simetría: Demostrar que la simetría $r_0$ no es meramente un artefacto a nivel árbol, sino que se mantiene para el potencial efectivo a un bucle, estableciéndola así como una simetría cuántica genuina de la teoría.
• Mecanismo de Invarianza: Identificar que la invarianza depende crucialmente de la transformación no trivial de la escala de regularización (corte o escala de renormalización). Específicamente, el escalado imaginario de las coordenadas del espaciotiempo implica un escalado imaginario de los cuadrimomentos, lo cual requiere $\Lambda_{UV}^2 \to -\Lambda_{UV}^2$ (o $\mu^2 \to -\mu^2$ en la regularización dimensional) para mantener la invarianza.
• Implicaciones Fenomenológicas: La existencia de estas simetrías implica relaciones específicas entre parámetros que son estables bajo la evolución de la RGE a todos los órdenes. En el contexto del 2HDM, esto conduce a degeneraciones de masas en el sector escalar y restricciones sobre el desacoplamiento de grados de libertad pesados (las masas de los escalares adicionales deben estar por debajo de $\sim 700$ GeV).
• Novedad: El trabajo destaca que estas simetrías representan una nueva clase de relaciones en teorías de campos bosónicos, distintas de las simetrías de gauge o globales estándar, las cuales podrían ofrecer nuevas perspectivas sobre el problema de la jerarquía y la estructura del Modelo Estándar.

El artículo concluye que, aunque las transformaciones parecen "bizarras" debido a la complejización de campos y coordenadas reales, las relaciones de parámetros resultantes son robustas y tienen consecuencias físicas, justificando su clasificación como simetrías.