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 theories of wavefunctions valued in commutative involutive semirings -- as modelled by categories of...

Full description

Saved in:
Bibliographic Details
Published in:arXiv.org 2018-03
Main Authors: Coecke, Bob, Genovese, Fabrizio, Gogioso, Stefano, Marsden, Dan, Piedeleu, Robin
Format: Article
Language:English
Subjects:
Composition
Histograms
Linguistics
Mathematical models
Quantum theory
Rings (mathematics)
Semantics
Uniqueness
Vector spaces
Wave functions
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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 theories of wavefunctions valued in commutative involutive semirings -- as modelled by categories of free finite-dimensional modules -- and we prove that the only bilinear compact-closed symmetric monoidal structure is the canonical one (up to linear monoidal equivalence). Our results apply to conventional quantum theory and other toy theories of interest in the literature, such as real quantum theory, relational quantum theory, hyperbolic quantum theory and modal quantum theory. In computational linguistics they imply that linear models for categorical compositional distributional semantics (DisCoCat) -- such as vector spaces, sets and relations, and sets and histograms -- admit an (essentially) unique compatible pregroup grammar.
ISSN:2331-8422
DOI:10.48550/arxiv.1803.00708