[论文解读] Comparison of the Cost Metrics for Reversible and Quantum Logic Synthesis

Dmitri Maslov, D. Michael Miller|ArXiv.org|Nov 2, 2005

Quantum Computing Algorithms and Architecture参考文献 17被引用 44

一句话总结

本文提出一种广度优先搜索方法，用于在多种成本度量下，使用 NOT、CNOT、受控-V 和受控-V⁺（NCV）门计算最优的 3 线可逆电路。结果表明，仅最小化门数可能导致在技术驱动型度量下电路成本高达 8 倍，因此建议采用加权成本模型（如 NCV-012 和 NCV-155）以实现更实用的量子电路设计。

ABSTRACT

A breadth-first search method for determining optimal 3-line circuits composed of quantum NOT, CNOT, controlled-V and controlled-V+ (NCV) gates is introduced. Results are presented for simple gate count and for technology motivated cost metrics. The optimal NCV circuits are also compared to NCV circuits derived from optimal NOT, CNOT and Toffoli (NCT) gate circuits. The work presented here provides basic results and motivation for continued study of the direct synthesis of NCV circuits, and establishes relations between function realizations in different circuit cost metrics.

研究动机与目标

• 评估不同成本度量（简单门数与技术驱动权重）对可逆电路最优性的影响。
• 开发一种广度优先搜索算法，用于在多种成本度量下寻找最优的 3 线 NCV 电路。
• 比较直接 NCV 综合与通过最优 NCT 电路的间接综合，评估在电路成本与复杂性之间的权衡。
• 识别在何种情况下以及为何最小化 Toffoli 门数会导致在实际量子实现中产生次优结果。
• 为未来研究提供基础结果与动机，推动采用现实成本模型的直接 NCV 电路综合。

提出的方法

• 采用广度优先搜索（BFS）策略，系统地探索所有可能的 3 线 NCV 电路，直至给定深度，确保在每种成本度量下均达到最优。
• 应用三种不同的成本度量：NCV-111（简单门数）、NCV-012（按 CNOT 门数加权：NOT 为 0，CNOT 为 1，受控-V/V⁺ 为 2），以及 NCV-155（按估计物理成本加权：NOT 为 1，CNOT 为 5，受控-V/V⁺ 为 5）。
• 以 NCT 门库作为基线进行比较，将最优 NCT 电路转换为等效的 NCV 电路，以评估相对性能。
• 在受限的量子比特相互作用（如星型拓扑）下分析电路结构，模拟量子硬件中的物理约束。
• 通过穷举枚举与成本评估，生成并比较所有 8! = 40320 个 3 输入可逆函数的最优电路实现。
• 通过直接电路综合与对比验证结果，包括对特定函数（如 [7,6,4,5,2,3,1,0]）最优电路的可视化。

实验结果

研究问题

• RQ1 不同成本度量（尤其是简单门数与技术驱动权重）如何影响 NCV 电路的最优性？
• RQ2 在现实成本模型下，当将基于 NCT 的综合结果映射到 NCV 电路时，最小化 Toffoli 门数在多大程度上会导致次优结果？
• RQ3 对于同一函数，最优 NCT 电路的 NCV-012 成本与最优 NCV-012 电路的 NCV-012 成本之间的最大比值是多少？
• RQ4 NCV-012 成本向量与 NCT 成本向量之间的相关性，与 NCV-111 成本向量与 NCT 成本向量之间的相关性相比如何？
• RQ5 受限的量子比特间相互作用对 NCV 电路的最优性与结构有何影响？

主要发现

• 最优 NCT 电路的 NCV-012 成本与最优 NCV-012 电路的 NCV-012 成本之间的最大比值为 8，表明仅最小化门数可能导致在真实成本模型下电路成本高达 8 倍。
• 最优 NCT 电路与最优 NCV-012 电路在 NCV-012 成本上的平均比值为 1.2728，表明存在一致但非微不足道的性能差距。
• NCV-012 成本向量与 NCT 成本向量之间的相关系数为 0.8999，表明存在较强的线性关系，但仍足以支持直接 NCV 综合的必要性。
• 在 40,320 个函数中的 1,774 个函数中，最优 NCT 电路的 NCV-012 成本与最优 NCV-012 电路的 NCV-012 成本相等，表明直接综合并不总能带来改进。
• 在受限的互连拓扑（如星型）中，Peres 门的等效实现需要 6 个 NCV 门，而 Toffoli 门如 TOF(a,c;b) 最多需要 13 个门，凸显了连通性对电路成本的影响。
• 在实际设计中，NCV-111 和 NCV-155 成本度量优于 NCV-012，因为它们更准确地反映物理实现成本，并为 3 量子比特可逆函数生成更优的结果。