Inequalities for the number of $t$-hooks in two partition classes arising from sum-product identities

A continuación presento un resumen técnico detallado del artículo "Inequalities for the Number of t-Hooks in Two Partition Classes Arising from Sum-Product Identities" (Desigualdades para el número de ganchos-t en dos clases de particiones derivadas de identidades suma-producto), escrito por Aritram Dhar, Byungchan Kim, Eunmi Kim y Ae Ja Yee.

---

1. Problema y Contexto

El trabajo se sitúa en la teoría de particiones de enteros, específicamente en el estudio de las desigualdades de "ganchos" (hooks) entre dos clases de particiones que tienen el mismo número total de particiones para un entero $n$ dado, pero que satisfacen condiciones diferentes (una basada en diferencias entre partes y otra en congruencias).

• Antecedentes: Inspirados por un resultado de Andrews sobre la identidad de Euler (particiones en partes distintas vs. partes impares), se sabe que el número total de ganchos de longitud 1 ($t=1$) es mayor en las particiones con partes distintas que en las de partes impares. Sin embargo, para $t \ge 2$, se conjetura (y se ha demostrado en casos específicos) que la desigualdad se invierte para $n$ suficientemente grande.
• Objetivo del artículo: Extender este fenómeno de "sesgo de ganchos" (hook bias) a identidades más complejas que involucran condiciones de brecha 2 (gap 2), específicamente:
  1. La primera identidad de Rogers-Ramanujan.
  2. La primera identidad de Little Göllnitz.

El objetivo es determinar, para $t=1$ y $t=2$, si el número total de ganchos-t en las particiones que satisfacen la condición de brecha es mayor o menor que en las particiones que satisfacen la condición de congruencia correspondiente, cuando $n \to \infty$.

2. Metodología

Los autores emplean un enfoque analítico basado en funciones generadoras y métodos asintóticos. La metodología se divide en los siguientes pasos clave:

1. Construcción de Funciones Generadoras:

   • Definen $r_{j,t}(n)$ y $g_{j,t}(n)$ como el número total de ganchos-t en las particiones de las clases $j=1$ (condición de brecha) y $j=2$ (condición de congruencia) para las identidades de Rogers-Ramanujan y Little Göllnitz, respectivamente.
   • Derivan funciones generadoras bivariables $R_{j,t}(x, q)$ y $G_{j,t}(x, q)$, donde $x$ marca el número de ganchos-t.
   • Obtienen las funciones generadoras univariables $S_{j,t}(q)$ y $H_{j,t}(q)$ derivando respecto a $x$ en $x=1$. Estas funciones resultan ser sumas de Nahm o productos de series $q$ infinitas y funciones racionales.

2. Análisis Asintótico (Método del Punto de Silla y Teorema Tauberiano):

   • Utilizan el Teorema Tauberiano de Ingham para extraer el comportamiento asintótico de los coeficientes de las series de potencias.
   • Para aplicar este teorema, necesitan estimar el comportamiento de las funciones generadoras cerca de $q=1$ (es decir, cuando $q = e^{-z}$ con $z \to 0$).
   • Descomposición de la Suma: Dividen la suma que define la función generadora en dos partes:
     • Una región central ($N_\epsilon$) alrededor del "pico" de la suma, donde los términos son dominantes.
     • Una región de error ($E$) lejos del pico.
   • Técnicas de Estimación:
     • Emplean el Lema de Euler-Maclaurin y expansiones asintóticas de símbolos $q$-Pochhammer (usando resultados de Bringmann, Man, Rolen y Storzer).
     • Utilizan el Método del Punto de Silla para aproximar la suma en la región central, identificando el valor de $n$ que maximiza el término general (relacionado con la razón áurea $\phi$ para Rogers-Ramanujan y $\sqrt{2}+1$ para Little Göllnitz).
     • Demuestran que la contribución de la región de error es despreciable en comparación con la región central.
     • Extienden las estimaciones a un cono complejo más amplio ($|y| \ll 1$) para cumplir con las condiciones del teorema de Ingham, analizando la parte real de funciones complejas como $\Lambda(y)$ para asegurar que el máximo ocurre en el eje real.

