Abstract:We consider recent works on the simulation of quantum circuits using the formalism of matrix product states and the formalism of contracting tensor networks. We provide simplified direct proofs of many of these results, extending an explicit class of efficiently simulable circuits (log depth circuits with 2-qubit gates of limited range) to the following: let C be any poly sized quantum circuit (generally of poly depth too) on n qubits comprising 1- and 2- qubit gates and 1-qubit measurements (with 2-qubit gates acting on arbitrary pairs of qubit lines). For each qubit line j let D_j be the number of 2-qubit gates that touch or cross the line j i.e. the number of 2-qubit gates that are applied to qubits i,k with i \leq j \leq k. Let D=max_j D_j. Then the quantum process can be classically simulated in time n poly(2^D). Thus if D=O(log n) then C may be efficiently classically simulated.

What problem does this paper attempt to address?

The problem that this paper attempts to solve is to identify families of quantum circuits that can be efficiently simulated by classical computers. Specifically, the author explores how to expand the known categories of quantum circuits that can be efficiently simulated through simplified proofs and direct methods. This not only helps in understanding the power of quantum computing but also has important significance for designing new quantum algorithms. ### Analysis of the Core Problem in the Paper 1. **Problem Background**: - The classical efficient simulation of quantum circuits is a fundamental and important problem, which involves understanding and utilizing the advantages of quantum computing. - Existing research shows that if there is no increase in multi - body entanglement in a quantum algorithm, efficient classical simulation can be guaranteed. In addition, the problem of classical efficient simulation is closely related to different mathematical forms representing quantum states and operations. 2. **Research Objectives**: - Identify families of quantum circuits that can generate entanglement but still be efficiently simulated by classical computers. - Provide simplified and more direct proofs to verify the simulability of these quantum circuits and further expand the categories of these circuits. 3. **Main Contributions**: - Propose a new method, in the form of matrix product states (MPS) and tensor network contraction, to simplify and expand previous research results. - Present a theorem indicating that for any polynomial - sized quantum circuit \(C\), if the maximum number of 2 - qubit gates \(D\) on each qubit wire is \(O(\log n)\), then the circuit can be efficiently simulated by a classical computer. ### Theorem Statement Theorem 1: Let \(C\) be any polynomial - sized quantum circuit containing 1 - and 2 - qubit gates, acting on \(n\) qubits. Let \(C_{\text{red}}\) be the simplified form of \(C\). For each qubit wire \(i\), let \(D_i\) denote the number of 2 - qubit gates that cross or touch this wire, that is, the number of 2 - qubit gates acting on qubits \(j, k\) where \(j\leq i\leq k\). Let \(D = \max_i D_i\). Then this quantum process can be classically simulated within time \(n\cdot\text{poly}(2^D)\). Therefore, if \(D = O(\log n)\), then \(C\) can be classically efficiently simulated. ### Conclusion Through the above theorem, the author shows that certain quantum circuits with specific structures can be efficiently simulated by classical computers, thus providing a theoretical basis for further research on the acceleration mechanism of quantum computing. At the same time, this also provides guidance for designing new quantum algorithms, helping researchers better understand which types of quantum circuits can be efficiently simulated on classical computers.

On the simulation of quantum circuits

Simulating quantum circuits using efficient tensor network contraction algorithms with subexponential upper bound

Deep Circuit Compression for Quantum Dynamics via Tensor Networks

Matchgates and classical simulation of quantum circuits

On Classical Simulation of Quantum Circuits Composed of Clifford Gates

Simulating Quantum Circuits by Model Counting

Improved Classical Simulation of Quantum Circuits Dominated by Clifford Gates

Efficient Classical Simulation of Noisy Quantum Computation

Classical simulation of quantum circuits with partial and graphical stabiliser decompositions

Graph-based simulation of quantum computation in the density matrix representation

Possibilistic simulation of quantum circuits by classical circuits

From estimation of quantum probabilities to simulation of quantum circuits

Simulation technique of quantum compute and quantum logical circuit

Simulation of quantum algorithms using classical probabilistic bits and circuits

Efficient classical simulation of cluster state quantum circuits with alternative inputs

Local Hamiltonian decomposition and classical simulation of parametrized quantum circuits

Efficient Classical Computation of Single-Qubit Marginal Measurement Probabilities to Simulate Certain Classes of Quantum Algorithms

Fast simulation of planar Clifford circuits

Simulating quantum circuits using tree tensor networks

Speeding up quantum circuits simulation using ZX-Calculus