Simulating quantum circuits with ZX-calculus reduced stabiliser decompositions

• URL: http://arxiv.org/abs/2109.01076v1
• Date: Thu, 2 Sep 2021 16:42:52 GMT
• Title: Simulating quantum circuits with ZX-calculus reduced stabiliser decompositions
• Authors: Aleks Kissinger and John van de Wetering
• Abstract summary: We introduce an enhanced technique for strong classical simulation of quantum circuits. This technique combines the sum-of-stabilisers' method with an automated simplification strategy based on the ZX-calculus.
• Score: 0.0
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: We introduce an enhanced technique for strong classical simulation of quantum circuits which combines the `sum-of-stabilisers' method with an automated simplification strategy based on the ZX-calculus. Recently it was shown that quantum circuits can be classically simulated by expressing the non-stabiliser gates in a circuit as magic state injections and decomposing them in chunks of 2-6 states at a time, obtaining sums of (efficiently-simulable) stabiliser states with many fewer terms than the naive approach. We adapt these techniques from the original setting of Clifford circuits with magic state injection to generic ZX-diagrams and show that, by interleaving this "chunked" decomposition with a ZX-calculus-based simplification strategy, we can obtain stabiliser decompositions that are many orders of magnitude smaller than existing approaches. We illustrate this technique to perform exact norm calculations (and hence strong simulation) on the outputs of random 50- and 100-qubit Clifford+T circuits with up to 70 T-gates as well as a family of hidden shift circuits previously considered by Bravyi and Gosset with over 1000 T-gates.

Related papers

• Estimating Non-Stabilizerness Dynamics Without Simulating It [43.80709028066351]
  Iterative Clifford Circuit Renormalization (I CCR) is designed to efficiently handle the dynamics of non-stabilizerness in quantum circuits. I CCR embeds the complex dynamics of non-stabilizerness in the flow of an effective initial state. We implement the I CCR algorithm to evaluate the non-stabilizerness dynamics for systems of size up to N = 1000.
  arXiv  Detail & Related papers  (2024-05-09T18:57:55Z)
• Simulating Quantum Circuits by Model Counting [0.0]
  We show for the first time that a strong simulation of universal quantum circuits can be efficiently tackled through weighted model counting. Our work paves the way to apply the existing array of powerful classical reasoning tools to realize efficient quantum circuit compilation.
  arXiv  Detail & Related papers  (2024-03-11T22:40:15Z)
• Faster Quantum Algorithms with "Fractional"-Truncated Series [14.536572102408423]
  We introduce Randomized Truncated Series (RTS), a framework that significantly reduces circuit depth by quadratically improving truncation error and enabling continuous adjustment of the effective truncation order. We generalize the mixing lemma to near-unitary instances to support our error analysis and demonstrate the versatility of RTS through applications in linear combinations of unitaries, quantum signal processing, and quantum differential equations.
  arXiv  Detail & Related papers  (2024-02-08T11:49:24Z)
• Speedy Contraction of ZX Diagrams with Triangles via Stabiliser Decompositions [0.30938904602244344]
  We use the ZX calculus to iteratively decompose magic states into stabiliser terms. We show that this technique greatly speeds up the simulation of quantum circuits involving multi-controlled gates. We also use our software to contract diagrams representing the gradient variance of parametrised quantum circuits.
  arXiv  Detail & Related papers  (2023-07-04T16:13:53Z)
• A self-consistent field approach for the variational quantum eigensolver: orbital optimization goes adaptive [52.77024349608834]
  We present a self consistent field approach (SCF) within the Adaptive Derivative-Assembled Problem-Assembled Ansatz Variational Eigensolver (ADAPTVQE) This framework is used for efficient quantum simulations of chemical systems on nearterm quantum computers.
  arXiv  Detail & Related papers  (2022-12-21T23:15:17Z)
• Vanishing 2-Qubit Gates with Non-Simplification ZX-Rules [1.0089382889894247]
  A quantum circuit can be translated to a ZX-diagram which can be simplified using the rules of the ZX-calculus. The best-known extraction procedures can drastically increase the number of 2-qubit gates. We take advantage of the fact that local changes in a ZX-diagram can drastically affect the complexity of the extracted circuit.
  arXiv  Detail & Related papers  (2022-09-14T18:43:21Z)
• Decomposition of Matrix Product States into Shallow Quantum Circuits [62.5210028594015]
  tensor network (TN) algorithms can be mapped to parametrized quantum circuits (PQCs) We propose a new protocol for approximating TN states using realistic quantum circuits. Our results reveal one particular protocol, involving sequential growth and optimization of the quantum circuit, to outperform all other methods.
  arXiv  Detail & Related papers  (2022-09-01T17:08:41Z)
• Classical simulation of quantum circuits with partial and graphical stabiliser decompositions [0.0]
  We show how, by considering certain non-stabiliser entangled states which have more favourable decompositions, we can speed up simulations. We additionally find a new technique of partial stabiliser decompositions that allow us to trade magic states for stabiliser terms. With our techniques we manage to reliably simulate 50-qubit 1400 T-count hidden shift circuits in a couple of minutes on a consumer laptop.
  arXiv  Detail & Related papers  (2022-02-18T14:04:30Z)
• Simulating the Mott transition on a noisy digital quantum computer via Cartan-based fast-forwarding circuits [62.73367618671969]
  Dynamical mean-field theory (DMFT) maps the local Green's function of the Hubbard model to that of the Anderson impurity model. Quantum and hybrid quantum-classical algorithms have been proposed to efficiently solve impurity models. This work presents the first computation of the Mott phase transition using noisy digital quantum hardware.
  arXiv  Detail & Related papers  (2021-12-10T17:32:15Z)
• A Generic Compilation Strategy for the Unitary Coupled Cluster Ansatz [68.8204255655161]
  We describe a compilation strategy for Variational Quantum Eigensolver (VQE) algorithms. We use the Unitary Coupled Cluster (UCC) ansatz to reduce circuit depth and gate count.
  arXiv  Detail & Related papers  (2020-07-20T22:26:16Z)
• Efficient classical simulation of random shallow 2D quantum circuits [104.50546079040298]
  Random quantum circuits are commonly viewed as hard to simulate classically. We show that approximate simulation of typical instances is almost as hard as exact simulation. We also conjecture that sufficiently shallow random circuits are efficiently simulable more generally.
  arXiv  Detail & Related papers  (2019-12-31T19:00:00Z)

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.