- The Strategist - https://www.aspistrategist.org.au -

The “is” and “isn’t” of quantum supremacy

Posted By on March 30, 2017 @ 11:00

The odds are high that the phrase ‘quantum supremacy’ will soon cross your desk. In mid-2016 Google engineers announced [1] plans to achieve quantum supremacy in the near-term; the likely timescale is five years, possibly much sooner. Quantum supremacy is a sexy idea (they had me at quantum) and it’ll be trumpeted in the media. But in the lull, it’s a good time to inoculate against some of the more militant readings that follow the ‘[adjective] supremacy’ construct.

There’s rhetorical currency in the term ‘quantum supremacy’, and it plays well in cut-throat grant-applications.  But the technical meaning’s less racy—quantum supremacy simply means a clear demonstration of a ‘quantum speedup’. That is, a quantum computer that outperforms the best classical supercomputer on a specific task. ‘Outperforms’ is quantified by the calculation speed as a function of input size. This is a big deal in computer science, and would effectively show that there are some things a quantum computer can do that a classical computer can’t—at least on a practical timescale.

So, we should understand that the demonstrated superiority isn’t at all like air supremacy, for example. Rather than an adversary, the victory is over particular classical limits. That’s a cue for the hardened sceptics to ask okay, now what? Supposing quantum supremacy is achieved soon, it’s going to make physicists happy. Everyone else, being interested in practical computing tasks, wants to know (a) how scalable quantum computers will be and (b) what quantum computers can actually do. It’s worth dwelling on these points, because most questions about the viability of quantum computing are asked [2] and answered [3] along those lines.

First, the question of scalability. Proof-of-concept problems can be difficult to translate to real problems. Quantum computers are error-prone due to background noise (we say that the quantum states suffer decoherence), and there’s a risk that, as we scale up, the accumulated errors would prevent accurate longer calculations. But there’s some hope, due to what’s called the threshold theorem [4]. The theorem says that if we can keep the noise below a certain level, we’ll always be able to correct noise-induced errors faster [5] than they’re created. That means that fault-tolerant quantum computers of almost arbitrary size should be possible. It’s a powerful finding,  because the theorem doesn’t specify the source of the noise—it could be either from environmental sources, inaccuracies in the initial set-up, or measurement of the computer’s state.

The trouble is that error correction [6] is notoriously difficult to implement. Quantum supremacy as an initial benchmark doesn’t need much of it, but more ambitious targets will. One way to manage the challenge is to think in terms of modules [7], each of which is small enough to allow for effective error correction. Another possibility, championed by Microsoft [8], lies in ‘topological quantum computing’, in which ‘circuitry’ is encoded in the arrangement of exotic matter states. Such a setup is robust against environmental decoherence.

Second, the question of utility. The conventional narrative is that current cryptography will soon be defeated by Shor’s algorithm [9]. The algorithm is a quantum computing approach to factoring numbers into their prime factors (the computational difficulty of which lies at the heart of encryption schemes like the widespread RSA system). But it’s not so straightforward—developments in cryptography based on quantum key distribution and post-quantum cryptography [10] might mean that would-be codebreakers using quantum computers will be defeated before they begin.

It’s tempting to end there, and notch up one for the Luddites—but that misses the big picture. The promise lies in some less well-known uses: Grover’s search algorithm [11], the HHL algorithm for linear equations [12] and quantum simulation [13]. Each isn’t really an application, but calculations in most scientific fields can be enabled by these processes. The overall task would be sped up by quantum computing. Grover’s algorithm enables more efficient inversion of functions and faster database queries. The HHL algorithm provides an exponential increase in runtime when solving a system of linear equations—this could allow for faster (and therefore more detailed) modelling in everything from weather forecasts to radar extrapolations.

Most machine learning techniques also involve linear equations, so the combination of quantum computing and artificial intelligence might act as a technological force multiplier. Finally, a quantum simulator would let us model atomic-scale interactions efficiently, something that a classical computer can’t do. There’s big interest [14] in areas like medicine, chemistry and engineering, which now use advanced supercomputers to approximate behaviour of drugs, organics and materials.

The final piece of the puzzle might be the floodgates [15] that quantum supremacy success opens in the investing world. D-Wave is making waves [16] with their claimed quantum computers, but so far there’s no evidence [17] of quantum speedups. IBM is expanding [18] a cloud-based, publicly-accessible platform (though it won’t outperform classical computing) and there’s a growing start-up ecosystem [19] looking to leverage quantum computing out of the lab. Although computer giants have invested [20] in quantum computing already, a successful demonstration of quantum supremacy could attract a new wave of private money and larger-scale public investment.

Properly realised, quantum computing will extend beyond commonly-touted cryptographic uses, enabling faster scientific calculations across the board. One step along the way will be the practical achievement of quantum supremacy, followed by wider commercialisation. As ever though, the promise is commensurate with the massive labour needed to translate the theory, noise and all, into reality.



Article printed from The Strategist: https://www.aspistrategist.org.au

URL to article: https://www.aspistrategist.org.au/isnt-quantum-supremacy/

URLs in this post:

[1] announced: https://www.newscientist.com/article/mg23130894-000-revealed-googles-plan-for-quantum-computer-supremacy/

[2] asked: https://arxiv.org/abs/1212.3562

[3] answered: http://www.scottaaronson.com/blog/?p=1211

[4] the threshold theorem: https://uwaterloo.ca/institute-for-quantum-computing/blog/post/essential-content-threshold-theorem-fault-tolerant-quantum

[5] faster: http://www.scottaaronson.com/democritus/lec14.html

[6] error correction: https://arxiv.org/abs/0905.2794

[7] modules: https://theconversation.com/how-we-created-the-first-ever-blueprint-for-a-real-quantum-computer-72290

[8] championed by Microsoft: http://www.nature.com/news/inside-microsoft-s-quest-for-a-topological-quantum-computer-1.20774

[9] Shor’s algorithm: http://www.scottaaronson.com/blog/?p=208

[10] post-quantum cryptography: https://www.wired.com/2016/07/google-tests-new-crypto-chrome-fend-off-quantum-attacks/

[11] Grover’s search algorithm: https://arxiv.org/abs/quant-ph/0109116

[12] HHL algorithm for linear equations: https://arxiv.org/abs/0811.3171

[13] quantum simulation: http://epjquantumtechnology.springeropen.com/articles/10.1140/epjqt10

[14] big interest: https://www.technologyreview.com/s/603794/chemists-are-first-in-line-for-quantum-computings-benefits/

[15] floodgates: https://www.wired.com/2017/03/race-sell-true-quantum-computers-begins-really-exist/

[16] making waves: https://www.theguardian.com/technology/2016/may/22/age-of-quantum-computing-d-wave

[17] no evidence: http://www.theverge.com/2016/9/28/13057414/quantum-computer-d-wave-2000-qubit-chip

[18] expanding: https://www.scientificamerican.com/article/ibm-will-unleash-commercial-universal-quantum-computers-this-year/

[19] growing start-up ecosystem: https://www.cbinsights.com/blog/quantum-computing-startup-ecosystem/

[20] invested: http://www.nature.com/news/quantum-computers-ready-to-leap-out-of-the-lab-in-2017-1.21239

Copyright © 2021 The Strategist. All rights reserved.