The View from Within: What Can Embedded Observers (Not) Learn?

Technische Samenvatting: "The View from Within: What Can Embedded Observers (Not) Learn?"

Probleemstelling
De klassieke fysica neemt traditioneel een perspectief van de derde persoon aan, uitgaande van een observatie-onafhankelijke realiteit waarin eigenschappen nauwkeurig meetbaar en verstoringen corrigeerbaar zijn. Echter, waarnemers zijn zelf fysieke systemen die ingebed zijn in de wereld die zij observeren. Dit artikel onderzoekt de spanning tussen de derde-persoonsbeschrijving van fysische wetten en het eerste-persoonsperspectief van een ingebedde waarnemer. Specifiek wordt de vraag gesteld: welke beperkingen op het leerproces (epistemische horizonten) ontstaan er voor een waarnemer die een fysiek systeem is dat interageert met een ander systeem, zelfs binnen een volledig deterministisch klassiek kader? De auteurs beogen te bepalen of fundamentele grenzen aan kennis, analoog aan kwantumonzekerheid, kunnen voortkomen uit de fysische beperkingen van het observatieproces zelf, in plaats van uit geposteerde epistemische restricties.

Methodologie
De auteurs maken gebruik van een "nomic toy theory", een deterministisch klassiek model van deeltjes met positie- en impulscoördinaten gedefinieerd op een symplectische vectorruimte. Het kader formaliseert vier aspecten van leren (Figuur 1):

1. Fundamentele Fysische Theorie: De kinematica en dynamica van klassieke deeltjes (symplectische afbeeldingen en wegwerpoperaties).
2. Manifeste Variabele: De fysische variabele van het subject (waarnemer) die zijn empirische verslag vormt. De auteurs beschouwen drie typen:
   • Triviaal: Het verslag bevat geen informatie.
   • Poisson: Het verslag onderscheidt slechts een vergroving van de toestand van het subject (bijv. een projectie van de positie), wat een gedeeltelijke zelfkennis representeert.
   • Compleet: Het verslag is de volledige ontische toestand van het subject, wat volledige zelfkennis representeert.
3. Ready States (Klaar-toestanden): De initiële informatieve hulpbronnen die beschikbaar zijn voor het subject (het "ready system" $R$). Deze worden gedefinieerd door de variabiliteit van de initiële toestand:
   • Triviaal: Geen beperking op de initiële toestand ($V=R$).
   • Poisson: De initiële toestand is beperkt tot een coisotrope subruimte (gedeeltelijke informatie).
   • Compleet: De initiële toestand is vastgelegd ($V=\{0\}$).
4. Type van Leren: De temporele richting en herhaalbaarheid van de interactie:
   • Retrodictie: Leren over de vorige toestand van het object.
   • Predictie: Leren over de toekomstige toestand van het object.
   • Herhaalbare Metingen: Interacties waarbij de geretrodictieerde informatie persisteert in het object, waardoor simultaan leren over het verleden en de toekomst mogelijk is.

Leren wordt gemodelleerd als een fysische interactie (meting) $M: B \oplus R \to B \oplus S$, waarbij $B$ het object is, $R$ het ready system, en $S$ het subject. De auteurs analyseren de "retrodictief ontoegankelijke subruimte" ($I_{ret}$) en de "predictief ontoegankelijke subruimte" ($I_{pre}$) om te bepalen welke variabelen van het object afgeleid kunnen worden uit het verslag van het subject.

Kernbijdragen en Resultaten
Het artikel brengt systematisch de epistemische horizonten in kaart voor alle combinaties van manifeste variabelen, ready states en typen leren (samengevat in Tabellen 2–4). De belangrijkste bevindingen zijn:

