We describe a general framework in which we can precisely compare the structures of quantum-like theories which may initially be formulated in quite different mathematical terms. We then use this framework to compare two theories: quantum mechanics restricted to qubit stabiliser states and operations, and Spekkens's toy theory. We discover that viewed within our framework these theories are very similar, but differ in one key aspect – a four element group we term the phase group which emerges naturally within our framework. In the case of the stabiliser theory this group is Z 4 while for Spekkens's toy theory the group is Z 2 × Z 2 . We further show that the structure of this group is intimately involved in a key physical difference between the theories: whether or not they can be modelled by a local hidden variable theory. This is done by establishing a connection between the phase group, and an abstract notion of GHZ state correlations. We go on to formulate precisely how the stabiliser theory and toy theory are ‘similar’ by defining a notion of ‘mutually unbiased qubit theory’, noting that all such theories have four element phase groups. Since Z 4 and Z 2 × Z 2 are the only such groups we conclude that the GHZ correlations in this type of theory can only take two forms, exactly those appearing in the stabiliser theory and in Spekkens's toy theory. The results point at a classification of local/non-local behaviours by finite Abelian groups, extending beyond qubits to finitary theories whose observables are all mutually unbiased.
We describe a general framework in which we can precisely compare the structures of quantum-like theories which may initially be formulated in quite different mathematical terms. We then use this framework to compare two theories: quantum mechanics restricted to qubit stabiliser states and operations, and Spekkens's toy theory. We discover that viewed within our framework these theories are very similar, but differ in one key aspect – a four element group we term the phase group which emerges naturally within our framework. In the case of the stabiliser theory this group is Z 4 while for Spekkens's toy theory the group is Z 2 × Z 2 . We further show that the structure of this group is intimately involved in a key physical difference between the theories: whether or not they can be modelled by a local hidden variable theory. This is done by establishing a connection between the phase group, and an abstract notion of GHZ state correlations. We go on to formulate precisely how the stabiliser theory and toy theory are ‘similar’ by defining a notion of ‘mutually unbiased qubit theory’, noting that all such theories have four element phase groups. Since Z 4 and Z 2 × Z 2 are the only such groups we conclude that the GHZ correlations in this type of theory can only take two forms, exactly those appearing in the stabiliser theory and in Spekkens's toy theory. The results point at a classification of local/non-local behaviours by finite Abelian groups, extending beyond qubits to finitary theories whose observables are all mutually unbiased.
Interest has grown in recent years in the construction of ‘quantum-like’ theories, toy theories which exhibit some but not all features of quantum mechanics. Such theories are expressed in diverse mathematical terms which may impede comparison of their properties. In this thesis we present a unifying mathematical framework in which we can compare a variety of ‘quantum-like’ theories, based on Abramsky and Coecke’s work on applying category theory to quantum mechanics. By doing so we hope to gain a clearer insight into the precise ways in which these theories differ mathematically, and whether this relates to the differences in phenomena which they predict. As an example of this kind of approach, we express Spekkens’s toy bit theory within the categorical framework, in the process proving its consistency. The toy bit theory reproduces many features of quantum mechanics, and this is reflected in the fact that within the categorical framework it shares many structural features with quantum mechanics. It differs however, in that it is, by construction, a local hidden variable theory. We develop a categorical treatment of hidden variables, and then demonstrate that the categorical structures which differ between quantummechanics and the toy theory are exactly those which relate to the question of hidden variables. We extend this to a general result applying to a wider range of theories.
One of the main questions in the field of quantum computation is where the quantum computational speed-up comes from. Recent studies in the field of quantum foundations have suggested which are the features to be considered as inherently non-classical. One of the major contributions in this direction comes from a result known as Spekkens' toy theory, which is a model built to reproduce quantum theory as a classical phase-space-inspired theory with restrictions on what an observer can know about reality. The model reproduces many of the features of quantum mechanics, but it does not reproduce non-locality and contextuality. In this thesis we first complete Spekkens' toy theory with measurement update rules and a mathematical framework that generalises it to systems of any finite dimensions (prime and non-prime). We also extend the operational equivalence between the toy theory and stabilizer quantum mechanics to all odd dimensions via Gross' Wigner functions. We then use the toy theory to represent the non-contextual and classically simulatable part of the computation in state-injection schemes of quantum computation where contextuality is a resource. In the case of qubits, we show that the subtheories of quantum mechanics represented in the toy model can achieve the full stabilizer theory via state-injection and we associate different proofs of contextuality to different injection processes. Stepping back from Spekkens' toy theory, we conclude by focusing on single system protocols that compute non-linear functions (similarly to the popular CHSH game) which show quantum advantages even in absence of non-locality and contextuality (in its standard notions). We analyse their performances (formalised in Bell's and Tsirelson's bounds) in relation to Landauer's principle, which associates entropic costs to irreversible computations, and to a new notion of contextuality for sequences of transformations.
We investigate the strengths and limitations of the Spekkens toy model, which is a local hidden variable model that replicates many important properties of quantum dynamics. First, we present a set of five axioms that fully encapsulate Spekkens’ toy model. We then test whether these axioms can be extended to capture more quantum phenomena by allowing operations on epistemic as well as ontic states. We discover that the resulting group of operations is isomorphic to the projective extended Clifford group for two qubits. This larger group of operations results in a physically unreasonable model; consequently, we claim that a relaxed definition of valid operations in Spekkens’ toy model cannot produce an equivalence with the Clifford group for two qubits. However, the new operations do serve as tests for correlation in a two toy bit model, analogous to the well known Horodecki criterion for the separability of quantum states.
In order to better understand a complex theory like quantum mechanics, it is sometimes useful to take a step back and create alternative theories, with more intuitive foundations, and examine which features of quantum mechanics can be reproduced by such a foil theory. A prominent example is Spekkens' toy theory, which is based off a simple premise: "What if we took a common classical theory and added the uncertainty principle as a postulate?" In other words, the theory imposes an epistemic restriction on our knowledge about a physical system: only half of the variables can ever be known to an observer. Like good science fiction, from this simple principle a rich behaviour emerges, most notoriously when we compose several systems. The toy theory emulates some aspects of quantum non-locality, although crucially it is still a non-contextual model. In this pedagogical review we consolidate different approaches to Spekkens' toy theory, including the stabilizer formalism and the generalization to arbitrary dimensions, completing them with new results where necessary. In particular, we introduce a general characterization of measurements, superpositions and entanglement in the toy theory.
Spekkens’ toy model is a non-contextual hidden variable model with an epistemic restriction, a constraint on what an observer can know about reality. The aim of the model, developed for continuous and discrete prime degrees of freedom, is to advocate the epistemic view of quantum theory, where quantum states are states of incomplete knowledge about a deeper underlying reality. Many aspects of quantum mechanics and protocols from quantum information can be reproduced in the model. In spite of its significance, a number of aspects of Spekkens’ model remained incomplete. Formal rules for the update of states after measurement had not been written down, and the theory had only been constructed for prime-dimensional and infinite dimensional systems. In this work, we remedy this, by deriving measurement update rules and extending the framework to derive models in all dimensions, both prime and non-prime. Stabiliser quantum mechanics (SQM) is a sub-theory of quantum mechanics with restricted states, transformations and measurements. First derived for the purpose of constructing error correcting codes, it now plays a role in many areas of quantum information theory. Previously, it had been shown that Spekkens’ model was operationally equivalent to SQM in the case of odd prime dimensions. Here, exploiting known results on Wigner functions, we extend this to show that Spekkens’ model is equivalent to SQM in all odd dimensions, prime and non-prime. This equivalence provides new technical tools for the study of technically difficult compound-dimensional SQM.
We provide two mathematical descriptions of Spekkens's toy qubit theory, an inductively one in terms of a small set of generators, as well as an explicit closed form description. It is a subcategory MSpek of the category of finite sets, relations and the cartesian product. States of maximal knowledge form a subcategory Spek. This establishes the consistency of the toy theory, which has previously only been constructed for at most four systems. Our model also shows that the theory is closed under both parallel and sequential composition of operations (= symmetric monoidal structure), that it obeys map-state duality (= compact closure), and that states and effects are in bijective correspondence (= dagger structure). From the perspective of categorical quantum mechanics, this provides an interesting alternative model which enables us to describe many quantum phenomena in a discrete manner, and to which mathematical concepts such as basis structures, and complementarity thereof, still apply. Hence, the framework of categorical quantum mechanics has delivered on its promise to encompass theories other than quantum theory.