量子傅里叶变换(QFT)是全站唯一一个"既不消耗算术原语、又决定算法成败"的部件。在 Shor 的顶层结构里,它占了四段中的一段;在振幅估计里,它是把特征值读出来的唯一手段。它也是全站文献最容易被夸大的一处:同一批论文里既有真正把 T 数砍掉一个对数因子的结果,也有只把门换个顺序排的调度工作,二者经常被并排写成"改进"。本卷的组织方式就是围绕这条区分展开的。

QFT 之所以值得单独成卷,而不是作为”加法器的一个零件”附在别处,原因是它的成本结构与其它卷完全不同。加法器的成本落在辅助比特与深度上,T 数只是副产品;QFT 的成本几乎全部落在 T 数上——具体地说,落在”把任意角度的受控旋转合成到 Clifford+T”这一步上。Nam–Su–Maslov 2020在摘要里把这件事讲得毫不含糊:标准的 比特容错 QFT 是”去掉小角度受控旋转,再把剩余的合成到 Clifford+T”,由此得到 的 T 数。这句话同时定义了本卷的两条主线:截断(丢掉小角度门)与合成(把剩下的门变便宜)。

因此本卷的第一原则是:读任何 QFT 论文的摘要,先看它报告的是 T 数、比特数,还是深度与并行度。这三者经常被混着写。合成与成本一词条给出一张三栏的判据表,把本卷所有可核实的构造按”真正降低了 T 数 / 只降低了比特与连接 / 只是重新排列”分好。

第二条主线是同一件事的三种实现形态。精确 QFT 用 个门,代价是不可容错的任意角旋转;近似 QFT 砍掉小角度门换取容错可行性;半经典 QFT 则干脆把双比特门换成”测量 + 受经典信号控制的单比特门”,用 1 根量子线换掉 根。三者不是精度档位,而是架构档位——在测量昂贵的平台上选近似,在测量便宜且连线受限时选半经典。

第三条主线是QFT 不只用于读相位。QFT 加法器把进位从”线”变成”相位”,是比特数最低的加法器;QFT 型快速算术与乐观 QFT 结合,甚至能得到近线性深度的因数分解线路。这些是QFT 算术的内容。

词条读完能回答
QFT 总览QFT 到底做了什么、为什么算术与相位估计都绕不开它;本卷的三条主线的分工;“重排 ≠ 变便宜”这条判据从哪来。
QFT 的门结构一个 比特 QFT 展开成什么样: 个 H 门加一串角度为 的受控相位阶梯,再加最后的交换;为什么门数 而深度可以做到对数。
合成与成本 这个基线数字是怎么来的;哪些构造真的降低了 T 数、哪些只降低了比特数、哪些只是重新排列门;截断阈值 为什么是全部成本讨论的真正杠杆。
近似与截断 QFT为什么可以丢掉小角度受控相位;完整 QFT 与截断 QFT 的线路对照长什么样;“逐门截断”与”乐观 QFT”是两条不同的近似路线。
半经典 QFT逐位测量加前馈如何把 比特傅里叶变换压成 1 根量子线加 个经典比特;测量与前馈在什么架构上划算、在什么架构上不划算。
QFT 算术QFT 加法器与乘法器在变换域上做了什么;条件干净辅助比特;QFT 加法器与进位加法器为什么被证明是同源的。
QFT 与 ZX 微积分图傅里叶变换与 QFT 的对应关系;ZX / 相位多项式路线在 QFT 上的文献本轮存在什么缺口,如实写清空白。

阅读顺序建议

论文依据

  • Nam–Su–Maslov(2018/2020) —— 提供本卷的核心基线数字:标准容错 QFT 的 T 数来自”去掉小角度受控旋转并把其余合成到 Clifford+T”,本文降到 。本卷全部成本讨论以此为尺。
  • Cleve–Watrous(2000) —— QFT 的快速并行线路,证明”QFT 不必串行执行”;本卷”重排一类”的奠基条目。
  • Coppersmith(2002) —— “丢掉小角度受控相位以得到适用于因式分解的近似 QFT”这一做法的单作者独立来源。
  • Griffiths–Niu(1995/1996) —— 半经典 QFT 的奠基来源:把双比特门换成受经典信号控制的一比特门。
  • Takahashi–Kunihiro(2005) —— 无辅助比特、线性规模的 QFT 加法器;本卷算术侧的代表构造。
  • Shor(1994/1997/1999) —— QFT 在因数分解里的原始用途,即在周期查找中读出周期。
  • Rodriguez(2013),伽罗瓦域上的 QFT —— 备查:说明”QFT”是可以脱离 讨论的概念族。本卷未展开专节;出处页只核实了书目信息(SPIE,无摘要)。