In de wereld van de wiskunde bestaat er een speciale klasse instrumenten die worden gebruikt om te beschrijven hoe dingen in de loop van de tijd veranderen, van het afkoelen van een kop koffie tot de beweging van planeten. Deze instrumenten worden semigroepen genoemd en ze vertrouwen op een centrale motor die bekend staat als een generator. Beschouw de generator als de hoofdschakelaar die de snelheid en richting van de verandering bepaalt. Decennialang zijn wiskundigen gefascineerd geweest door een specifieke puzzel met deze generatoren: als je een machine hebt die soepel en voorspelbaar draait, loopt de omgekeerde operatie dan ook soepel? In technische termen: als een generator een stabiele, begrensde stroom van verandering creëert, creëert de wiskundige inverse dan ook een vergelijkbare stabiele stroom? Deze vraag, bekend als het inverse generatorprobleem, is een onderwerp van intensief onderzoek geweest omdat het antwoord ertoe doet voor hoe we complexe systemen op computers simuleren. Als de omgekeerde operatie slecht functioneert, kan dit ervoor zorgen dat computermodellen uit de bocht vliegen en in plaats van nauwkeurige voorspellingen wazige resultaten produceren.

Lama tijd leek het antwoord ja te zijn, tenminste in de best gedragende wiskundige ruimtes. Echter, een nieuwe studie door de onderzoekers Emiel Lorist, Martin Meyries en Mark Veraar heeft definitief aangetoond dat deze intuïtie onjuist is. Zij hebben een specifiek, expliciet voorbeeld geconstrueerd van een wiskundige machine die perfect werkt op zichzelf, maar uit elkaar valt wanneer je probeert deze in omgekeerde richting te laten draaien. Hun werk bewijst dat op een Hilbertruimte — een type wiskundige omgeving die wordt gebruikt om veel fysieke systemen te modelleren — het mogelijk is om een generator te hebben die een stabiele, begrensde staving van de tijd produceert, terwijl de inverse ervan helemaal geen stabiele stroom genereert. Sterker nog, het omgekeerde proces groeit zo wild dat het onbegrensd wordt, wat betekent dat de betrokken getallen oneindig groot kunnen worden. Deze ontdekking beslecht een belangrijk openstaand vraagstuk in het vakgebied, waarbij wordt bewezen dat de relatie tussen een systeem en zijn omgekeerde veel kwetsbaarder is dan voorheen werd aangenomen.

De onderzoekers hebben niet alleen een theoretische mogelijkheid gevonden; ze hebben een concreet tegenvoorbeeld gebouwd met behulp van een slimme constructie bestaande uit einddimensionale matrices. Ze creëerden een sequentie van steeds complexere matrices die fungeren als de bouwstenen voor hun uiteindelijke machine. Deze matrices waren ontworpen met zeer specifieke eigenschappen: hun interne onderdelen zijn zo gerangschikt dat wanneer de machine vooruit draait, de energie onder controle blijft en uiteindelijk wegsterft. De rangschikking is echter zo delicaat dat wanneer de machine wordt omgedraaid, de energie niet alleen stabiel blijft; de energie explodeert. De groei van dit omgekeerde proces is niet louter snel; het volgt een zeer specifiek, traag brandend patroon dat de auteurs beschrijven als groeiend met ten minste een dubbele logaritme. Om dit in perspectief te plaatsen: terwijl een normale explosie kan groeien als een kwadraat of een kubus, is deze groei aanvankelijk extreem traag, maar wordt het uiteindelijk onbegrensd, waardoor het de verwachting tart dat een stabiel systeem een stabiele omgekeerde beweging zou moeten hebben.

Deze bevinding heeft directe en ernstige gevolgen voor hoe we vergelijkingen op computers oplossen. Een van de populairste methoden voor het simuleren van tijdsafhankelijke systemen wordt het Crank–Nicolson-schema genoemd. Het is een standaardinstrument in de techniek en natuurkunde omdat het meestal zeer stabiel en nauwkeurig is. De nieuwe studie laat zien dat dit populaire methode voor het specifieke type systeem dat zij hebben geconstrueerd, volledig faalt. Ongeacht hoe klein de tijdstappen worden gemaakt, of hoe lang de simulatie loopt, het computermodel zal uiteindelijk divergeren. De fout blijft niet klein; de fout groeit zonder limiet. De onderzoekers hebben aangetoond dat de instabiliteit geen kleine glitch is, maar een fundamenteel kenmerk van het systeem, waarmee zij bewijzen dat het Crank–Nicolson-schema niet universeel stabiel is, zelfs niet voor systemen die exponentieel stabiel zijn in hun voorwaartse richting.

De studie werpt ook licht op het gedrag van een wiskundig hulpmiddel genaamd de Cayley-transformatie, die nauw verwant is aan het Crank–Nicolson-schema. Dit hulpmiddel wordt vaak gebruikt om te analyseren of een systeem in de loop van de tijd stabiel zal blijven. De onderzoekers ontdekten dat hun tegenvoorbeeld voldoet aan de basisvoorwaarden voor stabiliteit waar wiskundigen al jaren op vertrouwen, maar dat het toch niet stabiel is in de sterkere zin die vereist is voor langetermijncalculaties. Dit betekent dat de standaardcontroles die worden gebruikt om stabiliteit te garanderen, niet voldoende zijn om te voorkomen dat het systeem uit de hand loopt. Het werk onthult een verborgen laag van complexiteit in deze systemen, waarbij wordt aangetoond dat ze aan alle gebruikelijke veiligheidstests kunnen voldoen en toch een potentieel voor catastrofale uitval kunnen herbergen wanneer ze worden omgekeerd of gesimuleerd.

De constructie van dit tegenvoorbeeld berustte op een diep begrip van hoe verschillende wiskundige bases met elkaar interageren. De onderzoekers gebruikten een specifieke set vectoren die bijna, maar net niet quite, orthogonaal aan elkaar zijn. Deze lichte imperfectie, die zij controleerden met een specifieke parameter, stelde hen in staat om het systeem zo af te stemmen dat de voorwaartse beweging perfect gedempt werd, terwijl de omgekeerde beweging werd versterkt. De sleutel tot hun succes was het gebruik van een sequentie van getallen die met een dubbel-exponentiële snelheid groeien. Deze snelle groei is wat het systeem in staat stelt om stabiliteit in de ene richting te behouden terwijl het onstabiel wordt in de andere. Zonder deze specifieke, zorgvuldig gekozen groeisnelheid zou de delicate balans die vereist is voor het tegenvoorbeeld niet bestaan.

Uiteindelijk biedt dit artikel een definitief negatief antwoord op een vraag die jarenlang open had gestaan. Het toont aan dat het inverse generatorprobleem geen positieve oplossing heeft op Hilbertruimten, en dat de stabiliteit van numerieke schema's niet als vanzelfsprekend kan worden beschouwd. De onderzoekers hebben een helder, expliciet voorbeeld geleverd dat dient als een waarschuwing voor wiskundigen en ingenieurs: alleen omdat een systeem stabiel lijkt en de standaardtests doorstaat, betekent dit niet dat de omgekeerde beweging veilig is, noch betekent het dat standaard computersimulaties altijd zullen werken. Het werk is een rigoureus bewijs, geen suggestie of een simulatie, en het vormt een permanente correctie van het begrip van deze fundamentele wiskundige relaties.