aiqbench analysis
This research establishes optimal bounds for estimating the spectrum of unknown quantum states, matching recent lower bounds and introducing a novel framework based on Chebyshev moments. By leveraging classical and quantum Efron–Stein decompositions, the study provides precise complexity trade-offs between approximation error and variance in copy usage. These theoretical advances are critical for advancing quantum state tomography and efficient quantum algorithm design.
Optimal spectrum estimation
arXiv:2609.30171v1 Announce Type: new Abstract: We prove that the spectrum of an unknown $d$-dimensional quantum state can be estimated to error $\varepsilon$ in total variation distance using \[ O\!\left(d^2\min\left\{ \frac{1}{(\varepsilon\log d)^4},\; \frac{1}{(\varepsilon\log d)^2} \right\}\right) \] copies. This matches the recent lower bound of Wang. When restricted to unentangled measurements, we give an algorithm with an additional factor of $d$ in copy complexity, which we conjecture to be optimal. We develop a framework for recovering the small eigenvalues of a quantum state by matching Chebyshev moments. We bound the variance of each Chebyshev moment estimate in terms of scalar derivatives of the corresponding polynomial, using classical and quantum Efron--Stein decompositions. Different rescalings of the Chebyshev polynomials balance approximation error and variance, yielding two regimes in our copy complexity bound.
Abstract:We prove that the spectrum of an unknown $d$-dimensional quantum state can be estimated to error $\varepsilon$ in total variation distance using \[ O\!\left(d^2\min\left\{ \frac{1}{(\varepsilon\log d)^4},\; \frac{1}{(\varepsilon\log d)^2} \right\}\right) \] copies. This matches the recent lower bound of Wang. When restricted to unentangled measurements, we give an algorithm with an additional factor of $d$ in copy complexity, which we conjecture to be optimal. We develop a framework for recovering the small eigenvalues of a quantum state by matching Chebyshev moments. We bound the variance of each Chebyshev moment estimate in terms of scalar derivatives of the corresponding polynomial, using classical and quantum Efron--Stein decompositions. Different rescalings of the Chebyshev polynomials balance approximation error and variance, yielding two regimes in our copy complexity bound.
Quantum Physics (quant-ph); Computational Complexity (cs.CC); Data Structures and Algorithms (cs.DS)
arXiv:2609.30171 [quant-ph]
(or arXiv:2609.30171v1 [quant-ph] for this version)
https://doi.org/10.48550/arXiv.2609.30171 Focus to learn more arXiv-issued DOI via DataCite (pending registration)
arXivLabs is a framework that allows collaborators to develop and share new arXiv features directly on our website.
Both individuals and organizations that work with arXivLabs have embraced and accepted our values of openness, community, excellence, and user data privacy. arXiv is committed to these values and only works with partners that adhere to them.
Have an idea for a project that will add value for arXiv's community? Learn more about arXivLabs.
Full text under the publisher's open licence · 225 words
Related coverage
Cost-free Spectral Estimation for Adaptive Newton--Schulz in Matrix Optimizers
arXiv · Sep 30, 2026

News
Quantum Computing Report · Jun 7, 2026

Noise-induced equalization improves quantum learning accuracy
Quantum Zeitgeist · Aug 22, 2026
When Does q-error Predict Plan Regret? Three Regimes of Cardinality-Estimation Error
arXiv · Jun 16, 2026