Simple qudit ZX and ZH calculi, via integrals (2304.03310v2)

Abstract: The ZX calculus and ZH calculus use diagrams to denote and compute properties of quantum operations, using rewrite rules' to transform between diagrams which denote the same operator through a functorial semantic map. Different semantic maps give rise to different rewrite systems, which may prove more convenient for different purposes. Using discrete measures, we describe semantic maps for ZX and ZH diagrams, well-suited to analyse unitary circuits and measurements on qudits of any fixed dimension D\>1 as a singleZXH-calculus'. We demonstrate rewrite rules for the stabiliser fragment' of the ZX calculus and amulticharacter fragment' of the ZH calculus.