🔢 mathematics

Recurrence and congruences for the smallest parts function

Cet article établit des formules de récurrence généralisées de type Euler pour la fonction des plus petites parties $\spt(n)$ en termes de traces de Hecke, en déduisant une expression fermée modulo $\ell$ et un résultat d'incongruence.

Auteurs originaux : Wei Wang

Publié 2026-04-16

📖 4 min de lecture🧠 Analyse approfondie

CC0 1.0

Auteurs originaux : Wei Wang

Article original placé dans le domaine public sous CC0 1.0 (http://creativecommons.org/publicdomain/zero/1.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 les nombres entiers (1, 2, 3, 4...) sont comme des Lego. Vous pouvez les assembler de mille et une façons différentes pour former des tours, des ponts ou des châteaux. En mathématiques, on appelle cela des partitions. Par exemple, le nombre 5 peut être construit de sept façons différentes (5, 4+1, 3+2, etc.).

Le chercheur Wei Wang, dans cet article, s'intéresse à une règle très spécifique de ces constructions : il veut compter le nombre de fois où l'on utilise le plus petit morceau (le plus petit Lego) dans chaque construction possible. C'est ce qu'il appelle la fonction spt(n).

Voici une explication simple de ce que ce papier raconte, avec quelques images pour aider à visualiser :

1. Le problème : Trouver une recette de cuisine

Jusqu'à présent, les mathématiciens avaient une "recette" (une formule) pour calculer le nombre total de partitions d'un nombre (la fonction $p(n)$ ), grâce à un génie nommé Euler. Cette recette ressemble à une équation magique où l'on ajoute et soustrait des termes pour trouver le résultat.

Mais pour la fonction spt (le comptage des plus petits morceaux), c'était beaucoup plus difficile. C'était comme si Euler nous avait donné la recette pour faire un gâteau, mais personne n'arrivait à trouver la recette pour compter exactement combien de fraises il y a dans chaque gâteau, car les fraises se cachent différemment selon la forme du gâteau.

2. La solution : Une loupe magique (Les formes modulaires)

L'auteur utilise des outils mathématiques très puissants et abstraits appelés formes modulaires et formes de Maass.

L'analogie : Imaginez que les nombres et leurs partitions sont comme des ondes sonores ou des vagues. Parfois, ces vagues sont "bruitées" ou "floues" (c'est ce qu'on appelle les formes de Maass harmoniques). Elles ne sont pas parfaites, elles ont des parties qui ne sont pas "lisses".
Pour comprendre le message caché dans ce bruit, l'auteur utilise une technique appelée projection holomorphe. C'est comme si vous preniez une photo floue d'un objet et que vous utilisiez un logiciel pour supprimer le flou et ne garder que l'image nette. Cela permet de transformer un problème compliqué et "flou" en un problème propre et mathématique.

3. Le résultat principal : Une nouvelle équation de récurrence

Grâce à cette "loupe magique", l'auteur découvre une nouvelle règle (une récurrence) pour calculer spt(n).

Ce que ça veut dire : Au lieu de devoir construire tous les gâteaux un par un pour compter les fraises, on peut maintenant utiliser une formule qui relie le nombre de fraises d'un gâteau à celui des gâteaux plus petits.
Cette formule fait intervenir des objets mathématiques très sophistiqués appelés traces de Hecke. Imaginez cela comme un "code secret" ou une empreinte digitale que les nombres laissent sur ces formes mathématiques complexes. L'auteur montre comment décoder cette empreinte pour obtenir le nombre de plus petits morceaux.

4. Les surprises : Les congruences (Les règles de divisibilité)

L'article révèle aussi des règles étranges et fascinantes sur la façon dont ces nombres se comportent lorsqu'on les divise par certains nombres premiers (comme 5, 7, 13).

L'analogie : C'est comme si vous découvriez que, peu importe la taille de votre gâteau, si vous le divisez en 5 parts, il y a toujours un nombre de fraises qui est un multiple de 5. C'est une régularité surprenante dans le chaos apparent des partitions.
L'auteur prouve que ces règles existent pour le spt (les plus petits morceaux) exactement comme elles existent pour le nombre total de partitions (découvertes par le légendaire Ramanujan). Il montre même que pour certains nombres, ces règles ne fonctionnent pas, ce qui est tout aussi important à savoir.

En résumé

Ce papier est comme un manuel d'instructions pour un nouveau type de comptage.

Il prend un problème difficile (compter les plus petits morceaux dans des assemblages complexes).
Il utilise une technologie mathématique de pointe (les formes de Maass et la projection) pour "nettoyer" le problème.
Il en déduit une formule magique (récurrence) qui permet de calculer ces nombres rapidement.
Il découvre que ces nombres suivent des règles secrètes (congruences) qui ressemblent à des codes de la nature, reliant des domaines très différents des mathématiques (la théorie des nombres et la géométrie des formes).

C'est un travail qui relie l'histoire (Euler, Ramanujan) à l'avenir des mathématiques, en montrant que même dans les structures les plus simples (comme des nombres qui s'additionnent), il y a une profondeur infinie à explorer.

