2018-03-14: Joe Collins (MSP)

Tue, 14 Oct 2025 16:51:42 +0000

Joe Collins (MSP)

Quantum Computing with ZX Calculus

Abstract

Quantum mechanics is dope, so it makes sense that making a computer using the principles of quantum mechanics would also be pretty sick. However, the formalism that is used by physicists, called a Hilbert space, is not specialised for this purpose. In particular, it is
1) Difficult to prove properties about programs for quantum computers
2) Difficult to see what is these programs are actually doing

Thankfully, category theory is very cool! Using ZX calculus, we can talk about quantum computing in a much clearer manner. I will be introducing some fundamental quantum mechanics and ZX calculus, and then using ZX calculus I will talk about Shor's algorithm.

2018-03-14 15:00:00 UTC
LT1310