Lower and upper probabilities in the distributive lattice of subsystems
arXiv:1410.2040 · doi:10.1088/1751-8113/47/34/345203
Abstract
The set of subsystems of a finite quantum system (with variables in Z(n)) together with logical connectives, is a distributive lattice. With regard to this lattice, the (where P(m) is the projector to) obeys a supermodularity inequality, and it is interpreted as a lower probability in the sense of the Dempster-Shafer theory, and not as a Kolmogorov probability. It is shown that the basic concepts of the Dempster-Shafer theory (lower and upper probabilities and the Dempster multivaluedness) are pertinent to the quantum formalism of finite systems.
References in corpus (7)
- Probabilistic theories with purification
- Interacting Quantum Observables: Categorical Algebra and Diagrammatics
- Quantum Bayes rule
- A Topos Foundation for Theories of Physics: I. Formal Languages for Physics
- A Topos Foundation for Theories of Physics: II. Daseinisation and the Liberation of Quantum Theory
- Consistency, Amplitudes and Probabilities in Quantum Theory
- The complete Heyting algebra of subsystems and contextuality