1. Problématique et Contexte

L'article se concentre sur la fonction spt(n), qui compte le nombre de plus petites parties dans les partitions de l'entier $n$ . Introduite par Andrews, cette fonction possède des propriétés arithmétiques riches, notamment des congruences analogues à celles de Ramanujan pour la fonction de partition $p(n)$ .

Le problème central abordé est la généralisation des formules de récurrence de type Euler pour $spt(n)$. Alors que des formules de récurrence pour $p(n)$ ont été récemment généralisées en utilisant la théorie des formes modulaires (Gomez, Ono, Saad, Singh), l'extension à $spt(n)$ présente deux obstacles majeurs :

La fonction génératrice de $spt(n)$ n'est pas une forme modulaire faiblement holomorphe, mais une forme de Maass harmonique (plus précisément, elle appartient à l'espace $H^!_{3/2}(\varepsilon)$ ).
La méthode standard de preuve pour $p(n)$ , qui repose sur l'expression de la fonction génératrice comme une série de Maass-Poincaré, échoue ici car la série correspondante ne converge pas au point critique nécessaire.

L'objectif est donc d'établir des formules de récurrence généralisées pour $spt(n)$ en termes de traces de Hecke et d'obtenir des expressions closes pour les séries de puissances modulo $\ell$ .

2. Méthodologie

L'auteur développe une approche combinant l'analyse complexe, la théorie des formes modulaires et les formes de Maass :

Formes de Maass Harmoniques et Projection Holomorphe :
L'auteur exploite le fait que la fonction génératrice de $spt(n)$, notée $\alpha(z)$ , peut être complétée par une partie non holomorphe pour former une forme de Maass harmonique $F(z) \in H^!_{3/2}(\varepsilon)$ . Pour ramener l'analyse au domaine des formes modulaires holomorphes, il utilise la technique de la projection holomorphe ( $\pi_{hol}$ ).
Séries de Maass-Poincaré :
Pour contourner la non-convergence des séries de Maass-Poincaré classiques pour $spt(n)$, l'article construit des séries de Maass-Poincaré de poids $3/2$ avec un multiplicateur $\varepsilon$ (lié à la fonction $\eta$ de Dedekind). L'auteur démontre que ces séries admettent un prolongement analytique au point $s=3/4$ , où elles coïncident avec la fonction génératrice de $spt(n)$.
Crochets de Rankin-Cohen :
Une étape cruciale consiste à appliquer le crochet de Rankin-Cohen $[F, \eta]_v$ entre la forme de Maass $F$ et la fonction $\eta$ . Cela permet de passer d'un poids $3/2$ à un poids entier $2v+2$ , rendant la fonction projetée $\pi_{hol}([F, \eta]_v)$ accessible à la théorie des formes modulaires classiques.
Traces de Hecke et Séries Dirichlet :
Le résultat final est exprimé en termes de traces de Hecke ( $Tr_{2k}$ ) de valeurs de séries de Dirichlet quadratiques tordues associées aux formes propres de Hecke.

3. Résultats Principaux

A. Formules de Récurrence Généralisées (Théorème 1 et Corollaire 2)

L'article établit une relation fondamentale reliant la fonction $s(n) = 12 spt(n) + (24n-1)p(n)$ aux formes modulaires. Pour tout entier $v \ge 1$ , la série génératrice $S_v(z)$ associée à $s(n)$ satisfait :
$S_v(z) = E_{2v+2}(z) - 12F_{2v+2}(z) + \frac{\Gamma(2v+1)}{(\pi/3)^{2v+1}} \sum_f \frac{D_f}{\langle f, f \rangle} f(z)$
où :

