[论文解读] Automated Method for Building CNOT Based Quantum Circuits for Boolean Functions

Ahmed Younes, Julian F. Miller|ArXiv.org|Apr 14, 2003

Quantum Computing Algorithms and Architecture参考文献 5被引用 18

一句话总结

本文提出了一种自动化、确定性的方法，使用单个初始化为|0⟩的辅助量子比特，为任意布尔函数合成基于CNOT门的量子电路。该方法将真值表转换为最小化量子电路，通过条件控制的CNOT门（cond-0或cond-1）实现，确保可逆性并最小化量子比特使用量，其关键贡献在于生成一种唯一且紧凑的电路形式，相较于先前方法在门数和可扩展性方面表现更优。

ABSTRACT

In this paper we discuss an efficient technique that can implement any given Boolean function as a quantum circuit. The method converts a truth table of a Boolean function to the corresponding quantum circuit using a minimal number of auxiliary qubits. We give examples of some circuits synthesized with this technique. A direct result that follows from the technique is a new way to convert any classical digital circuit to its classical reversible form.

研究动机与目标

• 开发一种高效、自动化的可逆量子电路构造方法，以实现任意布尔函数。
• 最小化所用辅助量子比特数量，仅限于一个初始化为|0⟩的量子比特。
• 提供一种确定性、唯一的电路合成方法，避免先前方法中存在的非唯一性问题。
• 通过量子电路合成，实现从任意经典数字电路构建经典可逆电路。
• 与现有方法（如基于卡诺图或使用多个辅助量子比特的技术）相比，提升可扩展性并减少门数。

提出的方法

• 该方法将布尔函数的真值表映射为使用一个初始化为|0⟩的辅助量子比特的量子电路，该辅助量子比特用于存储函数输出。
• 采用广义CNOT门，其中目标量子比特仅在所有控制量子比特满足指定条件时翻转（cond-0表示|0⟩，cond-1表示|1⟩）。
• 真值表中的每个最小项对应一个具有唯一控制量子比特组合与条件的CNOT门，代数表示为 $ x_t o x_t igoplus igwedge_{i} (x_i igoplus ar{eta}_i) $。
• 该算法应用变换以消除所有δ = 1条件（即cond-1），从而降低电路复杂度并确保门数最小化。
• 最终电路由一系列CNOT门构成，门数上限为 $ 3^{n-1} $（针对n量子比特函数）。
• 该方法利用先前工作[5]中的规范形式进一步优化门成本，尽管可能略微增加门数以换取更高的成本效率。

实验结果

研究问题

• RQ1 是否可以使用单辅助量子比特方法，确定性地合成任意布尔函数的最小化CNOT基量子电路？
• RQ2 与基于卡诺图或使用多个辅助量子比特的方法相比，该方法在门数和可扩展性方面表现如何？
• RQ3 该方法在所有n变量布尔函数中生成的电路大小的概率分布是什么？
• RQ4 该方法是否可用于生成任意经典不可逆数字电路的可逆经典电路等价物？
• RQ5 所得量子电路是否唯一？其最小化程度是否优于现有技术？

主要发现

• 该方法为每个布尔函数生成唯一量子电路，避免了先前基于卡诺图方法中存在的非唯一性问题。
• 所需CNOT门的最大数量为 $ 3^{n-1} $，而n量子比特函数最可能的电路规模约为 $ 2^{n-2} $ 个门。
• 对于3量子比特函数，4门或0门电路的概率为0.0625，而 $ 2^{n-2} $ 门电路的概率为0.875。
• 对于4量子比特函数，8门或0门电路的概率为0.0039，而 $ 2^{n-2} $ 门电路的概率为0.7109。
• 与先前方法（如[5]）相比，该方法显著减少了门数，后者需使用多个辅助量子比特并产生更大规模的电路。
• 该技术可通过合成对应量子电路并提取可逆逻辑门，直接实现从任意经典数字电路构建可逆经典电路。