Well-tempered ZX and ZH Calculi

• URL: http://arxiv.org/abs/2006.02557v2
• Date: Mon, 6 Sep 2021 00:54:35 GMT
• Title: Well-tempered ZX and ZH Calculi
• Authors: Niel de Beaudrap (University of Oxford)
• Abstract summary: We present renormalised generators for the ZX calculus, which form a bialgebra precisely. We also present a similar renormalised version of the ZH calculus.
• Score: 0.0
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: The ZX calculus is a mathematical tool to represent and analyse quantum operations by manipulating diagrams which in effect represent tensor networks. Two families of nodes of these networks are ones which commute with either Z rotations or X rotations, usually called "green nodes" and "red nodes" respectively. The original formulation of the ZX calculus was motivated in part by properties of the algebras formed by the green and red nodes: notably, that they form a bialgebra -- but only up to scalar factors. As a consequence, the diagram transformations and notation for certain unitary operations involve "scalar gadgets" which denote contributions to a normalising factor. We present renormalised generators for the ZX calculus, which form a bialgebra precisely. As a result, no scalar gadgets are required to represent the most common unitary transformations, and the corresponding diagram transformations are generally simpler. We also present a similar renormalised version of the ZH calculus. We obtain these results by an analysis of conditions under which various "idealised" rewrites are sound, leveraging the existing presentations of the ZX and ZH calculi.

Related papers

• Simple qudit ZX and ZH calculi, via integrals [0.0]
  ZX calculus and ZH calculus use diagrams to denote quantum operations, using rewrite rules' to transform between diagrams which denote the same operator through a functorial semantic map. 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.
  arXiv  Detail & Related papers  (2023-04-06T18:00:31Z)
• The tilted CHSH games: an operator algebraic classification [77.34726150561087]
  This article introduces a general systematic procedure for solving any binary-input binary-output game. We then illustrate on the prominent class of tilted CHSH games. We derive for those an entire characterisation on the region exhibiting some quantum advantage.
  arXiv  Detail & Related papers  (2023-02-16T18:33:59Z)
• Geometric Clifford Algebra Networks [53.456211342585824]
  We propose Geometric Clifford Algebra Networks (GCANs) for modeling dynamical systems. GCANs are based on symmetry group transformations using geometric (Clifford) algebras.
  arXiv  Detail & Related papers  (2023-02-13T18:48:33Z)
• Deep Learning Symmetries and Their Lie Groups, Algebras, and Subalgebras from First Principles [55.41644538483948]
  We design a deep-learning algorithm for the discovery and identification of the continuous group of symmetries present in a labeled dataset. We use fully connected neural networks to model the transformations symmetry and the corresponding generators. Our study also opens the door for using a machine learning approach in the mathematical study of Lie groups and their properties.
  arXiv  Detail & Related papers  (2023-01-13T16:25:25Z)
• Geometry of Interaction for ZX-Diagrams [0.0]
  ZX-Calculus is a versatile graphical language for quantum computation equipped with an equational theory. We propose a token-machine-based asynchronous model of both pure ZX-Calculus and its extension to mixed processes.
  arXiv  Detail & Related papers  (2022-06-22T08:52:58Z)
• Qudit lattice surgery [91.3755431537592]
  We observe that lattice surgery, a model of fault-tolerant qubit computation, generalises straightforwardly to arbitrary finite-dimensional qudits. We relate the model to the ZX-calculus, a diagrammatic language based on Hopf-Frobenius algebras.
  arXiv  Detail & Related papers  (2022-04-27T23:41:04Z)
• Addition and Differentiation of ZX-diagrams [0.0]
  We introduce a general, inductive definition of the addition of ZX-diagrams. We provide an inductive differentiation of ZX-diagrams. We also apply our results to deduce a diagram for an Ising Hamiltonian.
  arXiv  Detail & Related papers  (2022-02-23T09:52:26Z)
• Simplification Strategies for the Qutrit ZX-Calculus [0.0]
  The ZX-calculus is a graphical language for suitably represented tensor networks, called ZX-diagrams. The ZX-calculus has found applications in reasoning about quantum circuits, condensed matter systems, quantum algorithms, quantum error codes, and counting problems.
  arXiv  Detail & Related papers  (2021-03-11T19:17:28Z)
• Algebraic Neural Networks: Stability to Deformations [179.55535781816343]
  We study algebraic neural networks (AlgNNs) with commutative algebras. AlgNNs unify diverse architectures such as Euclidean convolutional neural networks, graph neural networks, and group neural networks.
  arXiv  Detail & Related papers  (2020-09-03T03:41:38Z)
• Hamiltonian systems, Toda lattices, Solitons, Lax Pairs on weighted Z-graded graphs [62.997667081978825]
  We identify conditions which allow one to lift one dimensional solutions to solutions on graphs. We show that even for a simple example of a topologically interesting graph the corresponding non-trivial Lax pairs and associated unitary transformations do not lift to a Lax pair on the Z-graded graph.
  arXiv  Detail & Related papers  (2020-08-11T17:58:13Z)
• The general theory of permutation equivarant neural networks and higher order graph variational encoders [6.117371161379209]
  We derive formulae for general permutation equivariant layers, including the case where the layer acts on matrices by permuting their rows and columns simultaneously. This case arises naturally in graph learning and relation learning applications. We present a second order graph variational encoder, and show that the latent distribution of equivariant generative models must be exchangeable.
  arXiv  Detail & Related papers  (2020-04-08T13:29:56Z)

This list is automatically generated from the titles and abstracts of the papers in this site.

This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.