ConteXtuAlity: an open source Python package for contextuality

In de vreemde en contra-intuïtieve wereld van de kwantumfysica bestaat een fenomeen dat bekend staat als contextualiteit. Om dit te begrijpen, kun je je een landschap voorstellen waarin de kleur van een boom verandert afhankelijk van welke andere bomen je er tegelijkertijd naast bekijkt. In onze alledaagse ervaring heeft een object vaste eigenschappen; een rode bal is rood, of je er nu alleen mee bent of in een menigte. Maar in de kwantumwereld kan het antwoord op een vraag over een systeem volledig afhangen van de andere vragen die op hetzelfde moment worden gesteld. Dit is geen gebrek aan onze meetinstrumenten, maar een fundamenteel kenmerk van de natuur. Wetenschappers proberen al lang precies te kwantificeren in hoeverre een systeem zich zo gedraagt, om het onderscheid te maken tussen de voorspelbare, klassieke wereld en de contextafhankelijke kwantumwereld. Het doen hiervan vereist complexe wiskunde en het vermogen om talloze scenario's te simuleren, een taak die traditioneel moeilijk en ontoegankelijk is geweest voor iedereen behalve een handvol specialisten.

Een nieuwe open-source softwarepackage genaamd ConteXtuΛlity, ontwikkeld door Kim Vallée aan de Sorbonne Université, heeft als doel deze krachtige berekeningen toegankelijk te maken voor een breder publiek. Dit hulpmiddel is ontworpen om onderzoekers en studenten te helpen de grenzen van de kwantumtheorie te verkennen door het zware werk van wiskundige optimalisatie te automatiseren. In plaats van voor elk nieuw experiment complexe vergelijkingen vanaf nul op te bouwen, kunnen gebruikers nu een scenario van metingen en uitkomsten definiëren, waarna de software direct specifieke waarden berekent die onthullen hoe "contextueel" het systeem is. De package richt zich op twee belangrijke getallen: de contextuele fractie, die meet hoeveel van het gedrag van een systeem niet verklaard kan worden door klassieke logica, en de signaalfractie, die meet hoeveel informatie er lijkt te lekken tussen verschillende delen van het experiment. Door deze berekeningen toegankelijk te maken, stelt de software wetenschappers in staat om nieuwe hypothesen te testen en experimentele gegevens uit de echte wereld met ongekende eenvoud te analyseren.

De kern van de package draait om twee hoofdconcepten: het meetscenario en het empirische model. Een meetscenario is simpelweg een kaart van wat er gemeten kan worden en hoe die metingen aan elkaar gegroepeerd zijn. In een beroemd opstelling bekend als het KCBS-scenario zijn er bijvoorbeeld vijf verschillende metingen die op specifieke manieren gekoppeld kunnen worden. De software stelt een gebruiker in staat om deze groeperingen te definiëren met eenvoudige lijsten van namen of nummers. Zodra de kaart is getekend, vult het empirische model de gegevens in. Dit is de verzameling van werkelijke resultaten of waarschijnlijkheden die in een experiment zijn waargenomen. De software kan gegevens accepteren uit echte experimenten, zoals die uitgevoerd door Lapkiewicz en collega's of Wang en collega's, of het kan theoretische modellen genereren op basis van kwantumtoestanden.

Wat dit hulpmiddel bijzonder krachtig maakt, is het vermogen om de rommelige realiteit van experimentele gegevens te verwerken. In de echte wereld zijn metingen zelden perfect. Soms gedraagt hetzelfde fysieke apparaat dat wordt gebruikt om een eigenschap in één context te meten, zich iets anders wanneer het in een andere context wordt gebruikt. De software kan rekening houden met deze subtiele verschillen. Wanneer de data van het Lapkiewicz-experiment wordt geanalyseerd, gebruikte de onderzoeker de package bijvoorbeeld om aan te tonen dat als zij twee schijnbaar identieke metingen als verschillend zouden behandelen vanwege de manier waarop ze werden uitgevoerd, de berekende "contextuele" aard van het systeem aanzienlijk daalde. Dit demonstreert dat de software niet alleen een rekenmachine is, maar een flexibel instrument dat kan worden aangepast aan de specifieke beperkingen en eigenaardigheden van verschillende experimentele opstellingen.

De ontwikkelaar gebruikte de package ook om visuele kaarten te maken van hoe deze kwantumeigenschappen zich gedragen. Door verschillende theoretische modellen met elkaar te mengen, genereerden zij een heatmap voor het beroemde Bell-CHSH-scenario, een standaardtest voor kwantumvreemdheid. Deze visuele representatie toonde hoe de contextuele fractie en de signaalfractie veranderen naarmate men beweegt van perfect klassiek gedrag naar de meest extreme kwantummogelijkheden. De resultaten bevestigden dat de software snel en nauwkeurig door dit landschap kon navigeren, waarbij heatmaps werden geproduceerd die onderzoekers helpen de grenzen te visualiseren tussen wat mogelijk is in de klassieke fysica en wat mogelijk is in de kwantumfysica.

Naast het analyseren van bestaande gegevens, is de package ontworpen als een speeltuin voor nieuwe ideeën. De auteur liet zien hoe een gebruiker een aangepaste versie van een meetscenario kon maken door een eenvoudige regel toe te voegen, zoals het verbieden dat twee metingen tegelijkertijd "aan" zijn. Toen zij deze kunstmatige beperking toepasten, berekende de software onmiddellijk de resultaten opnieuw, wat aantoonde dat het systeem onder de nieuwe regels volledig contextueel leek te zijn. Deze flexibiliteit suggereert dat het hulpmiddel kan worden gebruikt om alternatieve theorieën over de werkelijkheid te verkennen, niet alleen het standaard kwantummodel. Het stelt wetenschappers in staat om "wat als"-vragen te stellen over de fundamentele regels van het universum en de wiskundige consequenties daarvan onmiddellijk te zien.

Om de betrouwbaarheid van het hulpmiddel te waarborgen, voerde de auteur een reeks prestatietests uit. Zij maten hoe lang de software nodig had om problemen op te lossen naarmate de omvang van de scenario's groter werd. Zij vonden dat hoewel de tijd die nodig is om deze problemen op te lossen snel toeneemt naarmate de scenario's groter worden, de software nog steeds snel genoeg blijft om redelijk complexe situaties aan te kunnen. De tests werden uitgevoerd met verschillende wiskundige solvers, wat bevestigde dat de resultaten robuust zijn, ongeacht de onderliggende motor die wordt gebruikt voor de berekeningen. Deze benchmarking geeft gebruikers het vertrouwen dat het hulpmiddel de schaal van problemen die zij waarschijnlijk in hun onderzoek zullen tegenkomen, kan aan kunnen.

De package is gebouwd om open en uitbreidbaar te zijn, en nodigt de wetenschappelijke gemeenschap uit om bij te dragen aan en de mogelijkheden ervan uit te breiden. Hoewel het zich momenteel concentreert op een specifieke wiskundige benadering die bekend staat als de sheaf-theoretische benadering, plant de auteur om in de toekomst ondersteuning toe te voegen voor andere manieren om contextualiteit te begrijpen. Door een gemeenschappelijke taal en een gedeelde set hulpmiddelen te bieden, beoogt ConteXtuΛlity de drempel voor het bestuderen van deze diepgaande vragen te verlagen. Het transformeert een veld dat vaak diepe expertise in abstracte wiskunde vereist, naar een veld waar de focus weer kan terugkeren naar de fysica zelf, waardoor onderzoekers minder tijd kunnen besteden aan coderen en meer aan het begrijpen van de vreemde, contextafhankelijke aard van ons universum.