🔢 mathematics

Splitting sums of binary polynomials

Dit artikel bewijst dat $m = 5$ het minimale aantal is zodat de sommen van elke twee verschillende polynomen in een verzameling van $m$ polynomen over $\F_2[x]$ niet allemaal de vorm $x^k(x+1)^{\ell}$ kunnen hebben.

Oorspronkelijke auteurs: Luis H. Gallardo

Gepubliceerd 2026-02-16

📖 5 min leestijd🧠 Diepgaand

CC BY 4.0

Oorspronkelijke auteurs: Luis H. Gallardo

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 wiskunde een grote, mysterieuze stad is. Meestal wonen in deze stad de hele getallen (zoals 1, 2, 3, 4...). Maar in dit specifieke artikel verhuist de auteur, Luis Gallardo, naar een heel andere wijk: de stad van de polynomen.

In deze nieuwe wijk zijn de "inwoners" geen gewone getallen, maar uitdrukkingen met een $x$ , zoals $x^2 + x + 1$ . En het allerbelangrijkste: in deze stad gelden heel andere regels voor optellen. Hier is 1 + 1 = 0. Ja, je leest het goed: twee dingen bij elkaar optellen maken ze weg! Dit noemen we een "binair systeem" (alleen 0 en 1).

Het Grote Raadsel: De Som van Vrienden

Het verhaal begint met een oud raadsel uit de wereld van de gewone getallen:

Kun je drie getallen vinden (bijvoorbeeld -1, 3 en 5) zodat als je ze twee aan twee optelt, je altijd een macht van 2 krijgt? (Bijvoorbeeld: $-1 + 3 = 2$ , $3 + 5 = 8$ , $-1 + 5 = 4$ ). Ja, dat kan!
Kun je dat doen met vier getallen? Nee, dat is onmogelijk. Er zijn geen vier getallen waarbij elke mogelijke som van twee getallen een macht van 2 is.

De auteur vraagt zich nu af: Geldt dit ook in de stad van de polynomen?

In plaats van machten van 2 (zoals $2, 4, 8, 16$), kijken we hier naar polynomen die eruitzien als $x^k \cdot (x+1)^\ell$ .

Denk aan $x$ als het getal 2.
Denk aan $(x+1)$ ook als een soort "2", want in deze wijk zijn $x$ en $x+1$ de bouwstenen (de "priemgetallen") die het kleinst zijn.
Een polynoom als $x^3(x+1)^2$ is dan het polynoom-equivalent van het getal $2^5 = 32$ .

De vraag is dus: Kunnen we een groepje polynomen vinden waarbij de som van elk paar precies zo'n "mooi" polynoom is?

De Drie Vrienden (Theorema 1)

De auteur begint klein. Wat als we drie polynomen hebben (noem ze A, B en C)?
Als je A+B, A+C en B+C allemaal optelt, en ze zijn allemaal van het mooie type ( $x^k(x+1)^\ell$ ), dan blijken A, B en C niet zomaar willekeurige vrienden te zijn. Ze moeten een heel specifiek patroon volgen.

Het is alsof je drie mensen in een rij zet. Als de afstand tussen de eerste en tweede, en tussen de tweede en derde, en tussen de eerste en derde allemaal "perfecte stappen" zijn, dan moeten ze op een heel specifieke manier op elkaar zijn afgestemd. De auteur bewijst dat er maar één manier is om dit te regelen (met een beetje wiskundige variatie). Het is een strakke dans.

De Vierde Vriend en de Muur (Theorema 2)

Nu wordt het spannend. Wat gebeurt er als we een vierde polynoom (D) toevoegen?
De auteur doet een gedetailleerde analyse (een soort detectivewerk) en komt tot twee mogelijke scenario's waarin vier polynomen wel kunnen samenwerken. Maar deze scenario's zijn heel specifiek en "krom". Het zijn uitzonderingen, geen regel.

Maar hier komt de klap: Als je een vijfde polynoom (E) toevoegt, is het gedaan.

De auteur bewijst dat het onmogelijk is om vijf verschillende polynomen te vinden waarbij de som van elk paar weer een "mooi" polynoom is.

Met 2 polynomen: Makkelijk.
Met 3 polynomen: Kan, maar ze moeten zich gedragen.
Met 4 polynomen: Kan, maar alleen in heel rare, specifieke situaties.
Met 5 polynomen: Niet mogelijk.

De Metafoor: De Bouwstenen

Stel je voor dat je een muur wilt bouwen met speciale blokken.

