🔢 mathematics

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

Cet article démontre une conjecture d'Andrews et d'El Bachraoui en montrant que si le coefficient de Fourier $t_o(n)$ d'une série $q$ de partitions à deux couleurs spécifique est impair, alors l'entier $8n+9$ peut être représenté par la forme quadratique binaire $x^2+2y^2$ .

Auteurs originaux : Koustav Banerjee, Kathrin Bringmann

Publié 2026-07-10

📖 3 min de lecture🧠 Analyse approfondie

CC BY 4.0

Auteurs originaux : Koustav Banerjee, Kathrin Bringmann

Article original sous licence CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Ceci est une explication générée par l'IA de l'article ci-dessous. Elle n'a pas été rédigée ni approuvée par les auteurs. Pour une précision technique, consultez l'article original. Lire la clause de non-responsabilité complète

Imaginez que vous possédez un bocal magique et géant rempli de blocs colorés. Vous voulez construire des tours en utilisant ces blocs, mais il existe des règles très spécifiques et excentriques sur la façon dont vous pouvez les empiler. C'est le monde des « partitions à deux couleurs » avec lequel les mathématiciens Andrews et El Bachraoui jouaient. Ils ont posé une question simple : si vous suivez ces règles pour construire une tour d'une certaine taille, le nombre de façons de le faire est-il un nombre impair ou un nombre pair ?

Pendant longtemps, ils avaient un pressentiment — une supposition, en réalité — sur le moment où la réponse serait un nombre impair. Ils soupçonnaient que la réponse n'est impaire que si une condition mathématique très spécifique impliquant une forme appelée « forme quadratique binaire » est remplie. Considérez cette forme, $x^2 + 2y^2$ , comme une serrure spéciale. Le pressentiment était le suivant : « Vous ne pouvez obtenir un nombre impair de façons de construire votre tour que si le nombre $8n + 9$ (où $n$ est la taille de votre tour) peut s'insérer parfaitement dans cette serrure. »

Dans cet article, Koustav Banerjee et Kathrin Bringmann interviennent pour trancher le débat. Ils ne se contentent pas de deviner ; ils prouvent. Ils montrent que si le nombre de façons de construire votre tour est effectivement impair, alors $8n + 9$ doit être représentable par cette serrure spéciale ( $x^2 + 2y^2$ ).

