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 - Dominic Verdon (University of Bristol)
- Friday 07 October 2022, 13:30-14:20
- LG23, SoCS and Zoom (see abstract for link).
If you have a question about this talk, please contact George Kaye.
- Link: https://bham-ac-uk.zoom.us/j/81873335084?pwd=T1NaUFg2U1l6d0RLL2RlTzFBam1IUT09
- Meeting ID: 818 7333 5084
- Passcode: 217
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:- Computer Science Departmental Series
- Computer Science Distinguished Seminars
- LG23, SoCS and Zoom (see abstract for link)
- Theoretical computer science seminar
- computer sience
Note that ex-directory lists are not shown. |
## Other listsType the title of a new list here Type the title of a new list here EPS - College Research Teas## Other talksExtending the Lax type operator for finite W-algebras Sylow branching coefficients for symmetric groups Quantum simulations using ultra cold ytterbium Modelling uncertainty in image analysis. TBC Geometry of alternating projections in metric spaces with bounded curvature |