🔢 mathematics

Parity of parts and excludant statistics in partitions

En utilisant des transformations de séries $q$ et la méthode taubérienne, cet article établit des liens entre les statistiques d'exclusion restreintes par la parité dans les partitions à parties distinctes de même parité et certaines formes modulaires quantiques, tout en en déduisant leurs asymptotiques.

Auteurs originaux : Gargi Mukherjee

Publié 2026-03-17

📖 5 min de lecture🧠 Analyse approfondie

CC BY 4.0

Auteurs originaux : Gargi Mukherjee

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

🎂 La Grande Fête des Partitions : Qui manque à l'appel ?

Imaginez que vous avez un gros gâteau (un nombre entier, disons 6) et que vous devez le couper en plusieurs parts entières pour le partager. En mathématiques, on appelle cela une partition. Par exemple, le nombre 6 peut être coupé de plusieurs façons :

6 (une seule grosse part)
5 + 1 (une grande et une toute petite)
4 + 2
3 + 2 + 1
etc.

L'auteure de cet article s'intéresse à une règle très précise pour ces gâteaux : les parts de même "couleur" (parité) ne peuvent pas être répétées.

Si vous avez une part impaire (3, 5, 7...), vous ne pouvez pas en avoir deux de la même taille.
Si vous avez une part paire (2, 4, 6...), vous pouvez en avoir plusieurs, mais les impaires doivent être uniques.

C'est un peu comme une règle de fête où chaque invité portant un t-shirt rouge (impair) doit être unique, mais ceux en bleu (pair) peuvent se multiplier.

🔍 Le Détective "MEX" : Qui est le premier absent ?

Le cœur de l'article repose sur un jeu de détective appelé le MEX (Minimum Excludant).
Imaginez que vous avez votre gâteau coupé. Vous regardez les nombres 1, 2, 3, 4, 5... et vous demandez : "Quel est le premier nombre positif qui n'est PAS présent dans mon gâteau ?"

Si votre gâteau est 6, les nombres présents sont {6}. Le premier absent est 1. Donc MEX = 1.
Si votre gâteau est 5 + 1, les nombres sont {1, 5}. Le premier absent est 2. Donc MEX = 2.
Si votre gâteau est 4 + 2, les nombres sont {2, 4}. Le premier absent est 1. Donc MEX = 1.

L'auteure ne se contente pas de compter combien de fois le MEX apparaît. Elle pose deux questions fascinantes :

Le MEX est-il un nombre impair ou pair ? (Est-ce que le "numéro manquant" est un 1, 3, 5... ou un 2, 4, 6... ?)
Quelle est la somme totale de ces numéros manquants ? Si on prend tous les gâteaux possibles pour un nombre donné, combien de "1 manquants", de "2 manquants", etc., avons-nous au total ?

🧩 Les Outils Magiques : La Cuisine des Mathématiques

Pour répondre à ces questions, l'auteure utilise des outils mathématiques très puissants qu'elle appelle des transformations q-séries.

L'analogie : Imaginez que chaque partition est une recette de cuisine complexe. Les mathématiciens ont une "machine à transformer" (les q-séries) qui prend cette recette compliquée et la transforme en une équation simple, un peu comme un blender qui transforme des fruits entiers en un smoothie lisse.
Grâce à cette machine, l'auteure découvre que ces statistiques de "numéros manquants" sont liées à des objets mathématiques très célèbres et mystérieux créés par le génie Ramanujan (un mathématicien indien légendaire) et d'autres. Ces objets, comme $\sigma(q)$ ou $\nu(q)$ , sont comme des "super-structures" cachées dans l'univers des nombres.

📈 La Croissance : Plus on a de gâteaux, plus c'est grand

L'article ne se contente pas de faire des calculs pour de petits nombres. Il regarde ce qui se passe quand le nombre de gâteau devient gigantesque (quand $n$ tend vers l'infini).

La découverte : L'auteure montre que le nombre de partitions où le MEX est impair ou pair suit une courbe de croissance très précise. C'est comme si elle prédisait exactement combien de personnes arriveront à une fête de plus en plus grande, en utilisant une formule magique qui ressemble à une explosion exponentielle ( $e^{\pi\sqrt{n}}$ ).
Elle prouve aussi que ces nombres ne font que croître. Plus le gâteau est gros, plus il y a de façons d'avoir un "numéro manquant" impair ou pair. C'est une loi de la nature pour ces partitions.

