QFT 与 ZX 微积分

QFT 有多条”换一个表示重新发现它”的路径：经典 FFT 的 QR 分解、余弦–正弦分解的递归，Marquezino 等（2010）与Tucci（2004）各是一条。ZX 微积分与相位多项式本该是另外两条——前者用图傅里叶变换 ZX→ZH 把线路化到标准形，后者把线路写成一个布尔多项式的相位。但本轮检索未能定位到这一方向上任何可核实的著录，因此本词条只陈述这些表述本身的数学内容，如实写出缺口，不用别的方向的论文顶替。

一、ZX 微积分里的 QFT（数学陈述）

ZX 微积分用两类蜘蛛（Z 蜘蛛与 X 蜘蛛）和它们之间的边来描述量子线路，任意线路都能翻译成图。这个演算里的核心变换是图傅里叶变换 ZX→ZH：它把一张图按哈达门边展开并化到标准形。之所以它能承载 QFT 的构造，是因为 QFT 线路本身在图上就是”反复做 H 边替换”的对象——每一层的 H 门对应一次 Z/X 蜘蛛之间的边替换，而层内的受控相位对应图中若干个同型蜘蛛的并联。

于是 QFT 在这个表述里变成了一个纯粹的图论问题：把一张反复做 H 边替换的图化到标准形，标准形长什么样、化简规则能省掉多少节点。 这与门结构里的层结构是同一件事的两种叙述：一条数门，一条数节点。

必须明确一句：以上是关于这套演算本身的数学内容。本站不引用任何以 ZX 微积分处理 QFT 的论文，因为本轮没有可核实的著录（见第四节）。

二、相位多项式表述

另一种表述把一条线路写成一个布尔多项式的相位。设 $x\in {\mathbb{F}}_2^n$，任何实数多项式 $p(x)$ 都定义一个对角算子

$$D_p:|x⟩⟼e^{i\pi p(x)}|x⟩.$$

QFT 的每一层贡献一个多项式项，$n$ 层共 $O(n^2)$ 项，恰好对应QFT 的门结构里”每层一个 H 加一串受控相位”的计数。在这个表述下，“截断”变成”删掉低次项”，近似与截断 QFT的误差账（被删角度绝对值之和 $\le \epsilon$）也随之变成次数的截断——两种写法说的是同一件事，但后者更接近经典多项式截断的直觉。

同样地，这里陈述的是数学表述，本词条不对应文献。

三、为什么 QFT 的成本讨论特别干净

QFT 之所以比一般算术线路更适合做合成与成本分析，有三个结构原因：

1. 门集合同质。 全部受控相位的角度都形如 $2\pi /2^k$，合成它们用的是同一套方法，因此 T 数账目可以整体地估，而不像进位链那样被 Toffoli 与 CNOT 的混合结构打散。
2. 误差可加。 删掉一组门造成的算子偏差由三角不等式直接给出界，$\Vert U-\tilde{U}\Vert \le {\sum }_k|{\theta }_k|$，不需要逐门分析干涉。
3. 没有中间态。 变换是纯酉的，不存在”算到一半读出进位”这类需要处理中途态的结构。

这三条合起来解释了为什么 QFT 的 T 数优化能给出像 Park–Ahn（2022）那样干净的常数对照（$8n{\log }_2(n/\epsilon )\to 4n{\log }_2(n/\epsilon )$），也解释了为什么重排与省 T 的区分在这里可以做得很明确。

四、本轮的覆盖缺口

文献空白（如实记录）

“用 ZX 微积分或相位多项式表述 QFT”这个方向，本轮四路检索未定位到任何可核实的著录。 因此本词条不引用、不转述该方向上的任何论文，也不用近似 QFT 合成或代数分解方向的论文顶替。需要引用该方向时请自行补核。

方向	本轮核实结果
QFT 的容错合成与 T 数优化	有：QQFT005、QQFT003、QQFT025
QFT 的并行度、架构与深度	有：QQFT010、QQFT004、QQFT012、QQFT022
变换域量子算术	有：QQFT001、QQFT024、QQFT026
换一个代数表示重建 QFT	有：QQFT019（CSD 递归）、QQFT020（QR 分解）
换一个图表示（ZX / 相位多项式）重建 QFT	未定位到可核实著录

这张表要连着本站另一处空白一起读：ZX 微积分用于算术线路优化本身是有文献的，ZX 微积分与线路优化一词条记录了那一侧的可核实结果。“ZX 优化算术线路有文献”与”ZX 表述 QFT 无文献”是两句不同的话，不要混用。

五、能核实的”换表示”路径

同一条 QFT 层结构的四种叙述：三条已核实，一条是空白

前三行都有可核实的出处，且都不主张降低 T 数——它们是”重新发现同一条结构”，属于重排与架构协同那一类。第四行只有本文第一、二节陈述的数学内容。

论文依据

• Tucci（2004） —— 把量子快速傅里叶变换统一为余弦–正弦分解（CSD）的递归应用特例，是”换一个代数表示重新发现 QFT”的可核实样本。
• Marquezino、Portugal 与 Sasse（2010） —— 由经典 FFT 的 QR 分解构造 QFT 的纯代数路径，与上一条构成同一叙述方向的两个独立实现。
• Park–Ahn（2022） —— 近似 QFT 的 T 数与 T 深度优化，含完整常数对照；本词条第三节用它说明 QFT 的成本讨论为何能给出干净对照。
• Nam–Su–Maslov（2018/2020） —— 标准容错 QFT 的 $O(n{\log }^{2}n)$ T 数口径，即截断加合成两步；本词条第二节据此把截断说成”删掉低次项”的同义改写。
• Kahanamoku-Meyer 等（2025） —— 乐观 QFT，把”近似”重新定义为只对绝大部分输入成立；与本词条第三节”QFT 无中间态”的结构性质互为说明。
• Ruiz-Perez 与 Garcia-Escartin（2014，期刊 2017） —— 本主题唯一可核实的综述，给出 QFT 加法器与乘法器的全貌，可作为继续补核 ZX 方向时的入手文献。

延伸阅读

• zx-backpropagation —— ZX 微积分用于算术线路优化的那一侧，以及它自己的空白清单
• qft-gates —— 本词条第一节所说的”层结构”
• approximate-qft —— 本词条第二节所说的”次数截断”
• circuit-representation —— 线路表示本身的规范