De "mooie" blokken zijn die die je kunt maken door alleen $x$ -blokken en $(x+1)$ -blokken te stapelen.
Het probleem is: Je wilt een groep vrienden vinden. Als je twee willekeurige vrienden uit je groep samenbrengt (optelt), moet het resultaat een perfecte stapel van die speciale blokken zijn.

De auteur zegt: "Je kunt een groepje van drie vrienden vinden die dit kunnen. Je kunt zelfs een heel klein, speciaal groepje van vier vinden. Maar zodra je probeert een vijfde vriend uit te nodigen, breekt het hele systeem. Er is geen manier om dat vijfde blokje zo te kiezen dat het met iedereen een perfecte stapel maakt."

Waarom is dit belangrijk?

Dit klinkt misschien als een heel abstract raadsel, maar het laat zien hoe wiskunde werkt.

Analogie: Het laat zien dat problemen die we oplossen met getallen (zoals machten van 2), vaak een spiegelbeeld hebben in de wereld van polynomen.
Grenzen: Het bewijst dat er een harde grens is. Je kunt niet eindeloos doorgaan met het vinden van zulke groepen. Er is een punt waarop de wiskunde zegt: "Hé, hier stopt het."
Methode: De auteur gebruikt een slimme mix van pure logica (wiskundige bewijzen) en een beetje computerwerk om te checken of er geen verborgen trucs zijn.

Conclusie in één zin

Dit artikel bewijst dat in de vreemde wereld waar $1+1=0$ , je nooit meer dan vier getallen kunt vinden die zo goed met elkaar "optellen" dat hun sommen altijd een heel specifiek, schoon patroon vormen; bij vijf is het spelletje gewoon afgelopen.

Titel: Splitting sums of binary polynomials

Auteur: Luis H. Gallardo (Universiteit Brest, Frankrijk)
Onderwerp: Getaltheorie over polynoomringen, specifiek $F_2[x]$ .

1. Probleemstelling en Motivatie

Het artikel onderzoekt een polynoom-analoog van een klassiek probleem in de getaltheorie over de gehele getallen $\mathbb{Z}$ .

Het originele probleem: In $\mathbb{Z}$ bestaan er sets van drie gehele getallen $\{a, b, c\}$ zodat alle paarsgewijze sommen ( $a+b, a+c, b+c$ ) machten van 2 zijn. Echter, M.S. Smith bewees dat er geen set van vier gehele getallen bestaat waarbij alle zes paarsgewijze sommen machten van 2 zijn.
De polynoom-analoog: De auteur vervangt gehele getallen door binomiale polynomen (polynomen met coëfficiënten in $\{0, 1\}$ ${0, 1}$ ) in de ring $F_2[x]$ $F_{2} [x]$ , waarbij de rekenregels modulo 2 gelden ( $1+1=0$ $1 + 1 = 0$ ).
- De macht van 2 ( $2^k$ ) wordt geanalogeerd door polynomen van de vorm $x^k(x+1)^\ell$ . Dit komt omdat $x$ en $x+1$ de irreducibele polynomen van de laagste graad in $F_2[x]$ zijn, analoog aan het getal 2 in $\mathbb{Z}$ .
De centrale vraag: Wat is het minimale getal $m$ zodat er een verzameling $S_m$ van $m$ verschillende polynomen bestaat, waarbij de som van elk paar verschillende elementen in $S_m$ "splitst" over $F_2$ ? Een polynoom splitst over $F_2$ als het van de vorm $x^k(x+1)^\ell$ is (met $k, \ell \geq 0$ , niet beide 0).

Het doel is om te bepalen voor welke $m$ zo'n verzameling bestaat en welke structurele eigenschappen deze verzamelingen hebben.

2. Methodologie en Hulpmiddelen

De auteur gebruikt een combinatie van elementaire algebraïsche technieken en beperkte computationele verificatie.

