An Optimal Tradeoff between Entanglement and Copy Complexity for State Tomography

There has been significant interest in understanding how practical constraints on contemporary quantum devices impact the complexity of quantum learning. For the classic question of tomography, recent work [6] tightly characterized the copy complexity for any protocol that can only measure one copy of the unknown state at a time, showing it is polynomially worse than if one can make fully-entangled measurements. While we now have a fairly complete picture of the rates for such tasks in the near-term and fault-tolerant regimes, it remains poorly understood what the landscape in between these extremes looks like, and in particular how to gracefully scale up our protocols as we transition away from NISQ.

In this work, we study tomography in the natural setting where one can make measurements of t copies at a time. For sufficiently small ǫ, we show that for any t ≤ d 2 , Θ( d 3 √ tǫ 2 ) copies are necessary and sufficient to learn an unknown d-dimensional state ρ to trace distance ǫ. This gives a smooth and optimal interpolation between the known rates for single-copy measurements and fully-entangled measurements.

To our knowledge, this is the first smooth entanglement-copy tradeoff known for any quantum learning task, and for tomography, no intermediate point on this curve was known, even at t = 2. An important obstacle is that unlike the optimal single-copy protocol [24,17], the optimal fully-entangled protocol [18,30] is inherently a biased estimator. This bias precludes naive batching approaches for interpolating between the two protocols. Instead, we devise a novel two-stage procedure that uses Keyl's algorithm [23] to refine a crude estimate for ρ based on single-copy measurements. A key insight is to use Schur-Weyl sampling not to estimate the spectrum of ρ, but to estimate the deviation of ρ from the maximally mixed state. When ρ is far from the maximally mixed state, we devise a novel quantum splitting procedure that reduces to the case where ρ is close to maximally mixed.