相关论文: Finite-Dimensional ZX-Calculus for Loop Quantum Gr…
Quantum computers promise to efficiently solve important problems classical computers never will. However, in order to capitalize on these prospects, a fully automated quantum software stack needs to be developed. This involves a multitude…
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…
Calculations in Loop Quantum Gravity (LQG) and spin-foams theory rely heavily on group theory of SU(2) and SL(2,C). Even though many monographs exist devoted to this theory, the different tools needed (e.g. representation theory, harmonic…
Should nature be supersymmetric, then it will be described by Quantum Supergravity at least in some energy regimes. The currently most advanced description of Quantum Supergravity and beyond is Superstring Theory/M-Theory in 10/11…
This papers offers a critical discussion on the procedure by which Loop Quantum Cosmology (LQC) is constructed from the full Loop Quantum Gravity (LQG) theory. Revising recent issues in preserving SU(2) symmetry when quantizing the…
The ZX-Calculus is a graphical language for quantum mechanics. An axiomatisation has recently been proven to be complete for an approximatively universal fragment of quantum mechanics, the so-called Clifford+T fragment. We focus here on the…
ZX-Calculus is a versatile graphical language for quantum computation equipped with an equational theory. Getting inspiration from Geometry of Interaction, in this paper we propose a token-machine-based asynchronous model of both pure…
Systematic discovery of optimization paths in quantum circuit simplification remains a challenge. Today, ZX-calculus, a computing model for quantum circuit transformation, is attracting attention for its highly abstract graph-based…
Quantum computing is an emerging computational paradigm with the potential to outperform classical computers in solving a variety of problems. To achieve this, quantum programs are typically represented as quantum circuits, which must be…
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…
To adopt a practical method to calculate the action of geometrical operators on quantum states is a crucial task in loop quantum gravity. In the series of papers, we will introduce a graphical method, developed by Yutsis and Brink, to loop…
Loop Quantum Gravity (LQG) is a non-perturbative attempt at quantization of a classical phase space description of gravity in terms of $SU(2)$ connections and electric fields. As emphasized recently [1], on this phase space, classical…
In the path integral formulation of the reduced phase space Loop Quantum Gravity (LQG), we propose a new approach to allow the spatial cubic lattice (graph) to change dynamically in the physical time evolution. The equations of motion of…
Quantum computers allow a near-exponential speed-up for specific applications when compared to classical computers. Despite recent advances in the hardware of quantum computers, their practical usage is still severely limited due to a…
We give a relativistic spin network model for quantum gravity based on the Lorentz group and its q-deformation, the Quantum Lorentz Algebra. We propose a combinatorial model for the path integral given by an integral over suitable…
A manifestly Lorentz-covariant formulation of Loop Quantum Gravity (LQG) is given in terms of finite-dimensional representations of the Lorentz group. The formulation accounts for discrete symmetries, such as parity and time-reversal, and…
Quantum circuit cutting refers to a series of techniques that allow one to partition a quantum computation on a large quantum computer into several quantum computations on smaller devices. This usually comes at the price of a sampling…
A leading choice of error correction for scalable quantum computing is the surface code with lattice surgery. The basic lattice surgery operations, the merging and splitting of logical qubits, act non-unitarily on the logical states and are…
Loop Quantum Gravity (LQG) is an attempt to describe the quantum gravity regime. Introducing a non-zero cosmological constant $\Lambda$ in this context has been a withstanding problem. Other approaches, such as Chern-Simons gravity, suggest…
Quantum computations are easily represented in the graphical notation known as the ZX-calculus, a.k.a. the red-green calculus. We demonstrate its use in reasoning about measurement-based quantum computing, where the graphical syntax…