Approximation Methods for Simulation and Equivalence Checking of Noisy Quantum Circuits

Mingyu Huang, Ji Guan, Wang Fang +1

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 comp…