Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

arXiv:1610.07093 · New Journal of Physics

Equivalence between contextuality and negativity of the Wigner function for qudits

Nicolas Delfosse, Cihan Okay, Juan Bermejo-Vega, Dan E. Browne, Robert Raussendorf

Published Dec 11, 2017• 71 citations
arXivHTMLPDF

Abstract

Understanding what distinguishes quantum mechanics from classical mechanics is crucial for quantum information processing applications. In this work, we consider two notions of non-classicality for quantum systems, negativity of the Wigner function and contextuality for Pauli measurements. We prove that these two notions are equivalent for multi-qudit systems with odd local dimension. For a single qudit, the equivalence breaks down. We show that there exist single qudit states that admit a non-contextual hidden variable model description and whose Wigner functions are negative.

DOI
10.1088/1367-2630/aa8fe3

Related papers

Equivalence of contextuality and Wigner function negativity in continuous-variable quantum optics

Jonas Haferkamp, Juan Bermejo-Vega

One of the central foundational questions of physics is to identify what makes a system quantum as opposed to classical. One seminal notion of classicality of a quantum system is the existence of a non-contextual hidden variable model as introduced in the early work by Bell, Kochen and Specker. In quantum optics, the non-negativity of the Wigner function is a ubiquitous notion of classicality. In this work we establish an equivalence between these two concepts. In particular, we show that any non-contextual hidden variable model for Gaussian quantum optics has an alternative non-negative Wigner function description. Conversely, it was known that the Wigner representation provides a non-negative non-contextual description of Gaussian quantum optics. It follows that contextuality and Wigner negativity are equivalent notions of non-classicality and equivalent resources for this quantum subtheory. In particular, both contextuality and Wigner negativity are necessary for a computational speed-up of quantum Gaussian optics. At the technical level, our result holds true for any subfamily of Gaussian measurements that include homodyne measurements, i.e., measurements of standard quadrature observables.

arXiv:2112.14788•Dec 29, 2021•3 citations

The Interplay between Quantum Contextuality and Wigner Negativity

Pierre-Emmanuel Emeriau

The use of quantum information in technology promises to supersede the so-called classical devices used nowadays. Understanding what features are inherently non-classical is crucial for reaching better-than-classical performance. This thesis focuses on two nonclassical behaviours: quantum contextuality and Wigner negativity. The former is a notion superseding nonlocality that can be exhibited by quantum systems. To date, it has mostly been studied in discrete-variable scenarios. In those scenarios, contextuality has been shown to be necessary and sufficient for advantages in some cases. On the other hand, negativity of the Wigner function is another unsettling non-classical feature of quantum states that originates from phase-space formulation in continuous-variable quantum optics. Continuous-variable scenarios offer promising candidates for implementing quantum computations. Wigner negativity is known to be a necessary resource for quantum speedup with continuous variables. However contextuality has been little understood and studied in continuous-variable scenarios. We first set out a robust framework for properly treating contextuality in continuous variables. We also quantify contextuality in such scenarios by using tools from infinite-dimensional optimisation theory. Building upon this, we show that Wigner negativity is equivalent to contextuality in continuous variables with respect to Pauli measurements thus establishing a continuous-variable analogue of a celebrated result by Howard et al. We then introduce experimentally-friendly witnesses for Wigner negativity of single mode and multimode quantum states, based on fidelities with Fock states, using again tools from infinite-dimensional optimisation theory. We further extend the range of previously known discrete-variable results linking contextuality and advantage into a new territory of information retrieval.

arXiv:2204.08782•Apr 19, 2022•0 citations

The Negativity‐to‐Violation Map between Wigner Function and Quantum Contextuality Inequality for a Single Qudit

Ming‐Da Huang, Ya‐Fei Yu, Zhi‐Ming Zhang

