Boaz Barak: The different forms of quantum computing skepticism

Boaz Barak  wrote a nice essay which I reblog to you below about skepticism of quantum computers. His essay is centered around a description of four scenarios (or possible “worlds” in the style of Russel Impagliazzo) about the matter. Boaz’ world are called Superiorita (quantum computers are realistic and computational superior), Popscitopia  (Quantum computers are realistic and can solve NP-complete problems), Skepticland  (quantum computers are not realistic), and Classicatopia (quantum algorithms can efficiently be simulated on a classical computers)

Apropos Russel’s universes, Boaz told me about a new cryptography “world” called Obfustopia that can be found (along with some modification of the original worlds) in Boaz’ survey paper. I heard about it and about the related important LWE (learning with errors) problem also from Alon Rosen.

Boaz’ essay also includes Boaz’ own optimistic personal view and also some very brief critique of my skeptical stance. Boaz conclude his personal opinion with:

The bottom line is that, as far as I can tell, Superiorita is the most beautiful and evidence-supported world that is currently on offer.

Boaz’ main argument for his point of view is:

…as far as I can tell, these engineering difficulties are not fundamental barriers and with sufficient hard work and resources the noise can be driven down to as close to zero as needed.

This is indeed the crux of matters and my analysis gives good reasons to think that Boaz is not correct.  The different opinions are described in the pictures below and the crux of matters is “can we cross the green line?”

Common expectations

It is a common belief that by putting more effort for creating qubits the noise level can be pushed down to as  close to zero as we want. Once the noise level is small enough and crosses the green line, quantum error correction allows logical qubits to reduce the noise even further with a small amount of additional effort . Very high quality topological qubits are also expected.



The picture suggested by my analysis

My analysis (see here and here and here) gives good reasons to expect that we will not be able to reach the green line and that all attempts for logical and topological qubits will yield bad quality qubits.

Finer Worlds

One can make a finer division of the superiorita world, and, in my view, the three most relevant worlds are the following:

Quantopia  – The model of quantum circuits is the correct description of local quantum systems in nature and therefore universal quantum computation is possible. Quantum supremacy and robust quantum information are present and perhaps even ubiquitous in the physical world. Quantum systems, quantum information and computation are analogous to classical systems, classical information and computation. Quantum error correction is analogous to classical error correction: an important engineering tool but not the thing that makes the qualitative difference whether scalabale communication or computation is possible. (This represents Boaz’ beliefs expressed in his post and his later comments.)

Superiorita (Quantum noise below the threshold.) Quantum systems are inherently noisy. Time-dependent quantum evolutions necessarily interacts with the environment and are therefore  noisy. The model of noisy quantum circuits is the correct description of local quantum systems in nature. Quantum error-correction  shows that small islands representing noiseless quantum circuits can be created and may also exist in nature. Hence quantum computation is possible. (This is perhaps the most common view among researchers in quantum information.)

Skeptica– (Quantum noise above the threshold.) Quantum systems are inherently noisy. Time-dependent quantum evolutions necessarily interacts with the environment. The model of noisy quantum circuits is the correct description of local quantum systems in nature. The noise level cannot be pushed below the level allowing quantum error-correction and quantum fault-tolerance. Hence quantum computation is not possible. Quantum supremacy is not demonstrated in nature and cannot be demonstrated in the laboratory. (This is were I stand).

There are, of course people who are skeptical about quantum computers from other reasons like the young Boaz who simply did not like physics. There are people who for various reasons are skeptical of quantum mechanics.

Quantopia  suggests that “quantum supremacy” and “robust quantum information” will be present and in fact ubiquitous in the physical world, while under ” superiorita” quantum supremacy represents rare a islands inside a large “decoherence desert” (as Daniel Gottesman referred to it in his beautiful picture portrayed in this post.) The difference between quantopia and  superiorita is relevant to Scott Aaronson’s hope that quantum computers promise  trillion dollars industry via simulations. While additional computing power is always welcome this idea is less promising in the  superiorita scenario where the usefulness of quantum computers to simulation is less clear.

Anyway, without even further ado, here is Boaz’ piece.

Windows On Theory

(see also pdf version)

