Uncertainty Principle

Alexander Treml 📧

March 26, 2024

Abstract

This is a formal proof of the uncertainty principle known from quantum mechanics. It is based upon work on complex vector spaces contained in the QHLProver session. The formalization follows the proof outlined in the book "Quantum computation and quantum information" by Nielsen and Chuang.

License

BSD License

Topics

Related publications

  • Nielsen, M. A., & Chuang, I. L. (2012). Quantum Computation and Quantum Information. https://doi.org/10.1017/cbo9780511976667

Session Uncertainty_Principle

Depends on

Auto-related entries

Cite

× 
@article{Uncertainty_Principle-AFP,
  author  = {Alexander Treml},
  title   = {Uncertainty Principle},
  journal = {Archive of Formal Proofs},
  month   = {March},
  year    = {2024},
  note    = {\url{https://isa-afp.org/entries/Uncertainty_Principle.html},
             Formal proof development},
  ISSN    = {2150-914x},
}
Download

Download

× Download latest