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


**** 4.  算法 ****

 

4.1 Grover 量子搜索算法

 

为什么需要量子算法?因为经典算法不足以体现量子计算特别之处。量子算法的目的便是要利用量子比特量子门的特殊性:叠加性、干涉性、纠缠性……,构造比经典计算快得多的算法。此外,量子算法也需考虑物理可实现性。

 


4.1:量子算法发展史

 

在考虑量子算法时,特别需要关注量子计算的如下特点:

1,量子比特是量子叠加态,几个本征态按不同的概率幅叠加起来;

2,量子计算可以平行计算(或者说对叠加态进行某种“操作”),但是不能测量。因为一旦测量就将导致系统的“波函数塌缩”,即叠加态以一定的概率塌缩到某个本征态,塌缩概率是该本征态概率幅的平方。

 

Grover量子搜索算法6展示量子计算机解决“非结构化搜索问题”的速度可以比经典更快。

 

给你一个很大的N个项目列表,其中有一项w是我们希望找到的。或者用一个最简单的比喻,假设我们是要在许多嫌疑人中搜索一个逃犯,w表示的就是逃犯。

 

考虑最简单的情况:N个嫌疑人x中只有一个罪犯w,如图4.2a所示。首先将列表中的每个候选者标以特定颜色,逃犯w为红色,所有其他人x都标以灰色。规定某种方法判定逃犯,例如考虑一个与“计算”有关的方法:假设我们知道罪犯的身份证号码w,可将它与所有嫌疑人的号码x比较,即做减法计算(x-w)。结果则可以用一个二元目标检验函数f(x)表示:如果x不等于wf(x)=0;如果x是逃犯,即x= wf(x)=1。因为嫌疑人的数据x是无序的,如果使用经典方法,要找到逃犯的号码w,只能一个一个地做减法。最坏情况需检查所有N个嫌疑人,最好情况也得检查1个,平均而言必须做N/2次减法。因此,经典搜索的运算次数与N的关系是线性的:O(N)

 

现在考虑量子搜索,假设“数据库”由量子比特可能处于的所有计算基组成。例如 3 个量子比特,如图4.2b所示,计算基列表就是:|000>, |001>,……|111>,即从7八个值,量子搜索可以同时操作这8个寄存器。但是,一开始我们并不知道要找的逃犯w在哪里,所有的嫌疑人都有可能是罪犯。因此,似乎我们也只能一个一个地计算验证!如果那样的话,仍然需要和经典情况一样的线性复杂度N,体现不了量子运算的优越性。

 

4.2:搜索问题和检验函数f(x)

 

既然均等概率体现不了量子计算的特点,就想办法让概率变化。Grover算法就是非常巧妙地利用了量子计算机可以“平行运算”的特点,同时对N个寄存器反复进行某种操作,使得目标项w的概率幅|w>不断放大,其他的概率幅|x>不断缩小,这种算法可以只用sqrt(N) 个步骤找到罪犯w。比较经典计算需要的N步,得到了平方级的加速。

 

听起来增速不多,仅仅平方级的加速。但实际上是我们所能期望的搜索算法最大加速。 并且当N很大时,二次加速确实可以节省大量时间。比如有100个嫌疑人,身份证号码1100,随机无序地分布在100个寄存器中,找出数字37的所在之处,经典方法需要平均做50次操作,量子方法只需要做10次!N越大,加速越明显。此外,该算法的用途不止于数据搜索,具有通用性,可以为各种其他算法获得二次运行的时间改进。

 

Grover 算法的核心就是振幅放大技巧,将目标w的概率幅放大,而将其它“非目标项”x的概率幅缩小。振幅放大过程分两步:量子黑箱函数Uw(也称Quantum Oracle),和扩散算符操作UsDiffusion Operator)。

 

4.3:振幅放大的几何解释

 

“振幅放大”算法有很好的几何解释,表示为态矢量在一个二维平面中产生旋转,如图4.3所示。初始状态是一个均匀叠加态|s> |w>|s>张成向量空间中的一个二维平面,两个向量|w>|s>并不完全垂直,因为|w>也以N1/2的概率辐出现在叠加态|s>中。然而,我们可以引入一个额外的状态|s>,它位于|w>|s>构成的二维平面上但垂直于|w> 

 

更详细地分几步说明:刚才的初始态算是步骤 1 ,振幅放大过程从均匀叠加|s>开始,均匀叠加态|s>可以很容易地从nH门作用于n个量子比特基态|0>上构造出来,得到如图4.3左图所示的初始状态。在|w>|s‘>构成的平面坐标下,初始状态|s>可以表示为:

 

