Is simulation the only alternative for effective verification of dynamic quantum circuits?

DOI10.1007/978-3-031-62076-8_13MaRDI QIDQ6637599FDOQ6637599

Authors: Liam Hurwitz, K. Datta, Abhoy Kole, Rolf Drechsler 

Publication date: 13 November 2024

zbMATH Keywords

verificationquantum simulationequivalence checkingQMDDZX-calculusdynamic quantum circuit

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Quantum computation (81P68) Other nonclassical models of computation (68Q09)

Cites Work

• Quantum computation and quantum information. 10th anniversary edition
• Interacting Quantum Observables
• Rapid solution of problems by quantum computation
• Kindergarden quantum mechanics graduates \textit{...or how I learned to stop gluing LEGO together and love the ZX-calculus}
• Property checking of quantum circuits using quantum multiple-valued decision diagrams
• Title not available (Why is that?)

This page was built for publication: Is simulation the only alternative for effective verification of dynamic quantum circuits?

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6637599)