Priyaa Srinivasan

Date: January 15, 2018
Time: 12:00 am - 12:00 am
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.