|s> = sinT |w> + cosT |s‘>, 

 

T = arcsin(sw的投影) =  arcsin(1/ N1/2),图4.3左下图形是均匀叠加态|s>bar图。

 

步骤 2,应用黑箱函数Uw将状态|s>翻转,见图4.3的中图:Uw的作用是将目标状态|w>反相,其它状态不变。从几何上讲,这对应于|s>态关于|s>轴的翻转。这意味着状态|s>|w>的幅度变为负值,也意味着平均幅度(由虚线表示)的降低。

 

步骤3,现在关于状态|s>应用另一个扩散算符Us。此转换将|s>映射到状态UsUw|s>。两次反射UsUw对应一个旋转,将初始状态|s>旋转得更接近|w>,见图4.3右图。

 

幅度条形图中Us的反射操作可以理解为关于平均幅度(虚线)的反射。由于第一次反射降低了平均振幅,这变换将|w>的振幅提高到其原值的数倍,同时也降低了其他振幅,故称为振幅放大。

 

然后我们转到前面重复步骤 2和步骤3,继续振幅放大的过程直到达到要求。

 

4.3所示的过程的确可将振幅放大,但到此为止我们有两个问题:一是图中的黑箱函数Uw和扩散算符Us具体是什么?二是此过程要重复几次才能找到w呢?

 

Grover 算法的预言机Oracle函数Uw所做的,是给解|w>添加了一个负相位,也就是说,对于计算基中的任何状态|x>,可以创建一个函数 UwUw  (x) = x,如果|x>不等于|w>;而Uw (x) = -x,如果|x>等于|w>,如图4.4a所示。该函数被称为Oracle

 


4.4a)黑箱函数将w反相;b)相位黑箱函数

 

17a中,黑箱函数Uw可以表达为一个对角矩阵,其中对应于目标项w的值为-1,其它为1。图4.4a下图表示三个量子位 Uw矩阵。进一步具体而言,Oracle可以用图4.2b中所示的经典检验函数f(x)构成的相位函数来实现。

 

也许有人会说,既然Uw可以将w那一项反相,不是已经知道了w的位置吗?那还搜索什么呢?这是初学Grover算法时经常感觉困惑的问题。这儿需要再次强调量子计算的特点:可以让多个寄存器同时运算但不能检查每个寄存器的结果。因此,虽然我们说Uw能够将w反号,但因为没有进行测量,我们并不知道是哪个寄存器的结果反相了。反相的结果是每个寄存器根据它自己内部的数据检验f(x)而反馈回来的。

 

换句话说,每个嫌疑人自己知道他是不是罪犯,但我们并不知道,除非进行测量!

 

即使进行测量,仅仅是将|w>反号这一个操作,也不能确定w的位置。因为|w>是概率辐,而测量得到的是概率,即概率辐的平方。|w>符号的改变使概率辐反相,但并不会影响概率。Grover算法的巧妙之处是在步骤3中我们又应用了一个扩散函数Us = 2 |s><s|-1。其作用是将态矢量关于平均幅度进行反射,反射后w的概率幅被放大了。因此,步骤23的共同作用U= UwUs,使得测量后塌缩到|w>的概率被放大了。

 

那么,现在回到第二个问题:此过程U要重复多少次才能使w的概率幅达到最大值呢?

 

每一步过程U,都使态矢量的位置更接近|w>的位置,假设每次改变的角度是均匀的2

q,对初始态|s>作用t次之后:|yt> =  (UwUf)t|s>。最后需要的次数可用图4.6的描述来粗略地理解。

 

4.5Grover算法

 

事实也证明旋转N^1/2次就足够了。 能从经典的N次减到N^1/2次,原因是由于处理的是概率辐而不是概率,即被放大的是概率幅而不仅是概率,这也是量子计算秘诀所在。

 

4.6所示的是用IBM量子模拟的2量子比特搜索过程。经典需要3次比较,量子Grover算法只需要1次。

 

4.6:搜索算法举例

 

 参考文献:

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

相关视频:

        (待续)

Contents

**** 1.  前言 ****

**** 2.  历史 ****

**** 3.  基础 ****

3.1 叠加态

3.2 量子比特

3.3 量子门

3.4 量子电路

**** 4.  算法 ****

4.1 Grover 量子搜索算法

4.2 多伊奇算法

4.3 秀尔算法-1(经典,数论部分)

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

**** 5.  实现 ****

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

作者部分YouTube视频:

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

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

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


浏览(9128) (6) 评论(0)
发表评论
我的名片
天蓉
注册日期: 2011-09-18
访问总量: 1,182,625 次
点击查看我的个人资料
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-11-17 - 2024-11-20
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.