3. Contribuciones y Resultados Principales

El artículo establece fórmulas asintóticas precisas y demuestra desigualdades estrictas para $n$ suficientemente grande.

A. Identidad de Rogers-Ramanujan

Definen:

• $r_{1,t}(n)$: Ganchos-t en particiones con partes que difieren en al menos 2.
• $r_{2,t}(n)$: Ganchos-t en particiones con partes $\equiv 1, 4 \pmod 5$.

Resultados Asintóticos ($n \to \infty$):

• Para $t=1$: $r_{1,1}(n) \sim r_{2,1}(n) \sim C_1 n^{-1/4} e^{2\pi\sqrt{n/15}}$.
• Para $t=2$: $r_{1,2}(n) \sim C_2 n^{-1/4} e^{2\pi\sqrt{n/15}}$ y $r_{2,2}(n) \sim C_3 n^{-1/4} e^{2\pi\sqrt{n/15}}$, donde $C_3 > C_2$.

Desigualdades (Teorema 1.2):

• Para $n$ suficientemente grande:
  • $r_{1,1}(n) > r_{2,1}(n)$ (Más ganchos-1 en la clase de brecha).
  • $r_{1,2}(n) < r_{2,2}(n)$ (Más ganchos-2 en la clase de congruencia).

B. Identidad de Little Göllnitz

Definen:

• $g_{1,t}(n)$: Ganchos-t en particiones con partes que difieren en al menos 2 y sin partes impares que difieran exactamente en 2.
• $g_{2,t}(n)$: Ganchos-t en particiones con partes $\equiv 1, 5, 6 \pmod 8$.

Resultados Asintóticos ($n \to \infty$):

• Se derivan fórmulas similares con constantes diferentes involucrando $\log(\sqrt{2}+1)$ y $\pi/2$.

Desigualdades (Teorema 1.5):

• Para $n$ suficientemente grande:
  • $g_{1,1}(n) > g_{2,1}(n)$.
  • $g_{1,2}(n) < g_{2,2}(n)$.

4. Significado e Impacto

1. Generalización de Resultados Previos: El trabajo confirma que el fenómeno de inversión de desigualdades observado por Andrews para la identidad de Euler se mantiene en identidades de particiones más profundas y complejas (Rogers-Ramanujan y Göllnitz). Esto sugiere una estructura universal en el comportamiento de los ganchos-t en particiones con condiciones de brecha vs. congruencia.
2. Avance en Métodos Asintóticos: Los autores refinan y simplifican las técnicas de estimación de sumas de Nahm y series $q$ desarrolladas previamente por Bringmann et al. Proporcionan detalles técnicos exhaustivos sobre cómo manejar las estimaciones en regiones complejas y cómo controlar los términos de error, lo cual es útil para futuros estudios en formas modulares y series $q$.
3. Conjeturas Futuras: Basándose en sus hallazgos numéricos y teóricos, los autores conjeturan que para cualquier $t > 2$, la desigualdad se invierte consistentemente a favor de las particiones con condiciones de congruencia ($r_{1,t}(n) < r_{2,t}(n)$ y $g_{1,t}(n) < g_{2,t}(n)$) para $n$ grande.
4. Aplicabilidad: El método desarrollado se presenta como una herramienta robusta para analizar otras identidades de particiones con condiciones de brecha (como las identidades de Göllnitz-Gordon), donde las funciones generadoras también son sumas de Nahm.

En resumen, el artículo proporciona una prueba rigurosa y detallada de cómo la estructura de las particiones (brecha vs. congruencia) afecta la distribución de los ganchos en el diagrama de Young, revelando un patrón asintótico consistente donde las particiones de brecha dominan en ganchos-1, pero las de congruencia dominan en ganchos de longitud mayor o igual a 2.