Three Fixed-Dimension Satisfiability Semantics for Quantum Logic: Implications and an Explicit Separator

Each language version is independently generated for its own context, not a direct translation.

Stel je voor dat je een taal hebt om over de quantumwereld te praten, een taal met woorden als "niet", "en" en "of". In de gewone wereld (de klassieke logica) werken deze woorden heel voorspelbaar. Als je zegt: "Ik heb een appel en (een peer of een banaan)", dan is dat hetzelfde als "Ik heb een (appel en peer) of een (appel en banaan)". Dit heet de distributiewet. Het werkt altijd.

Maar in de quantumwereld, die wordt beschreven met wiskundige objecten genaamd Hilbert-ruimten, is de wereld een stuk vreemder. Hier werken die regels niet altijd zoals we gewend zijn.

Deze paper van Joaquim Reizi Higuchi gaat over drie verschillende manieren om te kijken of een zin in deze quantum-taal "waar" kan zijn (ofwel: satisfiable). De auteur vergelijkt deze drie manieren en laat zien dat ze niet hetzelfde zijn.

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

1. De Drie Manieren om te Kijken

Stel je voor dat je een puzzel probeert op te lossen met blokken. Er zijn drie regelsets voor hoe je die blokken mag stapelen:

Manier 1: De Standaardmanier (De "Grote Ruimte")
Dit is de meest vrije manier. Je mag blokken op elkaar zetten, schuiven en draaien zoals je wilt, zolang ze maar in de ruimte passen. In de quantumwereld betekent dit dat je subruimtes (zoals vlakken of lijnen in een 3D-ruimte) mag combineren. Hier geldt de distributiewet niet altijd. Soms is "A en (B of C)" groter dan "(A en B) of (A en C)". Het is alsof je in een droom kunt zijn, waar de regels van de fysica even op hun kop staan.
Manier 2: De "Grote Vrienden" Manier (Commuterende Projectoren)
Hier mag je alleen blokken gebruiken die perfect met elkaar "vrienden". In de quantumwereld betekent dit dat alle onderdelen van je zin met elkaar moeten "meedraaien" (commuteren). Als ze dat doen, gedragen ze zich precies als gewone, klassieke logica. De distributiewet werkt hier weer perfect. Het is alsof je alleen mag spelen met een set Lego-blokken die allemaal van hetzelfde type zijn en perfect op elkaar passen.
Manier 3: De "Lokale Vrienden" Manier (Partiële Boolese Algebra)
Dit is een tussenweg. Hier mag je blokken combineren, maar alleen als ze op dat specifieke moment met elkaar "vrienden". Je hoeft niet te eisen dat alle blokken in de hele zin met elkaar kunnen meedraaien, alleen de paren die je op dat moment aan het samenvoegen bent. Het is alsof je in een groepje bent waar mensen alleen praten met de persoon die ze net tegenkomen, maar niet noodzakelijk met iedereen in de kamer.

2. Wat heeft de auteur ontdekt?

De auteur bewijst een hiërarchie, een soort trap van "strengheid":

Als een zin waar is volgens Manier 2 (Grote Vrienden), dan is hij ook waar volgens Manier 3 (Lokale Vrienden).
Als een zin waar is volgens Manier 3, dan is hij ook waar volgens Manier 1 (Standaard).

Dit klinkt logisch: als iets werkt in een heel strikte wereld, werkt het ook in een minder strikte wereld. Maar de vraag is: werkt het andersom?

3. De "Scheidingsformule" (SEP-1)

Hier komt het spannende deel. De auteur bedacht een specifieke zin, noem hem SEP-1:

"Ik heb P, EN (Q OF R), MAAR NIET ( (P EN Q) OF (P EN R) )."

In de gewone wereld is deze zin onmogelijk. Als je P hebt, en je hebt Q of R, dan heb je automatisch (P en Q) of (P en R). De zin zegt dus: "Dit is waar, maar tegelijkertijd is dat niet waar." Een contradictie.

In Manier 2 (Grote Vrienden): De zin is onmogelijk. Omdat alle onderdelen met elkaar moeten meedraaien, valt de distributiewet weer in elkaar. De zin wordt "0" (niet waar).
In Manier 3 (Lokale Vrienden): Ook hier is de zin onmogelijk. De auteur bewijst dat als je probeert deze zin waar te maken, je per ongeluk toch moet eisen dat alle onderdelen met elkaar meedraaien. Dus je belandt weer in Manier 2, en de zin faalt.
In Manier 1 (Standaard): Hier is de zin WAAR! Omdat je in de standaard-quantumwereld blokken kunt kiezen die niet met elkaar meedraaien, kun je een situatie creëren waarin P wel in de "grote groep" (Q of R) zit, maar niet in de specifieke combinaties (P en Q) of (P en R). De distributiewet breekt hier echt.

