Abstract:We study classes of constant-depth circuits with gates that compute restricted polynomial threshold functions, recently introduced by [Kum23] as a family that strictly generalizes $\mathsf{AC}^0$. Denoting these circuit families $\mathsf{bPTFC}^0[k]$ for $\textit{bounded polynomial threshold circuits}$ parameterized by an integer-valued degree-bound $k$, we prove three hardness results separating these classes from constant-depth quantum circuits ($\mathsf{QNC}^0$). $\hspace{2em}$ - We prove that the parity halving problem [WKS+19], which $\mathsf{QNC}^0$ over qubits can solve with certainty, remains average-case hard for polynomial size $\mathsf{bPTFC}^0[k]$ circuits for all $k=\mathcal{O}(n^{1/(5d)})$. $\hspace{2em}$ - We construct a new family of relation problems based on computing $\mathsf{mod}\ p$ for each prime $p>2$, and prove a separation of $\mathsf{QNC}^0$ circuits over higher dimensional quantum systems (`qupits') against $\mathsf{bPTFC}^0[k]$ circuits for the same degree-bound parameter as above. $\hspace{2em}$ - We prove that both foregoing results are noise-robust under the local stochastic noise model, by introducing fault-tolerant implementations of non-Clifford $\mathsf{QNC}^0/|\overline{T^{1/p}}>$ circuits, that use logical magic states as advice. $\mathsf{bPTFC}^0[k]$ circuits can compute certain classes of Polynomial Threshold Functions (PTFs), which in turn serve as a natural model for neural networks and exhibit enhanced expressivity and computational capabilities. Furthermore, for large enough values of $k$, $\mathsf{bPTFC}^0[k]$ contains $\mathsf{TC}^0$ as a subclass. The main challenges we overcome include establishing classical average-case lower bounds, designing non-local games with quantum-classical gaps in winning probabilities and developing noise-resilient non-Clifford quantum circuits necessary to extend beyond qubits to higher dimensions.

Quantum algorithms for classical Boolean functions via adaptive measurements: Exponential reductions in space-time resources

Quantum advantage in temporally flat measurement-based quantum computation

Efficient Classical Computation of Single-Qubit Marginal Measurement Probabilities to Simulate Certain Classes of Quantum Algorithms

Mapping quantum circuits to shallow-depth measurement patterns based on graph states

State preparation by shallow circuits using feed forward

Reducing Mid-Circuit Measurements via Probabilistic Circuits

Quantum advantage from measurement-induced entanglement in random shallow circuits

Quantum circuit compilation and hybrid computation using Pauli-based computation

Measurement-Based Long-Range Entangling Gates in Constant Depth

A colossal advantage: 3D-local noisy shallow quantum circuits defeat unbounded fan-in classical circuits

Low depth measurement-based quantum computation beyond two-level systems

Measurement-based uncomputation of quantum circuits for modular arithmetic

Possibilistic simulation of quantum circuits by classical circuits

In Quantum Computing Speedup Illusory?: The False Coin of "Counting Function Evaluations"

Deterministic Ansätze for the Measurement-based Variational Quantum Eigensolver

Classically efficient regimes in measurement based quantum computation performed using diagonal two qubit gates and cluster measurements

Measurement-free code-switching for low overhead quantum computation using permutation invariant codes

Interactive cryptographic proofs of quantumness using mid-circuit measurements

Unconditionally separating noisy $\mathsf{QNC}^0$ from bounded polynomial threshold circuits of constant depth

Phase-Sensitive Quantum Measurement without Controlled Operations

Quasi-Probabilistic Readout Correction of Mid-Circuit Measurements for Adaptive Feedback via Measurement Randomized Compiling