{"id":5730,"date":"2021-08-13T15:54:29","date_gmt":"2021-08-13T20:54:29","guid":{"rendered":"https:\/\/scottaaronson.blog\/?p=5730"},"modified":"2021-10-13T13:27:43","modified_gmt":"2021-10-13T18:27:43","slug":"stephen-wiesner-1942-2021","status":"publish","type":"post","link":"https:\/\/scottaaronson.blog\/?p=5730","title":{"rendered":"Stephen Wiesner (1942-2021)"},"content":{"rendered":"\n<p class=\"wp-block-paragraph\"><\/p>\n\n\n\n<p class=\"wp-block-paragraph\"><\/p>\n\n\n\n<div class=\"wp-block-image\"><figure class=\"aligncenter size-full\"><a href=\"https:\/\/scottaaronson.blog\/wiesner-sm.jpg\"><img loading=\"lazy\" decoding=\"async\" width=\"378\" height=\"417\" src=\"https:\/\/scottaaronson.blog\/wiesner-sm.jpg\" alt=\"\" class=\"wp-image-5888\"\/><\/a><figcaption>Photo credit: Lev Vaidman<\/figcaption><\/figure><\/div>\n\n\n\n<p class=\"wp-block-paragraph\">These have <a href=\"https:\/\/scottaaronson.blog\/?p=5566\">not<\/a> been an auspicious few weeks for Jewish-American-born theoretical physicists named Steve who made epochal contributions to human knowledge in the late 1960s, and who I had the privilege to get to know a bit when they were old.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">This morning, my friend and colleague <a href=\"https:\/\/orsattath.wordpress.com\/about\/\">Or Sattath<\/a> brought me the terrible news that <a href=\"https:\/\/en.wikipedia.org\/wiki\/Stephen_Wiesner\">Stephen Wiesner<\/a> has passed away in Israel.  [Because people have asked: I\u2019ve now also heard directly from Wiesner\u2019s daughter Sarah.]<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">Decades ago, Wiesner left academia, embraced Orthodox Judaism, moved from the US to Israel, and took up work there as a construction laborer&#8212;believing (or so he told me) that manual labor was good for the soul.  In the late 1960s, however, Wiesner was still a graduate student in physics at Columbia University, when he wrote <a href=\"http:\/\/users.cms.caltech.edu\/~vidick\/teaching\/120_qcrypto\/wiesner.pdf\">Conjugate Coding<\/a>: arguably the foundational document of the entire field of quantum information science.  <s>Famously, this paper was so far ahead of its time that it was rejected over and over from journals, taking nearly 15 years to get published.<\/s>  (Fascinatingly, Gilles Brassard tells me that this isn&#8217;t true: it was rejected <em>once<\/em>, from <em>IEEE Transactions on Information Theory<\/em>, and then Wiesner simply shelved it.)  When it finally appeared, in 1983, it was in <em><a href=\"https:\/\/dl.acm.org\/newsletter\/sigact\">SIGACT News<\/a><\/em>&#8212;a venue that I know and love, where I&#8217;ve published too, but that&#8217;s more like the house newsletter for theoretical computer scientists than an academic journal.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">But it didn&#8217;t matter.  By the early 1980s, Wiesner&#8217;s ideas had been successfully communicated to <a href=\"https:\/\/en.wikipedia.org\/wiki\/Charles_H._Bennett_(physicist)\">Charlie Bennett<\/a> and <a href=\"https:\/\/en.wikipedia.org\/wiki\/Gilles_Brassard\">Gilles Brassard<\/a>, who refashioned them into the first scheme for <a href=\"https:\/\/en.wikipedia.org\/wiki\/Quantum_key_distribution\">quantum key distribution<\/a>&#8212;what we now call <a href=\"https:\/\/en.wikipedia.org\/wiki\/BB84\">BB84<\/a>.  Even as Bennett and Brassard received scientific acclaim for the invention of quantum cryptography&#8212;including, a few years ago, the <a href=\"https:\/\/en.wikipedia.org\/wiki\/Wolf_Prize\">Wolf Prize<\/a> (often considered second only to the Nobel Prize), at a ceremony in the Knesset in Jerusalem that I attended&#8212;the two B&#8217;s were always careful to acknowledge their massive intellectual debt to Steve Wiesner.<\/p>\n\n\n\n<hr class=\"wp-block-separator\"\/>\n\n\n\n<p class=\"wp-block-paragraph\">Let me explain what Wiesner does in the Conjugate Coding paper.  As far as I know, this is the first paper ever to propose that quantum information&#8212;what Wiesner called &#8220;polarized light&#8221; or &#8220;spin-1\/2 particles&#8221; but we now simply call <a href=\"https:\/\/en.wikipedia.org\/wiki\/Qubit\">qubits<\/a>&#8212;works differently than classical bits, in ways that could <em>actually be useful<\/em> for achieving cryptographic tasks that are impossible in a classical world.  What could enable these cryptographic applications, wrote Wiesner, is the fact that there&#8217;s no physical means for an attacker or eavesdropper to <em>copy<\/em> an unknown qubit, to produce a second qubit in the same quantum state.  This observation&#8212;now called the <a href=\"https:\/\/en.wikipedia.org\/wiki\/No-cloning_theorem\">No-Cloning Theorem<\/a>&#8212;would only be named and published in 1982, but Wiesner treats it in his late-1960s manuscript as just obvious background.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">Wiesner went further than these general ideas, though, to propose an explicit scheme for <a href=\"https:\/\/en.wikipedia.org\/wiki\/Quantum_money\">quantum money<\/a> that would be physically impossible to counterfeit&#8212;a scheme that&#8217;s still of enormous interest half a century later (I teach it every year in my <a href=\"https:\/\/www.scottaaronson.com\/qclec.pdf\">undergraduate course<\/a>).  In what we now call the Wiesner money scheme, a central bank prints &#8220;quantum bills,&#8221; each of which contains a classical serial number as well as a long string of qubits.  Each qubit is prepared in one of four possible quantum states:<\/p>\n\n\n\n<ul class=\"wp-block-list\"><li>|0\u27e9,<\/li><li>|1\u27e9,<\/li><li>|+\u27e9 = (|0\u27e9+|1\u27e9)\/\u221a2, or<\/li><li>|-\u27e9 = (|0\u27e9-|1\u27e9)\/\u221a2.<\/li><\/ul>\n\n\n\n<p class=\"wp-block-paragraph\">The bank, in a central database, stores the serial number of every bill in circulation, as well as the preparation instructions for each of the bill&#8217;s qubits.  If you want to <em>verify<\/em> a bill as genuine&#8212;this, as Wiesner knew, is the big drawback&#8212;you have to bring it back to the bank.  The bank, using its secret knowledge of how each qubit was prepared, measures each qubit in the appropriate basis&#8212;the {<span style=\"font-size: revert; color: initial;\">|0\u27e9,|1\u27e9<\/span>} basis for <span style=\"font-size: revert; color: initial;\">|0\u27e9 or |1\u27e9<\/span> qubits, the {<span style=\"font-size: revert; color: initial;\">|+\u27e9,|-\u27e9<\/span>} basis for <span style=\"font-size: revert; color: initial;\">|+\u27e9 or |-\u27e9<\/span> qubits&#8212;and checks that it gets the expected outcomes.  If even one qubit yields the wrong outcome, the bill is rejected as counterfeit.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">Now consider the situation of a counterfeiter, who holds a quantum bill but lacks access to the bank&#8217;s secret database.  When the counterfeiter tries to copy the bill, they won&#8217;t know the right basis in which to measure each qubit&#8212;and if they make the wrong choice, then it&#8217;s not only that they fail to make a copy; it&#8217;s that the measurement destroys even the <em>original<\/em> copy!  For example, measuring a <span style=\"font-size: revert; color: initial;\">|+\u27e9 or |-\u27e9<\/span> qubit in the {<span style=\"font-size: revert; color: initial;\">|0\u27e9,|1\u27e9<\/span>} basis will randomly collapse the qubit to either <span style=\"font-size: revert; color: initial;\">|0\u27e9 or |1\u27e9<\/span>&#8212;so that, when the bank later measures the same qubit in the correct {<span style=\"font-size: revert; color: initial;\">|+\u27e9,|-\u27e9<\/span>} basis, it will see the wrong outcome, and realize that the bill has been compromised, with 1\/2 probability (with the probability increasing to nearly 1 as we repeat across hundreds or thousands of qubits).<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">Admittedly, the handwavy argument above, which Wiesner offered, is far from a security proof by cryptographers&#8217; standards.  In 2011, I <a href=\"https:\/\/cstheory.stackexchange.com\/questions\/11363\/rigorous-security-proof-for-wiesners-quantum-money\">pointed that out on StackExchange<\/a>.  My post, I&#8217;m happy to say, spurred Molina, Vidick, and Watrous to write a <a href=\"https:\/\/arxiv.org\/abs\/1202.4010\">beautiful 2012 paper<\/a>, where they rigorously proved for the first time that in Wiesner&#8217;s money scheme, no counterfeiter consistent with the laws of quantum mechanics can turn a single n-qubit bill into two bills that both pass the bank&#8217;s verification with success probability greater than (3\/4)<sup>n<\/sup> (and this is tight).  But the intuition was already clear enough to Wiesner in the 1960s.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">In 2003&#8212;when I was already a PhD student in quantum information, but incredibly, had never heard of Stephen Wiesner or his role in founding my field&#8212;I rediscovered the idea of quantum states |\u03c8\u27e9 that you could store, measure, and feed into a quantum computer, but that would be <em>usefully uncopyable<\/em>.  (My main interest was in whether you could create &#8220;unpiratable quantum software programs.&#8221;)  Only in 2006, at the University of Waterloo, did Michele Mosca and his students make the connection for me to quantum money, Stephen Wiesner, and his Conjugate Coding paper, which I then read with amazement&#8212;along with a <a href=\"https:\/\/static.aminer.org\/pdf\/PDF\/000\/120\/546\/quantum_cryptography_or_unforgeable_subway_tokens.pdf\">comparably amazing followup work<\/a> by Bennett, Brassard, Breidbart, and Wiesner.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">But it was clear that there was still a great deal to do.  Besides unpiratable software, Wiesner and his collaborators had lacked the tools in the early 1980s seriously to tackle the problem of secure quantum money that <em>anybody<\/em> could verify, not only the bank that had created the money.  I realized that, if such a thing was possible at all, then just like unpiratable software, it would require cryptographic hardness assumptions, a restriction to polynomial-time counterfeiters, and (hence) ideas from quantum computational complexity.  The No-Cloning Theorem couldn&#8217;t do the job on its own.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">That realization led to my 2009 paper <a href=\"https:\/\/arxiv.org\/abs\/1110.5353\">Quantum Copy-Protection and Quantum Money<\/a>, and from there, to the &#8220;modern renaissance&#8221; of Wiesner&#8217;s old idea of quantum money, with well over a hundred papers (e.g., <a href=\"https:\/\/arxiv.org\/abs\/1203.4740\">my 2012 paper with Paul Christiano<\/a>, Farhi et al.&#8217;s <a href=\"https:\/\/arxiv.org\/abs\/0912.3823\">quantum state restoration paper<\/a>, their <a href=\"https:\/\/arxiv.org\/abs\/1004.5127\">quantum money from knots paper<\/a>, Mark Zhandry&#8217;s 2017 <a href=\"https:\/\/arxiv.org\/abs\/1711.02276\">quantum lightning paper<\/a>, Dmitry Gavinsky&#8217;s <a href=\"https:\/\/arxiv.org\/abs\/1109.0372\">improvement of Wiesner&#8217;s scheme<\/a> wherein the money is verified by classical communication with the bank, Broduch et al.&#8217;s <a href=\"https:\/\/arxiv.org\/abs\/1404.1507\">adaptive attack<\/a> on Wiesner&#8217;s original scheme, my <a href=\"https:\/\/arxiv.org\/abs\/1711.01053\">shadow tomography paper<\/a> proving the necessity for the bank to keep a giant database in information-theoretic quantum money schemes like Wiesner\u2019s, Daniel Kane&#8217;s <a href=\"https:\/\/arxiv.org\/abs\/1809.05925\">strange scheme based on modular forms<\/a>&#8230;).  The purpose of many of these papers was either to break the quantum money schemes proposed in previous papers, or to patch the schemes that were previously broken.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">After all this back-and-forth, spanning more than a decade, I&#8217;d say that Wiesner&#8217;s old idea of quantum money is now in good enough theoretical shape that the main obstacle to its practical realization is merely the &#8220;engineering difficulty&#8221;&#8212;namely, how to get the qubits in a bill, sitting in your pocket or whatever, to maintain their quantum coherence for more than a few nanoseconds!  (Or possibly a few hours, if you&#8217;re willing to schlep a cryogenic freezer everywhere you go.)  It&#8217;s precisely because quantum key distribution doesn&#8217;t have this storage problem&#8212;because there the qubits are simply sent across a channel and then immediately measured on arrival&#8212;that QKD is actually practical today, although the market for it has proven to be extremely limited so far.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">In the meantime, while the world waits for the quantum error-correction that could keep qubits alive indefinitely, there&#8217;s Bitcoin.  The latter perversely illustrates just how immense the demand for quantum money might someday be: the staggering lengths to which people will go, diverting the electricity to power whole nations into mining rigs, to get around our current inability to realize Wiesner&#8217;s elegant quantum-mechanical solution to the same problem.  When I first learned about Bitcoin, shortly after its invention, it was in the context of: &#8220;here&#8217;s something I&#8217;d better bring up in my lectures on quantum money, in order to explain how much better WiesnerCoin could eventually be, when it&#8217;s the year 2200 or whatever and we all have quantum computers wired up by a quantum Internet!&#8221;  It never occurred to me that I should forget about the year 2200, liquidate my life savings, and immediately buy up all the Bitcoin I could.  [Added: I&#8217;ve since learned that Wiesner&#8217;s daughter Sarah is a professional in the Bitcoin space.]<\/p>\n\n\n\n<hr class=\"wp-block-separator\"\/>\n\n\n\n<div class=\"wp-block-image\"><figure class=\"aligncenter size-large\"><img decoding=\"async\" src=\"https:\/\/scottaaronson.blog\/wiesnaar-sm.jpg\" alt=\"\"\/><figcaption>Photo credit: Or Sattath<\/figcaption><\/figure><\/div>\n\n\n\n<p class=\"wp-block-paragraph\">In his decades as a construction laborer, Wiesner had (as far as I know) no Internet presence; many of my colleagues didn&#8217;t even realize he was still alive.  Even then, though, Wiesner never turned his back <em>so<\/em> far on his previous life, his academic life, that the quantum information faculty at Hebrew University in Jerusalem couldn&#8217;t entice him to participate in some seminars there.  Those seminars are where I had the privilege to meet and talk to him several times over the last decade.  He was thoughtful and kind, listening with interest as I told him how I and others were trying to take quantum money into the modern era by making it publicly verifiable.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">I also vividly remember a conversation in 2013 where Steve shared his fears about the American physics establishment and military-industrial complex, and passionately urged me to<\/p>\n\n\n\n<ol class=\"wp-block-list\"><li>quit academia and get a &#8220;real job,&#8221; and<\/li><li>flee the US immediately and move my family to Israel, because of a wave of fascism and antisemitism that was about to sweep the US, just like with Germany in the 1930s.<\/li><\/ol>\n\n\n\n<p class=\"wp-block-paragraph\">I politely nodded along, pointing out that my Israeli wife and I had considered living in Israel but the job opportunities were better in US, silently wondering when Steve had gone <em>completely<\/em> off his rocker.  Today, Steve&#8217;s urgent warning about an impending fascist takeover of the US seems &#8230; uh, <em>slightly<\/em> less crazy than in 2013?  Maybe, just like with quantum money, Wiesner was simply too far ahead of his time to sound sane.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">Wiesner also talked to me about his father, <a href=\"https:\/\/en.wikipedia.org\/wiki\/Jerome_Wiesner\">Jerome Wiesner<\/a>, who was a legendary president of MIT&#8212;still spoken about in reverent tones when I taught there&#8212;as well as the chief science advisor to John F. Kennedy.  One of JFK&#8217;s most famous decisions was to override the elder Wiesner&#8217;s fervent opposition to sending humans to the moon (Wiesner thought it a waste of money, as robots could do the same science for vastly cheaper).<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">While I don&#8217;t know all the details (I hope someone someday researches it and writes a book), Steve Wiesner made it clear to me that he did not get along with his famous father <em>at all<\/em>&#8212;in fact they became estranged.  Steve told me that his embrace of Orthodox Judaism was, at least in part, a reaction against everything his father had stood for, including militant scientific atheism.  I suppose that in the 1960s, millions of young Americans defied their parents via sex, drugs, and acoustic guitar; only a tiny number did so by donning <a href=\"https:\/\/en.wikipedia.org\/wiki\/Tzitzit\">tzitzit<\/a> and moving to Israel to pray and toil with their hands.  The two groups of rebels did, however, share a tendency to grow long beards.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">Wiesner&#8217;s unique, remarkable, <em>uncloneable<\/em> life trajectory raises the question: who are the young Stephen Wiesners of our time?  Will we be faster to recognize their foresight than Wiesner&#8217;s contemporaries were to recognize his?<\/p>\n\n\n\n<hr class=\"wp-block-separator\"\/>\n\n\n\n<p class=\"wp-block-paragraph\">Feel free to share any other memories of Stephen Wiesner or his influence in the comments.<\/p>\n\n\n\n<hr class=\"wp-block-separator\"\/>\n\n\n\n<p class=\"wp-block-paragraph\"><strong><span class=\"has-inline-color has-vivid-red-color\">Update (Aug. 14):<\/span><\/strong> See also <a href=\"https:\/\/orsattath.wordpress.com\/2021\/08\/14\/stephen-wiesner\/\">Or Sattath&#8217;s memorial post<\/a>, which (among other things) points out something that my narrative missed: namely, besides quantum money, Wiesner <em>also<\/em> invented <a href=\"https:\/\/en.wikipedia.org\/wiki\/Superdense_coding\">superdense coding<\/a> in 1970, although he and Bennett only published the idea 22 years later (!).<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">And I have more photos!  Here&#8217;s <a href=\"https:\/\/www.scottaaronson.com\/wiesner2.jpg\">Wiesner with an invention of his<\/a> and <a href=\"https:\/\/www.scottaaronson.com\/wiesner3.jpg\">another photo<\/a> (thanks to his daughter Sarah).  Here&#8217;s <a href=\"https:\/\/www.scottaaronson.com\/wiesner1970.jpg\">another photo from 1970<\/a> and <a href=\"https:\/\/www.scottaaronson.com\/wiesnernotes1970.jpg\">Charlie Bennett&#8217;s handwritten notes<\/a> (!) after first meeting Wiesner in 1970 (thanks to Charlie Bennett).<\/p>\n\n\n\n<p class=\"wp-block-paragraph\"><strong><span class=\"has-inline-color has-vivid-red-color\">Another Update:<\/span><\/strong> Stephen\u2019s daughter Sarah gave me the following fascinating information to share.<\/p>\n\n\n\n<blockquote class=\"wp-block-quote is-layout-flow wp-block-quote-is-layout-flow\"><p>In the 70&#8217;s he lived in California where he worked in various Silicon Valley startups while also working weekends as part of a produce (fruits and vegetables) distribution co-op. During this time he became devoted to the ideas of solar energy, clean energy and space migration and exploration. He also became interested in Judaism. He truly wanted to help and make our world more peaceful and safe with his focus being on clean energy and branching out into space. He also believed that instead of fighting over the temple mount in Jerusalem, the Third Temple should be built in outer-space or in a structure above the original spot, an idea he tried to promote to prevent wars over land.<\/p><\/blockquote>\n","protected":false},"excerpt":{"rendered":"<p>These have not been an auspicious few weeks for Jewish-American-born theoretical physicists named Steve who made epochal contributions to human knowledge in the late 1960s, and who I had the privilege to get to know a bit when they were old. This morning, my friend and colleague Or Sattath brought me the terrible news that [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","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":[31,4],"tags":[],"class_list":["post-5730","post","type-post","status-publish","format-standard","hentry","category-announcements","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\/5730","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=5730"}],"version-history":[{"count":9,"href":"https:\/\/scottaaronson.blog\/index.php?rest_route=\/wp\/v2\/posts\/5730\/revisions"}],"predecessor-version":[{"id":6078,"href":"https:\/\/scottaaronson.blog\/index.php?rest_route=\/wp\/v2\/posts\/5730\/revisions\/6078"}],"wp:attachment":[{"href":"https:\/\/scottaaronson.blog\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=5730"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/scottaaronson.blog\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=5730"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/scottaaronson.blog\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=5730"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}