Abstract:Given copies of a quantum state $\rho$, a shadow tomography protocol aims to learn all expectation values from a fixed set of observables, to within a given precision $\epsilon$. We say that a shadow tomography protocol is triply efficient if it is sample- and time-efficient, and only employs measurements that entangle a constant number of copies of $\rho$ at a time. The classical shadows protocol based on random single-copy measurements is triply efficient for the set of local Pauli observables. This and other protocols based on random single-copy Clifford measurements can be understood as arising from fractional colorings of a graph $G$ that encodes the commutation structure of the set of observables. Here we describe a framework for two-copy shadow tomography that uses an initial round of Bell measurements to reduce to a fractional coloring problem in an induced subgraph of $G$ with bounded clique number. This coloring problem can be addressed using techniques from graph theory known as chi-boundedness. Using this framework we give the first triply efficient shadow tomography scheme for the set of local fermionic observables, which arise in a broad class of interacting fermionic systems in physics and chemistry. We also give a triply efficient scheme for the set of all $n$-qubit Pauli observables. Our protocols for these tasks use two-copy measurements, which is necessary: sample-efficient schemes are provably impossible using only single-copy measurements. Finally, we give a shadow tomography protocol that compresses an $n$-qubit quantum state into a $\text{poly}(n)$-sized classical representation, from which one can extract the expected value of any of the $4^n$ Pauli observables in $\text{poly}(n)$ time, up to a small constant error.

Third moments of qudit Clifford orbits and 3-designs based on magic orbits

The Magic in Qudit Shadow Estimation based on the Clifford Group

Multiqubit Clifford groups are unitary 3-designs

Distinguishing quantum states using Clifford orbits

Clifford Orbits from Cayley Graph Quotients

The Clifford Group Fails Gracefully to Be a Unitary 4-Design

The existence of distinguishable bases in three-dimensional subspaces of qutrit-qudit systems under one-way local operations and classical communication

On $3$-designs from $PGL(2,q)$

Triply efficient shadow tomography

The shape of higher-dimensional state space: Bloch-ball analog for a qutrit

Wigner's Theorem for stabilizer states and quantum designs

Generators and Relations for 3-Qubit Clifford+CS Operators

Quantum and classical low-degree learning via a dimension-free Remez inequality

Clifford orbits and stabilizer states

Local random quantum circuits form approximate designs on arbitrary architectures

Bloch sphere analog of qudits using Heisenberg-Weyl Operators

Quantum State Designs with Clifford Enhanced Matrix Product States

Quon 3D Language for Quantum Information

Minimal Clifford Shadow Estimation by Mutually Unbiased Bases

Efficient Unitary T-designs from Random Sums