秀尔算法

本页使用了标题或全文手工转换
维基百科,自由的百科全书

秀尔算法(英语:Shor's algorithm)是一个于1994年发现的,以数学家彼得·秀尔命名,针对整数分解题目的的量子算法(在量子电脑上面运作的算法)。不正式地说,它解决的题目是:给定一个整数 ,找出它的质因数。在一个量子电脑上面,要分解整数,秀尔算法的运作需要多项式时间(时间是 的某个多项式这么长, 在这里的意义是输入的文件长度)。准确来说,该算法花费 的时间,展示出质因数分解问题可以使用量子电脑以多项式时间解出,因此在复杂度类BQP里面。这比传统上已知的最快的因数分解算法普通数域筛选法所花费的次指数时间——大约 还要快了一个指数。

秀尔算法非常重要,它意味着:假如有可用的量子电脑,我们可以破解基于公开密钥加密的算法(比如RSA加密算法)。RSA算法的基础在于假设了我们不能有效率的分解一个已知的整数。就目前所知,这假设对传统(即非量子)的电脑为真;没有已知的传统算法可以在多项式时间内解决这个问题。但秀尔算法展示了因数分解问题在量子电脑上可以很有效率的解决,所以一个足够大的量子电脑可以破解RSA。这对于建立量子电脑和研究新的量子电脑算法是一个强大的动力。

2001年,IBM的一个小组展示了秀尔算法的实例,使用NMR实验的量子电脑及7个量子比特,将15分解成3×5。[1]不过,对于IBM的实验是否是量子计算的真实展示,有一些疑虑出现,因为没有发现纠缠现象[2]IBM的实验之后,也有其他的团队以光学量子比特实验秀尔算法,并强调可观察到其纠缠现象。[3][4]

程序[编辑]

试着解决的问题是:给定一个合成数,找到整数之间且不包含,并且整除于

秀尔算法包含两个部分:

  1. 一个以传统电脑运作的简化算法,将因数分解简化成搜索问题。
  2. 一个量子算法,解决搜索阶问题。

传统部分[编辑]

  1. 选择任意数字 <
  2. 计算gcd , )。这里可以使用辗转相除法来计算。
  3. 若gcd( , ) ≠ 1,则我们有了一个 非平凡的因数,因此这部分结束了。
  4. 否则,利用下面的周期查找子程序(Period-finding subroutine,下面会列出)来找出下面这个函数的周期
    ,
    换句话说,找出里面的,或者最小的正整数
  5. 是奇数,回到第一步。
  6. /2 ≡ -1 (mod ),回到第一步。
  7. gcd(a /2+1, )与gcd(a /2-1, )至少有一个是 非平凡的因数。分解完成。

量子部分:周期查找子程序(Period-finding subroutine)[编辑]

这个算法使用的量子线路是为了在给定一个固定常量 以及一个任意常量 之下,找出 所设置的。给定 ,找出 = 2 且合乎(这同时表示)。输入和输出量子比特寄存器需要存储从0到 -1所有值的叠加态,因此分别需要 个量子比特。这里使用看起来比所需的数量还要更多一倍的量子比特,保证了即使周期 的大小逼近 /2,也至少有 个不同的 会产生相同的

程序如下:

  1. 将寄存器初始化成
    从0到 − 1。所以这一个初始态是 个状态的叠加。
  2. 建立量子函数版本的 ( ),并且应用于上面的叠加态,得到
    .
    这里仍旧是 个状态的叠加。
  3. 对输入寄存器进行量子傅里叶变换。这个变换(操作于二的幂次—— 个叠加态上面) 使用一个 单位根例如将任意给定态的振幅平均分布在所有 态上。另一个方法是对于每个不同的
    由此得到最终状态:
    .
    这是一个远多过 个状态的叠加态,但是远低过 2个。虽然在和中有 2项,但只要 的值相同,态就可被提出来。令
    的一个单位根,
    的周期,
    0为一个产生相同 ( )的 的集里面的最小元素(我们已经有 0 < ),以及
    b在0到之间使得。那么则是复平面的一个单位向量(是一个单位根, y是整数),而在最终状态下的系数则为
    。这一求和的每一项代表一个获得相同结果的不同路径,而量子干涉发生。在单位向量几乎与复平面指向同一方向(要求指向正实数轴)时,干涉将是相长的。
  4. 进行测量。我们由输入寄存器获取结果y,由输出寄存器获取。而既然 是周期,对某对y进行测量的概率则由
    给出。分析显示这个概率越高,单位向量就越接近正实数轴,或者越接近一个整数。除非 是2的乘方,否则它不会是的因子。
  5. 进行连分数展开来计算其近似值,并生成满足下列两个条件的
    借着满足这一些条件, ′有很高的概率会是我们要找的周期
  6. 检查 ( ) = ( + ′) 。如果成功了,我们就完成了。
  7. 否则,以接近y左右的数值作为 的候选,或者说多取几个 .如果任何候选成功了,我们就完成了。
  8. 否则,回到第一步骤(也就是全部重新做一次)。

算法的解释[编辑]

