University of Birmingham > Talks@bham > Theoretical computer science seminar > ZX-calculus and its applications

## ZX-calculus and its applicationsAdd to your list(s) Download to your calendar using vCal - Quanlong Wang, Oxford
- Friday 06 March 2020, 11:00-12:00
- Computer Science, The Sloman Lounge (UG).
If you have a question about this talk, please contact Dan Ghica. ZX-calculus is a graphical language for quantum computing featured by strong complementarity. It can also be seen as a detailed version of Categorical Quantum Mechanics (CQM) in the sense that it could fill in any box (morphism) of CQM with green and red spiders. In this talk, I will first show some results on the theoretical side of ZX-calculus: completeness, algebraic axiomatisation, and generalisations to the cases of commutative rings and semirings, even a unified framework for all dimensional qudit ZX-calculus. Then I will give some results on applications of ZX-calculus: spider nest identities, T-count reduction, and fast probabilistic algorithm. 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
- Computer Science, The Sloman Lounge (UG)
- Theoretical computer science seminar
- computer sience
Note that ex-directory lists are not shown. |
## Other listsAlgebra Reading Group on Sporadic Groups Astrophysics Talks Series Molecular and Medical Physics Seminar Series## Other talksTheory: This is moved to next year, 2023 ! The science of the large scale heliosphere and the missions that made it possible Advancing biomedical photoacoustic imaging using structured light and optical microresonators TBA TBC Plasmonic Electronic Paper |