Abstract The relation between discrete Wigner function and quantum contextuality based on graph theory has been studied, following the work in [Nature 510,351(2014)]. To do this, non‐stabilizer projectors have been introduced to a series of non‐contextuality graphs based on stabilizer projectors for a single qudit with odd prime dimension. It has been found that, for a phase space point defined by Wootters, there exists a given set of states for an odd‐prime qudit where the negative discrete Wigner function on the phase space point means its quantum contextuality under measurements on the graphs designed by a specific method. To implement this method, a subset of non‐stabilizer projectors has been found. In the union of the set of states for all phase space points, there exists a negativity‐to‐violation map between Wigner function and quantum contextuality inequality. The robustness of the equivalence under depolarizing noise has been analyzed and discussed. For demonstration purposes, the graphs with different independence numbers and the corresponding set of states have been established on a single qutrit. Different to the cited work, this method involves only a single qudit, then is experimentally feasible for a qutrit.

Annalen der Physik•Apr 3, 2019•1 citation

Hidden variable models and classical simulation algorithms for quantum computation with magic states on qubits

Michael Zurel

An important problem in quantum computation is to characterize the resources required for a computational speedup over classical computation. Veitch et al. showed that one necessary condition for a computational speedup in the model of quantum computation with magic states is that the discrete Wigner function representing the input state of the quantum circuit must take negative values. The amount of negativity in the discrete Wigner function quantifies the complexity of classical simulation of a quantum computation with simulation being efficient if the Wigner function is nonnegative everywhere. In this sense, negativity of the Wigner quasiprobability representation serves as an indicator of quantumness from a computational perspective. However, this result only holds for systems of qudits where the local Hilbert space dimension is odd. The first main result discussed in this thesis relates to a discrete Wigner function suitable for describing quantum computation with magic states defined for any local Hilbert space dimension. When the local Hilbert space dimension is odd it subsumes the standard discrete Wigner function. When the local Hilbert space dimension is even, as a result of state-independent proofs of contextuality among multiqubit (or multi-even-dimensional-qudit) Pauli observables, the phase space over which the Wigner function is defined becomes much larger. However, for systems of qubits, the properties required for simulation of quantum computation with magic states remain. This simulation method effectively extends the result described above for odd-dimensional qudits to qubits. Although in the even-dimensional case the phase space is much larger, points in multiqubit phase space can be characterized and classified and some structure can be imparted on the phase space. The second main result discussed here is a hidden variable model for quantum computation with magic states on qubits. This model is similar in structure to quasiprobability representations like the discrete Wigner function, but unlike those representations the model is capable of representing all elements of any quantum computation---states, operations, and measurements---using only classical probabilities. No negativity is required. This calls into question the role of negativity in quasiprobability representations as an indicator of quantumness for models of quantum computation.

•Jan 1, 2020•4 citations

Measurement contextuality and Planck’s constant

Lucas Kocia, Peter Love

Contextuality is a necessary resource for universal quantum computation and non-contextual quantum mechanics can be simulated efficiently by classical computers in many cases. Orders of Planck's constant, ℏ, can also be used to characterize the classical-quantum divide by expanding quantities of interest in powers of ℏ—all orders higher than ℏ 0 can be interpreted as quantum corrections to the order ℏ 0 term. We show that contextual measurements in finite-dimensional systems have formulations within the Wigner–Weyl–Moyal (WWM) formalism that require higher than order ℏ 0 terms to be included in order to violate the classical bounds on their expectation values. As a result, we show that contextuality as a resource is closely related to orders of ℏ as a resource within the WWM formalism. This offers an explanation for why qubits can only exhibit state-independent contextuality under Pauli observables as in the Peres–Mermin square while odd-dimensional qudits can also exhibit state-dependent contextuality. In particular, qubit states exhibit contextuality when measured by qubit Pauli observables regardless of the state being measured and so the Weyl symbol of these observables lack an order ℏ 0 contribution altogether. On the other hand, odd-dimensional qudit states exhibit contextuality when measured by qudit observables depending on the state measured and so odd-dimensional qudit observables generally possess non-zero order ℏ 0 terms, and higher, in their WWM formulation: odd-dimensional qudit states that exhibit measurement contextuality have an order ℏ 1 contribution in their expectation values with the observable that allows for the violation of classical bounds while states that have insufficiently large order ℏ 1 contributions do not exhibit measurement contextuality.

arXiv:1711.08066•New Journal of Physics•Jun 25, 2018•7 citations

Contextuality and Wigner Negativity Are Equivalent for Continuous-Variable Quantum Measurements

