No Arabic abstract
The characterization of quantum features in large Hilbert spaces is a crucial requirement for testing quantum protocols. In the continuous variables encoding, quantum homodyne tomography requires an amount of measurements that increases exponentially with the number of involved modes, which practically makes the protocol intractable even with few modes. Here we introduce a new technique, based on a machine learning protocol with artificial Neural Networks, that allows to directly detect negativity of the Wigner function for multimode quantum states. We test the procedure on a whole class of numerically simulated multimode quantum states for which the Wigner function is known analytically. We demonstrate that the method is fast, accurate and more robust than conventional methods when limited amounts of data are available. Moreover the method is applied to an experimental multimode quantum state, for which an additional test of resilience to losses is carried out.
Contextuality and negativity of the Wigner function are two notions of non-classicality for quantum systems. Howard, Wallman, Veitch and Emerson proved recently that these two notions coincide for qudits in odd prime dimension. This equivalence is particularly important since it promotes contextuality as a ressource that magic states must possess in order to allow for a quantum speed-up. We propose a simple proof of the equivalence between contextuality and negativity of the Wigner function based on character theory. This simplified approach allows us to generalize this equivalence to multiple qudits and to any qudit system of odd local dimension.
We describe a scheme of quantum computation with magic states on qubits for which contextuality is a necessary resource possessed by the magic states. More generally, we establish contextuality as a necessary resource for all schemes of quantum computation with magic states on qubits that satisfy three simple postulates. Furthermore, we identify stringent consistency conditions on such computational schemes, revealing the general structure by which negativity of Wigner functions, hardness of classical simulation of the computation, and contextuality are connected.
Discriminating between quantum computing architectures that can provide quantum advantage from those that cannot is of crucial importance. From the fundamental point of view, establishing such a boundary is akin to pinpointing the resources for quantum advantage; from the technological point of view, it is essential for the design of non-trivial quantum computing architectures. Wigner negativity is known to be a necessary resource for computational advantage in several quantum-computing architectures, including those based on continuous variables (CVs). However, it is not a sufficient resource, and it is an open question under which conditions CV circuits displaying Wigner negativity offer the potential for quantum advantage. In this work we identify vast families of circuits that display large, possibly unbounded, Wigner negativity, and yet are classically efficiently simulatable, although they are not recognized as such by previously available theorems. These families of circuits employ bosonic codes based on either translational or rotational symmetries (e.g., Gottesman-Kitaev-Preskill or cat codes), and can include both Gaussian and non-Gaussian gates and measurements. Crucially, within these encodings, the computational basis states are described by intrinsically negative Wigner functions, even though they are stabilizer states if considered as codewords belonging to a finite-dimensional Hilbert space. We derive our results by establishing a link between the simulatability of high-dimensional discrete-variable quantum circuits and bosonic codes.
We describe a universal scheme of quantum computation by state injection on rebits (states with real density matrices). For this scheme, we establish contextuality and Wigner function negativity as computational resources, extending results of [M. Howard et al., Nature 510, 351--355 (2014)] to two-level systems. For this purpose, we define a Wigner function suited to systems of $n$ rebits, and prove a corresponding discrete Hudsons theorem. We introduce contextuality witnesses for rebit states, and discuss the compatibility of our result with state-independent contextuality.
A measure of nonclassicality of quantum states based on the volume of the negative part of the Wigner function is proposed. We analyze this quantity for Fock states, squeezed displaced Fock states and cat-like states defined as coherent superposition of two Gaussian wave packets.