🔢 mathematics

A note on partitions in the image of pre $_2$

Cet article résout une question posée par Devnani et Eyyunni en prouvant qu'exactement une partition de $n$ appartient à l'image de l'application pre $_2$ si et seulement si $n \in \{1, 2, 4\}$ , tandis que pour tout $n \ge 5$ , au moins deux de telles partitions existent.

Auteurs originaux : Arnav Garg

Publié 2026-06-03

📖 4 min de lecture🧠 Analyse approfondie

CC BY 4.0

Auteurs originaux : Arnav Garg

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 sac de nombres dont la somme est égale à un total spécifique. En mathématiques, on appelle cela une partition. Par exemple, si votre total est 5, vous pourriez avoir le sac {5}, ou {4, 1}, ou {3, 2}, ou {2, 2, 1}, et ainsi de suite.

Maintenant, imaginez une machine magique appelée pre2. Cette machine prend votre sac de nombres et réalise un tour spécifique : elle choisit chaque paire possible de nombres dans votre sac, les multiplie ensemble, et crée un nouveau sac à partir de ces produits.

Exemple : Si vous alimentez la machine avec le sac {3, 2, 1} :
- Elle multiplie 3 et 2 pour obtenir 6.
- Elle multiplie 3 et 1 pour obtenir 3.
- Elle multiplie 2 et 1 pour obtenir 2.
- La machine recrache un nouveau sac : {6, 3, 2}.

La grande question que les mathématiciens Devnani et Eyyunni ont posée est la suivante : « Si nous choisissons un nombre total spécifique (appelons-le $n$ ), pouvons-nous trouver une situation où il n'existe qu'un seul sac d'origine possible que la machine aurait pu transformer en un sac dont la somme est $n$ ? »

En d'autres termes, existe-t-il un nombre $n$ où la sortie de la machine est si unique que seul un sac d'entrée spécifique aurait pu la créer ?

La Découverte

L'auteur de ce papier, Arnav Garg, a résolu ce puzzle complètement. Il a découvert que la réponse est oui, mais seulement pour de très petits nombres.

Si votre nombre cible est 1, 2 ou 4, il existe exactement une seule façon unique de le construire en utilisant cette machine.
Cependant, dès que votre nombre cible atteint 5 ou plus, l'unicité disparaît. Pour tout nombre égal ou supérieur à 5, il existe au moins deux sacs d'origine différents qui pourraient produire la somme de ce nombre.

Comment l'a-t-il prouvé ?

Pour prouver que les nombres 5 et plus ont toujours au moins deux « parents », Arnav a utilisé une méthode de construction astucieuse. Il a montré que pour n'importe quel grand nombre, vous pouvez le construire de deux manières différentes en utilisant une recette spécifique :

La recette « Un grand, beaucoup de petits » : Il a montré que vous pouvez toujours créer un nombre cible en prenant un grand nombre et en remplissant le reste du sac avec des uns (1).
La recette « Deux grands, beaucoup de petits » : Il a également montré que vous pouvez créer le même nombre cible en utilisant deux nombres légèrement plus petits et en remplissant le reste avec des uns ou des deux.

Parce que ces deux recettes produisent des sacs d'origine différents mais aboutissent à la même somme finale, l'« unicité » se brise.

Il a vérifié chaque scénario pour les nombres 5 et plus (nombres impairs, nombres pairs divisibles par 3, nombres pairs non divisibles par 3, etc.) et a constaté que pour chacun d'eux, il pouvait trouver au moins deux sacs « parents » différents.

Les Petits Nombres (Les Exceptions)

Pourquoi les nombres 1, 2 et 4 ont-ils échappé à cette règle ?

1 et 2 : La machine a besoin d'au moins trois nombres pour commencer à opérer sa magie (pour faire des paires). La plus petite somme que vous pouvez créer avec trois nombres est $1+1+1=3$ . Il est donc impossible de créer 1 ou 2 en utilisant la méthode des « trois nombres ou plus ». La seule façon d'obtenir 1 ou 2 est la manière triviale (juste le nombre lui-même), ce qui compte comme une seule solution.
3 : Vous pouvez faire 3 de deux manières (la manière triviale, et la manière {1, 1, 1}). Ainsi, 3 n'est pas unique.
4 : Vous pourriez penser que vous pouvez faire 4 de plusieurs manières, mais quand vous essayez toutes les combinaisons de trois nombres ou plus, aucune ne donne une somme exactement égale à 4. On s'approche seulement de 3 ou de 5. Ainsi, 4 reste unique car la seule façon de l'obtenir est la manière triviale.

L'Essentiel

Le papier conclut que la « magie » d'avoir une solution unique ne se produit que pour les minuscules nombres 1, 2 et 4. Dès que l'on atteint 5, le monde mathématique devient encombré : il y a toujours au moins deux chemins différents pour y arriver.

L'auteur note également que, bien qu'il ait prouvé qu'il existe au moins deux solutions pour les nombres 5 et plus, il se demande s'il pourrait y avoir encore plus de solutions si nous examinions des motifs plus complexes, mais c'est une question pour de futures recherches.

Résumé technique : Une note sur les partitions dans l'image de $pre_2$

