量子计算的核心优势在于其查询模型的独特性质。Deutsch-Jozsa算法、Grover算法以及Shor算法的关键部分均依赖于量子查询的机制。Andris Ambainis在2018年数学家大会上的报告《Understanding Quantum Algorithms via Query Complexity》指出，查询模型在理解量子算法的思想中扮演着至关重要的角色。本报告将详细介绍量子查询模型，并分享本人在精确量子查询算法领域的研究成果。

报告人简介

郑盛根，粤港澳大湾区（广东）量子科学中心研究员，CCF量子计算专委常委。郑盛根主要从事量子计算，EDA逻辑综合，理论计算机科学等研究。2015年与Ambainis一起合作证明了精确量子查询算法几乎对所有的布尔函数都有优势，解决了量子查询领域里一个十几年来的公开问题。在Information and Computation, Journal of Computer and System Sciences，Theoretical Computer Science, Physical Review Letters, NPJ Quantum Information，ICCAD，DATE，QIP，AAAI等SCI期刊和会议发表论文六十多篇。郑盛根作为本地主席成功举办了第23届量子信息处理国际会议(QIP'2020)。

邀请人

王东升  副研究员