量子信息-学习记录10

ch.10. Deutsch-Jozsa’s算法

  定义：
  输入：一个计算未知函数f的黑盒：$f:{\mathbb{Z}}_2^n\to {\mathbb{Z}}_2^n$
  已知：f是常函数或平衡常数
  问题：确定f是常函数还是平衡函数，所需要f的最少次数为多少？
  回答（输出）：经典算法：$2^{n-1}+1$次，量子算法：1次

  量子算法是如何做到只需要一次的？首先需要提出两个引理

  先记：

$$\begin{array}{rl}& |x⟩=|x_1,x_2,...,x_n⟩=|x_1⟩\otimes |x_2⟩\otimes \cdots \otimes |x_n⟩\\ & |y⟩=|y_1,y_2,...,y_n⟩=|y_1⟩\otimes |y_2⟩\otimes \cdots \otimes |y_n⟩\\ & x\cdot y=x_1{y}_1\oplus x_2{y}_2\oplus \cdots \oplus x_n{y}_n,x_i{y}_i=x_{i}and{y}_i\\ & \sum _{y\in {\mathbb{Z}}_2^n}=\sum _{y_1=0}^1\sum _{y_2=0}^1\cdots \sum _{y_n=0}^1\end{array}$$

  引理1：$H^{(n)}|x⟩=\frac{1}{2^{n/2}}\sum _{y\in {\mathbb{Z}}_2^n}(-1{)}^{x\cdot y}|y⟩$

  证明：

  当n=1时：

$$\begin{array}{rl}H|x_1⟩& =\frac{1}{\sqrt{2}}(|0⟩+(-1{)}^{x_1}|1⟩)\\ & =\frac{1}{\sqrt{2}}\sum _{y_1=0}^1(-1{)}^{x_1\cdot y_1}|y_1⟩\end{array}$$

  等式成立，而当n为任意值时：

$$\begin{array}{rl}{H}^{(n)}|x⟩& =(H\otimes H\otimes \cdots \otimes H)|x_1⟩|x_2⟩\cdots |x_n⟩\\ & ={\left(\frac{1}{\sqrt{2}}\right)}^n\sum _{y_1=0}^1\sum _{y_2=0}^1\cdots \sum _{y_n=0}^1(-1{)}^{x_1\cdot y_1}\cdots (-1{)}^{x_n\cdot y_n}|y_1⟩\cdots |y_n⟩\\ & =\frac{1}{2^{n/2}}\sum _{y\in {\mathbb{Z}}_2^n}(-1{)}^{x_1\cdot y_1\oplus x_2\cdot y_2\oplus \cdots \oplus x_n\cdot y_n}|y⟩\\ & =\frac{1}{2^{n/2}}\sum _{y\in {\mathbb{Z}}_2^n}(-1{)}^{x\cdot y}|y⟩\end{array}$$

  证毕

  注意到$H^{(n)}|0{⟩}^{\otimes n}=\frac{1}{2^{n/2}}\sum _{x\in {\mathbb{Z}}_2^n}|x⟩$

  引理2：相位反冲：

$$U_f:|x⟩|x_{n+1}⟩\to |x⟩|x_{n+1}\oplus f(x)⟩$$

$$U_f:|x⟩\frac{1}{\sqrt{2}}(|0⟩-|1⟩)\to (-1{)}^{f(x)}|x⟩\frac{1}{\sqrt{2}}(|0⟩-|1⟩)$$

  注意到f(x)最后变为了相因子（phase factor），如下图所示：

  证明：

