Abstract:We introduce two models of space-bounded quantum interactive proof systems, ${\sf QIPL}$ and ${\sf QIP_{\rm U}L}$. The ${\sf QIP_{\rm U}L}$ model, a space-bounded variant of quantum interactive proofs (${\sf QIP}$) introduced by Watrous (CC 2003) and Kitaev and Watrous (STOC 2000), restricts verifier actions to unitary circuits. In contrast, ${\sf QIPL}$ allows logarithmically many intermediate measurements per verifier action (with a high-concentration condition on yes instances), making it the weakest model that encompasses the classical model of Condon and Ladner (JCSS 1995). We characterize the computational power of ${\sf QIPL}$ and ${\sf QIP_{\rm U}L}$. When the message number $m$ is polynomially bounded, ${\sf QIP_{\rm U}L} \subsetneq {\sf QIPL}$ unless ${\sf P} = {\sf NP}$: - ${\sf QIPL}$ exactly characterizes ${\sf NP}$. - ${\sf QIP_{\rm U}L}$ is contained in ${\sf P}$ and contains ${\sf SAC}^1 \cup {\sf BQL}$, where ${\sf SAC}^1$ denotes problems solvable by classical logarithmic-depth, semi-unbounded fan-in circuits. However, this distinction vanishes when $m$ is constant. Our results further indicate that intermediate measurements uniquely impact space-bounded quantum interactive proofs, unlike in space-bounded quantum computation, where ${\sf BQL}={\sf BQ_{\rm U}L}$. We also introduce space-bounded unitary quantum statistical zero-knowledge (${\sf QSZK_{\rm U}L}$), a specific form of ${\sf QIP_{\rm U}L}$ proof systems with statistical zero-knowledge against any verifier. This class is a space-bounded variant of quantum statistical zero-knowledge (${\sf QSZK}$) defined by Watrous (SICOMP 2009). We prove that ${\sf QSZK_{\rm U}L} = {\sf BQL}$, implying that the statistical zero-knowledge property negates the computational advantage typically gained from the interaction.

The undecidability of having the QWEP

Undecidability and incompleteness in quantum information theory and operator algebras

Locally universal C*-algebras with computable presentations

An ‘elementary’ perspective on reasoning about probability spaces

Embezzlement of entanglement, quantum fields, and the classification of von Neumann algebras

Asymptotic matricial models and QWEP property for q-Araki-Woods von Neumann algebras

BQP_p = PP for integer p > 2

The complexity of quantified constraints using the algebraic formulation

The unphysicality of Hilbert spaces

Undecidability in the Ramsey theory of polynomial equations and Hilbert's tenth problem

Undecidability in resource theory: can you tell theories apart?

The equational theory of the Weihrauch lattice with (iterated) composition

Decidable verification of uninterpreted programs

Factorizations for quasi-Banach time-frequency spaces and Schatten classes

From Bi-immunity to Absolute Undecidability

Koszul duality and the Poincaré-Birkhoff-Witt theorem

Space-bounded quantum interactive proof systems

The Entangled Quantum Polynomial Hierarchy Collapses

QIP = PSPACE

Complete metric approximation property for $q$-Araki-Woods algebras

Deducibility in the full Lambek calculus with weakening is HAck-complete