Definitie van $\sigma(A)$ : De som van alle delers van een polynoom $A$ in $F_2[x]$ . Voor irreducibele polynomen $P$ geldt $\sigma(P^k) = 1 + P + \dots + P^k$ .
Mersenne-polynomen: Polynomen van de vorm $A = x^a(x+1)^b + 1$ .
Kernlemmata:
- Lemma 5: Een som van machten van een irreducibele polynoom $P$ kan alleen een macht van een andere polynoom $Q$ zijn in triviale gevallen.
- Lemma 6: Lost exponentiële vergelijkingen op van de vorm $(x+1)^A + x^B = x^C$ . De enige oplossingen zijn gerelateerd aan machten van 2 (in de exponenten).
- Lemma 9 (Cruciaal): Analyseert de vergelijking $x^A(x+1)^B + x^C(x+1)^D = x^E(x+1)^F$ . Het bewijst dat als $A \leq C \leq E$ , dan moet gelden dat $C=A$ en dat de minimale exponent van $(x+1)$ gelijk is aan $D$ . Verder leidt dit tot specifieke relaties tussen de exponenten, zoals $B-D = E-A = 2^s$ .
Computationele verificatie: Voor het geval $m=5$ wordt een computerprogramma (GP-PARI) gebruikt om te verifiëren dat er geen oplossingen bestaan voor polynomen met graad $\leq 9$ .

3. Belangrijkste Resultaten

Het paper levert twee hoofdstellingen die het probleem volledig oplossen.

Stelling 1: Het geval $m=3$

Als er drie verschillende polynomen $a, b, c$ bestaan zodat $a+b$ , $a+c$ en $b+c$ allemaal van de vorm $x^k(x+1)^\ell$ zijn, dan hebben ze een zeer specifieke structuur.

Na het ordenen van de exponenten en eventueel het verwisselen van $x$ en $x+1$ , gelden er relaties van de vorm:
$b = a + x^{a_1}(x+1)^{b_2+2s}$
$c = a + x^{a_1+2s}(x+1)^{b_2}$
voor een niet-negatief geheel getal $s$ .
Dit betekent dat dergelijke sets altijd bestaan en een specifieke symmetrische structuur hebben.

Stelling 2: Het geval $m=4$ en $m>4$

Dit is het kernresultaat van het artikel.

Deel (i) - Structuur voor $m=4$ : Als er vier polynomen $a, b, c, d$ $a, b, c, d$ bestaan met de eigenschap dat alle zes paarsgewijze sommen splitsen, dan moeten ze voldoen aan één van twee specifieke structuren (weer tot op verwisseling van $x$ $x$ en $x+1$ $x + 1$ ):
1. Een structuur gebaseerd op machten van $(x+1)$ en een term $T(1,3) = x^{a_1}(x+1)^{b_3}$ .
2. Een structuur gebaseerd op termen zoals $(x^{2t_1} + 1)$ en $x^{2t_1}$ .
- De auteur analyseert 16 mogelijke casussen voor de exponenten. Alleen twee van deze casussen leiden tot geldige oplossingen; de andere 14 leiden tot contradicties (zoals $v = v-1$ ).
Deel (ii) - Onmogelijkheid voor $m > 4$ :
- Hoofdbevinding: Er bestaat geen verzameling van 5 of meer verschillende binomiale polynomen waarvoor alle paarsgewijze sommen van de vorm $x^k(x+1)^\ell$ zijn.
- De bewijsvoering combineert de theoretische analyse van de $m=4$ gevallen met een computationele check. Voor $m=5$ bleek dat elke mogelijke configuratie leidt tot een van de onmogelijke casussen die al bij $m=4$ waren geïdentificeerd.

4. Significatie en Conclusie

Vergelijking met $\mathbb{Z}$ : Het resultaat bevestigt een diepe analogie tussen de getaltheorie over $\mathbb{Z}$ en de ring $F_2[x]$ . Net zoals er in de gehele getallen geen set van 4 bestaat met alle paarsgewijze sommen als machten van 2, geldt dit ook voor polynomen in $F_2[x]$ (waarbij de sommen "gesplitst" moeten zijn).
Methodologische bijdrage: Het paper toont aan dat complexe problemen over polynoomringen kunnen worden opgelost met elementaire algebraïsche middelen (zoals het analyseren van exponenten en delers) in combinatie met beperkte computerberekeningen.
Beperkingen: Het probleem is te complex om puur computationeel op te lossen voor hoge graden, maar de theoretische structuur (zoals vastgelegd in Lemma 9) beperkt de zoekruimte zodanig dat een volledige classificatie mogelijk is.
Toekomst: De auteur suggereert dat het probleem zonder de theoretische inzichten waarschijnlijk onoplosbaar zou zijn geweest met alleen computationele methoden.

Samenvattend bewijst Gallardo dat $m=5$ het minimale getal is waarbij de eigenschap "alle paarsgewijze sommen splitsen" onmogelijk wordt voor een verzameling van $m$ verschillende polynomen in $F_2[x]$ .