A measure of intelligence of an approximation of a real number in a given model

In dit artikel wordt een maatstaf voor intelligentie geïntroduceerd om de kwaliteit van benaderingen van reële getallen in een bepaald model te kwantificeren, waarbij wordt aangetoond dat deze theorie consistent is met de klassieke theorie van rationale Diophantische benadering.

De kern

De Slimheid van Benaderingen: Een Verhaal over Getallen

Stel je voor dat je een schat zoekt op een eiland. Je hebt een kaart, maar die kaart is niet perfect. Je kunt de schat benaderen door te zeggen: "Hij zit ongeveer hier." Maar niet alle benaderingen zijn even goed. Sommige zijn slim en creatief, andere zijn saai en voor de hand liggend.

In dit wetenschappelijke artikel introduceert de auteur, Bakir Farhi, een manier om de "slimheid" (of intelligentie) van zo'n benadering te meten. Hij wil weten: Is deze manier om een getal te benaderen echt slim, of is het gewoon een gok?

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

1. Het Dilemma: Nauwkeurigheid vs. Simpelheid

Stel, je wilt het getal $\pi$ (pi) benaderen.

• Optie A: Je zegt $\pi \approx 3,14159$. Dit is heel nauwkeurig, maar het getal is lang en rommelig. Het is als een recept dat 50 ingrediënten vereist om een simpele soep te maken.
• Optie B: Je zegt $\pi \approx \frac{22}{7}$. Dit is iets minder nauwkeurig, maar het getal is kort en simpel. Het is als een recept met slechts 3 ingrediënten dat bijna net zo lekker is.

Onze intuïtie zegt ons dat Optie B "slimmer" is. Waarom? Omdat het met heel weinig moeite (kleine getallen) een heel goed resultaat geeft. Farhi wil dit gevoel in een wiskundige formule gieten.

2. De "Intelligentie-Formule"

Farhi bedenkt een maatstaf, laten we hem de Intelligentie-Index noemen. Deze index kijkt naar twee dingen:

1. De Grootte van de Inspanning: Hoe groot zijn de getallen die je gebruikt? (Hoeveel cijfers hebben ze? Hoe complex is de formule?)
2. De Beloning: Hoe nauwkeurig is het resultaat? Hoeveel cijfers van het echte getal heb je goed?

De Gouden Regel:

• Als je met een kleine inspanning (kleine getallen) een grote beloning (veel juiste cijfers) haalt, is je benadering slim (intelligent).
• Als je met een enorme inspanning (grote, complexe getallen) maar een kleine beloning haalt, is je benadering dom (naïef).

De formule zegt: Een benadering is slim als de "slimheidsscore" groter is dan 1.

3. Voorbeelden uit het Dagelijks Leven

Farhi kijkt naar bekende benaderingen van $\pi$ en $e$ (het getal van Euler) en meet hun score:

• Archimedes' $\frac{22}{7}$: Dit is een klassieker. Je gebruikt de getallen 22 en 7. De score is hoog. Het is een slimme benadering.
• Ramanujan's benaderingen: De Indiase wiskundige Ramanujan was een genie. Zijn formules voor $\pi$ zijn vaak heel kort, maar geven een ongelooflijk nauwkeurig resultaat. Farhi toont aan dat deze formules een zeer hoge intelligentie-score hebben. Ze zijn als een magische truc: heel weinig werk, enorm veel resultaat.
• De "Domme" Gok: Als je $\pi$ benadert met een breuk waarbij de teller en noemer enorm groot zijn (bijvoorbeeld 314159/100000), is de score laag. Het is alsof je een hele berg blokken gebruikt om een muurtje van één steen te bouwen. Het werkt, maar het is niet slim.

4. De Magische Lijst (Ketenbreuken)

In de wiskunde bestaat er een speciale manier om getallen te schrijven die heet "ketenbreuken" (continued fractions). Farhi ontdekt iets fascinerends:

• Elke stap in deze speciale lijst is automatisch een slimme benadering.
• Het is alsof de natuur zelf een lijst met de slimste mogelijke manieren heeft gemaakt om getallen te benaderen. Als je deze lijst volgt, kun je niet fout gaan; je krijgt altijd een slimme oplossing.

Maar! Hij ontdekt ook dat er slimme benaderingen zijn die niet op deze lijst staan. Voor sommige getallen (zoals $\sqrt{2}$ en $\sqrt{5}$) zijn er nog meer slimme manieren om ze te benaderen die niemand had verwacht.

5. De Uitzondering: De "Liouville-Getallen"

