Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Optimising Clifford Circuits with Quantomatic   We present a system of equations between Clifford circuits, all derivable in
the ZX-calculus, and formalised as rewrite rules in the Quantomatic proof
assistant. By combining these rules with some non-trivial simplification
procedures defined in the Quantomatic tactic language, we demonstrate the use
of Quantomatic as a circuit optimisation tool. We prove that the system always
reduces Clifford circuits of one or two qubits to their minimal form, and give
numerical results demonstrating its performance on larger Clifford circuits.

21
The categories of this paper are: adap-org
18
The categories of this paper are: econ
8
The categories of this paper are: hep-ex
17
The categories of this paper are: q-fin
14
The categories of this paper are: math-ph
35
The categories of this paper are: mtrl-th
0
The categories of this paper are: hep-ph
33
The categories of this paper are: plasm-ph
6
The categories of this paper are: astro-ph
12
The categories of this paper are: nucl-th
34
The categories of this paper are: chem-ph
25
The categories of this paper are: patt-sol
11
The categories of this paper are: hep-lat
24
The categories of this paper are: dg-ga
28
The categories of this paper are: alg-geom
31
The categories of this paper are: ao-sci