Christopher Ferrie

Negative quasi-probability as a resource for quantum computation

A central problem in quantum information is to determine the minimal physical resources that are required for quantum computational speed-up and, in particular, for fault-tolerant quantum computation. We establish a remarkable connection between the potential for quantum speed-up and the onset of negative values in a distinguished quasi-probability representation, a discrete analogue of the Wigner function for quantum systems of odd dimension. This connection allows us to resolve an open question on the existence of bound states for magic state distillation: we prove that there exist mixed states outside the convex hull of stabilizer states that cannot be distilled to non-stabilizer target states using stabilizer operations. We also provide an efficient simulation protocol for Clifford circuits that extends to a large class of mixed states, including bound universal states.

Quasi-probability representations of quantum theory with applications to quantum information science

This paper comprises a review of both the quasi-probability representations of infinite-dimensional quantum theory (including the Wigner function) and the more recently defined quasi-probability representations of finite-dimensional quantum theory. We focus on both the characteristics and applications of these representations with an emphasis toward quantum information theory. We discuss the recently proposed unification of the set of possible quasi-probability representations via frame theory and then discuss the practical relevance of negativity in such representations as a criteria for quantumness.

Frame representations of quantum mechanics and the necessity of negativity in quasi-probability representations

Several finite-dimensional quasi-probability representations of quantum states have been proposed to study various problems in quantum information theory and quantum foundations. These representations are often defined only on restricted dimensions and their physical significance in contexts such as drawing quantum-classical comparisons is limited by the non-uniqueness of the particular representation. Here we show how the mathematical theory of frames provides a unified formalism which accommodates all known quasi-probability representations of finite-dimensional quantum systems. Moreover, we show that any quasi-probability representation is equivalent to a frame representation and then prove that any such representation of quantum mechanics must exhibit either negativity or a deformed probability calculus.

Adaptive quantum state tomography improves accuracy quadratically

We introduce a simple protocol for adaptive quantum state tomography, which reduces the worst-case infidelity [1-F(ρ,ρ)] between the estimate and the true state from O(1/sqrt[N]) to O(1/N). It uses a single adaptation step and just one extra measurement setting. In a linear optical qubit experiment, we demonstrate a full order of magnitude reduction in infidelity (from 0.1% to 0.01%) for a modest number of samples (N ≈ 3 × 10(4)).

Weak value amplification is suboptimal for estimation and detection.

We show by using statistically rigorous arguments that the technique of weak value amplification does not perform better than standard statistical techniques for the tasks of single parameter estimation and signal detection. Specifically, we prove that postselection, a necessary ingredient for weak value amplification, decreases estimation accuracy and, moreover, arranging for anomalously large weak values is a suboptimal strategy. In doing so, we explicitly provide the optimal estimator, which in turn allows us to identify the optimal experimental arrangement to be the one in which all outcomes have equal weak values (all as small as possible) and the initial state of the meter is the maximal eigenvalue of the square of the system observable. Finally, we give precise quantitative conditions for when weak measurement (measurements without postselection or anomalously large weak values) can mitigate the effect of uncharacterized technical noise in estimation.

How the result of a single coin toss can turn out to be 100 heads.

We show that the phenomenon of anomalous weak values is not limited to quantum theory. In particular, we show that the same features occur in a simple model of a coin subject to a form of classical backaction with pre- and postselection. This provides evidence that weak values are not inherently quantum but rather a purely statistical feature of pre- and postselection with disturbance.

Hamiltonian learning and certification using quantum resources.

In recent years quantum simulation has made great strides, culminating in experiments that existing supercomputers cannot easily simulate. Although this raises the possibility that special purpose analog quantum simulators may be able to perform computational tasks that existing computers cannot, it also introduces a major challenge: certifying that the quantum simulator is in fact simulating the correct quantum dynamics. We provide an algorithm that, under relatively weak assumptions, can be used to efficiently infer the Hamiltonian of a large but untrusted quantum simulator using a trusted quantum simulator. We illustrate the power of this approach by showing numerically that it can inexpensively learn the Hamiltonians for large frustrated Ising models, demonstrating that quantum resources can make certifying analog quantum simulators tractable.

Efficient simulation scheme for a class of quantum optics experiments with non-negative Wigner representation

We provide a scheme for efficient simulation of a broad class of quantum optics experiments. Our efficient simulation extends the continuous variable Gottesman–Knill theorem to a large class of non-Gaussian mixed states, thereby demonstrating that these non-Gaussian states are not an enabling resource for exponential quantum speed-up. Our results also provide an operationally motivated interpretation of negativity as non-classicality. We apply our scheme to the case of noisy single-photon-added-thermal-states to show that this class admits states with positive Wigner function but negative P-function that are not useful resource states for quantum computation.

Framed Hilbert space: hanging the quasi-probability pictures of quantum theory

Building on earlier work, we further develop a formalism based on the mathematical theory of frames that defines a set of possible phase-space or quasi-probability representations of finite-dimensional quantum systems. We prove that an alternate approach to defining a set of quasi-probability representations, based on a more natural generalization of a classical representation, is equivalent to our earlier approach based on frames, and therefore is also subject to our no-go theorem for a non-negative representation. Furthermore, we clarify the relationship between the contextuality of quantum theory and the necessity of negativity in quasi-probability representations and discuss their relevance as criteria for non-classicality. We also provide a comprehensive overview of known quasi-probability representations and their expression within the frame formalism.

Necessity of negativity in quantum theory

A unification of the set of quasiprobability representations using the mathematical theory of frames was recently developed for quantum systems with finite-dimensional Hilbert spaces, in which it was proven that such representations require negative probability in either the states or the effects. In this article we extend those results to Hilbert spaces of infinite dimension, for which the celebrated Wigner function is a special case. Hence, this article presents a unified framework for describing the set of possible quasiprobability representations of quantum theory, and a proof that the presence of negativity is a necessary feature of such representations.