欢迎关注我的专栏( つ•̀ω•́)つ【人工智能通识】
更多相关文章请点击【量子计算通识】
以下内容参照微软研究院主题演讲《Quantum Computing for Computer Scientists(计算机科学家量子计算导读)》的结构进行整理和扩充的。
本篇是第六部分。上一篇【科普】量子计算通识-5
多伊奇问题Deutsch Problem
量子计算能做什么?有什么优势?
我们从最简单的多伊奇问题开始。
首先,我们知道,对于一个比特进行操作,有四种方法:不变,翻转,等0,等1,它们都可以表示成用一个矩阵相乘的模式。
这四种操作又可以根据输入输出的对比分为两种情况:
情况A:变量结果variable,不变和翻转都属于这种,它们的输出结果可能是0也可能是1。这种变量结果也可以叫做平衡结果Balanced,因为结果有一半情况下是输出0,另一半情况下输出1。另外注意,这两种操作都是可逆的,就是说如果你知道是翻转操作并且结果输出1,那么就可以推算输入是0。
情况B:常量结果constant,等0和等1都属于这种,他们的输出结果是固定的,永远等于0或者等于1,不会因为输入不同而不同。这两种操作是不可逆的,也就是说即使你知道是等0操作并且知道操作结果输出0,也不能推理出输入的数值是0还是1。
现在问题是,假设有一个函数操作,我们只知道它是四种操作里的一种,但我们可以用输入输出进行测试,那么,要确定属于情况A(变量可逆)还是情况B(常数不可逆),我们最少做几次测试?
这个问题最早是英国物理学家David Deutsch提出来的,当然他也提出了量子算法的解决方案。
经典计算机解决方案
用经典计算机来判断到底是情况A(变量结果操作)还是情况B(常量结果操作),必须要经过两次尝试,第一次输入0观看结果,第二次输入1观看结果。
- 第一次输入0输出是0,那么可能是不变,也可能是等0。
- 第一次输入0输出是1,那么可能是翻转,也可能是等1。
- 第一次输入1输出是0,那么可能是翻转,也可能是等0。
- 第一次输入1输出是1,那么可能是不变,也可能是等1。
所以,必须至少尝试两次,第一次输入0,第二次输入1或者相反:
- ,不变,情况A变量
- ,等0,情况B常量
- ,等1,情况B常量
- ,翻转,情况A变量
我们经过两次经典计算可以确定属于变量操作或者常量操作。
虽然我们也可以确定到它属于四种操作中的哪一种,但其实这个信息是不必要的,又是不得已而为之的,因为我们只需要判断变量或者常量即可。
重新组装
在量子计算中我们要求所有操作都是可逆的,那么我们先对四种位操作进行重新布线,也就是说设计四种可逆的量子位操作线路,或者说四种算法。当然,这四种算法也必须满足实现四种操作:
在这里我们输入两个量子位InputA和InputB,其中InputA是固定的|0>,你可以把它视为冗余的辅助输入;同样输出的OutputA是真正的操作结果,而OutputB也可以视为冗余的副产品。
为什么设计成这样的线路?先不急,我们先看在这个结构下如何实现四种可逆的量子位操作。
-
等0操作线路,直接把InputA(|0>)输出到OuputA,这就确保了OutputA固定为|0>;而至于冗余的OutputB也直接连接到InputB即可。如下图:
-
等1操作线路,和等0线路差不多,把InputA线路上面添加一个非门就可以确保OutputA固定为|1>了。如下图:
-
不变操作线路,这个就有点复杂了,注意这里是个CNOT可控非门,InputB是控制位,InputA是目标被控位。所以,如果InputB是|0>,那么InputA
穿过连线不变输出OutputA的就还是|0>,而正好和控制位InputB相同;如果InputB是|0>是|1>,那么InputA的|0>穿过连线被翻转输出OutputA就是|1>,也正好和控制位InputB相同。
- 翻转操作线路,只要在不变操作的基础上增加一个翻转操作就可以了。
注意上面四个图的OutputA,分别是|0>、|1>、|x>、|﹁x>,这正对应了量子比特的四种操作。
Deutsch多伊奇算法
有了上面四种操作全新的可逆线路算法,我们用一次测试就可以确定是变量操作还是常量操作了。
首先我们把当做一个未知的黑盒子,并向两端增加一些翻转操作(X)、Hadamard门操作(H)和一些测量Measure操作(M),组成下面的测试电路:
从图中可知,我们的两个输入InputA和InputB都是|0>,那么我们来看一下在等0、等1、不变、翻转四种不同的操作情况下输出的结果都是什么。
在此之前,我们先把左侧的翻转(X)和Hadamard(H)处理出来:
InputA和InputB,都是|0>,经过-X-H-后得到:
我们把这个点作为进入未知黑盒的起点,下面用蓝色圆点表示。
-
假设是等0操作,那么经过没变化,然后经过右边的Hadamard门结果是,测量结果是1,联合OutputA和OutputB得到|11>:
假设是等1操作,那么如下图,OutputA多经历一次翻转(X),再经过Hadamard门(H)之后到达了 ,但测量结果还是1,联合OutputA和OutputB仍然得到|11>
- 假设是不变操作,那么情况会复杂一些,我们有下图:
但OutputA是怎么回事?首先我们知道这是个CNOT可控非门操作,而CNOT就是乘以一个特别的矩阵,我们有如下公式:
注意这里最后一步的巧妙之处在于开头的CNOT操作相当于把两个的张量积转换为和的张量积,简化后就是:
所以有上图,OutputA是测量后是|0>,联合OutputA和OutputB仍然得到|01>
- 假设是翻转操作,那么相当于比不变操作多了一个翻转,如下图所示,注意这里OutputA的翻转(X)操作仍然在原地,所以最终联合OutputA和OutputB仍然得到|01>
综合上面四种情况,我们得到:
- 等0操作结果是|11>
- 等1操作结果是|11>
- 不变操作结果是|01>
- 翻转操作结果是|01>
所以,输入InputA和InputB两个都是|0>,如果结果是|11>,那么就是个常量操作,如果结果是|01>,那么就是个变量操作。
只要一次操作就完成了!速度快了一倍!
欢迎关注我的专栏( つ•̀ω•́)つ【人工智能通识】
更多相关文章请点击【量子计算通识】
每个人的智能新时代
如果您发现文章错误,请不吝留言指正;
如果您觉得有用,请点喜欢;
如果您觉得很有用,欢迎转载~
END