🔢 mathematics

Proofs of the Conjectures on $SOME(n)$ and $DSOME(n)$ Functions Related to Integer Partitions

Dit artikel bewijst twee vermoedens met betrekking tot de deelbaarheids eigenschappen van de $SOME(n)$ en $DSOME(n)$ partitiefuncties—specifiek het vaststellen van een congruentie modulo machten van 5 voor $SOME(\lambda)$ en een congruentie modulo 8 voor $DSOME(50n+21)$ —terwijl het ook nieuwe oneindige families van conglomeraties voor $DSOME(n)$ modulo 2, 4 en 8 afleidt.

Oorspronkelijke auteurs: Gaurab Bardhan, Nipen Saikia

Gepubliceerd 2026-08-11

📖 3 min leestijd🧠 Diepgaand

CC BY 4.0

Oorspronkelijke auteurs: Gaurab Bardhan, Nipen Saikia

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 meesterkok bent in een keuken waar de enige ingrediënten gehele getallen zijn. Je taak is niet om een maaltijd te koken, maar om te tellen op hoeveel manieren je een getal kunt afbreken in een som van kleinere getallen. Dit is de wereld van "integer partities". Als je het getal 4 hebt, kun je dit afbreken als 4, of 3+1, of 2+2, of 2+1+1, of 1+1+1+1. Elk van deze is een andere "partitie". Wiskundigen zijn al eeuwenlang geobsedeerd door het tellen van deze arrangementen omdat ze verborgen patronen onthullen in het weefsel van de getallen zelf, net zoals een vingerafdruk een unieke identiteit onthult.

In deze keuken zijn er twee speciale chefs, laten we ze "SOME" en "DSOME" noemen. Ze tellen niet alleen de recepten; ze spelen een spel met de ingrediënten. SOME kijkt naar elke mogelijke manier om een getal af te breken en telt alle oneven getallen (zoals 1, 3, 5) op terwijl hij alle even getallen (zoals 2, 4, 6) aftrekt. DSOME speelt hetzelfde spel, maar met een strikte regel: elk ingrediënt in het recept moet uniek zijn (geen 2+2 toegestaan, alleen 2+1+1). De grote vraag voor deze chefs is: "Als we een heel specifiek, lastig getal kiezen, zal de eindscore dan altijd nul zijn?" Het blijkt dat voor bepaalde getallen het antwoord ja is, maar het bewijzen van waarom vereist een niveau van wiskundig detectivewerk dat voelt als het oplossen van een kosmische puzzel.

Dit artikel is het verhaal van twee wiskundigen, Gaurab Bardhan en Nipen Saikia, die twee langlopende mysteries over deze chefs eindelijk hebben gekraakt. Jarenlang hadden andere onderzoekers vermoed dat als je een getal kiest op basis van een specifieke, ingewikkelde formule met het getal 5, de chef SOME altijd met een score van nul zou eindigen. Op dezelfde manier vermoedden zij dat voor de chef DSOME, als je getallen kiest die in een patroon passen met 50, de score altijd deelbaar zou zijn door 8. Dit waren geen wilde gissingen; het waren zorgvuldig geformuleerde vermoedens die experts in de steek hadden gelaten.

In dit onderzoek hebben de auteurs niet alleen gegesteld; ze hebben een rigoureuze wiskundige brug gebouwd om te bewijzen dat deze ideeën waar zijn. Ze toonden aan dat voor elk geheel getal $\lambda$ dat voldoet aan een specifieke voorwaarde (waarbij $24\lambda$ een restwaarde van 1 heeft bij deling door een macht van 5), de waarde van SOME( $\lambda$ ) inderdaad exact deelbaar is door die macht van 5. Ze bewezen ook dat voor elk getal in de vorm $50n + 21$ , de waarde van DSOME altijd deelbaar is door 8. Onderweg ontdekten ze geheel nieuwe families van regels (congruenties) die beschrijven hoe deze scores zich gedragen wanneer ze worden gedeeld door 2, 4 en 8. In essentie hebben ze twee grote, onbewezen intuïties over hoe deze getelspellen werken omgezet in solide, onwrikbare feiten, waarmee ze nieuwe hoofdstukken hebben toegevoegd aan het verhaal van hoe getallen samen dansen.

