XiaoMi-AI文件搜索系统
World File Search SystemKerenidis
用量子辅助输入无条件安全的承诺
1。我们重新审视了Chailloux，Kerenidis和Rosgen引入的量子辅助输入承诺的概念（Comput。复杂。2016），其中参数和接收器都采用由量子辅助输入确定的相同量子状态，该状态由安全参数确定。我们表明，计算隐藏和统计结合的量子辅助输入承诺无条件地存在，即，而不依赖任何未经证实的假设，而Chailloux等人则存在。假定复杂性理论假设，qIP̸⊆QMA。另一方面，我们观察到，即使在量子辅助输入设置中，同时达到统计隐藏和统计结合也是不可能的。据我们所知，这是无条件证明无法使用统计安全性的任何形式的（经典或量子）承诺的计算安全的第一个例子。作为迈向我们建筑的中间步骤，我们介绍和无条件构建量子后稀疏的伪随机分布和量子辅助输入EFI对，可能具有独立的关注。
个人简历 - CWI 阿姆斯特丹
在撰写本文时（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 ] 使用分布式就地证明了第二种黑盒分离