🔢 mathematics

The asymptotic behavior of the rectangle partition function $p(m,n)$

Cet article présente une preuve élémentaire confirmant une conjecture sur le comportement asymptotique de la fonction de partition rectangulaire $p(m,n)$ , montant que son logarithme croît comme $\pi\sqrt{\frac{2mH_m}{3}}\sqrt{n}$ pour $m$ fixé quand $n \to \infty$ , généralisant ainsi la formule classique de Hardy–Ramanujan.

Auteurs originaux : Krystian Gajdzica, Maciej Zakarczemny

Publié 2026-08-25

📖 7 min de lecture🧠 Analyse approfondie

CC BY 4.0

Auteurs originaux : Krystian Gajdzica, Maciej Zakarczemny

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

Les mathématiques traitent souvent de l'art de compter, mais pas seulement le comptage d'objets sur une étagère. Dans une branche spécifique du domaine connue sous le nom de combinatoire, les chercheurs étudient comment les choses peuvent être décomposées en morceaux plus petits. Imaginez que vous ayez un nombre entier, comme dix. Vous pouvez diviser ce nombre en nombres entiers plus petits dont la somme est égale à dix, comme cinq et cinq, ou trois, quatre et trois. Le nombre de différentes façons de réaliser cette division est un problème classique que les mathématiciens comprennent depuis plus d'un siècle. Mais que se passe-t-il lorsque l'on passe d'une simple ligne de nombres à une forme plate en deux dimensions ? Au lieu de diviser un nombre, imaginez un rectangle solide composé de carrés de grille, comme une barre de chocolat ou une feuille de papier millimétré. La question devient : de combien de façons distinctes peut-on découper ce rectangle en plus petites pièces rectangulaires, où les pièces s'emboîtent parfaitement sans se chevaucher ? C'est le puzzle de la fonction de partition de rectangles. Il s'agit d'une extension naturelle de l'ancien problème de division de nombres, mais l'ajout de la dimension de la largeur et de la hauteur rend le comptage considérablement plus complexe. Comprendre comment le nombre d'arrangements possibles croît à mesure que le rectangle s'agrandit est un défi fondamental qui révèle de profonds modèles dans la manière dont l'espace peut être organisé.

Pendant longtemps, les mathématiciens connaissaient la réponse pour un rectangle très mince, qui n'a qu'une unité de haut et qui est très long. Dans ce cas simple, le problème est identique au puzzle classique de division de nombres, et le taux de croissance des arrangements possibles est bien établi. Des chercheurs ont également résolu récemment le cas d'un rectangle de deux unités de haut. Cependant, pour tout rectangle ayant une hauteur fixe de trois unités ou plus, le taux de croissance exact restait un mystère. Une formule spécifique avait été supposée par la communauté, prédisant comment le nombre d'arrangements augmenterait à mesure que la longueur du rectangle s'étire vers l'infini, mais personne n'avait été en mesure de prouver qu'elle était correcte. Cette lacune laissait un vide important dans la compréhension des partitions bidimensionnelles.

Dans une nouvelle étude, deux mathématiciens ont enfin comblé ce fossé. Ils ont fourni une preuve rigoureuse confirmant la supposition de longue date pour tout rectangle ayant une hauteur fixe. Leurs travaux démontrent qu'à mesure que la longueur du rectangle augmente, le nombre de façons de le partitionner croît selon un taux très spécifique et prévisible. Les chercheurs ne se sont pas appuyés sur des simulations informatiques ou des approximations ; ils ont construit un argument mathématique qui est vrai pour chaque cas possible. Ils ont montré que le logarithme du nombre d'arrangements — ce qui est une façon de mesurer l'échelle pure de la croissance — augmente en proportion directe avec la racine carrée de la longueur du rectangle. La constante de proportionnalité dans cette relation dépend de la hauteur du rectangle et d'une somme mathématique spécifique liée à la hauteur, appelée nombre harmonique. Ce résultat unifie la compréhension de ces formes, montant que le comportement pour les rectangles plus hauts suit la même loi fondamentale que les cas plus simples, avec simplement un facteur d'échelle différent.

Pour parvenir à cette conclusion, les auteurs ont dû aborder le problème de deux côtés : prouver que le nombre d'arrangements ne peut pas être plus grand qu'une certaine limite, et prouver qu'il ne peut pas être plus petit qu'une autre limite. Pour la limite supérieure, ils ont considéré une version plus large et moins restrictive du problème. Au lieu d'exiger que les pièces s'emboîtent parfaitement pour former un rectangle, ils ont compté chaque collection possible de blocs rectangulaires qui possédaient la surface totale correcte, indépendamment de leur capacité réelle à être disposés pour remplir l'espace. En démontrant que même ce groupe de collections beaucoup plus vaste et moins restrictif croît au taux prédit, ils ont établi que le nombre réel de partitions valides devait être inférieur ou égal à ce taux. Cette étape a permis d'établir un plafond pour la réponse sans avoir à rendre compte de la géométrie complexe de l'assemblage des pièces.

