4.9
深览指数
科技36 氪·机器之心··AI 生成
ACM博士论文奖出炉：纽约大学刘书亮，曾是三届IMO金牌得主
2025年ACM博士论文奖授予MIT博士、现纽约大学助理教授刘书亮，其获奖论文从学习理论视角切入，为理解量子系统建立了新范式，包括证明特定温度下纠缠会「骤然消亡」并首次给出任意温度下的哈密顿量恢复高效算法。文章同步介绍了两位荣誉提名得主及其在交互式预言机证明和模块化硬件设计领域的贡献。适合对理论计算机科学、量子信息研究和学术奖项动态感兴趣的读者快速了解前沿进展。
核心观点
- ▍刘书亮的获奖论文《Learning Theoretic Foundations for Understanding Quantum Systems》从学习理论视角为理解量子系统建立了新范式，推翻了一些基本认知，并在之前认为困难的情形中给出了可证明高效的算法。
- 01论文证明在仅取决于几何结构、与系统规模无关的临界温度上，量子纠缠会突然消失。
- 02论文提出了第一个能够在任意温度下恢复哈密顿量的高效算法，突破了低温下限。
- 03论文研究了一般量子态性质的学习与检验，刻画了在近期量子设备单副本与多副本测量下的学习与检验最优速率。
- 04刘书亮在2014-2016年连续三届代表美国获得IMO金牌，其中2016年满分。
- 05荣誉提名之一Gal Arnon的论文推进了交互式预言机证明（IOP）的理论、实践与局限性，包括建立类似PCP定理的结果。
- 06荣誉提名之一Rachit Nigam的论文提出对「时间」进行显式推理来设计模块化且高效的硬件抽象，并开发了Dahlia、Calyx、Filament三个系统。
反方 / 局限
- — 荣誉提名Gal Arnon的论文揭示了构造高效IOP和PCP所面临的障碍，暗示了理论成果到实际大规模部署仍有局限。
ACM博士论文奖Allen Liu（刘书亮）纽约大学库朗数学、计算与数据科学学院MITIMOGal Arnon魏茨曼科学研究所Rachit Nigam康奈尔大学哈密顿量恢复交互式预言机证明（IOP）模块化硬件抽象
9 分钟 · 3 卡片 · 5 资料
读原文 →