🔢 mathematics

Proof of a conjecture of Andrews and El Bachraoui on the parity of two-color partitions

Este artigo prova uma conjectura de Andrews e El Bachraoui ao demonstrar que, se o coeficiente de Fourier $t_o(n)$ de uma série $q$ de partição de duas cores específica for ímpar, então o inteiro $8n+9$ pode ser representado pela forma quadrática binária $x^2+2y^2$ .

Autores originais: Koustav Banerjee, Kathrin Bringmann

Publicado 2026-07-10

📖 3 min de leitura🧠 Leitura aprofundada

CC BY 4.0

Autores originais: Koustav Banerjee, Kathrin Bringmann

Artigo original sob licença CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Esta é uma explicação gerada por IA do artigo abaixo. Não foi escrita nem endossada pelos autores. Para precisão técnica, consulte o artigo original. Ler aviso legal completo

Imagine que você tem um pote mágico gigante de blocos coloridos. Você quer construir torres usando esses blocos, mas existem algumas regras muito específicas e excêntricas sobre como você pode empilhá-los. Este é o mundo das "partições de duas cores" com o qual os matemáticos Andrews e El Bachraoui estavam brincando. Eles fizeram uma pergunta simples: se você seguir essas regras para construir uma torre de um certo tamanho, o número de maneiras de fazer isso é um número ímpar ou um número par?

Por muito tempo, eles tiveram um palpite — um mero palpite, na verdade — sobre quando a resposta seria um número ímpar. Eles suspeitavam que a resposta só é ímpar se uma condição matemática muito específica for atendida envolvendo uma forma chamada "forma quadrática binária". Pense nesta forma, $x^2 + 2y^2$ , como uma fechadura especial. O palpite era: "Você só consegue obter um número par de maneiras de construir sua torre se o número $8n + 9$ (onde $n$ é o tamanho da sua torre) puder se encaixar perfeitamente nesta fechadura".

Neste artigo, Koustav Banerjee e Kathrin Bringmann intervêm para encerrar o debate. Eles não apenas adivinham; eles provam. Eles mostram que, se o número de maneiras de construir sua torre for de fato ímpar, então $8n + 9$ deve ser representável pelaquela fechadura especial ( $x^2 + 2y^2$ ).

Eis como eles decifraram o código:
Eles pegaram a fórmula complexa que descreve todas essas possibilidades de construção de torres e começaram a rearranjá-la, como se estivessem resolvendo um quebra-cabeça gigante e invisível. Eles decomporam a fórmula em partes menores e mais manejáveis usando alguns truques matemáticos astutos envolvendo "séries q" (que são apenas formas elegantes de escrever listas infinitas de números).

À medida que removiam as camadas, descobriram que a "imparidade" da resposta depende inteiramente de como essas peças se encaixam. Eles descobriram que as peças só se alinham para criar um resultado ímpar se o número $8n + 9$ puder ser escrito como um número quadrado mais duas vezes outro número quadrado.

Para tornar isso concreto, imagine que $8n + 9$ é um baú de tesouro. Os matemáticos provaram que, se o baú estiver trancado com uma chave que não se ajusta ao padrão $x^2 + 2y^2$ , o baú está vazio (a resposta é par, ou zero). Mas se o baulo tem uma chave que se ajusta a esse padrão, então — surpresa! — o baú pode conter um número ímpar de tesouros.

Eles não disseram apenas: "Parece que isso funciona". Eles construíram uma ponte lógica, passo a passo, mostrando que, se a condição não for atendida, a resposta é matematicamente forçada a ser par. Eles até verificaram três cenários diferentes para garantir que nenhuma exceção sorrateira estivesse se escondendo nas sombras. Em todos os casos, a regra se manteve.

Assim, o mistério está resolvido. O palpite feito por Andrews e El Bachraoui não foi apenas um palpite de sorte; foi um fato. Se você vir um número ímpar de maneiras de construir essas torres especiais de duas cores, você pode ter absoluta certeza de que $8n + 9$ se ajusta ao padrão $x^2 + 2y^2$ . Se não se ajustar, o número de maneiras é definitivamente par. A fechadura e a chave combinam perfeitamente, e a prova é sólida.

Resumo Técnico: Prova de uma Conjectura de Andrews e El Bachraoui sobre a Paridade de Partições de Duas Cores

