🔢 mathematics

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

Dit artikel lost een door Devnani en Eyyunni gestelde vraag op door te bewijzen dat precies één partitie van $n$ in het beeld van de afbeelding pre $_2$ ligt als en slechts als $n \in \{1, 2, 4\}$ , terwijl voor alle $n \ge 5$ ten minste twee dergelijke partities bestaan.

Oorspronkelijke auteurs: Arnav Garg

Gepubliceerd 2026-06-03

📖 4 min leestijd🧠 Diepgaand

CC BY 4.0

Oorspronkelijke auteurs: Arnav Garg

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 zak met getallen hebt die samen een specifiek totaal vormen. In de wiskunde wordt dit een partitie genoemd. Bijvoorbeeld, als je totaal 5 is, zou je de zak {5} kunnen hebben, of {4, 1}, of {3, 2}, of {2, 2, 1}, enzovoort.

Stel je nu een magische machine voor genaamd pre2. Deze machine neemt je zak met getallen en voert een specifieke truc uit: hij pakt elk mogelijk paar getallen uit je zak, vermenigvuldigt ze met elkaar en creëert een nieuwe zak met die producten.

Voorbeeld: Als je de machine de zak {3, 2, 1} voert:
- Hij vermenigvuldigt 3 en 2 om 6 te krijgen.
- Hij vermenigvuldigt 3 en 1 om 3 te krijgen.
- Hij vermenigvuldigt 2 en 1 om 2 te krijgen.
- De machine spuugt een nieuwe zak uit: {6, 3, 2}.

De grote vraag die wiskundigen Devnani en Eyyunni stelden, was: "Als we een specifiek totaalgetal kiezen (laten we het $n$ noemen), kunnen we dan een situatie vinden waarin er slechts één mogelijke oorspronkelijke zak is die de machine had kunnen veranderen in een zak die optelt tot $n$ ?"

Met andere woorden, is er een getal $n$ waarbij de output van de machine zo uniek is dat alleen één specifieke input deze had kunnen creëren?

De Ontdekking

De auteur van dit artikel, Arnav Garg, heeft dit puzzelstukje volledig opgelost. Hij ontdekte dat het antwoord ja is, maar alleen voor zeer kleine getallen.

Als je doelgetal 1, 2 of 4 is, is er precies één unieke manier om het te bouwen met behulp van deze machine.
Echter, zodra je doelgetal 5 of hoger bereikt, verdwijnt de uniciteit. Voor elk getal 5 en hoger zijn er minstens twee verschillende oorspronkelijke zakken die de machine kon veranderen in een zak die bij dat getal optelt.

Hoe heeft hij het bewezen?

Om te bewijzen dat getallen 5 en hoger altijd minstens twee "ouders" hebben, gebruikte Arnav een slimme constructiemethode. Hij liet zien dat je voor elk groot getal het op minstens twee verschillende manieren kunt bouwen met een specifiek "recept":

