[论文解读] A Practical Method of Constructing Quantum Combinational Logic Circuits

Jae‐Seung Lee, Yongwook Chung+2 more|ArXiv.org|Nov 12, 1999

Quantum Computing Algorithms and Architecture参考文献 2被引用 24

一句话总结

本文提出了一种实用方法，通过为量子可逆逻辑量身定制的卡诺图，构建高效的量子组合逻辑电路。该方法利用最小项分解与优化的门乘法，最小化 $f$-受控-非门和 $f$-受控相位移门的量子电路，从而实现针对特定量子硬件约束（如量子比特连通性）的定制化实现。

ABSTRACT

We describe a practical method of constructing quantum combinational logic circuits with basic quantum logic gates such as NOT and general $n$-bit Toffoli gates. This method is useful to find the quantum circuits for evaluating logic functions in the form most appropriate for implementation on a given quantum computer. The rules to get the most efficient circuit are utilized best with the aid of a Karnaugh map. It is explained which rules of using a Karnaugh map are changed due to the difference between the quantum and classical logic circuits.

研究动机与目标

• 开发一种系统化且实用的方法，为任意二元函数构建最小的量子组合逻辑电路。
• 将经典逻辑最小化技术——特别是卡诺图——适配用于量子可逆电路，同时考虑量子可逆性与门的交换性。
• 最小化 $f$-受控-非门和 $f$-受控相位移门电路中的基本量子门（如Toffoli门、C-NOT门）数量，以减少电路深度并提高实验可行性。
• 通过生成避免不必要的两量子比特相互作用的电路，实现硬件感知的量子电路设计，尤其适用于量子比特连通性受限的系统。

提出的方法

• 该方法将逻辑函数分解为最小项，每个最小项通过夹在NOT门之间的广义Toffoli门实现，仅在输入匹配该最小项时条件性翻转目标量子比特。
• 通过应用量子门乘法合并最小项门，利用其交换性，因为每个门作用于唯一的输入状态。
• 通过重新定义邻接规则以考虑量子门在控制条件互不相交时的交换性，将卡诺图适配用于量子逻辑。
• 通过在卡诺图中对相邻的1进行分组，推导出简化的量子电路，类似于经典最小化方法，但为量子实现提供了明确的门级构建规则。
• 对于 $f$-受控相位移门，该方法通过将 $f$-C-NOT 电路中的目标受控门（$L$）替换为作用于控制寄存器的相位翻转门（$R$），将电路映射为相位移版本。
• 最终电路通过将 $L^{x}_{y}$ 门替换为 $R^{x}$ 门构建，保留相同的逻辑结构，但实现相位翻转而非位翻转。

实验结果

研究问题

• RQ1 经典逻辑最小化技术（如卡诺图）如何被适配以最小化量子可逆电路？
• RQ2 经典与量子组合逻辑电路在门交换性与邻接规则方面的主要差异是什么？
• RQ3 基于最小项的分解结合量子门乘法是否能产生比通用综合方法更高效的 $f$-受控-非门和 $f$-受控相位移门电路？
• RQ4 如何针对特定量子硬件约束（如有限的量子比特连通性）优化生成的量子电路？

主要发现

• 经调整的卡诺图可实现对相邻最小项的可视化识别，从而在 $f$-C-NOT 电路中高效分组并减少量子门数量。
• 该方法为 $f_b(x)$ 生成了最小量子电路 $R^{x_2} R^{x_1 x_3}$，避免了量子比特 $x_1$ 与 $x_3$ 之间的相互作用，适用于此类限制存在的硬件系统。
• $f$-受控相位移门可直接从 $f$-C-NOT 电路导出，方法是将目标受控门（$L$）替换为作用于控制寄存器的相位翻转门（$R$）。
• 使用 $R^{x_2} R^{x_1 x_3}$ 构建的 $f_b(x)$ 电路无需交换门，且比需要额外两量子比特相互作用的其他形式更高效。
• 该方法确保最终电路不仅在逻辑上最小，而且在物理实现上更优，使用更少的基本门，从而降低了近场量子器件中的退相干风险。