• Corpus ID: 18755302

Fantastic Quantum Theories and Where to Find Them

  title={Fantastic Quantum Theories and Where to Find Them},
  author={Stefano Gogioso},
  journal={arXiv: Quantum Physics},
  • S. Gogioso
  • Published 30 March 2017
  • Mathematics
  • arXiv: Quantum Physics
We present a uniform framework for the treatment of a large class of toy models of quantum theory. Specifically, we will be interested in theories of wavefunctions valued in commutative involutive semirings, and which give rise to some semiring-based notion of classical non-determinism via the Born rule. The models obtained with our construction possess many of the familiar structures used in Categorical Quantum Mechanics. We also provide a bestiary of increasingly exotic examples: some well… 

An effect-theoretic reconstruction of quantum theory

An often used model for quantum theory is to associate to every physical system a C∗-algebra. From a physical point of view it is unclear why operator algebras would form a good description of

Uniqueness of composition in quantum theory and linguistics

We derive a uniqueness result for non-Cartesian composition of systems in a large class of process theories, with important implications for quantum theory and linguistics. Specifically, we consider

Fe b 20 19 A Categorical Reconstruction of Quantum Theory

We reconstruct finite-dimensional quantum theory from categorical principles. That is, we provide properties ensuring that a given physical theory described by a dagger compact category in which one

Categorical quantum dynamics

It is argued that strong complementarity is a truly powerful and versatile building block for quantum theory and its applications, and one that should draw a lot more attention in the future.

A Categorical Reconstruction of Quantum Theory

  • S. Tull
  • Mathematics
    Log. Methods Comput. Sci.
  • 2020
We reconstruct finite-dimensional quantum theory from categorical principles. That is, we provide properties ensuring that a given physical theory described by a dagger compact category in which one

Compositional resource theories of coherence

This work shows that resource theories of coherence can instead be defined purely compositionally, that is, working with the mathematics of process theories, string diagrams and category theory, and opens the door to the development of novel tools which would not be accessible from the linear algebraic mind set.

Time symmetry in quantum theories and beyond

The tension between time-symmetry and time-asymmetry is captured by the tension between two of the key structures that are used in this framework and two equivalent ways in which this can be done whilst ensuring that the resulting theory still makes sensible operational predictions are shown.

A characterisation of ordered abstract probabilities

A structure theory for effect monoids that are ω-complete, i.e. where every increasing sequence has a supremum is presented, which gives an algebraic characterisation and motivation for why any physical or logical theory would represent probabilities by real numbers.

Generalised Mermin-type non-locality arguments

This work broadly generalises Mermin-type arguments on GHZ states, and provides exact group-theoretic conditions for non-locality to be achieved, and their validity extends beyond quantum theory to any theory featuring the relevant algebraic structures.

The Sheaf-Theoretic Structure of Definite Causality

Also in the quantum theory one starts from certain numbers from which one deduces other numbers, which can be taken as initial numbers for a calculation in quantum theory.



Operational theories and Categorical quantum mechanics

A central theme in current work in quantum information and quantum foundations is to see quantum mechanics as occupying one point in a space of possible theories, and to use this perspective to

Quantum and Classical Structures in Nondeterminstic Computation

It is shown that classical structures in the category of relations correspond to direct sums of abelian groups in the standard Hilbert space model of quantum theories.

Strong Complementarity and Non-locality in Categorical Quantum Mechanics

The diagrammatic calculus substantially simplifies (and sometimes even trivialises) many of the derivations, and provides new insights, and the diagrammatic computation of correlations clearly shows how local measurements interact to yield a global overall effect.

Categorical Quantum Mechanics I: Causal Quantum Processes

We derive the category-theoretic backbone of quantum theory from a process ontology. More specifically, we treat quantum theory as a theory of systems, processes and their interactions. In this

Fully graphical treatment of the quantum algorithm for the Hidden Subgroup Problem

This work provides the first fully diagrammatic proof of correctness for the abelian HSP protocol, showing that strongly complementary observables are the key ingredient to its success.

A Complete Graphical Calculus for Spekkens’ Toy Bit Theory

In this paper, a graphical language for Spekkens’ toy theory is developed and it is shown that it is complete: meaning any equality that can be derived using other formalisms can also be derived entirely graphically.

Division Algebras and Quantum Theory

Quantum theory may be formulated using Hilbert spaces over any of the three associative normed division algebras: the real numbers, the complex numbers and the quaternions. Indeed, these three

A Royal Road to Quantum Theory (or Thereabouts)

A representation of finite-dimensional probabilistic systems in terms of Euclidean Jordan algebras is obtained, in a strikingly easy way, from simple assumptions, which provides a framework within which real, complex and quaternionic QM can play happily together and allows some (but not too much) room for more exotic alternatives.

Almost Quantum Theory

Modal quantum theory (MQT) is a “toy model” of quantum theory in which amplitudes are elements of a general field. The theory predicts, not the probabilities of a measurement result, but only whether

Phase Groups and the Origin of Non-locality for Qubits