September 29 Andrey Boris Khesin
I Spend My Days Drawing Spiders: An Introduction to ZX Calculus​ The inner product is the most fundamental operation in linear algebra. It allows us to express everything from matrix multiplication, to the trace, to quantum circuits. Tensor networks are graphical presentations of this and are useful tools for visualizations. ZX calculus is a special type of tensor network that is specifically helpful for quantum circuits. The elements of ZX calculus, called spiders, are nothing more than special tensors. However, the spiders obey a certain set of elegant rewrite rules. Using these, we can attempt to figure out when a diagram has reached its maximally simplified state, or in other words, attempt to reduce it to its canonical form. What would this canonical form look like? Find out this Thursday at SPAMS!
October 6
October 13
October 20
October 27
November 3
November 10
November 17
November 24
December 1
December 8