Voici comment ils ont déchiffré le code :
Ils ont pris la formule complexe qui décrit toutes ces possibilités de construction de tours et ont commencé à la réorganiser, comme pour résoudre un immense puzzle invisible. Ils ont décomposé la formule en morceaux plus petits et plus maniables en utilisant des astuces mathématiques ingénieuses impliquant des « q-séries » (qui sont simplement des façons sophistiquées d'écrire des listes infinies de nombres).

En épluchant les couches, ils ont découvert que l'« imparité » de la réponse dépend entièrement de la façon dont ces pièces s'assemblent. Ils ont trouvé que les pièces ne s'alignent pour créer un résultat impair que si le nombre $8n + 9$ peut être écrit comme un nombre carré plus deux fois un autre carré.

Pour rendre cela concret, imaginez que $8n + 9$ est un coffre au trésor. Les mathématiciens ont prouvé que si le coffre est verrouillé avec une clé qui ne correspond pas au motif $x^2 + 2y^2$ , le coffre est vide (la réponse est paire, ou zéro). Mais si le coffre possède une clé qui correspond à ce motif, alors — surprise ! — le coffre pourrait contenir un nombre impair de trésors.

Ils n'ont pas seulement dit : « On dirait que cela fonctionne. » Ils ont construit un pont logique, étape par étape, montrant que si la condition n'est pas remplie, la réponse est mathématiquement forcée d'être paire. Ils ont même vérifié trois scénarios différents pour s'assurer qu'aucune exception sournoise ne se cachait dans l'ombre. Dans chaque cas, la règle tenait bon.

Le mystère est ainsi résolu. La supposition faite par Andrews et El Bachraoui n'était pas seulement un coup de chance ; c'était un fait. Si vous voyez un nombre impair de façons de construire ces tours spéciales à deux couleurs, vous pouvez être absolument certain que $8n + 9$ correspond au motif $x^2 + 2y^2$ . S'il ne correspond pas, le nombre de façons est définitivement pair. La serrure et la clé correspondent parfaitement, et la preuve est solide.

Résumé technique : Preuve d'une conjecture d'Andrews et El Bachraoui sur la parité des partitions à deux couleurs

Énoncé du problème
Cet article traite d'une conjecture proposée par Andrews et El Bachraoui concernant la parité des coefficients $to(n)$ d'une série $q$ spécifique. La série $To(q)$ est définie par :
$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 et El Bachraoui ont précédemment établi que si les coefficients $c(n)$ de la série associée $C(q) = (q)_\infty To(q)$ sont non nuls, alors $24n + 28$ est représenté par la forme quadratique binaire $x^2 + 3y^2$ . Motivés par cela, ils ont conjecturé une propriété de représentation similaire pour la parité de $to(n)$ : spécifiquement, si $8n + 9$ ne peut pas être représenté par la forme quadratique binaire $x^2 + 2y^2$ , alors $to(n) \equiv 0 \pmod 2$ .

Méthodologie
Les auteurs emploient des identités de séries $q$ élémentaires et des techniques d'arithmétique modulaire pour analyser la fonction génératrice $To(q)$. La stratégie de preuve procède comme suit :

Décomposition des fonctions génératrices : Les auteurs utilisent une identité connue reliant $C(q)$ aux fonctions thêta $\Psi(q)$ , $T(q)$ et $\Theta(q)$ :
$2qC(q) = \Psi(q)T(q) - (q)_\infty \Theta(q)$
où $\Psi(q)$ , $T(q)$ et $\Theta(q)$ sont définies par des sommations impliquant des nombres triangulaires et pentagonaux.
Manipulation algébrique : En exprimant $To(q) = C(q)/(q)_\infty$ , les auteurs dérivent une expression pour $2qTo(q)$ en termes de ces fonctions thêta. Ils décomposent ensuite $T(q)$ et $\Theta(q)$ en sommes sur des indices pairs et impairs, introduisant des séries auxiliaires $S(q)$ et $R(q)$ pour isoler les contributions de parité spécifiques.
Réduction modulaire : Le cœur de la preuve implique la réduction des expressions résultantes modulo 2. Les auteurs utilisent le théorème des nombres pentagonaux d'Euler et les propriétés des quotients d'eta pour montrer que :
$\frac{\Psi(q)}{(q)_\infty} \equiv \sum_{m \in \mathbb{Z}} q^{m(3m+1)} \pmod 2$
Cela permet de réécrire l'expression de $qTo(q)$ comme une somme de produits de séries impliquant uniquement des indices impairs.
Analyse des coefficients : Les auteurs analysent le coefficient de $q^{n+1}$ dans la série résultante modulo 2. Ils démontrent que si $to(n)$ est impair (c'est-à-dire $to(n) \not\equiv 0 \pmod 2$ ), alors $n+1$ doit provenir de l'une des trois formes algébriques spécifiques impliquant des entiers impairs $r$ et des entiers arbitraires $m$ .

Contributions clés et résultats
La contribution principale de l'article est la preuve rigoureuse de la Conjecture 1.2 (énoncée comme le Théorème 1.3 dans le texte). Les auteurs établissent que :
$to(n) \not\equiv 0 \pmod 2 \implies 8n + 9 \text{ est représenté par } x^2 + 2y^2$
La preuve parvient à cela en construisant explicitement la représentation de $8n+9$ sous la forme $x^2 + 2y^2$ pour chacun des trois cas où le coefficient $to(n)$ est non nul modulo 2 :

Cas 1 : Si $n+1 = \frac{m(m+1)}{2}$ pour un $m$ impair, alors $8n+9 = (2m+1)^2 + 2(0)^2$ .
Cas 2 : Si $n+1 = \frac{r(3r+1)}{2} + m(3m+1)$ pour un $r$ impair, alors $8n+9 = (2r+4m+1)^2 + 2(2r-2m)^2$ .
Cas 3 : Si $n+1 = \frac{r(3r+1)}{2} + (2r+1) + m(3m+1)$ pour un $r$ impair, alors $8n+9 = (2r-4m+1)^2 + 2(2r+2m+2)^2$ .

Par conséquent, si $8n+9$ n'est pas représentable par $x^2 + 2y^2$ , aucun de ces cas ne peut se produire, impliquant que $to(n) \equiv 0 \pmod 2$ .

Signification et revendications
L'article affirme résoudre la conjecture d'Andrews et El Bachraoui concernant la parité de ces partitions à deux couleurs. Les auteurs notent que leur travail a été mené indépendamment et simultanément avec un autre travail (cité comme [4]) qui prouve également le même théorème en utilisant des méthodes sensiblement différentes. La signification réside dans l'établissement d'un lien précis entre les propriétés arithmétiques des coefficients de partition et les nombres de représentation des formes quadratiques binaires, étendant les propriétés de congruence connues des partitions à deux couleurs restreintes. L'article ne propose pas de nouvelles applications ou implications futures au-delà de la résolution de cette conjecture spécifique.

Articles similaires