🔢 mathematics

Congruences via Partitions with Exactly Two Part Sizes

Cet article établit une congruence modulo 4 pour une somme impliquant la fonction diviseur $\sigma_0$ en exploitant le résultat de Keith sur la parité des partitions comportant exactement deux tailles de parties, reliant ainsi la théorie combinatoire des partitions à l'arithmétique modulaire.

Auteurs originaux : Sittinon Jirattikansakul, Teeradej Kittipassorn, Kraiwich Kongsiri, Nitipon Moonwichit, Kirati Sriamorn

Publié 2026-04-29

📖 5 min de lecture🧠 Analyse approfondie

CC BY 4.0

Auteurs originaux : Sittinon Jirattikansakul, Teeradej Kittipassorn, Kraiwich Kongsiri, Nitipon Moonwichit, Kirati Sriamorn

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 un énorme tas de briques Lego. Votre objectif est de construire des tours avec ces briques, mais avec une règle très spécifique : vous ne pouvez utiliser que deux tailles différentes de briques Lego dans une seule tour. Peut-être utilisez-vous quelques grosses briques de 4 blocs et quelques petites briques de 1 bloc, mais vous ne pouvez pas mélanger une brique moyenne de 2 blocs.

Les mathématiciens appellent ces tours des « partitions ». Le document que vous consultez traite du dénombrement du nombre de façons différentes de construire ces tours « deux-tailles » pour un nombre spécifique de briques, appelons ce nombre N.

Voici l'histoire de ce que les auteurs ont découvert, décomposée en étapes simples :

1. Le mystère des tours « deux-tailles »

Les auteurs s'intéressent à un nombre spécial, appelons-le $\nu_2(N)$ . Ce nombre compte exactement combien de façons vous pouvez construire une tour avec $N$ briques en utilisant uniquement deux tailles distinctes.

Pendant longtemps, les mathématiciens connaissaient une formule compliquée pour calculer cela. Mais récemment, un mathématicien nommé Keith a découvert quelque chose d'étrange : pour certains nombres spéciaux $N$ (spécifiquement des nombres qui suivent des motifs comme $16n+14$ ou $36n+30$ ), le nombre de ces tours est toujours un multiple de 4. C'est comme dire : « Peu importe comment vous construisez ces tours, vous pouvez toujours les regrouper en ensembles parfaits de quatre. »

2. L'astuce du « collage »

Les auteurs de ce document voulaient comprendre pourquoi cela se produit. Ils ont imaginé une astuce visuelle ingénieuse utilisant des diagrammes de Young.

Imaginez un diagramme de Young comme une forme faite de carrés (comme une pièce de Tetris).

Si vous avez une tour avec une seule taille de brique, la forme est un rectangle parfait.
Si vous avez une tour avec deux tailles de briques, la forme ressemble à un L.

Les auteurs ont réalisé que chaque tour en forme de « L » (deux tailles) peut être considérée comme deux rectangles collés ensemble verticalement. Un rectangle est posé sur l'autre.

Ils ont créé un immense « multi-ensemble » (un sac) de toutes les façons possibles de coller deux rectangles ensemble pour obtenir le nombre $N$ . Ils ont ensuite trié ces formes collées dans quatre seaux différents :

Seau B : Des formes qui sont définitivement des formes « L » (les tours deux-tailles qui nous intéressent).
Seau C : Des formes où l'un des rectangles est un carré parfait.
Seau D : Des formes qui sont en réalité un seul grand rectangle (tours une-taille).
Seau E : Des formes où les deux rectangles sont des images miroir l'un de l'autre.

3. Le grand équilibre

La magie du document est la suivante : lorsque vous regardez le nombre total d'objets dans ce grand sac, les mathématiques font en sorte que le total soit toujours divisible par 4.

Comme le total est divisible par 4, et que les auteurs ont pu prouver que les objets dans les seaux C, D et E suivent également des règles spécifiques (étant souvent divisibles par 4 ou ayant une relation connue avec le nombre de diviseurs), ils ont pu déduire quelque chose concernant le seau B.

Ils ont découvert que pour leurs nombres spéciaux $N$ , le nombre de formes « L » (seau B) plus une somme spécifique impliquant les diviseurs de $N$ doit être égal à un multiple de 4.

4. La découverte principale

Le document prouve une nouvelle règle, plus simple. Ils ont montré que pour ces nombres spéciaux $N$ (comme $16n+14$ ), si vous prenez une somme spécifique :

Additionnez le nombre de diviseurs pour chaque nombre obtenu en soustrayant un nombre carré de N.

...le résultat est toujours divisible par 4.

