Mass Hierarchies Without Mixing: Abelian Froggatt-Nielsen Models with Uncharged Left-Handed Doublets

El estudio demuestra que los modelos de Froggatt-Nielsen abelianos con dobletes izquierdos sin carga generan inevitablemente matrices de mezcla de PMNS y CKM aleatorias (anáquicas) e incompatibles con los datos experimentales, debido a su exceso de parámetros libres, lo que obliga a recurrir a simetrías de sabor no abelianas para explicar la estructura de mezcla observada.

Lo esencial

Imagina que el universo es una orquesta gigante y las partículas subatómicas (como electrones y quarks) son los músicos. Para que la música suene bien, cada instrumento debe tener un volumen específico (su masa) y debe tocar en armonía con los demás (su mezcla o cómo se transforman unos en otros).

El problema es que, en el "Manual de Instrucciones" del universo (el Modelo Estándar), hay unas 20 reglas sueltas que explican por qué un músico es un gigante (como el quark top) y otro es un fantasma (como el neutrino), y por qué algunos se mezclan mucho y otros casi nada. Los físicos intentan encontrar una "regla maestra" que explique todo esto de forma elegante.

Esta investigación es como un detective que investiga una teoría popular llamada Mecanismo de Froggatt-Nielsen (FN). Esta teoría dice: "Imaginemos que cada partícula tiene una 'carga' especial. Cuanta más carga tenga, más silencioso será su volumen".

Aquí está el resumen de lo que descubrieron, explicado con analogías sencillas:

1. La Hipótesis: "Los músicos sin nombre"

Los autores probaron una versión específica de esta teoría donde los músicos de la "familia izquierda" (los que tocan las melodías principales) no tienen nombre ni carga. Solo los músicos de la "familia derecha" tienen etiquetas.

• La analogía: Imagina que tienes tres filas de músicos. A los de la derecha les pones etiquetas de "1", "2" o "3" para controlar su volumen. Pero a los de la izquierda no les pones ninguna etiqueta; son anónimos. La teoría decía que esto debería funcionar para crear las masas correctas.

2. El Descubrimiento: Dos problemas distintos

El estudio encontró que esta teoría falla de dos maneras muy diferentes, dependiendo de qué grupo de reglas (llamado grupo $Z_N$) uses.

Problema A: El Volumen (La Masa)

• Lo que pasó: Cuando usaron un grupo de reglas muy pequeño (llamado $Z_3$, como un dado de 3 caras), la música salió terriblemente mal. Los neutrinos (los músicos más silenciosos) quedaron demasiado silenciosos, casi inaudibles. Fue como si el director de orquesta hubiera puesto el volumen en cero por error.
• La solución: Descubrieron que este error solo ocurre con el grupo pequeño ($Z_3$). Si usan grupos más grandes ($Z_4, Z_5$, etc.), como un dado de 4 o 5 caras, ¡el volumen se arregla! Los neutrinos tienen el volumen correcto.
• Conclusión: El problema del volumen es un "accidente" matemático de un grupo pequeño, no un fallo fatal de toda la teoría.

Problema B: La Armonía (La Mezcla)

• Lo que pasó: Aquí está el verdadero desastre. Independientemente de si usaban un grupo de 3, 4, 5 o 7 reglas, la mezcla de los músicos siempre salía mal.
• La analogía: Imagina que la mezcla es como un baile. En la realidad, los quarks bailan muy poco (cambian de pareja raramente) y los neutrinos bailan mucho (cambian de pareja constantemente).
  • La teoría predijo que, al no tener etiquetas en la izquierda, los músicos bailan completamente al azar. Es como si en una fiesta, todos bailaran sin seguir ningún ritmo, chocando entre sí de forma caótica.
  • Matemáticamente, esto se llama "mezcla de Haar" (un caos aleatorio perfecto).
  • El resultado: La teoría predice que los neutrinos deberían tener una mezcla enorme (casi 50/50), pero en la realidad es mucho más pequeña. Y para los quarks, predice un caos total, cuando en realidad bailan con una estructura muy ordenada.

3. ¿Por qué ocurre esto? (La razón profunda)

El paper explica que el problema es de "arquitectura".

• Grupos Abelianos (La teoría actual): Son como tener 3 músicos que actúan como solistas independientes. Cada uno tiene su propia libertad. Como no hay reglas que los conecten entre sí, sus movimientos (la mezcla) son impredecibles y aleatorios. Tienes demasiadas "perillas de control" sueltas y no puedes forzar un patrón de baile específico.
• Grupos No Abelianos (La solución necesaria): Son como un trío de jazz donde los músicos están atados por una regla común. Si uno mueve el pie, los otros deben seguir el ritmo. Esto reduce el número de "perillas de control" y fuerza a que el baile tenga una estructura específica y predecible.

