A Theory of Nested Cascading in Directed Logic

In de wereld van de computertechnologie loopt de manier waarop we informatie verwerken tegen een muur aan. Traditionele elektronische computers, die alles van smartphones tot supercomputers aandrijven, verplaatsen gegevens tussen een processor en geheugen in een trage, sequentiële dans. Dit creëert een flessenhals die energie verspilt en de snelheid beperkt. Ondertussen beheert het menselijk brein soortgelijke taken met een fractie van die energie, wat erop wijst dat een andere aanpak mogelijk is. Jarenlang hebben wetenschappers naar licht gekeken als een oplossing. Licht reist sneller dan elektriciteit en genereert minder warmte, wat het een ideale kandidaat maakt voor de volgende generatie computing. Het probleem is echter dat het gebruik van licht om logische berekeningen uit te voeren—zoals de "ja" of "nee" beslissingen die alle software aansturen—moeilijk is geweest. Het probleem ligt in de manier waarop deze op licht gebaseerde schakelingen met elkaar verbonden zijn.

Stel je een poort voor die een lichtstroom regelt. In een standaard elektronisch circuit wordt de output van één poort de input voor de volgende, waardoor een naadloze keten ontstaat. Maar in de optische systemen die hier worden beschreven, is de poort een hybride apparaat. Het gebruikt een elektronisch signaal om te beslissen hoe het zich gedraagt, maar het geeft alleen licht uit. Om twee van deze poorten te verbinden, zou je normaal gesproken het lichtsignaal terug moeten converteren naar een elektronisch signaal om het vervolgens in de volgende poort te voeden. Deze conversie is traag en energieverslindend, wat het doel van het gebruik van licht tenietdoet. Een lange tijd betekende deze beperking dat complexe optische computers niet gebouwd konden worden door deze poorten simpelweg aan elkaar te koppelen.

Een team van onderzoekers van de Leibniz Universiteit Hannover en het Max Born Instituut heeft dit puzzelstuk nu opgelost. Ze hebben een rigoureuze wiskundige theorie ontwikkeld die bewijst dat een specifieke methode, oorspronkelijk voorgesteld door andere wetenschappers, deze optische poorten inderdaad aan elkaar kan koppelen zonder het signaal terug naar elektriciteit te hoeven converteren. Hun werk, gepubliceerd in een recente studie, laat zien dat je een massieve, complexe optische schakeling kunt bouwen door kleinere schakelingen in elkaar te nestelen. Deze "geneste cascading" (nested cascading) zorgt ervoor dat een enkele lichtstraal door een reeks logische beslissingen kan reizen, waarbij effectief een berekening wordt uitgevoerd terwijl het reist, en dat alles binnen het optische domein blijft.

De onderzoekers concentreerden zich op twee fundamentele soorten logische operaties: "EN" (AND) en "OF" (OR). In de taal van de computertechnologie laat een EN-poort een signaal alleen door als er aan twee voorwaarden wordt voldaan, terwijl een OF-poort het doorlaat als er aan ten minste één voorwaarde wordt voldaan. Het team toonde aan dat ze, door deze poorten in een specifieke boomstructuur te rangschikken, elke logische formule konden repliceren. De sleutel tot hun succes was een slimme manier om de poorten te verbinden. In plaats van te proberen een poort met twee inputs in een stroom met één output te dwingen, ontwierpen ze een systeem waarbij de output van één poort wordt gesplitst en gevoed aan de inputs van de volgende, waarbij één pad de "hoofdroute" is en het andere fungeert als een tijdelijke houder (placeholder). Door nauwgezet een set regels te volgen voor hoe deze verbindingen worden gemaakt, bewezen ze dat de uiteindelijke output van de schakeling altijd het juiste antwoord bevat op het logische probleem, terwijl alle andere paden een signaal van nul dragen.

Om te waarborgen dat dit niet slechts een gelukkige gok was voor eenvoudige gevallen, gebruikten de auteurs een methode van wiskundig bewijs genaamd inductie. Ze begonnen met het verifiëren dat het systeem werkte voor de kleinste mogelijke schakelingen, bestaande uit slechts één of twee poorten. Nadat ze hadden bevestigd dat de regels standhielden voor deze basisbouwstenen, demonstreerden ze dat dezelfde regels waar zouden blijven, ongeacht hoeveel poorten er aan de keten werden toegevoegd. Dit rigoureuze bewijs bevestigde dat de methode werkt voor elke logische formule, hoe complex ook, mits de formule in een specifieke vorm is geschreven die het hergebruik van tussenresultaten niet toestaat. Dit onderscheid is cruciaal: terwijl standaard elektronische circuits een berekening kunnen hergebruiken om ruimte te besparen, behandelt deze optische methode elke stap als een unieke gebeurtenis, waarbij het licht voor elke beslissing door een nieuw pad moet reizen.

Het team onderzocht ook hoe dit systeem schaalt naarmate de problemen groter worden. Een veelvoorkomende angst bij dergelijke systemen is dat het toevoegen van meer stappen zou leiden tot een exponentiële explosie van het aantal vereiste componenten, waardoor grote schakelingen onmogelijk worden om te bouwen. De onderzoekers ontdekten echter dat de groei veel beheersbaarder is. Voor veel veelvoorkomende typen logische formules groeit het aantal benodigde optische componenten in een rechte lijn met de complexiteit van het probleem. Zelfs voor de meest moeilijke, complexe formules volgt de groei een voorspelbare machtswet (power law), wat betekent dat de omvang toeneemt met een snelheid die veel langzamer is dan een exponentiële explosie. Sterker nog, voor een typische complexe formule groeit de omvang van de optische schakeling ruwweg met het aantal logische stappen tot de macht één en een half. Dit is een belangrijke bevinding, omdat het suggereert dat hoewel het systeem niet zo compact is als een herbruikbaar elektronisch circuit, het nog steeds efficiënt genoeg is om praktisch bruikbaar te zijn voor een breed scala aan toepassingen.

De studie keek ook naar specifieke praktijkvoorbeelden, zoals de logica die wordt gebruikt in binaire tellers (binary adders), de circuits die optellingen uitvoeren in computers. Ze ontdekten dat zelfs voor deze complexe taken de optische schakeling efficiënt schaalt. De onderzoekers merkten op dat hoewel de optische schakeling groter kan zijn dan een traditionele elektronische schakeling die onderdelen hergebruikt, het de energiekosten vermijdt om licht terug te converteren naar elektriciteit. Deze afweging is de kern van het voordeel van hun aanpak. Het werk beweert nog geen volledig functionele optische computer te hebben gebouwd, maar biedt de essentiële theoretische blauwdruk en het bewijs dat een dergelijke machine fysiek mogelijk is. Door een duidelijke, op regels gebaseerde methode vast te stellen voor het verbinden van deze optische poorten, hebben de onderzoekers een belangrijke theoretische barrière weggenomen, wat de weg vrijmaakt voor toekomstige ingenieurs om hoogwaardige, energiezuinige optische processors te ontwerpen die de complexe logica van de moderne wereld kunnen verwerken.