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

Resumo Técnico: Partições Pesadas com Restrições de Intervalo: Fórmulas Exatas e uma Identidade Bivariada Mestra

Enunciado do Problema
Este artigo aborda duas conjecturas relativas a funções de partição com sinal, $a''_2(n)$ e $b''_2(n)$, introduzidas por Andrews e El Bachraoui em um estudo anterior [3]. Estas funções contam partições de um inteiro $n$ sujeitas a restrições de intervalo específicas nas partes, ponderadas por $(-1)^{j+1}$, onde $j$ é o número de partes maiores que 1.

• $a''_2(n)$: Conta partições com $l-1$ uns, menor parte par $2k$, partes $>1$ no intervalo $[2k, 2l-2]$, e partes ímpares distintas $>1$.
• $b''_2(n)$: Semelhante a $a''_2(n)$, mas com um intervalo ampliado $[2k, 2l-1]$.

As conjecturas postulavam que:

1. A função geradora para $a''_2(n)$ admite uma descrição de "falsa série theta triangular" envolvendo sinais periódicos.
2. Os coeficientes $b''_2(n)$ estão estritamente contidos no conjunto $\{-1, 0, 1, 2\}$.

Metodologia
Os autores empregam uma abordagem dual combinando técnicas analíticas e bijeções combinatórias para provar estas conjecturas.

1. Generalização Bivariada: A inovação metodológica central é a introdução de uma variável auxiliar $z$ para rastrear o número de partes não obrigatórias maiores que 1. Isso leva à definição das funções geradoras bivariadas $A(z, q)$ e $B(z, q)$. As funções com sinal originais são recuperadas via a especialização $z = -1$.
2. Provas Analíticas: Os autores derivam formas fechadas para $A(z, q)$ e $B(z, q)$ usando identidades envolvendo séries hipergeométricas básicas, especificamente a identidade de Andrews, Subbarao e Vidyasagar [4] e a identidade de Rogers–Fine. Estas derivações estabelecem uma "Identidade Mestra" relacionando $A(z, q)$ e $B(z, q)$.
3. Provas Combinatórias: O artigo fornece provas bijectivas para as identidades das funções geradoras.
   • Para as funções individuais, as bijeções mapeiam pares de partições para as respectivas séries geradoras.
   • Para a Identidade Mestra, uma involução de reversão de sinal é construída sobre objetos de partição aumentados. Esta involução emparelha a maioria dos termos das famílias $A$ e $B$, deixando uma "família de fronteira" específica de objetos não emparelhados que corresponde exatamente ao termo de correção na identidade.
4. Especialização e Avaliação: Ao definir $z = -1$ na Identidade Mestra e aplicar a identidade de Rogers–Fine, os autores avaliam explicitamente a série theta falsa. Uma prova direta separada usando a transformação de Heine também é fornecida para verificar a fórmula da série theta falsa para $a''_2(n)$ independentemente da Identidade Mestra.

Contribuições Principais e Resultados

• A Identidade Mestra: O artigo estabelece a relação fundamental:
  $$(1 + q^2)B(z, q) - (1 + q)A(z, q) = -\frac{q^4}{1 - q^3}$$
  Esta identidade unifica o estudo de ambas as famílias de partições e controla suas funções geradoras ordinárias, com sinal e de refinamento fixo.

• Prova da Conjectura 1 (Fórmula de Theta Falsa): Os autores provam que a função geradora para $a''_2(n)$ é:
  $$\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}$$
  onde $\chi(n)$ é uma função de sinal periódica. Isso confirma a estrutura de "falsa série theta triangular" e fornece uma regra de paridade simples que determina $a''_2(n)$.

• Prova da Conjectura 2 (Intervalo de Coeficientes): O artigo deriva uma função geradora 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}}$$
  Ao analisar a parte racional e a contribuição da série theta falsa, os autores demonstram que $b''_2(n) \in \{-1, 0, 1, 2\}$ para todo $n$, confirmando a conjectura. Além disso, fornecem uma fórmula de coeficiente exata para $b''_2(n)$ baseada em funções de período 12 e intervalos triangulares.

• Identidades Refinadas: A Identidade Mestra produz consequências imediatas para as funções geradoras ordinárias (definindo $z=1$) e funções geradoras de refinamento fixo (coeficientes de $z^r$), estabelecendo relações lineares entre as contagens refinadas das duas famílias de partições.

• Interpretação de Modularidade Quântica: A série theta falsa derivada para $a''_2(n)$ é identificada como uma forma modular quântica forte de peso $1/2$. O artigo conecta esta série a funções theta parciais com coeficientes periódicos e descreve sua obstrução modular via uma integral de Eichler associada a uma função theta unária.

Significância
O artigo afirma que a principal significância reside em provar a rigidez das funções de partição com sinal $a''_2(n)$ e $b''_2(n)$, que anteriormente eram apenas observadas computacionalmente. A introdução da variável bivariada $z$ revela que estas conjecturas aparentemente distintas são consequências de uma única identidade estrutural. O trabalho fornece uma descrição completa dos coeficientes, indo além da afirmação do intervalo para fórmulas exatas. Adicionalmente, o artigo destaca a conexão entre estas identidades de partição e a teoria de formas modulares quânticas, oferecendo um exemplo concreto de uma série theta falsa surgindo de um problema combinatório de partição. A inclusão de provas tanto analíticas quanto combinatórias garante que os resultados sejam robustos e fornece visão sobre as estruturas bijectivas subjacentes.