Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Improved Graph Formalism for Quantum Circuit Simulation   Improving the simulation of quantum circuits on classical computers is
important for understanding quantum advantage and increasing development speed.
In this paper, we explore a new way to express stabilizer states and further
improve the speed of simulating stabilizer circuits with a current existing
approach. First, we discover a unique and elegant canonical form for stabilizer
states based on graph states to better represent stabilizer states and show how
to efficiently simplify stabilizer states to canonical form. Second, we develop
an improved algorithm for graph state stabilizer simulation and establish
limitations on reducing the quadratic runtime of applying controlled-Pauli $Z$
gates. We do so by creating a simpler formula for combining two Pauli-related
stabilizer states into one. Third, to better understand the linear dependence
of stabilizer states, we characterize all linearly dependent triplets,
revealing symmetries in the inner products. Using our novel controlled-Pauli
$Z$ algorithm, we improve runtime for inner product computation from $O(n^3)$
to $O(nd^2)$ where $d$ is the maximum degree of the graph.

18
The categories of this paper are: econ
4
The categories of this paper are: cond-mat
23
The categories of this paper are: solv-int
24
The categories of this paper are: dg-ga
0
The categories of this paper are: hep-ph
31
The categories of this paper are: ao-sci
36
The categories of this paper are: cmp-lg
12
The categories of this paper are: nucl-th
6
The categories of this paper are: astro-ph
26
The categories of this paper are: bayes-an
34
The categories of this paper are: chem-ph
15
The categories of this paper are: nucl-ex
3
The categories of this paper are: physics
32
The categories of this paper are: atom-ph
25
The categories of this paper are: patt-sol
10
The categories of this paper are: q-bio