Three-Sign Cancellation Hypernumber Systems and Associator Curvature

Titel: Drie-teken annulatie-hypergetalstelsels en associatorkromming

Auteur: Jaehwan Kim
Datum: 26 februari 2026 (voorgesteld)

---

1. Probleemstelling en Achtergrond

De klassieke rekenkunde op de reële getallen ($\mathbb{R}$) is inherent ongevoelig voor het fenomeen van "annulatie" (cancellation). Wanneer een positief getal $x$ en een negatief getal $y$ worden opgeteld met $|x| = |y|$, is het resultaat nul, en verdwijnt elke informatie over de oorspronkelijke tegenstrijdige bijdragen.

Hyperstructuren (zoals hypergroepen en hypervelden) bieden een taal om dergelijke ambiguïteiten vast te houden door de som van twee elementen als een verzameling (in plaats van een enkel element) te definiëren. Hoewel hypervelden al succesvol worden toegepast in de tropische meetkunde en de theorie van matroïden, ontbreekt er een systeem dat de hoeveelheid annulatie expliciet registreert zonder de volledige associativiteit te behouden.

Het doel van dit artikel is het introduceren en analyseren van een nieuw drie-teken annulatie-hypergetalstelsel ($H$). Dit stelsel breidt de reële getallen uit met een derde teken $\Lambda$ (Lambda) dat de "annulatielaag" encodeert. De kernvraag is hoe men een hyperadditie kan definiëren die de annulatie vastlegt, maar wat de prijs is voor het behoud van associativiteit.

2. Methodologie en Constructie

Het Stelsel $H$

De onderliggende verzameling is gedefinieerd als:
$$H = \{0\} \cup \{+, -, \Lambda\} \times \mathbb{R}_{>0}$$
Elk niet-nul element is een paar $(\sigma, a)$, waarbij $\sigma$ het teken is en $a$ de grootte (magnitude).

• $\{+, -\}$: Corresponderen met de klassieke positieve en negatieve reële getallen.
• $\Lambda$: Een nieuw teken dat de annulatielaag vertegenwoordigt.

Operaties:

1. Vermenigvuldiging: Wordt gedefinieerd via een commutatieve monoid op de tekens ($\{+, -, \Lambda\}$) waarbij $\Lambda$ een idempotent element is ($\Lambda \cdot \Lambda = \Lambda$) en als "absorberend" fungeert voor tekens. De grootte wordt vermenigvuldigd zoals in $\mathbb{R}$.
2. Hyperadditie ($\boxplus$): Dit is het centrale nieuwe concept. De som is een verzameling van mogelijke uitkomsten.
   • Voor gelijke tekens (behalve $\Lambda$) is de som uniek (zoals in $\mathbb{R}$).
   • Voor tegenovergestelde tekens ($+, -$) werkt het als gewone optelling, maar met een mogelijke overgang naar 0 of een ander teken afhankelijk van de grootte.
   • Interactie met $\Lambda$: De som van een reëel teken en $\Lambda$ resulteert in $\Lambda$ met een som van de groottes.
   • $\Lambda$-$\Lambda$ som: Hier treedt echte hypergedrag op. De som van $(\Lambda, a)$ en $(\Lambda, b)$ kan een verzameling zijn die $\Lambda$, $+$, $-$ en $0$ bevat, afhankelijk van de relatieve groottes.

Inbedding en Omgeving

De auteur introduceert een omgevende annulatiemonoid $(K, \oplus)$ gedefinieerd op $\mathbb{R} \times \mathbb{R}_{\geq 0}$.

• Elementen zijn paren $(r, c)$, waarbij $r$ de reële som is en $c$ de "geaccumuleerde annulatiemassa".
• De operatie is: $(x, c) \oplus (y, d) = (x+y, c+d+C(x,y))$, waarbij $C(x,y) = |x| + |y| - |x+y|$ de annulatiemassa is.
• Dit stelsel $(K, \oplus)$ is strikt associatief.

3. Belangrijkste Resultaten en Bijdragen

A. De Associatorkromming (Associator Curvature)

Het meest significante resultaat is de kwantificering van het falen van associativiteit. Voor een geordend drietal van de vorm $x=(+, a)$, $y=(-, b)$, $z=(\Lambda, c)$, zijn de twee mogelijke haakjesvormen van de hypersom:

1. $(x \boxplus y) \boxplus z = \{(\Lambda, c + |a-b|)\}$
2. $x \boxplus (y \boxplus z) = \{(\Lambda, a + b + c)\}$

