XiaoMi-AI文件搜索系统
World File Search SystemStoc
个人简历 - 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 年。
异步多方量子计算？
摘要。多方量子计算（MPQC）允许一组各方通过私人量子数据安全地计算量子电路。当前的MPQC协议依赖于网络是同步的事实，即，保证发送的消息可以在已知的固定延迟上限内传递，不幸的是，即使只有一条消息迟到，也完全分解了。是由现实世界网络的动机，Ben-OR，Canetti和Goldreich（Stoc'93）的开创性工作启动了对不同步网络的经典电路的多方计算的研究，其中网络延迟可以是任意的。在这项工作中，我们开始研究异步多方量子计算（AMPQC）协议，其中计算电路为量子。我们的结果完全表征了最佳可实现的损坏阈值：我们提出了一个n-党AMPQC协议，最多可将T 值得注意的是，这种特征与类似的经典环境不同，其中最佳损坏阈值为t值得注意的是，这种特征与类似的经典环境不同，其中最佳损坏阈值为t
cv.pdf div>
Conference reviewing AAAI Conference on Artificial Intelligence 2021 Conference on Artificial Intelligence, Ethics, and Society (AIES) 2019 Conference on Economics and Computation (EC) 2020 Conference on Learning Theory (COLT) 2018 Conference on Neural Information Processing Systems (NeurIPS) 2017, 2018, 2019, 2020, 2021 European Symposium on Algorithms (ESA) 2020 Innovations in Theoretical Computer Science (ITCS) 2021，2022国际自动机，语言和节目（ICALP）2022国际人工智能与统计会议（AISTATS）2019年国际学习代表国际会议（ICLR）2022，2022，2024国际机器学习国际机器学习会议（ICML）2017，2019，2019，2019年，2019年，2018年国际智能国际会议（2020年），2018年国际会议（IMAI）2018年国际会议（I），2018年（I）离散算法研讨会（SODA）2018，2020，2021，2023关于计算机科学基础（FOCS）2019年分布式计算原理（PODC）2016 2016年计算理论的研讨会（STOC）2017，2021，2021，2021，2024 on Web and Internet经济学（葡萄酒）的
编译型异或游戏价值的计算 Tsirelson 定理
非局部博弈是理解纠缠和在具有多个空间分离的量子设备的环境中构建量子协议的基础工具。在这项工作中，我们继续了 Kalai 等人 (STOC '23) 发起的研究，该研究是在经典验证器和单个加密受限的量子设备之间进行的编译非局部博弈。我们的主要结果是，Kalai 等人提出的编译器对于任何双人 XOR 游戏都是可靠的。Tsirelson 的一个著名定理表明，对于 XOR 游戏，量子值由半定程序精确给出，我们通过证明 SDP 上界对于编译的游戏成立，直到编译产生的错误可以忽略不计，从而获得了我们的结果。这回答了 Natarajan 和 Zhang (FOCS '23) 提出的问题，他们展示了 CHSH 游戏特定情况的可靠性。利用我们的技术，我们获得了几个额外的结果，包括（1）并行重复 XOR 游戏的编译值的严格界限、（2）任何编译的 XOR 游戏的运算符自测试语句，以及（3）任何 XOR 游戏的“良好”平方和证书，从中可以看出运算符的刚性。
从无状态硬件实现量子一次性记忆
理论密码学的核心原则是研究实现给定密码原语所需的最小假设。Goldwasser、Kalai 和 Rothblum [CRYPTO 2008] 引入的一次性存储器 (OTM) 就是这样一种原语，它是一种经典功能，以非交互式 1-out-of-2 不经意传输为模型，并且对于一次性经典和量子程序而言都是完整的。众所周知，在经典和量子设置的标准模型中，安全的 OTM 都不存在。在这里，我们提出了一种使用量子信息以及无状态（即可重复使用）硬件令牌假设来构建统计上安全的 OTM 的方案。通过 Gutoski 和 Watrous [STOC 2007] 的基于半定编程的量子游戏框架，我们在量子通用可组合性框架中证明了恶意接收者对令牌的线性数量的自适应查询的安全性，但对多项式数量的查询的安全性问题尚未得到解决。与量子货币文献中衍生的替代方案相比，我们的方案在技术上比较简单，因为它属于“准备和测量”类型。我们还根据两种情况表明我们的方案是“严密的”。
Mengxiao Zhang
Service: Committee Member / Reviewer: - Advances in Neural Information Processing Systems (NeurIPS): 2024, 2023, 2022, 2021, 2020 - The Association for the Advancement of Artificial Intelligence (AAAI): 2025, 2023, 2022 - International Conference on Machine Learning (ICML): 2024, 2023, 2022, 2021, 2020 - Conference on Learning Theory (COLT): 2024, 2023 - Annual ACM Symposium on Theory of Computing (STOC): 2023 - International Conference on Learning Representations (ICLR): 2025, 2024 - Innovations in Theoretical Computer Science (ITCS): 2024 - International Joint Conference on Artificial Intelligence (IJCAI): 2024, 2023, 2022, 2021 - ACM International Conference on Knowledge Discovery and Data Mining (KDD): 2021 - International Conference on Artificial Intelligence and Statistics (AISTATS): 2025, 2024, 2023 - Conference on Algorithmic Learning Theory (ALT): 2021 - Conference on Economics and Computation (EC): 2023 - INFORMS Workshop on Data Science (WDS): 2023 - INFORMS Journal on Computing - Management Science - Transactions on Machine Learning Research (TMLR) - IEEE Transactions on Pattern Analysis and Machine智能（TPAMI）
单向功能和零知识
上面的表征还适用于统计和计算零知识参数系统。我们将此特征进一步扩展到具有知识复杂性o（log n）的证明系统。特别是，如果GAPMCSP具有具有知识复杂性O（log n）的证明系统，则表明单向函数的存在的特征是CZK的最差硬度。我们通过证明NP在存在指数性的硬辅助输入单向函数的情况下以知识复杂性ω（log n）的互动性证明系统进行补充（这是比指数硬的单向函数较弱的原始功能）。我们还表征了CZK的非确定性硬度在pspace̸⊆am的弱假设下，CZK的非确定性硬度的不均匀计算单向函数的存在。我们提出了结果的两个应用。首先，我们简化了通过NP的元素函数来证明元计算问题的单向功能，以及Hirahara（stoc'23）给出的NP的最坏情况的证明。第二，我们表明，如果NP具有La-conic零知识参数系统，则存在一个公用密钥加密方案，其安全性可以基于NP的最坏情况。这改善了以前的结果，该结果假定存在无法区分的混淆。
朝着无状态硬件的量子一次性记忆
理论加密的中心宗旨是对实现给定密码原始的最小假设的研究。这样的原始记忆是戈德瓦瑟（Goldwasser），卡莱（Kalai）和罗斯布鲁姆（Rothblum）引入的一次性记忆（OTM）[Crypto 2008]，它是一种经典的功能，该功能是在非交互式2的2-2中遗忘转移中建模的，并且用于一次性的经典和量子程序。已知在经典和量子设置中标准模型中不存在安全OTM。在这里，我们提出了一种使用量子信息的方案，以及较少的假设（即，可重复使用的）硬件令牌，以构建统计上的otms。通过Gutoski和Watrous的基于半决赛的量子游戏框架[STOC 2007]，我们证明了最多制造恶意接收器的安全性。114 n自适应查询（对于n个关键大小），在量子通用合并框架中，但在多项式查询中留下了安全问题。与从量子资金的文献中得出的替代方案相比，我们的方案在技术上很简单，因为它是“准备和估计”类型的。我们还给出了两个不可能的结果，表明我们计划中的某些假设不能放松。
量子算法的大统一
与传统算法相比，量子算法在解决各种问题时都具有显著的加速效果。量子搜索、量子相位估计和哈密顿模拟算法是这一优势的最有力论据，这些算法是大量复合量子算法的子程序。最近，许多量子算法通过一种称为量子奇异值变换 (QSVT) 的新技术结合在一起，该技术使人们能够对嵌入酉矩阵的线性算子的奇异值进行多项式变换。在关于 QSVT 的开创性 GSLW'19 论文 [Gilyén et al. , ACM STOC 2019] 中，涵盖了许多算法，包括振幅放大、量子线性系统问题方法和量子模拟。在这里，我们通过这些发展提供了一个教学教程，首先说明了如何将量子信号处理推广到量子特征值变换，QSVT 自然而然地从中产生。与 GSLW'19 并行，我们使用 QSVT 构建直观的量子算法，用于搜索、相位估计和汉密尔顿模拟，并展示特征值阈值问题和矩阵求逆的算法。本概述说明了 QSVT 是如何成为一个包含三种主要量子算法的单一框架的，这表明量子算法实现了大统一。
在部分信息下进行分类的紧密界限
排序是理论计算机科学中的基本算法问题之一。它具有自然概括，由弗雷德曼（Fredman）于1976年引入，称为部分信息。The input consists of: - a ground set X of size n , - a partial oracle O P (where partial oracle queries for any ( x i , x j ) output whether x i ≺ P x j , for some fixed partial order P ), - a linear oracle O L (where linear oracle queries for any ( x i , x j ) output whether x i < L x j , where the linear order L extends P ) The goal is to recover the linear order使用最少数量的线性甲骨文查询在X上l。在此问题中，我们通过三个指标来测量算法复杂性：o l的线性甲骨文查询数量，部分甲骨文查询的数量和所花费的时间（识别哪个对（x i，x J）部分或线性oracle查询所需的算法指令的数量（识别哪个对（x I，x）执行）。令E（P）表示p的线性扩展数。 任何算法都需要最差的库log 2 e（p）线性甲骨文查询才能恢复x上的线性顺序。 在1984年，Kahn和Saks提出了第一个使用θ（log e（p））线性甲骨文查询（使用O（n 2）部分Oracle查询和指数时间）的算法。 从那时起，一般的问题和受限变体都经过一致研究。 一般问题的最新问题是Cardinal，Fiorini，Joret，Jungers和Munro，他们在Stoc'10设法将线性和部分甲骨文查询分为预处理和查询阶段。 他们可以使用O（n 2）部分Oracle查询和O（n 2。）进行预处理P 5）时间。令E（P）表示p的线性扩展数。任何算法都需要最差的库log 2 e（p）线性甲骨文查询才能恢复x上的线性顺序。在1984年，Kahn和Saks提出了第一个使用θ（log e（p））线性甲骨文查询（使用O（n 2）部分Oracle查询和指数时间）的算法。从那时起，一般的问题和受限变体都经过一致研究。一般问题的最新问题是Cardinal，Fiorini，Joret，Jungers和Munro，他们在Stoc'10设法将线性和部分甲骨文查询分为预处理和查询阶段。他们可以使用O（n 2）部分Oracle查询和O（n 2。5）时间。然后，给定o l，它们在θ（log e（p））线性甲骨文查询和o（n + log e（p））时间的x（log e（p））上的线性顺序 - 这在线性甲骨文查询的数量中是最佳的，但在所花费的时间中却没有。我们提出了第一种使用偏隔序数量甲骨文查询的第一个算法。对于任何常数C≥1，我们的算法可以使用O（n 1+ 1