4. Wat betekent dit voor ons?

De conclusie is dat de drie manieren om naar quantumlogica te kijken niet hetzelfde zijn.

De Standaardmanier is de meest soepele en toelaatbare. Hij laat dingen toe die in de andere twee manieren verboden zijn.
De Grote Vrienden en Lokale Vrienden manieren zijn strenger. Ze dwingen je om de wereld te zien alsof alles "vriendelijk" (commuterend) is, waardoor je de echte, vreemde quantum-eigenschappen (zoals het breken van de distributiewet) verliest.

De grote open vraag:
De auteur heeft bewezen dat Manier 1 strikt anders is dan Manier 2 en Manier 3. Maar hij heeft niet bewezen of Manier 2 en Manier 3 precies hetzelfde zijn, of dat Manier 3 net iets meer toelaat dan Manier 2. Dat is als het verschil tussen "alle vrienden in de kamer moeten elkaar kennen" en "iedereen moet alleen met zijn directe buurman kunnen praten". Misschien is er een zin die werkt in het tweede geval, maar niet in het eerste? Dat weten we nog niet zeker.

Samenvatting in één zin

Deze paper laat zien dat als je de regels van de quantumwereld te streng maakt (door te eisen dat alles met elkaar "vrienden"), je de echte magie van de quantumwereld (waar dingen soms niet logisch lijken te werken) kwijtraakt; er is een specifieke zin die alleen werkt in de meest vrije interpretatie.

Each language version is independently generated for its own context, not a direct translation.

Hier is een gedetailleerde technische samenvatting van het artikel "Three Fixed-Dimension Satisfiability Semantics for Quantum Logic" in het Nederlands.

Titel: Drie Semantiekken voor Voldoendeheid in Kwantumlogica met Vaste Dimensie: Implicaties en een Expliciete Scheider

Auteur: Joaquim Reizi Higuchi
Datum: 6 maart 2026

1. Probleemstelling

Het artikel adresseert een fundamenteel probleem binnen de kwantumlogica: de ambiguïteit in de interpretatie van propositionele connectieven ( $\neg, \land, \lor$ ) binnen een vaste, eindig-dimensionale Hilbertruimte $H = \mathbb{F}^d$ (waarbij $\mathbb{F} \in \{\mathbb{R}, \mathbb{C}\}$ ).

Er bestaan minstens drie natuurlijke manieren om deze connectieven te interpreteren, die vaak met elkaar worden verward, hoewel ze verschillende logische systemen vertegenwoordigen:

Standaard Hilbert-rooster semantiek (STD): Gebruikt het rooster van alle lineaire deelruimten $L(H)$ . Hier zijn 'meet' (doorsnede) en 'join' (som) totale operaties. Distributiviteit geldt hier niet.
Globale commutatie-projector semantiek (COM): Beperkt de interpretatie tot één enkele familie van onderling commuteren projectoren. Dit creëert een Boolese blok waar distributiviteit wel geldt.
Lokale partiële-Boolese semantiek (PBA): Staat binaire connectieven alleen toe op "commensurabele" paren (projectoren die commuteren). De definitie van een formule wordt recursief gecontroleerd langs de parse-tree; als een connectief niet op commensurabele waarden wordt toegepast, is de uitwerking niet gedefinieerd.

De kernvraag is hoe deze drie semantiekken zich tot elkaar verhouden in termen van voldoendeheid (satisfiability): welke formules kunnen in welke semantiek een niet-nul waarde aannemen?

2. Methodologie

De auteur hanteert een formele, semantische vergelijking zonder te vertrouwen op complexe reducties naar algebraïsche haalbaarheid of generieke vertalingstheorema's (die reeds bestudeerd zijn door Herrmann en Ziegler).

Stappenplan:

Formele Definitie: Duidelijke definitie van de syntax en de drie semantische modellen (STD, COM, PBA) voor een vaste dimensie $d \geq 1$ .
Implicatiebewijzen: Het bewijzen van een implicatieketen: als een formule voldoet aan de strengste voorwaarden (COM), dan voldoet hij ook aan de minder strenge (PBA), en vervolgens aan de minst strenge (STD).
Constructie van een Scheider: Het expliciet construeren van een formule die in de standaard semantiek voldoet, maar faalt in de andere twee.
Analyse van de Relaties: Het vaststellen van de inclusie- en strikt-eigenschappen tussen de klassen van voldoende formules.

3. Belangrijkste Bijdragen en Resultaten

A. De Implicatieketen

Het artikel bewijst voor elke formule $\varphi$ en elke dimensie $d \geq 1$ de volgende implicaties:
$\text{Sat}^d_{\text{COM}}(\varphi) \implies \text{Sat}^d_{\text{PBA}}(\varphi) \implies \text{Sat}^d_{\text{STD}}(\varphi)$

