设万维读者为首页 万维读者网 -- 全球华人的精神家园 广告服务 联系我们 关于万维
 
首  页 新  闻 视  频 博  客 论  坛 分类广告 购  物
搜索>> 发表日志 控制面板 个人相册 给我留言
帮助 退出
 
天蓉的博客  
随笔、小说、诗词、科普。 “真和美,是科学不变的精髓;爱与死,是文学永恒的主题……”  
网络日志正文
浅谈量子计算机-5 2024-01-08 06:27:35

4.4 秀尔算法-2(量子部分)

 

上面介绍的量子秀尔算法的经典部分,解释了它将一个大整数分解为两个素数因子的过程,即就是将其转化成了周期查找问题的过程。周期查找问题对经典而言关键而困难,对此问题经典算法的复杂度是指数级别,而秀尔用量子计算机可将复杂度降到多项式级别。

 

秀尔算法中只有“周期查找”这一步,是需要在量子计算机上完成的,其他都可在经典计算机上完成。量子计算机运行完“计算周期”的子程序后,就会将结果,即周期r,返回给经典计算机,让它继续完成计算过程。

 

实际上,量子计算和经典计算各有利弊。量子比特的特点是叠加态,有可能被利用来实现并行计算而加快算法,但是,在量子计算的过程中一般不进行(或少进行)测量,因为测量伴随着叠加态的塌缩,一旦塌缩到一个本征态,便失去了量子计算的优势,而经典计算有容易掌控的优越性。因此,专家们认为,量子计算机或许永远不会单独存在,而是一直和经典计算机配合执行任务,各展其长。输出输入以及复杂度简单的部分由经典计算完成,特殊问题的困难部分由量子计算完成,就像秀尔算法这样,便是用经典与量子配合起来完成破解RSA密钥的过程。此外,与许多量子算法一样, Shor算法是概率性的。也就是说,它以高概率给出正确答案,并且通过算法的重复来降低失败的概率。

 

秀尔量子算法的周期查找,由指数模操作和量子傅里叶变换两部分组成,如图4.15a所示Shor算法依赖于模运算和量子并行计算,下面介绍秀尔算法中量子部分(图4.15b),看看秀尔算法是如何找到周期的?

 


4.15:秀尔算法-量子

 

描述周期函数最合适的数学方法,是傅里叶变换Fourier Transform。秀尔周期查找的核心技术,正是被称为量子傅里叶变换的QFT

 

首先看一下我们问题中的周期函数长什么样?这是来自于数论得到的一个重要结果:设F(a) 等于xa次方mod N,那么F(a)是一个周期函数。

 

用上一节4.3中的例3为例,即N=15x=7,我们得到序列:

70(mod 15) = 1,  71(mod 15) = 7,  72(mod 15) = 4,  73(mod 15) = 13,  74(mod 15) = 1……等等。

 

这个例子的周期函数F(a)如图4.15c所示。秀尔算法量子部分的目的是要找到指数模序列F(a)的周期,可归纳为下列过程,我们在介绍一般过程时,也将上述例子结合于对过程的解释中:

 

首先,选择一个等于2的幂的整数q,定义它的取值范围为N^2q2N^2。例子中的N=15,我们选取q=256;再选择一个与N互质的随机整数,我们选取x等于7

 

第二步,创建一个量子寄存器R,将其划分为两个独立的寄存器:R1R2R1用作输入寄存器,R2输出。R1必须有足够的个量子位来表示任何q-1以内的整数;R2必须有足够的个量子位,来表示任何N-1以内的整数。对例子中的具体数值,R12个量子比特分成两部分,n=8m=4

 

如图4.15b所示,用y0y1y2y3分别代表4个不同时间点的量子态。将R1R2初始化为全0时的状态为y0然后,对R1的量子位应用哈达玛变换,即应用nH门到n个基态0,这将使寄存器R1的组合状态成为从0q-1的(2n次方个)均匀等权的量子叠加态,而R2不变,总状态记为y1

 

再次强调一下:哈达玛德H门很重要,能产生量子叠加态。一个H门作用后产生两个基态的叠加,nH门则产生2n次方个基态的叠加。不过,在这儿的秀尔算法中,产生的不仅仅是R1的均匀叠加态,而且必须使得R1R2互相纠缠,也就是使输入和输出互相纠缠。这样,当我们测量一个使其塌缩时,也影响到另一个状态的塌缩。

 

y1y2的转换,是应用一个特别的量子转换门(黑箱Oracle),使指数模函数f(a)=xa(mod N)生效,生成指数模周期序列。即将量子态|a> |0>映射成|a> |xa (mod N)>。对上述具体例子,转换门之前和之后的量子态y1y2的表达式如图4.16所示。 

 

