[Alta-Logic] Peripatetic Seminar 13:30 Monday MS 427

[Matthew Burke]

The next meeting of the peripatetic seminar will be this coming Monday again in the mathematics department.

Speaker: Priyaa Srinivasan

Location: Monday 15th Jan at 13:30 in MS 427

Title: Proving Teleportation protocol using ZX-calculus

Abstract: In my previous talks, I introduced environment structures and discarding maps. In this talk I will use discarding maps and ZX- calculus to prove the correctness of teleportation protocol. ZX- calculus is a universal graphical calculus for reasoning about quantum processes. With discarding maps, one can graphically represent classical control and measurements. ZX-calculus along with the discarding maps provides a simple language for deriving the correctness of quantum information theoretic protocols. We will prove one such protocol in this talk namely quantum teleportation.