# Nearly Optimal Measurement Scheduling for Partial Tomography of Quantum States

## TL;DR

This paper introduces an efficient measurement scheme for quantum state tomography that significantly reduces the number of circuits needed to estimate $k$-body RDMs, with optimal scaling for fermionic 2-RDMs, enhancing near-term quantum simulation.

## Contribution

It presents a measurement method with exponential improvement in circuit complexity for $k$-body RDMs and proves optimality for fermionic 2-RDM measurement, enabling more practical quantum simulations.

## Key findings

- Measurement circuits scale as ${
m O}(3^{k} ext{log}^{k-1} N)$ for $k$-body RDMs.
- Fermionic 2-RDM can be measured with ${
m O}(N^2)$ circuits using linear depth circuits.
- The method is asymptotically optimal and allows estimation of linear combinations of 2-RDM elements with ${
m O}(N^4 / ext{omega})$ circuits.

## Abstract

Many applications of quantum simulation require to prepare and then characterize quantum states by performing an efficient partial tomography to estimate observables corresponding to $k$-body reduced density matrices ($k$-RDMs). For instance, variational algorithms for the quantum simulation of chemistry usually require that one measure the fermionic 2-RDM. While such marginals provide a tractable description of quantum states from which many important properties can be computed, their determination often requires a prohibitively large number of circuit repetitions. Here we describe a method by which all elements of $k$-body qubit RDMs acting on $N$ qubits can be directly measured with a number of circuits scaling as ${\cal O}(3^{k} \log^{k-1}\! N)$, an exponential improvement in $N$ over prior art. Next, we show that if one is able to implement a linear depth circuit on a linear array prior to measurement, then one can directly measure all elements of the fermionic 2-RDM using only ${\cal O}(N^2)$ circuits. We prove that this result is asymptotically optimal, thus establishing an exponential separation between the number of circuits required to directly measure all elements of qubit versus fermion RDMs. We further demonstrate a technique to estimate the expectation value of any linear combination of fermionic 2-RDM elements using ${\cal O}(N^4 / \omega)$ circuits, each with only ${\cal O}(\omega)$ gates on a linear array where $\omega \leq N$ is a free parameter. We expect these results will improve the viability of many proposals for near-term quantum simulation.