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 listsCondensed Matter Group Meetings Midlands Logic Seminar IRLab Seminars: Robotics, Computer Vision & AI## Other talksTight Lower Bounds for Parameterized Algorithms under ETH Advancing biomedical photoacoustic imaging using structured light and optical microresonators TBC The science of the large scale heliosphere and the missions that made it possible Theory: This is moved to next year, 2023 ! Structured Decompositions: recursive data and recursive algorithms |