Er is een heel speciale, rare categorie getallen (Liouville-getallen). Voor deze getallen kun je oneindig slimme benaderingen vinden. Je kunt ze benaderen met zo weinig inspanning en zo veel nauwkeurigheid dat de "slimheidsscore" oneindig hoog wordt.

• Voor de meeste bekende getallen (zoals $\pi$, $e$, of $\sqrt{2}$) is dit niet mogelijk. Er is een limiet aan hoe slim je kunt zijn. Je kunt niet oneindig veel winst maken met steeds minder moeite.

6. Het Grote Geheim (Het Open Probleem)

De auteur eindigt met een vraag die niemand nog kan beantwoorden:

• Is het voor elk getal mogelijk om een slimme benadering te vinden, zolang we maar een model gebruiken dat dicht bij dat getal ligt?

Het is alsof hij vraagt: "Is er voor elke schat op de wereld een slimme kaart die we kunnen tekenen?" We weten het voor de gewone getallen (zoals breuken), maar voor de mysterieuzere getallen weten we het nog niet zeker.

Samenvatting

Dit artikel is eigenlijk een zoektocht naar efficiëntie in de wiskunde.

• Dom: Veel cijfers gebruiken voor een klein resultaat.
• Slim: Weinig cijfers gebruiken voor een groot resultaat.

Farhi heeft een meetlat bedacht om te zien welke wiskundigen (zoals Archimedes en Ramanujan) de echte slimme koppen waren, en welke benaderingen gewoon "werkend" waren. Het is een eerbetoon aan de schoonheid van eenvoudige, maar krachtige getallen.

Technische samenvatting

Hier is een gedetailleerde technische samenvatting van het artikel "A measure of intelligence of an approximation of a real number in a given model" van Bakir Farhi, in het Nederlands.

Titel: Een maatstaf voor de intelligentie van een benadering van een reëel getal in een gegeven model

1. Het Probleem

Wiskundigen en calculatoren hebben zich eeuwenlang beziggehouden met het benaderen van belangrijke reële getallen (zoals $\pi$ en $e$) door waarden van functies met geheeltallige variabelen. Er bestaat een sterke intuïtie dat sommige benaderingen "interessanter" of "slimmer" zijn dan andere, zelfs als de minder slimme benadering numeriek nauwkeuriger is.

• Voorbeeld: De benadering $\pi \approx 22/7$ wordt als intelligenter beschouwd dan $\pi \approx 314159/100000$, hoewel de laatste een veel kleinere fout heeft. De reden is dat $22/7$eenvoudiger is (kleinere teller en noemer) en een convergent is van de kettingbreuk van$\pi$.
• De uitdaging: Er ontbreekt tot nu toe een strikte wiskundige definitie voor het woord "interessant" of "intelligent" in de context van getalbenaderingen. De vraag is hoe men de grootte/simpliciteit van een benadering en de nauwkeurigheid ervan kwantitatief kan combineren om een objectieve maatstaf te creëren.

2. Methodologie

De auteur introduceert een formeel raamwerk om de "intelligentie" van een benadering te meten, gebaseerd op de complexiteit van de gebruikte parameters.

• Benaderingsmodellen ($M$): Een model wordt gedefinieerd als een afbeelding $M: A \subset \mathbb{Z}^{*n} \to \mathbb{R}$, waarbij $n$ het aantal parameters is. Voorbeelden zijn:

  • Het rationale model: $a/b$.
  • Modellen met wortels: $a + b\sqrt{2}$, $a\sqrt{b} + c\sqrt{d}$, etc.

• Grootte en Logaritmische Grootte:

  • De grootte $s$ van een benadering $x \approx M(a_1, \dots, a_n)$ wordt gedefinieerd als het product van de absolute waarden van de parameters: $s = |a_1| \times \dots \times |a_n|$.
  • De logaritmische grootte is $s_{\log} = \log(s) = \sum \log|a_i|$. Dit correspondeert met het totale aantal cijfers in de parameters.

• De Maatstaf voor Intelligentie ($\mu$):
  De kern van de methode is de volgende intuïtie: een benadering is intelligent als het totale aantal cijfers in de parameters niet groter is dan het aantal correcte cijfers dat de benadering oplevert.

  De formule voor de maatstaf $\mu$ voor een benadering $x \approx M(a_1, \dots, a_n)$ is:
  $$\mu = \frac{\log|x| - \log|x - M(a_1, \dots, a_n)|}{\log|a_1 a_2 \dots a_n|}$$

  Waarbij:

  • De teller de logaritmische nauwkeurigheid vertegenwoordigt (het aantal correcte cijfers, inclusief het gehele deel).
  • De noemer de logaritmische complexiteit (grootte) van de benadering vertegenwoordigt.

