Book contents
- Frontmatter
- Contents
- Preface
- Acknowledgements
- 1 Introduction
- 2 Basics of Model Checking
- 3 Basics of Quantum Theory
- 4 Model Checking Quantum Automata
- 5 Model Checking Quantum Markov Chains
- 6 Model Checking Super-Operator-Valued Markov Chains
- 7 Conclusions and Prospects
- Appendix 1 Proofs of Technical Lemmas in Chapter 4
- Appendix 2 Proofs of Technical Lemmas in Chapter 5
- Appendix 3 Proofs of Technical Lemmas in Chapter 6
- References
- Index
3 - Basics of Quantum Theory
Published online by Cambridge University Press: 14 January 2021
Book contents
- Frontmatter
- Contents
- Preface
- Acknowledgements
- 1 Introduction
- 2 Basics of Model Checking
- 3 Basics of Quantum Theory
- 4 Model Checking Quantum Automata
- 5 Model Checking Quantum Markov Chains
- 6 Model Checking Super-Operator-Valued Markov Chains
- 7 Conclusions and Prospects
- Appendix 1 Proofs of Technical Lemmas in Chapter 4
- Appendix 2 Proofs of Technical Lemmas in Chapter 5
- Appendix 3 Proofs of Technical Lemmas in Chapter 6
- References
- Index
Summary
This chapter is intended to introduce some basic notions of quantum theory needed in the subsequent chapters for the reader who is not familiar with them. Quantum mechanics is a fundamental physics subject that studies the phenomena at the atomic and subatomic scales. This chapter introduces the required mathematical tools and presents the postulates mainly through their mathematical formalisms. The physics interpretation of these is only very briefly discussed.
Keywords
- Type
- Chapter
- Information
- Model Checking Quantum SystemsPrinciples and Algorithms, pp. 31 - 49Publisher: Cambridge University PressPrint publication year: 2021