1. Emergentie van Epistemische Horizonten in Determinisme: Zelfs in een deterministische klassieke theorie worden ingebedde waarnemers geconfronteerd met fundamentele beperkingen in wat zij kunnen leren. Deze horizonten zijn niet geposteerd, maar afgeleid van de fysische beperkingen van de interactie en de hulpbronnen van de waarnemer.
2. Het Knowledge-Balance Principe: Voor subjecten met Poisson manifeste variabelen en Poisson ready states, herstelt het artikel Spekkens' knowledge-balance principe: een subject kan maximaal de helft van de vrijheidsgraden van het object leren. Specifiek kunnen alleen Poisson-variabelen (die met coisotrope kernen) geleerd worden. Dit herstelt de epistemische kenmerken van Spekkens' toy theory en, bij uitbreiding, de stabilizer-subtheorie van de kwantummechanica voor oneven-dimensionale systemen.
3. De Noodzaak van Beperkingen op de Ready State: De auteurs tonen aan dat gedeeltelijke zelfkennis (Poisson manifeste variabelen) alleen onvoldoende is om een epistemische horizon te genereren.
   • Als een subject een Poisson manifeste variabele heeft maar toegang heeft tot complete ready states, kan het de volledige ontische toestand van elk object retrodicteren (geen epistemische horizon).
     • Echter, als het subject een complete manifeste variabele heeft (volledige zelfkennis) maar slechts Poisson ready states heeft, blijft er een niet-triviale epistemische horizon bestaan indien en alleen indien de meting herhaalbaar moet zijn. In dat geval kunnen alleen Poisson-variabelen herhaaldelijk geretrodictierd worden.
4. Asymmetrie tussen Retrodictie en Predictie:
   • Retrodictie is over het algemeen minder beperkt dan predictie. Bijvoorbeeld: een subject met een complete manifeste variabele en Poisson ready states kan elke variabele retrodicteren (Corollary 3.4), maar staat voor een knowledge-balance horizon voor herhaalbare retrodictie (Theorem 3.8).
   • Predictie is gevoelig voor de verstoring van de meting. Met triviale ready states is predictie onmogelijk (totale epistemische horizon), omdat surjectieve afbeeldingen geen correlaties kunnen creëren vanuit onbeperkte inputs. Met Poisson ready states is predictie beperkt tot Poisson-variabelen (Theorem 3.11).
5. Herhaalbaarheid als Sterke Beperking: Herhaalbare metingen leggen striktere limieten op dan noch retrodictie, noch predictie alleen. Ze vereisen dat de geretrodictieerde informatie behouden blijft in het object, wat interacties die enkel toestanden wisselen of het object verstoren om informatie te coderen, effectief uitsluit. Het artikel bewijst dat voor herhaalbare metingen de epistemische horizon volledig wordt bepaald door de beschikbare ready states, en niet enkel door de manifeste variabele.

Betekenis en Claims
Het artikel beweert een taal en formele instrumenten te bieden om te bestudelen hoe het eerste-persoonsperspectief verschilt van het derde-persoonsperspectief voorbij eenvoudige toy models. De betekenis ligt in:

• Onzekerheid Afleiden uit Fysicalisme: Het toont aan dat onzekerheid-achtige beperkingen (epistemische horizonten) natuurlijk kunnen voortkomen uit de fysische constitutie van de waarnemer en de aard van fysische interacties, zonder het knowledge-balance principe als een fundamenteel postulaat op te roepen.
• Verheldering van de Rol van Hulpbronnen: Het ontwarrelt de rollen van zelfkennis (manifeste variabelen) en initiële informatie (ready states). De auteurs stellen dat de epistemische horizon afgeleid uit hun eerdere werk [26] niet uitsluitend te wijten was aan gedeeltelijke zelfkennis, maar kritisch steunde op de aanname van imperfecte initiële informatie (Poisson ready states).
• Verbinding met de Kwantumtheorie: De resultaten suggereren dat kwantum-achtige kenmerken (specifiek de stabilizer subtheorie) kunnen emergeren in een deterministische ontologie wanneer waarnemers beperkt zijn tot Poisson ready states. Dit biedt een potentieel pad om inherente onzekerheid in de kwantumtheorie te verklaren vanuit het standpunt van ingebedde waarnemers.
• Perspectivisme: Het kader ondersteunt "matig fysisch perspectivisme", waarbij een perspectief-neutrale beschrijving bestaat, maar de verschijning van het systeem (epistemische toestand) afhangt van de specifieke fysische hulpbronnen en interacties van het subject.

De auteurs blijven bescheiden en merken op dat het uitbreiden van deze resultaten naar de volledige kwantumtheorie niet triviaal is vanwege interpretatieve kwesties met betrekking tot ontische toestanden en de scheidbaarheid van subjecten en objecten. Zij beweren niet de volledige kwantummechanica af te leiden, maar identificeren de structurele condities waaronder kwantum-achtige epistemische restricties emergeren in een klassieke setting.