4. La Conclusión Final

El mensaje principal de este trabajo es:

"No importa cuánto ajustes las reglas de volumen (la masa) o cambies el tamaño del grupo de reglas ($Z_3$ vs $Z_7$), si usas un grupo simple (abeliano) donde los músicos de la izquierda no tienen carga, nunca podrás explicar por qué bailan de la forma en que lo hacen."

En resumen:

1. El volumen (masa): Se puede arreglar usando grupos más grandes.
2. El baile (mezcla): Es imposible de arreglar con este tipo de teoría simple. Necesitas cambiar la arquitectura completa y usar grupos más complejos (no abelianos) que obliguen a los músicos a bailar en equipo en lugar de actuar como solistas caóticos.

Es como intentar pintar un cuadro de un paisaje ordenado usando solo un pincel que salpica pintura al azar. Puedes controlar dónde cae la mancha más grande (la masa), pero nunca lograrás pintar un árbol o una casa (la mezcla) porque el pincel no tiene la estructura necesaria para hacer líneas definidas. Necesitas cambiar el pincel por uno con más control (simetrías no abelianas).

Resumen técnico

Resumen Técnico: Jerarquías de Masas sin Mezcla: Modelos de Froggatt-Nielsen Abelianos con Dobletes Izquierdos Sin Carga

1. El Problema

El Modelo Estándar presenta un sector de Yukawa con aproximadamente 20 parámetros libres que abarcan 12 órdenes de magnitud en las masas de los fermiones. Existe una cualidad distintiva entre la mezcla de quarks (ángulos CKM pequeños) y la mezcla de leptones (dos ángulos PMNS grandes y uno pequeño). El mecanismo de Froggatt-Nielsen (FN) abeliano, basado en simetrías de sabor discretas ($Z_N$), ha sido ampliamente estudiado para explicar las jerarquías de masa mediante la supresión de acoplamientos de Yukawa por potencias de un parámetro pequeño $\epsilon$.

Sin embargo, trabajos previos (Ardakanian, 2026a,b) identificaron que el modelo más simple, $Z_3$, falla en dos frentes para neutrinos:

1. Fallo en el espectro de masas: Un mecanismo de "supresión excesiva" en el mecanismo de seesaw empuja la relación de masas $\Delta m^2_{21}/\Delta m^2_{31}$ a valores irrealmente bajos ($\sim 10^{-11}$).
2. Fallo en los ángulos de mezcla: Los ángulos de mezcla resultan ser aleatorios (distribución de Haar), sin estructura angular definida.

La pregunta central de este trabajo es: ¿Es este fallo específico del grupo $Z_3$ o es una propiedad universal de todos los grupos abelianos discretos? Además, se investiga si la restricción de dejar los dobletes izquierdos ($L$) sin carga (una motivación común en unificación SU(5) y construcciones de cuerdas heteróticas) es la causa raíz del problema.

2. Metodología

El estudio combina una demostración analítica rigurosa con una verificación numérica extensiva:

• Marco Teórico: Se considera un modelo FN abeliano $Z_N$ donde los dobletes izquierdos $Q_L$ son neutros (sin carga) y los fermiones derechos $f_R$ portan cargas $q_j \in \{0, 1, \dots, N-1\}$.
  • La matriz de masa resultante tiene una textura de columna: $(M_f)_{ij} = c_{ij} \epsilon^{q_j}$.
  • Esto implica que cada columna $j$ comparte la misma potencia de $\epsilon$, independientemente de la fila.
• Demostración Analítica (Teorema de Mezcla Abeliana):
  • Se demuestra que si la matriz de coeficientes $C$ (donde $M_f = C \cdot P$) tiene entradas con distribuciones circulares simétricas (invariantes bajo rotaciones unitarias), la matriz unitaria de diagonalización $U_L$ sigue una distribución de Haar en $U(3)$.
  • Esto se debe a que, al no tener carga los campos izquierdos, la simetría efectiva $U(3)_L$ solo se rompe por la matriz $C$, cuya aleatoriedad no distingue entre generaciones.
• Simulación Numérica (Monte Carlo):
  • Se escanearon grupos $Z_3$ a $Z_7$.
  • Se probaron 12 asignaciones de carga diferentes.
  • Se generaron $10^5$ muestras por modelo con coeficientes complejos ($|c_{ij}| \in [0.3, 3.0]$, fases uniformes).
  • Se calcularon los ángulos de mezcla (parametrización PDG) y la relación de masas de neutrinos $R = \Delta m^2_{21}/\Delta m^2_{31}$.
  • Se varió la estructura de la matriz de Majorana $M_R$ (cargada, identidad, aleatoria) para verificar la robustez.

