Search Results for author:
Found 6 papers, 2 papers with code
Differentiating and Integrating ZX Diagrams with Applications to Quantum Machine Learning
Here we elevate ZX to an analytical perspective by realising differentiation and integration entirely within the framework of ZX-calculus.
Representing and Implementing Matrices Using Algebraic ZX-calculus
In linear algebra applications, elementary matrices hold a significant role.
Reasoning about conscious experience with axiomatic and graphical mathematics
We cast aspects of consciousness in axiomatic mathematical terms, using the graphical calculus of general process theories (a. k. a symmetric monoidal categories and Frobenius algebras therein).
Kindergarden quantum mechanics graduates (...or how I learned to stop gluing LEGO together and love the ZX-calculus)
This paper is a `spiritual child' of the 2005 lecture notes Kindergarten Quantum Mechanics, which showed how a simple, pictorial extension of Dirac notation allowed several quantum features to be easily expressed and derived, using language even a kindergartner can understand.
A Compositional Model of Consciousness based on Consciousness-Only
Scientific studies of consciousness rely on objects whose existence is assumed to be independent of any consciousness.
A Simplified Stabilizer ZX-calculus
The stabilizer ZX-calculus is a rigorous graphical language for reasoning about quantum mechanics. The language is sound and complete: a stabilizer ZX-diagram can be transformed into another one if and only if these two diagrams represent the same quantum evolution or quantum state.
Quantum Physics Logic in Computer Science
