Cool Logic

Leo Lobski (ILLC)

Spiders and flows in quantum computation

September 20th at 18:30, in ILLC Seminar Room F1.15, Science Park 107, Amsterdam

We briefly introduce measurement based quantum computation (MBQC) and in particular the formalism of measurement patterns. This is conveniently expressed in a graphical language known as ZX-calculus. We proceed to impose certain determinism conditions on the measurement patterns which guarantee that the patterns are implementable in practice. It turns out there are purely graph-theoretic conditions corresponding to the determinism conditions. The aim of the talk is to give an exposition of this connection.