🔢 mathematics

On an entropic analogue of additive energy

Dit artikel introduceert en analyseert een entropisch analogon van additieve energie, bestudeert de rol daarvan in Tao's entropievariant van de Balog–Szemerédi–Gowers-stelling, en formuleert som-product-conjecturen voor eindige velden.

Oorspronkelijke auteurs: Marcel K. Goh

Gepubliceerd 2026-04-02

📖 5 min leestijd🧠 Diepgaand

CC BY 4.0

Oorspronkelijke auteurs: Marcel K. Goh

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 twee verschillende talen spreekt. De ene taal is combinatoriek: hier tel je dingen. Hoe groot is een stapel appels? Hoeveel verschillende combinaties kun je maken als je twee stapels fruit bij elkaar doet? De andere taal is informatietheorie: hier meet je onzekerheid. Hoeveel verrassing zit er in een bericht? Hoeveel informatie heb je nodig om een willekeurig getal te raden?

Deze tekst, geschreven door Marcel K. Goh, gaat over een fascinerend bruggetje tussen die twee talen. Hij laat zien dat je wiskundige regels over het "optellen van groepen" (combinatoriek) kunt vertalen naar regels over het "optellen van onzekerheid" (informatie).

Hier is een uitleg in gewone taal, met een paar creatieve vergelijkingen.

1. Het Grote Vertaalwoordenboek

In de wiskunde kijken we vaak naar verzamelingen (groepen getallen). Als je twee groepen getallen bij elkaar optelt (bijvoorbeeld alle getallen in groep A + alle getallen in groep B), krijg je een nieuwe groep. Soms is die nieuwe groep heel groot, soms heel klein.

Goh zegt: "Laten we in plaats van groepen getallen, kijken naar willekeurige variabelen (zoals het gooien van een dobbelsteen of het trekken van een kaart)."

In plaats van het aantal getallen in een groep, kijken we naar de entropie. Entropie is een maat voor hoe "chaotisch" of "onvoorspelbaar" iets is.
- Vergelijking: Als je een dobbelsteen gooit met 6 zijden, is de entropie hoog (je weet niet wat er komt). Als je een dobbelsteen gooit die altijd 6 laat zien, is de entropie nul (geen verrassing).
In plaats van het optellen van groepen (A + B), kijken we naar het optellen van willekeurige uitkomsten (X + Y).

De kernvraag van het papier is: Wat gebeurt er met de "onzekerheid" als je twee dingen optelt?

2. De "Optel-Energie" (Additieve Energie)

In de wereld van groepen getallen bestaat er een concept genaamd additieve energie. Dit meet hoeveel "overlapping" er is.

Vergelijking: Stel je hebt een groep mensen. Als je iedereen een nummer geeft en ze tellen hun nummers bij elkaar op, krijg je een lijst met sommen.
- Als er maar één manier is om een som te maken (bijv. 5+5=10, 6+4=10, maar dat is het), is de energie laag. Alles is uniek.
- Als er duizenden manieren zijn om dezelfde som te maken (veel mensen hebben dezelfde nummers), is de energie hoog. Er is veel herhaling.

Goh introduceert een entropische versie hiervan. Hij noemt dit de "entropische additieve energie". In plaats van te tellen hoeveel manieren er zijn, meet hij hoeveel informatie er "verloren gaat" of "herhaald wordt" wanneer je twee willekeurige variabelen optelt.

Hoge energie: De som is erg voorspelbaar. Het is alsof je twee mensen hebt die altijd precies hetzelfde zeggen; als je hun woorden optelt, krijg je geen nieuwe informatie.
Lage energie: De som is erg verrassend. Het is alsof je twee mensen hebt die totaal verschillende dingen zeggen; de combinatie is een nieuwe, unieke boodschap.

3. De Grote Omkering: Tao's Theorema

Een van de beroemdste resultaten in dit vakgebied is het Balog–Szemerédi–Gowers-theorema. In de wereld van groepen zegt dit:

"Als je een groep mensen hebt waarbij er veel 'overlap' is in hun sommen (hoge energie), dan moet er een kleinere, dichte subgroep zijn die heel 'ordelijk' is (hun sommen zijn niet te groot)."

