Counterexamples to the Minimum Period Conjecture for Restricted Partition Functions

Resumo Técnico: Contraexemplos para a Conjectura do Período Mínimo para Funções de Partição Restrita

Enunciado do Problema
O artigo aborda o comportamento da função de partição restrita $q_a(k)$, que conta o número de soluções de inteiros não negativos para a equação $a_1x_1 + \dots + a_nx_n = k$ para uma sequência fixa de inteiros positivos $a = (a_1, \dots, a_n)$. É bem estabelecido que $q_a(k)$ é um quase-polinômio de grau $n-1$, expressável como:
$$q_a(k) = \sum_{j=0}^{n-1} c_j(k) k^j$$
onde os coeficientes $c_j(k)$ são funções periódicas.

Em 2008, Beck, Sam e Woods formularam uma conjectura a respeito do período mínimo dessas funções de coeficiente $c_j(k)$. Seja $b_m$ o número de elementos em $a$ divisíveis por $m$. A conjectura postula que o período mínimo de $c_j(k)$ é exatamente:
$$p_j = \text{mmc}\{m \in \mathbb{Z}_{>0} : b_m > j\}$$
Os autores observam que, embora esta conjectura forneça um limite superior de divisibilidade claro, sua validade como uma igualdade exata não havia sido rigorosamente refutada ou totalmente caracterizada em termos de coeficientes nulos.

Metodologia
Os autores empregam uma combinação de análise complexa, especificamente cálculo de resíduos, e análise de Fourier discreta para derivar uma fórmula exata para as funções de coeficiente $c_j(k)$.

1. Fórmula de Raiz da Unidade: Ao analisar a função geradora $R_a(x) = \prod_{i=1}^n (1-x^{a_i})^{-1}$, os autores derivam uma expressão explícita para $c_j(k)$ como uma soma sobre raízes da unidade. Para uma raiz da unidade $\zeta$ com ordem multiplicativa $m$, seja $s_\zeta$ a ordem do polo de $R_a(x)$ em $\zeta$. Os autores definem uma função auxiliar holomorfa $\Phi_\zeta(t) = t^{s_\zeta} R_a(\zeta e^{-t})$.
2. Extração de Coeficientes: Eles provam que:
   $$c_j(k) = \sum_{\zeta \in \mu_N, s_\zeta > j} \gamma_{\zeta, j} \zeta^{-k}$$
   onde $\gamma_{\zeta, j} = \frac{1}{j!} [t^{s_\zeta - 1 - j}] \Phi_\zeta(t)$.
3. Determinação do Período: Usando a unicidade da expansão de Fourier, eles estabelecem que o período mínimo de $c_j(k)$ é o mínimo múltiplo comum das ordens das raízes da unidade $\zeta$ para as quais o coeficiente $\gamma_{\zeta, j}$ é não nulo.
4. Construção de Contraexemplos: Os autores identificam que a conjectura de Beck–Sam–Woods falha precisamente quando $\gamma_{\zeta, j} = 0$ para algum $\zeta$ onde $s_\zeta > j$. Eles constroem uma família específica de duas parâmetros de funções geradoras $R_{u,M}(x) = (1-x^2)^{-4}(1-x)^{-u}(1-x^M)^{-1}$ (com $M$ ímpar) e derivam uma condição diofantina para $u$ e $M$ tal que o coeficiente correspondente à raiz $\zeta = -1$ se anule.
5. Geração de Família Infinita: A condição para o anelamento de coeficientes é transformada em uma equação de Pell negativa ($Y^2 - 3X^2 = -26$). Ao resolver esta equação usando relações de recorrência, eles geram infinitos pares $(u, M)$ que satisfazem as condições de contraexemplo.

Principais Contribuições e Resultados

• Fórmula do Período Exato (Teorema 1.2): O artigo fornece a primeira fórmula exata para o período mínimo de $c_j(k)$ em termos dos coeficientes não nulos da expansão de Taylor de $\Phi_\zeta(t)$. Esta fórmula revela que o período depende não apenas da existência de polos ($s_\zeta > j$), mas de se coeficientes de Taylor específicos se anulam.
• Limites de Divisibilidade Estritos (Teorema 1.3): Os autores provam que o período mínimo $per(c_j)$ satisfaz:
  $$\text{mmc}\{m : j+1 \le b_m \le j+2\} \mid per(c_j) \mid \text{mmc}\{m : b_m > j\}$$
  O lado direito corresponde ao valor $p_j$ conjecturado por Beck–Sam–Woods. O artigo demonstra que tanto o limite superior quanto o inferior são estritos, mas o período real pode situar-se estritamente entre eles.
• Refutação da Conjectura (Teorema 1.4): O artigo constrói uma família infinita de contraexemplos à conjectura de Beck–Sam–Woods. Especificamente, para a sequência definida por $R_{u,M}(x)$, se $u$ e $M$ satisfizerem a equação diofantina derivada, o período mínimo de $c_0(k)$ é $M$, enquanto a conjectura prevê $2M$.
  • Exemplo Específico: Para $(u, M) = (2, 13)$, a sequência de partes consiste em quatro 2's, dois 1's e um 13. O período conjecturado é $p_0 = \text{mmc}(1, 2, 13) = 26$, mas o período mínimo real é $13$.
  • Variações: Os autores fornecem contraexemplos adicionais onde todos os $a_i > 1$, onde os $a_i$ são distintos entre si, e onde $\gcd(a)=1$, demonstrando a robustez do fenômeno sob diferentes restrições.

Significância e Alegações
O artigo afirma resolver a questão do período mínimo para funções de partição restrita ao mostrar que a conjectura de Beck–Sam–Woods, embora forneça um limite superior correto, não é universalmente verdadeira como uma igualdade. A significância reside em:

1. Refinamento da Teoria: Passar de uma conjectura baseada apenas em ordens de polos para uma caracterização exata envolvendo o anelamento de coeficientes de Taylor específicos.
2. Correção do Registro: Fornecer os primeiros contraexemplos conhecidos para uma conjectura de longa data no campo das funções de partição e quase-polinômios.
3. Insight Metodológico: Demonstrar que a abordagem da "função de onda" (relacionada ao trabalho de Sylvester) e a abordagem de cálculo de resíduos produzem resultados equivalentes, mas a última oferece uma ferramenta mais precisa para determinar períodos ao calcular explicitamente os coeficientes $\gamma_{\zeta, j}$.

Os autores concluem modestamente que seu trabalho substitui a igualdade proposta por uma fórmula precisa e estabelece que o valor conjecturado $p_j$ permanece um limite superior universal estrito, embora não seja sempre o período exato.