Reduced quantum circuits for stabilizer states and graph states
- URL: http://arxiv.org/abs/2107.00885v1
- Date: Fri, 2 Jul 2021 07:57:27 GMT
- Title: Reduced quantum circuits for stabilizer states and graph states
- Authors: Marc Bataille
- Abstract summary: We show how to reduce the two-qubit gate count in circuits implementing graph states.
All the algorithms described in the paper are implemented in the C language as a Linux command available on GitHub.
- Score: 0.0
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: We start by studying the subgroup structures underlying stabilizer circuits
and we use our results to propose a new normal form for stabilizer circuits.
This normal form is computed by induction using simple conjugation rules in the
Clifford group. It has shape CX-CZ-P-H-CZ-P-H, where CX (resp. CZ) denotes a
layer of $\cnot$ (resp. $\cz$) gates, P a layer of phase gates and H a layer of
Hadamard gates. Then we consider a normal form for stabilizer states and we
show how to reduce the two-qubit gate count in circuits implementing graph
states. Finally we carry out a few numerical tests on classical and quantum
computers in order to show the practical utility of our methods. All the
algorithms described in the paper are implemented in the C language as a Linux
command available on GitHub.
Related papers
- Equivalence Classes of Quantum Error-Correcting Codes [49.436750507696225]
Quantum error-correcting codes (QECC's) are needed to combat the inherent noise affecting quantum processes.
We represent QECC's in a form called a ZX diagram, consisting of a tensor network.
arXiv Detail & Related papers (2024-06-17T20:48:43Z) - Compilation of algorithm-specific graph states for quantum circuits [55.90903601048249]
We present a quantum circuit compiler that prepares an algorithm-specific graph state from quantum circuits described in high level languages.
The computation can then be implemented using a series of non-Pauli measurements on this graph state.
arXiv Detail & Related papers (2022-09-15T14:52:31Z) - Efficient Quantum Circuit Design with a Standard Cell Approach, with an Application to Neutral Atom Quantum Computers [45.66259474547513]
We design quantum circuits by using the standard cell approach borrowed from classical circuit design.
We present evidence that, when compared with automatic routing methods, our layout-aware routers are significantly faster and achieve shallower 3D circuits.
arXiv Detail & Related papers (2022-06-10T10:54:46Z) - Dynamic Qubit Routing with CNOT Circuit Synthesis for Quantum
Compilation [0.0]
We propose the algorithm PermRowCol for routing CNOTs in a quantum circuit.
It dynamically remaps logical qubits during the computation, and thus results in fewer output CNOTs than the algorithms Steiner-Gauss and RowCol.
arXiv Detail & Related papers (2022-05-02T08:20:13Z) - Improved Graph Formalism for Quantum Circuit Simulation [77.34726150561087]
We show how to efficiently simplify stabilizer states to canonical form.
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(n3)$ to $O(nd2)$ where $d$ is the maximum degree of the graph.
arXiv Detail & Related papers (2021-09-20T05:56:25Z) - Extending the Graph Formalism to Higher-Order Gates [0.0]
We show how a $mathcalC_3$ gate acting on a stabilizer state splits it into two stabilizer states.
We discuss applications of our algorithm to circuit identities and finding low stabilizer rank representations of magic states.
arXiv Detail & Related papers (2021-08-05T15:39:31Z) - Learning quantum circuits of some $T$ gates [10.609715843964263]
It has been unknown how to handle circuits beyond the Clifford group.
We show that the output state of a $T$-depth one circuit textitof full $T$-rank can be represented by a stabilizer pseudomixture.
arXiv Detail & Related papers (2021-06-23T16:43:01Z) - Reducing stabilizer circuits without the symplectic group [0.0]
We provide two normal forms for stabilizer circuits.
The first normal form has shape CX-CZ-P-Z-X-H-CZ-P-H, where CX (resp. CZ) denotes a layer of CNOT (resp. controlled-Z) gates, P a layer of phase gates, X (resp. Z) a layer of Pauli-X (resp. Pauli-Z) gates.
We also consider normal forms for stabilizer states and graph states.
arXiv Detail & Related papers (2020-12-16T19:44:38Z) - Machine Learning Optimization of Quantum Circuit Layouts [63.55764634492974]
We introduce a quantum circuit mapping, QXX, and its machine learning version, QXX-MLP.
The latter infers automatically the optimal QXX parameter values such that the layed out circuit has a reduced depth.
We present empiric evidence for the feasibility of learning the layout method using approximation.
arXiv Detail & Related papers (2020-07-29T05:26:19Z) - On Actual Preparation of Dicke State on a Quantum Computer [4.098348230722067]
We study the importance of concise realizations of Partially defined Unitary Transformations for better circuit construction.
We provide the most efficient Deterministic Dicke State Preparation Circuit in terms of CNOT and single qubit gate counts.
We analyze different ways of distributing the CNOT gates in the circuit and its affect on the induced error.
arXiv Detail & Related papers (2020-07-03T13:40:32Z) - Quantum Gram-Schmidt Processes and Their Application to Efficient State
Read-out for Quantum Algorithms [87.04438831673063]
We present an efficient read-out protocol that yields the classical vector form of the generated state.
Our protocol suits the case that the output state lies in the row space of the input matrix.
One of our technical tools is an efficient quantum algorithm for performing the Gram-Schmidt orthonormal procedure.
arXiv Detail & Related papers (2020-04-14T11:05:26Z)
This list is automatically generated from the titles and abstracts of the papers in this site.
This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.