Related papers: A complete graphical calculus for Spekkens' toy bi…
The ZX-calculus is a graphical language for reasoning about ZX-diagrams, a type of tensor networks that can represent arbitrary linear maps between qubits. Using the ZX-calculus, we can intuitively reason about quantum theory, and optimise…
We present a representation for linguistic structure that we call a Fock-space representation, which allows us to embed problems in language processing into small quantum devices. We further develop a formalism for understanding both…
This paper concerns the absolute versus relative motion debate. The Barbour and Bertotti 1982 work may be viewed as an indirectly set up relational formulation of a portion of Newtonian mechanics. I consider further direct formulations of…
The probabilistic modal {\mu}-calculus is a fixed-point logic designed for expressing properties of probabilistic labeled transition systems (PLTS's). Two equivalent semantics have been studied for this logic, both assigning to each state a…
Recently the mathematical formalism of quantum mechanics, especially methods of quantum probability theory, started to be widely used in a variety of applications outside of physics, e.g., cognition and psychology as well as economy and…
We propose a theory for modeling concepts that uses the state-context-property theory (SCOP), a generalization of the quantum formalism, whose basic notions are states, contexts and properties. This theory enables us to incorporate context…
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…
Inspired by classical ("actual") Quantum Theory over $\mathbb{C}$ and Modal Quantum Theory (MQT), which is a model of Quantum Theory over certain finite fields, we introduce General Quantum Theory as a Quantum Theory -- in the K{\o}benhavn…
In the framework of ontological models, the inherently nonclassical features of quantum theory always seem to involve properties that are fine tuned, i.e. properties that hold at the operational level but break at the ontological level.…
The ZX-calculus is an intuitive but also mathematically strict graphical language for quantum computing, which is especially powerful for the framework of quantum circuits. Completeness of the ZX-calculus means any equality of matrices with…
In order to find a physical axiomatization of quantum theory, physical theories are often considered as a special case of a much more general framework of generalized probabilistic theories. We first present a detailed introduction to…
It is shown that the equations of relativistic Bohmian mechanics for multiple bosonic particles have a dual description in terms of a classical theory of conformally "curved" space-time. This shows that it is possible to formulate quantum…
We consider the hypothesis that quantum mechanics is an approximation to another, cosmological theory, accurate only for the description of subsystems of the universe. Quantum theory is then to be derived from the cosmological theory by…
In this article, we present a fresh perspective on language, combining ideas from various sources, but mixed in a new synthesis. As in the minimalist program, the question is whether we can formulate an elegant formalism, a universal…
Categorical quantum mechanics, which examines quantum theory via dagger-compact closed categories, gives satisfying high-level explanations to the quantum information procedures such as Bell-type entanglement or complementary observables…
A simple and general formulation of the quantum game theory is presented, accommodating all possible strategies in the Hilbert space for the first time. The theory is solvable for the two strategy quantum game, which is shown to be…
A different approach towards quantum theory is proposed in this paper. The basis is taken to be conceptual variables, physical variables that may be accessible or inaccessible, i.e., it may be possible or impossible to assign numerical…
This paper deals with the foundations of quantum mechanics. We start by outlining the characterisation, due to Birkhoff and Von Neumann, of the logical structures of the theories of classical physics and quantum mechanics, as boolean and…
We present a toy model approach to the canonical non-perturbative quantization of the spatially-flat Robertson-Walker Universes with cosmological constant, based on the fact that such models are exactly solvable within the framework of a…
Efficient simulation of quantum computers relies on understanding and exploiting the properties of quantum states. This is the case for methods such as tensor networks, based on entanglement, and the tableau formalism, which represents…