La limite inférieure était beaucoup plus difficile à établir car elle nécessitait de démontrer qu'il existe effectivement suffisamment de façons d'organiser les pièces pour atteindre le taux de croissance prédit. Pour ce faire, les chercheurs ont inventé une méthode de construction ingénieuse. Ils ont imaginé construire le rectangle en réservant des colonnes verticales spécifiques pour différents types de blocs. Pour chaque hauteur possible d'un bloc, de une unité jusqu'à la hauteur totale du rectangle, ils ont dédié une colonne spécifique. À l'intérieur de ces colonnes, ils ont emballé des blocs de cette hauteur spécifique, laissant de petits espaces qui étaient remplis de minuscules carrés unitaires. La clé de leur succès fut un calcul minutieux de la largeur requise pour ces colonnes. Ils ont prouvé que la largeur totale nécessaire pour faire tenir tous ces différents types de blocs côte à côte est toujours inférieure à la largeur totale du rectangle, à condition que le rectangle soit suffisamment long. Cela garantissait que leur construction était toujours physiquement possible.

En utilisant cette méthode, ils pouvaient générer un nombre immense d'arrangements uniques. Comme les choix pour chaque colonne étaient indépendants, le nombre total d'arrangements qu'ils pouvaient créer était le produit des possibilités de chaque colonne. Ils ont montré que ce produit croît exactement au taux prédit par la formule. Puisqu'ils avaient prouvé que le nombre d'arrangements est à la fois en dessous d'un certain plafond et au-dessus d'un certain plancher, et que les deux limites pointaient vers la même expression mathématique, le résultat fut confirmé. L'étude confirme que la complexité du pavage d'un rectangle avec de plus petits blocs suit une loi précise et élégante, gouvernée par la hauteur du rectangle et la racine carrée de sa longueur.

Le travail clarifie également les limites des connaissances actuelles. Bien que l'étude prouve le taux de croissance principal pour toute hauteur fixe, elle note que pour les rectangles ayant une hauteur de trois ou moins, il existe des facteurs supplémentaires plus petits dans la formule qui ont déjà été identifiés. Cependant, pour les rectangles ayant une hauteur de quatre ou plus, ces facteurs polynomiaux plus fins restent inconnus. L'article établit la croissance exponentielle dominante mais laisse les détails plus fins de la formule à la découverte future. Cette distinction est importante car elle montre que si le comportement global de ces partitions est désormais compris, la formule complète et précise pour les rectangles plus hauts recèle encore certains secrets. La réussite des chercheurs est une fondation solide, prouvant la structure principale de la réponse tout en laissant les décorations complexes aux travaux ultérieurs.

En fin de compte, cette recherche transforme une conjecture en un théorème, transformant une hypothèse pleine d'espoir en un fait connu. Elle relie le comportement des divisions de nombres unidimensionnelles simples au monde plus complexe des formes bidimensionnelles, montrant qu'un principe unique et unificateur les gouverne tous deux. La preuve repose sur des méthodes élémentaires, évitant le recours à des mécanismes spécialisés avancés, ce qui rend le résultat particulièrement robuste. En confirmant que le nombre de façons de partitionner un rectangle croît selon une forme de racine carrée prévisible, l'étude fournit une carte claire de la manière dont ces arrangements géométriques évoluent. C'est un rappel que même dans le monde abstrait du comptage des formes, il existe des modèles profonds et ordonnés qui attendent d'être découverts, à condition de savoir regarder le problème sous le bon angle.

Résumé technique : Le comportement asymptotique de la fonction de partition de rectangle $p(m, n)$

Énoncé du problème
L'article étudie le comportement asymptotique de la fonction de partition de rectangle $p(m, n)$ , qui compte le nombre de façons de partitionner un rectangle de taille $m \times n$ en un multiensemble de blocs rectangulaires aux côtés entiers. Une contrainte critique de cette définition est que deux partitions sont considérées comme identiques si elles consistent en le même multiensemble de blocs, indépendamment de leur arrangement géométrique ou de leur orientation (les blocs de taille $a \times b$ et $b \times a$ sont indiscernables).

Ce problème constitue une généralisation en deux dimensions de la fonction de partition d'entiers classique $p(n)$ . Plus précisément, $p(1, n) = p(n)$ . Alors que le comportement asymptotique de $p(n)$ est donné par la formule de Hardy–Ramanujan, et que les cas pour $m=2$ et $m=3$ ont été déterminés précédemment dans la littérature récente, le cas général pour un entier positif $m$ fixé est resté une conjecture. La conjecture spécifique, posée dans un travail antérieur [2], proposait que pour un $m$ fixé :
$\log p(m, n) = \pi \sqrt{\frac{2mH_m}{3}} \sqrt{n} + o(\sqrt{n})$
où $H_m = \sum_{a=1}^m \frac{1}{a}$ est le $m$ -ième nombre harmonique.

Méthodologie
Les auteurs, Gajdzica et Zakarczemny, emploient une approche élémentaire pour établir la conjecture sous une forme plus forte, en remplaçant le terme d'erreur $o(\sqrt{n})$ par $O(\log n)$ . La preuve est divisée en deux parties distinctes : la dérivation d'une borne supérieure et la construction d'une borne inférieure.

