中科大“九章”历史性突破,但实现真正的量子霸权还有多远?
作者 | 马超
出品 | AI科技大本营
头图 | CSDN下载自视觉中国
10月中旬,政府高层强调要充分认识推动量子科技发展的重要性和紧迫性,加强量子科技发展战略谋划和系统布局,把握大趋势,下好先手棋。
今天,我国的量子科技领域就迎来了历史性的突破,中国科学技术大学潘建伟、陆朝阳等组成的研究团队与中科院上海微系统所、国家并行计算机工程技术研究中心合作,构建了76个光子100个模式的量子计算原型机“九章”,实现了具有实用前景的“高斯玻色取样”任务的快速求解。相关成果登上了《Science》杂志。
“九章”量子计算原型机光路系统原理图如下:
一年之前谷歌的量子计算机悬铃木发布,美国总统特朗普的女儿伊万卡就曾经官宣声称这项成果使美国实际拥有了量子霸权,其成就堪与莱特兄弟在1903年的飞机首秀相媲美。2019年10月谷歌科学家在《自然》杂志创刊150周年之际,发表了封面文章《Quantum Supremacy Using a Programmable Superconducting Processor》。
文中谷歌宣称他们研制的53位量子比特计算机,仅仅花了100秒就跑完了传统超级计算机需要1万年才能完成的计算任务。这也使量子霸权的概念瞬间完成了国民级的传播普及。
这两篇有关量子计算的论文当中的用词非常值得品味,谷歌在《nature》有关悬铃木的论文直接使用Supremacy(霸权)为标题,而中科大九章的论文只是使用Advantage(优势)为标题。不过在我们相对低调标题的背后,确是九章更为不俗的实力,因为与九章相比谷歌的悬铃木称不上什么霸权。
这次“九章”成功完成了76个光子100个模式的高斯玻色取样,比“悬铃木”快一百亿倍。同时,通过高斯玻色取样证明的量子计算优越性不依赖于样本数量,克服了谷歌53比特随机线路取样实验中量子优越性依赖于样本数量的漏洞。“九章”输出量子态空间规模达到了10^30,这对比“悬铃木”的10^16,也是绝对的碾压。
看到这里可能很多读者都想了解我们离量子霸权到底还有多远,不过做为一名量子物理的爱好者,笔者认为我们距离真正的量子霸权还有很长的路要走,接下来笔者就和大家具体聊一下有关量子计算与量子霸权的历史、现状与未来展望。
量子霸权的由来
通俗的讲量子计算机随着计算单元的增多其算力增长是指数级的,而传统计算机算力增长则随计算单元增长呈线性增长。而随着计算单元不断增多,量子计算的算力将远胜于同等成本下传统计算机。
说起量子霸权的由来,要从在上世纪中叶,爱因斯坦、奥本海默等顶级科学家共同发起的“曼哈顿”计划讲起。我们知道曼哈顿计划之所以抱得大名是因为原子弹和计算机就是曼哈顿计划的产物,这些技术也直接引发了第三次工业革命浪潮,使人类步入了全新的信息时代。
1981年,曼哈顿计划的最年轻成员之一,诺奖得主费曼,在麻省理工学院举办的第一届计算物理学大会上历史性的演讲中描绘出基于量子现象实现计算的前景。四年之后,英国牛津大学教授大卫。杜斯首次提出了量子图灵机的构架,量子计算开始具备了数学的基本型式。
不过业界在深入研究之后普遍认为量子计算的实用性存在问题,而且当时的量子算法不能在通用计算领域取得良好效果,因此量子计算这一课题一度被搁置起来,直到20多年后的2007年,由加拿大D-Wave系统公司研制的16位量子比特的超导量子计算机成功发布,才让人们意识到原来量子计算可能离我们并不远。
量子计算单元可以通过“既是0又是1”的叠加态形式存在,当一个系统中存在n个粒子时,其可以表示2的n次方个状态,假设量子计算机有2500个计算单元,那么它可以表示的状态就比地球上已知的原子总数还要多。
与此相对应,量子计算的运行模式是对每种可能的状态都以并行的方式演化,达到真正意义上的并行处理。在传统的计算机体系内计算单元与算力是呈线性增加关系的,假如有一颗128核的CPU这时再增加一个核心,其整体算力也就增加不到1%。而量子计算机每增加一个计算单元,整体计算能力翻倍增长。量子霸权就是量子计算机能够解决经典计算机根本无法解决的问题。从计算复杂性理论的角度来说,这意味着量子霸权可以提供一个超越已知或可能的经典算法的指数级加速。
九章的玻色子采样-量子优势的集中体现
这次九章完成的“玻色子取样”任务,其实就是量子世界版本的高尔顿板模拟。高尔顿板问题模型如图下图所示,无差别的小球从最高处被扔下,每经过一个钉板,都有一半的可能从左边走,一半的可能从右边走,当有很多个小球从上往下随机掉落时,落在最下方各个管道中的小球,从分布上会遵循中心极限定理的统计规律,因此高尔顿板也经常被用来可视化展示中心极限定理。
之前Aaronson 和Arkhipov研究发现,n光子“玻色取样”的分布概率正比于n维矩阵积和式的模方。
n阶积和式(permanent)的定义是对于一个给定的数域P,数域Pn上的规范对称n重线性函数就是n阶积和式。而基于于量子力学中的全同粒子 (identical particle) 也就是所有小球无差别的假设,问题的输入完全一致的n个小球 , 和m个用于接小球的管道,此时用于交换序号的算符^P的本征态对于对称态和非对称态来说是不一样的 ,这样的操作被称为一次量子化,从单粒子波函数来构造全同粒子波函数, 遍历所有P意味着遍历所有排列。对于玻色子来说恰好对应积和式的形式。
从计算复杂度的角度来看,积和式的求解难度使用经典算法时其所需要的时间随着玻色子数的增加呈指数上涨,时间复杂度为O(n2n)。而这对于量子计算机来说在中小规模下就可以打败超级计算机。由此“玻色子采样”也就成了量子计算机进阶路上的Hello World程序。
SHOR-量子霸权的真正体现
当然如果量子计算机只能在什么玻色子采样方面取得优势 ,那也就不会有什么量子霸权的提法了,量子计算真正的杀手锏在于量子因式分解SHOR算法。
与传统计算的与、或、非三类门不同,由于量子比特并不是简单的0、1态,共有七种门具体如下:
Pauli-X gate:相当于经典的逻辑非门。
Pauli-Y gate:这是一个复数操作的门
Pauli-Z gate:这个门保留基本状态|0〉 不变并且将|1〉 换成- |1〉
Hadamard Gate:使量子处于叠加状态。
CNOT Gate:使两个量子处于纠缠态。
Swap gate:相互交换两个量子位。由三个Pauli-X gate组成。
CCNOT gate:这是一个操作三个量子比特的的量子逻辑门,如果前两个量子比特是 |1〉,则对第三个量子比特进行类似于经典的逻辑非门处理,反之则不做操作。
一个最简单的由Hadamard Gate和CNOT Gate组成的量子电子结构如下:
而量子因式分解SHOR算法巧妙的Hadamard Gate添加到算法中来,从而大幅加速因式分解运算所需要的时间,其具体算法设计如下:
步骤1.随机取正整数a,a<n,且与n互质。一般由辗转相关法可得< span=""></n,且与n互质。一般由辗转相关法可得<>
步骤2.定义函数
,求函数f(x)的周期r,如果r为奇数则重取a,再求r,直到r为偶数为止。
步骤3.由
和
可用的辗转相除法求
与N的最大公约数n1,n1即为N的一个因子。至此N的因式分解即完成。
凭心而论SHOR最精妙之处在于将因式分解问题转化成为求解周期,而求周期问题又被转化成为傅里叶变换的问题,而求傅里叶变换恰恰是量子计算的擅长。我们知道傅里叶变换是将函数由时域映射到频率域的过程,而频率就是周期的倒数,所以周期问题可以通过傅里叶变换找出答案,傅里叶变换是可以用到量子计算特有Hadamard Gate进行加速的,一个最小化的快速傅里叶变换量子电路结构如下图。
目前整个互联网都广泛应用着非对称密钥体,非对称体系可以建立一对公钥和私钥,用公开的公钥对数据进行加密,只有用与公钥对应的私钥才能对数据解密,从而保证数据传输过程中不被泄漏与篡改。从区块链上的投票签名机制到网银、手机银行的数据传输,非对称密钥体系可谓无处不在。而非对称安全体系的核心基础RSA算法,其基本出发点就是认为对大素数的乘积进行因数分解,在计算上不可能实现,不过SHOR算法的出现却宣告大素数的因式分解对于量子计算机机来说是个小case。
量子计算机敢称霸权的根本逻辑就是SHOR算法能够攻破RSA安全体系,而攻破RSA相当于拿到整个互联网、比特币、区块链的身份认证密钥,所有互联网上的金融、信息资产全部能被量子计算机的主者获得,这样就真的可以称霸了。
真正实现量子霸权任重道远
不过谈量子计算机的普及还为时尚早,至少要解决以下几方面的问题:
通用计算:在目前通用型计算机体系中,与或非三个基本逻辑门要实现的任务就是完成加法计算,所有计算任务都是以加法为基础的,减法其实是加负数,简洁是连续的加法,比较大小是判断减法结果的正负符号,目前计算机主要性能指标主频,也可以理解成计算机一秒钟内可以做的加法运算次数。本质上讲目前传统计算机的算法就是把一个计算任务转换、分解成为加减、比较、跳转等基本操作的方法。
与传统计算机相比,量子计算在加法运算方面并无任何过人之处,将Hadamard Gate、CNOT Gate这些量子计算机特有的逻辑门加入到算法当中,才能发挥量子计算的霸权优势,而这些逻辑中门只有某些专门的任务才用得到。针对特定任务设计量子算法,其难度是非常高的,因此量子计算机可以被看成一个偏科生,在执行特定任务时占有极大优势,而通用任务则不那么强,如果让这个偏科生的水平取得全面发展的好成绩还有很长的路要走。
量子安全:量子算法SHOR本身是攻克RSA安全体系的银弹,可是量子本身的安全性其实也在业界屡屡遭受质疑。虽然从理论上说,量子体系可以保证绝对安全,不过实际操作过程中由于量子通信的一次一密随机加密方式以及微观世界中无处不在的扰动,可能也是量子安全实现路径上的一大绊脚石。
2019年12月,上海交大团队在《Physical Review Applied》发表了一篇题为《破解量子密钥分发的激光注入式攻击》的论文。
该论文通过指出黑客可以把微弱的激光注入到量子密钥分发(QKD)的发射光源从而导致QKD信号强度增加;并进一步在理论上证明了QKD信号强度的意外增加会严重影响QKD的安全性,该攻击方法成功率高达60%,同时该研究团队还提出一套方法,使用了一种被称为隔离器的设备,只允许单一光子在一个方向上行进,不过这个方法也不完美,由于该技术并不能完全阻绝非理想状态的光子行进方向,因此只能将入侵成功率从原本的 60% 降到 36%,而不能完全根绝。
今年5月法国国家网络安全局也发表了题为《应该将量子密钥分发(QKD)用于安全通信吗?》的技术性指导文件,该文件指出量子密钥分发仅有理论上的优势,应用范围极为有限而且实际安全性差。
因此如何保证量子通信本身的安全也是个亟待解决的问题。
量子纠错:而SHOR量子算法要求的计算结果正确率不能低于99.3%,笔者刚刚粗看了一遍九章的论文,没有找到计算保真度指标,不过根据谷歌的论文结果来看悬铃木的保真度只有0.2%,因此我们可以说目前世界上最强的量子计算机与破解RSA密钥体系的之间,还有很长一段距离。
传统计算机设计人员只需要验证运算结果的奇偶性,就能确认计算结果的是否正确,这也是我们日常所说的奇偶校验位机制,这样的机制很容易滤除不正确的结果,避免错误的累积。
但量子单元间的关系是相干态、叠加态,根本没有传统计算机中的奇偶验证关系,而且量子过程同其它所有的过程一样存在噪音。从量子比特中的热量或是量子过程产生的随机波动,都可能使量子比特的状态翻转或随机化,导致计算失败。因此如何进行量子纠错,确保每一步结果的正确性,才是实现量子霸权的关键。
不过在量子纠错方面我国的确取得了一定成就,由清华大学孙麓岩研究组、段路明研究组与中国科学技术大学邹长铃研究组合作,在超导量子系统中实现了微波光子二项式量子纠错码,首次同时实现逻辑量子比特的量子纠错和通用量子门操控。该论文《Quantum error correction and universal gate set operation on a binomial bosonic logical qubit》发表在《Nature Physics》杂志上。不过以笔者掌握到的情况来看,在量子纠错方面人类取得突破的时间点依旧难以预测。
预期和现实总在上下交替的舞蹈中螺旋上升。尤其值得观察的是昨天过去世界上最大的射电望远镜阿雷西博正式报废了,而今天我国就在量子计算方面取得突破,这是否也预示着未来我国在自主创新的道路上会迎来一波机遇期?相信以量子基础技术、实用性的发展为突破口。虽然不一定为大众津津乐道,但将助推量子计算未来的又一个高潮。
相关链接:
https://www.nature.com/articles/s41586-019-1666-5
https://beyondma.blog.csdn.net/article/details/102765692
更多精彩推荐
虚拟偶像出道,技术「造星」推动下的粉丝经济
GAN模型生成山水画,骗过半数观察者,普林斯顿大学本科生出品
关于动态规划,你想知道的都在这里了!
ONES 收购 Tower,五源资本合伙人对话两位创始人
极客头条
相关文章:

