p-adic Ghobber-Jaming Uncertainty Principle

De Kern: Een Wiskundig Spel met "Onzekerheid"

Stel je voor dat je een geheim bericht hebt. Je wilt dit bericht opslaan, maar je hebt twee verschillende manieren om het te coderen. Laten we deze twee manieren noemen: Manier A en Manier B.

In de echte wereld (de wiskunde van de reële getallen) weten we al lang dat er een wet bestaat, de Onzekerheidsprincipe. Deze wet zegt: Je kunt een bericht niet tegelijkertijd perfect compact houden in Manier A én perfect compact houden in Manier B. Als je het bericht heel klein maakt in Manier A, moet het noodzakelijkerwijs groot en rommelig worden in Manier B.

Dit artikel van Krishna gaat over een heel speciaal soort wiskundige wereld: de p-adische wereld.

Wat is de "p-adische wereld"?

Stel je voor dat de gewone wiskunde een rechte lijn is, waar getallen oneindig dicht bij elkaar kunnen komen (zoals 1, 1.1, 1.01, 1.001...).
De p-adische wereld is daarentegen meer als een gigantische boom of een nestkast. In deze wereld zijn getallen niet dicht bij elkaar omdat ze op de getallenlijn dichtbij staan, maar omdat ze een gemeenschappelijke "stam" delen. Het is een vreemde wereld waar de regels van afstand en grootte anders werken dan we gewend zijn. Hier gelden de regels van de "niet-Archimedische" meetkunde.

Het Probleem: Twee Spiegels

Krishna kijkt naar een eindige ruimte (een ruimte met een vast aantal dimensies, net als een kamer met een vast aantal muren). In deze ruimte heeft hij twee verschillende sets van "spiegels" (wiskundig: orthonormale bases).

Spiegelset 1 (τ): Als je naar je bericht kijkt via deze spiegels, zie je het op een bepaalde manier.
Spiegelset 2 (ω): Als je naar hetzelfde bericht kijkt via deze andere spiegels, zie je het op een heel andere manier.

De vraag is: Hoe goed kunnen we het bericht "verstoppen" in beide spiegels tegelijk?

De Ontdekking: De "Ghobber-Jaming" Regel voor p-adische Getallen

In de gewone wereld hebben wetenschappers (Ghobber en Jaming) al bewezen dat als je probeert je bericht in beide spiegels te verstoppen, er een limiet is. Als de spiegels heel erg op elkaar lijken, kun je het bericht in beide verstoppen. Maar als de spiegels heel verschillend zijn, is dat onmogelijk.

Krishna heeft nu een nieuwe versie van deze regel bedacht voor die vreemde p-adische boomwereld.

De Analogie van de Sleutel en het Slot:
Stel je voor dat je een sleutel hebt (je bericht).

Je hebt een Slot A (Spiegelset 1).
Je hebt een Slot B (Spiegelset 2).

In de p-adische wereld geldt de volgende regel:
Als je probeert je sleutel zo te maken dat hij bijna perfect in Slot A past (dus je gebruikt alleen de delen van de sleutel die bij Slot A horen), en tegelijkertijd bijna perfect in Slot B past, dan is er een probleem.

Krishna bewijst dat als de "vorm" van Slot A en Slot B niet te veel op elkaar lijken (wiskundig: het maximale overlap-getal is kleiner dan 1), je niet kunt zeggen dat je sleutel in beide sloten past zonder dat de sleutel volledig verdwijnt (nul wordt).

De Formule in Gewone Taal:
De formule in het artikel zegt eigenlijk:

"De totale grootte van je bericht is beperkt door hoe groot het deel is dat je niet in de eerste set spiegels ziet, plus hoe groot het deel is dat je niet in de tweede set spiegels ziet."

Met andere woorden: Je kunt niet alles verstoppen. Als je probeert je bericht te verbergen in de "goede" delen van beide spiegels, dan moet het deel dat je over hebt (het deel dat je niet ziet) groot genoeg zijn om de hele boel te dragen. Als je denkt dat je het bericht volledig kunt verstoppen in beide systemen, dan was je bericht eigenlijk helemaal niet bestaand (het was nul).

Waarom is dit belangrijk?

