Related papers: Finite-Dimensional ZX-Calculus for Loop Quantum Gr…
The stabilizer ZX-calculus is a rigorous graphical language for reasoning about quantum mechanics. The language is sound and complete: one can transform a stabilizer ZX-diagram into another one using the graphical rewrite rules if and only…
The ZX-calculus is a powerful framework for reasoning in quantum computing. It provides in particular a compact representation of matrices of interests. A peculiar property of the ZX-calculus is the absence of a formal sum allowing the…
The problem of background independent quantum gravity is the problem of defining a quantum field theory of matter and gravity in the absence of an underlying background geometry. Loop quantum gravity (LQG) is a promising proposal for…
Recent completeness results on the ZX-Calculus used a third-party language, namely the ZW-Calculus. As a consequence, these proofs are elegant, but sadly non-constructive. We address this issue in the following. To do so, we first describe…
We embark on the vast program of integrating the dynamics of Loop Quantum Gravity (LQG). Adopting the strategy of decomposing spin network states into small blocks of (quantum) geometry which can later be glued back together, we focus on…
An open issue in loop quantum gravity (LQG) is the introduction of a non-vanishing cosmological constant $\Lambda$. In 3d, Chern-Simons theory provides some guiding lines: $\Lambda$ appears in the quantum deformation of the gauge group. The…
The discrete picture of geometry arising from the loop representation of quantum gravity can be extended by a quantum deformation. The operators for area and volume defined in the q-deformation of the theory are partly diagonalized. The…
The unification of general relativity and quantum theory is one of the fascinating problems of modern physics. One leading solution is Loop Quantum Gravity (LQG). Simulating LQG may be important for providing predictions which can then be…
Quantum computing is an emerging technology in which quantum mechanical properties are suitably utilized to perform certain compute-intensive operations faster than classical computers. Quantum algorithms are designed as a combination of…
The quantum-reduced loop-gravity technique has been introduced for dealing with cosmological models. We show that it can be applied rather generically: anytime the spatial metric can be gauge-fixed to a diagonal form. The technique selects…
We present a simple and efficient way to reduce the contraction cost of a tensor network to simulate a quantum circuit. We start by interpreting the circuit as a ZX-diagram. We then use simplification and local complementation rules to…
This is a (relatively) non -- technical summary of the status of the quantum dynamics in Loop Quantum Gravity (LQG). We explain in detail the historical evolution of the subject and why the results obtained so far are non -- trivial. The…
Loop Quantum Gravity is now a well established approach to quantum gravity. One of the main challenges still faced by the theory is constructing a consistent dynamics which would lead back to the standard dynamics of the gravitational field…
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,…
Quantum Reduced Loop Gravity is a promising framework for linking Loop Quantum Gravity and the effective semiclassical dynamics of Loop Quantum Cosmology. We review its basic achievements and its main perspectives, outlining how it provides…
Graphical languages are a convenient shorthand to represent computation, with rewrite rules relating one graph to another. In contrast, proof assistants rely heavily on inductive datatypes, particularly when giving semantics to embedded…
Computations in Dynamical Triangulation Models of Four-Dimensional Quantum Gravity involve weighted averaging over sets of all distinct triangulations of compact four-dimensional manifolds. In order to be able to perform such computations…
The intention of this thesis is to provide general tools and concepts that allow to perform a mathematically substantiated symmetry reduction in (quantum) gauge field theories. Here, the main focus is on the framework of loop quantum…
In this PhD thesis, we introduced a new strategy to investigate the kinematical and physical predictions of self dual Loop Quantum Gravity (LQG) and by-passed the old problem of implementing quantum mechanically the so called reality…
This thesis is dedicated to the study of open spin networks. We formulate quasi-local descriptions of loop quantum gravity. We investigate the coarse-graining procedure via tracing over bulk degrees of freedom, which encodes all that we can…