Skip to content

The Keyl-Werner algorithm is not optimal for spectrum estimation

Jul 2026 · arXiv.org · Vol abs/2607.27117 · 5 citations · ⚡ 5 influential
Computer Science Physics

Abstract

We give an algorithm which, given $n = O(d^2 \cdot (\log\log(d)/\log(d))^2)$ copies of $\rho$, estimates the eigenvalues of $\rho$ to constant error in total variation distance. Thus, we can learn the eigenvalues of a quantum state with fewer copies than the $\Theta(d^2)$ needed to run full state tomography. This is the first improvement to spectrum estimation over the influential Keyl-Werner algorithm, which uses $n = \Theta(d^2)$ copies, thereby resolving a question raised by Keyl and Werner in 2001 and refuting a 2016 conjecture of Wright. Our main technical tool is a new tomography guarantee, where the error of tomography in a particular direction $|w\rangle$ scales with $\langle w | \rho |w\rangle$ for all directions simultaneously. From this stronger"relative-error"bound, we recover better algorithms for principal component analysis in Bures distance and tomography in $\chi^2$-divergence as corollaries.

View source

Similar papers

Preprint Sep 2026

Sample-optimal learning of stabilizer states

It is well-known that learning a pure $n$-qubit stabilizer state $|\psi\rangle$ both requires, and can be accomplished with, access to a number of copies of $|\psi\rangle$ linear in $n$. However, the precise constant coefficient of this scaling does not appear to have been determined. Here we prove that $L_\delta(n)$,...

Rebecca Chang, Matthias C. Caro, Martín Larocca et al. · 6 citations
Jul 2026

Online Shadow Tomography Matching the Classical Bounds

The key to the proof is a new framework for quantifying post-measurement damage, based on the quantum Efron-Stein decomposition, which improves all three exponents even in the Offline Shadow Tomography setting.

Si-Tan Chen, R. O'Donnell, Angelos Pelecanos et al. · 2 citations · ⚡1
Preprint Aug 2026

A Simple Algorithm for Best Separable State

A new variant of the "pinning lemma", a measure-decomposition theorem widely used in LP/SDP rounding, high-dimensional probability, and statistical physics, is proved, which the authors believe is of independent interest.

Prashanti Anderson, Sam Hopkins, Amit Rajaraman · 1 citation
Preprint Aug 2026

Interaction Is Not Necessary for Order-Optimal 1-Bit Mean Estimation

A randomized fully non-adaptive protocol is constructed that fixes all queries before observing the data and matches the optimal adaptive sample complexity, giving a negative answer to the COLT 2026 open problem asking whether interaction is necessary for order-optimal one-bit mean estimation.

Jiachen Hu, Han Zhong · 0 citations
Preprint Aug 2026

Dimension-Free Polylogarithmic Quantum Shadow Tomography

Shadow Tomography is a fundamental problem in quantum information theory. Given multiple copies of an unknown $d$-dimensional quantum state $\rho$ and a known collection of observables $E_1,\ldots,E_M$, the goal is to estimate all expectation values $\{\text{Tr}(\rho E_i)\}_{i=1}^M$ to additive accuracy $\varepsilon$ w...

F. G. Jeronimo, Qi-Zhao Huang, Le Liu · 2 citations

We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.