🎭 Le Grand Échange (Bijection)

L'un des moments les plus poétiques de l'article est la preuve d'une identité (Théorème 1.5).
L'auteure montre qu'il existe un lien parfait entre deux mondes qui semblent différents :

Le monde des partitions où le "numéro manquant pair" est compté.
Le monde des partitions en parts paires distinctes.

L'analogie : C'est comme si elle disait : "Le nombre de façons de construire une tour avec des briques rouges et bleues, où la première brique manquante est bleue, est exactement le double du nombre de façons de construire une tour uniquement avec des briques bleues."
Pour prouver cela, elle ne fait pas juste un calcul ; elle crée un jeu de correspondance (une bijection). Elle imagine un traducteur qui prend une configuration du premier monde et la transforme, brique par brique, en une configuration du deuxième monde, sans rien perdre ni rien ajouter. C'est comme un jeu de puzzle où l'on déplace les pièces pour former une image totalement différente, mais avec le même nombre de pièces.

🚀 Pourquoi est-ce important ?

Même si cela semble être un jeu de logique abstrait, ce travail est crucial pour les mathématiques modernes :

Il relie des concepts simples (compter des nombres manquants) à des structures profondes et complexes (formes modulaires, fonctions de Ramanujan).
Il ouvre la porte à de nouvelles découvertes sur la façon dont les nombres s'organisent.
L'auteure termine en posant des questions pour les futurs chercheurs, comme : "Peut-on trouver une preuve visuelle (sans calculs compliqués) pour tout cela ?" et "Ces formules peuvent-elles être écrites plus simplement ?".

En résumé

Gargi Mukherjee nous invite à regarder les nombres non pas comme de simples chiffres, mais comme des gâteaux à partager. En observant soigneusement quelle part manque toujours (le MEX), elle a découvert que ces absences suivent des lois secrètes, liées aux plus grands esprits mathématiques de l'histoire. Elle nous a donné les clés pour prédire la croissance de ces phénomènes et a montré que, derrière la complexité des formules, il existe une beauté et une symétrie parfaites.

1. Problématique et Contexte

Ce travail se situe dans le domaine de la théorie des partitions d'entiers, un sous-ensemble de la théorie des nombres et des mathématiques combinatoires. L'auteur étudie des statistiques restreintes basées sur la parité (pair ou impair) des excluants (excludants) dans des partitions spécifiques.

Les concepts clés introduits ou réutilisés sont :

Excluant minimal (mex) : Le plus petit entier positif absent d'une partition.
Excluant maximal (max) : Le plus grand entier non négatif, strictement inférieur au plus grand élément de la partition, qui n'apparaît pas dans celle-ci.
Contraintes de parité : L'étude se concentre sur des partitions où les parties de même parité sont distinctes. Plus précisément :
- $Pod(n)$ : Partitions de $n$ en parties impaires distinctes (les parties paires peuvent être répétées).
- $Ped(n)$ : Partitions de $n$ en parties paires distinctes (les parties impaires peuvent être répétées).

L'objectif est de compter et d'analyser asymptotiquement le nombre de telles partitions où l'excluant (minimal ou maximal) est pair ou impair, ainsi que la somme de ces excluants.

2. Méthodologie

L'auteur utilise une approche hybride combinant l'analyse complexe, les transformations de séries $q$ et la combinatoire :

Transformations de séries $q$ : Utilisation intensive de la théorie des séries $q$ (produits infinis, sommes $q$ -hypergéométriques) pour établir des identités génératrices. Des outils clés incluent le théorème binomial $q$ (Cauchy), les identités de Gauss, la transformation de Heine et un théorème d'Andrews.
Fonctions modulaires et Mock Theta : Les résultats sont reliés à des fonctions célèbres introduites par Ramanujan, notamment :
- $\sigma(q)$ et son compagnon $\sigma^*(q)$ .
- La fonction $v_2(q)$ de type Nahm.
- La fonction de mock theta d'ordre 3 $\nu(q)$ .
Méthodes Tauberiennes : Application du théorème de Tauberian d'Ingham pour déduire le comportement asymptotique des coefficients des séries génératrices lorsque $n \to \infty$ .
Arguments Combinatoires : Construction de bijections explicites et définition de applications injectives pour prouver la monotonie des séquences de comptage.

3. Contributions Clés et Résultats Principaux

