Abstract
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 shallow quantum 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 MOD_p gates. Additionally, we show a separation between QAC⁰, the circuit class containing Toffoli gates with unbounded control, and AC⁰[p], when QAC⁰ is augmented with additional mid-circuit measurements and classical fanout. This establishes the first such separation for a shallow-depth quantum class that does not involve quantum fanout gates, while relying solely on finite quantum gate sets. Equivalently, this yields a separation between AC⁰[p] and [QNC⁰, AC⁰]², i.e., shallow quantum circuits interleaved with simple classical computation. Secondly, we consider QNC⁰ circuits with infinite-size gate sets. We show that these circuits, along with quantum prime modular gates or classical prime modular gates in combination with classical fanout, can implement threshold gates, showing that QNC⁰[p]=QTC⁰. Finally, we also show that in the infinite-size gate set case, these quantum circuit classes for higher-dimensional Hilbert spaces do not offer any advantage to standard qubit implementations.