Using Reed-Muller Expansions in the Synthesis and Optimization of Boolean Quantum Circuits
Using Reed-Muller Expansions in the Synthesis and Optimization of Boolean Quantum Circuits
复制标题
在布尔量子电路的合成和优化中使用 Reed-Muller 展开式
DOI：
--
复制
发表时间：
2018
期刊：
影响因子：
--
通讯作者：
A. Younes
中科院分区：
文献类型：
--
作者：
A. Younes
由于布尔量子电路的广泛应用，人们一直在努力寻找一种自动化的方法来创建有效的布尔量子电路。本章将展示如何构建高效的布尔量子电路。直接合成方法可以用于使用其真值表将任何布尔函数实现为量子电路，其中生成的电路比使用其他人提出的方法生成的电路更有效。本章用另一种方法证明了布尔量子运算和经典的里德-穆勒展开式之间存在着直接的对应关系。这种关系使得布尔量子电路的合成和优化问题可以在制造约束下的Reed-Muller逻辑域中解决，例如系统量子位之间的相互作用。
There have been efforts to find an automatic way to create efficient Boolean quantum circuits, because of their wide range of applications. This chapter shows how to build efficient Boolean quantum circuits. A direct synthesis method can be used to implement any Boolean function as a quantum circuit using its truth table, where the generated circuits are more efficient than ones generated using methods proposed by others. The chapter shows, using another method, that there is a direct correspondence between Boolean quantum operations and the classical Reed-Muller expansions. This relation makes it possible for the problem of synthesis and optimization of Boolean quantum circuits to be tackled within the domain of Reed-Muller logic under manufacturing constraints, for example, the interaction between qubits of the system.