Enunciado do Problema
Este artigo aborda uma conjectura proposta por Andrews e El Bachraoui a respeito da paridade dos coeficientes $to(n)$ de uma série $q$ específica. A série $To(q)$ é definida como:
$To(q) := \sum_{n \ge 0} to(n)q^n = \sum_{n \ge 0} \frac{(-q)^{2n}}{(q; q^2)_{n+1}} q^{2n}$
Andrews e El Bachraoui estabeleceram anteriormente que, se os coeficientes $c(n)$ da série relacionada $C(q) = (q)_\infty To(q)$ forem não nulos, então $24n + 28$ é representado pela forma quadrática binária $x^2 + 3y^2$ . Motivados por isso, eles conjecturaram uma propriedade de representação semelhante para a paridade de $to(n)$: especificamente, que se $8n + 9$ não puder ser representado pela forma quadrática binária $x^2 + 2y^2$ , então $to(n) \equiv 0 \pmod 2$ .

Metodologia
Os autores empregam identidades de séries $q$ elementares e técnicas de aritmética modular para analisar a função geradora $To(q)$. A estratégia de prova procede da seguinte forma:

Decomposição de Funções Geradoras: Os autores utilizam uma identidade conhecida que relaciona $C(q)$ com as funções theta $\Psi(q)$ , $T(q)$ e $\Theta(q)$ :
$2qC(q) = \Psi(q)T(q) - (q)_\infty \Theta(q)$
onde $\Psi(q)$ , $T(q)$ e $\Theta(q)$ são definidas por somatórios envolvendo números triangulares e pentagonais.
Manipulação Algébrica: Ao expressar $To(q) = C(q)/(q)_\infty$ , os autores derivam uma expressão para $2qTo(q)$ em termos dessas funções theta. Eles então decompõem $T(q)$ e $\Theta(q)$ em somas sobre índices pares e ímpares, introduzindo séries auxiliares $S(q)$ e $R(q)$ para isolar contribuições específicas de paridade.
Redução Modular: O núcleo da prova envolve a redução das expressões resultantes módulo 2. Os autores utilizam o Teorema dos Números Pentagonais de Euler e propriedades de cocientes de eta para mostrar que:
$\frac{\Psi(q)}{(q)_\infty} \equiv \sum_{m \in \mathbb{Z}} q^{m(3m+1)} \pmod 2$
Isso permite que a expressão para $qTo(q)$ seja reescrita como uma soma de produtos de séries envolvendo apenas índices ímpares.
Análise de Coeficientes: Os autores analisam o coeficiente de $q^{n+1}$ na série resultante módulo 2. Eles demonstram que, se $to(n)$ for ímpar (ou seja, $to(n) \not\equiv 0 \pmod 2$ ), então $n+1$ deve advir de uma das três formas algébricas específicas envolvendo inteiros ímpares $r$ e inteiros arbitrários $m$ .

Principais Contribuições e Resultados
A principal contribuição do artigo é a prova rigorosa da Conjectura 1.2 (estatada como Teorema 1.3 no texto). Os autores estabelecem que:
$to(n) \not\equiv 0 \pmod 2 \implies 8n + 9 \text{ é representado por } x^2 + 2y^2$
A prova alcança isso ao construir explicitamente a representação de $8n+9$ na forma $x^2 + 2y^2$ para cada um dos três casos onde o coeficiente $to(n)$ é não nulo módulo 2:

Caso 1: Se $n+1 = \frac{m(m+1)}{2}$ para $m$ ímpar, então $8n+9 = (2m+1)^2 + 2(0)^2$ .
Caso 2: Se $n+1 = \frac{r(3r+1)}{2} + m(3m+1)$ para $r$ ímpar, então $8n+9 = (2r+4m+1)^2 + 2(2r-2m)^2$ .
Caso 3: Se $n+1 = \frac{r(3r+1)}{2} + (2r+1) + m(3m+1)$ para $r$ ímpar, então $8n+9 = (2r-4m+1)^2 + 2(2r+2m+2)^2$ .

Consequentemente, se $8n+9$ não for representável por $x^2 + 2y^2$ , nenhum desses casos pode ocorrer, implicando que $to(n) \equiv 0 \pmod 2$ .

Significância e Alegações
O artigo afirma resolver a conjectura de Andrews e El Bachraoui a respeito da paridade destas partições de duas cores. Os autores observam que seu trabalho foi realizado de forma independente e simultânea a outro trabalho (citado como [4]) que também prova o mesmo teorema utilizando métodos substancialmente diferentes. A significância reside em estabelecer uma conexão precisa entre as propriedades aritméticas dos coeficientes de partição e os números de representação de formas quadráticas binárias, estendendo as propriedades de congruência conhecidas das partições de duas cores restritas. O artigo não propõe novas aplicações ou implicações futuras além da resolução desta conjectura específica.

Mais como este