The power of shallow-depth Toffoli and qudit quantum circuits

The relevance of shallow-depth quantum circuits has recently increased, mainly due to their applicability to near-term devices. In this context, one of the main goals of quantum circuit complexity is to find problems that can be solved by quantum shallow circuits but require more computational resources classically. Our first contribution in this work is to prove new separations between classical and quantum constant-depth circuits. Firstly, we show a separation between constant-depth quantum circuits with quantum advice QNC⁰/qpoly, and AC⁰p, which is the class of classical constant-depth circuits with unbounded-fan in and p gates. In addition, we show a separation between QAC⁰, which additionally has Toffoli gates with unbounded control, and AC⁰p. This establishes the first such separation for a shallow-depth quantum class that does not involve quantum fan-out gates. Secondly, we consider QNC⁰ circuits with infinite-size gate sets. We show that these circuits, along with (classical or quantum) prime modular gates, can implement threshold gates, showing that QNC⁰p=QTC⁰. Finally, we also show that in the infinite-size gateset case, these quantum circuit classes for higher-dimensional Hilbert spaces do not offer any advantage to standard qubit implementations.