🔢 mathematics

A note on the partition function of a rectangle

Dit artikel onderzoekt het asymptotische gedrag van rechthoekige partitiefuncties en stelt vast dat het aantal manieren om een $n \times n$ vierkant te partitioneren groeit als $\exp\left( \left(\frac{\pi}{\sqrt{3}}+o(1)\right)n\sqrt{\log n} \right)$ , terwijl partities van een $3 \times n$ rechthoek groeien als $\exp\left( \pi\sqrt{\frac{11n}{3}}+O(\log n) \right)$ .

Oorspronkelijke auteurs: Krystian Gajdzica, Maciej Zakarczemny

Gepubliceerd 2026-08-11

📖 5 min leestijd🧠 Diepgaand

CC BY 4.0

Oorspronkelijke auteurs: Krystian Gajdzica, Maciej Zakarczemny

Oorspronkelijk artikel gelicentieerd onder CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Dit is een AI-gegenereerde uitleg van het onderstaande artikel. Het is niet geschreven of goedgekeurd door de auteurs. Raadpleeg het oorspronkelijke artikel voor technische nauwkeurigheid. Lees de volledige disclaimer

Stel je voor dat je een meesterbouwer bent met een oneindige voorraad Lego-steentjes, maar met een twist: je mag alleen rechthoekige blokjes gebruiken, en je moet een perfecte, massieve muur bouwen zonder gaten of overlappingen. Stel je nu voor dat je een specifieke blauwdruk hebt voor een muur die een perfect vierkant is, zeg $n$ blokjes breed en $n$ blokjes hoog. De vraag die wiskundigen graag stellen is: "Op hoeveel verschillende manieren kun je deze blokjes rangschikken om de vierkant te vullen?" Dit gaat niet alleen over het stapelen in een lijn; het gaat over het mixen en matchen van verschillende maten—kleine $1\times1$ vierkantjes, lange $1\times5$ stroken, of dikke $2\times3$ blokken. In de wereld van de wiskunde wordt dit een "partitie" genoemd, en het tellen van deze arrangementen is als het proberen te tellen van elke mogelijke manier om een gigantische, complexe puzzel op te lossen.

Lange tijd waren wiskundigen geobsedeerd door het tellen van deze arrangementen voor eenvoudige getallen (zoals het optellen van gehele getallen om een totaal te krijgen). Maar wanneer je van een platte lijn van getallen naar een 2D-rechthoek gaat, explodeert het probleem in complexiteit. Het is als het gaan van het rangschikken van boeken op een enkele plank naar het vullen van een hele bibliotheek met boeken van verschillende vormen en maten. Deze specifieke paper duikt in twee zeer lastige versies van deze puzzel: één waarbij de blauwdruk een perfect vierkant is ( $n \times n$ ), en een andere waarbij de blauwdruk een zeer lange, dunne rechthoek is ( $3 \times n$ ). Waarom is dit belangrijk? Omdat deze patronen overal in de natuur en de natuurkunde voorkomen, van hoe atomen samenpakken tot hoe energieniveaus zich gedragen. Het begrijpen van de "groeisnelheid" van deze patronen—hoe snel het aantal mogelijkheden omhoog schiet naarmens de muur groter wordt—is als het vinden van de geheime code die bepaalt hoe complexiteit zich in ons universum opbouwt.

Dus, wat hebben de auteurs van deze paper eigenlijk ontdekt? Ze hebben niet alleen gegokt; ze hebben een rigoureuze wiskundige brug gebouwd om van het bekende naar het onbekende te steken. Eerst pakten ze het vierkant ( $n \times n$ ) aan. Ze bewezen dat, naarmate het vierkant enorm groot wordt, het aantal manieren om het te betegelen groeit op een zeer specifieke, wilde manier. Het is niet zomaar een eenvoudige explosie; het is een "super-exponentiële" groei die afhangt van de grootte van het vierkant vermenigvuldigd met de vierkantswortel van zijn logaritme. In gewone mensentaal: ze ontdekten dat het aantal manieren om een vierkant te betegelen ongeveer gelijk is aan $e$ verheven tot de macht van $(\pi/\sqrt{3}) \times n \times \sqrt{\log n}$ . Ze leverden ook eenvoudigere, "goed genoeg" boven- en ondergrenzen aan om aan te tonen dat hun hoofdzakelijke antwoord solide is, zelfs als de exacte formule een beetje complex is.

Daarna richtten ze hun aandacht op de lange, smalle rechthoek ( $3 \times n$ ). Dit is een ander soort beest, omdat één zijde vaststaat op 3 terwijl de andere kant oneindig groot wordt. Hier vonden de auteurs een nog preciezer antwoord. Ze bewezen dat het aantal manieren om deze rechthoek te betegelen ongeveer gelijk is aan $e$ verheven tot de macht van $\pi \times \sqrt{11n/3}$ . Dit is niet slechts een gok of een simulatie; het is een wiskundig bewezen feit met een zeer kleine foutmarge. Ze toonden ook aan dat een eerdere, zwakkere gok over dit probleem te ruim was, en vervingen deze door een veel scherpere, nauwkeurigere formule.

