Table of Contents
Fetching ...

Sample-optimal learning of quantum states using gentle measurements

Cristina Butucea, Jan Johannes, Henning Stein

TL;DR

We address learning quantum states under the constraint of gentle measurements that only slightly disturb the system. Our core approach introduces $α$-locally-gentle measurements (α-LGM) and proves a strong quantum Data-Processing Inequality (qDPI) linking information gain to gentleness via quantum differential privacy, along with a gentle quantum Neyman-Pearson lemma. We show that both quantum tomography and quantum state certification require $n=Θ\left(\frac{1}{ε^2 α^2}\right)$ copies, and we provide an implementable α-LGM, the quantum Label Switch (qLS), that attains these bounds for qubits. These results illuminate a privacy–utility trade-off in quantum learning and yield practical protocols for gentle quantum state estimation and testing, with extensions to higher dimensions discussed for future work.

Abstract

Gentle measurements of quantum states do not entirely collapse the initial state. Instead, they provide a post-measurement state at a prescribed trace distance $α$ from the initial state together with a random variable used for quantum learning of the initial state. We introduce here the class of $α-$locally-gentle measurements ($α-$LGM) on a finite dimensional quantum system which are product measurements on product states and prove a strong quantum Data-Processing Inequality (qDPI) on this class using an improved relation between gentleness and quantum differential privacy. We further show a gentle quantum Neyman-Pearson lemma which implies that our qDPI is asymptotically optimal (for small $α$). This inequality is employed to show that the necessary number of quantum states for prescribed accuracy $ε$ is of order $1/(ε^2 α^2)$ for both quantum tomography and quantum state certification. Finally, we propose an $α-$LGM called quantum Label Switch that attains these bounds. It is a general implementable method to turn any two-outcome measurement into an $α-$LGM.

Sample-optimal learning of quantum states using gentle measurements

TL;DR

We address learning quantum states under the constraint of gentle measurements that only slightly disturb the system. Our core approach introduces -locally-gentle measurements (α-LGM) and proves a strong quantum Data-Processing Inequality (qDPI) linking information gain to gentleness via quantum differential privacy, along with a gentle quantum Neyman-Pearson lemma. We show that both quantum tomography and quantum state certification require copies, and we provide an implementable α-LGM, the quantum Label Switch (qLS), that attains these bounds for qubits. These results illuminate a privacy–utility trade-off in quantum learning and yield practical protocols for gentle quantum state estimation and testing, with extensions to higher dimensions discussed for future work.

Abstract

Gentle measurements of quantum states do not entirely collapse the initial state. Instead, they provide a post-measurement state at a prescribed trace distance from the initial state together with a random variable used for quantum learning of the initial state. We introduce here the class of locally-gentle measurements (LGM) on a finite dimensional quantum system which are product measurements on product states and prove a strong quantum Data-Processing Inequality (qDPI) on this class using an improved relation between gentleness and quantum differential privacy. We further show a gentle quantum Neyman-Pearson lemma which implies that our qDPI is asymptotically optimal (for small ). This inequality is employed to show that the necessary number of quantum states for prescribed accuracy is of order for both quantum tomography and quantum state certification. Finally, we propose an LGM called quantum Label Switch that attains these bounds. It is a general implementable method to turn any two-outcome measurement into an LGM.

Paper Structure

This paper contains 24 sections, 20 theorems, 139 equations, 1 figure, 1 table.

Key Result

Lemma 1

(kargin2003chernoffboundefficiencyquantum) Let $\rho_1 = \ket{\psi_1}\bra{\psi_1}, \rho_2 = \ket{\psi_2}\bra{\psi_2}$ be two pure states. Then the trace-norm distance between the two is given by For pure product states $\rho_1^{\otimes n}, \rho_2^{\otimes n}$ the trace-norm is given by

Figures (1)

  • Figure 1: Bloch sphere. Every qubit can be represented uniquely by a point in the ball of radius 1.

Theorems & Definitions (49)

  • Definition 1
  • Definition 2
  • Definition 3
  • Lemma 1
  • Lemma 2
  • proof
  • Lemma 3
  • Definition 4
  • Lemma 4
  • Definition 5
  • ...and 39 more