Related papers: Finite-Dimensional ZX-Calculus for Loop Quantum Gr…
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 relation between Loop Quantum Gravity (LQG) and tensor network is explored from the perspectives of bulk-boundary duality and holographic entanglement entropy. We find that the LQG spin-network states in a space $\Sigma$ with boundary…
Loop Quantum Gravity defines the quantum states of space geometry as spin networks and describes their evolution in time. We reformulate spin networks in terms of harmonic oscillators and show how the holographic degrees of freedom of the…
In loop quantum gravity (LQG), states of the gravitational field are represented by labeled graphs called spin networks. Their dynamics can be described by a Hamiltonian constraint, { which acts on the spin network states modifying both…
The ZX-calculus is a graphical language for quantum processes with built-in rewrite rules. The rewrite rules allow equalities to be derived entirely graphically, leading to the question of completeness: can any equality that is derivable…
The ZX-calculus is a graphical language for reasoning about quantum computation using ZX-diagrams, a certain flexible generalisation of quantum circuits that can be used to represent linear maps from $m$ to $n$ qubits for any $m,n \geq 0$.…
The ZX-Calculus is a graphical language for diagrammatic reasoning in quantum mechanics and quantum information theory. It comes equipped with an equational presentation. We focus here on a very important property of the language:…
The study of toy models in loop quantum gravity (LQG), defined as truncations of the full theory, is relevant to both the development of the LQG phenomenology, in cosmology and astrophysics, and the progress towards the resolution of the…
In 2008 Coecke and Duncan proposed the graphical ZX-calculus rewrite system which came to formalize reasoning with quantum circuits, measurements and quantum states. The ZX-calculus is sound for qubit quantum mechanics. Hence, equality of…
We apply the full theory of Loop Quantum Gravity (LQG) to cosmology and present a top-down derivation of gauge-invariant cosmological perturbation theory from quantum gravity. The derivation employs the reduced phase space formulation of…
We define a modification of LQG in which graphs are required to consist in piecewise linear edges, which we call piecewise linear LQG (plLQG). At the diffeomorphism invariant level, we prove that plLQG is equivalent to standard LQG, as long…
The ZX-Calculus is a powerful graphical language for quantum mechanics and quantum information processing. The completeness of the language -- i.e. the ability to derive any true equation -- is a crucial question. In the quest of a complete…
Loop Quantum Gravity (LQG) is a promising approach to quantum gravity, in particular because it is based on a rigorous quantization of the kinematics of gravity. A difficult and still open problem in the LQG program is the construction of…
ZX-calculus is a high-level graphical formalism for qubit computation. In this paper we give the ZX-rules that enable one to derive all equations between 2-qubit Clifford+T quantum circuits. Our rule set is only a small extension of the…
ZX-calculus is a graphical language for quantum computing which is complete in the sense that calculation in matrices can be done in a purely diagrammatic way. However, all previous universally complete axiomatisations of ZX-calculus have…
This article presents an "in-a-nutshell" yet self-contained introductory review on loop quantum gravity (LQG) -- a background-independent, nonperturbative approach to a consistent quantum theory of gravity. Instead of rigorous and…
The ZX-calculus was introduced as a graphical language able to represent specific quantum primitives in an intuitive way. The recent completeness results have shown the theoretical possibility of a purely graphical description of quantum…
Quantum Error-Correcting Codes (QECCs) play a crucial role in enhancing the robustness of quantum computing and communication systems against errors. Within the realm of QECCs, stabilizer codes, and specifically graph codes, stand out for…
A spin network is a generalization of a knot or link: a graph embedded in space, with edges labelled by representations of a Lie group, and vertices labelled by intertwining operators. Such objects play an important role in 3-dimensional…
In this paper, we give a universal completion of the ZX-calculus for the whole of pure qubit quantum mechanics. This proof is based on the completeness of another graphical language: the ZW-calculus, with direct translations between these…