Beyond Penrose tensor diagrams with the ZX calculus: Applications to quantum computing, quantum machine learning, condensed matter physics, and quantum gravity
Publications
Working with researchers at Quantinuum, the Universities of Oxford and Cambridge, and the Perimeter Institute, we introduced Spin-ZX, a graphical language for reasoning about quantum systems with spin. By making complex spin structure easier to represent, manipulate, and connect to quantum circuits, the framework expands the tools available for designing and analysing more expressive quantum algorithms, setting the stage for new capabilities in quantum computing and quantum machine learning.