Goh vertaalt dit naar de wereld van informatie:

"Als je twee willekeurige variabelen hebt die veel 'overlap' hebben in hun optelsom (hoge entropische energie), dan kun je ze 'filteren' (conditie stellen) zodat ze bijna onafhankelijk worden, maar hun som blijft toch voorspelbaar."

Dit klinkt als magie, maar het is een krachtig bewijsmiddel. Het helpt wiskundigen om te begrijpen hoe structuren zich gedragen in de chaos van willekeur.

4. De "Sidon-Set": De Perfecte Solisten

Het papier kijkt ook naar het uiterste tegenovergestelde: situaties waar de energie heel laag is.
In de combinatoriek zijn dit Sidon-sets.

Vergelijking: Stel je een orkest voor. In een Sidon-set is elke combinatie van twee instrumenten uniek. Als je viool + fluit hoort, is dat een unieke klank die nergens anders in het orkest voorkomt. Er is geen enkele overlap.
Goh toont aan dat willekeurige variabelen die gedragen als Sidon-sets, een specifieke "entropische grens" hebben. Ze zijn zo onvoorspelbaar dat hun som bijna even veel informatie bevat als de individuele delen.

5. Het Som-Product Raadsel

Tot slot kijkt Goh naar een beroemd probleem: de som-product conjectuur.
De vraag is: Kun je een groep getallen hebben waarbij zowel het optellen als het vermenigvuldigen "saai" is (veel overlap)?

Het antwoord is meestal nee. Als je groep goed is in optellen (veel overlap), is hij slecht in vermenigvuldigen (weinig overlap), en andersom.
Goh stelt een entropische versie van deze conjectuur op. Hij vermoedt dat voor willekeurige variabelen, je niet tegelijkertijd een hoge "optel-energie" én een hoge "vermenigvuldigings-energie" kunt hebben (tenzij je in een heel specifieke, saaie situatie zit).

Waarom is dit belangrijk?

Dit papier is niet alleen maar abstract gezeur. Het laat zien dat de regels die gelden voor het tellen van appels (combinatoriek) en de regels voor het meten van onzekerheid (informatie) diep met elkaar verbonden zijn.

Voor de wiskundige: Het geeft nieuwe, krachtige bewijzen voor oude problemen.
Voor de leek: Het is een herinnering dat de wereld vaak op twee manieren te bekijken is: als een verzameling van losse objecten, of als een stroom van informatie. En soms, als je de taal van de ene wereld vertaalt naar de andere, zie je patronen die je anders nooit had gezien.

Kortom: Goh heeft een nieuwe "vertaler" gebouwd die ons helpt te begrijpen hoe chaos en orde samenwerken, of je nu kijkt naar getallen of naar onzekerheid.

Titel: Over een entropisch analogon van additieve energie

Auteur: Marcel K. Goh (McGill University)
Vakgebied: Additieve Combinatoriek, Informatietheorie, Entropie

1. Probleemstelling en Context

De afgelopen twee decennia is er een groeiende interesse in de analogie tussen de wereld van de additieve combinatoriek (die zich bezighoudt met sommen van verzamelingen, $A+B$ , en hun kardinaliteiten) en de informatietheorie (die zich bezighoudt met sommen van stochastische variabelen, $X+Y$ , en hun entropie, $H$ ).

De kernvraag van dit artikel is het vinden van een natuurlijk entropisch equivalent voor de additieve energie $E(A, B)$ . In de combinatoriek is de additieve energie gedefinieerd als het aantal kwadrupletten $(a, a', b, b')$ zodanig dat $a+b = a'+b'$ . Een hoge energie impliceert veel redundantie in de sommen (veel manieren om hetzelfde element te vormen), terwijl lage energie impliceert dat de sommen uniek zijn (zoals bij Sidon-verzamelingen).

Goh onderzoekt of de grootheid $2H\{X, Y\} - H\{X+Y\}$ een geldig en nuttig entropisch analogon is, en hoe deze grootheid zich verhoudt tot bestaande theorema's zoals die van Balog–Szemerédi–Gowers en de som-product-problematiek.

