{"id":2943,"date":"2016-10-25T18:50:18","date_gmt":"2016-10-25T22:50:18","guid":{"rendered":"https:\/\/scottaaronson.blog\/?p=2943"},"modified":"2017-01-12T09:08:17","modified_gmt":"2017-01-12T14:08:17","slug":"my-5-minute-quantum-computing-talk-at-the-white-house","status":"publish","type":"post","link":"https:\/\/scottaaronson.blog\/?p=2943","title":{"rendered":"My 5-minute quantum computing talk at the White House"},"content":{"rendered":"<p><em>(OK, technically it was in the Eisenhower Executive Office Building, which is not exactly the White House itself, but is adjacent to the West Wing in\u00a0the White House complex. \u00a0And President Obama wasn&#8217;t there&#8212;maybe, like Justin Trudeau, he already knows everything about quantum computing? \u00a0But lots of people from the <a href=\"https:\/\/en.wikipedia.org\/wiki\/Office_of_Science_and_Technology_Policy\">Office of Science and Technology Policy<\/a> were! \u00a0And some\u00a0of us talked with\u00a0<a href=\"https:\/\/en.wikipedia.org\/wiki\/Valerie_Jarrett\">Valerie Jarrett<\/a>, Obama&#8217;s adviser, when she passed us\u00a0on her way to the\u00a0West Wing.<\/em><\/p>\n<p><em>The occasion was a Quantum Information Science policy workshop that OSTP held, and which the White House explicitly gave us permission to discuss on social media. \u00a0Indeed, John Preskill already <a href=\"https:\/\/twitter.com\/preskill\/status\/788487715566317568\">tweeted photos<\/a> from the event. \u00a0Besides me and Preskill, others in attendance included Umesh Vazirani, Seth Lloyd, Yaoyun Shi, Rob Schoelkopf, Krysta Svore, Hartmut Neven, Stephen Jordan&#8230;<\/em><\/p>\n<p><em>I don&#8217;t know whether this is the first time that the polynomial hierarchy, or the notion\u00a0of variation distance, were ever invoked\u00a0in a speech at the White House. \u00a0But in any case, I was proud to receive a box of Hershey Kisses bearing the presidential seal. \u00a0I thought of not eating them, but then I got hungry, and realized that I can simply refill the box later if desired.<\/em><\/p>\n<p><i>For\u00a0regular readers of Shtetl-Optimized, my talk won&#8217;t have all that much that&#8217;s new, but in any case it&#8217;s short.<\/i><\/p>\n<p><em>Incidentally, during the workshop, a guy from OSTP told me that, when he and others at the White House were asked to prepare materials about quantum computing, posts on Shtetl-Optimized (such as <a href=\"https:\/\/scottaaronson.blog\/?p=208\">Shor I&#8217;ll Do It<\/a>) were a huge help.\u00a0 Honored though I was to have &#8220;served my country,&#8221; I winced, thinking about all the puerile doofosities I might&#8217;ve self-censored had I had any idea who might read them.\u00a0 I didn&#8217;t dare ask whether anyone at the White House also reads the comment sections!<br \/>\n<\/em><\/p>\n<p><em>Thanks so much to all the other participants and to the organizers for a great workshop. \u00a0&#8211;SA)<\/em><\/p>\n<hr \/>\n<p><b>Quantum Supremacy<\/b><\/p>\n<p>by Scott Aaronson (UT Austin)<\/p>\n<p>October 18, 2016<\/p>\n<p>Thank you; it&#8217;s great to be here. \u00a0There are lots of directions that excite me enormously right now in quantum computing theory, which is what I work on. \u00a0For example, there&#8217;s the use of quantum computing to get new insight into <a href=\"http:\/\/theoryofcomputing.org\/articles\/gs002\/gs002.pdf\">classical computation<\/a>, into <a href=\"https:\/\/arxiv.org\/abs\/1401.3916\">condensed matter physics<\/a>, and recently, even into the <a href=\"https:\/\/arxiv.org\/abs\/1409.1231\">black hole information problem<\/a>.<\/p>\n<p>But since I have five minutes, I wanted to talk here about one particular direction&#8212;one that, like nothing else that I know of, bridges theory and experiment in the service of what we hope will be a spectacular result in the near future. \u00a0This direction is what&#8217;s known as &#8220;Quantum Supremacy&#8221;&#8212;John [Preskill], did you help popularize that term? \u00a0[John nods yes]&#8212;although some people have been backing away from the term recently, because of the campaign of one of the possible future occupants of this here complex.<\/p>\n<p>But what quantum supremacy means to me, is demonstrating a quantum speedup for <em>some<\/em> task as confidently as possible. \u00a0Notice that I didn&#8217;t say a <em>useful<\/em> task! \u00a0I like to say that for me, the #1 application of quantum computing&#8212;more than codebreaking, machine learning, or even quantum simulation&#8212;is just disproving the people who say quantum computing is impossible! \u00a0So, quantum supremacy targets <em>that<\/em> application.<\/p>\n<p>What <em>is<\/em> important for quantum supremacy is that we solve a clearly defined problem, with some relationship between inputs and outputs that&#8217;s independent of whatever hardware we&#8217;re using to solve the problem. \u00a0That&#8217;s part of why it doesn&#8217;t cut it to point to some complicated, hard-to-simulate molecule and say &#8220;aha! \u00a0quantum supremacy!&#8221;<\/p>\n<p>One discovery, which\u00a0I and others stumbled on 7 or 8 years ago, is that quantum supremacy seems to become much easier to demonstrate if we switch from problems with a single valid output to <em>sampling<\/em> problems: that is, problems of sampling exactly or approximately from some specified probability distribution.<\/p>\n<p>Doing this has two advantages. \u00a0First, we no longer need a full, fault-tolerant quantum computer&#8212;in fact, very rudimentary types of quantum hardware appear to suffice. \u00a0Second, we can design sampling problems for which we can arguably be <em>more<\/em> confident that they really are hard for a classical computer, than we are that (say) factoring is classically hard. \u00a0I like to say that a fast classical factoring algorithm might collapse the world&#8217;s electronic commerce, but as far as we know, it wouldn&#8217;t collapse the polynomial hierarchy! \u00a0But with sampling problems, at least with exact sampling, we <em>can<\/em> often show the latter implication, which is about the best evidence you can possibly get for such a problem being hard in the present state of mathematics.<\/p>\n<p>One example of these sampling tasks that we think are classically hard is <a href=\"https:\/\/en.wikipedia.org\/wiki\/Boson_sampling\">BosonSampling<\/a>, which Alex Arkhipov and I proposed in 2011. \u00a0BosonSampling uses a bunch of identical photons that are sent through a network of beamsplitters, then measured to count the number of photons in each output mode. \u00a0Over the past few years, this proposal has\u00a0been experimentally demonstrated by quantum optics groups around the world, with the current record being a <a href=\"https:\/\/scottaaronson.blog\/?p=2435\">6-photon demonstration<\/a> by the O&#8217;Brien group in\u00a0Bristol, UK. \u00a0A second example is the IQP (&#8220;Instantaneous Quantum Polynomial-Time&#8221;) or <a href=\"https:\/\/arxiv.org\/abs\/1005.1407\">Commuting Hamiltonians<\/a> model of Bremner, Jozsa, and Shepherd.<\/p>\n<p>A third example&#8212;no doubt the simplest&#8212;is just to sample from the output distribution of a random quantum circuit, let&#8217;s say on a 2D square lattice of qubits with nearest-neighbor interactions. \u00a0Notably, this last task is one that the Martinis group at Google is <a href=\"https:\/\/arxiv.org\/abs\/1608.00263\">working toward achieving<\/a> right now, with 40-50 qubits. \u00a0They say that they&#8217;ll achieve it in as little as one or two years, which translated from experimental jargon, means maybe five years? \u00a0But not infinity years.<\/p>\n<p>The challenges on the experimental side are clear: get enough qubits with long enough coherence times to achieve this. \u00a0But there are also some huge theoretical challenges remaining.<\/p>\n<p>A first is, can we still solve classically hard sampling problems even in the presence of realistic experimental imperfections? \u00a0Arkhipov and I already thought about that problem&#8212;in particular, about sampling from a distribution that&#8217;s merely <em>close<\/em> in variation distance to the BosonSampling one&#8212;and got results that admittedly weren&#8217;t as satisfactory as the results for exact sampling. \u00a0But I&#8217;m delighted to say that, just within the last month or two, there have been some <a href=\"https:\/\/arxiv.org\/abs\/1610.03632\">excellent<\/a> <a href=\"https:\/\/arxiv.org\/abs\/1610.01808\">new papers<\/a> on the arXiv that tackle exactly this question, with both positive and negative results.<\/p>\n<p>A second theoretical challenge is, how do we verify the results of a quantum supremacy experiment? \u00a0Note that, as far as we know today, verification could itself require classical exponential time. \u00a0But\u00a0that&#8217;s not the showstopper that some people think, since we could target the &#8220;sweet spot&#8221; of 40-50 qubits, where classical verification is difficult (and in particular, clearly &#8220;costlier&#8221; than running the experiment itself), but also far from impossible with cluster computing resources.<\/p>\n<p>If I have any policy advice, it&#8217;s this: recognize that a clear demonstration of quantum supremacy is at least as big a deal as (say) the discovery of the Higgs boson. \u00a0After this scientific milestone is achieved, I predict that the whole discussion of commercial applications of quantum computing will shift to a new plane, much like the Manhattan Project shifted to a new plane after Fermi built his pile under the Chicago stadium in 1942. \u00a0In other words: at this point, the most &#8220;applied&#8221; thing to do might be to set applications aside temporarily, and just achieve this quantum supremacy milestone&#8212;i.e., build the quantum computing Fermi pile&#8212;and thereby show the world that quantum computing speedups are a reality. \u00a0Thank you.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>(OK, technically it was in the Eisenhower Executive Office Building, which is not exactly the White House itself, but is adjacent to the West Wing in\u00a0the White House complex. \u00a0And President Obama wasn&#8217;t there&#8212;maybe, like Justin Trudeau, he already knows everything about quantum computing? \u00a0But lots of people from the Office of Science and Technology [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"advanced_seo_description":"","jetpack_seo_html_title":"","jetpack_seo_noindex":false,"jetpack_seo_schema_type":"","_jetpack_newsletter_access":"","_jetpack_dont_email_post_to_subs":false,"_jetpack_newsletter_tier_id":0,"_jetpack_memberships_contains_paywalled_content":false,"_jetpack_feature_clip_id":0,"_jetpack_memberships_contains_paid_content":false,"footnotes":"","jetpack_publicize_message":"{title}\n\n{excerpt}\n\n{url}","jetpack_publicize_feature_enabled":true,"jetpack_social_post_already_shared":false,"jetpack_social_options":{"image_generator_settings":{"template":"highway","default_image_id":0,"font":"","enabled":false},"version":2},"_wpas_customize_per_network":false,"jetpack_post_was_ever_published":false},"categories":[10,5,4],"tags":[],"class_list":["post-2943","post","type-post","status-publish","format-standard","hentry","category-adventures-in-meatspace","category-complexity","category-quantum"],"jetpack_publicize_connections":[],"jetpack_sharing_enabled":true,"jetpack_featured_media_url":"","_links":{"self":[{"href":"https:\/\/scottaaronson.blog\/index.php?rest_route=\/wp\/v2\/posts\/2943","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/scottaaronson.blog\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/scottaaronson.blog\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/scottaaronson.blog\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/scottaaronson.blog\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=2943"}],"version-history":[{"count":7,"href":"https:\/\/scottaaronson.blog\/index.php?rest_route=\/wp\/v2\/posts\/2943\/revisions"}],"predecessor-version":[{"id":2951,"href":"https:\/\/scottaaronson.blog\/index.php?rest_route=\/wp\/v2\/posts\/2943\/revisions\/2951"}],"wp:attachment":[{"href":"https:\/\/scottaaronson.blog\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=2943"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/scottaaronson.blog\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=2943"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/scottaaronson.blog\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=2943"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}