Related papers: Spin-networks in the ZX-calculus
We introduce the Spin-ZX calculus as an elevation of Penrose's diagrams and associated binor calculus to the level of a formal diagrammatic language. The power of doing so is illustrated by the variety of scientific areas we apply it to:…
Loop quantum gravity (LQG) attempts to unify general relativity with quantum physics to offer a complete description of the universe by quantising spacetime geometry, but the numerical calculations we encounter are extraordinarily…
Graphical techniques provide a very useful practical device for calculations involving the so-called spin network states, which encode the quantum degrees of freedom of spatial geometry in loop quantum gravity. Graphical calculus of SU(2),…
The ZX-calculus is a graphical language for suitably represented tensor networks, called ZX-diagrams. Calculations are performed by transforming ZX-diagrams with rewrite rules. The ZX-calculus has found applications in reasoning about…
We expand a set of notions recently introduced providing the general setting for a universal representation of the quantum structure on which quantum information stands. The dynamical evolution process associated with generic quantum…
Using Penrose binor calculus for $SU(2)$ ($SL(2,C)$) tensor expressions, a graphical method for the connection representation of Euclidean Quantum Gravity (real connection) is constructed. It is explicitly shown that: {\it (i)} the recently…
The spin network simulator model represents a bridge between (generalized) circuit schemes for standard quantum computation and approaches based on notions from Topological Quantum Field Theories (TQFT). More precisely, when working with…
We introduce the Scalable ZX-calculus (SZX-calculus for short), a formal and compact graphical language for the design and verification of quantum computations. The SZX-calculus is an extension of the ZX-calculus, a powerful framework that…
The mathematical apparatus of quantum--mechanical angular momentum (re)coupling, developed originally to describe spectroscopic phenomena in atomic, molecular, optical and nuclear physics, is embedded in modern algebraic settings which…
Different graphical calculi have been proposed to represent quantum computation. First the ZX- calculus [4], followed by the ZW-calculus [12] and then the ZH-calculus [1]. We can wonder if new Z*-calculi will continue to be proposed…
We present a pedagogical introduction to SU(2) recoupling theory, focusing on those aspects of the topic which are useful for practical calculations in loop quantum gravity. In particular, we give a self-contained presentation of the…
Tensor networks provide a natural language for non-invertible symmetries in general Hamiltonian lattice models. We use ZX-diagrams, which are tensor network presentations of quantum circuits, to define a non-invertible operator implementing…
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…
Graphical calculi are vital tools for representing and reasoning about quantum circuits and processes. Some are not only graphically intuitive but also logically complete. The best known of these is the ZX-calculus, which is an industry…
Quantum geometric maps, which relate SU(2) spin networks and Lorentz covariant projected spin networks, are an important ingredient of spin foam models (and tensorial group field theories) for 4-dimensional quantum gravity. We give a…
Relativistic spin networks are defined by considering the spin covering of the group SO(4), SU(2) times SU(2). Relativistic quantum spins are related to the geometry of the 2-dimensional faces of a 4-simplex. This extends the idea of…
Spin network states are a powerful tool for constructing the $SU(2)$ gauge theories on a graph. In loop quantum gravity (LQG), they have yielded many promising predictions, although progress has been limited by the computational challenge…
Tensor networks provide a powerful tool for studying many-body quantum systems, particularly making quantum simulations more efficient. In this article, we construct a tensor network representation of the spin network states, which…
Projected spin network states are the canonical basis of quantum states of geometry for the most recent EPR-FK spinfoam models for quantum gravity. They are functionals of both the Lorentz connection and the time normal field. We analyze in…
Spin networks, essentially labeled graphs, are ``good quantum numbers'' for the quantum theory of geometry. These structures encompass a diverse range of techniques which may be used in the quantum mechanics of finite dimensional systems,…