🔢 mathematics

A proof of Andrews-El Bachraoui's conjecture on the parity of coefficients of a $q$ -series

Cet article confirme la conjecture d'Andrews et d'El Bachraoui concernant la parité des coefficients de la série en $q$ , $T_o(q)$ , tout en établissant une famille infinie de congruences modulo 8 pour les coefficients de $S_1(q)$ et en prouvant que $s_1(n)$ est divisible par 8 avec une densité naturelle de 1.

Auteurs originaux : Eric H. Liu, Ernest X. W. Xia

Publié 2026-07-09

📖 5 min de lecture🧠 Analyse approfondie

CC BY 4.0

Auteurs originaux : Eric H. Liu, Ernest X. W. Xia

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 avez une boîte géante et infinie de blocs de construction. Ces blocs viennent en deux couleurs : Rouge et Bleu. Vous voulez construire des tours en utilisant ces blocs, mais vous devez suivre des règles très spécifiques.

Ce document traite de la résolution d'un casse-tête concernant le nombre de façons différentes dont vous pouvez construire ces tours pour un nombre spécifique de blocs, et si ce nombre est « impair » ou « pair ».

Voici la décomposition de l'histoire, des règles et de la solution, expliquée simplement :

1. Le Jeu : Les Tours Spéciales

Les auteurs étudient un type spécifique de tour appelé une « partition en deux couleurs de parties distinctes ».

Parties Distinctes : Vous ne pouvez pas utiliser deux fois le même bloc de taille identique dans une seule tour. Si vous utilisez un bloc de taille 5, vous ne pouvez pas utiliser un autre bloc de taille 5.
Deux Couleurs : Chaque taille de bloc peut être Rouge, Bleue, ou les deux (Rouge et Bleue).
La Règle Spéciale : Le plus petit bloc de votre tour est capricieux. Il doit être d'une seule couleur spécifique (disons, seulement Rouge). Cependant, chaque bloc plus grand que le plus petit peut être Rouge, Bleu, ou les deux.

Les auteurs comptent combien de tours valides différentes vous pouvez construire pour un nombre $n$ . Appelons ce compte $s_1(n)$ .

2. Le Mystère : Le Compagnon Impair

Les chercheurs (Andrews et El Bachraoui) avaient déjà découvert certains schémas concernant ces comptes de tours. Mais ils ont remarqué quelque chose de bizarre se produisant avec un objet mathématique lié, que nous pouvons considérer comme une « ombre » ou un « compagnon » du compte de la tour principale. Appelons cette ombre le Compagnon Impair ( $T_o$ ).

Ils ont fait une supposition (une conjecture) sur cette ombre :

« Si un certain nombre lié à la taille de notre tour possède un "ingrédient premier" spécifique qui apparaît un nombre impair de fois, alors le compte pour cette ombre sera toujours un nombre pair ».

En termes mathématiques, ils ont supposé que sous certaines conditions, la réponse est toujours divisible par 2.

3. La Solution : Prouver la Supposition

Eric Liu et Ernest Xia (les auteurs de ce document) sont intervenus pour prouver que cette supposition était correcte.