Het "Eén Grote, Veel Kleine" Recept: Hij liet zien dat je altijd een doelgetal kunt maken door één groot getal te nemen en de rest van de zak te vullen met enen (1's).
Het "Twee Grote, Veel Kleine" Recept: Hij liet ook zien dat je hetzelfde doelgetal kunt maken met twee iets kleinere getallen en de rest vult met enen of tweeën.

Omdat deze twee recepten verschillende oorspronkelijke zakken produceren maar resulteren in dezelfde uiteindelijke som, valt de "uniciteit" weg.

Hij controleerde elk scenario voor getallen 5 en hoger (oneven getallen, even getallen deelbaar door 3, even getallen niet deelbaar door 3, etc.) en stelde vast dat hij voor elk van hen minstens twee verschillende "ouder-zakken" kon vinden.

De Kleine Getallen (De Uitzonderingen)

Waarom ontsnapten 1, 2 en 4 aan deze regel?

1 en 2: De machine heeft minstens drie getallen nodig om te beginnen met zijn magie (om paren te maken). De kleinste som die je kunt maken met drie getallen is $1+1+1=3$ . Het is dus onmogelijk om 1 of 2 te maken met de "drie of meer delen" methode. De enige manier om 1 of 2 te krijgen is de triviale manier (gewoon het getal zelf), wat als slechts één oplossing telt.
3: Je kunt 3 op twee manieren maken (de triviale manier, en de {1, 1, 1} manier). Dus 3 is niet uniek.
4: Je zou kunnen denken dat je 4 op meerdere manieren kunt maken, maar wanneer je alle combinaties van drie of meer getallen probeert, tellen ze niet precies op tot 4. De dichtstbijzijnde zijn 3 of 5. Dus 4 blijft uniek omdat de enige manier om het te krijgen de triviale manier is.

De Kernboodschap

Het artikel concludeert dat de "magie" van het hebben van een enkele, unieke oplossing alleen voorkomt bij de kleine getallen 1, 2 en 4. Zodra je bij 5 komt, wordt de wiskundige wereld druk: er zijn altijd minstens twee verschillende paden om daar te komen.

De auteur merkt ook op dat hoewel hij bewezen heeft dat er minstens twee oplossingen zijn voor getallen 5 en hoger, hij zich afvraagt of er misschien zelfs meer oplossingen zouden zijn als we naar complexere patronen kijken, maar dat is een vraag voor toekomstig onderzoek.

Technische Samenvatting: Een nota over partities in de afbeelding van $pre_2$

Probleemstelling
Dit artikel behandelt een vraag die recentelijk door Devnani en Eyyunni is gesteld over de functie $pre_2(n)$ , die het aantal gehele partities van $n$ telt die in de afbeelding van de afbeelding $pre_2$ liggen. De afbeelding $pre_2$ is gedefinieerd op een partitie $\lambda = (\lambda_1, \lambda_2, \dots, \lambda_\ell)$ door een nieuwe partitie te genereren waarvan de delen allemaal producten zijn van $k=2$ verschillende delen van $\lambda$ . Specifiek onderzoeken de auteurs of er een geheel getal $n \ge 1$ bestaat waarvoor precies één partitie van $n$ in de afbeelding van $pre_2$ ligt (d.w.z. $pre_2(n) = 1$ ).

Methodologie
De auteurs hanteren een constructieve benadering om aan te tonen dat er voor voldoende grote $n$ meerdere partities in de afbeelding van $pre_2$ bestaan.

Basisobservatie: Het artikel stelt eerst vast dat de partitie $(n)$ altijd in de afbeelding van $pre_2$ ligt, omdat $pre_2(n, 1) = (n)$ . Hiermee geldt $pre_2(n) \ge 1$ voor alle $n \ge 1$ .
Constructieve strategie: Om te bewijzen dat $pre_2(n) \ge 2$ voor $n \ge 5$ , construeren de auteurs specifieke partities $\lambda$ met ten minste drie delen zodat de som van de delen van $pre_2(\lambda)$ gelijk is aan $n$ . Omdat $pre_2(\lambda)$ voor een partitie met $\ge 3$ delen ten minste $\binom{3}{2} = 3$ delen oplevert, kan de resulterende partitie niet de enkelvoudige deel-partitie $(n)$ zijn. Dit garandeert een tweede, afzonderlijk element in de afbeelding.
Gevalsanalyse: Het bewijs behandelt alle gehele getallen $n \ge 5$ $n \geq 5$ door deze te verdelen in vijf uitputtende gevallen gebaseerd op pariteit en modulaire rekenkunde (specifiek modulo 3 en 4). De constructies maken gebruik van partities van een eenvoudige vorm, meestal bestaande uit één "groot" deel $a$ $a$ en verschillende kleine delen (1-en of 2-en). De som van de resulterende $pre_2(\lambda)$ $p r e_{2} (λ)$ wordt berekend met de formule voor paarwijze producten:
- Voor $\lambda = (a, 1, \dots, 1)$ met $m-1$ enen, is de som $a(m-1) + \binom{m-1}{2}$ .
- Voor $\lambda = (a, 2, 2)$ , is de som $4a + 4$ .

Kernbijdragen en Resultaten
De primaire bijdrage van het artikel is de volledige oplossing van de vraag gesteld door Devnani en Eyyunni. Het hoofdbestanddeel is geformaliseerd in Stelling 1:

$pre_2(n) = 1$ dan en slechts als $n \in \{1, 2, 4\}$ .
Voor elk $n \ge 5$ geldt $pre_2(n) \ge 2$ .

De auteurs bieden expliciete constructies voor de vijf gevallen die $n \ge 5$ dekken:

Geval 1 (Oneven $n \ge 5$ ): Gebruikt $\lambda = (\frac{n-1}{2}, 1, 1)$ .
Geval 2 (Even $n$ , $3|n$ , $n \ge 6$ ): Gebruikt $\lambda = (\frac{n}{3}-1, 1, 1, 1)$ .
Geval 3 (Even $n$ , $3 \nmid n$ , $4|n$ , $n \ge 12$ ): Gebruikt $\lambda = (\frac{n-4}{4}, 2, 2)$ .
Geval 4 (Even $n$ , $3 \nmid n$ , $n \equiv 2 \pmod 4$ , $n \ge 10$ ): Gebruikt $\lambda = (\frac{n-6}{4}, 1, 1, 1, 1)$ .
Geval 5 ( $n=8$ ): Gebruikt $\lambda = (2, 2, 1)$ , wat $pre_2(2, 2, 1) = (4, 2, 2)$ oplevert.

Daarnaast analyseren de auteurs kleine waarden ( $n \le 4$ ) om te bevestigen dat geen enkele partitie met drie of meer delen de som 1, 2 of 4 bereikt onder de $pre_2$ -afbeelding, waarmee de uitzet van $\{1, 2, 4\}$ wordt gevalideerd. De auteurs merken ook een computationele verificatie op dat $pre_2(n) \ge 2$ geldt voor alle $5 \le n \le 10.000$ .

Betekenis en Omvang
Het artikel claimt bescheiden een definitief antwoord te bieden op een specifieke openstaande vraag in de theorie van gehele getalpartities en elementaire symmetrische polynomen. Het stelt geen nieuwe toepassingen of asymptotische formules voor. In plaats daarvan benadrukt het dat de gebruikte constructies steunen op partities van een "eenvoudige vorm" (één groot deel en kleine delen). De auteurs suggereren dat hoewel hun werk de existentievraag beslecht, er ruimte blijft voor het verkrijgen van scherpere ondergrenzen voor $pre_2(n)$ of het vinden van een asymptotische formule door middel van meer gevarieerde constructies. Het werk dient als een precieze karakterisering van de omvang van de afbeelding van de $pre_2$ -afbeelding voor kleine en grote gehele getallen.

De Ontdekking

Hoe heeft hij het bewezen?

De Kleine Getallen (De Uitzonderingen)

De Kernboodschap

Meer zoals dit