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.

Oracle Separations for the Quantum-Classical Polynomial Hierarchy

Oracle Separation between Noisy Quantum Polynomial Time and the Polynomial Hierarchy

An optimal oracle separation of classical and quantum hybrid schemes

Quantum Polynomial Hierarchies: Karp-Lipton, error reduction, and lower bounds

Separating the Polynomial-Time Hierarchy by Oracles

Oracle separation of QMA and QCMA with bounded adaptivity

Improved Circuit Lower Bounds and Quantum-Classical Separations

Classical-Quantum Separations in Certain Classes of Boolean Functions-- Analysis using the Parity Decision Trees

Classical vs Quantum Advice and Proofs under Classically-Accessible Oracle

Improved separation between quantum and classical computers for sampling and functional tasks

QMA vs. QCMA and Pseudorandomness

The Entangled Quantum Polynomial Hierarchy Collapses

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

A distribution testing oracle separation between QMA and QCMA

Polynomial-Time Random Oracles and Separating Complexity Classes

The Acrobatics of BQP

Toward Separating QMA from QCMA with a Classical Oracle

A Criterion for Quantum Advantage

Topological obstructions to quantum computation with unitary oracles

Verifiable Quantum Advantage without Structure

The Power of Adaptivity in Quantum Query Algorithms