加州大学伯克利分校物理系,伯克利,CA 94720
觉得本文有趣或想讨论? 在SciRate上发表评论或发表评论.
抽象
最近,量子计算实验首次超越了经典计算机执行某些计算的能力——这是一个被称为“量子计算优势”的里程碑。 然而,在这些实验中验证量子设备的输出需要极其庞大的经典计算。 展示量子能力的令人兴奋的下一步是通过有效的经典验证来实现量子计算优势的测试,以便可以测试和验证更大的系统尺寸。 有效可验证量子性测试的第一个提议包括将秘密经典位串隐藏在 IQP 类电路内,从而使电路输出分布的样本与秘密相关。 该协议的经典难度得到了直接模拟 IQP 电路很困难的证据的支持,但该协议针对其他(非模拟)经典攻击的安全性仍然是一个悬而未决的问题。 在这项工作中,我们证明该协议不能防止经典伪造。 我们描述了一种经典算法,它不仅可以让验证者相信(经典)证明者是量子的,而且实际上可以提取给定协议实例背后的秘密密钥。 此外,我们表明密钥提取算法在实践中对于数百个量子位的问题规模是有效的。 最后,我们提供了该算法的实现,并给出了原始论文作者在网上发布的“25 美元挑战”背后的秘密向量。
热门摘要
►BibTeX数据
►参考
[1] 弗兰克阿鲁特等人。 “使用可编程超导处理器实现量子霸权”。 自然 574, 505–510 (2019)。
https://doi.org/10.1038/s41586-019-1666-5
[2] 钟汉森等人。 “使用光子的量子计算优势”。 科学 370, 1460–1463 (2020)。
https:/ / doi.org/ 10.1126 / science.abe8770
[3] 吴玉林、包万素、曹思瑞、陈福生、陈明成、陈夏伟、钟东勋、邓辉、杜亚杰、范道进、龚明、郭成、郭楚、郭少军、韩连辰, 洪林银, 黄鹤良, 霍永恒, 李丽萍, 李娜, 李少伟, 李媛, 梁福田, 林春, 林金, 钱浩然, 乔丹, 荣浩, 苏红, 孙丽华,王良源、王世宇、吴大超、徐宇、严凯、杨伟峰、杨阳、叶杨森、尹江汉、英崇、于佳乐、查陈、张茶、张海滨、张凯丽、张一鸣、赵涵、赵有伟、周亮、朱庆铃、卢朝阳、彭成志、朱晓波和潘建伟。 “使用超导量子处理器的强大量子计算优势”。 物理评论快报 127, 180501 (2021)。
https:/ / doi.org/ 10.1103 / PhysRevLett.127.180501
[4] 朱庆玲、曹思瑞、陈福生、陈明成、陈夏伟、钟东勋、邓辉、杜亚杰、范道进、龚明、郭成、郭楚、郭少军、韩连辰、洪林银、何- 黄亮、霍永恒、李丽萍、李娜、李少伟、李媛、梁福田、林春、林金、钱浩然、乔丹、荣浩、苏红、孙丽华、王良源、王世宇, 吴大超, 吴玉林, 徐宇, 严凯, 杨伟峰, 杨阳, 叶杨森, 尹江汉, 冲英, 于佳乐, 查晨, 张茶, 张海滨, 张凯丽, 张一鸣, 赵涵, 有伟赵、周亮、陆朝阳、彭承志、朱晓波和潘建伟。 “通过 60 量子位 24 周期随机电路采样实现量子计算优势”。 科学通报 67, 240–245 (2022)。
https:///doi.org/10.1016/j.scib.2021.10.017
[5] 斯科特·阿伦森和亚历克斯·阿尔希波夫。 “线性光学的计算复杂性”。 第四十三届 ACM 计算理论年度研讨会论文集。 第 333-342 页。 STOC '11美国纽约州纽约(2011)。 计算机器协会。
https:/ / doi.org/10.1145/ 1993636.1993682
[6] 爱德华·法尔希和阿拉姆·W·哈罗。 “通过量子近似优化算法实现量子霸权”(2019)。 arXiv:1602.07674。
的arXiv:1602.07674
[7] AP Lund、Michael J. Bremner 和 TC Ralph。 “量子采样问题、玻色子采样和量子霸权”。 npj 量子信息 3, 1–8 (2017)。
https://doi.org/10.1038/s41534-017-0018-2
[8] 阿拉姆·W·哈罗 (Aram W. Harrow) 和阿什利·蒙塔纳罗 (Ashley Montanaro)。 “量子计算霸权”。 自然 549, 203–209 (2017)。
https:/ / doi.org/10.1038/nature23458
[9] Sergio Boixo、Sergei V. Isakov、Vadim N. Smelyanskiy、Ryan Babbush、Nan Ding、Zhang Jiang、Michael J. Bremner、John M. Martinis 和 Hartmut Neven。 “表征近期设备中的量子霸权”。 自然物理学 14, 595–600 (2018)。
https:///doi.org/10.1038/s41567-018-0124-x
[10] 芭芭拉·M·特哈尔. “量子霸权,我们来了”。 自然物理学 14, 530–531 (2018)。
https:/ / doi.org/ 10.1038 / s41567-018-0131-y
[11] C. Neill、P. Roushan、K. Kechedzhi、S. Boixo、SV Isakov、V. Smelyanskiy、A. Megrant、B. Chiaro、A. Dunsworth、K. Arya、R. Barends、B. Burkett、Y. Chen ,Z.陈,等人。 “用超导量子位展示量子霸权的蓝图”。 科学 360, 195–199 (2018)。
https:/ / doi.org/ 10.1126 / science.aao4309
[12] 谢尔盖·布拉维、大卫·戈塞特和罗伯特·科尼格。 “浅电路的量子优势”。 科学 362, 308–311 (2018)。
https:/ / doi.org/ 10.1126 / science.aar3106
[13] 谢尔盖·布拉维、大卫·戈塞特、罗伯特·科尼格和马可·托米切尔。 “噪声浅层电路的量子优势”。 自然物理学 16, 1040–1045 (2020)。
https:/ / doi.org/ 10.1038 / s41567-020-0948-z
[14] Adam Bouland、Bill Fefferman、Chinmay Nirkhe 和 Umesh Vazirani。 《论量子随机电路采样的复杂性和验证》。 自然物理学 15, 159–163 (2019)。
https://doi.org/10.1038/s41567-018-0318-2
[15] 斯科特·阿伦森和萨姆·冈恩。 “关于欺骗线性交叉熵基准测试的经典难度”。 计算理论 16, 1–8 (2020)。
https:///doi.org/10.4086/toc.2020.v016a011
[16] Zvika Brakerski、Paul Christiano、Urmila Mahadev、Umesh Vazirani 和 Thomas Vidick。 “来自单个量子设备的量子性和可证明随机性的密码测试”。 ACM 杂志 (JACM) (2021)。
https:/ / doi.org/10.1145/ 3441309
[17] Zvika Brakerski、Venkata Koppula、Umesh Vazirani 和 Thomas Vidick。 “更简单的量子性证明”。 摘自 Steven T. Flammia,编辑,第 15 届量子计算、通信和密码学理论会议 (TQC 2020)。 《莱布尼茨国际信息学学报》(LIPIcs) 第 158 卷,第 8:1–8:14 页。 德国达格施图尔 (2020)。 Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik。
https:/ / doi.org/ 10.4230 / LIPIcs.TQC.2020.8
[18] Gregory D. Kahanamoku-Meyer、Soonwon Choi、Umesh V. Vazirani 和 Norman Y. Yao。 “计算贝尔测试的经典可验证量子优势”。 自然物理学 18, 918–924 (2022)。
https://doi.org/10.1038/s41567-022-01643-7
[19] 丹·谢泼德和迈克尔·J·布雷姆纳。 “时间非结构化量子计算”。 英国皇家学会学报 A:数学、物理和工程科学 465, 1413–1439 (2009)。
https:/ / doi.org/ 10.1098 / rspa.2008.0443
[20] 迈克尔·J·布雷姆纳等人“通勤量子计算的经典模拟意味着多项式层次结构的崩溃”。 英国皇家学会学报 A:数学、物理和工程科学 467, 459–472 (2011)。
https:/ / doi.org/ 10.1098 / rspa.2010.0301
[21] 迈克尔·J·布雷姆纳等人“通勤量子计算的平均情况复杂性与近似模拟”。 物理评论快报 117, 080501 (2016)。
https:/ / doi.org/ 10.1103 / PhysRevLett.117.080501
[22] 格雷戈里·D·卡哈纳莫库-迈耶 (2023)。 代码:https://doi.org/10.5281/zenodo.7545881。
https:///doi.org/10.5281/zenodo.7545881
[23] Yusuf Alnawakhtha、Atul Mantri、Carl A. Miller 和 Daochen Wang。 “旋转测量中基于晶格的量子优势”(2022)。 arXiv:2210.10143。
的arXiv:2210.10143
[24] 山川隆和马克·詹德里。 “无需结构即可验证的量子优势”。 2022 年 IEEE 第 63 届计算机科学基础年度研讨会 (FOCS)。 第 69-74 页。 (2022)。
https:/ / doi.org/ 10.1109/ FOCS54457.2022.00014
[25] 雅埃尔·卡莱、亚历克斯·隆巴迪、维诺德·瓦昆塔纳坦和丽莎·杨。 “任何非局域博弈的量子优势”。 第 55 届 ACM 计算理论年度研讨会论文集。 第 1617-1628 页。 STOC 2023 美国纽约州纽约 (2023)。 计算机器协会。
https:/ / doi.org/10.1145/ 3564246.3585164
[26] 亚历山德鲁·乔治乌和托马斯·维迪克。 “计算安全且可组合的远程状态准备”。 2019 年 IEEE 第 60 届计算机科学基础年度研讨会(FOCS)。 第 1024–1033 页。 (2019)。
https:///doi.org/10.1109/FOCS.2019.00066
[27] 乌尔米拉·马哈德夫。 “量子计算的经典验证”。 2018 年 IEEE 第 59 届计算机科学基础年度研讨会(FOCS)。 第 259–267 页。 (2018)。
https:///doi.org/10.1109/FOCS.2018.00033
被引用
[1] Sergey Bravyi、David Gosset、Robert König 和 Marco Tomamichel,“噪声浅层电路的量子优势”, 自然物理学16 10,1040(2020).
[2] Dominik Hangleiter 和 Jens Eisert,“量子随机采样的计算优势”, 现代物理学评论95 3,035001(2023).
[3] 刘振宁和 Alexandru Gheorghiu,“量子性的深度有效证明”, 量子6,807(2022).
[4] Martin Kliesch 和 Ingo Roth,“量子系统认证理论:教程”, 的arXiv:2010.05925, (2020).
[5] Ulysse Chabaud、Frédéric Grosshans、Elham Kashefi 和 Damian Markham,“玻色子采样的高效验证”, 量子5,578(2021).
[6] Michael J. Bremner、Bin Cheng 和 Zenfeng Ji,“IQP 采样和可验证的量子优势:稳定器方案和经典安全性”, 的arXiv:2308.07152, (2023).
[7] Sergey Bravyi、David Gosset、Daniel Grier 和 Luke Schaeffer,“Forrelation 的经典算法”, 的arXiv:2102.06963, (2021).
[8] Dominik Hangleiter,“采样与自然的复杂性”, 的arXiv:2012.07905, (2020).
[9] 陈曦、程斌、李兆凯、聂新芳、余能坤、容文宏、彭新华,“近期量子云计算的实验密码学验证”, 科学通报 66 1, 23 (2021).
[10] Sritam Kumar Satpathy、Vallabh Vibhu、Sudev Pradhan、Bikash K. Behera 和 Prasanta K. Panigrahi,“使用量子计算机对玻色子采样进行高效验证”, 的arXiv:2108.03954, (2021).
以上引用来自 SAO / NASA广告 (最近成功更新为2023-09-12 13:11:52)。 该列表可能不完整,因为并非所有发布者都提供合适且完整的引用数据。
On Crossref的引用服务 找不到有关引用作品的数据(上一次尝试2023-09-12 13:11:50)。
该论文发表在《量子》杂志上 国际知识共享署名署名4.0(CC BY 4.0) 执照。 版权归原始版权持有者所有,例如作者或其所在机构。
- :具有
- :是
- :不是
- ][p
- 08
- 1
- 10
- 1040
- 11
- 12
- 13
- 14
- 15%
- 16
- 17
- 19
- 20
- 2008
- 2011
- 2012
- 2016
- 2017
- 2018
- 2019
- 2020
- 2021
- 2022
- 2023
- 22
- 23
- 24
- 25
- 26%
- 27
- 50
- 66
- 67
- 7
- 8
- 9
- a
- 以上
- 摘要
- ACCESS
- ACM
- Adam
- 优点
- 背景
- 驳
- AL
- 亚历克斯
- 算法
- 算法
- 所有类型
- an
- 和
- 全年
- 任何
- 近似
- 保健
- AS
- 社区
- At
- 攻击
- 作者
- 作者
- BE
- 很
- 行为
- 钟
- 标杆
- 伯克利
- 法案
- BIN
- 蓝图
- 玻色子
- 午休
- 公告
- 但是
- by
- CA
- 加州
- CAN
- 候选人
- 能力
- 卡尔
- 一定
- 证书
- 挑战
- 朝阳路
- 作弊
- 检查
- 支票
- 陈
- 郑
- 冲
- 要求
- 程
- 云端技术
- 云计算
- 码
- 崩溃
- 如何
- 评论
- 共享
- 沟通
- 通勤
- 完成
- 复杂
- 计算
- 计算
- 一台
- 计算机科学
- 电脑
- 计算
- 研讨会 首页
- 由
- 上下文
- 说服
- 版权
- 可以
- 加密
- 加密技术
- 丹尼尔
- data
- David
- 击败
- 演示
- 证明
- 示范
- 展示量子霸权
- 描述
- 设备
- 设备
- 直接
- 直接
- 讨论
- 分配
- Ë&T
- 编辑
- 爱德华·
- 高效
- 工程师
- 甚至
- 证据
- 突破
- 令人兴奋的
- 试验
- 实验
- 提取
- 萃取
- 非常
- 事实
- 风扇
- 终于
- (名字)
- 第一次
- 针对
- 伪造罪
- 铸造
- 发现
- Foundations
- 坦率
- 止
- 此外
- 游戏
- 德国
- 给
- 特定
- 硬
- 哈佛
- 有
- 相关信息
- 老旧房屋
- 等级制度
- 持有人
- 香
- 创新中心
- 但是
- HTTPS
- 黄
- 数百
- IEEE
- 图片
- 实施
- 履行
- in
- 信息
- 内
- 例
- 机构
- 互动
- 有趣
- 国际
- 它的
- JavaScript的
- 潘建伟
- John
- 日志
- 键
- 王
- 库马尔
- 大
- 大
- 最大
- (姓氏)
- 最少
- 离开
- 左
- Li
- 执照
- 林
- 清单
- 机械
- 维护
- 制作
- 马尔科
- 标记
- 马丁
- 假面舞会
- 数学的
- 最大宽度
- 可能..
- 测量
- Michael (中国)
- 里程碑
- 磨坊主
- 现代
- 月
- 自然
- 下页
- 没有
- NY
- of
- on
- 一
- 在线
- 仅由
- 打开
- 光学
- 优化
- or
- 原版的
- 其他名称
- 我们的
- 产量
- 克服
- 网页
- 纸类
- 通过
- 通行证
- 保罗
- 演出
- 执行
- 光子
- 的
- 物理
- 柏拉图
- 柏拉图数据智能
- 柏拉图数据
- 发布
- 在练习上
- 准备
- 市场问题
- 问题
- Proceedings
- 处理器
- 许诺
- 样张
- 建议
- 建议
- 协议
- 提供
- 出版
- 发行人
- 出版商
- 量子
- 量子优势
- 量子计算优势
- 量子计算机
- 量子计算
- 量子信息
- 量子霸权
- 量子比特
- 题
- R
- 随机
- 随机性
- 真实
- 引用
- 保持
- 遗迹
- 远程
- 必须
- 成果
- 检讨
- 右
- ROBERT
- 皇族
- 瑞安
- s
- Sam
- 方案
- 科学
- 科学
- 斯科特
- 斯科特·阿伦森
- 秘密
- 安全
- 保安
- 浅
- 显示
- 模拟
- 单
- 尺寸
- 社会
- 具体的
- 州/领地
- 步
- 史蒂芬
- 结构体
- 顺利
- 这样
- 合适的
- 周日
- 超导
- 支持
- 应该
- 专题研讨会
- 系统
- test
- 测试
- 测试
- 这
- 其
- 理论
- 博曼
- Free Introduction
- 通过
- 次
- 标题
- 至
- 教程
- 下
- 相关
- 大学
- 美国加州大学
- 更新
- 网址
- 美国
- 运用
- 可验证
- 企业验证
- 专利
- 验证
- 与
- 通过
- 体积
- W
- 想
- 是
- 方法..
- we
- 这
- 而
- 也完全不需要
- 工作
- 合作
- 将
- wu
- xi
- Ye
- 年
- ING
- 纽约
- 元
- 和风网
- 赵
- 钟