Quantum computing is one of the most exciting developments of computer science in the last decades. But this concept is not without its critics, often known as “quantum computing skeptics” or “skeptics” for short. The debate on quantum computing can sometimes confuse the physical and mathematical aspects of this question, and so in this essay I try to clarify those. Following Impagliazzo’s classic essay, I will give names to scenarios or “potential worlds” in which certain physical or mathematical conditions apply.

Potential worlds

Superiorita is the world where it is feasible to build scalable quantum computers, and these computers have exponential advantage over classical computers. That is, in superiorita there is no fundamental physical roadblock to building large quantum computers, and hence the class BQP is a good model of computation that is physically realizable. More precisely, in superioriata the amount of resources (think…

View original post 2,547 more words

This entry was posted in Quantum and tagged . Bookmark the permalink.

6 Responses to Boaz Barak: The different forms of quantum computing skepticism

  1. Matthew Cory says:

    The debate about decoherence and noise started by Bill Unruh is a red herring. The Born rule is metaphysical fluff and QM just gives expectations of observables. The idea that uncertainty leads to computational speedups is absurd. Paul Davies pointed out that a 400-qubit computer would even come into conflict with the cosmological information bound implied by the holographic principle. It’s not only that Turing-complexity arguments cannot be run backwards but that there is a major debate about the completeness of mathematical descriptions in quantum mechanics. The real point is that some argue QC people are just rediscovering analog computing.

    David Hestenes: Quantum physicists claim that anticommutivity expresses incompatibility of spin measurements in orthogonal directions. On the contrary, I proposed that {σ1,σ2,σ3} is simply a frame of three orthonormal vectors; anticommutivity expresses orthogonality, and σ1σ2 represents a directed area, while σ1σ2σ3 = i is a pseudoscalar representing an oriented volume. How is it, I asked my father, that the great theoretical physicists and mathematicians Pauli, Dirac, Weyl, von Neumann—all failed to recognize the geometric import of the Pauli algebra. My father’s response is the greatest compliment I ever received: “You have learned the difference between a mathematical concept and its representation by symbols—many mathematicians never learn that!”

    Click to access s00006-016-0664-z.pdf

    Click to access SnarkPaper.pp.pdf

    • Matthew Cory says:

      “In two papers published today in the journal Nature, a team at MIT and Harvard in Cambridge, Massachusetts, and another from the University of Maryland and the National Institute of Standards in Washington D.C., reveal that they have built specialized types of quantum calculator, each of which uses more than 50 qubits—well beyond what had been demonstrated previously. In both cases, the researchers created quantum simulators, machines capable of using analog calculations to model how quantum particles interact”

      When will fraud be called fraud? Where is economical fusion energy? Where are practical applications for these devices? Nothing succeeds like the appearance of success.

      • Gil Kalai says:

        Matthew, Thanks for the links to these works. It is certainly impressive experimental achievements. In science as in other areas of life the appearance of success and partial successes are important and it sometimes lead to ultimate successes. Thanks also for the earlier comment, links and the quote from your father. Of course, in my view the debate about decoherence and noise is where the crux of matters are, and the impressive experimental recent progress is very important.

  2. Lisha Sravea says:

    Greetings from Quantum Optics 2018 Conference
    London | UK | September 10-11, 2018

    While going through various company profiles we came across your Organization. We would like to put up a proposal of collaborating with our conference. We would be glad if you consider conducting a symposium/workshop/exhibit, so that the attending academic attendees can get a better view of what is going on at the industrial level.

    Conference takes on a new theme,” Towards full stack of Computing and Optical Science in the Quantum era” this year.

    The conference is not just an academic meet but also a fusion of academia and industry on a global platform. We warmly welcome to the conference and would like to see all your staff whom you think will be an appropriate addition to the meeting. If this proposal is acceptable I would be excited enough to request you to send the abstract of the presentation.

    You can have a look at the conference deliberations and sessions @

    Feel free to contact us if you do have any queries. We shall be glad to assist you.

    Looking forward to hearing from you

    Kind Regards,
    Lisha Sravea | Scientific Relations Manager
    Quantum Optics 2018
    47 Churchfield Road, London, W3 6AY
    44 8000148923 |

Leave a Reply

Fill in your details below or click an icon to log in: Logo

You are commenting using your account. Log Out /  Change )

Google photo

You are commenting using your Google account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

Connecting to %s