php析构函数的用法
简单的说,析构函数是用来在对象关闭时完成的特殊工作,比如我写的上例,在实例化同时打开某文件,但是它什么时候关闭呢,用完就关闭呗,所以析构函数直接关闭它, 又或者在析构时,我们将处理好的某些数据一并写进数据库,这时可以考虑使用析构函数内完成,在析构完成前,这些对象属性仍…

泛型中? super T和? extends T的区别
经常发现有List<? super T>、Set<? extends T>的声明,是什么意思呢?<? super T>表示包括T在内的任何T的父类,<? extends T>表示包括T在内的任何T的子类,下面我们详细分析一下两种通配符具体的区别。 …

两大AI技术集于一身,有道词典笔3从0到1的飞跃
作者 | Just 出品 | AI科技大本意(ID:rgznai100) “双十一”结束的钟点刚刚敲响,拥有电子消费品的企业便很快对外界秀了一把今年的销售战绩,网易有道也不例外。在电子词典单品品类榜单上,有道词典笔稳稳拿下天猫和京东…

VIM进阶功能
2019独角兽企业重金招聘Python工程师标准>>> http://www.cnblogs.com/gunl/archive/2011/08/15/2139588.html 该网页上介绍了以下内容: 查找快速移动光标复制、删除、粘贴数字命令组合快速输入字符替换多文件编辑宏替换TABautocmd常用脚本常用配置另一篇…