Om deze antwoorden te krijgen, moesten de auteurs creatief zijn. Voor het vierkant konden ze niet simpelweg elk type betegeling tellen (er zijn er te veel!). In plaats daarvan gebruikten ze een slimme truc: ze telden alle mogelijke collecties rechthoeken die de oppervlakte zouden kunnen vullen, zelfs als ze niet daadwerkelijk in een vierkant gerangschikt kunnen worden zonder gaten. Dit gaf hen een "plafond" (een bovengrens). Vervolgens bouwden ze een specifiek "vloer" (een ondergrens) door aan te tonen dat ze zeker een enorme hoeveelheid geldige vierkanten konden construeren met behulp van een specifieke pakstrategie. Door het ware antwoord tussen deze vloer en dit plafond te knijpen, bewezen ze de exacte groeisnelheid. Voor de $3 \times n$ rechthoek gebruikten ze een vergelijkbare strategie, maar moesten ze de rechthoek opdelen in kleinere, hanteerbare stroken en geavanceerde instrumenten uit de theorie van "genererende functies" gebruiken (wat als magische formules zijn die telproblemen in algebra transformeren) om de precieze getallen te krijgen.

De paper raakt ook aan een groter, onopgelost mysterie. De auteurs suggereren dat er voor een rechthoek van grootte $m \times n$ (waarbij $m$ een vast getal is zoals 4 of 5 en $n$ enorm groot wordt) wellicht een universeel patroon is voor hoe deze getallen groeien. Ze hebben sterk bewijs voor $m=1, 2,$ en $3$, maar voor $m=4$ en hoger blijft het antwoord een verleidelend open vraag. Ze probeerden zelfs een "trappenhuis" van rechthoeken te bouwen om de $4 \times n$ casus op te lossen en dat werkte, maar voor $5 \times n$ faalde diezelfde truc, wat erop wijst dat de regels veranderen naarmate de rechthoek breder wordt.

Kortom, deze paper is een triomf van precisie. Het neemt twee zeer moeilijke telproblemen aan—één voor vierkanten en één voor lange rechthoeken—en lost ze op met exacte formules. Het vertelt ons precies hoe snel het aantal mogelijkheden groeit naarmate de vormen groter worden, en vervangt vage gissingen door harde, bewezen wiskunde. Hoewel ze het probleem niet voor elke mogelijke rechthoekgrootte hebben opgelost, hebben ze de code gekraakt voor de meest interessante gevallen en een routekaart geboden voor de gevallen die nog op hun beurt wachten om opgelost te worden.

Technische Samenvatting: Een Nota over de Partitiefunctie van een Rechthoek

Probleemstelling
Dit artikel onderzoekt het asymptotische gedrag van de rechthoek-partitiefunctie $p(m, n)$ , die het aantal manieren telt om een rechthoek van grootte $m \times n$ te partitioneren in een multiset van rechthoekige blokken met gehele zijden. Twee partities worden als identiek beschouwd als ze uit dezelfde multiset van bloktypen bestaan, waarbij een blok $a \times b$ ononderscheidbaar is van $b \times a$ . De geometrische ordening van de blokken is irrelevant voor de telling; alleen de multiset van typen doet ertoe, mits de blokken theoretisch in staat zijn het gebied $m \times n$ te vullen.

De auteurs richten zich op twee specifieke gevallen:

Vierkante partities: $p(n, n)$ , waarbij beide dimensies naar oneindig gaan.
Rechthoeken met vaste hoogte: $p(3, n)$ , waarbij de hoogte vast staat op 3 en de breedte $n$ naar oneindig gaat.

Deze problemen generaliseren de klassieke gehele getal-partitiefunctie $p(n)$ , die overeenkomt met het geval $p(1, n)$ . Hoewel werd vermoed door de auteurs en Robin Visser dat het asymptotische gedrag van $p(m, n)$ voor een vaste $m$ en grote $n$ een specifieke vorm volgt die betrokken is bij harmonische getallen, presenteert het precieze gedrag voor het vierkante geval ( $m=n$ ) een afzonderlijke asymptotische uitdaging.

Methodologie
Het artikel maakt gebruik van een combinatie van analytische getaltheorie, genererende functies en combinatorische pakkingconstructies.

