🔢 mathematics

Density of Visible Lattice Points on Hyperplanes and their Intersections

Dit artikel berekent de asymptotische dichtheid van zichtbare roosterpunten op hypervlakken en hun snijpunten, toont aan dat deze dichtheid wordt gegeven door de Jordan-totientfunctie, en onderzoekt de verzameling van alle mogelijke dichtheden voor een vaste dimensie.

Oorspronkelijke auteurs: Finnley Goss, Kelly McKinnie

Gepubliceerd 2026-03-25

📖 5 min leestijd🧠 Diepgaand

CC BY 4.0

Oorspronkelijke auteurs: Finnley Goss, Kelly McKinnie

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 oneindig groot rooster hebt, zoals een gigantisch schaakbord dat zich in alle richtingen uitstrekt. Op elk snijpunt van dit rooster staat een stip. In de wiskunde noemen we deze stippen roosterpunten.

De auteurs van dit artikel, Finnley Goss en Kelly McKinnie, kijken naar een heel specifiek spelletje met deze stippen. Ze vragen zich af: "Welke stippen kun je 'zien'?"

Wat betekent "zichtbaar"?

Stel je voor dat je in het midden van het rooster staat (in de oorsprong, punt 0,0). Je kijkt naar een stip verderop.

Als er geen andere stip tussen jou en die stip staat, kun je die stip zien.
Als er een andere stip precies in het midden van de lijn tussen jou en de doelstip staat, dan is je zicht geblokkeerd. Die stip is dan "onzichtbaar".

Wiskundig gezien is een stip zichtbaar als de getallen die haar positie beschrijven (bijvoorbeeld 3 en 4) geen gemeenschappelijke deler hebben (behalve 1). Als ze wel een gemeenschappelijke deler hebben (bijvoorbeeld 2 en 4, die beide deelbaar zijn door 2), dan staat er een "muur" van andere stippen in de weg.

Het grote probleem: De muur van de hyperplaat

Tot nu toe hebben wiskundigen al berekend hoeveel zichtbare stippen er gemiddeld zijn in het hele oneindige rooster. Maar wat gebeurt er als we niet naar het hele rooster kijken, maar alleen naar stippen die op een specifieke lijn of vlak liggen?

Stel je voor dat je een oneindig groot stuk touw (een lijn) of een oneindig groot stuk plastic (een vlak) door je rooster trekt.

Soms ligt er een lijn precies door de stippen heen.
Soms ligt een lijn tussen de stippen in, zodat er geen enkele stip op ligt.

De auteurs willen weten: Als je alleen naar de stippen op zo'n lijn of vlak kijkt, hoeveel daarvan zijn dan zichtbaar? En hoe verandert dit als je de lijn of het vlak verschuift?

De ontdekkingen (vertaald naar alledaags taal)

1. Het geheim van de "Jordan-totient" (De teller van de zichtbaarheid)
De auteurs ontdekken een prachtige regel. Als je een lijn of vlak hebt die door het rooster loopt, hangt het percentage zichtbare stippen af van één ding: waar de lijn precies staat.

Als de lijn door het midden loopt (bijvoorbeeld $x + y = 0$ ), is het percentage zichtbare stippen gelijk aan het bekende gemiddelde voor het hele rooster.
Maar als je de lijn verschuift (bijvoorbeeld $x + y = 5$ ), verandert het percentage.
Ze hebben een formule bedacht (met een naam als "Jordan-totient") die precies voorspelt welk percentage zichtbaar is. Het is alsof elke lijn een eigen "zichtbaarheids-ID" heeft, bepaald door de getallen in de vergelijking.

2. Het snijpunt van vlakken (De kruispunten)
Wat als je twee vlakken laat snijden? Dan krijg je een lijn. Wat als je drie vlakken laat snijden? Dan krijg je een punt.
De auteurs tonen aan dat je deze regels kunt combineren. Het is alsof je een complexe puzzel oplost: je neemt de regels voor lijnen, de regels voor vlakken, en mixt ze met een wiskundige techniek (Smith Normal Form) om te zien hoe de "zichtbaarheid" zich gedraagt op de kruispunten.

3. De "k-vrije" stippen (Niet alleen zichtbaar, maar ook vrij van kwadraten)
Ze gaan nog een stapje verder. Wat als we niet alleen kijken of een stip zichtbaar is, maar ook of de getallen erachter "vrij" zijn van bepaalde patronen?

Bijvoorbeeld: stippen waarbij de getallen geen kwadraat hebben (geen deelbaar door 4, 9, 16, etc.).
Ze tonen aan dat je voor deze complexere regels ook precies kunt berekenen hoe vaak ze voorkomen op lijnen en vlakken.

4. De "gatjes" in de wereld van de dichtheid (Het belangrijkste verrassing)
Dit is misschien wel het meest fascinerende deel.
Stel je voor dat je alle mogelijke percentages van zichtbare stippen verzamelt.

