Abstract:The experimental realization of increasingly complex quantum states underscores the pressing need for new methods of state learning and verification. In one such framework, quantum state tomography, the aim is to learn the full quantum state from data obtained by measurements. Without prior assumptions on the state, this task is prohibitively hard. Here, we present an efficient algorithm for learning states on $n$ fermion modes prepared by any number of Gaussian and at most $t$ non-Gaussian gates. By Jordan-Wigner mapping, this also includes $n$-qubit states prepared by nearest-neighbour matchgate circuits with at most $t$ SWAP-gates. Our algorithm is based exclusively on single-copy measurements and produces a classical representation of a state, guaranteed to be close in trace distance to the target state. The sample and time complexity of our algorithm is $\mathrm{poly}(n,2^t)$; thus if $t=O(\log(n))$, it is efficient. We also show that, if $t$ scales slightly more than logarithmically, any learning algorithm to solve the same task must be inefficient, under common cryptographic assumptions. We also provide an efficient property testing algorithm that, given access to copies of a state, determines whether such a state is far or close to the set of states for which our learning algorithm works. In addition to the outputs of quantum circuits, our tomography algorithm is efficient for some physical target states, such as those arising in time dynamics and low-energy physics of impurity models. Beyond tomography, our work sheds light on the structure of states prepared with few non-Gaussian gates and offers an improved upper bound on their circuit complexity, enabling an efficient circuit compilation method.

Efficient learning of $t$-doped stabilizer states with single-copy measurements

Efficient learning of t -doped stabilizer states with single-copy measurements

Learning t-doped stabilizer states

Efficient learning of quantum states prepared with few fermionic non-Gaussian gates

Efficient Learning of Quantum States Prepared With Few Non-Clifford Gates

Efficient Learning for Linear Properties of Bounded-Gate Quantum Circuits

Improved Stabilizer Estimation via Bell Difference Sampling

T-Count Optimizing Genetic Algorithm for Quantum State Preparation

Trading T gates for dirty qubits in state preparation and unitary synthesis

Quantum state preparation with optimal T-count

Learning quantum states and unitaries of bounded gate complexity

Efficient learning of arbitrary single-copy quantum states

Unifying Gate Synthesis and Magic State Distillation

Lower $T$-count with faster algorithms

Single-copy stabilizer testing

Efficient approximate unitary t-designs from partially invertible universal sets and their application to quantum speedup

Learning dynamic quantum circuits for efficient state preparation

Classical simulation of quantum circuits with partial and graphical stabiliser decompositions

One T Gate Makes Distribution Learning Hard

Fast algorithms for classical specifications of stabiliser states and Clifford gates