# Optimal Low-Rank Quantum State Tomography with Bounded-Sample Joint Measurements

arXiv: https://arxiv.org/abs/2609.10514 · HTML: https://mlsanity.com/paper/2609.10514/

## Key facts

- Cited by 1 papers in the map (data through 14 Oct 2026).
- Builds on 3 of its 27 references that are in the map.
- First posted on arXiv 9 Sep 2026.

## Builds on (most cited first, 3 of 3)

- [Lower Bounds for Learning Quantum States with Single-Copy Measurements](https://mlsanity.com/paper/2207.14438/) (2022)
- [Optimal lower bounds for quantum state tomography](https://mlsanity.com/paper/2510.07699/) (2025)
- [Tight Lower Bounds for State Tomography with Limited Entanglement](https://mlsanity.com/paper/2609.05718/) (2026)

## Built on by (most cited first, 1 of 1)

- [When are bosonic Gaussian states classical to learn?](https://mlsanity.com/paper/2609.26705/) (2026)

## Abstract (arXiv)

We determine the optimal sample complexity of low-rank quantum state tomography when each measurement may act jointly on at most t samples. For sufficiently small varepsilon, estimating an unknown state on mathbbCd of rank at most r to trace norm error varepsilon with constant success probability requires, and is achievable with, Thetaleft(fracdrvarepsilon2mathopmaxleft1,fracr√trightright) samples. The lower bound allows the protocol to choose each joint measurement adaptively using all previous classical outcomes; the matching upper bound is nonadaptive. Thus joint measurements on at most t samples improve the complexity of algorithms making single-sample measurements by at most a factor √t. Further, measuring order r2 samples jointly is necessary and sufficient to attain the unrestricted collective rate. For the lower bound, we vary the support of a state with fixed uniform spectrum and bound the Fisher information trace of every joint measurement on t samples. The adaptive Fisher chain rule and the van Trees inequality then give the trace norm lower bound. For the upper bound, we construct and analyze a nonadaptive tomography protocol based on a Gaussian joint measurement. An explicit second moment identity and a conditional Gaussian law outside the state's support give a rank-dependent error analysis, yielding the matching rate.