Efficient Implementation Of Quantum Circuit Simulation With Decision Diagrams
Download Efficient Implementation Of Quantum Circuit Simulation With Decision Diagrams PDF/ePub or read online books in Mobi eBooks. Click Download or Read Online button to get Efficient Implementation Of Quantum Circuit Simulation With Decision Diagrams book now. This website allows unlimited access to, at the time of writing, more than 1.5 million titles, including hundreds of thousands of titles in various foreign languages.
Efficient Implementation of Quantum Circuit Simulation with Decision Diagrams
This book provides an easy-to-read introduction into quantum computing as well as classical simulation of quantum circuits. The authors showcase the enormous potential that can be unleashed when doing these simulations using decision diagrams—a data structure common in the design automation community but hardly used in quantum computing yet. In fact, the covered algorithms and methods are able to outperform previously proposed solutions on certain use cases and, hence, provide a complementary solution to established approaches. The award-winning methods are implemented and available as open-source under free licenses and can be easily integrated into existing frameworks such as IBM’s Qiskit or Atos’ QLM.
Noise-Aware Quantum Circuit Simulation with Decision Diagrams
This book provides an easy-to-read introduction to quantum computing, as well the classical simulation of quantum circuits with common types of error effects. The authors showcase the enormous potential that can be unleashed when doing these simulations using decision diagrams–a data-structure common in the design automation community, often used in quantum computing design tasks. The algorithms and methods described can outperform previously proposed solutions in some cases, providing a complementary solution to established approaches. Finally, the necessity of noise-aware classical quantum circuit simulation is demonstrated through a practical use-case: the evaluation of quantum error correcting codes.
Model Checking Software
This book constitutes the refereed proceedings of the 29th International Symposium on Model Checking Software, SPIN 2023, held in Paris, France, during April 26–27, 2023. The 9 full papers and 2 short papers included in this book were carefully reviewed and selected from 21 submissions. They were organized in topical sections as follows: binary decision diagrams, concurrency, testing, synthesis, explicit-state model checking.