🔢 mathematics

A Family of Congruences Modulo 7 for Partitions with Monochromatic Even Parts and Multi--Colored Odd Parts

Cet article généralise une fonction de partition étudiée par Amdeberhan et Merca, qui dénombre les partitions avec des parties paires monochromatiques et des parties impaires tricolores, et établit une infinité de nouvelles congruences modulo 7 pour cette famille en utilisant des manipulations élémentaires de fonctions génératrices et des identités classiques de séries en $q$ .

Auteurs originaux : Michael D. Hirschhorn, James A. Sellers

Publié 2026-06-10

📖 5 min de lecture🧠 Analyse approfondie

CC BY 4.0

Auteurs originaux : Michael D. Hirschhorn, James A. Sellers

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 ayez un énorme tas de blocs de construction, et que votre travail consiste à construire des tours en utilisant ces blocs. Dans le monde des mathématiques, cela s'appelle la partition d'un nombre. Si vous avez le nombre 4, vous pouvez construire des tours qui totalisent 4 de cinq manières différentes : un bloc unique de 4, un 3 et un 1, deux 2, un 2 et deux 1, ou quatre 1.

Maintenant, imaginez que nous ajoutions un rebondissement à ce jeu. Nous avons deux types de blocs : des blocs pairs (2, 4, 6...) et des blocs impairs (1, 3, 5...).

Dans le puzzle spécifique étudié par ce document, les règles sont les suivantes :

Les blocs pairs sont ennuyeux. Ils n'ont qu'une seule couleur (disons qu'ils sont tous gris uni). Vous ne pouvez pas les distinguer, si ce n'est par leur taille.
Les blocs impairs sont élégants. Ils viennent en plusieurs couleurs. Dans le puzzle original étudié par d'autres mathématiciens, ils venaient en trois couleurs (Rouge, Bleu, Vert). Ainsi, un « 3 Rouge » est différent d'un « 3 Bleu ».

Les mathématiciens de ce document, Hirschhorn et Sellers, comptent combien de tours différentes vous pouvez construire pour une taille totale donnée ( $n$ ) selon ces règles. Ils appellent ce décompte $a(n)$ .

La grande découverte : la règle du « 7 Magique »

Il y a des années, d'autres chercheurs ont découvert un étrange motif. Ils ont remarqué que si vous construisez une tour avec une taille totale de 7, 16, 25, 34... (en gros, n'importe quel nombre qui laisse un reste de 2 quand on le divise par 7), le nombre de façons de construire cette tour est toujours divisible par 7.

Pensez-y de cette façon : si vous essayez de compter toutes les tours colorées possibles pour le nombre 16, vous pourriez obtenir un grand nombre, comme 1 400. Mais si vous comptez pour 23, vous pourriez obtenir 2 800. La règle dit : « Peu importe la taille du nombre, tant qu'il suit le modèle $7n + 2$ , le compte total sera toujours un multiple de 7. »

Ce que fait ce document

Les auteurs de ce document ne se sont pas contentés d'accepter cette règle. Ils se sont demandé : « Et si nous changions les règles ? »

Ils ont créé une famille de jeux. Dans ce nouveau jeu, les blocs impairs peuvent venir en $k$ couleurs au lieu de trois.

Si $k=1$ , c'est le jeu standard (pas de couleurs).
Si $k=3$ , c'est le jeu original (3 couleurs).
Si $k=4, 5, 7$ , etc., les blocs impairs ont encore plus d'options de couleurs.

Les auteurs ont prouvé que pour chacune de ces différentes versions du jeu, il existe une règle spécifique du « 7 Magique ».

Pour le jeu avec 1 couleur (standard), le compte est divisible par 7 si le total est $7n + 5$ .
Pour le jeu avec 3 couleurs (l'original), le compte est divisible par 7 si le total est $7n + 2$ .
Pour le jeu avec 4 couleurs, le compte est divisible par 7 si le total est $7n + 4$ .
Et ainsi de suite pour 5 et 7 couleurs.

Comment ils l'ont prouvé (L'analogie de la « Cuisine »)