Nieuwe Wiskunde: Het toont aan dat de regels van onzekerheid (die we kennen uit de quantummechanica en signaalverwerking) ook gelden in deze vreemde, boom-achtige p-adische wereld.
Toepassingen: P-adische getallen worden gebruikt in cryptografie, computerwetenschappen en soms zelfs in theoretische fysica. Als je wilt begrijpen hoe informatie veilig wordt bewaard of verwerkt in deze systemen, moet je weten hoe "onzekerheid" hier werkt.
De Open Vraag: Het artikel eindigt met een uitdaging. We weten nu hoe de "grootte" van het bericht beperkt is, maar wat is de p-adische versie van "Shannon-entropie"? Dat is een maat voor hoe "verrast" je bent door de informatie. De auteur vraagt zich af: Hoeveel verrassing kun je maximaal hebben in deze p-adische wereld? Dit is nog een raadsel dat opgelost moet worden.

Samenvatting in één zin

Dit artikel bewijst dat in de vreemde, boom-achtige wereld van p-adische getallen, je een boodschap nooit perfect kunt verstoppen in twee verschillende talen tegelijk; als je denkt dat je het in beide talen kunt verbergen, betekent dat eigenlijk dat je boodschap niet bestaat.

Titel: p-adische Ghobber-Jaming Onzekerheidsprincipe

Auteur: K. Mahesh Krishna (Chanakya University Global Campus, India)
Datum: 16 februari 2026

1. Probleemstelling en Context

Het artikel adresseert de uitbreiding van het Ghobber-Jaming onzekerheidsprincipe naar het domein van p-adische getallen en niet-Archimedische Banachruimtes.

Achtergrond: Het onzekerheidsprincipe stelt dat een functie en haar Fourier-getransformeerde niet gelijktijdig sterk gelokaliseerd kunnen zijn. In eindig-dimensionale ruimtes (zoals $\mathbb{C}^n$ ) werd dit principe in 2011 door Ghobber en Jaming geformuleerd voor orthonormale bases. Later werd dit uitgebreid naar Banachruimtes met $p$ -orthonormale bases.
De Vraag: Bestaan er analogen van deze onzekerheidsprincipes in p-adische Hilbertruimtes en niet-Archimedische Banachruimtes? In deze ruimtes gelden andere normen (de ultrametriek) en andere algebraïsche eigenschappen dan in de klassieke reële of complexe setting, wat de toepassing van standaard bewijstechnieken bemoeilijkt.
Doel: Het bewijzen van een p-adische versie van het Ghobber-Jaming principe en het afleiden van analogen voor algemene niet-Archimedische Banachruimtes.

2. Methodologie

De auteur hanteert een strikt axiomatische en algebraïsche aanpak binnen de theorie van niet-Archimedische functieruimtes:

Definities en Kaders:
- Er wordt gewerkt met een p-adische Hilbertruimte $X$ over een niet-Archimedisch gewaardeerd lichaam $K$ . Een p-adisch inproduct $\langle \cdot, \cdot \rangle$ wordt gedefinieerd met specifieke eigenschappen (niet-degeneratie, symmetrie, lineariteit en de ongelijkheid $|\langle x, y \rangle| \leq \|x\|\|y\|$ ).
- Er wordt een orthonormale basis gedefinieerd als een verzameling $\{\tau_j\}$ waarvoor $\|\tau_j\| = 1$ en $\langle \tau_j, \tau_k \rangle = \delta_{j,k}$ .
- Voor niet-Archimedische Banachruimtes wordt een veralgemeende definitie gebruikt: een paar $(\{f_j\}, \{\tau_j\})$ van coördinaatfunctionals en basisvectoren dat voldoet aan $\|f_j\| = \|\tau_j\| = 1$ en $f_j(\tau_k) = \delta_{j,k}$ .
Technische Hulpmiddelen:
- Projectie-operatoren: De auteur definieert projecties $P_S$ op deelverzamelingen van de basisindexen.
- Isometrieën en Unitaire Operatoren: Er wordt gebruikgemaakt van de karakterisering van orthonormale bases via unitaire operatoren (in Hilbertruimtes) of inverteerbare isometrieën (in Banachruimtes).
- Ultrametriek Eigenschap: Een cruciaal aspect is het gebruik van de sterke driehoeksongelijkheid ( $\|x+y\| \leq \max(\|x\|, \|y\|)$ ), die kenmerkend is voor p-adische normen. Dit vereenvoudigt sommige schattingen maar vereist een andere aanpak dan in de Euclidische setting.
- Operator-norm Schattingen: Het bewijs draait om het afleiden van een bovengrens voor de operatornorm van de samengestelde projectie $P_N V P_M$ , waarbij $V$ de transformatie tussen de twee bases voorstelt.