Robert I. Booth, Ulysse Chabaud, Pierre-Emmanuel Emeriau

Quantum computers promise considerable speedups with respect to their classical counterparts. However, the identification of the innately quantum features that enable these speedups is challenging. In the continuous-variable setting-a promising paradigm for the realization of universal, scalable, and fault-tolerant quantum computing-contextuality and Wigner negativity have been perceived as two such distinct resources. Here we show that they are in fact equivalent for the standard models of continuous-variable quantum computing. While our results provide a unifying picture of continuous-variable resources for quantum speedup, they also pave the way toward practical demonstrations of continuous-variable contextuality and shed light on the significance of negative probabilities in phase-space descriptions of quantum mechanics.

arXiv:2111.13218•Physical Review Letters•Nov 29, 2022•40 citations
Understanding what distinguishes quantum mechanics from classical mechanics is crucial for quantum information processing applications. In this work, we consider two notions of non-classicality for quantum systems, negativity of the Wigner function and contextuality for Pauli measurements. We prove that these two notions are equivalent for multi-qudit systems with odd local dimension. For a single qudit, the equivalence breaks down. We show that there exist single qudit states that admit a non-contextual hidden variable model description and whose Wigner functions are negative.
One of the central foundational questions of physics is to identify what makes a system quantum as opposed to classical. One seminal notion of classicality of a quantum system is the existence of a non-contextual hidden variable model as introduced in the early work by Bell, Kochen and Specker. In quantum optics, the non-negativity of the Wigner function is a ubiquitous notion of classicality. In this work we establish an equivalence between these two concepts. In particular, we show that any non-contextual hidden variable model for Gaussian quantum optics has an alternative non-negative Wigner function description. Conversely, it was known that the Wigner representation provides a non-negative non-contextual description of Gaussian quantum optics. It follows that contextuality and Wigner negativity are equivalent notions of non-classicality and equivalent resources for this quantum subtheory. In particular, both contextuality and Wigner negativity are necessary for a computational speed-up of quantum Gaussian optics. At the technical level, our result holds true for any subfamily of Gaussian measurements that include homodyne measurements, i.e., measurements of standard quadrature observables.
The use of quantum information in technology promises to supersede the so-called classical devices used nowadays. Understanding what features are inherently non-classical is crucial for reaching better-than-classical performance. This thesis focuses on two nonclassical behaviours: quantum contextuality and Wigner negativity. The former is a notion superseding nonlocality that can be exhibited by quantum systems. To date, it has mostly been studied in discrete-variable scenarios. In those scenarios, contextuality has been shown to be necessary and sufficient for advantages in some cases. On the other hand, negativity of the Wigner function is another unsettling non-classical feature of quantum states that originates from phase-space formulation in continuous-variable quantum optics. Continuous-variable scenarios offer promising candidates for implementing quantum computations. Wigner negativity is known to be a necessary resource for quantum speedup with continuous variables. However contextuality has been little understood and studied in continuous-variable scenarios. We first set out a robust framework for properly treating contextuality in continuous variables. We also quantify contextuality in such scenarios by using tools from infinite-dimensional optimisation theory. Building upon this, we show that Wigner negativity is equivalent to contextuality in continuous variables with respect to Pauli measurements thus establishing a continuous-variable analogue of a celebrated result by Howard et al. We then introduce experimentally-friendly witnesses for Wigner negativity of single mode and multimode quantum states, based on fidelities with Fock states, using again tools from infinite-dimensional optimisation theory. We further extend the range of previously known discrete-variable results linking contextuality and advantage into a new territory of information retrieval.
Abstract The relation between discrete Wigner function and quantum contextuality based on graph theory has been studied, following the work in [Nature 510,351(2014)]. To do this, non‐stabilizer projectors have been introduced to a series of non‐contextuality graphs based on stabilizer projectors for a single qudit with odd prime dimension. It has been found that, for a phase space point defined by Wootters, there exists a given set of states for an odd‐prime qudit where the negative discrete Wigner function on the phase space point means its quantum contextuality under measurements on the graphs designed by a specific method. To implement this method, a subset of non‐stabilizer projectors has been found. In the union of the set of states for all phase space points, there exists a negativity‐to‐violation map between Wigner function and quantum contextuality inequality. The robustness of the equivalence under depolarizing noise has been analyzed and discussed. For demonstration purposes, the graphs with different independence numbers and the corresponding set of states have been established on a single qutrit. Different to the cited work, this method involves only a single qudit, then is experimentally feasible for a qutrit.
An important problem in quantum computation is to characterize the resources required for a computational speedup over classical computation. Veitch et al. showed that one necessary condition for a computational speedup in the model of quantum computation with magic states is that the discrete Wigner function representing the input state of the quantum circuit must take negative values. The amount of negativity in the discrete Wigner function quantifies the complexity of classical simulation of a quantum computation with simulation being efficient if the Wigner function is nonnegative everywhere. In this sense, negativity of the Wigner quasiprobability representation serves as an indicator of quantumness from a computational perspective. However, this result only holds for systems of qudits where the local Hilbert space dimension is odd. The first main result discussed in this thesis relates to a discrete Wigner function suitable for describing quantum computation with magic states defined for any local Hilbert space dimension. When the local Hilbert space dimension is odd it subsumes the standard discrete Wigner function. When the local Hilbert space dimension is even, as a result of state-independent proofs of contextuality among multiqubit (or multi-even-dimensional-qudit) Pauli observables, the phase space over which the Wigner function is defined becomes much larger. However, for systems of qubits, the properties required for simulation of quantum computation with magic states remain. This simulation method effectively extends the result described above for odd-dimensional qudits to qubits. Although in the even-dimensional case the phase space is much larger, points in multiqubit phase space can be characterized and classified and some structure can be imparted on the phase space. The second main result discussed here is a hidden variable model for quantum computation with magic states on qubits. This model is similar in structure to quasiprobability representations like the discrete Wigner function, but unlike those representations the model is capable of representing all elements of any quantum computation---states, operations, and measurements---using only classical probabilities. No negativity is required. This calls into question the role of negativity in quasiprobability representations as an indicator of quantumness for models of quantum computation.
Contextuality is a necessary resource for universal quantum computation and non-contextual quantum mechanics can be simulated efficiently by classical computers in many cases. Orders of Planck's constant, ℏ, can also be used to characterize the classical-quantum divide by expanding quantities of interest in powers of ℏ—all orders higher than ℏ 0 can be interpreted as quantum corrections to the order ℏ 0 term. We show that contextual measurements in finite-dimensional systems have formulations within the Wigner–Weyl–Moyal (WWM) formalism that require higher than order ℏ 0 terms to be included in order to violate the classical bounds on their expectation values. As a result, we show that contextuality as a resource is closely related to orders of ℏ as a resource within the WWM formalism. This offers an explanation for why qubits can only exhibit state-independent contextuality under Pauli observables as in the Peres–Mermin square while odd-dimensional qudits can also exhibit state-dependent contextuality. In particular, qubit states exhibit contextuality when measured by qubit Pauli observables regardless of the state being measured and so the Weyl symbol of these observables lack an order ℏ 0 contribution altogether. On the other hand, odd-dimensional qudit states exhibit contextuality when measured by qudit observables depending on the state measured and so odd-dimensional qudit observables generally possess non-zero order ℏ 0 terms, and higher, in their WWM formulation: odd-dimensional qudit states that exhibit measurement contextuality have an order ℏ 1 contribution in their expectation values with the observable that allows for the violation of classical bounds while states that have insufficiently large order ℏ 1 contributions do not exhibit measurement contextuality.
Quantum computers promise considerable speedups with respect to their classical counterparts. However, the identification of the innately quantum features that enable these speedups is challenging. In the continuous-variable setting-a promising paradigm for the realization of universal, scalable, and fault-tolerant quantum computing-contextuality and Wigner negativity have been perceived as two such distinct resources. Here we show that they are in fact equivalent for the standard models of continuous-variable quantum computing. While our results provide a unifying picture of continuous-variable resources for quantum speedup, they also pave the way toward practical demonstrations of continuous-variable contextuality and shed light on the significance of negative probabilities in phase-space descriptions of quantum mechanics.