De associatorkromming (of associatief defect) $\kappa$ wordt gedefinieerd als het verschil in grootte tussen deze twee uitkomsten:
$$\kappa(a, b, c) = (a + b + c) - (c + |a-b|) = a + b - |a-b| = 2\min(a, b)$$
Dit resultaat toont aan dat:

• Het defect onafhankelijk is van $c$.
• Het defect exact overeenkomt met de annulatiemassa $C(a, -b)$ die verloren gaat bij het optellen van $a$ en $-b$ in de klassieke reële getallen.
• Het defect is strikt positief voor alle $a, b > 0$, wat betekent dat associativiteit in dit specifieke geval altijd faalt.

B. De Signatuur-Laag (Sign Layer) en Envelop

Hoewel de volledige additie in $H$ niet associatief is, construeert de auteur een canonieke commutatieve hypergroep $(S, \oplus_S)$ op de tekenverzameling $S = \{0, +, -, \Lambda\}$.

• Deze hypergroep fungeert als een "envelop" voor de hypersom in $H$.
• Voor elke som $x \boxplus y$ in $H$ ligt het teken van het resultaat binnen de hypersom van de tekens in $S$: $\text{sgn}(x \boxplus y) \subseteq \text{sgn}(x) \oplus_S \text{sgn}(y)$.
• Belangrijk: De envelop $(S, \oplus_S)$ is wel volledig associatief en voldoet aan de reversibiliteitsaxioma's, in tegenstelling tot $H$ zelf. Dit illustreert dat de niet-associativiteit puur een kwestie is van de interactie tussen groottes, niet van de tekens zelf.

C. Het Obstructie-theorema (Non-reconstructie)

De auteur onderzoekt of $H$ kan worden gereconstrueerd uit de associatieve omgeving $K$ via een projectie.

• Er bestaat een inbedding $\iota: H \to K$ en een projectie $P_\Lambda: K \to H_\Lambda$.
• Echter, het artikel bewijst een obstructie-theorema: Er bestaat geen "bracket-onafhankelijke decodering" (een map $D: K \to H$) die zowel de hypersom in $H$ reproduceert als consistent is met de associativiteit in $K$.
• Reden: Voor het drietal $(+, 1), (-, 1), (\Lambda, 1)$ zijn de twee haakjesvormen van de som in $H$ disjuncte verzamelingen: $\{(\Lambda, 1)\}$ en $\{(\Lambda, 3)\}$. Omdat een associatieve omgeving slechts één resultaat zou produceren voor een gegeven drietal, is het onmogelijk om dit ene resultaat te decoderen naar twee verschillende, disjuncte uitkomsten in $H$ zonder de associativiteit te schenden.

4. Conclusie en Significatie

Technische Significatie:
Dit artikel biedt een gecontroleerd voorbeeld van een niet-associatieve hyperadditie die de reële getallen uitbreidt. Het toont aan dat het vastleggen van annulatie-informatie (die in $\mathbb{R}$ verloren gaat) noodzakelijk leidt tot het verlies van associativiteit, tenzij men bereid is deze informatie te "vergeten" of te aggregatie in een grotere ruimte (zoals $K$).

Methodologische Bijdrage:

1. Associatorkromming: Introduceert een kwantitatieve maatstaf voor het falen van associativiteit, gekoppeld aan de klassieke annulatiemassa.
2. Omgevende Monoid: Biedt een associatieve "achtergrond" ($K$) die de defecten van $H$ meet, maar bewijst dat $H$ niet simpelweg een projectie van $K$ is.
3. Signatuur-Envelop: Schept een duidelijk onderscheid tussen het gedrag op het niveau van tekens (waar associativiteit behouden blijft) en het niveau van magnitudes (waar de complexiteit en niet-associativiteit ontstaan).

Toekomstperspectief:
De resultaten suggereren dat generalisaties naar $n$-teken systemen met vergelijkbaar annulatiegedrag inherent niet-associatief zullen zijn. Het werk opent de deur voor verdere studies in verband met verrijkte waarden (enriched valuations), tropische meetkunde en de theorie van hypervelden, waarbij de "kromming" van de associativiteit een nieuwe invariante wordt.

Kortom, Kim demonstreert dat het behoud van de "geschiedenis" van annulatie in een getalstelsel een fundamentele prijs heeft: de opoffering van de associativiteit, een eigenschap die centraal staat in de klassieke algebra.