Voor een 2D-rooster (vlakke lijnen) bleek dat je elk percentage tussen 0 en 1 kunt benaderen. Het is alsof je een ladder hebt met oneindig kleine sporten; je kunt overal staan.
Maar voor hogere dimensies (3D, 4D, etc.) ontdekten ze iets verrassends: Er zijn gaten.
Er zijn bepaalde percentages die je nooit kunt bereiken met een lijn of vlak in een 3D-rooster. Het is alsof je ladder nu een paar sporten mist. Je kunt wel op 0,3 staan en op 0,4, maar niet op 0,35. Er is een "verboden zone" in het spectrum van mogelijke percentages.

Waarom is dit belangrijk?

Dit klinkt misschien als abstract wiskundig gedoe, maar het is eigenlijk een zoektocht naar de orde in het chaos.

Het laat zien dat zelfs in een oneindig, willekeurig ogend rooster van stippen, er diepe, voorspelbare patronen zijn.
Het helpt wiskundigen begrijpen hoe getallen zich gedragen in complexe ruimtes.
Het toont aan dat de wereld van "hogere dimensies" (3D en verder) fundamenteel anders werkt dan onze 2D-wereld: er zijn meer beperkingen en meer "gaten" in de mogelijkheden.

Kortom:
De auteurs hebben een nieuwe manier gevonden om te tellen hoeveel "zichtbare" stippen er op specifieke lijnen en vlakken in een oneindig rooster staan. Ze hebben bewezen dat dit aantal afhangt van de positie van het vlak, en dat in hogere dimensies er bepaalde percentages zijn die simpelweg niet kunnen bestaan. Het is een mooi voorbeeld van hoe wiskunde de verborgen structuur van de getallenwereld blootlegt.

Titel: Dichtheid van Zichtbare Roosterpunten op Hypervlakken en Hun Snijpunten

Auteurs: Finnley Goss en Kelly McKinnie
Datum: 25 maart 2026 (voorgesteld)

1. Probleemstelling

Het paper onderzoekt de asymptotische dichtheid van zichtbare roosterpunten (visible lattice points) binnen specifieke deelverzamelingen van $\mathbb{Z}^n$ .

Definitie: Een roosterpunt $\mathbf{x} = (x_1, \dots, x_n) \in \mathbb{Z}^n$ is "zichtbaar" als het lijnstuk tussen $\mathbf{x}$ en de oorsprong geen andere roosterpunten bevat. Dit is equivalent aan de voorwaarde dat $\gcd(x_1, \dots, x_n) = 1$ .
Klassiek resultaat: De asymptotische dichtheid van zichtbare punten in de volledige ruimte $\mathbb{Z}^n$ is bekend als $1/\zeta(n)$ , waarbij $\zeta$ de Riemann-zetafunctie is.
Het nieuwe probleem: De auteurs berekenen deze dichtheid voor punten die liggen op hypervlakken (gedefinieerd door lineaire vergelijkingen $\mathbf{a} \cdot \mathbf{x} = b$ ) en op de snijpunten van dergelijke hypervlakken. Ze onderzoeken ook de structuur van de verzameling van alle mogelijke dichtheden die voor een vaste dimensie $n$ kunnen optreden.

2. Methodologie

De auteurs combineren meetkundige transformaties, getaltheoretische functies en zeefmethoden (sieve methods) om hun resultaten af te leiden.

GL $_n(\mathbb{Z})$ Transformaties: Om de berekening te vereenvoudigen, worden lineaire transformaties met gehele coëfficiënten en determinant $\pm 1$ (elementen van $GL_n(\mathbb{Z})$ ) toegepast. Een cruciaal lemma (Lemma 3.2) stelt dat dergelijke transformaties de eigenschap "zichtbaar zijn" (d.w.z. $\gcd(\mathbf{x})=1$ ) behouden.
Smith Normal Form (SNF): Voor systemen van lineaire vergelijkingen (snijpunten van hypervlakken) gebruiken de auteurs de Smith Normal Form van de coëfficiëntenmatrix. Dit stelt hen in staat om het snijpunt van hypervlakken te transformeren naar een standaardpositie (bijv. $y_1 = c_1, \dots, y_m = c_m$ ), waardoor de analyse reduceert tot een probleem in een lagere dimensie.
Zeefmethoden en Jordan-totient: De auteurs generaliseren klassieke zeefargumenten (gebaseerd op de Möbiusfunctie) om punten te tellen die copriem zijn met een vast geheel getal $b$ . Ze maken gebruik van de Jordan-totientfunctie $J_k(b)$ , die het aantal $k$ -tupels definieert met een ggd die copriem is met $b$ .
Volume- en Aantalbenaderingen: Ze gebruiken bekende resultaten over het aantal roosterpunten in convexe domeinen (gebaseerd op werk uit [18]) om de relatie tussen het volume van een domein en het aantal zichtbare punten daarin te kwantificeren, met fouttermen van orde $O(\omega^{n-1})$ .

