Uncertainty Principle

Alexander Treml 📧

March 26, 2024

This is a development version of this entry. It might change over time and is not stable. Please refer to release versions for citations.

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

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