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 equivalent to orders of ℏ as a resource within the WWM formalism. This explains 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, we find that qubit Pauli observables lack an order ℏ0 contribution in their Weyl symbol and so exhibit contextuality regardless of the state being measured. On the other hand, odd-dimensional qudit observables generally possess non-zero order ℏ0 terms, and higher, in their WWM formulation, and so exhibit contextuality depending on the state measured: odd-dimensional qudit states that exhibit measurement contextuality have an order ℏ1 contribution that allows for the violation of classical bounds while states that do not exhibit measurement contextuality have insufficiently large order ℏ1 contributions.

1 aKocia, Lucas1 aLove, Peter uhttps://arxiv.org/abs/1711.0806602361nas a2200109 4500008004100000245014200041210006900183520192900252100001702181700001602198856003702214 2018 eng d00aThe Non-Disjoint Ontic States of the Grassmann Ontological Model, Transformation Contextuality, and the Single Qubit Stabilizer Subtheory0 aNonDisjoint Ontic States of the Grassmann Ontological Model Tran3 aWe show that it is possible to construct a preparation non-contextual ontological model that does not exhibit "transformation contextuality" for single qubits in the stabilizer subtheory. In particular, we consider the "blowtorch" map and show that it does not exhibit transformation contextuality under the Grassmann Wigner-Weyl-Moyal (WWM) qubit formalism. Furthermore, the transformation in this formalism can be fully expressed at order ℏ0 and so does not qualify as a candidate quantum phenomenon. In particular, we find that the Grassmann WWM formalism at order ℏ0 corresponds to an ontological model governed by an additional set of constraints arising from the relations defining the Grassmann algebra. Due to this additional set of constraints, the allowed probability distributions in this model do not form a single convex set when expressed in terms of disjoint ontic states and so cannot be mapped to models whose states form a single convex set over disjoint ontic states. However, expressing the Grassmann WWM ontological model in terms of non-disjoint ontic states corresponding to the monomials of the Grassmann algebra results in a single convex set. We further show that a recent result by Lillystone et al. that proves a broad class of preparation and measurement non-contextual ontological models must exhibit transformation contextuality lacks the generality to include the ontological model considered here; Lillystone et al.'s result is appropriately limited to ontological models whose states produce a single convex set when expressed in terms of disjoint ontic states. Therefore, we prove that for the qubit stabilizer subtheory to be captured by a preparation, transformation and measurement non-contextual ontological theory, it must be expressed in terms of non-disjoint ontic states, unlike the case for the odd-dimensional single-qudit stabilizer subtheory.

1 aKocia, Lucas1 aLove, Peter uhttps://arxiv.org/abs/1805.0951401897nas a2200109 4500008004100000245010200041210006900143520150500212100001701717700001601734856003701750 2018 eng d00aStationary Phase Method in Discrete Wigner Functions and Classical Simulation of Quantum Circuits0 aStationary Phase Method in Discrete Wigner Functions and Classic3 aWe apply the periodized stationary phase method to discrete Wigner functions of systems with odd prime dimension using results from p-adic number theory. We derive the Wigner-Weyl-Moyal (WWM) formalism with higher order ℏ corrections representing contextual corrections to non-contextual Clifford operations. We apply this formalism to a subset of unitaries that include diagonal gates such as the π8 gates. We characterize the stationary phase critical points as a quantum resource injecting contextuality and show that this resource allows for the replacement of the p2t points that represent t magic state Wigner functions on p-dimensional qudits by ≤pt points. We find that the π8 gate introduces the smallest higher order ℏ correction possible, requiring the lowest number of additional critical points compared to the Clifford gates. We then establish a relationship between the stabilizer rank of states and the number of critical points necessary to treat them in the WWM formalism. This allows us to exploit the stabilizer rank decomposition of two qutrit π8 gates to develop a classical strong simulation of a single qutrit marginal on t qutrit π8 gates that are followed by Clifford evolution, and show that this only requires calculating 3t2+1 critical points corresponding to Gauss sums. This outperforms the best alternative qutrit algorithm (based on Wigner negativity and scaling as ∼30.8t for 10−2 precision) for any number of π8 gates to full precision.

1 aKocia, Lucas1 aLove, Peter uhttps://arxiv.org/abs/1810.03622