🔢 mathematics

Arithmetic properties of DSOME function

Cet article dérive une fonction génératrice sous forme fermée pour la fonction $DSOME(n)$ , permettant la découverte de nouvelles congruences internes modulo 4 et 8 qui étendent les récents travaux d'Andrews et Ghosh Dastidar.

Auteurs originaux : Nayandeep Deka Baruah, Pankaj Gogoi

Publié 2026-07-03

📖 5 min de lecture🧠 Analyse approfondie

CC BY 4.0

Auteurs originaux : Nayandeep Deka Baruah, Pankaj Gogoi

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 sac géant de blocs numérotés. Votre travail consiste à construire des tours en utilisant ces blocs, mais il y a une règle : les blocs de chaque tour doivent totaliser un nombre spécifique, par exemple 5. Vous pouvez construire une tour avec un seul bloc de 5, ou cinq blocs de 1, ou un 3 et un 2, et ainsi de suite. En mathématiques, ces tours sont appelées partitions.

Pendant longtemps, les mathématiciens ont été fascinés par le comptage du nombre de différentes tours que l'on peut construire pour n'importe quel nombre. Mais récemment, deux chercheurs (Andrews et Ghosh Dastidar) ont décidé d'examiner ces tours d'une manière nouvelle. Au lieu de simplement les compter, ils ont commencé à les peser.

Le jeu de la « pesée » : SOME et DSOME

Ils ont créé deux « balances » spéciales pour peser ces tours :

SOME(n) : Imaginez que chaque bloc de nombre impair (1, 3, 5...) soit fait d'or lourd, et que chaque bloc de nombre pair (2, 4, 6...) soit fait de plastique léger. Cette fonction additionne le poids de tous les blocs d'or et soustrait le poids de tous les blocs de plastique pour chaque tour possible de taille n.
DSOME(n) : C'est le même jeu, mais avec une nuance. Vous ne pouvez construire des tours que si aucun des deux blocs n'a la même taille. Vous ne pouvez pas avoir deux 2, ou deux 3. C'est comme construire une tour où chaque étape doit avoir une taille unique. Ensuite, vous effectuez la même pesée d'or moins plastique.

L'article se concentre sur cette deuxième version, plus stricte : DSOME(n).

La grande découverte : Une recette secrète

Les auteurs de cet article, Nayandeep Deka Baruah et Pankaj Gogoi, voulaient comprendre les motifs cachés de ces poids. Ils savaient qu'une recette compliquée et désordonnée (une formule) existait pour calculer DSOME(n), mais elle était difficile à utiliser pour trouver des motifs.

Leur premier exploit majeur a été de trouver une « forme fermée ». Pensez à prendre une recette de cuisine complexe à 10 étapes avec des ingrédients obscurs et à la simplifier en une seule équation élégante. Ils ont trouvé une formule compacte et soignée qui génère tous les nombres DSOME à la fois.

Trouver les rythmes cachés (congruences)

Une fois qu'ils ont eu cette formule bien nette, ils ont commencé à chercher des « rythmes » ou des motifs répétitifs dans les nombres. En mathématiques, trouver un rythme signifie souvent découvrir que certains nombres donnent toujours un reste de zéro lorsqu'ils sont divisés par un nombre spécifique (comme 4 ou 8).

Voici ce qu'ils ont trouvé, expliqué simplement :