3. Belangrijkste Bijdragen en Resultaten

Het artikel presenteert drie hoofdstellingen die de p-adische versies van bestaande onzekerheidsprincipes vormen:

A. p-adisch Ghobber-Jaming Principe (Hilbertruimtes)

Stelling 2.5: Laat $X$ een eindig-dimensionale p-adische Hilbertruimte zijn met twee orthonormale bases $\{\tau_j\}$ en $\{\omega_k\}$ . Zij $M, N \subseteq \{1, \dots, n\}$ zodat:
$\max_{j \in M, k \in N} |\langle \tau_j, \omega_k \rangle| < 1$
Dan geldt voor alle $x \in X$ :
$\|x\| \leq \left( \frac{1}{1 - \max_{j \in M, k \in N} |\langle \tau_j, \omega_k \rangle|} \right) \max \left\{ \max_{j \in M^c} |\langle x, \tau_j \rangle|, \max_{k \in N^c} |\langle x, \omega_k \rangle| \right\}$
Conclusie: Als $x$ ondersteund is op $M$ in de basis $\{\tau_j\}$ en op $N$ in de basis $\{\omega_k\}$ (d.w.z. de coëfficiënten buiten $M$ en $N$ zijn nul), dan is $x = 0$ .

B. Niet-Archimedisch Ghobber-Jaming Principe (Banachruimtes)

Stelling 3.4: Een analoog resultaat wordt bewezen voor eindig-dimensionale niet-Archimedische Banachruimtes met orthonormale paren $(\{f_j\}, \{\tau_j\})$ en $(\{g_k\}, \{\omega_k\})$ .
De ongelijkheid luidt:
$\|x\| \leq \left( \frac{1}{1 - \max_{j \in M, k \in N} |g_k(\tau_j)|} \right) \max \left\{ \max_{j \in M^c} |f_j(x)|, \max_{k \in N^c} |g_k(x)| \right\}$
Ook hier geldt dat als de ondersteuning van $x$ beperkt is tot $M$ en $N$ respectievelijk, dan $x$ de nulvector moet zijn.

C. Karakterisering van Bases

Het artikel levert ook een volledige karakterisering van orthonormale bases in deze ruimtes:

In p-adische Hilbertruimtes is elke orthonormale basis een unitaire transformatie van een andere.
In niet-Archimedische Banachruimtes is elke orthonormale basisparen gerelateerd via een inverteerbare isometrie.

4. Significatie en Toekomstperspectief

Theoretische Uitbreiding: Dit werk vult een gat in de literatuur door het onzekerheidsprincipe van Ghobber-Jaming succesvol te vertalen naar de niet-Archimedische context. Het toont aan dat de kernideeën van onzekerheid (dat een vector niet gelijktijdig "slecht" gelokaliseerd kan zijn in twee verschillende bases) gelden onder de strikte ultrametriek.
Verschil met Klassieke Theorie: De auteur merkt op dat de p-adische versie een andere structuur heeft dan de klassieke versie (Stelling 1.2), voornamelijk omdat de p-adische norm niet via een som van kwadraten (Parseval) wordt gegeven, maar via een maximum. Dit leidt tot een andere vorm van de ongelijkheid (geen som van kwadraten, maar een maximum van coëfficiënten).
Open Vragen: Het artikel sluit af met belangrijke open vragen voor verder onderzoek:
1. Wat is de p-adische versie van het Deutsch onzekerheidsprincipe voor Shannon-entropie?
2. Wat is de p-adische versie van de Buzano-ongelijkheid? De oplossing hiervan zou een alternatief bewijs kunnen leveren voor het p-adische onzekerheidsprincipe.
3. Wat is de p-adische versie van de verbetering door Maassen en Uffink?

Samenvatting

K. Mahesh Krishna heeft in dit artikel een fundamenteel resultaat bewezen dat de onzekerheidsprincipes van Ghobber-Jaming generaliseert naar p-adische Hilbert- en Banachruimtes. Door gebruik te maken van de specifieke eigenschappen van niet-Archimedische normen (zoals de ultrametriek) en de structuur van orthonormale bases in deze ruimtes, wordt een scherpere ongelijkheid afgeleid die de onmogelijkheid van gelijktijdige gelokaliseerde ondersteuning in twee verschillende bases garandeert, mits de onderlinge hoek tussen de bases voldoende groot is (gemeten via het maximum van de inproducten). Dit vormt een belangrijke stap in de ontwikkeling van harmonische analyse en kwantummechanica in p-adische contexten.