Temperley-Lieb Algebra: From Knot Theory to Logic and Computation via Quantum Mechanics

zbMATH Open1135.81006arXiv0910.2737MaRDI QIDQ5448359FDOQ5448359

Authors: Samson Abramsky 

Publication date: 20 March 2008

Abstract: Our aim in this paper is to trace some of the surprising and beautiful connections which are beginning to emerge between a number of apparently disparate topics: Knot Theory, Categorical Quantum Mechanics, and Logic and Computation. We shall focus in particular on the following two topics: - The Temperley-Lieb algebra has always hitherto been presented as a quotient of some sort: either algebraically by generators and relations as in Jones' original presentation, or as a diagram algebra modulo planar isotopy as in Kauffman's presentation. We shall use tools from Geometry of Interaction, a dynamical interpretation of proofs under Cut Elimination developed as an off-shoot of Linear Logic, to give a direct description of the Temperley-Lieb category -- a "fully abstract presentation", in Computer Science terminology. This also brings something new to the Geometry of Interaction, since we are led to develop a planar version of it, and to verify that the interpretation of Cut-Elimination (the "Execution Formula", or "composition by feedback") preserves planarity. - We shall also show how the Temperley-Lieb algebra provides a natural setting in which computation can be performed diagrammatically as geometric simplification -- "yanking lines straight". We shall introduce a "planar lambda-calculus" for this purpose, and show how it can be interpreted in the Temperley-Lieb category.

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

Recommendations

• Topology and Quantum Computing
• The singular Temperley-Lieb category
• Braid group, Temperley-Lieb algebra, and quantum information and computation
• A diagrammatic Temperley-Lieb categorification
• Temperley-Lieb algebras.

Mathematics Subject Classification ID

Quantum computation (81P68)

Cited In (26)

• Automata on Gauss Words
• A System of Interaction and Structure III: The Complexity of BV and Pomset Logic
• Idempotents in tangle categories split
• A homology theory for a special family of semi-groups
• Self-adjunctions and matrices.
• Comments on Slavnov products, Temperley-Lieb open spin chains, and KP tau functions
• Title not available (Why is that?)
• Dual bases in Temperley-Lieb algebras, quantum groups, and a question of Jones
• Duality, intensionality, and contextuality: philosophy of category theory and the categorical unity of science in Samson Abramsky
• On strictifying extensional reflexivity in compact closed categories
• Presentations for wreath products involving symmetric inverse monoids and categories
• Self-replicating 3-manifolds
• Semi-simplicity of Temperley-Lieb algebras of type D
• The algebra of directed acyclic graphs
• Entanglement and the Temperley-Lieb category
• Completeness of \(\dagger\)-categories and the complex numbers
• Classification of congruences of twisted partition monoids
• The topological basis expression of four-qubit XXZ spin chain with twist boundary condition
• Matrix maps over planar near-rings
• Congruence Lattices of Ideals in Categories and (Partial) Semigroups
• Probabilistic measurement, a new tool to compute the spectral-base equilibrium points
• Braids via term rewriting
• Birman-Wenzl-Murakami algebra, topological parameter and Berry phase
• Cellular subalgebras of the partition algebra
• The singular Temperley-Lieb category
• Lambek vs. Lambek: functorial vector space semantics and string diagrams for Lambek calculus

This page was built for publication: Temperley-Lieb Algebra: From Knot Theory to Logic and Computation via Quantum Mechanics

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