在首个“世界量子日”当天,ACM 宣布将 2020 ACM 计算奖授予理论计算机科学家 Scott Aaronson,以表彰他对量子计算的开创性贡献。
ACM 计算奖设立于 2007 年,旨在表彰"计算机领域的早中期基础性创新贡献",奖金为 25 万美元,由 Infosys 公司赞助。过往获奖者有谷歌 AI 负责人 Jeff Dean、AlphaGo 之父 David Silver 等著名计算机科学家。
Aaronson 是德克萨斯大学奥斯汀分校计算机科学系的 David J. Bruton Jr. Centennial Professor。他毕业于康奈尔大学,并在加州大学伯克利分校取得了计算机科学博士学位。曾获得过 Tomassoni-Chisesi 物理学奖(2018 年)、Simons 研究者奖(2017 年)和美国国家科学基金会的 Alan T. Waterman 奖(2012 年)。 还在 2019 年因为“对量子计算和计算复杂性的贡献“入选为 ACM Fellow。
Aaronson 的主要研究领域在理论计算机科学,研究兴趣围绕着量子计算机的能力和局限性,以及更普遍的计算复杂性理论等。著作有《自德谟克利特以来的量子计算》一书。他还撰写了多篇科普文章;并举办了 TED 演讲,以消除该领域中存在的一些误解并为公众提供更准确的概述。
ACM 在获奖公告中表示,量子计算的目标是利用量子物理学定律来构建可以解决传统计算机无法解决或无法在任何合理的时间内解决的问题的设备。Aaronson 的研究展示了计算复杂性理论为量子物理学带来的新视角,并清晰地界定了量子计算机能做什么以及不能做什么。
并指出,Aaronson 帮助发展了 quantum supremacy 的概念,这是量子设备可以解决经典计算机无法在合理的时间范围内解决的问题时取得的里程碑。他奠定了许多 quantum supremacy 实验的理论基础。这些实验最终证实,量子计算机无需事先构建完整的容错量子计算机就可以提供指数级的加速。
ACM 主席 Gabriele Kotsis 表示,“很少有技术领域能够像量子计算一样具有如此大的潜力。尽管 Scott Aaronson 处于职业生涯的相对早期阶段,但他的贡献的广度和深度受到了同事们的尊敬。他帮助指导了这个新领域的发展,同时作为领先的教育者和卓越的传播者阐明了它的潜力。重要的是,他的贡献并不局限于量子计算,还在计算复杂性理论和物理学等领域产生了重大影响。”
Scott Aaronson 的主要研究贡献:
- 玻色子采样:2011 年,Scott Aaronson 与 Alex Arkhipov 合著的论文《线性光学的计算复杂性》证明了完全由线性光学元素构成的基础量子计算机无法通过经典计算机进行有效模拟。此后,Aaronson 致力于探索量子优越性实验如何实现量子计算的关键应用,即密码随机比特的生成。
- 量子计算机的局限:在 2002 年的论文《Quantum lower bound for the collision problem》中,Aaronson 证明了碰撞问题的 quantum lower。这项工作界定了量子计算机在 many-to-one functions 中发现冲突的最短时间,从而证明了密码学的基本构成部分对量子计算机而言也是安全的。
- 经典复杂性理论:Aaronson 与 Avi Wigderson 共同提出了“Algebrization”,用于理解代数技术在分离和折叠复杂类方面的局限性。
- 量子计算的科普工作:除了技术上的贡献,Aaronson 也始终致力于将量子计算推向大众,并获得了一定的发言权。他经常在博客 Shtetl-Optimized 中以通俗易懂的方式介绍量子计算领域的热门话题。从基础理论问题到量子设备的探讨,Aaronson 的文章都广受欢迎并引发了很多有趣的讨论。