Approximation Methods for Simulation and Equivalence Checking of Noisy Quantum Circuits

In the current NISQ (Noisy Intermediate-Scale Quantum) era, simulating and verifying noisy quantum circuits is crucial but faces challenges such as quantum state explosion and complex noise representations, constraining simulation and equivalence checking to circuits with a limited number of qubits....

Celý popis

Uloženo v:
Podrobná bibliografie
Vydáno v:IEEE transactions on computer-aided design of integrated circuits and systems s. 1
Hlavní autoři: Huang, Mingyu, Guan, Ji, Fang, Wang, Ying, Mingsheng
Médium: Journal Article
Jazyk:angličtina
Vydáno: IEEE 2025
Témata:
approximation algorithm
Approximation algorithms
Circuit faults
Circuits
equivalence checking
Logic gates
Noise
Noise measurement
noisy simulation
Quantum circuit
Quantum circuits
Quantum computing
Qubit
tensor network
Tensors
ISSN:0278-0070, 1937-4151
On-line přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Popis
Shrnutí:In the current NISQ (Noisy Intermediate-Scale Quantum) era, simulating and verifying noisy quantum circuits is crucial but faces challenges such as quantum state explosion and complex noise representations, constraining simulation and equivalence checking to circuits with a limited number of qubits. This paper introduces an approximation algorithm for simulating and assessing the equivalence of noisy quantum circuits, specifically designed to improve scalability under low-noise conditions. The approach utilizes a novel tensor network diagram combined with singular value decomposition to approximate the tensors of quantum noises. The implementation is based on Google's TensorNetwork Python package for contraction. Experimental results on realistic quantum circuits with realistic hardware noise models indicate that our algorithm can simulate and check the equivalence of QAOA (Quantum Approximate Optimization Algorithm) circuits with around 200 qubits and 20 noise operators, outperforming state-of-the-art approaches in scalability and speed.
ISSN:0278-0070
1937-4151
DOI:10.1109/TCAD.2025.3623498