$E_{2v+2}$ est la série d'Eisenstein de poids $2v+2$ .
$F_{2v+2}$ est une série d'Eisenstein "mock" introduite par Zagier.
La somme porte sur les formes propres de Hecke normalisées $f$ de poids $2v+2$ .
$D_f$ est une série de Dirichlet quadratique tordue associée à $f$ .

En extrayant les coefficients, l'auteur obtient une formule de récurrence explicite pour $spt(n)$ impliquant des sommes sur les nombres pentagonaux $\omega(k)$ , des fonctions diviseurs $\sigma$ , et les traces de Hecke $Tr_{2v+2}(n)$ .

B. Congruences Modulo $\ell$ (Corollaire 3)

Pour tout nombre premier $\ell \ge 5$ , l'auteur dérive une expression close pour la série de puissances des valeurs de $spt$ indexées par $\ell n - \delta_\ell$ (où $\delta_\ell = (\ell^2-1)/24$ ) modulo $\ell$ :
$\sum_{n \ge 1} spt(\ell n - \delta_\ell) q^n \equiv 12^{-1} \left(\frac{3}{\ell}\right) \frac{\sum_{n \ge 1} Tr_{\ell+1}(\ell n) q^n}{(q^\ell; q^\ell)_\infty} \pmod \ell$
Ce résultat fournit une nouvelle preuve des congruences d'Andrews pour $spt(5n+4)$, $spt(7n+5)$ et $spt(13n+6)$, en s'appuyant sur l'absence de formes cuspidales non triviales de poids 6, 8 et 14. Il généralise également le travail de Bringmann, Craig et Ono sur $p(n)$ .

C. Résultats d'Incongruence (Corollaire 4)

L'article établit un résultat d'incongruence : sous certaines conditions sur un entier $t_0$ et un premier $\ell$ , la série génératrice $\sum spt(\ell n + t) q^n$ n'est pas identiquement nulle modulo $\ell$ . Cela confirme la conjecture selon laquelle les congruences simples de type Ramanujan ne peuvent pas exister pour tous les entiers $n$ pour les grands premiers, reliant ce phénomène à la nullité des traces de Hecke.

4. Contributions Clés

Généralisation des récurrences Euleriennes : Extension des travaux sur $p(n)$ à la fonction $spt(n)$, malgré la nature non-holomorphe de sa fonction génératrice.
Technique de Prolongement Analytique : Résolution du problème de convergence des séries de Maass-Poincaré pour le poids $3/2$ via un prolongement analytique, permettant d'identifier la fonction génératrice de $spt(n)$ à une série de Maass-Poincaré régularisée.
Lien explicite avec les Traces de Hecke : Établissement d'une formule reliant directement les valeurs de $spt(n)$ aux traces de Hecke de formes modulaires de poids $\ell+1$ , offrant un outil puissant pour l'étude des congruences.
Nouvelles Preuves et Généralisations : Fourniture de preuves alternatives et élégantes des congruences connues de Ramanujan et Andrews, tout en caractérisant les cas où de telles congruences échouent.

5. Signification et Impact

Ce travail est significatif car il comble un vide technique important entre la théorie des formes modulaires classiques (utilisées pour $p(n)$ ) et la théorie des formes de Maass harmoniques (nécessaires pour $spt(n)$).

Théorique : Il démontre que les techniques de projection holomorphe et de séries de Maass-Poincaré peuvent être adaptées avec succès pour étudier des fonctions arithmétiques complexes issues de la théorie des partitions.
Arithmétique : Les formules de récurrence obtenues offrent de nouveaux outils algorithmiques pour le calcul de $spt(n)$ et une compréhension plus profonde de la structure algébrique des congruences de $spt(n)$.
Perspectives : La méthode développée ouvre la voie à l'étude d'autres fonctions de partitions ou de fonctions arithmétiques dont les fonctions génératrices sont des formes de Maass, en particulier dans le contexte des formes de poids demi-entier.

En résumé, l'article de Wei Wang fournit un cadre unifié et puissant reliant la combinatoire des partitions, les formes de Maass et la théorie des nombres modulaires, enrichissant considérablement la compréhension des propriétés arithmétiques de la fonction $spt(n)$.