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

• On the Constant Depth Implementation of Pauli Exponentials [49.48516314472825]
  We decompose arbitrary exponentials into circuits of constant depth using $mathcalO(n)$ ancillae and two-body XX and ZZ interactions. We prove the correctness of our approach, after introducing novel rewrite rules for circuits which benefit from qubit recycling.
  arXiv  Detail & Related papers  (2024-08-15T17:09:08Z)
• 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)
• 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.