QSeqSim: A Symbolic Simulator for Qiskit While Loops Using Sequential Quantum Circuits
Dieser Beitrag stellt QSeqSim vor, einen in Qiskit integrierten symbolischen Simulator, der die effiziente Simulation von Quantenprogrammen mit While-Schleifen ermöglicht, indem er diese in sequenzielle Schaltkreise übersetzt und BDD-basiertes gewichtetes Modellzählen nutzt, um Messwahrscheinlichkeiten für großskalige Benchmarks mit mehreren Iterationen zu berechnen.