• Classificatie:

  • Als $\mu \geq 1$: De benadering is intelligent.
  • Als $\mu < 1$: De benadering is naïef.
  • Hoe hoger de waarde van $\mu$, hoe "slimmer" de benadering.

3. Belangrijkste Bijdragen en Resultaten

A. Toepassing op bekende getallen ($\pi$ en $e$)
De auteur berekent $\mu$ voor diverse historische en nieuwe benaderingen:

• $\pi$:
  • $22/7$(Archimedes):$\mu \approx 1.55$ (Intelligent).
  • $355/113$(Zu Chongzhi):$\mu \approx 1.53$ (Intelligent, maar iets minder dan Archimedes ondanks hogere nauwkeurigheid).
  • $\sqrt{2} + \sqrt{3}$: $\mu \approx 3.63$ (Zeer intelligent door eenvoud).
  • Sommige benaderingen, zoals $20/11\sqrt{3}$, blijken naïef ($\mu \approx 0.92$) ondanks redelijke nauwkeurigheid.
• $e$:
  • $19/7$:$\mu \approx 1.33$.
  • Nieuwe benaderingen door de auteur, zoals $3 - \frac{1}{3}\sqrt{\frac{5}{7}}$, tonen zeer hoge waarden ($\mu \approx 3$), wat aangeeft dat ze extreem efficiënt zijn in termen van complexiteit versus nauwkeurigheid.

B. Rationale Benaderingen en Kettingbreuken
In het rationale model ($x \approx p/q$) worden sterke theoretische resultaten bewezen:

1. Kettingbreuk-convergenten: Elke reguliere kettingbreuk-convergent van een irrationaal getal is een intelligente benadering.
2. Existentie: Er bestaan oneindig veel intelligente rationale benaderingen voor elk irrationaal getal (gevolgd uit Dirichlet's benaderingstheorema).
3. Niet-convergenten: Er bestaan intelligente rationale benaderingen die geen kettingbreuk-convergenten zijn. De auteur bewijst stellingen (6.7 en 6.9) die specifieke voorwaarden geven (gebaseerd op de partiële quotiënten $a_n$) waarop zulke extra intelligente benaderingen bestaan.
   • Voorbeeld: Voor $\sqrt{2}$ zijn er oneindig veel intelligente benaderingen buiten de standaard kettingbreuk-convergenten om.

C. Liouville-getallen en Begrensde Intelligentie
Een cruciaal theoretisch resultaat betreft de relatie tussen de maatstaf $\mu$ en Liouville-getallen:

• Stelling 6.11: De verzameling van de maatstaven $\mu$ voor alle rationale benaderingen van een irrationaal getal $x$ is onbegrensd (kan willekeurig groot worden) als en slechts als $x$ een Liouville-getal is.
• Gevolg: Voor algebraïsche irrationale getallen (zoals $\sqrt{2}$, $\sqrt{5}$) en bekende transcedente getallen ($\pi, e, \log 2, \zeta(3)$) is de verzameling van $\mu$-waarden begrensd.
  • Dit betekent dat deze getallen geen "super-intelligente" benaderingen toelaten die willekeurig veel correcte cijfers genereren ten opzichte van de complexiteit van de parameters. Er is een fundamentele limiet aan hoe "slim" een benadering voor deze getallen kan zijn.

4. Significatie en Toekomstperspectief

• Formalisatie van Intuïtie: Het artikel slaagt erin om een vaag concept ("interessante benadering") om te zetten in een strikte wiskundige definitie die zowel nauwkeurigheid als complexiteit in één getal combineert.
• Verbinding met Diophantische Benadering: De maatstaf $\mu$ biedt een nieuw perspectief op de klassieke theorie van Diophantische benaderingen. Het koppelt de eigenschappen van kettingbreuken en de irrationaliteitsmaatstaf direct aan de "kwaliteit" van een benadering.
• Open Probleem: De auteur stelt een belangrijk open probleem: Geldt het dat voor elk model van benadering $M$ en elk getal $x$ in de sluiting van het beeld van $M$ (maar niet in het beeld zelf), er altijd intelligente benaderingen bestaan? Voor het rationale model is dit bewezen, maar voor complexere modellen ontbreekt een algemeen bewijs, mogelijk omdat de "duifprincipe" van Dirichlet daar niet direct toepasbaar is.

Conclusie:
Farhi presenteert een robuust meetinstrument ($\mu$) om de efficiëntie van getalbenaderingen te evalueren. Het werk bevestigt dat klassieke benaderingen vaak "intelligent" zijn, maar onthult ook fundamentele beperkingen voor bepaalde klassen van getallen (niet-Liouville), waarbij de "slimheid" van een benadering inherent begrensd is.