The GHZ/W-calculus contains rational arithmetic
نویسندگان
چکیده
Graphical calculi provide an intuitive, compositional way to express and manipulate quantum states and processes. They also provide a bridge to automated techniques for reasoning and computation via graph rewriting. The power of these calculi stems from the fact that they subsume a wide range of symmetries in the structure of quantum operations such as the Choi-Jamiolkowski isomorphism. One such calculus takes the GHZ and W states as its basic generators. Here we show that this language allows one to encode standard rational arithmetic, with the GHZ state as multiplication, the W state as addition, the Pauli X gate as multiplicative inversion, and the Pauli Z gate as additive inversion.
منابع مشابه
Implementing and Automating complex arithmetic in quantomatic
Much work has been done on trying to understand and classify multipartite entanglement. For the past few years Categorical Quantum Mechanics [AC04], which introduces a formalism of quantum mechanics in terms of Symmetric Monoidal Categories (SMCs), has been used successfully in describing quantum systems at a high level of abstraction. From this work emerges a graphical calculus which is powerf...
متن کاملIntegrating Linear Arithmetic into Superposition Calculus
We present a method of integrating linear rational arithmetic into superposition calculus for first-order logic. One of our main results is completeness of the resulting calculus under some finiteness assumptions.
متن کاملA diagrammatic axiomatisation of the GHZ and W quantum states
In the context of categorical quantum mechanics, Coecke and Kissinger suggested that two 3-qubit states, GHZ and W, may be used as the building blocks of a new graphical calculus, aimed at a diagrammatic classification of multipartite qubit entanglement under stochastic local operations and classical communication (SLOCC). We present a full graphical axiomatisation of the relations between GHZ ...
متن کاملSchubert Polynomials and Arakelov Theory of Orthogonal Flag Varieties
We propose a theory of combinatorially explicit Schubert polynomials which represent the Schubert classes in the Borel presentation of the cohomology ring of the orthogonal flag variety X = SON/B. We use these polynomials to describe the arithmetic Schubert calculus on X. Moreover, we give a method to compute the natural arithmetic Chern numbers on X, and show that they are all rational numbers.
متن کاملGeometric-Arithmetic Index of Hamiltonian Fullerenes
A graph that contains a Hamiltonian cycle is called a Hamiltonian graph. In this paper we compute the first and the second geometric – arithmetic indices of Hamiltonian graphs. Then we apply our results to obtain some bounds for fullerene.
متن کامل