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.

NQP C eco-C e P

NQP = Co-C = P

BQP_p = PP for integer p > 2

CountCrypt: Quantum Cryptography between QCMA and PP

On the Feasibility of Characterizing Lens Stars in Future Space-Based Microlensing Surveys

The Acrobatics of BQP

BQP, meet NP: Search-to-decision reductions and approximate counting

A Criterion for Quantum Advantage

A Qubit, a Coin, and an Advice String Walk Into a Relational Problem

Polynomial Equivalence of Complexity Geometries

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

The Space Just Above One Clean Qubit

On Basing One-way Permutations on NP-hard Problems under Quantum Reductions

Classical versus quantum queries in quantum PCPs with classical proofs

On Central Primitives for Quantum Cryptography with Classical Communication

A Full Characterization of Quantum Advice

Efficient classical simulation of quantum computation beyond Wigner positivity

QIP = PSPACE

The complexity of quantified constraints using the algebraic formulation

Quasi-quantum states and the quasi-quantum PCP theorem