1。我们重新审视了Chailloux,Kerenidis和Rosgen引入的量子辅助输入承诺的概念(Comput。复杂。2016),其中参数和接收器都采用由量子辅助输入确定的相同量子状态,该状态由安全参数确定。我们表明,计算隐藏和统计结合的量子辅助输入承诺无条件地存在,即,而不依赖任何未经证实的假设,而Chailloux等人则存在。假定复杂性理论假设,qIP̸⊆QMA。另一方面,我们观察到,即使在量子辅助输入设置中,同时达到统计隐藏和统计结合也是不可能的。据我们所知,这是无条件证明无法使用统计安全性的任何形式的(经典或量子)承诺的计算安全的第一个例子。作为迈向我们建筑的中间步骤,我们介绍和无条件构建量子后稀疏的伪随机分布和量子辅助输入EFI对,可能具有独立的关注。
在撰写本文时(2023 年 10 月):约 100 篇同行评审期刊和会议出版物,一本书。根据 Google Scholar,我的作品被引用的次数为 9503,我的 h 指数为 39。最新的出版物列表可在 http://homepages.cwi.nl/~rdewolf 上找到。以下是我按时间顺序排列的十篇最佳出版物。此外,我的量子计算讲义被世界各地许多课程用作教学材料。 (a) SH Nienhuys-Cheng 和 R. de Wolf。《归纳逻辑编程基础》,《人工智能讲义》1228,Springer,1997 年 5 月。 (b) R. Beals、H. Buhrman、R. Cleve、M. Mosca、R. de Wolf。多项式的量子下界。 ACM 杂志 48(4): 778-797, 2001。FOCS'98 中的早期版本。(c) H. Buhrman、R. Cleve、J. Watrous、R. de Wolf。量子指纹识别。物理评论快报 87 (16), 167902, 2001。(d) I. Kerenidis、R. de Wolf。通过量子论证实现 2 查询局部可解码代码的指数下界。计算机系统科学杂志 69(3): 395-420, 2004。STOC'03 中的早期版本。(e) H. Klauck、R. Spalek、R. de Wolf。量子和经典强直积定理以及最佳时空权衡。 SIAM Journal on Computing 36(5):1472-1493, 2007。早期版本见 FOCS'04。(f) D. Gavinsky、J. Kempe、I. Kerenidis、R. Raz、R. de Wolf。单向量子通信复杂度的指数分离及其在密码学中的应用。SIAM Journal on Computing 38(5): 1695-1708, 2008。早期版本见 FOCS'07。(g) D. Gavinsky、J. Kempe、O. Regev 和 R. de Wolf。通信复杂度中的有界误差量子态识别和指数分离。SIAM Journal on Computing, 39(1):1-39, 2009。早期版本见 STOC'06。(h) V. Chen、E. Grigorescu 和 R. de Wolf。用于成员资格和多项式评估的高效纠错数据结构。SIAM 计算杂志,42(1):84-111,2013 年。
虽然实用或通用量子计算机远离商业用例和广泛部署,技术进步,投资量以及围绕量子计算技术的工业和社会炒作,但从未如此强大。(国家科学,工程和医学学院,2019年)(布鲁克斯,2023年)量子计算机已被宣告为快速有效地模拟,预屏幕预播和开发新的功能材料和药物的工具,以解决许多条件,以解决众多复杂问题,以及在物流和运输中,包括物流和运输,决策,决策和成果,并进行了决策,并进行了成果,并获得了质量,并获得了努力,并获得了精力,并获得了良好的质量,并获得了良好的质量和财务,并获得了良好的问题。(国家科学,工程和医学学院,2019年)(Brooks,2023)量子计算机甚至被提议作为回答某些气候变化问题的有力工具。(O'Brien,2019年)(Bobier,Gerbert,Burchardt和Gourévitch,2020年)量子退火器,一种部署量子退火效果的量子计算机已经显示了对古典机器的“量子优势”,使它们可以快速分解复杂的优化问题(Daley等,diaiy,et al。 2021)。
量子信息通常比经典信息具有更丰富的结构,至少直观上是如此。第一个(但通常是错误的)想法是相位和幅度是连续的,并且量子信息可能能够存储比经典信息多出指数或无限多的信息;但这始终不正确 1 。由于经典信息和量子信息具有截然不同的性质,学界在不同背景和方向研究它们之间的区别,包括建议辅助量子计算[NY04、Aar05、Aar07、AD14、NABT14、HXY19、CLQ19、CGLQ20、GLLZ21、Liu22]、QMA 与 QCMA(即具有量子或经典见证的量子 NP)[AN02、AK07、FK18、NN22]、量子与经典通信复杂性[Yao93、BCW98、Raz99、AST + 03、BYJK04、Gav08] 等等。理解它们之间差异的一种方法是研究单向通信复杂度:即 Alice 和 Bob 想要用他们的私有输入联合计算一个函数,但 Alice 和 Bob 之间只允许进行一次量子/经典通信。在众多研究中,Bar-Yossef、Jayram 和 Kerenidis [ BYJK04 ] 展示了量子和经典单向通信复杂度之间的指数分离,即所谓的隐藏匹配问题。另一种方法是研究 QMA 与 QCMA 。2007 年,Aaronson 和 Kuperberg [ AK07 ] 展示了关于黑盒量子幺正的黑盒分离,而关于经典预言机的相同分离仍是一个悬而未决的问题。十多年后,Fefferman 和 Kimmel [ FK18 ] 使用分布式就地证明了第二种黑盒分离