Документ взят из кэша поисковой машины. Адрес оригинального документа : http://www.eng.math.msu.su/download/Abstract2014.pdf Дата изменения: Wed Nov 25 11:31:01 2015 Дата индексирования: Sat Apr 9 22:18:46 2016 Кодировка:

Lomonosov Moscow State University, Faculty of Mechanics and Mathematics, Department of the English Language

Abstract Categorical Models of Quantum Mechanics By Alexander Zapryagaev, group 304 21 October 2014

The report deals with the axiomatic approach to the phenomena of quantum computation and algorithms. It gives an overview of the classical approach (due to von Neumann) using the structures of Hilbert spaces, as well as mentions some major results in the field and discusses the flaws of the model and its current dominance. This leads to the introduction of a new axiomatization, first proposed by S. Abramsky and B. Coecke in 2007, which relies on the modern concepts of category theory. It is a field of mathematics originally created in the 1940s by specialists in algebraic topology but currently gaining popularity in other branches because of its abstract nature and emphasis on operations rather than objects. Most importantly, category theory is a powerful tool in functional analysis allowing mathematicians to reformulate the statements of Hilbert space theory in a more intuitive way, without matrix calculus. Finally, the logic behind quantum operations is discussed: it is revealed that the ideas of quantum algorithms have a strong connection to Jean-Yves Girard's linear logic.

References [1] R. Duncan, Quantum Entanglement and Multiplicative Linear Logic. PRS Transfer Report. Oxon., 2003.