Bicategorical semantics for nondeterministic computation

DOI10.1016/J.ENTCS.2013.09.022MaRDI QIDQ265831zbMATH OpenOpenAlexWikidataFDO

Authors Mike Stay, Jamie Vicary

Publication date 12 April 2016

Full work available at URL https://arxiv.org/abs/1301.3393

zbMATH Keywords

geometrycategoriessecurity

Mathematics Subject Classification ID

Quantum computation (81P68) Coding and information theory (compaction, compression, models of communication, encoding schemes, etc.) (aspects in computer science) (68P30) Quantum cryptography (quantum-theoretic aspects) (81P94) Authentication, digital signatures and secret sharing (94A62)

Abstract: We outline a bicategorical syntax for the interaction between public and private information in classical information theory. We use this to give high-level graphical definitions of encrypted communication and secret sharing protocols, including a characterization of their security properties. Remarkably, this makes it clear that the protocols have an identical abstract form to the quantum teleportation and dense coding procedures, yielding evidence of a deep connection between classical and quantum information processing. We also formulate public-key cryptography using our scheme. Specific implementations of these protocols as nondeterministic classical procedures are recovered by applying our formalism in a symmetric monoidal bicategory of matrices of relations.

Recommendations

• Higher semantics of quantum protocols
• Quantum and Classical Structures in Nondeterminstic Computation
• Mixed quantum states in higher categories
• Classical and quantum structuralism

Cites work

• scientific article; zbMATH DE number 822489 (Why is no real title available?)
• scientific article; zbMATH DE number 3367095 (Why is no real title available?)
• A survey of graphical languages for monoidal categories
• Compact closed bicategories
• Frobenius algebras and ambidextrous adjunctions
• Higher categories, strings, cubes and simplex equations
• Higher semantics of quantum protocols
• Physics, Topology, Logic and Computation: A Rosetta Stone
• Teleporting an unknown quantum state via dual classical and Einstein-Podolsky-Rosen channels
• Violations of local realism by two entangled quNits

Cited in

(7)

• Higher semantics of quantum protocols
• Categorical composable cryptography: extended version
• Categorical composable cryptography
• On the notion of bimodel for functorial semantics
• Quantum and Classical Structures in Nondeterminstic Computation
• Categories of relations as models of quantum theory
• A Bicategorical Model for Finite Nondeterminism

This page was built for publication: Bicategorical semantics for nondeterministic computation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q265831)