当地时间4月14日，ACM计算机协会宣布，因美国理论计算机科学家Scott Aaronson对量子计算领域做出的突破性贡献，而获得2020年ACM计算奖 (ACM Prize in Computing)[1]。ACM计算奖旨在表彰那些对计算机研究具有重大影响和广泛意义的职业生涯早期到中期的计算机科学家。该奖项的奖金为25万美元 (约合人民币163万元)，由印孚瑟斯 (Infosys) 公司的捐赠款提供。因此，ACM计算奖以前称为计算科学领域的ACM-Infosys基金会奖。Scott Aaronson在得克萨斯大学奥斯汀分校 (UT Austin) David J. Bruton计算机科学担任百年纪念教授，此前于麻省理工学院电子工程与计算机科学系任教多年，研究领域包括量子计算机的性能与局限，更广义的计算复杂度理论等。图1｜Scott Aaronson（来源：UT Austin）Aaronson展示了计算复杂度理论的研究结果，是如何为量子力学提供新的见解的，清楚地说明了量子计算机将能够做什么，不能做什么。Aaronson还帮助发展了“量子优势”这一概念，建立了许多量子优势实验的理论基础，科学家们可以根据这些实验给出令人信服的证据，证明即便没有一台完全容错的量子计算机，依旧可以提供指数级加速度。ACM主席Gabriele Kotsis表示，在技术领域中，像量子计算一样有巨大潜力的很少。尽管Scott Aaronson目前还处于职业生涯的相对早期阶段，但他所做的贡献，无论是广度还是深度，都受到了同行的尊敬。Kotsis认为，Scott Aaronson作为一个出色的量子计算教育工作者和社区成员，通过普及量子计算的可能性，帮助引导了量子计算领域的发展。重要的是，他的贡献并不局限于量子计算，他在其他领域，包括计算复杂性理论和物理学等领域，也产生了重大影响。图2｜ACM主席Gabriele Kotsis（来源：克拉根福大学）
1. 显著贡献
玻色采样：2011年6月，Aaronson和合著者Alex Arkhipov发表了题为“The Computational Complexity of Linear Optics”(线性光学的计算复杂性) 的论文[2]，证明经典计算机无法有效模拟完全由线性光学元件构建的初级量子计算机。此后，Aaronson开始探索量子优势实验如何为量子计算带来一个关键应用，即生成加密随机比特。量子计算机的基本限制：2002年，Aaronson发表了题为“Quantum Lower Bound for the Collision Problem”的论文[3]，证明了碰撞问题的量子下限，该问题一直以来悬而未决。经典复杂性理论：Aaronson因其在“代数化”方面所做的工作而闻名[4]，2009年2月，他与Avi Wigderson一起发明了一种技术，用来理解代数技术在分离和折叠复杂性类问题时的局限性。通俗讲解量子计算：除了技术贡献外，Aaronson为使公众能够理解量子计算也做出了巨大贡献。通过他的努力，他已成为该领域的权威发言人。他的博客“Shtetl-Optimized”的内容广受欢迎，以简单而有效的方式解释了量子计算的热门话题[5]。