Understanding the noise affecting a quantum device is of fundamental importance for scaling quantum technologies. A particularly important class of noise models is that of Pauli channels, as randomized compiling techniques can effectively bring any quantum channel to this form and are significantly more structured than general quantum channels. In this paper, we show fundamental lower bounds on the sample complexity for learning Pauli channels in diamond norm. We consider strategies that may not use auxiliary systems entangled with the input to the unknown channel and have to perform a measurement before reusing the channel. For non-adaptive algorithms, we show a lower bound of Ω(23nε−2) to learn an n-qubit Pauli channel. In particular, this shows that the recently introduced learning procedure by [1] is essentially optimal. In the adaptive setting, we show a lower bound of Ω(22.5nε−2) for ε = O(2−n), and a lower bound of Ω(22nε−2) for any ε > 0. This last lower bound holds even in a stronger model where in each step, before performing the measurement, the unknown channel may be used arbitrarily many times sequentially interspersed with unital operations.
We prove that adaptive strategies offer no advantage over non-adaptive ones for learning and testing Pauli channels using entangled inputs. This key observation allows us to characterize the query complexity for several fundamental tasks by translating optimal classical estimation algorithms into the quantum setting. First, we determine the tight query complexity for learning a Pauli channel under the general ℓp norm, providing results that improve upon or match the best-known bounds for the ℓ1,ℓ2, and ℓ∞ distances. Second, we resolve the complexity of testing whether a Pauli channel is a white noise source. Finally, we show that the optimal query complexities for estimating the Shannon entropy and support size of the channel's error distribution, and for estimating the diamond distance between two Pauli channels, are all Θ(4nnϵ2) .
Quantum entanglement is a crucial resource for learning properties from nature, but a precise characterization of its advantage can be challenging. In this Letter, we consider learning algorithms without entanglement to be those that only utilize states, measurements, and operations that are separable between the main system of interest and an ancillary system. Interestingly, we show that these algorithms are equivalent to those that apply quantum circuits on the main system interleaved with mid-circuit measurements and classical feedforward. Within this setting, we prove a tight lower bound for Pauli channel learning without entanglement that closes the gap between the best-known upper and lower bound. In particular, we show that Θ(2^{n}ϵ^{-2}) rounds of measurements are required to estimate each eigenvalue of an n-qubit Pauli channel to ϵ error with high probability when learning without entanglement. In contrast, a learning algorithm with entanglement only needs Θ(ϵ^{-2}) copies of the Pauli channel. The tight lower bound strengthens the foundation for an experimental demonstration of entanglement-enhanced advantages for Pauli noise characterization.
We show that entangled measurements provide an exponential advantage in sample complexity for Pauli channel estimation, which is both a fundamental problem and a practically important subroutine for benchmarking near-term quantum devices. The specific task we consider is to simultaneously learn all the eigenvalues of an
n-qubit Pauli channel to $\ifmmode\pm\else\textpm\fi{}\ensuremath{\varepsilon}$ precision. We give an estimation protocol with an
n-qubit ancilla that succeeds with high probability using only $O(n/{\ensuremath{\varepsilon}}^{2})$ copies of the Pauli channel, while proving that any ancilla-free protocol (possibly with adaptive control and channel concatenation) would need at least $\mathrm{\ensuremath{\Omega}}({2}^{n/3})$ rounds of measurement. We further study the advantages provided by a small number of ancillas. For the case that a
k-qubit ancilla ($k\ensuremath{\le}n$) is available, we obtain a sample complexity lower bound of $\mathrm{\ensuremath{\Omega}}({2}^{(n\ensuremath{-}k)/3})$ for any nonconcatenating protocol, and a stronger lower bound of $\mathrm{\ensuremath{\Omega}}(n{2}^{n\ensuremath{-}k})$ for any nonadaptive, nonconcatenating protocol, which is shown to be tight. We also show how to apply the ancilla-assisted estimation protocol to a practical quantum benchmarking task in a noise-resilient and sample-efficient manner, given reasonable noise assumptions. Our results provide a practically interesting example for quantum advantages in learning and also bring insights for quantum benchmarking.
Quantum state tomography is a fundamental problem in quantum computing. Given n copies of an unknown N -qubit state ρ∈ℂ d × d , d =2 N , the goal is to learn the state up to an accuracy ε in trace distance, say with at least constant probability 0.99. We are interested in the copy complexity, the minimum number of copies of ρ needed to fulfill the task. As current quantum devices are physically limited, Pauli measurements have attracted significant attention due to their ease of implementation. However, a large gap exists in the literature for tomography with Pauli measurements. The best-known upper bound is O ( N · 12 N /ε 2 ), and no non-trivial lower bound is known besides the general single-copy lower bound of Ω(8 N /ε 2 ), achieved by hard-to-implement structured POVMs such as MUB, SIC-POVM, and uniform POVM. We have made significant progress on this long-standing problem. We first prove a stronger upper bound of O (10 N /ε 2 ). To complement it, we also obtain a lower bound of Ω(9.118 N /ε 2 ), which holds even with adaptivity. To our knowledge, this demonstrates the first known separation between Pauli measurements and structured POVMs. The new lower bound is a consequence of a novel framework for adaptive quantum state tomography with measurement constraints. The main advantage is that we can use measurement-dependent hard instances to prove tight lower bounds for Pauli measurements, while prior lower-bound techniques for tomography only work with measurement-independent constructions. Moreover, we connect the copy complexity lower bound of tomography to the eigenvalues of the measurement information channel, which governs the measurement’s capacity to distinguish between states. To demonstrate the generality of the new framework, we obtain tight bounds for adaptive quantum state tomography with k -outcome measurements, where we recover existing results and establish new ones.
We study the problem of learning nearly
(s,ε)-sparse unitaries, meaning that the Pauli spectrum is concentrated on at most
s components with at most
ε residual mass in Pauli
ℓ1-norm. This class generalizes well-studied families, including sparse unitaries, quantum
k-juntas,
2k-Pauli dimensional channels, and compositions of depth
O(loglogn) circuits with near-Clifford circuits.
Given query access to an unknown nearly sparse unitary
U, our goal is to efficiently (both in time and query complexity) construct a quantum channel that is close in diamond distance to
U. We design a learning algorithm achieving this guarantee using
O~(s6/ε4) forward queries to
U, and running time polynomial in relevant parameters.
A key contribution is an efficient quantum algorithm that, given query access to an arbitrary unknown unitary
U, estimates all Pauli coefficients (up to a shared global phase) whose magnitude exceeds a given threshold
θ, extending existing sparse recovery techniques to general unitaries.
We also study the broader class of unitaries with bounded Pauli
ℓ1-norm. For that class, we prove an exponential query lower bound
Ω(2n/2). We introduce a more relaxed accuracy metric which is the diamond distance restricted to a set of input states. Then, we show that, under this metric, unitaries with Pauli
ℓ1-norm uniformly bounded by
L1 are learnable with
O~(L18/ε16).
Pauli channels are ubiquitous in quantum information, both as a dominant noise source in many computing architectures and as a practical model for analyzing error correction and fault tolerance. Here, we prove several results on efficiently learning Pauli channels and more generally the Pauli projection of a quantum channel. We first derive a procedure for learning a Pauli channel on n qubits with high probability to a relative precision ϵ using O (ϵ -2 n2 n ) measurements, which is efficient in the Hilbert space dimension. The estimate is robust to state preparation and measurement errors, which, together with the relative precision, makes it especially appropriate for applications involving characterization of high-accuracy quantum gates. Next, we show that the error rates for an arbitrary set of s Pauli errors can be estimated to a relative precision ϵ using O (ϵ -4 log s log s/ϵ) measurements. Finally, we show that when the Pauli channel is given by a Markov field with at most k -local correlations, we can learn an entire n -qubit Pauli channel to relative precision ϵ with only O k (ϵ -2 n 2 log n ) measurements, which is efficient in the number of qubits. These results enable a host of applications beyond just characterizing noise in a large-scale quantum system: they pave the way to tailoring quantum codes, optimizing decoders, and customizing fault tolerance procedures to suit a particular device.