Download PDFOpen PDF in browser

Cloning and Deleting Quantum Information from a Linear Logical Point of View

EasyChair Preprint no. 8435, version 2

Versions: 12history
9 pagesDate: August 1, 2022

Abstract

This paper displays a linear sequent calculus in accordance with the no-cloning and no-deleting theorems of quantum computing. The calculus represents operations on matrices in terms of linear sequent rules, satisfing admissibility of cut. It is possible to define a strict monoidal categorical semantics for it using categories generated by finite vector spaces extended with a Kronecker product, which can be viewed as the dual of an approach proposed by Abramsky-Coecke.

Keyphrases: categorical semantics, linear algebra, linear logic, quantum computing

BibTeX entry
BibTeX does not have the right entry for preprints. This is a hack for producing the correct reference:
@Booklet{EasyChair:8435,
  author = {Anderson Beraldo-de-Araújo},
  title = {Cloning and Deleting Quantum Information from a Linear Logical Point of View},
  howpublished = {EasyChair Preprint no. 8435},

  year = {EasyChair, 2022}}
Download PDFOpen PDF in browser