Table of Contents
Fetching ...

Quantum tomography for non-iid sources

Leonardo Zambrano

Abstract

Quantum state and process tomography are typically analyzed under the assumption that devices emit independent and identically distributed (i.i.d.) states or channels. In realistic experiments, however, noise, drift, feedback, or adversarial behavior violate this assumption. We show that projected least-squares tomography remains statistically optimal even under fully adaptive state and channel preparation. Specifically, we prove that the sample complexity for reconstructing the time-averaged state or channel matches the optimal i.i.d. scaling for non-adaptive, single-copy measurements. For rank-$r$ states, the sample complexity is $\mathcal{O}(d r^2/ε^2)$ to achieve accuracy $ε$ in trace distance, while for process tomography it is $\mathcal{O}(d^6/ε^2)$ to achieve accuracy $ε$ in diamond distance. Thus, dropping the i.i.d. assumption does not increase the fundamental sample complexity of quantum tomography, but only changes the interpretation of the reconstructed object.

Quantum tomography for non-iid sources

Abstract

Quantum state and process tomography are typically analyzed under the assumption that devices emit independent and identically distributed (i.i.d.) states or channels. In realistic experiments, however, noise, drift, feedback, or adversarial behavior violate this assumption. We show that projected least-squares tomography remains statistically optimal even under fully adaptive state and channel preparation. Specifically, we prove that the sample complexity for reconstructing the time-averaged state or channel matches the optimal i.i.d. scaling for non-adaptive, single-copy measurements. For rank- states, the sample complexity is to achieve accuracy in trace distance, while for process tomography it is to achieve accuracy in diamond distance. Thus, dropping the i.i.d. assumption does not increase the fundamental sample complexity of quantum tomography, but only changes the interpretation of the reconstructed object.
Paper Structure (18 sections, 6 theorems, 63 equations)

This paper contains 18 sections, 6 theorems, 63 equations.

Key Result

Theorem 1

Let the source emit an arbitrary adaptive sequence of states with time-average $\bar{\rho}_N$. Fix a target rank $r$, accuracy $\epsilon > 0$, and failure probability $\delta \in (0,1)$. With probability at least $1-\delta$, the estimation error satisfies provided that the number of samples $N$ satisfies: For global complex projective $2$-design measurements, For tensor products of local $2$-des

Theorems & Definitions (8)

  • Theorem 1
  • Theorem 2
  • Theorem 3: Matrix Freedman inequality tropp2011freedman
  • Lemma 1
  • Theorem 4
  • proof
  • Theorem 5
  • proof