Quantumcomputer kan niet meer liegen

Hoe weet je dat een quantumcomputer de juiste uitkomst uitspuugt? Hoe kun je zeker weten dat het ding überhaupt iets heeft gedaan? Dit zogenaamde quantumverificatieprobleem is nu opgelost. Urmila Mahadev van de University of California, Berkeley heeft een protocol opgesteld waarmee het resultaat van een quantumberekening met klassieke middelen kan worden nagetrokken.

Een berekening van een alledaagse computer kan in principe stap voor stap worden gereconstrueerd. Voor een quantumcomputer is dat per definitie onmogelijk, omdat een meting aan een quantumtoestand deze onmiddellijk doet instorten en het rekenproces stopt. Bovendien vereist een beschrijving van een quantumsysteem al snel meer bits dan er atomen in het universum zijn.

Met behulp van geavanceerde quantumcryptografie wist Mahadev die obstakels te omzeilen. Dat wil zeggen: op papier, want vooralsnog vereist haar methode teveel quantumrekenkracht om in de praktijk te brengen. Experts denken echter dat het niet lang meer zal duren voordat de eerlijkheid van quantumcomputers kan worden getest.