Dérivation de la borne supérieure :
Les auteurs comparent $p(m, n)$ au nombre de multiensembles de rectangles aux côtés entiers dont l'aire totale est $mn$ et dont le côté mineur de chaque rectangle ne dépasse pas $m$ . Crucialement, cette comparaison ne nécessite pas que le multiensemble forme un pavage valide du rectangle.
- Ils utilisent la fonction génératrice de ces multiensembles, qui se factorise en produits d'Euler décalés.
- En appliquant des estimations élémentaires à ces produits (utilisant spécifiquement le Lemme 3.2 concernant les séries infinies de logarithmes), ils dérivent une borne supérieure pour la fonction génératrice.
- Cela produit l'inégalité $\log p(m, n) \leq \pi \sqrt{\frac{2mH_m}{3}} \sqrt{n}$ sans terme d'erreur explicite dans l'ordre principal, établissant directement la borne supérieure.
Construction de la borne inférieure :
La borne inférieure est établie via une méthode constructive explicite qui associe un produit de familles de partitions d'entiers à des partitions de rectangles valides.
- Décomposition : Le rectangle $m \times n$ est partitionné en un ensemble de colonnes verticales. Pour chaque hauteur $a \in \{2, \dots, m\}$ , une colonne de largeur $c_{a,n}$ est réservée. Cette colonne est subdivisée en $\lfloor m/a \rfloor$ bandes horizontales de hauteur $a$ et des bandes restantes de hauteur 1.
- Stratégie de remplissage (Packing) : Des partitions d'entiers indépendantes $\lambda_a$ sont sélectionnées à partir de familles spécifiques $\mathcal{A}(a, T_{a,n})$ . Les éléments de $\lambda_a$ déterminent les largeurs des rectangles de hauteur $a$ .
- Lemme de remplissage : En utilisant un argument de remplissage glouton (Lemme 3.6), les auteurs montrent que les rectangles correspondant à $\lambda_a$ peuvent être intégrés dans les bandes réservées de hauteur $a$ , à condition que la largeur totale des rectangles ne dépasse pas l'espace disponible.
- Remplisseur (Filler) : L'aire restante (bandes de hauteur 1 et la partie droite du rectangle) est utilisée pour intégrer les rectangles correspondant à $\lambda_1$ et pour combler toute aire unitaire restante avec des carrés de $1 \times 1$ .
- Injectivité : La construction est injective ; le multiensemble de blocs résultant détermine de manière unique les partitions originales $\lambda_1, \dots, \lambda_m$ .
- Inégalité clé : Un composant critique de la preuve est le Lemme 3.7, qui établit que $m \sum_{a=2}^m \frac{1}{a^2 \lfloor m/a \rfloor} < H_m$ . Cette inégalité garantit que la largeur totale des colonnes construites tient dans la largeur $n$ du rectangle pour $n$ suffisamment grand.

Contributions principales et résultats
La contribution principale de l'article est la preuve du Théorème 1.1, qui confirme la conjecture de [2] avec un terme d'erreur précis.

Théorème 1.1 : Pour tout entier positif fixé $m$ , lorsque $n \to \infty$ :
$\log p(m, n) = \pi \sqrt{\frac{2mH_m}{3}} \sqrt{n} + O(\log n)$
De plus, les auteurs fournissent une borne supérieure uniforme : $p(m, n) \leq \exp\left(\pi \sqrt{\frac{2mH_m}{3}} \sqrt{n}\right)$ pour tout $n \geq m$ .
Généralisation : Ce résultat généralise la formule de Hardy–Ramanujan (le cas $m=1$ ) ainsi que les résultats spécifiques pour $m=2$ et $m=3$ . Il unifie le comportement asymptotique des partitions de rectangles sous une formule unique impliquant le nombre harmonique $H_m$ .
Preuve élémentaire : Les auteurs soulignent que leur approche est élémentaire, reposant sur des fonctions génératrices, des constructions combinatoires et des estimations analytiques de base, plutôt que sur des formes modulaires complexes ou des mécanismes asymptotiques avancés souvent utilisés en théorie des partitions.

Signification et portée
L'article affirme résoudre une conjecture spécifique concernant le terme asymptotique principal de $p(m, n)$ . Les auteurs notent que bien que le terme exponentiel principal soit désormais établi, le facteur polynomial précédant l'exponentielle (qui est connu pour $m \leq 3$ ) reste un problème ouvert pour $m \geq 4$ . Le travail est présenté comme étant autonome, fournissant toutes les définitions et les lemmes nécessaires, et sert à généraliser la compréhension classique des partitions d'entiers au cadre rectangulaire en deux dimensions. La signification réside dans la confirmation de la relation structurelle entre la dimension $m$ , le nombre harmonique et le taux de croissance de la fonction de partition.

Résumé technique : Le comportement asymptotique de la fonction de partition de rectangle p(m,n)p(m, n)p(m,n)

Articles similaires

Résumé technique : Le comportement asymptotique de la fonction de partition de rectangle $p(m, n)$