Abstract We 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 , where it satisfies all of Kolmogorov’s axioms of classical probability theory, and so does not qualify as a candidate quantum phenomenon. In particular, we find that the Grassmann WWM formalism at order 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.
Abstract We 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 , where it satisfies all of Kolmogorov’s axioms of classical probability theory, and so does not qualify as a candidate quantum phenomenon. In particular, we find that the Grassmann WWM formalism at order 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.
Since being defined by Kochen and Specker, and separately by Bell, contextuality has been proposed as one of the key phenomena that distinguishing quantum theory from classical theories. However, with the rise of quantum information contextuality's position as the leading definition of the quantum/classical boundary has been called into question. This is due to the fact that a contextual explanation is required by subtheories that offer no exponential quantum computational advantage over classical computation. In this thesis, submitted in requirement for a PhD in physics with quantum information, we shall explore this unwanted contextuality, and show that generalized contextuality is more prevalent than was previously thought. \n \nFirst we will show that the single-qubit stabilizer subtheory, which was previously thought of as a non-contextual subtheory, requires a generalized contextual ontological model, when transformations are included in the operational description. In addition to this we show that the even smaller single-rebit stabilizer subtheory, a strict subtheory of the single-qubit stabilizer subtheory, must also admit a generalized contextual ontological model, again when transformations are included in the operational description. We then show that both these subtheories require negatively represented quasi-probability representations, re-establishing the link between contextuality and negativity for transformations. We also investigate the representation of transformations in generic quasi-probability representations, showing that under a reasonable assumption almost-all unitaries must be negatively represented by a finite quasi-probability representation. \n \nSecond we will investigate the efficiently simulable n-qubit stabilizer subtheory, which exhibits all forms of contextuality and thus represents the main obstacle to identifying contextuality as a resource for quantum computation. To this end we present an attempt at constructing a model based on a frame-switching Wigner function. This leads us to constructing a contextual ψ-epistemic ontological model of the n-qubit stabilizer formalism. We shall see that this model is outcome deterministic, which is one of the core assumptions in the definition of traditional non-contextuality. This model then will lead us to a result that proves that any ontological model of the n-qubit stabilizer formalism requires at least n-1 generators to be encoded in the ontology of the model. As n-1 generators represents almost full knowledge about the stabilizer state, we therefore posit that ψ-onicity, a more controversial notion of non-classicality, is actually the resource for quantum computation.
We give a complete characterization of the (non)classicality of all stabilizer subtheories. First, we prove that there is a unique nonnegative and diagram-preserving quasiprobability representation of the stabilizer subtheory in all odd dimensions, namely Gross's discrete Wigner function. This representation is equivalent to Spekkens' epistemically restricted toy theory, which is consequently singled out as the unique noncontextual ontological model for the stabilizer subtheory. Strikingly, the principle of noncontextuality is powerful enough (at least in this setting) to single out one particular classical realist interpretation. Our result explains the practical utility of Gross's representation by showing that (in the setting of the stabilizer subtheory) negativity in this particular representation implies generalized contextuality. Since negativity of this particular representation is a necessary resource for universal quantum computation in the state injection model, it follows that generalized contextuality is also a necessary resource for universal quantum computation in this model. In all even dimensions, we prove that there does not exist any nonnegative and diagram-preserving quasiprobability representation of the stabilizer subtheory, and, hence, that the stabilizer subtheory is contextual in all even dimensions.
Abstract We investigate the relationship between two properties of quantum transformations often studied in popular subtheories of quantum theory: covariance of the Wigner representation of the theory and the existence of a transformation noncontextual ontological model of the theory. We consider subtheories of quantum theory specified by a set of states, measurements and transformations, defined specifying a group of unitaries, that map between states (and measurements) within the subtheory. We show that if there exists a Wigner representation of the subtheory which is covariant under the group of unitaries defining the set of transformations then the subtheory admits of a transformation noncontextual ontological model. We provide some concrete arguments to conjecture that the converse statement also holds provided that the underlying ontological model is the one given by the Wigner representation. In addition, we investigate the relationships of covariance and transformation noncontextuality with the existence of a quasiprobability distribution for the theory that represents the transformations as positivity preserving maps. We conclude that covariance implies transformation noncontextuality, which implies positivity preservation.
We prove that there is a unique nonnegative and diagram-preserving quasiprobability representation of the stabilizer subtheory in all odd dimensions, namely Gross's discrete Wigner function. This representation is equivalent to Spekkens' epistemically restricted toy theory, which is consequently singled out as the unique noncontextual ontological model for the stabilizer subtheory. Strikingly, the principle of noncontextuality is powerful enough (at least in this setting) to single out one particular classical realist interpretation. Our result explains the practical utility of Gross's representation, e.g. why (in the setting of the stabilizer subtheory) negativity in this particular representation implies generalized contextuality, and hence sheds light on why negativity of this particular representation is a resource for quantum computational speedup. It also allows us to prove that generalized contextuality is a necessary resource for universal quantum computation in the state injection model. In all even dimensions, we prove that there does not exist any nonnegative and diagram-preserving quasiprobability representation of the stabilizer subtheory, and, hence, that the stabilizer subtheory is contextual in all even dimensions. Together, these results constitute a complete characterization of the (non)classicality of all stabilizer subtheories.
The main question under investigation in this thesis was the reality of the quantum state. We approached this problem by studying a recent no-go result by Pusey, Barrett and Rudolph, namely the PBR theorem. In Section 1 we provided a short introduction to quantum theory. A few relevant examples were covered, namely decompositions of quantum states, impossibility of the ignorance interpretation and the distinguishability of pure quantum states. Section 2 developed measure theoretic tools needed in the framework of ontological models. The Radon-Nikodym theorem was proven in order to justify the use of an alternative expression of the variational distance of probability measures. In Section 3 we developed a general framework for ontological models. In short, the ontological models framework can be considered the most general framework currently available for hidden variable theories and no-go results. We used the measure theoretic tools of Section 2 to make the formalism rigorous. Original research included in Section 3 was the characterization of a property called antidistinguishability for qubit states. A necessary and sufficient condition for antidistinguishability was given. It was then proven that any set of pure qubit states that is not antidistinguishable can be made antidistinguishable by adding a single carefully chosen state into the set. In the end of Section 3, some original observations were presented. Namely, a specific connection with contextuality was proven for sometimes ψ-ontic and never ψ-ontic ontological models. However, it was then noted that these observations were not enough to exclude never ψ-ontic ontological models, a feat that would have provided a new no-go theorem on its own. Contextuality in the ontological models framework was studied in Section 4. The main results were establishing preparation contextuality from the failure of maximal ψ-epistemicity and a proof of Bell's theorem based on preparation contextuality established this way. We concluded that ψ-ontic models cannot be Bell local based on these results. Finally in Section 5 the implications of ψ-ontology were discussed. By careful analysis of the results, it was noted that accepting the reality of the quantum state exposes explanatory gaps in the formalism. Possible solutions to the challenges introduced by these explanatory gaps were discussed through interpretations of quantum mechanics and the so-called measurement problem.
Contextuality is a fundamental nonclassical property of quantum theory, which has recently been proven to be a key resource for achieving quantum speed-ups in some leading models of quantum computation. However, which of the forms of contextuality, and how much thereof, are required to obtain a speed-up in an arbitrary model of quantum computation remains unclear. In this Letter, we show that the relation between contextuality and a computational advantage is more complicated than previously thought. We achieve this by proving that generalized contextuality is present even within the simplest subset of quantum operations, the so-called single-qubit stabilizer theory, which offers no computational advantage and was previously believed to be completely noncontextual. However, the contextuality of the single-qubit stabilizer theory can be confined to transformations. Therefore, our result also demonstrates that the commonly considered prepare-and-measure scenarios (which ignore transformations) do not fully capture the contextuality of quantum theory.