基本门分解研究如何把任意量子门表示(通常是近似表示)为由少数原生门组成的线路。物理器件只稳定支持很小的门库(如超导平台的 + CNOT,离子阱的任意单比特旋转 + ),而算法层面写下的门五花八门,中间必须靠分解理论衔接。它与多控门分解一起,构成量子算术电路及几乎所有实用线路的编译基础。
单比特门:Euler 角分解
不计全局相位时,任意单比特幺正 只有三个实自由度,恰可写成绕 、 轴的三次旋转(ZYZ 分解):
证明是初等的:把 的矩阵元与三个 Euler 角逐一比对即可。ZYZ 之外还有 ZXZ、XY 等变体,按硬件原生旋转轴选择。因此任意单比特门 = 两个 夹一个 ;在多数平台上 可作为”虚拟门”零成本执行(通过参考系更新实现),实际开销集中在非对角旋转上。
万能门集与 Solovay–Kitaev 定理
离散门集 是万能的:任意 比特幺正都可被它以任意精度 近似。原因有二:
- 与 (即 ,差一个全局相位)生成的群在 中稠密,可任意精度逼近任意单比特门;
- CNOT 提供纠缠:任一两比特纠缠门加上全部单比特门即万能——纯单比特门永远制造不出纠缠,这一步不可省。
Solovay–Kitaev 定理给出逼近效率:对逆封闭、稠密的有限门集,把任意单比特门近似到精度 只需
个门(Dawson–Nielsen 的标准实现)。门数对精度只是”对数的多项式”级依赖——这是量子计算可行性论证的重要一环。实践中,现代编译器用数论搜索/矩阵乘积等序列综合方法,常能给出比通用 Solovay–Kitaev 短得多的 Clifford+ 序列;优化目标集中在 门数量上,因为 门在容错实现中依赖魔术态蒸馏,是昂贵的非 Clifford 资源。
两比特门:三个 CNOT 足矣
任意两比特幺正 都可分解为至多 3 个 CNOT 与若干单比特门(Vatan–Williams 给出的最优构造)。由此得到标准的逐层编译流程:
两个常用恒等式:
- 个 CNOT(两两交替交换);
- :控制-非与控制-Z 由目标侧 Hadamard 互化,硬件实现其一即可。
Toffoli 门分解
Toffoli 门(受控-受控-非,见多控门分解)是量子算术的主力门,不属于 Clifford 群,必须进一步分解:
- 两比特门版:标准构造用 6 个 CNOT 加若干单比特门(Barenco 等人 1995);
- Clifford+ 版:不用辅助比特时需 7 个 门(加 Clifford 门);借助辅助比特与测量反馈(临时逻辑与)可把 数进一步压低——代价是把纯线路变成带测量的动态线路。
这些常数因子经过算术线路里成百上千个 Toffoli 放大后,直接决定整个算法的物理成本估计。
与硬件门集的对接
不同平台原生门不同,编译器(transpiler)负责把上述通用分解再映射到具体原生集并优化门数/深度。词条层面只需记住两点:万能门集保证”一定能编译”;Euler 分解、3-CNOT 定理与 Solovay–Kitaev 定理刻画”编译得多好”。
参考文献
- Nielsen & Chuang.《量子计算与量子信息》第 4 章(尤其 §4.3 受控运算、§4.5 万能量子门与 Solovay–Kitaev).
- C. M. Dawson, M. A. Nielsen. The Solovay-Kitaev Algorithm. Quant. Inf. Comput. 6, 81 (2006). arXiv:quant-ph/0505030
- F. Vatan, C. P. Williams. Optimal Quantum Circuits for General Two-Qubit Gates. Phys. Rev. A 69, 032315 (2004). arXiv:quant-ph/0308006
- A. Barenco, C. H. Bennett, R. Cleve, D. P. DiVincenzo, N. Margolus, P. Shor, T. Sleator, J. Smolin, H. Weinfurter. Elementary Gates for Quantum Computation. Phys. Rev. A 52, 3457 (1995). arXiv:quant-ph/9503016