3. Contribuciones Clave

1. Prueba de Universalidad del Fallo de Mezcla: Se demuestra que la incapacidad de los modelos abelianos para generar una estructura de mezcla no es un accidente de $Z_3$, sino una consecuencia algebraica inevitable de usar grupos abelianos con dobletes izquierdos sin carga.
2. Separación de Fallos: Se identifica que el fallo en el espectro de masas (supresión excesiva) es específico de $Z_3$ (y ocurre cuando $q_i + q_j \equiv 0 \mod N$), mientras que el fallo en los ángulos de mezcla es universal para cualquier $N$.
3. Origen de la Obstrucción (Conteo de Parámetros): Se establece que los grupos abelianos tienen solo representaciones unidimensionales (singletes). Esto otorga demasiados parámetros libres (18 reales para una matriz de Dirac) en comparación con los observables físicos (10), dejando los ángulos de mezcla indeterminados. En contraste, grupos no abelianos (como $A_4$) con representaciones tripletas reducen drásticamente los parámetros libres (a 4 en orden principal), convirtiendo los ángulos en predicciones.
4. Fallo en CKM: Se demuestra que la probabilidad de obtener una matriz CKM realista a partir de dos matrices unitarias de Haar independientes es $< 2 \times 10^{-6}$, invalidando estos modelos para la mezcla de quarks también.

4. Resultados Principales

• Espectro de Masas (Dependiente de $N$):

  • $Z_3$: Falla catastróficamente. La suma de cargas $1+2 \equiv 0 \pmod 3$ crea una entrada no suprimida en $M_R$, resultando en $R \sim 4 \times 10^{-11}$ (demasiado pequeño).
  • $N \ge 4$: Es posible evitar la supresión excesiva. Por ejemplo, en $Z_4$ con cargas $(2,1,0)$, $1+2 \not\equiv 0 \pmod 4$, logrando $R \approx 0.042$, compatible con el valor experimental ($0.030$).
  • Conclusión: El problema de las masas es resoluble cambiando el grupo o la asignación de cargas.

• Ángulos de Mezcla (Universal):

  • Independientemente de $N$, la asignación de cargas o la estructura de $M_R$, los ángulos de mezcla siguen siendo consistentes con matrices unitarias de Haar.
  • Valores medidos en la simulación:
    • $\sin^2 \theta_{12} \approx 0.50$
    • $\sin^2 \theta_{23} \approx 0.50$
    • $\sin^2 \theta_{13} \approx 0.31$
  • Estos valores están muy lejos de los observados experimentalmente ($\sin^2 \theta_{13} \approx 0.022$).
  • Las pruebas de Kolmogorov-Smirnov confirman que las distribuciones son indistinguibles de la medida de Haar.

• Comparación con Simetrías No Abelianas:

  • La tabla de conteo de parámetros muestra que mientras los modelos abelianos tienen un "sobreajuste" (18 parámetros libres vs 10 observables), los modelos no abelianos como $A_4$ o $S_4$ con representaciones tripletas tienen menos parámetros que observables (ej. 4 parámetros vs 9 observables), lo que permite predicciones estructuradas.

5. Significado e Implicaciones

El artículo establece una conclusión definitiva para la fenomenología de la sabor: La simetría de sabor abeliana, bajo la restricción de dobletes izquierdos sin carga, es algebraicamente incapaz de explicar el patrón de mezcla de fermiones (tanto PMNS como CKM).

• No es un problema de "ajuste fino": No importa cuán grande sea el grupo $Z_N$ o cómo se asignen las cargas; la estructura de "textura de columna" inherente a estos modelos genera aleatoriedad (anarquía) en los ángulos de mezcla.
• Necesidad de Simetrías No Abelianas: Para obtener una estructura de mezcla predicha y realista, es necesario transitar a simetrías de sabor no abelianas que utilicen representaciones de dimensión superior (tripletas), las cuales imponen restricciones algebraicas (cero de textura por coeficientes de Clebsch-Gordan) que reducen el espacio de parámetros.
• Relevancia para Modelos Top-Down: Dado que muchas construcciones de teoría de cuerdas (como orbifolds heteróticos) motivan naturalmente la ausencia de carga en los dobletes izquierdos, este resultado sugiere que tales modelos deben incorporar simetrías no abelianas o mecanismos geométricos adicionales para ser viables.

En resumen, el trabajo identifica el patrón de mezcla (y no el espectro de masas) como la obstrucción irreducible de los modelos abelianos, proporcionando un objetivo preciso para teorías que buscan derivar estructuras de sabor no abelianas desde primeros principios.