西溪逻辑论坛第97期

Date: 7 December 2018 (13:30-15:00)
Venue: Room 259, Main Teaching Building, Xixi Campus, Zhejiang University
Speaker: Dr. Quanlong Wang (University of Oxford)
Title: Categorical Quantum Mechanics and the Quantum Diagram Reasoning System
Abstract: The standard framework for quantum theory was given by John von Neumann using the Hilbert Space theory. One of the restrictions of this framework lies in heavily relying on matrix calculations, thus too low-level for quantum computation and quantum information. In view of this, Samson Abramsky and Bob Coecke proposed Categorical Quantum Mechanics (CQM) as a high-level language for quantum theory based on Compact Closed Categories, with the Hilbert Space framework as its standard model (semantics). The main feature of CQM is that each formula can be represented as an intuitive diagram in a mathematically strict way. However, to fully perform quantum diagram reasoning, one needs an important property known as completeness, i.e., an equation of diagrams must be true in CQM if the semantics of the equation is true in the Hilbert Space framework.  The quantum diagram reasoning system has a particular name called ZX-calculus. In this talk, we first give an introduction to the theory of CQM, then we show by examples the diagram reasoning in the ZX-calculus. Finally, we describe some further work in the field of CQM.

主讲人简介：
王全龙，江西泰和人。2004年博士毕业于中国科学院研究生院应用数学专业，2006年至2016年任职于北京航空航天大学数学与系统科学学院，2018年博士毕业于牛津大学计算机系，现为牛津大学计算机系量子组博士后。