最简便的清空memcache的方法
如果要清空memcache的items,常用的办法是什么?杀掉重启?如果有n台memcache需要重启怎么办?挨个做一遍? 很简单,假设memcached运行在本地的11211端口,那么跑一下命令行: $ echo ”f…

mongodb启动
将mongodb安装为Windows服务,让该服务随Windows启动而启动: 开启服务: 转载于:https://www.cnblogs.com/dabinglian/p/6861413.html
赠书 | AI 还原宋代皇帝,原来这么帅?!
整理 | 王晓曼来源 | 程序人生 (ID:coder _life)封图 | 大谷视频《人工智能还原的宋代皇帝,原来这么帅?!》*文末有赠书福利昨日,一条“人工智能还原的宋代皇帝”喜提热搜,博主大谷借…

Deep learning:三十六(关于构建深度卷积SAE网络的一点困惑)
前言: 最近一直在思考,如果我使用SCSAE(即stacked convolution sparse autoendoer)算法来训练一个的deep model的话,其网络的第二层开始后续所有网络层的训练数据从哪里来呢?其实如果在这个问题中ÿ…

用memcache.php监测memcache的状况
最新的memcache pecl中,新增了一个memcache.php,这个php文件可以用来方便的查看memcache的状况,界面上与apc自带的apc.php风格一致。 如图: 应该算是最方便的监测memcache的办法了。 memcache.php源文件下载 是一个PHP源文件,…