2. Methodologie

Het artikel bouwt de theorie op vanuit de Khintchine–Shannon-axioma's voor entropie. De auteur gebruikt een symbolische vertaalslag:

Verzamelingen $A$ $\rightarrow$ Stochastische variabelen $X$ .
Logaritmen van kardinaliteiten $\log |A|$ $\rightarrow$ Entropie $H\{X\}$ .
Sommen van verzamelingen $A+B$ $\rightarrow$ Sommen van variabelen $X+Y$ .

Belangrijke methodologische stappen:

Definitie van Entropische Additieve Energie: De auteur definieert de entropische additieve energie $A\{X, Y\}$ als:
$A\{X, Y\} = 2H\{X, Y\} - H\{X+Y\}$
Dit wordt afgeleid uit een constructie met conditioneel onafhankelijke trials $(X_1, Y_1)$ en $(X_2, Y_2)$ ten opzichte van $X+Y$ , waarbij $X_1+Y_1 = X_2+Y_2 = X+Y$ .
Vergelijking met Kardinaliteit: Er wordt bewezen dat voor uniforme variabelen op verzamelingen $A$ en $B$ , de entropische energie de klassieke energie $E(A, B)$ en de grootte van de somset $|A+B|$ in een bepaalde zin begrenst.
Analyse van Regimes: Het artikel analyseert twee regimes:
- Grote energie: Waar $A\{X, Y\}$ groot is (dicht bij $3/2(H\{X\} + H\{Y\})$ ).
- Kleine energie: Waar $A\{X, Y\}$ klein is (dicht bij $H\{X\} + H\{Y\}$ ).
Submodulariteit en Subadditiviteit: De bewijzen maken veel gebruik van eigenschappen van conditionele entropie, submodulariteit en de "tensor power trick" om ongelijkheden af te leiden.

3. Belangrijkste Bijdragen en Resultaten

A. Fundamentele Eigenschappen van $A\{X, Y\}$

De auteur toont aan dat $A\{X, Y\}$ veel eigenschappen deelt met de klassieke additieve energie, maar dat de vertaling niet altijd triviaal is.
Propositie 1: Voor uniforme variabelen geldt: $\log \frac{|A|^2|B|^2}{|A+B|} \leq A\{U_A, U_B\} \leq \log E(A, B)$ .
Niet-equivalentie van ongelijkheden: Een belangrijke bevinding is dat de ongelijkheid $E(A, B) \leq E(A, A)^{1/2}E(B, B)^{1/2}$ (Cauchy-Schwarz voor energie) niet direct vertaalbaar is naar de entropische setting. Er kunnen variabelen gevonden worden waarbij $A\{X, Y\} > \frac{1}{2}A\{X\} + \frac{1}{2}A\{Y\}$ .

B. Het Grote-Energie Regime en de Entropische Balog–Szemerédi–Gowers Stelling

In de klassieke combinatoriek impliceert een grote additieve energie dat er grote deelverzamelingen bestaan met een kleine somset.
Theorema 6 (Entropische Balog–Szemerédi–Gowers): Als $A\{X, Y\}$ $A {X, Y}$ groot is (d.w.z. $A\{X, Y\} \geq \frac{3}{2}H\{X\} + \frac{3}{2}H\{Y\} - \log C$ $A {X, Y} \geq \frac{3}{2} H {X} + \frac{3}{2} H {Y} - lo g C$ ), dan bestaan er conditionele variabelen $X_1, Y_2$ $X_{1}, Y_{2}$ (afgeleid van $X, Y$ $X, Y$ via conditionering op $X+Y$ $X + Y$ ) zodanig dat:
1. Ze conditioneel onafhankelijk zijn ten opzichte van $X+Y$ .
2. Hun conditionele entropieën $H\{X_1 | X+Y\}$ en $H\{Y_2 | X+Y\}$ groot blijven (vergelijkbaar met de originele entropie).
3. De entropie van hun som $H\{X_1 + Y_2 | X+Y\}$ klein is.
Dit verschaft een vereenvoudigde en directere bewijsvoering voor Tao's entropische variant van de Balog–Szemerédi–Gowers stelling.

