
Elegant elaboration with function invocation
We present an elegant design of the core language in a dependentlytyped...
read it

Quantum MultipleValued Decision Diagrams in Graphical Calculi
Graphical calculi such as the ZHcalculus are powerful tools in the stud...
read it

A Graphical Calculus for Lagrangian Relations
Symplectic vector spaces are the phase space of linear mechanical system...
read it

Completeness of the ZXCalculus
The ZXCalculus is a graphical language for diagrammatic reasoning in qu...
read it

Reasoning about conscious experience with axiomatic and graphical mathematics
We cast aspects of consciousness in axiomatic mathematical terms, using ...
read it

The emconvex rewrite system
We introduce and study em (or "emergent"), a lambda calculus style rewri...
read it

Parts of Speech Tagging in NLP: Runtime Optimization with Quantum Formulation and ZX Calculus
This paper proposes an optimized formulation of the parts of speech tagg...
read it
On a recipe for quantum graphical languages
Different graphical calculi have been proposed to represent quantum computation. First the ZX calculus [4], followed by the ZWcalculus [12] and then the ZHcalculus [1]. We can wonder if new Z*calculi will continue to be proposed forever. This article answers negatively. All those language share a common core structure we call Z*algebras. We classify Z*algebras up to isomorphism in two dimensional Hilbert spaces and show that they are all variations of the aforementioned calculi. We do the same for linear relations and show that the calculus of [2] is essentially the unique one.
READ FULL TEXT
Comments
There are no comments yet.