Table of Contents
Fetching ...

Principal eigenstate classical shadows

Daniel Grier, Hakop Pashayan, Luke Schaeffer

TL;DR

The paper addresses learning a classical description of the principal eigenstate φ of ρ = (1-η)φ + ησ from multiple copies, enabling efficient estimation of ⟨φ|O|φ⟩ for observables. It introduces a principal-eigenstate classical shadows framework that combines purification with a standard symmetric joint measurement, and it analyzes three η-regimes to derive oracle-independent sample complexities. A key technical contribution is a robust analysis of the joint measurement via a mixture decomposition and a geometric approximation that yields tractable mean-variance bounds, together with an optimal parameter tuning that minimizes sample use. The results connect pure-state shadow techniques to noisy-state learning, showing substantial sample-efficiency gains and establishing near-optimal performance in the small-noise limit, with practical implications for benchmarking and metrology in imperfect quantum systems.

Abstract

Given many copies of an unknown quantum state $ρ$, we consider the task of learning a classical description of its principal eigenstate. Namely, assuming that $ρ$ has an eigenstate $|φ\rangle$ with (unknown) eigenvalue $λ> 1/2$, the goal is to learn a (classical shadows style) classical description of $|φ\rangle$ which can later be used to estimate expectation values $\langle φ|O| φ\rangle$ for any $O$ in some class of observables. We consider the sample-complexity setting in which generating a copy of $ρ$ is expensive, but joint measurements on many copies of the state are possible. We present a protocol for this task scaling with the principal eigenvalue $λ$ and show that it is optimal within a space of natural approaches, e.g., applying quantum state purification followed by a single-copy classical shadows scheme. Furthermore, when $λ$ is sufficiently close to $1$, the performance of our algorithm is optimal--matching the sample complexity for pure state classical shadows.

Principal eigenstate classical shadows

TL;DR

The paper addresses learning a classical description of the principal eigenstate φ of ρ = (1-η)φ + ησ from multiple copies, enabling efficient estimation of ⟨φ|O|φ⟩ for observables. It introduces a principal-eigenstate classical shadows framework that combines purification with a standard symmetric joint measurement, and it analyzes three η-regimes to derive oracle-independent sample complexities. A key technical contribution is a robust analysis of the joint measurement via a mixture decomposition and a geometric approximation that yields tractable mean-variance bounds, together with an optimal parameter tuning that minimizes sample use. The results connect pure-state shadow techniques to noisy-state learning, showing substantial sample-efficiency gains and establishing near-optimal performance in the small-noise limit, with practical implications for benchmarking and metrology in imperfect quantum systems.

Abstract

Given many copies of an unknown quantum state , we consider the task of learning a classical description of its principal eigenstate. Namely, assuming that has an eigenstate with (unknown) eigenvalue , the goal is to learn a (classical shadows style) classical description of which can later be used to estimate expectation values for any in some class of observables. We consider the sample-complexity setting in which generating a copy of is expensive, but joint measurements on many copies of the state are possible. We present a protocol for this task scaling with the principal eigenvalue and show that it is optimal within a space of natural approaches, e.g., applying quantum state purification followed by a single-copy classical shadows scheme. Furthermore, when is sufficiently close to , the performance of our algorithm is optimal--matching the sample complexity for pure state classical shadows.
Paper Structure (28 sections, 46 theorems, 147 equations, 2 figures, 2 tables)

This paper contains 28 sections, 46 theorems, 147 equations, 2 figures, 2 tables.

Key Result

Theorem 1

There exists a protocol (comprised of separate learning and estimation algorithms) for solving the principal eigenstate classical shadows task with high probability that has three regimes of sample complexity determined by the deviation $\eta$ shown below where $B \geq \mathop{\mathrm{Tr}}\limits(O^2)$ is the squared-Frobenius norm of observable $O$ and $s^* := \frac{\sqrt{B}}{\epsilon} + \frac{1

Figures (2)

  • Figure 1: Our three step estimation procedure depicting the purification, measurement and averaging sub-procedures (from bottom to top). The purification procedure maps $k$ quantum states to one quantum state (depicted by atom logos). The measurement procedure maps $n$ quantum states to a classical description of an operator (depicted by the "$\bullet$" symbol). The averaging procedure maps $b$ classical descriptions to one classical description of an operator.
  • Figure 2: An upper bound on the mass of $\mathscr{D}'$ outside the support of $\mathscr{D}$ (as in Theorem \ref{['thm:prob_e_negative']}) as a function of $\eta := 1 - \lambda_1$, assuming $n = 1/\eta$, semilog scale.

Theorems & Definitions (83)

  • Theorem 1
  • Theorem 1
  • Definition 2: permutation operator
  • Definition 3: symmetric subspace
  • Definition 4
  • Theorem 5: \ref{['thm:moments_of_psi_given_ms']} in \ref{['sec:chiribella']}
  • Proposition 6
  • Theorem 7: \ref{['thm:prob_e_negative']} in \ref{['sec:geometric_approximation']}
  • Theorem 7
  • Theorem 7
  • ...and 73 more