此算法包含两个部分。算法的第一部分是将因数分解问题转成查找一个函数的周期,而且这部分可以用传统方式实现。第二部分则是使用量子傅里叶变换来搜索这个函数的周期,而且这一部分是量子加速这整个算法的理由。

I.从周期得到因数[编辑]

小于N互质N的整数组成一个有限大,且对乘法同余N。在步骤3之后,我们有一个属于这个群的整数a。既然这个群是有限的,a必有一个有限大的阶r,也就是最小的正整数令

因此可知,Na r − 1的因数。先假设我们有能力获得r,而且r是偶数。则

r是令a r ≡ 1最小的正整数,所以(a r / 2 − 1)必定不能整除于N。若(a r / 2 + 1)也不整除于N的话,则N必定与(a r / 2 − 1)或者(a r / 2 + 1)有一个非显然的公因数。

证明:为了简化,我们分别用uv表示(a r / 2 − 1)和(a r / 2 + 1)。N | uv,故kN = uv(k是某个整数)。假设gcd(v, N) = 1:则必定存在某个整数mnmv + nN = 1 (这是最大公因数的一个性质)。两边同乘以u,我们得到mkN + nuN = u, 所以 N | u,从而产生矛盾(前文提到(a r / 2 − 1)必定不能整除于N)。故假设不成立,即gcd(v, N) ≠ 1。用类似的方法,可以得知若(a r / 2 + 1)不能整除于N, gcd(u, N) ≠ 1。故得证u和v不同时与N互质。

这给予我们一个N的因数分解。若N是两个质数的乘积,则这是唯一可能的分解。

II.找寻周期[编辑]

秀尔的周期查找算法非常倚赖量子电脑同时处于许多状态的能力。物理学家称呼这个特性为状态的“叠加”。在计算函数f的周期时,我们会同时估计这个函数的所有点。

不过,量子物理不允许我们直接获取这些资讯。测量会令观测结果塌陷到其中一个可能的结果,并摧毁所有其他可能。如果不是因为不可克隆原理,我们可以先测量f(x)而非测量x,再制造几个结果态的拷贝(将会是多个有着同样的f(x)的态的叠加)。对这些态上的x的测量将会给出能给出相同f(x)的不同的x,由此推导出周期来。因为我们不能克隆完全相同的量子状态,这个方法行不通。因此在这里我们需要小心的转变叠加态,使其成为可以以高概率回传正确答案的状态。这可使用量子傅里叶变换来达成。

因此秀尔在这里必须解决三个“实现”的问题,而且速度必须够快,也就是可这些问题可以用量子门个数为的多项式来实现。

  1. 制造状态的叠加。 这可以借着对所有输入的量子比特使用哈达玛门(Hadamard gate)来达成。另一个方法是使用量子傅里叶变换(如下述)。
  2. 以量子变换实现函数f。 要达成这件事情,秀尔使用了反复平方以完成模的取幂变换。值得注意的是,这一个步骤比起量子傅里叶变换还难以实现,需要更多辅助的量子比特以及明显更多的门来完成。
  3. 进行量子傅里叶变换。 利用受控旋转门(controlled rotation gate)和哈达玛门,秀尔设计了一个量子傅里叶变换的线路,只使用了个门(Q = 2q)。[5]

在这一些变换之后,测量会给出周期r的近似值。为简明起见,假设存在yyr/Q是整数,则测量到y的概率是1(理论上)。要推导出这个,我们首先注意到对任何整数b

。因此Q/r的平方能告诉我们测量y的概率,因为b大致上取Q/r个值,因此概率为。有ry使得yr/Q为整数,也有r种可能,所以概率总和为1。

Note:另一种解释秀尔算法的方式是将之视为是乔装过后的量子相位估计算法

参见[编辑]

参考资料[编辑]

  1. ^ Vandersypen, Lieven M. K.; Steffen, Matthias; Breyta, Gregory; Yannoni, Costantino S.; Sherwood, Mark H. & Chuang, Isaac L., Experimental realization of Shor's quantum factoring algorithm using nuclear magnetic resonance, Nature, 2001, 414 (6866): 883–887, doi:10.1038/414883a .
  2. ^ Braunstein, S. L.; Caves, C. M.; Jozsa, R.; Linden, N.; Popescu, S.; Schack, R., Separability of Very Noisy Mixed States and Implications for NMR Quantum Computing, Phys. Rev. Lett, 1999, 83 (5): 1054–1057, doi:10.1103/PhysRevLett.83.1054 
  3. ^ Lu, Chao-Yang; Browne, Daniel E.; Yang, Tao & Pan, Jian-Wei, Demonstration of a Compiled Version of Shor's Quantum Factoring Algorithm Using Photonic Qubits, Physical Review Letters, 2007, 99 (25): 250504, doi:10.1103/PhysRevLett.99.250504 
  4. ^ Lanyon, B. P.; Weinhold, T. J.; Langford, N. K.; Barbieri, M.; James, D. F. V.; Gilchrist, A. & White, A. G., Experimental Demonstration of a Compiled Version ofshor's algorithm with quantum Entanglement, Physical Review Letters, 2007, 99 (25): 250505, doi:10.1103/PhysRevLett.99.250505 
  5. ^ Shor 1999,第14页.

延伸阅读[编辑]