Weighted partitions with interval restrictions: exact formulas and a bivariate master identity

Resumen Técnico: Particiones Ponderadas con Restricciones de Intervalo: Fórmulas Exactas y una Identidad Bivariante Maestra

Planteamiento del Problema
Este artículo aborda dos conjeturas relativas a funciones de partición con signo, $a''_2(n)$ y $b''_2(n)$, introducidas por Andrews y El Bachraoui en un estudio previo [3]. Estas funciones cuentan particiones de un entero $n$ sujetas a restricciones de intervalo específicas sobre las partes, ponderadas por $(-1)^{j+1}$, donde $j$ es el número de partes mayores que 1.

• $a''_2(n)$: Cuenta particiones con $l-1$ unos, la parte par más pequeña $2k$, partes $>1$ en $[2k, 2l-2]$, y partes impares distintas $>1$.
• $b''_2(n)$: Similar a $a''_2(n)$ pero con un intervalo ampliado $[2k, 2l-1]$.

Las conjeturas postulaban que:

1. La función generatriz para $a''_2(n)$ admite una descripción de "falsa theta triangular" que involucra signos periódicos.
2. Los coeficientes $b''_2(n)$ están confinados estrictamente al conjunto $\{-1, 0, 1, 2\}$.

Metodología
Los autores emplean un enfoque dual que combina técnicas analíticas y bijecciones combinatorias para demostrar estas conjeturas.

1. Generalización Bivariante: La innovación metodológica central es la introducción de una variable auxiliar $z$ para rastrear el número de partes no obligatorias mayores que 1. Esto conduce a la definición de funciones generatrices bivariantes $A(z, q)$ y $B(z, q)$. Las funciones con signo originales se recuperan mediante la especialización $z = -1$.
2. Pruebas Analíticas: Los autores derivan formas cerradas para $A(z, q)$ y $B(z, q)$ utilizando identidades que involucran series hipergeométricas básicas, específicamente la identidad de Andrews, Subbarao y Vidyasagar [4] y la identidad de Rogers–Fine. Estas derivaciones establecen una "Identidad Maestra" que relaciona $A(z, q)$ y $B(z, q)$.
3. Pruebas Combinatorias: El artículo proporciona pruebas biyectivas para las identidades de las funciones generatrices.
   • Para las funciones individuales, las bijecciones mapean pares de particiones a sus respectivas series generatrices.
   • Para la Identidad Maestra, se construye una involución que invierte el signo sobre objetos de partición aumentados. Esta involución empareja la mayoría de los términos de las familias $A$ y $B$, dejando una "familia de frontera" específica de objetos no emparejados que corresponde exactamente al término de corrección en la identidad.
4. Especialización y Evaluación: Al establecer $z = -1$ en la Identidad Maestra y aplicar la identidad de Rogers–Fine, los autores evalúan explícitamente la serie falsa theta. Se proporciona también una prueba directa separada utilizando la transformación de Heine para verificar la fórmula de la falsa theta para $a''_2(n)$ independientemente de la Identidad Maestra.

Contribuciones Clave y Resultados

• La Identidad Maestra: El artículo establece la relación fundamental:
  $$(1 + q^2)B(z, q) - (1 + q)A(z, q) = -\frac{q^4}{1 - q^3}$$
  Esta identidad unifica el estudio de ambas familias de particiones y controla sus funciones generatrices ordinarias, con signo y de refinamiento fijo.

• Prueba de la Conjetura 1 (Fórmula de la Falsa Theta): Los autores demuestran que la función generatriz para $a''_2(n)$ es:
  $$\sum_{n \ge 0} a''_2(n)q^n = \frac{q}{1-q^2} + \frac{1}{1+q} \sum_{n \ge 0} \chi(n)q^{\binom{n+1}{2}+1}$$
  donde $\chi(n)$ es una función de signo periódica. Esto confirma la estructura de "falsa theta triangular" y proporciona una regla de paridad simple que determina $a''_2(n)$.

• Prueba de la Conjetura 2 (Rango de Coeficientes): El artículo deriva una función generatriz explícita para $b''_2(n)$:
  $$\sum_{n \ge 0} b''_2(n)q^n = \frac{q + q^2 + q^3 - q^4}{(1-q)(1+q^2)(1+q+q^2)} + \frac{q}{1+q^2} \sum_{n \ge 0} \chi(n)q^{\binom{n+1}{2}}$$
  Al analizar la parte racional y la contribución de la falsa theta, los autores demuestran que $b''_2(n) \in \{-1, 0, 1, 2\}$ para todo $n$, confirmando la conjetura. Además, proporcionan una fórmula de coeficiente exacta para $b''_2(n)$ basada en funciones de periodo 12 e intervalos triangulares.

• Identidades Refinadas: La Identidad Maestra produce consecuencias inmediatas para las funciones generatrices ordinarias (estableciendo $z=1$) y las funciones generatrices de refinamiento fijo (coeficientes de $z^r$), estableciendo relaciones lineales entre los conteos refinados de las dos familias de particiones.

• Interpretación de Forma Modular Cuántica: La serie falsa theta derivada para $a''_2(n)$ se identifica como una forma modular cuántica fuerte de peso $1/2$. El artículo conecta esta serie con funciones theta parciales con coeficientes periódicos y describe su obstrucción modular mediante una integral de Eichler asociada con una función theta unaria.

Significancia
El artículo afirma que la principal significancia radica en demostrar la rigidez de las funciones de partición con signo $a''_2(n)$ y $b''_2(n)$, lo cual solo se había observado computacionalmente. La introducción de la variable bivariante $z$ revela que estas conjeturas, aparentemente distintas, son consecuencias de una única identidad estructural. El trabajo proporciona una descripción completa de los coeficientes, yendo más allá de la aserción del rango hacia fórmulas exactas. Adicionalmente, el artículo destaca la conexión entre estas identidades de partición y la teoría de formas modulares cuánticas, ofreciendo un ejemplo concreto de una serie falsa theta que surge de un problema combinatorio de particiones. La inclusión de tanto pruebas analíticas como combinatorias asegura que los resultados sean robustos y proporciona una visión de las estructuras biyectivas subyacentes.