![]() |
![]() |
University of Birmingham > Talks@bham > Theoretical computer science seminar > Mixed states and module categories
Mixed states and module categoriesAdd to your list(s) Download to your calendar using vCal
If you have a question about this talk, please contact George Kaye. Zoom details
Abstract The theory of finite-dimensional (f.d.) pure state quantum mechanics is encapsulated by the dagger compact closed category Hilb of f.d. Hilbert spaces and linear maps. There are at least two good reasons why we might want to consider categories other than Hilb. Firstly, we are often interested in states/maps which are ‘covariant’ – that is, compatible with the action of some symmetry group G. The relevant generalisation here is the category Rep(G) of f.d. unitary representations of G. Secondly, in quantum communication, quantum error correction etc. we need to move from the pure-state theory to the more general mixed-state theory, which is usually formulated in terms of f.d. C*-algebras and completely positive linear maps. The relevant generalisation here is not a 1-category but a 2-category – namely 2Hilb, the 2-category of f.d. 2-Hilbert spaces. In general, it turns out that moving from a tensor category T to its 2-category of module categories Mod(T) is the right construction to obtain a mixed state theory from a pure one. In this talk I will explain why. If there is enough time, I will demonstrate how the graphical calculus of the 2-category Mod(Rep(G)) allows us to prove new results in covariant zero-error communication theory. This talk is part of the Theoretical computer science seminar series. This talk is included in these lists:
Note that ex-directory lists are not shown. |
Other listsContemporary History Artificial Intelligence and Natural Computation seminars EPS - College Research and KT Support ActivitiesOther talksWaveform modelling and the importance of multipole asymmetry in Gravitational Wave astronomy The tragic destiny of Mileva Marić Einstein TBA TBA Life : it’s out there, but what and why ? TBA |