Énoncé du problème
Cet article traite d'une question récemment posée par Devnani et Eyyunni concernant la fonction $pre_2(n)$ , qui compte le nombre de partitions d'entiers de $n$ qui appartiennent à l'image de l'application $pre_2$ . L'application $pre_2$ est définie sur une partition $\lambda = (\lambda_1, \lambda_2, \dots, \lambda_\ell)$ en générant une nouvelle partition dont les parties sont toutes des produits de $k=2$ parties distinctes de $\lambda$ . Plus précisément, les auteurs étudient s'il existe un entier $n \ge 1$ tel qu'exactement une partition de $n$ soit dans l'image de $pre_2$ (c'est-à-dire $pre_2(n) = 1$ ).

Méthodologie
Les auteurs emploient une approche constructive pour démontrer l'existence de plusieurs partitions dans l'image de $pre_2$ pour des valeurs de $n$ suffisamment grandes.

Observation de base : L'article établit d'abord que la partition $(n)$ est toujours dans l'image de $pre_2$ car $pre_2(n, 1) = (n)$ . Ainsi, $pre_2(n) \ge 1$ pour tout $n \ge 1$ .
Stratégie constructive : Pour prouver que $pre_2(n) \ge 2$ pour $n \ge 5$ , les auteurs construisent des partitions spécifiques $\lambda$ possédant au moins trois parties de telle sorte que la somme des parties de $pre_2(\lambda)$ soit égale à $n$ . Puisque $pre_2(\lambda)$ pour une partition avec $\ge 3$ parties produit au moins $\binom{3}{2} = 3$ parties, la partition résultante ne peut pas être la partition à une seule partie $(n)$ . Cela garantit un deuxième élément distinct dans l'image.
Analyse par cas : La preuve couvre tous les entiers $n \ge 5$ $n \geq 5$ en les divisant en cinq cas exhaustifs basés sur la parité et l'arithmétique modulaire (spécifiquement modulo 3 et 4). Les constructions utilisent des partitions de forme simple, consistant généralement en une partie « grande » $a$ $a$ et plusieurs petites parties (des 1 ou des 2). La somme des $pre_2(\lambda)$ $p r e_{2} (λ)$ est calculée en utilisant la formule des produits par paires :
- Pour $\lambda = (a, 1, \dots, 1)$ avec $m-1$ uns, la somme est $a(m-1) + \binom{m-1}{2}$ .
- Pour $\lambda = (a, 2, 2)$ , la somme est $4a + 4$ .

Contributions et résultats clés
La principale contribution de l'article est la résolution complète de la question posée par Devnani et Eyyunni. Le résultat principal est formalisé dans le Théorème 1 :

$pre_2(n) = 1$ si et seulement si $n \in \{1, 2, 4\}$ .
Pour tout $n \ge 5$ , $pre_2(n) \ge 2$ .

Les auteurs fournissent des constructions explicites pour les cinq cas couvrant $n \ge 5$ :

Cas 1 (n impair $\ge 5$ ) : Utilise $\lambda = (\frac{n-1}{2}, 1, 1)$ .
Cas 2 (n pair, $3|n$ , $n \ge 6$ ) : Utilise $\lambda = (\frac{n}{3}-1, 1, 1, 1)$ .
Cas 3 (n pair, $3 \nmid n$ , $4|n$ , $n \ge 12$ ) : Utilise $\lambda = (\frac{n-4}{4}, 2, 2)$ .
Cas 4 (n pair, $3 \nmid n$ , $n \equiv 2 \pmod 4$ , $n \ge 10$ ) : Utilise $\lambda = (\frac{n-6}{4}, 1, 1, 1, 1)$ .
Cas 5 ( $n=8$ ) : Utilise $\lambda = (2, 2, 1)$ , produisant $pre_2(2, 2, 1) = (4, 2, 2)$ .

De plus, l'article analyse les petites valeurs ( $n \le 4$ ) pour confirmer qu'aucune partition avec trois parties ou plus ne somme 1, 2 ou 4 sous l'application $pre_2$ , validant ainsi l'ensemble d'exception $\{1, 2, 4\}$ . Les auteurs notent également une vérification computationnelle que $pre_2(n) \ge 2$ est vrai pour tout $5 \le n \le 10\,000$ .

Signification et portée
L'article prétend modestement apporter une réponse définitive à un problème ouvert spécifique dans la théorie des partitions d'entiers et des polynômes symétriques élémentaires. Il ne propose pas de nouvelles applications ou de formules asymptotiques. Au lieu de cela, il souligne que les constructions utilisées reposent sur des partitions de « forme simple » (une grande partie et des petites parties). Les auteurs suggèrent que, bien que leur travail règle la question de l'existence, il laisse ouverte la possibilité d'obtenir des bornes inférieures plus précises pour $pre_2(n)$ ou de trouver une formule asymptotique grâce à des constructions plus variées. Le travail sert de caractérisation précise de la taille de l'image de l'application $pre_2$ pour les petits et grands entiers.

La Découverte

Comment l'a-t-il prouvé ?

Les Petits Nombres (Les Exceptions)

L'Essentiel

Articles similaires