English

The debiased Keyl's algorithm: a new unbiased estimator for full state tomography

Quantum Physics 2025-10-10 v1

Abstract

In the problem of quantum state tomography, one is given nn copies of an unknown rank-rr mixed state ρCd×d\rho \in \mathbb{C}^{d \times d} and asked to produce an estimator of ρ\rho. In this work, we present the debiased Keyl's algorithm, the first estimator for full state tomography which is both unbiased and sample-optimal. We derive an explicit formula for the second moment of our estimator, with which we show the following applications. (1) We give a new proof that n=O(rd/ε2)n = O(rd/\varepsilon^2) copies are sufficient to learn a rank-rr mixed state to trace distance error ε\varepsilon, which is optimal. (2) We further show that n=O(rd/ε2)n = O(rd/\varepsilon^2) copies are sufficient to learn to error ε\varepsilon in the more challenging Bures distance, which is also optimal. (3) We consider full state tomography when one is only allowed to measure kk copies at once. We show that n=O(max(d3kε2,d2ε2))n =O\left(\max \left(\frac{d^3}{\sqrt{k}\varepsilon^2}, \frac{d^2}{\varepsilon^2} \right) \right) copies suffice to learn in trace distance. This improves on the prior work of Chen et al. and matches their lower bound. (4) For shadow tomography, we show that O(log(m)/ε2)O(\log(m)/\varepsilon^2) copies are sufficient to learn mm given observables O1,,OmO_1, \dots, O_m in the "high accuracy regime", when ε=O(1/d)\varepsilon = O(1/d), improving on a result of Chen et al. More generally, we show that if tr(Oi2)F\mathrm{tr}(O_i^2) \leq F for all ii, then n=O(log(m)(min{rFε,F2/3ε4/3}+1ε2))n = O\Big(\log(m) \cdot \Big(\min\Big\{\frac{\sqrt{r F}}{\varepsilon}, \frac{F^{2/3}}{\varepsilon^{4/3}}\Big\} + \frac{1}{\varepsilon^2}\Big)\Big) copies suffice, improving on existing work. (5) For quantum metrology, we give a locally unbiased algorithm whose mean squared error matrix is upper bounded by twice the inverse of the quantum Fisher information matrix in the asymptotic limit of large nn, which is optimal.

Keywords

Cite

@article{arxiv.2510.07788,
  title  = {The debiased Keyl's algorithm: a new unbiased estimator for full state tomography},
  author = {Angelos Pelecanos and Jack Spilecki and John Wright},
  journal= {arXiv preprint arXiv:2510.07788},
  year   = {2025}
}

Comments

128 pages

R2 v1 2026-07-01T06:25:45.845Z