C. Het Kleine-Energie Regime en Sidon-sets

Sidon-sets: In de combinatoriek zijn Sidon-sets verzamelingen waarbij alle paren sommen uniek zijn ( $a+b=a'+b' \implies \{a,b\}=\{a',b'\}$ ). Dit correspondeert met minimale additieve energie.
Entropische Sidon-variabelen: De auteur definieert een variabele als "Sidon" als de verdubbelingsconstante $s\{X\} = H\{X+X'\} - H\{X\}$ dicht bij $H\{X\}$ ligt (d.w.z. $s\{X\} \geq H\{X\} - 1$ ).
Propositie 11: Voor elke verdeling op een Sidon-set geldt $s\{X\} \geq H\{X\} - 1$ .
Er wordt aangetoond dat een variabele "Sidon" kan zijn zonder dat het bereik van de variabele een Sidon-set is (een nuance die in de entropische setting belangrijk is).

D. Multiplicatieve Energie en Som-Product Conjecturen

De auteur definieert multiplicatieve energie $M\{X, Y\} = 2H\{X, Y\} - H\{XY\}$ voor variabelen in een ring/veld.
Conjecture 14 (Entropische Bourgain–Katz–Tao stelling): In het eindige veld $\mathbb{F}_p$ , als een variabele $X$ een hoge multiplicatieve energie heeft (dicht bij $3H\{X\}$ ), dan moet de additieve energie $A\{X\}$ klein zijn (en vice versa), mits de entropie van $X$ niet te klein of te groot is (geen triviale deellichamen).
Conjecture 18 (Entropische Erdős–Szemerédi): Voor variabelen op de reële lijn $\mathbb{R}$ , geldt dat $\max(A\{X\}, M\{X\}) \leq (3-\epsilon + o(1))H\{X\}$ . Dit betekent dat een variabele niet zowel hoge additieve als hoge multiplicatieve energie kan hebben.
De auteur toont aan dat als deze conjectuur waar is, dit de klassieke som-product-grenzen impliceert, maar recente resultaten (Li et al., 2024) suggereren dat de constante $\epsilon$ beperkt is tot $1/3$ , wat betekent dat deze entropische aanpak de beste klassieke exponenten niet kan verbeteren.

4. Significantie en Impact

Unificatie van Theorieën: Het artikel versterkt de brug tussen additieve combinatoriek en informatietheorie door een robuust entropisch equivalent voor een fundamentele combinatorische grootheid (additieve energie) te definiëren en te analyseren.
Vereenvoudiging van Bewijzen: Het biedt een nieuw perspectief op Tao's entropische Balog–Szemerédi–Gowers stelling, waarbij de bewijzen worden gestructureerd rondom de grootheid $A\{X, Y\}$ in plaats van complexe conditioneringsconstructies.
Nuance in Vertaling: Het artikel waarschuwt voor de valkuilen van de "symbolische manoeuvre" (verzameling $\to$ variabele). Niet elke combinatorische ongelijkheid vertaalt zich direct of in dezelfde richting naar de entropische wereld, vooral vanwege de afhankelijkheid van de gezamenlijke verdeling (joint distribution) in plaats van alleen de marginaalverdelingen.
Nieuwe Conjecturen: Het introduceert nieuwe entropische conjecturen voor het som-product-probleem, die als testbed kunnen dienen voor de grenzen van de huidige kennis in zowel combinatoriek als informatie-theoretische ongelijkheden.
Relatie met Recent Werk: Het artikel erkent en positioneert zich ten opzichte van recente preprints (Li, Gavalakis, Kontoyiannis) die resultaten generaliseren naar differentie-entropie, maar behoudt de focus op discrete variabelen om de narratieve lijn van de literatuur te bewaren.

Conclusie:
Goh's werk levert een grondige theoretische onderbouwing voor het gebruik van entropie als maatstaf voor additieve structuur. Het definieert een nieuwe grootheid die niet alleen een analogon is, maar ook bruikbare eigenschappen heeft om diepe stellingen in de additieve getaltheorie te herformuleren en te bewijzen, terwijl het tegelijkertijd de subtiliteiten en beperkingen van deze vertaling blootlegt.