On a conjecture of Andrews and almost alternating sign patterns

Resumen Técnico: Sobre una conjetura de Andrews y patrones de signo casi alternantes

Planteamiento del problema
Este artículo aborda un fenómeno de signo observado por George Andrews en series $q$ específicas de la Libreta Perdida de Ramanujan. Mientras que las series $q$ de teoría de particiones clásicas suelen presentar coeficientes que crecen de forma monótona o permanecen acotados, Andrews identificó cinco series ($\sigma(q), v_1(q), v_2(q), v_3(q), v_4(q)$) con un comportamiento inusual. Específicamente, para $v_2(q), v_3(q)$ y $v_4(q)$, la evidencia numérica sugirió que los coeficientes exhiben una "gran regularidad de signo", pareciendo alternar en signo con solo un conjunto disperso de excepciones. El objetivo del artículo es demostrar las conjeturas de Andrews respecto a estas tres series y establecer un marco general que explique este fenómeno.

Metodología
Los autores emplean una versión adaptada del Método del Círculo de Wright, una técnica bien adecuada para series $q$ no modulares. La metodología procede en tres etapas principales:

1. Asintótica cerca de las raíces de la unidad: Los autores analizan las funciones generatrices $v_j(q)$ cuando $q$ se aproxima a las raíces de la unidad. Utilizan una forma $q$-hipergeométrica generalizada $V_{r,b}(q)$ para abarcar $v_2$ y $v_4$. Mediante el empleo de la integración de contorno (específicamente la integral de contorno de Watson) y el método del punto de silla, derivan expansiones asintóticas precisas para estas funciones cuando $q \to \zeta e^{-z}$, donde $\zeta$ es una raíz de la unidad.

   • Para raíces de la unidad de orden $m \not\equiv 2 \pmod 4$, las funciones permanecen acotadas.
   • Para órdenes $m \equiv 2 \pmod 4$ (específicamente el polo dominante en $-1$), las funciones exhiben un crecimiento exponencial junto con términos oscilatorios que involucran el dilogaritmo de Bloch–Wigner $D(e^{i\theta})$.

2. Extracción de coeficientes: Utilizando las asintóticas derivadas de las funciones generatrices cerca del polo dominante, los autores aplican el Método del Círculo para extraer el comportamiento asintótico de los coeficientes $V_j(n)$. Esto implica descomponer la integral de contorno en un arco mayor (alrededor del polo dominante) y arcos menores. La contribución del arco mayor produce el término dominante, mientras que se demuestra que los arcos menores contribuyen con un término de error menor.

3. Análisis del patrón de signo: Los autores establecen un teorema general (Teorema 6.4) que demuestra que cualquier secuencia entera que satisfaga una forma asintótica específica —caracterizada por un factor de crecimiento exponencial, un factor de signo dependiente de la paridad $(-1)^n$ y un término de coseno oscilatorio— exhibe necesariamente un "patrón de signo casi alternante". Utilizan la teoría de la discrepancia (específicamente cotas sobre la distribución de secuencias como $\sqrt{n} \pmod 1$) para probar que los ceros del término oscilatorio ocurren con densidad cero, asegurando que la alternancia de signo se mantenga para casi todo $n$.

Contribuciones clave y resultados

• Demostración de las conjeturas de Andrews: El artículo proporciona pruebas rigurosas para el comportamiento de signo de $v_2(q), v_3(q)$ y $v_4(q)$.

  • Teorema A: Confirma que las secuencias $V_2(n), V_3(n)$ y $V_4(n)$ satisfacen un patrón de signo casi alternante. Específicamente, $|V_j(n)| \to \infty$ cuando $n \to \infty$ fuera de un conjunto de densidad cero, y para casi todo $n$, $V_j(n)$ y $V_j(n+1)$ tienen signos opuestos.
  • Teorema B: Proporciona fórmulas asintóticas precisas para los coeficientes. Para $j \in \{2, 3, 4\}$, los coeficientes se comportan como:
    $$V_j(n) \sim (-1)^n \alpha_j \frac{e^{2\sqrt{n}\text{Re}(\sqrt{W_j})}}{\sqrt{n}} \cos\left(2\sqrt{n}\text{Im}(\sqrt{W_j}) - \delta_j\right)$$
    donde $W_j$ involucra el dilogaritmo de Bloch–Wigner y $\alpha_j, \delta_j$ son constantes explícitas. Esta fórmula revela explícitamente la interacción entre el crecimiento exponencial y el comportamiento oscilatorio que gobierna el signo.

• Interpretaciones combinatorias: Los autores proporcionan nuevas interpretaciones combinatorias para los coeficientes $V_2(n), V_3(n)$ y $V_4(n)$ en términos de particiones y sobreparticiones. Notablemente, corrigen y refinan la interpretación para $V_4(n)$, añadiendo una condición respecto a la congruencia de la parte más grande módulo 4, la cual faltaba en la formulación original de Andrews.

• Generalización: Los resultados se extienden a familias infinitas de series $q$-hipergeométricas de la forma $V_{r,b}(q)$ y combinaciones lineales $U_{2,b}(q)$. El artículo demuestra que el fenómeno del signo no es una curiosidad aislada, sino que surge sistemáticamente de las asintóticas oscilatorias de estas series cerca de las raíces de la unidad.

• Nueva familia y observaciones numéricas: Los autores introducen una nueva familia de series $v_{\{k\}}(q)$ y presentan evidencia numérica que sugiere que sus coeficientes exhiben un patrón de signo generalizado de longitud $k$. Aunque no ha sido probado, esto sugiere que el fenómeno es generalizado.

Significado
El artículo resuelve conjeturas de larga data de Andrews respecto a la regularidad de signo de series $q$ específicas de la Libreta Perdida de Ramanujan. Al conectar estas series con la aritmética de cuerpos cuadráticos (a través del dilogaritmo de Bloch–Wigner) y objetos automorfos, el trabajo las sitúa dentro de un marco teórico más amplio que conecta las series $q$-hipergeométricas, las particiones y las formas modulares. El desarrollo de un marco general para probar patrones de signo "casi alternantes" basados en oscilaciones asintóticas ofrece una nueva herramienta para analizar los coeficientes de series $q$ no modulares. Los autores señalan que, si bien los resultados para $v_1(q)$ fueron establecidos previamente por Folsom, Males, Rolen y Storzer, este artículo aborda las series restantes y proporciona un enfoque unificado para una clase más amplia de funciones.