Niel de Beaudrap,Richard D. P. East
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 single `ZXH-calculus'. We demonstrate rewrite rules for the `stabiliser fragment' of the ZX calculus and a `multicharacter fragment' of the ZH calculus.
What problem does this paper attempt to address?
### Problems the paper attempts to solve
This paper aims to solve the standardization problems in ZX and ZH graph calculations in quantum computing, especially when dealing with qudits of any dimension \( D > 1 \). Specifically, the paper focuses on the following points:
1. **Standardization problems**: Most existing ZX and ZH graph calculation methods have complexity in dealing with scalar factors and need to frequently add or remove scalar gadgets. This makes the calculation process cumbersome and difficult to manage. The paper proposes a new method. By introducing discrete integration and point - mass functions, it simplifies the handling of these scalar factors, thus avoiding frequent scalar gadget operations.
2. **Unified semantic mapping**: The paper attempts to provide a unified semantic mapping for ZX and ZH graph calculations, making it applicable to qudits of any dimension \( D > 1 \). This method not only simplifies the semantic definition but also allows the two graph calculation systems to interoperate seamlessly, forming a unified "ZXH - calculus".
3. **Convenient rewrite rules**: By introducing discrete integration, the paper shows how to define convenient rewrite rules. These rules are more concise and intuitive when performing graph calculations. In particular, these rules can reduce the dependence on scalar gadgets, making the graph calculation process more efficient and easier to understand.
4. **Extension to high - dimensional qudits**: The paper not only focuses on two - dimensional qubits but also considers higher - dimensional qudits, especially when \( D \) is a composite number or an even number. This is of great significance for expanding the theory and application of quantum computing.
### Main contributions
- **Discrete integration and point - mass functions**: By introducing discrete integration and point - mass functions, the paper provides a new method to handle scalar factors in graph calculations and simplifies the definition of semantic mapping.
- **Unified semantic mapping**: The paper proposes a unified semantic mapping applicable to any dimension \( D > 1 \), enabling seamless interoperability between ZX and ZH graph calculation systems.
- **Convenient rewrite rules**: The paper shows how to define convenient rewrite rules. These rules are more concise and intuitive when performing graph calculations and reduce the dependence on scalar gadgets.
- **Extension to high - dimensional qudits**: The paper not only focuses on two - dimensional qubits but also considers higher - dimensional qudits, especially when \( D \) is a composite number or an even number, providing a theoretical basis for high - dimensional quantum computing.
### Conclusion
By introducing discrete integration and point - mass functions, the paper provides a new method to deal with the standardization problems in quantum computing, especially for qudits of any dimension \( D > 1 \). This method not only simplifies the definition of semantic mapping but also allows ZX and ZH graph calculation systems to interoperate seamlessly, forming a unified "ZXH - calculus". These contributions provide new ideas and tools for the development of quantum computing theory.