La preuve précédente pour le jeu original à 3 couleurs a été réalisée à l'aide d'un programme informatique puissant et automatisé (comme un robot de cuisine de haute technologie capable de mélanger des ingrédients d'une manière que les humains ne peuvent pas facilement voir). Bien que le résultat soit correct, les auteurs ont estimé que cette méthode ressemblait un peu à une « boîte noire ».

Dans ce document, ils voulaient montrer la « recette » étape par étape en utilisant des mathématiques élémentaires. Ils ont utilisé des outils appelés fonctions génératrices, qui sont comme des recettes algébriques énumérant chaque tour possible que vous pouvez construire.

Ils ont utilisé plusieurs « astuces » mathématiques classiques (des identités découvertes par des mathématiciens célèbres comme Jacobi et Ramanujan) pour simplifier ces recettes. Ils ont montré que lorsque l'on mélange les ingrédients de ces comptes de tours spécifiques et que l'on regarde le résultat modulo 7 (ce qui revient à vérifier le reste de la division par 7), certains termes s'annulent simplement ou disparaissent.

Parce que ces termes spécifiques disparaissent, les nombres restants sont toujours parfaitement divisibles par 7. C'est comme cuisiner un gâteau où, peu importe la quantité de farine que vous ajoutez, le sucre finit toujours par être un multiple parfait de 7 tasses.

La vision globale

Les auteurs ne se sont pas arrêtés aux premiers exemples. Ils ont montré que ce motif se poursuit indéfiniment. Si vous continuez à ajouter des couleurs aux blocs impairs (100 couleurs, 1 000 couleurs), il existe toujours une règle spécifique du « 7 Magique » qui s'applique à cette version du jeu.

Ils ont également brièvement mentionné que si l'on inverse les règles (en rendant les blocs pairs colorés et les blocs impairs unis), c'est un puzzle différent étudié par d'autres personnes, mais ce document se concentre strictement sur la version « Pairs Monochromatiques, Impairs Multicolores ».

En bref : Ce document prend un truc mathématique fascinant sur le comptage de tours de nombres colorées, le prouve en utilisant des mathématiques classiques et simples plutôt qu'un ordinateur, et montre que ce truc fonctionne pour un nombre infini de variations du jeu.

Résumé Technique : Une famille de congruences modulo 7 pour les partitions avec des parties paires monochromatiques et des parties impaires multicolores

Énoncé du Problème
L'article traite des propriétés arithmétiques d'une famille spécifique de fonctions de partitions d'entiers, notée $a_k(n)$ . Ces fonctions comptent le nombre de partitions d'un entier $n$ où les parties paires sont monochromatiques (apparaissant dans une seule couleur) et les parties impaires sont « colorées » avec l'une des $k$ couleurs disponibles. Cela généralise les travaux d'Amdeberhan et Merca, qui ont étudié le cas spécifique $a_3(n)$ (où les parties impaires ont trois couleurs) et ont prouvé la congruence $a_3(7n+2) \equiv 0 \pmod 7$ . Alors qu'Amdeberhan et Merca ont établi ce résultat en utilisant le package de calcul algébrique RaduRK, les auteurs de cet article cherchent à fournir une preuve purement élémentaire et à étendre ces résultats à une famille infinie de fonctions apparentées.

Méthodologie
Les auteurs emploient des manipulations élémentaires de fonctions génératrices et des identités classiques de séries en $q$ . Le cœur de leur méthodologie repose sur l'analyse des fonctions génératrices de $a_k(n)$ modulo 7.

Formulation de la Fonction Génératrice : La fonction génératrice de la famille est établie comme étant :
$\sum_{n=0}^{\infty} a_k(n)q^n = \frac{f_2^{k-1}}{f_1^k}$
où $f_k := (q^k; q^k)_\infty$ est la notation abrégée standard du symbole $q$ -Pochhammer.
Outils de Réduction Modulaire : Les preuves utilisent des lemmes dérivés de résultats classiques (principalement du travail précédent du premier auteur [10] et des identités de Jacobi) :
- Lemme 2.1 (Jacobi) : Fournit une congruence pour $f_1^3$ modulo 7, montrant qu'elle se réduit à une somme de termes impliquant des puissances de $q^7, q^8,$ et $q^{10}$ (spécifiquement $J_0(q^7) + qJ_1(q^7) + q^3J_3(q^7)$ ).
- Lemme 2.3 : Établit des congruences pour des ratios de termes $f$ (tels que $f_1^5/f_2^2$ et $f_1^2 f_4^2/f_2$ ) modulo 7, démontrant qu'ils se réduisent à des séries contenant uniquement des puissances de $q$ congruentes à $0, 1,$ ou $5 \pmod 7$ .
- Lemme 2.4 : Utilise la propriété du théorème binomial $f_a^{bp} \equiv f_{ap}^b \pmod p$ pour un nombre premier $p$ .
Stratégie de Preuve : Pour chaque cas spécifique du théorème principal, les auteurs injectent la fonction génératrice dans le cadre modulaire. En remplaçant $q$ par $q^2$ ou $q^7$ si nécessaire et en appliquant les lemmes, ils démontrent que l'expansion de la série résultante ne possède pas de termes avec des exposants congruents à des résidus spécifiques modulo 7.

Contributions Clés et Résultats
La contribution principale est la preuve du Théorème 1.3, qui établit une infinité de congruences modulo 7 pour la famille $a_k(n)$ . Spécifiquement, pour tout $n \ge 0$ :

$a_1(7n + 5) \equiv 0 \pmod 7$ (un énoncé de la congruence de Ramanujan pour $p(n)$ ).
$a_3(7n + 2) \equiv 0 \pmod 7$ (une re-preuve élémentaire du résultat d'Amdeberhan-Merca).
$a_4(7n + 4) \equiv 0 \pmod 7$ .
$a_5(7n + 6) \equiv 0 \pmod 7$ .
$a_7(7n + 3) \equiv 0 \pmod 7$ .

De plus, les auteurs généralisent ces résultats dans le Corollaire 4.1, montrant que pour tout entier $j \ge 0$ , les congruences sont valables pour les sous-familles $a_{7j+k}(n)$ avec les mêmes conditions de résidus sur $n$ . Cela démontre que la divisibilité par 7 persiste même lorsque le nombre de couleurs sur les parties impaires augmente sans limite.

Signification et Revendications
L'article revendique sa signification principalement dans le domaine de la méthodologie de preuve et de l'extension de résultats connus :

Preuve Élémentaire : Les auteurs déclarent explicitement qu'un objectif primaire est de fournir une « preuve véritablement élémentaire » de la congruence d'Amdeberhan-Merca ( $a_3(7n+2) \equiv 0 \pmod 7$ ), évitant ainsi le recours aux systèmes de calcul algébrique comme RaduRK.
Unification : Ce travail place la fonction spécifique $a(n)$ au sein d'une famille plus large de fonctions de partitions, révélant une structure unifiée de congruences modulo 7.
Persistance de la Divisibilité : Les auteurs soulignent qu'il n'est pas immédiatement évident, à partir de la définition combinatoire, que de telles propriétés de divisibilité fortes persisteraient à mesure que le nombre de couleurs ( $k$ ) augmente. L'article démontre que ces congruences sont robustes à travers l'ensemble de la famille infinie.

L'article conclut en notant que, bien que l'extension à une famille infinie (Corollaire 4.1) soit prouvée avec une relative facilité, l'existence de ces congruences pour des $k$ arbitrairement grands est une propriété arithmétique non triviale de ces partitions colorées. Les auteurs mentionnent également brièvement le problème connexe consistant à inverser les rôles des parties paires et impaires (parties impaires monochromatiques, parties paires multicolores), citant des travaux récents de chercheurs dans cette direction spécifique.

La grande découverte : la règle du « 7 Magique »

Ce que fait ce document

Comment ils l'ont prouvé (L'analogie de la « Cuisine »)

La vision globale

Articles similaires