Le papier établit plusieurs théorèmes majeurs divisés en deux catégories principales : les partitions sans répétition de parties impaires ($Pod$) et sans répétition de parties paires ($Ped$).

A. Partitions sans répétition de parties impaires ($Pod(n)$)

Parité de l'excluant minimal (mex) :
- Définition de $a_{od}^{o}(n)$ (mex impair) et $a_{od}^{e}(n)$ (mex pair).
- Théorème 1.1 : Établissement des fonctions génératrices de ces séquences. Elles sont exprimées en termes de $v_2(q)$ et d'autres séries $q$ .
- Théorème 1.2 : Preuve de la monotonie stricte de ces séquences pour $n$ suffisamment grand.
- Théorème 1.3 : Dérivation des formules asymptotiques :
  $a_{od}^{o}(n) \sim \frac{e^{\pi\sqrt{n}/2}}{4\sqrt{2n}} \quad \text{et} \quad a_{od}^{e}(n) \sim \frac{e^{\pi\sqrt{n}/2}}{\sqrt{2n}}$
Sommes d'excluants minimaux (moex/meex) :
- Définition de $\sigma_{od}^{moex}(n)$ (somme des plus petits excluants impairs) et $\sigma_{od}^{meex}(n)$ (somme des plus petits excluants pairs).
- Théorème 1.4 : Lien entre $\sigma_{od}^{moex}(n)$ et la fonction $\sigma^*(-q)$ de Ramanujan.
- Théorème 1.5 : Identité remarquable prouvée par une bijection combinatoire : $\sigma_{od}^{meex}(n) = 2 \cdot ped(n)$ .
- Théorème 1.7 : Asymptotique de $\sigma_{od}^{moex}(n) \sim \frac{3e^{\pi\sqrt{n}/2}}{4\sqrt{2n}}$ .
Parité de l'excluant maximal (max) :
- Définition de $a_{od}^{o}(n)$ et $a_{od}^{e}(n)$ basées sur la parité du max.
- Théorème 1.9 & 1.10 : Formules génératrices complexes impliquant la fonction de mock theta $\nu(q)$ et d'autres sommes $q$ .

B. Partitions sans répétition de parties paires ($Ped(n)$)

Parité de l'excluant minimal :
- Définition de $a_{ed}^{o}(n)$ et $a_{ed}^{e}(n)$ .
- Théorème 1.11 : Formules génératrices obtenues par transformation de séries.
Sommes d'excluants minimaux :
- Définition de $\sigma_{ed}^{moex}(n)$ et $\sigma_{ed}^{meex}(n)$ .
- Théorème 1.12 : Relie les fonctions génératrices à la fonction $\sigma(q)$ de Ramanujan et à des formes modulaires spécifiques.

C. Identités Combinatoires

Théorème 1.8 : Établit une égalité entre le nombre de partitions avec des parties impaires distinctes ayant exactement $j$ parties supérieures à leur meex et le nombre de partitions avec des parties multiples de 4.

4. Signification et Impact

Connexion avec Ramanujan : Ce papier renforce le lien entre les statistiques modernes de partitions (comme le mex) et les fonctions modulaires et "mock theta" découvertes par Ramanujan. Il montre que ces statistiques ne sont pas seulement des objets combinatoires, mais qu'elles génèrent des fonctions aux propriétés analytiques profondes.
Nouvelles Asymptotiques : Les formules asymptotiques fournies (Théorème 1.3 et 1.7) offrent une compréhension fine de la croissance de ces statistiques, révélant des constantes de croissance spécifiques liées à $\pi\sqrt{n}/2$ .
Outils Combinatoires : La preuve de l'identité $\sigma_{od}^{meex}(n) = 2ped(n)$ via une bijection explicite (utilisant des diagrammes de Ferrers décalés et des partitions bicolores) enrichit la boîte à outils des preuves combinatoires en théorie des partitions.
Ouvertures : L'auteur propose plusieurs problèmes ouverts, notamment la recherche de preuves purement $q$ -séries pour la monotonie, la recherche de formules exactes de type Rademacher, et l'exploration de la modularité des séries $q$ -hypergéométriques restantes.

En résumé, ce travail fournit une analyse complète et rigoureuse des statistiques d'exclusion dans des partitions restreintes, reliant la combinatoire discrète à l'analyse complexe via les séries $q$ et les formes modulaires.