Priyaa Srinivasan

Date: January 15, 2018

Time: 13:30

Location: 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.