Pith. sign in

REVIEW 5 cited by

Optimal high-precision shadow estimation

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 2407.13874 v1 pith:UG2BZ4B2 submitted 2024-07-18 quant-ph cs.DScs.ITcs.LGmath.IT

classification quant-phcs.DScs.ITcs.LGmath.IT
keywords epsilonobservablesshadowtomographyclassicalgiveknownmathbb
verification ladder T0 review T1 audit T2 compute T3 formal
0 comments
abstract

We give the first tight sample complexity bounds for shadow tomography and classical shadows in the regime where the target error is below some sufficiently small inverse polynomial in the dimension of the Hilbert space. Formally we give a protocol that, given any $m\in\mathbb{N}$ and $\epsilon \le O(d^{-12})$, measures $O(\log(m)/\epsilon^2)$ copies of an unknown mixed state $\rho\in\mathbb{C}^{d\times d}$ and outputs a classical description of $\rho$ which can then be used to estimate any collection of $m$ observables to within additive accuracy $\epsilon$. Previously, even for the simpler task of shadow tomography -- where the $m$ observables are known in advance -- the best known rates either scaled benignly but suboptimally in all of $m, d, \epsilon$, or scaled optimally in $\epsilon, m$ but had additional polynomial factors in $d$ for general observables. Intriguingly, we also show via dimensionality reduction, that we can rescale $\epsilon$ and $d$ to reduce to the regime where $\epsilon \le O(d^{-1/2})$. Our algorithm draws upon representation-theoretic tools recently developed in the context of full state tomography.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 5 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Dimension-Free Polylogarithmic Quantum Shadow Tomography from Sequential Pretty-Good Measurements

    quant-ph 2026-08 conditional novelty 8.0 of 10

    New sequential pretty-good measurement protocol achieves dimension-free shadow tomography with sample complexity O(1/eps^2 * (log(M/delta))^4 / (log log(M/delta))^3).

  2. The Keyl-Werner algorithm is not optimal for spectrum estimation

    quant-ph 2026-07 accept novelty 8.0 of 10

    Spectrum estimation of a d-dimensional quantum state is possible with o(d²) copies—specifically O(d² (log log d / log d)²)—beating Keyl–Werner and full tomography.

  3. Instance-optimal high-precision shadow tomography with few-copy measurements: A metrological approach

    quant-ph 2026-02 conditional novelty 8.0 of 10

    High-precision shadow tomography of unknown quantum states has sample complexity Θ~(Γ_p/ε²), with Γ_p characterized by the inverse Fisher information matrix of the optimal single-copy measurement.

  4. Information-Computation Gaps in Quantum Learning via Low-Degree Likelihood

    quant-ph 2025-05 conditional novelty 8.0 of 10

    A quantum extension of the low-degree method shows that state designs imply computational hardness for many single-copy quantum measurement strategies, yielding new information-computation gaps.

  5. Online Shadow Tomography Matching the Classical Bounds

    quant-ph 2026-07 conditional novelty 7.0 of 10

    Online shadow tomography can be solved with O(log m sqrt(log d)/eps^3) or O(sqrt(m)/eps^2) copies, matching known classical rates, but the first bound's key proof lemma contains an invalid inequality.

Pith tools