Bovengrenzen via Genererende Functies: De auteurs leiden bovengrenzen af door de geometrische vullingsvoorwaarde (conditie 3 in Definitie 1.1) te versoepelen. Zij beschouwen het aantal multisets van rechthoeken met een totale oppervlakte $mn$, ongeacht of zij fysiek een rechthoek kunnen vullen. Dit wordt gemodelleerd met genererende functies van de vorm $\prod (1-x^{ab})^{-r(ab)}$ , waarbij $r(ab)$ het aantal rechthoektypen met oppervlakte $ab$ telt.
- Voor $p(n, n)$ vergelijken zij de genererende functie met die van partities in delen uit een multiset gerelateerd aan de divisorfunctie $d(s)$ , gebruikmakend van resultaten door Berndt, Robles, Zaharescu en Zeindler.
- Voor $p(3, n)$ deconstrueren zij het probleem in partities bestaande uit blokken met hoogte 3 en blokken zonder deze hoogte, gebruikmakend van de convolutie van genererende functies en de Ingham-Tauberiaanse stelling (verfijnd door Bringmann Jennings–Shaffer en Mahlburg) om de asymptotische coëfficiënten te extraheren.
Ondergrenzen via Pakkingconstructies: Om ondergrenzen vast te stellen, construeren de auteurs specifieke betegelingen.
- Voor $p(n, n)$ gebruiken zij een "gekleurde partitie"-benadering gecombineerd met een gulzig (greedy) pakalgoritme. Zij partitioneren het vierkant in horizontale stroken van variërende hoogtes en vullen deze met rechthoeken afgeleid van beperkte gehele getal-partities.
- Voor $p(3, n)$ gebruiken zij een "trappenconstructie", waarbij de $3 \times n$ rechthoek wordt verdeeld in horizontale stroken van hoogtes 3, 2 en 1, en deze wordt gevuld met rechthoeken van overeenkomstige hoogtes afgeleid van partities met beperkte delen.
Asymptotische Analyse: De bewijzen steunen zwaar op de Hardy–Ramanujan asymptotische formule voor $p(n)$ , eigenschappen van de Dedekind eta-functie, en precieze schattingen van harmonische sommen en divisorfuncties.

Belangrijkste Bijdragen en Resultaten

Asymptotische Formule voor Vierkante Partities ( $p(n, n)$ ):
De auteurs stellen de belangrijkste asymptotische term voor de vierkante partitiefunctie vast:
$p(n, n) = \exp\left( \left(\frac{\pi}{\sqrt{3}} + o(1)\right) n \sqrt{\log n} \right)$
Dit resultaat is significant omdat het verschilt van de geconstateerde vorm voor vaste $m$ (die schaalt als $\sqrt{n}$ ). Het vierkante geval schaalt als $n\sqrt{\log n}$ . Het artikel biedt ook twee zwakkere, elementaire bovengrenzen en een eenvoudige ondergrens om de moeilijkheid van het probleem te illustreren voordat het hoofd-bewijs wordt gepresente//eerd.
Asymptotische Formule voor $p(3, n)$ :
Het artikel bewijst het exacte asymptotische gedrag voor de $3 \times n$ rechthoek:
$p(3, n) = \exp\left( \pi \sqrt{\frac{11n}{3}} + O(\log n) \right)$
Dit bevestigt de conjectuur voor $m=3$ met een sterkere foutterm ( $O(\log n)$ in de exponent) dan voorheen bekend. De constante $\pi\sqrt{11/3}$ wordt afgeleid uit de interactie tussen partities in delen van grootte $\ge 3$ en specifieke bloktypen die toegestaan zijn in de $3 \times n$ geometrie.
Onafhankelijke Bovengrenzen:
De auteurs presenteren een onafhankelijke bovengrens voor $p(3, n)$ die zwakker is dan het hoofdbestek, maar afkomstig is van een andere analytische benadering, wat een alternatief perspectief op het probleem biedt.
Conjecturen voor Algemene $m$ :
Terwijl zij het geval $m=3$ bewijzen, herhalen de auteurs hun conjectuur voor vaste $m \ge 4$ :
$p(m, n) = \exp\left( \pi \sqrt{\frac{2m H_m}{3} n} + o(\sqrt{n}) \right)$
waarbij $H_m$ het $m$ -de harmonische getal is. Zij merken op dat het vierkante geval ( $m=n$ ) een fundamenteel ander probleem blijft waarbij beide dimensies groeien.

Betekenis en Claims
Het artikel claimt de precieze logaritmische asymptotische gedraging voor de vierkante partitiefunctie $p(n, n)$ op te lossen, een probleem dat onopgelost bleef ondanks bekende waarden voor kleine $n$ . De auteurs benadrukken dat het vierkante geval leidt tot een fundamenteel ander asymptotisch probleem vergeleken met rechthoeken met een vaste hoogte, aangezien beide zijden naar oneindig gaan.

Voor het geval $3 \times n$ levert het artikel het eerste bewijs van de asymptotische formule met een rigoureuze foutterm, waarmee de heuristische argumenten en numerieke bewijzen die eerder zijn verzameld, worden bevestigd. De auteurs merken bescheiden op dat hoewel hun constructie voor $p(4, n)$ overeenkomt met de conjectuur, de "trappenconstructie" gebruikt voor $m=3$ en $m=4$ niet de geconstateerde exponentiële term oplevert voor $m=5$ , wat suggereert dat er andere geometrische ordeningen vereist zijn voor hogere vaste hoogtes.

Het werk draagt bij aan de bredere theorie van gehele getal-partities door de asymptotische analyse uit te breiden naar geometrische partitieproblemen, waarbij de brug wordt geslagen tussen de klassieke partitietheorie en betegelingsproblemen waarbij de volgorde van de blokken irrelevant is.

Meer zoals dit