COM $\implies$ PBA: Omdat een globale commutatie-interpretatie per definitie voldoet aan de lokale commutatie-eisen voor elke knoop in de parse-tree.
PBA $\implies$ STD: Omdat elke projector een deelruimte definieert (zijn bereik), en de operaties op commuteren projectoren overeenkomen met de operaties op hun bijbehorende deelruimten.

B. De Expliciete Scheider: SEP-1

De kern van het artikel is de constructie van de formule SEP-1, die de distributiviteitswet test:
$\text{SEP-1} := (p \land (q \lor r)) \land \neg ((p \land q) \lor (p \land r))$

Resultaten voor SEP-1:

Onvoldoende in COM: In een commutatie-omgeving (een Boolese algebra) geldt de distributiviteitswet. De termen $(p \land (q \lor r))$ $(p \land (q \lor r))$ en $((p \land q) \lor (p \land r))$ $((p \land q) \lor (p \land r))$ zijn gelijk, waardoor hun doorsnede met de negatie van de tweede term altijd de nul-projector oplevert.
- $\neg \text{Sat}^d_{\text{COM}}(\text{SEP-1})$ voor alle $d \geq 1$ .
Onvoldoende in PBA: Het artikel bewijst dat als de PBA-uitwerking van SEP-1 gedefinieerd is, de atoomwaarden $p, q, r$ $p, q, r$ noodzakelijkerwijs onderling moeten commuteren. Hierdoor reduceert PBA in dit specifieke geval tot COM, en is de formule ook hier onvoldoende.
- $\neg \text{Sat}^d_{\text{PBA}}(\text{SEP-1})$ voor alle $d \geq 1$ .
Voldoende in STD: In de standaard Hilbert-rooster semantiek geldt distributiviteit niet. De auteur construeert een expliciet voorbeeld in dimensie $d \geq 2$ $d \geq 2$ (met basisvectoren $e_1, e_2$ $e_{1}, e_{2}$ ) waarbij:
- $P = \text{span}(e_1 + e_2)$
- $Q = \text{span}(e_1)$
- $R = \text{span}(e_2)$
  Hierbij is $P \subseteq (Q + R)$ , maar $P \cap Q = \{0\}$ en $P \cap R = \{0\}$ . De formule evalueert tot $P \neq \{0\}$ .
- $\text{Sat}^d_{\text{STD}}(\text{SEP-1})$ voor alle $d \geq 2$ .

C. Classificatie van Voldoendeheidklassen

Voor elke vaste dimensie $d \geq 2$ gelden de volgende relaties tussen de klassen van voldoende formules ( $SAT^d_X$ ):
$SAT^d_{\text{COM}} \subseteq SAT^d_{\text{PBA}} \subsetneq SAT^d_{\text{STD}}$
$SAT^d_{\text{COM}} \subsetneq SAT^d_{\text{STD}}$

De relatie tussen COM en PBA blijft echter open. Het is onbekend of er een formule bestaat die in PBA voldoet maar niet in COM (d.w.z. of $SAT^d_{\text{COM}} \subsetneq SAT^d_{\text{PBA}}$ of $SAT^d_{\text{COM}} = SAT^d_{\text{PBA}}$ ).

4. Significatie en Discussie

Semantische Duidelijkheid: Het artikel corrigeert een veelvoorkomende verwarring in de literatuur door aan te tonen dat deze drie semantiekken niet equivalent zijn. Het concluderen dat een resultaat geldt voor de "standaard" kwantumlogica, impliceert niet automatisch dat het geldt voor commutatie-restricties of partiële Boolese algebra's.
Nieuwheid: In tegenstelling tot eerdere werken die zich richten op complexiteitstheorie (zoals Herrmann's resultaten over modulariteit of Dawar-Shah's resultaten over partiële Boolese algebra's), focust dit artikel puur op de semantische hiërarchie en levert een expliciet, constructief tegenvoorbeeld (SEP-1) dat de strikte scheiding tussen de standaard semantiek en de beperktere semantiekken aantoont.
Open Vraag: De belangrijkste open vraag die overblijft, is of lokale commensurabiliteit (PBA) strikt meer machtig is dan globale commutatie (COM). Dit zou vereisen dat een formule kan worden geconstrueerd waarbij de lokale commutatie-eisen langs de parse-tree niet leiden tot een globale commutatie van alle atomen.

Conclusie:
Het artikel biedt een schone, strikt formele vergelijking van drie interpretaties van kwantumlogica. Het bewijst dat de standaard Hilbert-rooster semantiek strikt ruimer is dan zowel de globale commutatie- als de lokale partiële-Boolese semantiek, en identificeert een specifieke formule die deze scheiding kwantificeert.