Technische Samenvatting van "Bewijzen van de Vermoedens over de SOME(n)- en DSOME(n)-functies Gerelateerd aan Integer Partities"

Probleemstelling
Dit artikel behandelt twee specifieke vermoedens met betrekking tot de rekenkundige eigenschappen van twee partitie-gerelateerde functies, $SOME(n)$ en $DSOME(n)$, geïntroduceerd door Andrews en Dastidar (2026) respectievelijk, en Baruah en Gogoi (2026) respectievelijk.

$SOME(n)$ wordt gedefinieerd als de som van alle oneven delen minus de som van alle even delen over alle partities van een positief geheel tal $n$ .
$DSOME(n)$ is het analoge verschil (som van oneven delen minus som van even delen) beperkt tot partities van $n$ in onderscheidende delen.

De primaire doelstellingen zijn het bewijzen van:

Het Andrews-Dastidar vermoeden: Voor gehele getallen $\alpha \ge 1$ en $\lambda \ge 0$ waarvoor $24\lambda \equiv 1 \pmod{5^\alpha}$ , geldt $SOME(\lambda) \equiv 0 \pmod{5^\alpha}$ .
Het Baruah-Gogoi vermoeden: $DSOME(50n + 21) \equiv 0 \pmod 8$ voor alle gehele getallen $n \ge 0$ .

Daarnaast beogen de auteurs het vaststellen van nieuwe oneindige families van congruenties voor $DSOME(n)$ modulo 2, 4 en 8.

Methodologie
De auteurs maken gebruik van technieken uit de theorie van $q$ -reeksen, modulaire vormen en partitie-identiteiten. De methodologie rust zwaar op genererende functies en de manipulatie van $q$ -Pochhammer symbolen, aangeduid als $(a; q)_\infty$ .

Genererende Functies: Het artikel maakt gebruik van de bekende genererende functies voor $SOME(n)$ en $DSOME(n)$, uitgedrukt in termen van oneindige producten en sommen die $q$ -reeksen bevatten.
Modulaire Rekenkunde en Congruenties: De bewijzen omvatten het extraheren van coëfficiënten uit genererende functies en het analyseren van deze modulo specifieke gehele getallen (2, 4, 5, 8 en machten van 5).
Ramanujan's Theta-functies: De auteurs maken gebruik van Ramanujan's algemene theta-functie $f(\alpha, \beta)$ en speciale gevallen daarvan, zoals $\phi(q)$ , $\psi(q)$ en $f(-q)$ , om complexe reeksen te transformeren naar meer hanteerbare vormen.
Operator Theorie: Er wordt een operator $U_2$ gedefinieerd die termen met even indices extraheert uit machtsreeksen, wat de afleiding van congruenties voor specifieke rekenkundige progressies (bijv. $DSOME(2n)$) vergemakkelijkt.
Eisenstein-reeksen en Divisorsommen: Het bewijs voor het $SOME(n)$ vermoeden verbindt de functie met de klassieke quasimodulaire Eisenstein-reeks $E_2(q)$ en de som van de delersfunctie $\sigma(n)$ . Het maakt gebruik van bekende congruenties voor de partitiefunctie $p(n)$ en een gerelateerde coëfficiëntsequentie $c(n)$ die door Wang en Yang is vastgesteld.
Combinatorische Analyse: Voor de $DSOME(n)$ bewijzen analyseren de auteurs de pariteit van coëfficiënten in reeksexpansies die betrokken zijn bij sommen van kwadraten en gegeneraliseerde pentagonaal getallen, waarbij het probleem vaak wordt gereduceerd tot het tellen van oplossingen voor Diophantische vergelijkingen modulo specifieke priemgetallen.

Belangrijkste Bijdragen en Resultaten

