Abstract

In the quantum state tomography problem, one wishes to estimate an unknown dd-dimensional mixed quantum state ρρ, given few copies. We show that O(d/ε)O(d/ε) copies suffice to obtain an estimate ρ^\hatρ that satisfies ∥ρ^−ρ∥F2≤ε\|\hatρ - ρ\|_F^2 \leq ε (with high probability). An immediate consequence is that O(rank(ρ)⋅d/ε2)≤O(d2/ε2)O(\mathrm{rank}(ρ) \cdot d/ε^2) \leq O(d^2/ε^2) copies suffice to obtain an εε-accurate estimate in the standard trace distance. This improves on the best known prior result of O(d3/ε2)O(d^3/ε^2) copies for full tomography, and even on the best known prior result of O(d2log⁡(d/ε)/ε2)O(d^2\log(d/ε)/ε^2) copies for spectrum estimation. Our result is the first to show that nontrivial tomography can be obtained using a number of copies that is just linear in the dimension. Next, we generalize these results to show that one can perform efficient principal component analysis on ρρ. Our main result is that O(kd/ε2)O(k d/ε^2) copies suffice to output a rank-kk approximation ρ^\hatρ whose trace distance error is at most εε more than that of the best rank-kk approximator to ρρ. This subsumes our above trace distance tomography result and generalizes it to the case when ρρ is not guaranteed to be of low rank. A key part of the proof is the analogous generalization of our spectrum-learning results: we show that the largest kk eigenvalues of ρρ can be estimated to trace-distance error εε using O(k2/ε2)O(k^2/ε^2) copies. In turn, this result relies on a new coupling theorem concerning the Robinson-Schensted-Knuth algorithm that should be of independent combinatorial interest.

Explore this paper’s authors, topics and related work.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Reviews 0

Write a reviewWrite

No reviews yet.

Discussion 0

Add a commentWrite

No comments yet.