En termes simples :
Si vous choisissez un nombre $N$ dans leur liste spéciale, et que vous soustrayez $1^2$ , $2^2$ , $3^2$ , etc., de celui-ci, et que vous comptez combien de facteurs (diviseurs) les nombres restants possèdent, le nombre total de tous ces facteurs sera toujours un multiple de 4.

5. Pourquoi cela compte-t-il ? (Selon le document)

Le document ne prétend pas que cela guérira des maladies ou construira de meilleurs ponts. Au contraire, c'est une pièce d'un plus grand puzzle en théorie des nombres.

Il relie le monde des partitions (construire des tours) aux diviseurs (compter les facteurs).
Il confirme un motif découvert plus tôt par Keith, mais l'explique en utilisant une nouvelle méthode de « collage ».
Il mène à deux « corollaires » plus petits (conclusions secondaires) qui nous disent exactement combien de nombres impairs s'insèrent dans ces motifs.

6. Le « Et si ? » (Conjectures)

À la fin, les auteurs disent : « Nous pensons que cela pourrait fonctionner pour encore plus de nombres que nous avons prouvés. »
Ils ont effectué des tests informatiques et remarqué un motif : si vous choisissez des nombres comme $8n + 6$ , la règle semble vraie, mais ils n'ont pas encore pu le prouver complètement. Ils supposent également que pour que cette règle fonctionne, la « taille de l'étape » du motif numérique (le $A$ dans $An+B$) doit être divisible par 4, et le nombre de départ ( $B$ ) doit être pair mais non divisible par 4.

Analogie résumée :
Imaginez que vous avez une machine qui trie les tours Lego. Les auteurs ont prouvé que pour un ensemble spécifique d'entrées, la machine produit toujours un nombre de tours en forme de « L » qui est un multiple de 4. Ils ont fait cela en montrant que les formes « L » ne sont qu'une partie d'un système plus vaste et équilibré de formes qui s'annule naturellement par groupes de quatre. Cela nous offre une nouvelle façon plus simple de calculer une somme complexe impliquant des diviseurs.

1. Énoncé du problème

L'article examine une relation de congruence spécifique impliquant la fonction diviseur $\sigma_0(m)$ (le nombre de diviseurs positifs de $m$ ) et les partitions d'entiers. Plus précisément, les auteurs visent à prouver que pour les entiers $N$ appartenant à certaines progressions arithmétiques, la somme suivante est congrue à 0 modulo 4 :
$\sum_{1 \le k < \sqrt{N}} \sigma_0(N - k^2) \equiv 0 \pmod 4$
Cette somme compte le nombre de représentations de $N$ comme la somme d'un carré et d'un produit (lié aux travaux de Hooley), mais les auteurs l'abordent à travers le prisme des partitions d'entiers avec exactement deux tailles de parties.

L'étude se concentre sur $N = An + B $où$ (A, B)$ appartient à l'ensemble :
$\{(16, 14), (36, 30), (72, 42), (196, 70), (252, 114)\}$

2. Méthodologie

Les auteurs emploient une méthodologie hybride combinant la théorie combinatoire des partitions et l'arithmétique modulaire.

A. Cadre combinatoire (Diagrammes de Young et rectangles)

Définition de la partition : Soit $\nu_2(N)$ le nombre de partitions de $N$ ayant exactement deux tailles de parties distinctes.
Interprétation géométrique : Les auteurs interprètent les partitions avec exactement deux tailles de parties comme des diagrammes de Young en forme de L. Ces diagrammes peuvent être décomposés de manière unique en une paire de rectangles collés verticalement (la base plus large en haut).
Paires canoniques : Ils définissent une « paire canonique » de rectangles $\{X, Y\}$ pour un $N$ donné telle que le nombre total de cellules soit $N$ .
Construction de multiset : Ils construisent un multiset $A$ $A$ contenant tous les collages possibles de rectangles et de leurs transposés ( $X \star Y$ $X ⋆ Y$ ). Ce multiset est partitionné en quatre sous-ensembles ( $B, C, D, E$ $B, C, D, E$ ) basés sur des propriétés géométriques :
- $B$ : Diagrammes correspondant aux partitions avec exactement deux tailles de parties ( $\nu_2(N)$ ).
- $C$ : Diagrammes où au moins un rectangle est un carré (lié à $\sum \sigma_0(N-k^2)$ ).
- $D$ : Diagrammes correspondant aux partitions avec exactement une taille de partie (formes rectangulaires).
- $E$ : Diagrammes où les deux rectangles sont transposés l'un de l'autre ( $X = Y^T$ ).