3. Belangrijkste Bijdragen en Resultaten

A. Dichtheid op Hypervlakken

De hoofdstelling (Theorema 3.3 en Corollary 3.4) geeft een expliciete formule voor de dichtheid van zichtbare punten op een hypervlak $\mathbf{a} \cdot \mathbf{x} = b$ in $\mathbb{R}^n$ (waarbij $\gcd(\mathbf{a})=1$ ):
$\rho(H) = \frac{J_{n-1}(b)}{b^{n-1}} = \prod_{p|b} \left(1 - \frac{1}{p^{n-1}}\right)$

Als $b=0$ , is de dichtheid $1/\zeta(n-1)$ .
Als $b=\pm 1$ , is de dichtheid $1$ (alle punten zijn zichtbaar).
De formule hangt af van de priemfactoren van $b$ en de dimensie $n$ .

B. Dichtheid op Snijpunten

Voor het snijpunt van $s$ hypervlakken in $\mathbb{R}^n$ (met rang $m$ van het stelsel) wordt de dichtheid gegeven door:
$\rho = \prod_{p | \gcd(p'_1, \dots, p'_m)} \left(1 - \frac{1}{p^{n-m}}\right)$
Hierbij zijn $p'_i$ de coördinaten van het getransformeerde punt na toepassing van de Smith Normal Form. Dit generaliseert het resultaat voor één hypervlak.

C. $k$ -vrije Roosterpunten

In Sectie 4 generaliseren de auteurs de resultaten naar $k$ -vrije punten. Een punt is $k$ -vrij als de ggd van zijn coördinaten niet deelbaar is door de $k$ -de macht van een priemgetal.

De dichtheid van $k$ -vrije punten op een hypervlak wordt:
$\prod_{p^k | b} \left(1 - \frac{1}{p^{k(n-1)}}\right)$
Dit omvat het klassieke geval ( $k=1$ , zichtbare punten) als een speciaal geval.

D. Structuur van de Verzameling van Dichtheden

In Sectie 5 onderzoeken de auteurs de verzameling $D_n$ van alle mogelijke dichtheden voor een vaste dimensie $n$ .

Dimensie $n=2$ (Lijnen in $\mathbb{R}^2$ ): De verzameling dichtheden is $\{ \varphi(b)/b \mid b \in \mathbb{Z} \}$ . Volgens eerdere resultaten (Schinzel en Sierpiński) is deze verzameling dicht in het interval $[0, 1]$ .
Dimensie $n > 2$ : De auteurs bewijzen (Theorema 5.2) dat voor $n > 2$ de verzameling $D_n$ niet dicht is in het interval $[1/\zeta(n-1), 1]$ . Er bestaan "gaten" (gaps) in de mogelijke waarden.
Structuur: Theorema 5.4 toont aan dat $D_n$ voor $n \geq 2$ een eindige unie van compacte intervallen is.
Specifiek resultaat voor $n=3$ (Vlakken in $\mathbb{R}^3$ ): In Theorema 5.6 wordt de verzameling $D_2$ (dichtheden van vlakken in $\mathbb{R}^3$ ) exact berekend als de unie van vier specifieke intervallen, gescheiden door gaten.

4. Significatie

Dit paper biedt een fundamentele uitbreiding van de klassieke theorie van zichtbare roosterpunten:

Veralgemening: Het verlegt de focus van de volledige ruimte $\mathbb{Z}^n$ naar lagere-dimensionale deelvariëteiten (hypervlakken en hun snijpunten).
Exacte Formules: Het levert exacte, berekenbare formules op die afhankelijk zijn van de meetkunde van het hypervlak (via de Smith Normal Form) en de getaltheoretische eigenschappen van de constante term $b$ .
Structuur van Dichtheden: Het weerlegt de intuïtie dat de verzameling van mogelijke dichtheden altijd dicht is in het relevante interval voor hogere dimensies. Het toont aan dat voor $n > 2$ de dichtheden een "gebroken" structuur hebben (eindige unie van intervallen), wat een nieuw inzicht biedt in de verdeling van roosterpunten op lineaire variëteiten.
Methodologische Koppeling: Het paper verbindt succesvol lineaire algebra (SNF), analytische getaltheorie (Jordan-totient, zeta-functies) en meetkunde (dichtheid in convexe domeinen) om een coherent beeld te schetsen van deze problemen.

Samenvattend biedt dit werk een volledig kader voor het begrijpen van de asymptotische dichtheid van roosterpunten met specifieke ggd-eigenschappen op lineaire deelruimten, met toepasbare resultaten voor zowel theoretische getaltheorie als discrete meetkunde.