[论文解读] Synthesis and Optimization of Reversible Circuits for Homogeneous Boolean Functions

Ahmed Younes|ArXiv.org|Oct 2, 2007

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

一句话总结

该论文提出了一种基于因式分解的算法，用于对次数 ≤3 的齐次布尔函数合成与优化可逆电路，利用代数结构最小化量子代价和门数。该方法优于直接合成及先前的基准测试，尤其在具有多个相同次数最小项的函数上表现更优，对 8 变量弯函数的量子代价最高可降低 75%。

ABSTRACT

Homogenous Boolean function is an essential part of any cryptographic system. The ability to construct an optimized reversible circuits for homogeneous Boolean functions might arise the possibility of building cryptographic system on novel computing paradigms such as quantum computers. This paper shows a factorization algorithm to synthesize such circuits.

研究动机与目标

• 为解决齐次布尔函数缺乏高效可逆电路合成方法的问题，这类函数在密码系统中至关重要。
• 优化次数 ≤3 的布尔函数在可逆电路中的量子代价和门数，特别是用于量子计算和低功耗计算的函数。
• 开发一种可扩展且高效的算法，利用齐次函数中的代数结构和公共子表达式。
• 改进现有合成技术，这些技术要么是穷举式、不可扩展，要么对非线性齐次函数无效。
• 在标准基准测试上展示该方法的有效性，包括弯函数和 4mod5、2of5 等密码原 primitive。

提出的方法

• 该算法将齐次布尔函数的代数正规形式（ANF）因式分解为公共子表达式，以减少冗余计算。
• 使用正极性 Reed-Muller（PPRM）展开来表示布尔函数，从而系统性地识别相同次数的最小项。
• 该方法采用递归因式分解策略，按次数（1、2 或 3）对最小项进行分组，并在 CNOT 门中重用共享控制线。
• 可逆电路仅使用 CNOT 门构建，辅助量子比特初始化为零，并在末尾恢复，以保持可逆性。
• 该算法通过仅关注输出变化，避免完整真值表枚举，从而减小搜索空间并提高效率。
• 结果在包括 4mod5、2of5 以及 6 和 8 变量齐次弯函数（最小项数量不同）在内的基准测试上进行了验证。

实验结果

研究问题

• RQ1 基于因式分解的方法是否能显著降低次数 ≤3 的齐次布尔函数在可逆电路中的量子代价和门数？
• RQ2 与直接合成及现有方法相比，该算法在量子代价和电路规模方面表现如何？
• RQ3 性能提升是否随布尔函数中相同次数最小项的数量增加而增强？
• RQ4 该方法能否有效应用于 4mod5 和 2of5 等密码原 primitive，以及高非线性弯函数？
• RQ5 在齐次函数中，公共子表达式在不增加电路深度的前提下，能在多大程度上被利用以最小化量子代价？

主要发现

• 对于 4mod5 基准测试（4 个输入，9 个最小项），因式分解方法将量子代价从 25 降低至 8，相比直接合成提高了 68%。
• 对于 2of5 基准测试（5 个输入，17 个最小项），该方法将量子代价从 180 降低至 75，提高了 58.3%。
• 对于 6 变量齐次弯函数（BFV6_d3），该方法实现了 85 的量子代价和 13 个 CNOT 门，显著优于先前结果。
• 对于含 35 个最小项的 8 变量弯函数（BFV8_d3_35），该方法实现了 176 的量子代价和仅 32 个 CNOT 门，优于直接合成（455 的代价）。
• 量子代价的改进随相同次数最小项数量的增加而提升，表明该方法在密集齐次函数中具有良好的可扩展性。
• 该算法通过恢复输入量子比特保持可逆性；若无需恢复输入状态，最终电路结构可移除最后三个 CNOT 门。