$$\begin{array}{rl}{U}_f|x⟩\frac{|0⟩-|1⟩}{\sqrt{2}}& =\frac{1}{\sqrt{2}}(U_f|x⟩|0⟩-U_f|x⟩|1⟩)\\ & =\frac{1}{\sqrt{2}}|x⟩(|f(x)⟩-|1\oplus f(x)⟩)\\ & =\{\begin{array}{rl}& f(x)=0,\frac{1}{\sqrt{2}}|x⟩(|0⟩-|1⟩)\\ & f(x)=1,(-1)\frac{1}{\sqrt{2}}|x⟩(|0⟩-|1⟩)\end{array}\\ & =(-1{)}^{f(x)}|x⟩|-⟩\end{array}$$

  证毕

  此算法的表示如下：

  现按图中的划分，分步观察先后状态：

  初始状态：

$$|\psi (t_1)⟩=|0{⟩}^{\otimes n}\otimes \frac{|0⟩-|1⟩}{\sqrt{2}}$$

  根据引理1，线性叠加制造用于计算的基矢态：

$$\begin{array}{rl}|\psi (t_2)⟩& =H^{\otimes n}|0{⟩}^{\otimes n}\otimes \frac{|0⟩-|1⟩}{\sqrt{2}}\\ & =\frac{1}{2^{n/2}}\sum _{x\in {\mathbb{Z}}_2^n}|x⟩\otimes \frac{|0⟩-|1⟩}{\sqrt{2}}\end{array}$$

  根据引理2，进行相位反冲：

$$\begin{array}{rl}|\psi (t_3)⟩& =\frac{1}{2^{n/2}}\sum _{x\in {\mathbb{Z}}_2^n}{U}_f\left(|x⟩\otimes \frac{|0⟩-|1⟩}{\sqrt{2}}\right)\\ & =\frac{1}{2^{n/2}}\sum _{x\in {\mathbb{Z}}_2^n}(-1{)}^{f(x)}|x⟩\otimes \frac{|0⟩-|1⟩}{\sqrt{2}}\end{array}$$

  再次根据引理1，使用一次$H^{\otimes n}$：

$$\begin{array}{rl}|\psi (t_4)⟩& =(H^{\otimes n}\otimes I_2)|\psi (t_3)⟩\\ & =\frac{1}{2^{n/2}}\sum _{x\in {\mathbb{Z}}_2^n}(-1{)}^{f(x)}{H}^{\otimes n}|x⟩\otimes |-⟩\\ & =\frac{1}{2^n}\sum _{x\in {\mathbb{Z}}_2^n}\sum _{y\in {\mathbb{Z}}_n^2}(-1{)}^{f(x)}(-1{)}^{x\cdot y}|y⟩\otimes |-⟩\\ & =\frac{1}{2^n}\sum _{x\in {\mathbb{Z}}_2^n}\sum _{y\in {\mathbb{Z}}_n^2}(-1{)}^{f(x)\oplus x\cdot y}|y⟩\otimes |-⟩\end{array}$$

  当$|y⟩=|0{⟩}^{\otimes n}$时，$x\cdot y=0$

$$\begin{array}{rl}|\psi (t_4)⟩& =\frac{1}{2^n}\sum _{x\in {\mathbb{Z}}_2^n}(-1{)}^{f(x)}|0{⟩}^{\otimes n}|-⟩\\ & =\{\begin{array}{rl}& f(x)constant,(-1{)}^{f(x)}|0{⟩}^{\otimes n}|-⟩\\ & f(x)balanced,0\end{array}\end{array}$$

  最后，使用$|0{⟩}^{\otimes n}⟨0|\otimes I_2$进行投影测量：

  如果n-qubit为$|0{⟩}^{\otimes n}$，则测得的概率为1，说明是常函数
否则，说明是平衡函数

  批注：这是使用量子算法，将经典算法中的NP问题的复杂度降至O(1)的例子。是线性叠加原理使得这个算法能够成功应用

Bernstein-Vazirani算法

  输入：一个用于计算未知函数$f_a$的黑箱：

$$f_a:{\mathbb{Z}}_2^n\to {\mathbb{Z}}_2$$

  已知：$f_a(x)=a\cdot x=a_1{x}_1\oplus a_2{x}_2\oplus \cdots \oplus a_n{x}_n$

  问题：确定n-bit串：$a$的内容

  复杂度对比：经典算法需要n次，而使用Bernstein-Vazirani算法时，只需要1次

  Bernstein-Vazirani算法如下图所示：

  类似于Deutsch-Jozsa’s算法，分别得到各阶段的状态：

$$\begin{array}{rl}& |\psi (t_1)⟩=|0{⟩}^{\otimes n}\frac{|0⟩-|1⟩}{\sqrt{2}}\\ & |\psi (t_2)⟩=\frac{1}{2^{n/2}}\sum _{x\in {\mathbb{Z}}_2^n}|x⟩\otimes \frac{|0⟩-|1⟩}{\sqrt{2}}\\ & |\psi (t_3)⟩=\frac{1}{2^{n/2}}\sum _{x\in {\mathbb{Z}}_2^n}(-1{)}^{a\cdot x}|x⟩|-⟩\\ & |\psi (t_4)⟩=\frac{1}{2^n}\sum _{x,y\in {\mathbb{Z}}_2^n}(-1{)}^{(a+y)\cdot x}|y⟩|-⟩\end{array}$$

  引理3：$\sum _{x\in {\mathbb{Z}}_2^n}(-1{)}^{(a+y)\cdot x}={\delta }_{a+y,0}{2}^n$

  证明：$$\begin{array}{rl}LHS& =\sum _{x_1=0}^1(-1{)}^{(a_1+y_1)\cdot x_1}\sum _{x_2=0}^1(-1{)}^{(a_2+y_2)\cdot x_2}\cdots \sum _{x_n=0}^1(-1{)}^{(a_n+y_n)\cdot x_n}\\ & =2{\delta }_{a_1+y_1,0}\cdot 2{\delta }_{a_2+y_2,0}\cdots 2{\delta }_{a_n+y_n,0}\\ & =2^n{\delta }_{a+y,0}\end{array}$$

  因此：

$$|\psi (t_4)⟩=\sum _{y\in {\mathbb{Z}}_2^n}{\delta }_{a+y,0}|y⟩|-⟩=|a⟩\otimes |-⟩$$

  最后进行量子测量，使用$|a⟩⟨a|\otimes I_2$来获取$a$