Abstract:In a work by Raz (J. ACM and FOCS 16), it was proved that any algorithm for parity learning on $n$ bits requires either $\Omega(n^2)$ bits of classical memory or an exponential number (in~$n$) of random samples. A line of recent works continued that research direction and showed that for a large collection of classical learning tasks, either super-linear classical memory size or super-polynomially many samples are needed. However, these results do not capture all physical computational models, remarkably, quantum computers and the use of quantum memory. It leaves the possibility that a small piece of quantum memory could significantly reduce the need for classical memory or samples and thus completely change the nature of the classical learning task. In this work, we prove that any quantum algorithm with both, classical memory and quantum memory, for parity learning on $n$ bits, requires either $\Omega(n^2)$ bits of classical memory or $\Omega(n)$ bits of quantum memory or an exponential number of samples. In other words, the memory-sample lower bound for parity learning remains qualitatively the same, even if the learning algorithm can use, in addition to the classical memory, a quantum memory of size $c n$ (for some constant $c>0$). Our results refute the possibility that a small amount of quantum memory significantly reduces the size of classical memory needed for efficient learning on these problems. Our results also imply improved security of several existing cryptographical protocols in the bounded-storage model (protocols that are based on parity learning on $n$ bits), proving that security holds even in the presence of a quantum adversary with at most $c n^2$ bits of classical memory and $c n$ bits of quantum memory (for some constant $c>0$).

Optimal Classical Simulation of State-Independent Quantum Contextuality.

Experimentally Modeling Stochastic Processes with Less Memory by the Use of A Quantum Processor

Dimensional Quantum Memory Advantage in the Simulation of Stochastic Processes

Quantum memory assisted entangled state verification with local measurements

Simulating quantum computation: how many "bits" for "it"?

Superior Memory Efficiency of Quantum Devices for the Simulation of Continuous-Time Stochastic Processes

Experimental quantum processing enhancement in modelling stochastic processes

Quantum parallelism may be limited

Occam's Vorpal Quantum Razor: Memory Reduction when Simulating Continuous-Time Stochastic Processes with Quantum Devices

Sufficient Conditions for Efficient Classical Simulation of Quantum Optics

Memory-Sample Lower Bounds for Learning with Classical-Quantum Hybrid Memory

Classical simulation of universal measurement-based quantum computation using multipartite Bell scenarios

Provably Unbounded Memory Advantage in Stochastic Simulation Using Quantum Mechanics

Accuracy vs Memory Advantage in the Quantum Simulation of Stochastic Processes

Characterising memory in quantum channel discrimination via constrained separability problems

Quantum stopwatch: how to store time in a quantum memory

Robust inference of memory structure for efficient quantum modelling of stochastic processes

Universal and operational benchmarking of quantum memories

Sequential measurement-based quantum computing with memories

Robustness of Quantum Memories: an Operational Resource-Theoretic Approach

Contextuality as a resource for measurement-based quantum computation beyond qubits