Quantum computing gets recursive

Quis custodiet ipsos quanta?

  • alert
  • submit to reddit

Secure remote control for conventional and virtual desktops

When a quantum computer can produce results that would take thousands of years to produce out of a classical computer, an obvious question arises: if you've given the wrong answer, how would you know? That's a question to which University of Vienna boffins have turned their attention to.

A computation involving a handful of qubits can be checked by a classical computer, because it can iterate through the possible states one-by-one. Some other quantum computations are also checkable in the classical world: for example, if we produce a quantum computer with enough power to factor very long cryptographic keys, the result would be testable against the original message.

However, quantum computing boffins assure us that just 300 qubits should represent more possible states than there are atoms in the visible universe, making the job of delivering “provably correct” results a challenge. Some proposals to overcome this go so far as to create entanglements between entire quantum computers, something which reaches far beyond any current technology.

The University of Vienna's Philip Walther, Stefanie Barz and their collaborators, proposed a scheme called “blind quantum computing” in a paper in Nature, and now, the same group says it has demonstrated the technique at a small scale.

The basic idea is simple: the calculation includes traps, intermediate steps in a calculation for which the “classical” answer can be known in advance.

Meanwhile, the quantum computer actually carrying out the calculation has no idea what it's doing. As explained at Science Magazine: “A quantum computer receives qubits and completes a task with them, but it remains blind to what the input and output were, and even what computation it performed … The test is designed in such a way that the quantum computer cannot distinguish the trap from its normal tasks”.

The trap is designed show an error while the quantum computer is working.

The trick is that the researchers didn't embed their traps into a classical calculation. Rather, they used a four-qubit quantum computer as the verifier, to perform a “blind Bell test” against a second quantum computer. In their Nature paper, they claim the experiment “is independent of the experimental quantum-computation platform used”.

It's just an experiment a this stage. As Scott Aaronson of MIT told Science, “this currently has the status of a fun demonstration proof of concept, rather than anything that's directly useful yet”, but such demonstrations are “necessary steps” towards useful quantum computers.

The University of Vienna is quite capable at producing “fun demonstrations” of quantum computing. Earlier this year, it produced a real-time visualisation of the emergence of entanglement. ®

Secure remote control for conventional and virtual desktops

More from The Register

next story
Ellison: Sparc M7 is Oracle's most important silicon EVER
'Acceleration engines' key to performance, security, Larry says
Oracle SHELLSHOCKER - data titan lists unpatchables
Database kingpin lists 32 products that can't be patched (yet) as GNU fixes second vuln
Ello? ello? ello?: Facebook challenger in DDoS KNOCKOUT
Gets back up again after half an hour though
Hey, what's a STORAGE company doing working on Internet-of-Cars?
Boo - it's not a terabyte car, it's just predictive maintenance and that
Troll hunter Rackspace turns Rotatable's bizarro patent to stone
News of the Weird: Screen-rotating technology declared unpatentable
prev story


A strategic approach to identity relationship management
ForgeRock commissioned Forrester to evaluate companies’ IAM practices and requirements when it comes to customer-facing scenarios versus employee-facing ones.
Storage capacity and performance optimization at Mizuno USA
Mizuno USA turn to Tegile storage technology to solve both their SAN and backup issues.
High Performance for All
While HPC is not new, it has traditionally been seen as a specialist area – is it now geared up to meet more mainstream requirements?
Beginner's guide to SSL certificates
De-mystify the technology involved and give you the information you need to make the best decision when considering your online security options.
Security for virtualized datacentres
Legacy security solutions are inefficient due to the architectural differences between physical and virtual environments.