6.6 Simon算法¶
6.6.1 Simon算法介绍¶
Simon问题是Daniel Simon在1994年提出。它是一个计算问题, 可以在量子计算机上以指数速度相较经典计算机更快地解决。虽然这个问题本身目前没有在实际应用中产生实际价值, 但它的趣味内涵在于它证明了量子算法可以比任何经典算法更快地解决这个问题。
Simon的算法也启发了Shor算法(详细请查阅Shor量子算法)。这两个问题都是阿贝尔隐子群(Abelian hidden subgroup problem)问题的特例, 而且是现今已知有效的量子算法。
问题描述:¶
- 给定一个方程:
\[f:\{0,1\}^n→\{0,1\}^n\]
- 存在 \(s∈\{0,1\}^n\),对所有的 \(x,y∈\{0,1\}^n\),满足下面的性质:
- \(f(x)=f(y)\) 当且仅当 \(x=y\) 或 \(x⊕y=s\)
(这里⊕表示模2加。)
算法目标:¶
寻找s.
例:n=2的Simon问题,考虑2量子比特。注意,如果目标 \(s=0^n\),那这个函数是1对1(one-to-one)的,此处不考虑。反之,则是一个二对一(two-to-one)的函数,几种情况如下图(函数值任意给定):
(1)s=01 | (2)s=10 | (3)s=11 | |||
---|---|---|---|---|---|
x | f(x) | x | f(x) | x | f(x) |
00 | 1 | 00 | 1 | 00 | 1 |
01 | 1 | 01 | 2 | 01 | 3 |
10 | 0 | 10 | 1 | 10 | 3 |
11 | 0 | 11 | 2 | 11 | 1 |
在(1)很容易看出 \(f(00)=f(01)=1\),\(f(10)=f(11)=0\),因此 \(00⊕01=01\), \(10⊕11=01\),推出 \(s=01\)。经典算法最低需要2次的才能确定,一般情况下,对于n比特的问题估计找到目标s最糟糕的情况下要消耗多达 \(2^{n-1}+1\) 次。但是在量子算法里,1次就解决了这个问题。
量子Oracle¶
Simon问题的量子Oracle(考虑s=11)
考虑n=2的Simon问题,此时需要2量子比特的变量和2量子比特的函数,合计需要4量子比特。
- 下面考虑Simon问题的Oracle:
\[| x_0 x_1 ⟩ |00⟩\overset{U_f}{\rightarrow} |x_0 x_1 ⟩ |00⊕f(x_0 x_1 ) ⟩=|x_0 x_1 ⟩ |f(x_0 x_1 ) ⟩\]
- 线路图如下:
上面的这个量子Oracle可以加入Hadamard门,对前两个量子比特做H操作,等价于:
过程:¶
\[\begin{split}|0000⟩\xrightarrow[]{H⨂H⨂I⨂I}|++⟩|00⟩\xrightarrow[]{U_f}\frac{1}{2}[(|00⟩+|11⟩ )|1⟩+(|01⟩+|10⟩ ) |3⟩ ]\\
\xrightarrow[]{H⨂H⨂I⨂I}\frac{1}{2} [(|00⟩+|11⟩ )|1⟩+(|00⟩-|11⟩ )|3⟩ ]\end{split}\]
(注意: \(|3⟩\) 是我定义的函数值)
因此,最下面的两个位分别对应了 \(|1⟩\) 和 \(|3⟩\),测量上面的两量子位, \(|00⟩\) 和 \(|11⟩\) 则会被以50%的概率被观察到。
下面是QRunes的实施过程:¶
1. 初始化4个量子比特。
2. 创建线路图: q[0], q[1]分别做Hadamard操作。
3. 对q[0],q[2]和q[1], q[2]分别执行CNOT操作。
4. 对q[3]执行NOT操作。
5. 再对q[0],q[1]分别做Hadamard操作
6. 最后测量全部量子逻辑位,输出结果。
Simon问题(s=11)的线路图设计参考图:¶
这里,测定结果得|00⟩的时候,表示没有得到任何的信息,当测量得到|11⟩的时候,就得到了s=11,也就是说Simon量子算法里面,0以外的获取s的概率为50%。
s=10的线路图参考,流程和思路和上面完全一致,测试用。
s= 10:
6.6.3 Simon算法小结¶
在一台量子计算机上运行了该算法的最简单版本,仅仅用了六个量子比特,量子计算机完成 这一任务仅用了两次迭代,而普通计算机得用三次。这种区别似乎不算什么,但人们相信,如果增加更多量子比特,量子计算机和普通计算机运算能力的差别就会拉 大,这也意味着,量子计算机能更快、更高效地解决此类算法问题。不过,还是要泼一盆冷水,到目前为止,能够运行西蒙算法并没有什么实际价值,该实验的唯一 目的是证明量子计算机在一种算法上能够做得更好。