Oct. 10, 2013
The research community has made spectacular progress in building the magical quantum machines, developing new applications, designing security platforms up until the current state where the verification question is hunting us down.
The required experiments are not beyond our reach and have been implemented, even in a basic optical setting, but these are quantum experiments simulating quantum theory. So even if we assume the correctness of quantum theory, we are soon reaching to the domain that we are not able to verify the correctness of experimental results due to the superior computational capacity of quantum systems.
I will present recent theoretical and experimental results towards the verification of quantum computing and more generally developing « Quantum Turing Test », where a classical verifier is trying to distinguish between a classical and a quantum machine.
Elham Kashefi (University of Edimburgh, Scotland)