On Classical Simulation of Quantum Circuits Composed of Clifford Gates
- URL: http://arxiv.org/abs/2405.13590v2
- Date: Mon, 29 Jul 2024 11:25:39 GMT
- Title: On Classical Simulation of Quantum Circuits Composed of Clifford Gates
- Authors: George Biswas,
- Abstract summary: The Gottesman-Knill theorem asserts that quantum circuits composed solely of Clifford gates can be efficiently simulated classically.
In this work, we break down the step-by-step procedure of the Gottesman-Knill theorem in a beginner-friendly manner.
- Score: 0.0
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: The Gottesman-Knill theorem asserts that quantum circuits composed solely of Clifford gates can be efficiently simulated classically. This theorem hinges on the fact that Clifford gates map Pauli strings to other Pauli strings, thereby allowing for a structured simulation process using classical computations. In this work, we break down the step-by-step procedure of the Gottesman-Knill theorem in a beginner-friendly manner, leveraging concepts such as matrix products, tensor products, commutation, anti-commutation, eigenvalues, and eigenvectors of quantum mechanical operators. Through detailed examples illustrating superposition and entanglement phenomena, we aim to provide a clear understanding of the classical simulation of Clifford gate-based quantum circuits. While we do not provide a formal proof of the theorem, we offer intuitive physical insights at each stage where necessary, empowering readers to grasp the fundamental principles underpinning this intriguing aspect of quantum computation.
Related papers
- Quon Classical Simulation: Unifying Clifford, Matchgates and Entanglement [1.1584392437481228]
We propose a unified classical simulation framework for quantum circuits, termed Quon Classical Simulation (QCS)<n>We introduce magic holes, a topological feature that captures the global source of computational hardness in simulating quantum systems.<n>We show that Clifford circuits and Matchgate circuits are free of magic holes and thus efficiently simulable within our model.
arXiv Detail & Related papers (2025-05-12T17:53:05Z) - Clifford and Non-Clifford Splitting in Quantum Circuits: Applications and ZX-Calculus Detection Procedure [49.1574468325115]
We propose and analyze use cases that come from quantum circuits that can be written as product between a Clifford and a Non-Clifford unitary.
We make use of ZX-Calculus and its assets to detect a limiting border of these circuits that would allow for a separation between a Clifford section and a Non-Clifford section.
arXiv Detail & Related papers (2025-04-22T16:10:34Z) - Disentangling unitary dynamics with classically simulable quantum circuits [0.0]
We study both quantum circuit and Hamiltonian dynamics.
We find that expectations of Pauli operators can be simulated efficiently even for deep Clifford circuits.
For the Hamiltonian dynamics we find that the classical simulation generically quickly becomes inefficient.
arXiv Detail & Related papers (2024-10-11T17:18:26Z) - Efficient Learning for Linear Properties of Bounded-Gate Quantum Circuits [63.733312560668274]
Given a quantum circuit containing d tunable RZ gates and G-d Clifford gates, can a learner perform purely classical inference to efficiently predict its linear properties?
We prove that the sample complexity scaling linearly in d is necessary and sufficient to achieve a small prediction error, while the corresponding computational complexity may scale exponentially in d.
We devise a kernel-based learning model capable of trading off prediction error and computational complexity, transitioning from exponential to scaling in many practical settings.
arXiv Detail & Related papers (2024-08-22T08:21:28Z) - Bridging Classical and Quantum: Group-Theoretic Approach to Quantum Circuit Simulation [0.0]
Efficiently simulating quantum circuits on classical computers is a fundamental challenge in quantum computing.
This paper presents a novel theoretical approach that achieves exponential speedups (polynomial runtime) over existing simulators.
The findings may have implications for quantum algorithm design, error correction, and the development of more efficient quantum simulators.
arXiv Detail & Related papers (2024-07-28T20:02:21Z) - Efficient classical simulation of quantum computation beyond Wigner positivity [0.0]
We present the generalization of the CNC formalism, based on closed and noncontextual sets of Pauli observables, to the setting of odd-prime-dimensional qudits.
arXiv Detail & Related papers (2024-07-14T22:25:13Z) - Hysteresis and Self-Oscillations in an Artificial Memristive Quantum Neuron [79.16635054977068]
We study an artificial neuron circuit containing a quantum memristor in the presence of relaxation and dephasing.
We demonstrate that this physical principle enables hysteretic behavior of the current-voltage characteristics of the quantum device.
arXiv Detail & Related papers (2024-05-01T16:47:23Z) - 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) - Lecture Notes on Quantum Electrical Circuits [49.86749884231445]
Theory of quantum electrical circuits goes under the name of circuit quantum electrodynamics or circuit-QED.
The goal of the theory is to provide a quantum description of the most relevant degrees of freedom.
These lecture notes aim at giving a pedagogical overview of this subject for theoretically-oriented Master or PhD students in physics and electrical engineering.
arXiv Detail & Related papers (2023-12-08T19:26:34Z) - Demonstrating Quantum Computation for Quasiparticle Band Structures [0.0]
We demonstrate the first-principles calculation of a quasiparticle band structure on actual quantum computers.
This is achieved by hybrid quantum-classical algorithms in conjunction with qubit-reduction and error-mitigation techniques.
arXiv Detail & Related papers (2023-07-27T03:45:05Z) - Quantum data learning for quantum simulations in high-energy physics [55.41644538483948]
We explore the applicability of quantum-data learning to practical problems in high-energy physics.
We make use of ansatz based on quantum convolutional neural networks and numerically show that it is capable of recognizing quantum phases of ground states.
The observation of non-trivial learning properties demonstrated in these benchmarks will motivate further exploration of the quantum-data learning architecture in high-energy physics.
arXiv Detail & Related papers (2023-06-29T18:00:01Z) - Tensor Networks or Decision Diagrams? Guidelines for Classical Quantum
Circuit Simulation [65.93830818469833]
tensor networks and decision diagrams have independently been developed with differing perspectives, terminologies, and backgrounds in mind.
We consider how these techniques approach classical quantum circuit simulation, and examine their (dis)similarities with regard to their most applicable abstraction level.
We provide guidelines for when to better use tensor networks and when to better use decision diagrams in classical quantum circuit simulation.
arXiv Detail & Related papers (2023-02-13T19:00:00Z) - From a quantum theory to a classical one [117.44028458220427]
We present and discuss a formal approach for describing the quantum to classical crossover.
The method was originally introduced by L. Yaffe in 1982 for tackling large-$N$ quantum field theories.
arXiv Detail & Related papers (2020-04-01T09:16:38Z)
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.