Abstract:In this work we make progress in understanding the relationship between learning models with access to entangled, separable and statistical measurements in the quantum statistical query (QSQ) model. To this end, we show the following results. $\textbf{Entangled versus separable measurements.}$ The goal here is to learn an unknown $f$ from the concept class $C\subseteq \{f:\{0,1\}^n\rightarrow [k]\}$ given copies of $\frac{1}{\sqrt{2^n}}\sum_x \vert x,f(x)\rangle$. We show that, if $T$ copies suffice to learn $f$ using entangled measurements, then $O(nT^2)$ copies suffice to learn $f$ using just separable measurements. $\textbf{Entangled versus statistical measurements}$ The goal here is to learn a function $f \in C$ given access to separable measurements and statistical measurements. We exhibit a class $C$ that gives an exponential separation between QSQ learning and quantum learning with entangled measurements (even in the presence of noise). This proves the "quantum analogue" of the seminal result of Blum et al. [BKW'03]. that separates classical SQ and PAC learning with classification noise. $\textbf{QSQ lower bounds for learning states.}$ We introduce a quantum statistical query dimension (QSD), which we use to give lower bounds on the QSQ learning. With this we prove superpolynomial QSQ lower bounds for testing purity, shadow tomography, Abelian hidden subgroup problem, degree-$2$ functions, planted bi-clique states and output states of Clifford circuits of depth $\textsf{polylog}(n)$. $\textbf{Further applications.}$ We give and $\textit{unconditional}$ separation between weak and strong error mitigation and prove lower bounds for learning distributions in the QSQ model. Prior works by Quek et al. [QFK+'22], Hinsche et al. [HIN+'22], and Nietner et al. [NIS+'23] proved the analogous results $\textit{assuming}$ diagonal measurements and our work removes this assumption.

Learning marginals suffices!

Learning quantum states and unitaries of bounded gate complexity

Quantum State Learning Implies Circuit Lower Bounds

Efficient Learning for Linear Properties of Bounded-Gate Quantum Circuits

The Learnability of Unknown Quantum Measurements

Efficient learning of quantum states prepared with few fermionic non-Gaussian gates

Learning quantum many-body systems from a few copies

What if you have only one copy? Low-depth quantum circuits have no advantage in decision problems!

Tight bounds on Pauli channel learning without entanglement

Optimal lower bounds for Quantum Learning via Information Theory

Bounds and guarantees for learning and entanglement

Learning quantum states prepared by shallow circuits in polynomial time

Measurement-induced entanglement and complexity in random constant-depth 2D quantum circuits

Exponentially improved efficient machine learning for quantum many-body states with provable guarantees

Provable learning of quantum states with graphical models

Information-theoretic generalization bounds for learning from quantum data

New Bounds on Quantum Sample Complexity of Measurement Classes

Learning shallow quantum circuits

On the Role of Entanglement and Statistics in Learning

Learning State Preparation Circuits for Quantum Phases of Matter