4.16:量子黑箱函数的作用

 

换言之,量子黑箱函数的作用是:为存储在寄存器R1中的每个数计算xaN,并将计算结果存储在寄存器R2中。由于量子并行性,xaN的计算可以在量子计算机上一步完成。这个步骤完成之后,量子存储寄存器的联合状态为y2我们将y2按输入输出展开后,再根据输出寄存器重新排列:

 

4.17y2的重新排列

 

虽然输出寄存器R24个量子位,可以表示0-15之间的任何数,但因为例3中的模周期函数7a(mod 15) 只有4个数值:17413,所以y2中的R2|1> |7>|4>|13> 的均匀叠加态。

 

然后对输出量子位R2进行测量。这时 有趣的事情发生了:测量输出R2使其以相同的概率塌缩成4个态中的一个。例如塌缩成|1> ,因为R2R1互相纠缠,所以R2的塌缩也造成了R1的部分塌缩。

 

4.18:测量R2造成自己塌缩以及R1的部分塌缩

 

因此,测量后的合成态如图4.18所示:y(2-3)的输出部分只有一项,y(2-3)的输入部分仍然是叠加态,也是一个周期序列,正等待作QFT

 

最后,执行量子傅立叶变换求周期。QFT算法很复杂难以详细介绍,但傅里叶变换的概念是通用的。例如 如果输入是正弦或余弦函数,变换后的结果是在 某一频率的德尔塔函数。对一般的周期函数 结果会是周期附近的多个尖峰。

 

在我们的具体例子中,峰值在064128等。根据多次测量,不难计算出周期,我们例子中的周期r=4 。然后,便遵循上一讲描述的程序,可以成功地分解N而得到N=5x3

 

秀尔算法几乎利用了量子计算机的所有优势:一是叠加性,即量子位的多重表示。就是用哈达玛达门制造出均匀叠加,叠加态可以同时进行平行运算,但却不能测量。因为一旦测量,便会塌缩到所有本征态的其中之一。因此,最好的办法是将量子算法部分“包”在经典部分的中间,例如秀尔的量子部分包括QFT在内。从经典部分给量子部分输入少量的参数,量子给经典返回周期的数值。而将大量计算量,利用量子比特的平行运算能力,在量子计算机内部完成。量子计算部分被包住了,不测量就不会塌缩!然而,秀尔也巧妙地利用了量子态之间的纠缠性,引起部分塌缩但仍然保持叠加态。另外,量子傅里叶变换利用了量子相干性,因为物理中干涉衍射,其数学本质就是傅里叶变换。

 

如何用量子模拟线路实现秀尔算法?请参考IBM模拟软件平台的文件10

 (待续)

参考文献:

1Keynote talk, 1st conference on Physics and Computation, MIT, 1981(International Journal of Theoretical Physics, 21: 467488, 1982)

2Thomas H. Cormen; Charles E. Leiserson; Ronald L. Rivest; Clifford Stein; 殷建平等译1 算法在计算机中的作用算法导论 原书第3北京机械工业出版社. 20131

3】张天蓉世纪幽灵-走近量子纠缠(第二版)[M].合肥:中国科技大学出版社,20205月。

4Bloch Spherewikipedia),https://en.wikipedia.org/wiki/Bloch_sphere

5IBM Quantum (2022). estimator primitive (Version x.y.z) [computer software]. https://quantum-computing.ibm.com/

6Grover L.K.: A fast quantum mechanical algorithm for database search, Proceedings, 28th Annual ACM Symposium on the Theory of Computing, (May 1996) p. 212

7】无穷的开始世界进步的本源,作者:戴维·多伊奇 (David Deutsch), 王艳红

出版社:人民邮电出版社,出版日期:2014-11-01