Le Travail de Détective : Ils ont utilisé une boîte à outils mathématiques impliquant les « séries q » (qui sont comme des recettes infinies pour les nombres) et les « fonctions thêta » (des formules spéciales qui comptent les solutions d'équations).
La Percée : Ils ont traduit le problème du comptage des tours en un problème d'ajustement de nombres dans une forme spécifique (comme faire entrer des pièces dans un puzzle de la forme $x^2 + 2y^2$ ).
Le Résultat : Ils ont prouvé que si la condition de l'« ingrédient premier » est remplie, le compte de l'ombre est effectivement toujours pair. Ils ont confirmé que la supposition était 100 % vraie.

4. Les Schémas Plus Profonds : Diviser par 8

Après avoir résolu le mystère « pair/impair », ils ont regardé plus loin. Ils se sont demandé : « Et si nous regardons le compte de la tour principale ( $s_1$ ) et voyons s'il est divisible par 8 ? »

Ils ont découvert toute une famille de règles (congruences).

L'Analogie : Imaginez que vous avez une machine qui prend un nombre, effectue un calcul, et recrache un compte de tours. Ils ont découvert que si vous alimentez la machine avec des types de nombres spécifiques (des nombres liés à des nombres premiers comme 5 ou 7), la machine recrache toujours un nombre qui est parfaitement divisible par 8.
Exemple : Si vous choisissez le nombre premier 5, ils ont prouvé que pour une immense liste de nombres (comme $25n + 8$ , $25n + 13$ , etc.), le nombre de tours est toujours un multiple de 8.

5. La Vue d'Ensemble : À quel point les Exceptions sont-elles Rares ?

Enfin, ils ont posé une question statistique : « À mesure que nous regardons des nombres de plus en plus grands, à quelle fréquence trouvons-nous un compte de tours qui n'est pas divisible par 8 ? »

La Découverte : Ils ont prouvé qu'à mesure que l'on tend vers l'infini, le nombre d'« exceptions » (comptes non divisibles par 8) devient si rare qu'ils disparaissent de fait.
La Métaphore : Imaginez une plage avec des grains de sable infinis. Si vous choisissez un grain au hasard, la probabilité qu'il soit un grain « spécial » (celui qui brise la règle) est nulle. Presque tous les nombres que vous choisirez résulteront en un compte de tours qui est parfaitement divisible par 8.

Résumé

En bref, ce document est un tour de célébration mathématique.

Confirmation d'une Supposition : Ils ont prouvé une règle spécifique sur le fait qu'un nombre lié est pair ou impair.
Découverte de Nouvelles Règles : Ils ont découvert que pour de nombreux nombres spécifiques, le compte principal est toujours divisible par 8.
Démonstration de la Rareté : Ils ont prouvé que les « exceptions » à cette règle de « divisibilité par 8 » sont si rares qu'elles n'ont pas d'importance dans le cadre de l'infini des nombres.

Le document ne parle pas de construire de vraies tours ou de l'utiliser pour l'ingénierie ; il s'agit purement de comprendre les schémas cachés et rythmiques dans la façon dont les nombres peuvent être décomposés et comptés.

Résumé Technique : Une preuve de la conjecture d'Andrews-El Bachraoui sur la parité des coefficients d'une série en $q$

Énoncé du Problème
Cet article traite d'une conjecture concernant la parité des coefficients d'une série en $q$ spécifique, $T_o(q)$ , introduite par Andrews et El Bachraoui. La série $T_o(q)$ est définie comme le « compagnon impair » de la fonction génératrice $S_1(q)$ d'une fonction de partition $s_1(n)$ . La fonction $s_1(n)$ compte le nombre de partitions à deux couleurs d'un entier $n$ en parties distinctes, sous la contrainte que la plus petite partie ne soit présente que dans une seule couleur prescrite, tandis que toutes les parties plus grandes peuvent apparaître dans l'une ou l'autre couleur, ou les deux.

Andrews et El Bachraoui ont précédemment établi une description complète de $s_1(n)$ modulo 4. Cependant, ils ont laissé ouverte la question de la parité (modulo 2) des coefficients $t_o(n)$ de la série $T_o(q)$ . Ils ont conjecturé que $t_o(n) \equiv 0 \pmod 2$ si l'entier $8n + 9$ possède un diviseur premier $p \equiv 5, 7 \pmod 8$ élevé à une puissance impaire (équivalemment, si $8n + 9$ ne peut pas être représenté par la forme quadratique $x^2 + 2y^2$ ).

Méthodologie
Les auteurs emploient une combinaison d'identités classiques de séries en $q$ , d'arithmétique modulaire et de la théorie des formes quadratiques pour résoudre la conjecture et dériver d'autres congruences.

Manipulation de Séries et Réduction Modulaire :
La preuve commence par l'utilisation du théorème des nombres pentagonaux d'Euler et d'identités établies par Andrews et El Bachraoui pour exprimer $2qT_o(q)$ en termes de produits infinis et de sommes. En travaillant modulo 2, les auteurs simplifient l'expression de $T_o(q)$ , en utilisant l'identité $(q; q)_\infty^2 \equiv (q^2; q^2)_\infty \pmod 2$ .
Lien avec les Formes Quadratiques :
Par manipulation algébrique, le coefficient $t_o(n)$ est relié au nombre de solutions entières d'équations diophantiennes spécifiques impliquant des formes quadratiques. Plus précisément, la parité de $t_o(n)$ dépend de la solvabilité d'équations de la forme $2(6k+1)^2 + (12m+1)^2 = 3(8n+9)$ et de variantes connexes.
Application de la Théorie de la Représentation :
Les auteurs invoquent un résultat classique concernant le nombre de représentations d'un entier par la forme quadratique $x^2 + 2y^2$ . Ce résultat stipule qu'un entier $N$ possède zéro représentation par $x^2 + 2y^2$ si et seulement si sa décomposition en facteurs premiers contient un nombre premier $q \equiv 5, 7 \pmod 8$ élevé à une puissance impaire. En analysant la décomposition en facteurs premiers de $3(8n+9)$ , les auteurs démontrent que la condition sur $8n+9$ implique la non-existence de solutions aux équations diophantiennes dérivées, imposant ainsi que $t_o(n)$ soit pair.
Extension au Modulo 8 et à la Densité :
Pour prouver la famille infinie de congruences modulo 8 pour $s_1(n)$ , les auteurs combinent l'expression de $S_1(q)$ avec l'expansion dérivée de $T_o(q)$ . Ils analysent le terme $u(n)$ , qui compte les représentations de $24n+3$ par des formes quadratiques spécifiques. En utilisant les propriétés du symbole de Legendre et la valuation des nombres premiers $p \equiv 5, 7 \pmod 8$ , ils montrent que pour des progressions arithmétiques spécifiques, les formes quadratiques pertinentes n'ont pas de solutions. Enfin, pour établir le résultat de densité, les auteurs appliquent un théorème de Landau concernant les séries de puissances « lacunaires » (séries ayant une densité nulle de coefficients non nuls), en arguant que les composantes de $s_1(n)$ sont lacunaires.

Contributions Clés et Résultats

Confirmation de la Conjecture 1.2 : Le résultat principal est la preuve de la conjecture d'Andrews et El Bachraoui. Les auteurs établissent que si $8n + 9$ n'est pas représentable par $x^2 + 2y^2$ (c'est-à-dire qu'il possède un diviseur premier $p \equiv 5, 7 \pmod 8$ avec une puissance impaire), alors $t_o(n) \equiv 0 \pmod 2$ .
Famille Infinie de Congruences Modulo 8 : L'article prouve le Théorème 1.4, qui fournit une famille infinie de congruences pour $s_1(n)$ . Pour tout nombre premier $p \equiv 5, 7 \pmod 8$ et entiers $n, k \ge 0$ tels que $p \nmid n$ , la relation suivante est vérifiée :
$s_1\left(p^{2k+1}n + \frac{p^{2k+2}-1}{8}\right) \equiv 0 \pmod 8.$
Les auteurs fournissent un exemple concret avec $p=5$ et $k=0$ , montrant que $s_1(25n + 8 + 5j) \equiv 0 \pmod 8$ pour $j \in \{0, 5, 10, 15\}$ .
Résultat de Densité Naturelle : L'article prouve le Théorème 1.5, démontrant que l'ensemble des entiers $n$ pour lesquels $s_1(n)$ n'est pas divisible par 8 a une densité naturelle de zéro. En d'autres termes, $s_1(n)/8$ prend des valeurs entières avec une densité naturelle de 1.

Signification
L'article confirme une conjecture spécifique concernant les propriétés arithmétiques d'une fonction de partition liée aux partitions distinctes à deux couleurs et aux compositions concaves. En résolvant la parité des coefficients de la série compagne impaire $T_o(q)$ , les auteurs offrent une compréhension plus profonde de la structure de $S_1(q)$ . De plus, l'établissement des congruences modulo 8 et du résultat de densité étend le comportement arithmétique connu de $s_1(n)$ au-delà des résultats précédemment connus modulo 4.

Les auteurs concluent en notant qu'une direction naturelle pour les recherches futures est d'étendre ces congruences à des puissances supérieures de 2 (moduli 16, 32, etc.) et de déterminer la densité arithmétique de l'ensemble des entiers où $s_1(n) \equiv 0 \pmod{2^k}$ pour un $k \ge 4$ fixé.