La règle du « tous les 4 » : Ils ont prouvé que si vous regardez les nombres DSOME à certains intervalles (comme tous les 4 nombres dans une séquence spécifique), le résultat est toujours parfaitement divisible par 4. C'est comme un battement de tambour qui retombe toujours sur le temps fort.
La règle du « tous les 25 » : Ils ont découvert que si vous regardez les nombres qui sont 1 de plus qu'un multiple de 25 (comme 26, 51, 76...), le résultat est toujours divisible par 4.
La règle « profonde » (Modulo 8) : Ils sont allés encore plus loin. Ils ont découvert que pour des nombres très spécifiques et de grande taille (comme ceux se terminant par 26 lorsqu'ils sont divisés par 125), le résultat est divisible par 8.
La connexion de l'« arbre généalogique » : La découverte la plus intéressante est peut-être une relation entre différentes générations de ces nombres. Ils ont montré que la valeur d'un nombre énorme (comme 15 625) est mathématiquement liée aux valeurs de nombres beaucoup plus petits (comme 25 ou 625) dans une équation spécifique. C'est comme dire que le poids d'un chêne géant est exactement déterminé par les poids de ses glands et de ses jeunes plants selon une formule précise.

La boule de cristal (conjectures)

À la fin de l'article, les auteurs examinent leurs données et font une supposition éduquée (une conjecture). Ils soupçonnent qu'il existe encore plus de rythmes cachés qu'ils n'ont pas encore prouvés. Ils supposent que si vous regardez les nombres se terminant par 21 (lorsqu'ils sont divisés par 50), le résultat est divisible par 8, et si vous regardez les nombres se terminant par 71 (lorsqu'ils sont divisés par 100), le résultat est divisible par 16.

Résumé

En bref, cet article prend un casse-tête mathématique compliqué sur la pesée de tours de nombres uniques, trouve un moyen plus simple de calculer les poids, et utilise cette simplicité pour révéler des motifs cachés et répétitifs dans les nombres. Ils n'ont pas seulement trouvé un motif ; ils ont trouvé toute une famille de règles qui dictent le comportement de ces nombres. Ils ont également fait une supposition sur d'autres règles qui attendent d'être découvertes.

Résumé technique : Propriétés arithmétiques de la fonction DSOME

Énoncé du problème
Cet article étudie les propriétés arithmétiques de la fonction $DSOME(n)$, récemment introduite par Andrews et Ghosh Dastidar. La fonction est définie comme la somme de toutes les parties impaires dans les partitions d'un entier positif $n$ en parties distinctes, moins la somme de toutes les parties paires dans ces mêmes partitions. Alors qu'Andrews et Ghosh Dastidar ont établi des fonctions génératrices pour $DSOME(n)$ et prouvé plusieurs congruences modulo 4 et 5, les auteurs de cet article visent à dériver une expression en forme fermée de la fonction génératrice de $DSOME(n)$. Cette forme fermée sert de fondement à la découverte de nouvelles congruences et de relations de congruence internes modulo 4 et 8.

Méthodologie
Les auteurs emploient la théorie des séries $q$ et des identités de partition. La méthodologie centrale comprend :

Dérivation d'une forme fermée : Les auteurs transforment la fonction génératrice de $DSOME(n)$, initialement exprimée sous la forme d'une série infinie impliquant des produits $q$ , en une forme fermée impliquant les produits $q$ standards $f_n = (q^n; q^n)_\infty$ .
Techniques de dissection : Pour extraire les coefficients correspondant à des progressions arithmétiques spécifiques (par exemple, $5n+r$ ), les auteurs utilisent des 5-dissections et des 2-dissections des fonctions $f_1$ , $1/f_1$ et des fonctions de Rogers-Ramanujan $G(q)$ et $H(q)$ .
Manipulation algébrique : Les preuves reposent largement sur des identités impliquant la fraction continue de Rogers-Ramanujan $R(q)$ et sa fonction associée $T(q) = G(q)/H(q)$ . Plus précisément, les auteurs utilisent un ensemble de relations algébriques (Lemme 2.1) reliant $T(q)$ et $T(q^2)$ pour simplifier des expressions complexes.
Arithmétique modulaire : Les auteurs appliquent des congruences modulo 2, 4 et 8 aux séries résultantes. Ils utilisent fréquemment la propriété que $f_k^{2\ell} \equiv f_{2k}^{2\ell-1} \pmod{2^\ell}$ pour réduire les termes et isoler les coefficients.

Contributions clés et résultats

Fonction génératrice en forme fermée (Théorème 1.1) :
La principale contribution théorique est l'expression de la fonction génératrice de $DSOME(n)$ sous une forme fermée :
$\sum_{n=0}^{\infty} DSOME(n)q^n = \frac{1}{8} \left( \frac{f_2}{f_1} - \frac{f_1^7}{f_2^3} \right)$
Cette expression permet une manipulation plus directe que la représentation originale en série.
Nouvelles congruences modulo 4 (Théorème 1.2) :
En utilisant la forme fermée et les techniques de 5-dissection, les auteurs prouvent que pour tout $n \ge 0$ et $1 \le r \le 4$ :
$DSOME(25n + 5r + 1) \equiv 0 \pmod 4$
Ceci étend les résultats précédents en identifiant une famille plus large de coefficients nuls.
Nouvelles congruences modulo 8 (Théorème 1.3) :
Les auteurs établissent une congruence plus forte modulo 8. Pour tout $n \ge 0$ et $1 \le r \le 4$ :
$DSOME(625n + 125r + 26) \equiv 0 \pmod 8$
Ce résultat démontre une structure arithmétique plus profonde au sein de la fonction.
Congruences internes (Théorème 1.4) :
L'article dérive des relations récursives (congruences internes) liant les valeurs de $DSOME(n)$ à différentes échelles. Spécifiquement, il prouve des relations reliant $DSOME(15625n + 651)$ à des combinaisons linéaires de $DSOME(25n+1)$, $DSOME(625n+26)$ et $DSOME(n)$ modulo 8.

Signification et affirmations
Les auteurs affirment que l'expression en forme fermée de la fonction génératrice est le levier clé de ces nouvelles découvertes. En exprimant la fonction en termes de $f_1$ et $f_2$ , ils ont pu appliquer des méthodes de dissection standard pour découvrir des congruences qui n'étaient pas apparentes à partir de la définition originale en série.

L'article conclut modestement que bien que ces nouvelles congruences modulo 4 et 8 soient significatives, « bien plus de congruences restent à découvrir ». Sur la base de calculs numériques, les auteurs proposent deux conjectures pour des investigations futures :

$DSOME(50n + 21) \equiv 0 \pmod 8$
$DSOME(100n + 71) \equiv 0 \pmod{16}$

Ce travail se positionne comme une continuation de l'étude initiée par Andrews et Ghosh Dastidar, fournissant un cadre algébrique plus robuste pour analyser les propriétés arithmétiques des fonctions de partition impliquant des parties distinctes.