A Grover-Meets-Simon Approach to Match Vector Boolean Functions

Abstract: The Boolean matching problem via NP-equivalence requires determining whether two Boolean functions are equivalent or not up to a permutation and negation of the input binary variables. Its solution is a fundamental step in the electronic design automation (EDA) tool chains commonly used for digital circuit design. In fact, the library-mapping step of an […]

Efficient Boolean Methods for Preparing Uniform Quantum States

As each quantum algorithm requires a specific initial quantum state, quantum state preparation is an important task in quantum computing. The preparation of quantum states is performed by a quantum circuit consisting of controlled-NOT (CNOT) and single-qubit gates. Known algorithms to prepare arbitrary n -qubit quantum states create quantum circuits in O(2n) runtime and use O(2n) CNOTs, which are more expensive […]