Exponential modalities and complementarity.
Year: 2021
Type: preprint
Abstract: The exponential modality has been used as a defacto structure for modelling infinite dimensional systems. However, this does not explain what the exponential modalities of linear logic have to do with complementarity. The article uses the formulation of quantum systems within dagger-linear logic and mixed unitary categories, and the formulation of measurement therein to provide a connection. In linear logic the exponential modality has two dual components: it is shown how these components may be compacted into the usual notion of complementarity between two Frobenius algebras on the same object. Thereby exhibiting a complementary system as arising via the compaction of separate systems.
Source: arXiv (Cornell University)
Language: English
Topic: Advanced Algebra and Logic
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: green
OpenAlex ID: W3135583829