When Does Adaptivity Help for Quantum State Learning?

TL;DR

This paper establishes that adaptive measurements do not reduce the number of copies needed for quantum state tomography in trace distance, but they do improve efficiency for infidelity, providing the first optimal algorithm in all dimensions.

Contribution

It proves that adaptivity does not improve the sample complexity for trace distance tomography and introduces an optimal adaptive algorithm for infidelity tomography in all dimensions.

Findings

Incoherent measurement protocols require rac{d^3}{\u03b5^2} copies, matching the lower bound.

Adaptive measurements do not reduce the sample complexity for trace distance.

An optimal adaptive algorithm for infidelity tomography is presented, achieving rac{d^3}{\u03b3} copies in all dimensions.

Abstract

We consider the classic question of state tomography: given copies of an unknown quantum state $\rho\in\mathbb{C}^{d\times d}$, output $\widehat{\rho}$ which is close to $\rho$ in some sense, e.g. trace distance or fidelity. When one is allowed to make coherent measurements entangled across all copies, $\Theta(d^2/\epsilon^2)$ copies are necessary and sufficient to get trace distance $\epsilon$. Unfortunately, the protocols achieving this rate incur large quantum memory overheads that preclude implementation on near-term devices. On the other hand, the best known protocol using incoherent (single-copy) measurements uses $O(d^3/\epsilon^2)$ copies, and multiple papers have posed it as an open question to understand whether or not this rate is tight. In this work, we fully resolve this question, by showing that any protocol using incoherent measurements, even if they are chosen adaptively, requires $\Omega(d^3/\epsilon^2)$ copies, matching the best known upper bound. We do so by a new proof technique which directly bounds the ``tilt'' of the posterior distribution after measurements, which yields a surprisingly short proof of our lower bound, and which we believe may be of independent interest. While this implies that adaptivity does not help for tomography with respect to trace distance, we show that it actually does help for tomography with respect to infidelity. We give an adaptive algorithm that outputs a state which is $\gamma$-close in infidelity to $\rho$ using only $\tilde{O}(d^3/\gamma)$ copies, which is optimal for incoherent measurements. In contrast, it is known that any nonadaptive algorithm requires $\Omega(d^3/\gamma^2)$ copies. While it is folklore that in $2$ dimensions, one can achieve a scaling of $O(1/\gamma)$, to the best of our knowledge, our algorithm is the first to achieve the optimal rate in all dimensions.