The GHZ/W-calculus contains rational arithmetic

نویسندگان

  • Bob Coecke
  • Aleks Kissinger
  • Alex Merry
  • Shibdas Roy
چکیده

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.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

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.

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2010