On the CNOT-complexity of CNOT-PHASE circuits

TL;DR

This paper explores the complexity of optimizing CNOT and phase gate circuits, establishing NP-completeness in certain cases and providing a heuristic that significantly reduces CNOT gates in practical quantum circuits.

Contribution

It introduces a connection between circuit synthesis and Fourier analysis, proves NP-completeness for specific cases, and offers an effective heuristic for CNOT optimization.

Findings

NP-completeness of CNOT minimization in certain scenarios

Heuristic algorithm reduces CNOT gates by up to 43%

Theoretical link between circuit synthesis and Fourier expansions

Abstract

We study the problem of CNOT-optimal quantum circuit synthesis over gate sets consisting of CNOT and Z-basis rotations of arbitrary angles. We show that the circuit-polynomial correspondence relates such circuits to Fourier expansions of pseudo-Boolean functions, and that for certain classes of functions this expansion uniquely determines the minimum CNOT cost of an implementation. As a corollary we prove that CNOT minimization over CNOT and phase gates is at least as hard as synthesizing a CNOT-optimal circuit computing a set of parities of its inputs. We then show that this problem is NP-complete for two restricted cases where all CNOT gates are required to have the same target, and where the circuit inputs are encoded in a larger state space. The latter case has applications to CNOT optimization over more general Clifford+T circuits. We further present an efficient heuristic algorithm for synthesizing circuits over CNOT and Z-basis rotations with small CNOT cost. Our experiments show a 23% reduction of CNOT gates on average across a suite of Clifford+T benchmark circuits, with a maximum reduction of 43%.