想知道垃圾回收暂停的过程中发生了什么吗?查查垃圾回收日志就知道了!
\关键点\垃圾回收日志中包括着一些关键性能指标; \要做一次正确的垃圾回收分析需要收集许多数据,所以好的工具是非常必要的; \除了垃圾回收之外还有很多事件都可能会让应用程序暂停; \让你的应用程序暂停的事件也会让垃圾回收器暂…

Linux必学的网络操作命令
因为Linux系统是在Internet上起源和发展的,它与生俱来拥有强大的网络功能和丰富的网络应用软件,尤其是TCP/IP网络协议的实现尤为成熟。Linux的网络命令比较多,其中一些命令像ping、ftp、telnet、route、netstat等在其它操作系统上也能看到&am…
丢弃Transformer,FCN也可以实现E2E检测
作者 | 王剑锋来源 | 知乎CVer计算机视觉专栏我们基于FCOS,首次在dense prediction上利用全卷积结构做到E2E,即无NMS后处理。我们首先分析了常见的dense prediction方法(如RetinaNet、FCOS、ATSS等),并且认为one-to-ma…

Linux命令基础--uname
uname 显示系统信息 语 法:uname [-amnrsvpio][--help][--version] 补充说明:uname可显示linux主机所用的操作系统的版本、硬件的名称等基本信息。 参 数: -a或-all 详细输出所有信息,依次为内核名称,主机名&am…

