2013/05/06 by Olivier Brunet, Brunet, Olivier
Computer Science · Physics and Astronomy · #FOS: Mathematics #FOS: Physical sciences #Logic (math.LO) #Quantum Computing Algorithms and Architecture #Quantum Information and Cryptography #Quantum Mechanics and Applications #Quantum Physics (quant-ph)
paper · pdf · doi:10.48550/arxiv.1305.1262
openalex publication_date 2013/05/06 · openalex created_date 2016/06/24 · openalex updated_date 2026/07/28
The notion of state vector is, in quantum mechanics, as central as it is problematic, as illustrates the wealth of publications about the sub- jects, including in particular the many attempts to obtain an acceptable interpretation of quantum mechanics. In this article, we propose a different approach, and initiate the study of a formulation of quantum mechanics, where the notion of state is entirely replaced by assertions about measurement outcomes. We define a notion of "verification" which represents the knowledge that one may have about the possible outcomes of the measurements performed on a quantum system, and express a set of logical rules which allow to reason about quantum systems using verification assertions only, and thus making no reference to the problematic notion of state.