Quantum projective measurements and the CHSH inequality. Echenim, M. *Archive of Formal Proofs*, March, 2021. Paper abstract bibtex This work contains a formalization of quantum projective measurements, also known as von Neumann measurements, which are based on elements of spectral theory. We also formalized the CHSH inequality, an inequality involving expectations in a probability space that is violated by quantum measurements, thus proving that quantum mechanics cannot be modeled with an underlying local hidden-variable theory.

@article{Echenim2021a,
title = {Quantum projective measurements and the CHSH inequality},
author = {Echenim, Mnacho},
year = {2021},
month = mar,
journal = {Archive of Formal Proofs},
volume = {2021},
url = {https://isa-afp.org/entries/Projective_Measurements.html},
abstract = {This work contains a formalization of quantum projective measurements, also known as von Neumann measurements, which are based on elements of spectral theory. We also formalized the CHSH inequality, an inequality involving expectations in a probability space that is violated by quantum measurements, thus proving that quantum mechanics cannot be modeled with an underlying local hidden-variable theory.},
webnote = {Formal proof development in Isabelle, supplement to \cite{Echenim2021}},
bibsource = qplbib
}

Downloads: 0

{"_id":"9WzkBo6uE95cwFEQg","bibbaseid":"echenim-quantumprojectivemeasurementsandthechshinequality-2021","author_short":["Echenim, M."],"bibdata":{"bibtype":"article","type":"article","title":"Quantum projective measurements and the CHSH inequality","author":[{"propositions":[],"lastnames":["Echenim"],"firstnames":["Mnacho"],"suffixes":[]}],"year":"2021","month":"March","journal":"Archive of Formal Proofs","volume":"2021","url":"https://isa-afp.org/entries/Projective_Measurements.html","abstract":"This work contains a formalization of quantum projective measurements, also known as von Neumann measurements, which are based on elements of spectral theory. We also formalized the CHSH inequality, an inequality involving expectations in a probability space that is violated by quantum measurements, thus proving that quantum mechanics cannot be modeled with an underlying local hidden-variable theory.","webnote":"Formal proof development in Isabelle, supplement to i̧teEchenim2021","bibsource":"Quantum Programming Languages & Verification Bibliography, https://git.io/qpl-bib","bibtex":"@article{Echenim2021a,\n title = {Quantum projective measurements and the CHSH inequality},\n author = {Echenim, Mnacho},\n year = {2021},\n month = mar,\n journal = {Archive of Formal Proofs},\n volume = {2021},\n url = {https://isa-afp.org/entries/Projective_Measurements.html},\n abstract = {This work contains a formalization of quantum projective measurements, also known as von Neumann measurements, which are based on elements of spectral theory. We also formalized the CHSH inequality, an inequality involving expectations in a probability space that is violated by quantum measurements, thus proving that quantum mechanics cannot be modeled with an underlying local hidden-variable theory.},\n webnote = {Formal proof development in Isabelle, supplement to \\cite{Echenim2021}},\n bibsource = qplbib\n}\n\n","author_short":["Echenim, M."],"key":"Echenim2021a","id":"Echenim2021a","bibbaseid":"echenim-quantumprojectivemeasurementsandthechshinequality-2021","role":"author","urls":{"Paper":"https://isa-afp.org/entries/Projective_Measurements.html"},"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"https://raw.githubusercontent.com/QuantumPL/bib/main/bbt.bib","dataSources":["JG9W34HAXfSxsC6ML"],"keywords":[],"search_terms":["quantum","projective","measurements","chsh","inequality","echenim"],"title":"Quantum projective measurements and the CHSH inequality","year":2021}