FEC之我见一
顾名思义,FEC前向纠错,根据收到的包进行计算获取丢掉的包,而和大神沟通的结果就是 纠错神髓:收到的媒体包冗余包 > 原始媒体包数据 直到满足 收到的媒体包 冗余包 > 原始媒体包数据 则进入恢复模式,恢复出…

改变Repeater控件中按钮颜色
昨晚有在论坛看到一帖,手上的工作一直忙到现在,Insus.NET现在抽点时间尝试实现它。 Insus.NET没有使用数据库作为数据源,而是使用List<T>作为数据源。因此你在这篇博文中学到很多有关泛型的知识。另外Insus.NET使用CheckBoxList来替代多…
CSDN湘苗培优,遇见更好的自己
CSDN 湘苗培优报名火热进行中!JOIN US号外!号外!“湘苗培优”报名火热进行中!????????????????????????为什么要报名“湘苗培优”只要你想学,这里有CSDN技术认证、企业导师零距离技术交流求职…

两个无序单链表,排序后合并成一个有序链表
两个无序单链表,排序后合并成一个有序链表算法思想:用冒泡法,对链表1和2进行排序,对排序后的两个链表,从小到大进行循环,装入链表3中。#include<stdio.h>#include<stdlib.h>struct stud/*定义链…

FEC之我见三
继续上文讲解: 3)标准的RTP头结构如下所示: 其中第一个字节中的x标志位是否扩展了RTP头,RTP协议允许用户自定义的扩展,扩展的字段紧挨上述RTP固定头。RTP扩展投中承载如下信息:1).当前包所在的Group组序号&…