B. Analyse algébrique et théorique des nombres

Théorème auxiliaire (Théorème 4) : Les auteurs prouvent d'abord une congruence générale pour $N$ qui ne peut pas être écrit comme somme de deux carrés et qui est de la forme $N=2m$ (où $m$ est impair) :
$\nu_2(N) + \sum_{1 \le k < \sqrt{N}} \sigma_0(N - k^2) + \frac{1}{2}\sigma_1(N) \equiv 0 \pmod 4$
Ici, $\sigma_1(N)$ est la somme des diviseurs de $N$ .
Arithmétique modulaire : Pour prouver le théorème principal, ils s'appuient sur un résultat de Keith indiquant que pour les progressions arithmétiques spécifiques listées, $\nu_2(N) \equiv 0 \pmod 4$ .
Analyse de la somme des diviseurs : La preuve se réduit à montrer que $\frac{1}{2}\sigma_1(N) \equiv 0 \pmod 4$ (c'est-à-dire que $\sigma_1(N)$ est divisible par 8) pour les cas spécifiques de $N$ . Cela est réalisé en analysant la factorisation première de $N$ modulo 8 et 7, démontrant que la somme des diviseurs contient des facteurs qui imposent la divisibilité par 8.

3. Contributions clés

Nouvelle preuve de congruence : L'article fournit une preuve rigoureuse de la congruence $\sum \sigma_0(N-k^2) \equiv 0 \pmod 4$ pour cinq progressions arithmétiques spécifiques, un résultat précédemment non prouvé sous cette forme précise.
Pont combinatoire-théorie des nombres : Les auteurs établissent un lien novateur entre le nombre de partitions avec deux tailles de parties ( $\nu_2(N)$ ) et la somme des fonctions diviseurs sur les différences quadratiques. Cela est réalisé par la décomposition géométrique des diagrammes de Young en paires de rectangles.
Raffinement des travaux de Keith : Bien que Keith ait précédemment prouvé $\nu_2(N) \equiv 0 \pmod 4$ pour ces suites, cet article étend l'analyse pour déduire la congruence spécifique pour la somme impliquant $\sigma_0(N-k^2)$ .
Déduction de corollaires :
- Corollaire 2 : Prouve que pour $N \equiv 14 \pmod{16}$ ou $N \equiv 70 \pmod{196}$ , le nombre d'entiers impairs $k$ tels que $k^2 < N$ et $\sigma_0(N-k^2) \equiv 2 \pmod 4$ est toujours pair.
- Corollaire 3 : Prouve que pour $N \equiv B \pmod A$ (pour les paires restantes), la somme excluant les multiples de 3 est également $0 \pmod 4$ .

4. Résultats principaux

Théorème 1 : Pour $N = An + B$ avec $(A, B) \in \{(16, 14), (36, 30), (72, 42), (196, 70), (252, 114)\}$ , la congruence $\sum_{1 \le k < \sqrt{N}} \sigma_0(N - k^2) \equiv 0 \pmod 4$ est vérifiée.
Théorème 4 : Établit l'identité fondamentale reliant $\nu_2(N)$ , la somme des diviseurs et $\sigma_1(N)$ modulo 4 pour les entiers non sommes de deux carrés de la forme $2m$ .
Conjectures :
- Conjecture 7 : La congruence vaut probablement pour la classe plus large $N = 16n + 6$ .
- Conjecture 8 : Si la congruence vaut pour tous les $n$ dans $N=An+B$, alors $A \equiv 0 \pmod 4$ et $B \equiv 2 \pmod 4$ .

5. Importance

Profondeur théorique : L'article fait progresser la compréhension des fonctions de partition avec des tailles de parties restreintes, un sujet enraciné dans les travaux d'Euler, MacMahon et Andrews.
Innovation méthodologique : En utilisant les diagrammes de Young et les opérations de collage de rectangles pour compter les partitions, les auteurs offrent une perspective combinatoire fraîche sur les sommes classiques de la théorie des nombres.
Perspective computationnelle : Les auteurs ont réalisé des expériences computationnelles jusqu'à $N < 100\,000$ , suggérant que les propriétés structurelles de la congruence (spécifiquement concernant $N \equiv 6 \pmod 8$ ) sont plus générales que les cas prouvés, motivant ainsi des recherches futures sur les conditions nécessaires et suffisantes pour que la congruence soit vérifiée.
Lien interdisciplinaire : Ce travail connecte la géométrie des partitions (diagrammes de Ferrers/Young) avec la théorie analytique des nombres (sommes de diviseurs et formes quadratiques), offrant un modèle pour des investigations similaires.