阿维·威格德森

数字图书馆

ACM A.M.Turing奖

美国-2023年

阅读完整引文和评论

引用

对计算理论的基本贡献,包括重塑我们对计算和数学中随机性作用的理解,以及他在理论计算机科学领域数十年的智力领导地位

Avi Wigderson是2023年ACM A.M.Turing奖的获得者。威格德森对理论计算机科学的开创性贡献包括阐明计算中随机性的力量和局限性的结果。Wigderson是新泽西州普林斯顿高等研究院数学学院的Herbert H.Maass教授。

在Wigderson的贡献之前,对于许多基本问题,随机算法在质量上可能比确定性计算更快,这似乎是很合理的。例如,寻找大素数的有效算法——现代密码学必不可少的计算——使用随机化。

在一系列具有里程碑意义的工作中,Wigderson及其同事证明,在标准且广为接受的计算假设下,每种有效的随机化算法实际上都可以完全去域。换句话说,随机性对于有效的计算是不必要的。这些结果彻底改变了我们对随机性在算法中的作用的理解,以及我们在数学和计算机科学中更普遍地看待随机性的方式。

在一系列相关但截然不同的结果中,Wigderson及其同事首次给出了扩张图或网络的有效组合(与代数相反)构造。展开图是精心设计的网络,具有很少的边,但具有很强的连通性,在计算机科学和数学中都有许多重要的应用,包括伪随机数生成和纠错码。出于许多目的,Wigderson的组合结构要方便得多,并激发了计算复杂性理论的几项突破。Wigderson对扩展器的研究为计算机科学、组合学和相关领域的跨学科后续工作带来了丰富而重要的脉络。

Wigderson还对计算复杂性和密码学理论做出了深远的贡献。其中包括他参与了多探测器交互式证明的引入,该证明推广了传统数学证明和单证明人交互式证明。它们允许希望检查语句正确性的验证者与多个验证器交互。Wigderson在该模型中的结果表明,在没有计算假设的情况下,零知识证明是可能的,与单证明者模型相比,这种假设是必要的。这项工作还带来了许多更具里程碑意义的成就,包括概率可检查证明和关于近似难处理优化问题的困难的基本结果。

威格德森对图灵的提名还强调,几十年来,他一直是理论计算机科学界受人喜爱的领导者和导师,并对几代研究人员产生了深远影响。他以开放、好奇、善良和热情的态度对待研究和同事而闻名。

新闻稿

ACM研究员

美国-2018年

引用

对理论计算机科学和数学的贡献

新闻稿

背景