Bewijs van het Andrews-Dastidar Vermoeden:
De auteurs stellen vast dat $SOME(\lambda) \equiv 0 \pmod{5^\alpha}$ wanneer $24\lambda \equiv 1 \pmod{5^\alpha}$ .
- Mechanisme: Zij leiden een relatie af die $SOME(n)$ verbindt met een coëfficiënt $c(2n)$ en de partitiefunctie $p(n)$ : $12SOME(n) = c(2n) - (12n+1)p(n)$.
- Logica: Door gebruik te maken van bekende congruenties voor $c(n)$ (afgeleid van het werk van Wang en Yang over quasimodulaire vormen) en de klassieke Ramanujan-congruenties voor $p(n)$ , tonen zij aan dat beide termen aan de rechterzijde van de vergelijking verdwijnen modulo $5^\alpha$ onder de gegeven conditie. Omdat $\gcd(12, 5^\alpha)=1$ , volgt het resultaat hieruit.
Bewijs van het Baruah-Gogoi Vermoeden:
Het artikel bewijst dat $DSOME(50n + 21) \equiv 0 \pmod 8$ .
- Mechanisme: Dit wordt vastgesteld als een specifiek geval ( $t=2$ ) van een algemener stelling (Theorema 4.11) die stelt dat $DSOME(50n + 10t + 1) \equiv 0 \pmod 8$ voor $1 \le t \le 4$ .
- Logica: Het bewijs behelst het expanderen van de genererende functie van $DSOME(n)$ modulo 8 in componenten die $f_1$ , $X(q)$ en hun afgeleiden bevatten. De auteurs analyseren de coëfficiënten van $q^N$ waarbij $N = 50n + 10t + 1$ door ze te relateren aan de 5-adische valentie van $M = 24N + 1$ . Zij tonen aan dat de relevante coëfficiënten verdwijnen vanwege het niet bestaan van bepaalde gehele oplossingen voor kwadratische vormen modulo 5.
Nieuwe Oneindige Families van Congruenties:
Het artikel stelt verschillende nieuwe congruenties vast voor $DSOME(n)$:
- Modulo 2: Een volledige karakterisering van wanneer $DSOME(n) \equiv 1 \pmod 2$ voorkomt, waarbij wordt aangetoond dat dit gebeurt indien en slechts indien $n$ van de vorm $24j^2 + 10j + 1$ of $24j^2 + 22j + 5$ is. Corollaria bieden voorwaarden voor $DSOME(Mn+r) \equiv 0 \pmod 2$ gebaseerd op Legendre-symbolen.
- Modulo 4: Vergelijkbare karakteriseringen worden afgeleid voor $DSOME(2n) \pmod 4$ , waarbij specifieke kwadratische vormen ( $48k^2 + 14k + 1$ en $48k^2 + 46k + 11$ ) worden geïdentificeerd waar de functie niet nul is.
- Modulo 8: Een convolutieformule wordt afgeleid die $DSOME(n)$ modulo 8 uitdrukt in termen van de partitiefunctie in onderscheidende delen $pd(n)$ en divisorsommen $\sigma_3(n)$ en $\sigma(n)$ .

Betekenis
Het artikel claimt significant te zijn, primair door de oplossing van openstaande vermoedens over het rekenkundige gedrag van $SOME(n)$ en $DSOME(n)$. Door deze vermoedens te bewijzen, bevestigen de auteurs het bestaan van diepe structurele patronen in deze partitiefuncties die de Ramanujan-type congruenties van de standaard partitiefunctie $p(n)$ weerspiegelen. Het werk breidt het begrip uit van hoe pariteit en modulaire restricties van toepassing zijn op gewogen sommen van partitie-delen, specifiek voor onderscheidende partities. Het vaststellen van nieuwe oneindige families van congruenties modulo 2, 4 en 8 biedt een breder kader voor toekomstig onderzoek naar de rekenkundige eigenschappen van partitie-gerelateerde functies.

Meer zoals dit