量子傅里叶变换(QFT)实质上是经典的逆离散傅里叶变换(IDFT)的量子版本。
量子傅里叶变换可以将存在于基向量中的数据与振幅中的数据在一定条件下相互转换。
如图所示,QFT可以简单地通过对IDFT进行替换得到,QFT和DFT本质上都是同一个向量在两个等价空间中的不同表示形式,即基向量的更换。
\begin{aligned} y_k\rightarrow\frac{1}{\sqrt N}\mathrm{\Sigma}_{j=0}^{N-1}x_j \ e^{\frac{2\pi\ i}{N}jk},\\ \left|x\right\rangle\rightarrow \ \frac{1}{2^\frac{n}{2}}\Sigma_{k=0}^{2^n-1}e^{\frac{2\pi i}{2^n} \ xk}\left|k\right\rangle. \end{aligned}
由定义可知,空间 span\{\left|x\right\rangle\} 中的某个向量 \mathrm{\Sigma}_x\alpha_x\left|x\right\rangle 通过傅里叶变换可以表示为另一个等价空间 span\{\left|k\right\rangle\} 中基向量的线性组合\mathrm{\Sigma}_k\beta_k\left|k\right\rangle, 且线性组合的系数 \beta_k 由\left|x\right\rangle 和 \alpha_x 决定。
Note
量子傅里叶变换/逆变换,实质上可以视为一种振幅和基向量的相互转化。
对QFT的量子线路实现需要对其表达式进行变形,得到可以用现有普适量子门组合实现的变换过程。
对任给整数 x ,由二进制展开 k=\mathrm{\Sigma}_{i=1}^nk_i2^{n-i},对\left|x\right\rangle 进行量子傅里叶变换的结果可表示为
\begin{aligned} & QFT(\left|x\right\rangle)=\frac{1}{2^\frac{n}{2}}\mathrm{\Sigma}_{k=0}^{2^n-1}e^\frac{2\pi ixk}{2^n} \ \left|k\right\rangle=\frac{1}{2^\frac{n}{2}}\mathrm{\Sigma}_{k_1=0}^1\cdots\mathrm{\Sigma}_{k_n=0}^1 \ e^{2\pi ixk\left(\mathrm{\Sigma}_{l=1}^nk_l2^{-l}\right)}\left|k_1\cdots k_n\right\rangle \\ & =\frac{1}{2^\frac{n}{2}}\mathrm{\Sigma}_{k_1=0}^1\cdots\mathrm{\Sigma}_{k_n=0}^1\otimes_{l=1}^n e^{2\pi ix k_l2^{-l}} \left|k_l\right\rangle=\frac{1}{2^\frac{n}{2}}\otimes_{l=1}^n(\left|0\right\rangle+e^{2\pi ix2^{-l}} \ \left|1\right\rangle). \end{aligned}
由上式可知,QFT可以将特定量子态 \left|x\right\rangle 表示为另一组基的线性组合,而这个线性组合还能表示为多个单比特量子态\frac{1}{\sqrt{2}}(\left|0\right\rangle + e^{2\pi ix2^{-l}}\left|1\right\rangle) 的张量积。
因此对任给整数 x,如果可以由二进制展开位 \left|x_{n+1-l}\right\rangle 快速构造量子态 \frac{1}{\sqrt{2}}(\left|0\right\rangle + e^{2\pi ix2^{-l}}\left|1\right\rangle),那么就可以通过张量积形式的QFT表达式完成相应QFT量子线路的构造。
任给整数 x 进行二进制展开近似:
\begin{aligned} x/2^m \approx \left[x_1\cdots x_m\right]/2^m=\left[0.x_1\cdots x_m\right]=\Sigma_{k=1}^mx_k2^{-k}, \end{aligned}
而
\begin{aligned} 2\pi ix2^{-l}=2\pi i\left[x_1\cdots x_n\right]2^{-l}=2\pi i\left[0.x_{n-l}\cdots x_n\right]. \end{aligned}
于是制备 \frac{1}{\sqrt{2}}(\left|0\right\rangle + e^{2\pi ix2^{-l}}\left|1\right\rangle) 转化为制备 \frac{1}{\sqrt{2}}(\left|0\right\rangle + e^{2\pi i [0.x_{n-l}\cdots x_n]}\left|1\right\rangle) 。
注意到 H\left|0\right\rangle = \frac{1}{\sqrt{2}}(\left|0\right\rangle + \left|1\right\rangle) = \ \frac{1}{\sqrt{2}}(\left|0\right\rangle + e^{2\pi i [0.x_n]}\left|1\right\rangle) ,而
\begin{aligned} & \frac{1}{\sqrt{2}}(\left|0\right\rangle + e^{2\pi i [0.x_{n-1} x_n]}\left|1\right\rangle) = \ \frac{1}{\sqrt{2}}(\left|0\right\rangle + e^{2\pi i [0.x_{n-1}]} e^{2\pi i [0.0 x_n]} \left|1\right\rangle),\\ & R_m \left|0\right\rangle = \left|0\right\rangle, R_m \left|1\right\rangle = e^{2\pi i \frac{1}{2^m}}\left|1\right\rangle. \end{aligned}
定义受控旋转量子门 (C-R)_{j-k+1} 满足
\begin{aligned} (C-R)_{j-k+1} \frac{1}{\sqrt{2}}(\left|0\right\rangle + e^{2\pi i [0.x_{n-j}]} \left|1\right\rangle)\left|x_{n-k}\right\rangle = \frac{1}{\sqrt{2}}( \left|0\right\rangle + e^{2\pi i [0.x_{n-j}0\cdots 0x_{n-k}]}\left|1\right\rangle. \end{aligned}
于是利用量子门 H 和 (C-R)_{j-k+1} 就可以完成对量子态\frac{1}{\sqrt{2}}(\left|0\right\rangle + e^{2\pi ix2^{-l}}\left|1\right\rangle)的制备,进而完成QFT的量子线路。
QFT的量子线路图如下所示
特别地,注意到上图中初始量子态为 \left|x_i\right\rangle 的量子比特对应的结果量子态为\frac{1}{\sqrt{2}}(\left|0\right\rangle + e^{2\pi ix2^{n+1-l}}\left|1\right\rangle)而非 \frac{1}{\sqrt{2}}(\left|0\right\rangle + e^{2\pi ix2^{-l}}\left|1\right\rangle) ,因此实际使用时还需要追加相应的多组 SWAP 门。
QFT在一维情况就是Hadamard量子门。 基于QPanda-2.0的QFT接口函数如下:
QCircuit QFT(QVec qvec);
选取 \left|x\right\rangle=\left|000\right\rangle 验证QFT的代码实例如下
#include "QPanda.h"
using namespace QPanda;
int main(void)
{
auto qvm = initQuantumMachine(CPU);
// 申请寄存器并初始化
QVec qvec = qvm->qAllocMany(3);
// 调用QFT函数
auto prog = createEmptyQProg();
prog << QFT(qvec);
// 以概率方法输出结果量子态的理论值(并非测量)
directlyRun(prog);
auto result = probRunTupleList(prog, qvec);
destroyQuantumMachine(qvm);
// 输出结果
for (auto aiter : result)
{
cout << aiter.first << " : " << aiter.second << endl;
}
return 0;
}
由前文中QFT的定义及 \left|x\right\rangle=\left|000\right\rangle 可知输出结果应当以均匀概率 \frac{1}{8} 得到所有量子态,即
000, 0.125
001, 0.125
010, 0.125
011, 0.125
100, 0.125
101, 0.125
110, 0.125
111, 0.125