集体智慧及其常用算法
集体智慧定义是指由许多的个体通过合作与竞争中所显现出来的智慧,集体智慧是一种共享的或者群体的智能。它是从许多个体的合作与竞争中涌现出来的。集体智慧在细菌、动物、人类以及计算机网络中形成,并以多种形式的协商一致的决策模式出现。常用算法如下…
带你「周游世界」的 MODNet 算法
来源 | Jack Cui责编 | 晋兆雨头图 | CSDN下载自视觉中国最近又有一个算法火了,不知道你们看到没?直接看效果!效果这么稳定的人像 Image Matting 算法真的不多,并且还能进行实时处理!处理视频、图像,不在话…

ASP.NET格式化日期
1.绑定时格式化日期方法: <ASP:BOUNDCOLUMN DATAFIELD "JoinTime " DATAFORMATSTRING "{0:yyyy-MM-dd} " > <ITEMSTYLE WIDTH "18% " > </ITEMSTYLE &g…

docker的网络架构配置
http://xiaorenwutest.blog.51cto.com docker 网络架构模默认情况下,容器可以建立到外部网络的连接,但是外部网络无法连接到容器。Docker 允许通过外部访问容器或容器互联的方式来提供网络服务外部访问容器:容器中可以运行一些网络应用,要让外…
【官方福利】CSDN内测师限时申请,参与赢年末礼包
各位程序猿们都下载CSDN官方出品的插件了吧?什么?还有不知道插件是什么的同学??你错过了太多!更酷更高效的浏览器插件,一键万能操作,新标签页极简个性,让你的工作效率UP UP UP&#…

Sql年月日计算方法
通常,你需要获得当前日期和计算一些其他的日期,例如,你的程序可能需要判断一个月的第一天或者最后一天。你们大部分人大概都知道怎样把日期进行分割(年、月、日等),然后仅仅用分割出来的年、月、日等放在几…

读《每天懂一点成功概率学》
概率出现某种结果的数量/出现所有结果的数量 所谓“数学概率”,就是理论上计算出来的概率,例如抛硬币时,只有正面和反面两种结果,因此正面出现的概率就是1/2。 另一方面,我们反复抛硬币,根据实际结果计算出…

AV1时代要来了,超高清视频时代视频编码技术的机遇与挑战
近些年随着视频行业的迅猛发展,尤其像短视频、点播、直播、VR等领域的爆发,人们对于高清、超高清视频体验的追求越来越强烈,流媒体平台如何在提升观众观看体验,同时降低播放成本,利用技术降低带宽消耗的同时又能最大化…

敏捷软件开发(c#版)文摘
第一部分 敏捷开发 第1章 敏捷实践 第2章 极限编程概述 第3章 计划 第4章 测试 第5章 重构 第6章 一次编程实践 第二部分 敏捷设计 第7章 什么是敏捷设计 第8章 SRP 第9章 OCP 第10章 LSP 第11章 DIP 第12章 ISP 第13章 C#程序员UML概观 第三部分 薪水支付案例研究 第四部分 打…

asp.net 2.0 中GridView里设置日期格式
在asp.net 1.0 中的datagrid 中 设置日期字段格式时用 DataFormatString"{0:yyyy-MM-dd}"即可。在gridview 中设置短日期格式 使用<asp:BoundField HeaderText"发表时间" DataField"PostTime" DataFormatString"{0:yyyy-MM-dd}" &g…

springboot初学
首先苦于用ssh、ssm来搭建一个项目,这个基础搭建工作就大概要用半天的功夫才能弄好,想到就头疼,后面听了实验室一位大神的建议,用springboot啊,简单的不止一点点。就顺便学习了下这个神器,果然厉害。 有一次…

Exchange 2013与OWA13集成
好久没发新文章了,因为工作变动的原因,实在抱歉,今天给大家分享先office web app 2013怎么和最新的Exchange 2013进行集成使用吧,这点还是蛮有特色的,因为我们改变以往在OWA中预览Office的效果,我们先看看默…