8】真实世界的脉络,作者: [戴维·多伊奇,出版社广西师范大学出版社,译者梁焰 / 黄雄,出版年: 2002-8

9David Deutsch & Richard Jozsa (1992). "Rapid solutions of problems by quantum computation". Proceedings of the Royal Society of London A. 439 (1907): 553–558.

10Shor’s algorithm from IBM

https://quantum-computing.ibm.com/composer/docs/iqx/guide/shors-algorithm


(待续)


********************************************************** 

作者部分YouTube视频:

https://www.youtube.com/watch?v=0I8FdazqAvc&list=PL6YHSDB0mjBKB2LBZDKL9UhcMMx6GtOsx

https://www.youtube.com/watch?v=_d0wquZkOYU&list=PL6YHSDB0mjBJ6qgfin-xKmP3FtTQr4x7i

*********************************************************


浏览(7529) (4) 评论(0)
发表评论
我的名片
天蓉
注册日期: 2011-09-18
访问总量: 1,219,572 次
点击查看我的个人资料
Calendar
最新发布
· 费马大定理-最后一步
· 费马大定理-铺平道路
· 费马大定理-椭圆函数
· 费马大定理-椭圆曲线和“群”
· 费马大定理-模形式
· 费马大定理-椭圆曲线
· 费马大定理-数学公主
分类目录
【作品目录】
· 《走近混沌》目录
· 《走近量子》目录
· 《诗谜画谜》目录
· 《傻博士的初恋》目录
· 《美国房客》目录
· 《隐身惊魂记》目录
· 《白雪之恋》:目录
【科普-走近混沌】
· 《走近混沌》-25-27-全文完
· 《走近混沌》-24-孤立子的故事
· 《走近混沌》-23-混沌到有序
· 《走近混沌》-22-再回魔鬼聚合物
· 《走近混沌》-21-萬變之不變
· 《走近混沌》-20-混沌魔鬼不穩定
· 《走近混沌》-19-混沌魔鬼的誕生
· 《走近混沌》-18-生態繁衍和混沌
· 《走近混沌》-17-混沌遊戲
· 《走近混沌》-16-三體問題及趣聞
【科普-走近量子】
· 走近量子(19)量子隐形传输(二
· 走近量子(18)量子隐形传输(一
· 走近量子(17)量子计算机
· 走近量子(16)GHZ定理-繼續
· 走近量子(15)GHZ定理
· 走近量子(14)qubit和费曼
· 走近量子(13)从纠缠态到qubit
· 走近量子(12)GHZ登场
· 走近量子(11)埃斯派克特的实验
· 走近量子(10)最後的判决
【谜语集锦3】
· 留下一串謎(詩謎+畫謎)- 44
· 留下一串謎(詩謎+畫謎)- 43
· 留下一串谜(诗谜+画谜)- 42
· 留下一串谜(诗谜+画谜)- 41
· 留下一串谜(诗谜+画谜)- 40
· 留下一串谜(诗谜+画谜)- 39
· 留下一串谜(诗谜+画谜)- 38
· 留下一串谜(诗谜+画谜)- 37
· 留下一串谜(诗谜+画谜)- 36
· 留下一串谜(诗谜+画谜)- 35
【谜语集锦2】
· 留下一串谜(诗谜+画谜)- 30
· 留下一串谜(诗谜+画谜)- 29
· 留下一串谜(诗谜+画谜)- 28
· 留下一串谜(诗谜+画谜)- 27
· 留下一串谜(诗谜+画谜)- 26
· 留下一串谜(诗谜+画谜)- 25
· 留下一串谜(诗谜+画谜)- 24
· 留下一串谜(诗谜+画谜)- 23
· 留下一串谜(诗谜+画谜)- 22
· 留下一串谜(诗谜+画谜)- 21
【谜语集锦1】
· 留下一串谜(诗谜+画谜)- 20
· 留下一串谜(诗谜+画谜)- 19
· 留下一串谜(诗谜+画谜)- 18
· 留下一串谜(诗谜+画谜)- 17
· 留下一串谜(诗谜+画谜)- 16
· 留下一串谜(诗谜+画谜)- 15
· 留下一串谜(诗谜+画谜)- 14
· 留下一串谜(诗谜+画谜)- 13
· 留下一串谜(诗谜+画谜)- 12
· 留下一串谜(诗谜+画谜)- 11
【谜语集锦】
· 留下一串谜(诗谜+画谜)- 10
· 留下一串谜(诗谜+画谜)- 9
· 留下一串谜(诗谜+画谜)- 8
· 留下一串谜(诗谜+画谜)- 7
· 留下一串谜(诗谜+画谜)- 6
· 留下一串谜(诗谜+画谜)- 5
· 留下一串谜(诗谜+画谜)- 4
· 留下一串谜(诗谜+画谜)- 3
· 留下一串谜(诗谜+画谜)- 2
· 留下一串谜(诗谜+画谜)- 1
【傻博士的初恋46-50】
· 傻博士的初恋-50-尾声
· 傻博士的初恋-49-水落石出
· 傻博士的初恋-48-谋杀案?
· 傻博士的初恋-47-当个女侦探
· 傻博士的初恋-46-跟踪依娃
【傻博士的初恋:41-45】
· 傻博士的初恋-45-疑惑
· 傻博士的初恋-44-分手?
· 傻博士的初恋-43-闯荡哈林区
· 傻博士的初恋-42-平安夜(2)
· 傻博士的初恋-41-平安夜(1)
【傻博士的初恋36-40】
· 傻博士的初恋-40-回家
· 傻博士的初恋-39-感恩节(2)
· 傻博士的初恋-38-感恩节(1)
· 傻博士的初恋-37-古怪的量子
· 傻博士的初恋-36-罗德的忠告
【傻博士的初恋31-35】
· 傻博士的初恋-35-万圣节(2)
· 傻博士的初恋-34-万圣节(1)
· 傻博士的初恋-33-工作狂
· 傻博士的初恋-32-如此先进企业
· 傻博士的初恋-31-强词夺理
【“傻”博士的初恋:26-30】
· 傻博士的初恋-30-大金失踪
· 傻博士的初恋-29-恋爱的学问
· 傻博士的初恋-28-911(2)
· 傻博士的初恋-27-911(1)
· 傻博士的初恋-26-贾杨金
【“傻”博士的初恋:21-25】
· 傻博士的初恋-25-人脑和电脑
· 傻博士的初恋-24-硅谷看房子
· 傻博士的初恋-23-经济泡沫
· 傻博士的初恋-22-明娜来访
· 傻博士的初恋 -21- 亲密接触
【“傻”博士的初恋:11-15】
· 傻博士的初恋 -20- 搬家
· 傻博士的初恋 -19- 罗德的故事
· 傻博士的初恋 -18- 糊涂有理
· 傻博士的初恋 -17- 糊涂博士
· 傻博士的初恋 -16- 疯涨的股票
【“傻”博士的初恋:11-15】
· 傻博士的初恋 -15- “生日快乐!
· 傻博士的初恋 -14- 过生日
· 傻博士的初恋13- 父母来访
· 傻博士的初恋-12- “大袍子”博士
· 傻博士的初恋-11- 有惊无险
【“傻”博士的初恋:6-10】
· 傻博士的初恋-10- 太浩湖之旅
· 傻博士的初恋-9- 简单和复杂
· 傻博士的初恋-8- 笑阿姨
· 傻博士的初恋-7- 情人节
· 傻博士的初恋-6-大忙人
【“傻”博士的初恋:1-5】
· 傻博士的初恋-5-“萨沙”和“妮妮”
· 傻博士的初恋-4-合作伙伴?
· 傻博士的初恋-3-第一次约会
· 傻博士的初恋-2-棕榈大道
· 傻博士的初恋-1-初遇
· 傻博士的初恋:引子
【《美国房客》尾声】
· 《美国房客》- 35 经悠悠数月,
【《美国房客》生死游戏】
· 《美国房客》- 34 感生命有限,
· 《美国房客》- 33 知祸福相依,
· 《美国房客》- 32 忆德州旧识,
· 《美国房客》- 31 急自强有危,
· 《美国房客》- 30 烧藏宝真图,
· 《美国房客》- 29 欲引蛇出洞,
· 《美国房客》- 28 映院中人影,
· 《美国房客》- 27 破车祸真相,
· 《美国房客》- 26 听教授感慨,
· 《美国房客》- 25 记梦中影像,
【《美国房客》游子百态】
· 《美国房客》- 15 忆往事成烟,
· 《美国房客》- 14 解诗词秘密,
· 《美国房客》- 13 气弟弟不肖,
· 《美国房客》- 12 喜赴美寻梦,
· 《美国房客》- 11 厌名利薰心,
· 《美国房客》- 10 记车祸当日,
· 《美国房客》- 9 述加州之行,触
· 《美国房客》- 8 疑泰州宝藏,惑
· 《美国房客》- 7 用键盘交流,集
· 《美国房客》- 6 叙文革旧事,传
【《美国房客》楔子】
· 《美国房客》楔子-2 人物诗谜
· 《美国房客》楔子-1 一则新闻
【长篇悬疑小说《美国房客》】
【《隐身惊魂记》-独立节惊魂】
· 独立节惊魂-尾声
· 独立节惊魂-82-隐蛇现形白宫惊魂
· 独立节惊魂-81-遥控实现杀人游戏
· 独立节惊魂-80-毒蛇消失总监着急
· 独立节惊魂-79- 欢乐华府严阵以
· 独立节惊魂-78- 阳光谷城小虎遇
· 独立节惊魂-77-节日凌晨无人能眠
· 独立节惊魂-76-高人驾车出手相救
【《隐身惊魂记》-矽谷追逐】
· 矽谷追逐-75-隐身男孩被人跟踪
· 矽谷追逐-74-红木城中隐人现形
· 矽谷追逐-73-隐人出没捉狭添乱
· 矽谷追逐-72-戈尔自杀拉曼被捕
· 矽谷追逐-71-身陷囹圄处境危急
· 矽谷追逐-70-月黑风高事故不断
· 矽谷追逐-69-野狼活动毒蛇突现
· 矽谷追逐-68-天灾可怕人心奸诈
· 矽谷追逐-67-狡猾政客阴谋小人
· 矽谷追逐-66-精心策划设置圈套
【《隐身惊魂记》-阴谋政治】
· 阴谋政治-61-驶离华府何去何从
· 阴谋政治-60-警商勾结顾客遭殃
· 阴谋政治-59-欲破阴谋逃避逮捕
· 阴谋政治-58-隐侠计划云游湾区
· 阴谋政治-57-别墅取车拉曼落网
· 阴谋政治-56-流浪小子守株待兔
· 阴谋政治-55-上司策划逮捕迈克
· 阴谋政治-54-两月前的重大案件
· 阴谋政治-53-分析案情迷雾重重
· 阴谋政治-52-跟踪绅士疑点多多
【长篇科幻小说《隐身惊魂记》】
· 脑电波之谜-40-急中生智无辜遇难
· 脑电波之谜-39-藏身遁形纽约历险
· 脑电波之谜-38-情况复杂小虎不见
· 脑电波之谜-37-人性兽性互纠互缠
· 脑电波之谜-36-隐人胡闹大使剧院
· 脑电波之谜-35-历历在目十年之前
· 脑电波之谜-34-拉曼失踪线索中断
· 脑电波之谜-33-切身体会隐身之趣
· 《隐身惊魂记》目录
· 脑电波之谜-32 别墅忽见往日同学
【随笔】
【科普】
· 费马大定理-最后一步
· 费马大定理-铺平道路
· 费马大定理-椭圆函数
· 费马大定理-椭圆曲线和“群”
· 费马大定理-模形式
· 费马大定理-椭圆曲线
· 费马大定理-数学公主
· 费马大定理-欧拉猜想
· 费马大定理-这个证明包你懂!
· 费马大定理-救了他的命
【诗词】
· 《露珠》
· 《小花》
· 《激流》
· 《团聚》
· 《三叠泉》
· 《咏荷》
【小说】
· 《白雪之恋》:2-《二十六年后…
· 《白雪之恋》:2-《二十六年后…
· 《白雪之恋》:2-《二十六年后…
· 《白雪之恋》:2-《二十六年后…
· 《白雪之恋》:1-56
· 《白雪之恋》:1-55
· 《白雪之恋》:1-54
· 《白雪之恋》:1-53
· 《白雪之恋》:1-52
· 《白雪之恋》:1-51
存档目录
2024-12-03 - 2024-12-06
2024-11-17 - 2024-11-23
2024-10-16 - 2024-10-28
2024-09-07 - 2024-09-07
2024-08-27 - 2024-08-30
2024-06-04 - 2024-06-26
2024-05-01 - 2024-05-29
2024-04-03 - 2024-04-23
2024-03-07 - 2024-03-28
2024-02-12 - 2024-02-20
2024-01-08 - 2024-01-23
2023-12-09 - 2023-12-19
2023-11-08 - 2023-11-27
2023-06-10 - 2023-06-10
2023-04-08 - 2023-04-08
2022-11-07 - 2022-11-07
2022-10-09 - 2022-10-11
2022-09-12 - 2022-09-12
2022-07-09 - 2022-07-09
2022-06-08 - 2022-06-08
2022-05-26 - 2022-05-26
2022-04-25 - 2022-04-25
2022-03-10 - 2022-03-30
2022-02-03 - 2022-02-28
2022-01-07 - 2022-01-17
2021-12-16 - 2021-12-29
2013-07-08 - 2013-07-08
2013-02-07 - 2013-02-07
2013-01-05 - 2013-01-26
2012-12-05 - 2012-12-26
2012-11-04 - 2012-11-25
2012-10-01 - 2012-10-31
2012-09-02 - 2012-09-27
2012-08-01 - 2012-08-30
2012-07-03 - 2012-07-31
2012-06-02 - 2012-06-30
2012-05-01 - 2012-05-31
2012-04-01 - 2012-04-30
2012-03-01 - 2012-03-31
2012-02-01 - 2012-02-29
2012-01-01 - 2012-01-30
2011-12-01 - 2011-12-31
2011-11-01 - 2011-11-30
2011-10-19 - 2011-10-31
 
关于本站 | 广告服务 | 联系我们 | 招聘信息 | 网站导航 | 隐私保护
Copyright (C) 1998-2024. Creaders.NET. All Rights Reserved.