Nine-distance theorem and growth of best-approximation denominators

Technische Samenvatting: Negen-Afstandstheorema en Groei van Best-Approximatie Denominatoren

Probleemstelling
Het artikel behandelt de hogere-dimensionale analogon van de klassieke drie-afstandstheorema (Steinhaus-conjectuur). In één dimensie stelt de stelling dat de intervallen tussen de eerste $N$ punten van een Kronecker-sequentie $\{n\alpha \pmod 1\}_{n=1}^N$ op de cirkel ten hoogste drie verschillende waarden aannemen. De auteur onderzoekt het aantal verschillende naburige afstanden, aangeduid als $g_N(\alpha, L)$, gegenereerd door de eerste $N$ baanpunten van een Kronecker-sequentie op een vlakke $d$-dimensionale torus $V/L$.

Voorafgaand aan dit werk stelden Haynes en Marklof een bovengrens van 5 vast voor het planaire geval ($d=2$) en bewezen zij dat dit scherp is. Voor dimensie $d=3$ leverden zij een bovengrens van 13 en vermoedden zij dat de optimale universele bovengrens 9 is. Dettmann had eerder een voorbeeld aangetoond op de kubische drie-torus waar 9 verschillende afstanden voorkomen, wat suggereert dat 9 de scherpe bovengrens is voor $d=3$. Het centrale probleem is het bepalen van de optimale dimensie-uniforme bovengrens voor $g_N(\alpha, L)$ en het beslechten van de conjectuur voor $d=3$.

Methodologie
Het primaire instrument dat is ontwikkeld is een nieuwe groeitheorema voor de denominatoren van beste simultane approximaties in een $d$-dimensionale inproductruimte. Laat $q_1 < q_2 < \dots$ de sequentie van gehele getallen zijn waarbij de afstand $\rho(q) = \text{dist}(q\alpha, L)$ een nieuwe strikte minimum bereikt.

De auteur bewijst een structurele stelling (Theorem 1.4) betreffende de groei van deze denominatoren. Specifiek, voor $M=2d$, wanneer $q_{n+M}$ gedefinieerd is, moet één van de twee volgende condities gelden:

1. Snelle Groei: $q_{n+2d} \ge 2q_{n+1}$.
2. Additieve Structuur: De verzameling indices $\{1, \dots, 2d\}$ kan worden gepartitioneerd in disjuncte paren $\{j, k\}$ met $j < k$ zodanig dat $q_{n+k} = q_n + q_{n+j}$.

Dit resultaat is afgeleid van een combinatie van:

• Somvrije verzamelingstheorie: Het toepassen van een klassieke grens op somvrije deelverzamelingen in $\mathbb{F}_2^{d+1}$ (Lemma 3.1) op de pariteit-klassen van de coördinaatvectoren van de beste approximaties.
• Geometrische identiteiten: Het gebruik van een gegeneraliseerde parallellogramwet (Lemma 3.2) om tegenstrijdigheden af te leiden indien de additieve structuur faalt, waardoor de snelle groei-conditie wordt afgedwongen.

Het artikel herbekijkt ook de relatie tussen naburige afstanden en best-approximatie denominatoren, volgend in het kader van Chevallier en Haynes-Marklof. Het stelt vast dat het aantal verschillende afstanden begrensd wordt door het aantal best-approximatie denominatoren dat binnen een specifiek interval valt relatief aan $N$.

Belangrijkste Resultaten

1. Het Negen-Afstandstheorema (Theorem 1.2): Voor elke driedimensionale reële inproductruimte, vol-rang rooster en rotatievector, is het aantal verschillende naburige afstanden onder de eerste $N$ baanpunten maximaal 9. Dit bevestigt de conjectuur van Haynes en Marklof.
2. Dimensie-Uniforme Bovengrens (Theorem 1.1): Voor elke dimensie $d \ge 1$ voldoet het aantal verschillende afstanden aan $g_N(\alpha, L) \le 2d + 1$.
3. Scherpte: De bovengrens is getoond als scherp voor dimensies $d=1, 2,$ en $3$. Het $d=3$ geval is scherp vanwege het voorbeeld van Dettmann dat exact 9 afstanden oplevert.
4. Groeipercentage Corolarium (Corollary 3.3): De auteur leidt een ondergrens af voor de exponentiële groeivoet van de best-approximatie denominatoren. Voor $d \ge 2$, $\liminf_{n \to \infty} q_n^{1/n} \ge 2^{1/(2d-1)}$. Dit verbetert de eerdere ondergrenzen voor $d=2$ (verbetering van Ermakovs grens van $\approx 1.228$ naar $\approx 1.260$).

Vergelijking met Bestaande Grenzen
Het artikel vergelijkt de nieuwe grens ($2d+1$) met de grens die wordt afgeleid van het kissing-getal (of contactgetal) $\sigma_d$, welke $g_N \le \sigma_d + 1$ oplevert.

• Voor $d=3$ is de kissing-getal grens 13, terwijl de nieuwe grens 9 is.
• Voor $d=8$ is de nieuwe grens 17, terwijl de kissing-getal grens (gebruikmakend van de strikte ongelijkheid definitie $\sigma^>_d$) 240 is.
  De auteur merkt op dat hoewel de kissing-getal grens historisch significant is en impliciet aanwezig is in eerder werk dat de resultaten van Chevallier en Romanov combineert, de nieuwe $2d+1$ grens superieur is voor kleine dimensies en een dimensie-uniforme lineaire grens biedt, terwijl de kissing-getal grens exponentieel groeit.

Betekenis
Het artikel claimt de specifieke conjectuur betreffende het negen-afstandstheorema in dimensie drie te hebben beslecht en biedt een algemene, dimensie-uniforme bovengrens voor het aantal verschillende naburige afstanden in vlakke tori. De betekenis ligt in de introductie van een nieuw groeitheorema voor best-approximatie denominatoren dat van toepassing is op elke inproductnorm (niet alleen de supremumnorm) en een precieze beschrijving bevat van het uitzonderlijke geval waar snelle groei niet optreedt. Dit structurele inzicht maakt een nauwere controle mogelijk over de distributie van baanpunten dan voorheen beschikbaar via louter geometrische roosterargumenten. De resultaten worden gepresenteerd als definitief voor de gestelde problematiek, waarbij de grenzen als optimaal zijn bewezen voor de eerste drie dimensies.