September 29 | Andrey Boris Khesin MIT |
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 | |
||