Showing 1–2 of 2 results for author: Navara, M
-
Maximum Likelihood Estimators of Quantum Probabilities
Authors:
Mirko Navara,
Jan Ševic
Abstract:
Classical probability theory is based on assumptions which are often violated in practice. Therefore quantum probability is a proposed alternative not only in quantum physics, but also in other sciences. However, so far it mostly criticizes the classical approach, but does not suggest a working alternative. Maximum likelihood estimators were given very low attention in this context. We show that t…
▽ More
Classical probability theory is based on assumptions which are often violated in practice. Therefore quantum probability is a proposed alternative not only in quantum physics, but also in other sciences. However, so far it mostly criticizes the classical approach, but does not suggest a working alternative. Maximum likelihood estimators were given very low attention in this context. We show that they can be correctly defined and their computation in closed form is feasible at least in some cases.
△ Less
Submitted 20 January, 2024;
originally announced January 2024.
-
Boolean subalgebras of orthoalgebras
Authors:
John Harding,
Chris Heunen,
Bert Lindenhovius,
Mirko Navara
Abstract:
We develop a direct method to recover an orthoalgebra from its poset of Boolean subalgebras. For this a new notion of direction is introduced. Directions are also used to characterize in purely order-theoretic terms those posets that are isomorphic to the poset of Boolean subalgebras of an orthoalgebra. These posets are characterized by simple conditions defining orthodomains and the additional re…
▽ More
We develop a direct method to recover an orthoalgebra from its poset of Boolean subalgebras. For this a new notion of direction is introduced. Directions are also used to characterize in purely order-theoretic terms those posets that are isomorphic to the poset of Boolean subalgebras of an orthoalgebra. These posets are characterized by simple conditions defining orthodomains and the additional requirement of having enough directions. Excepting pathologies involving maximal Boolean subalgebras of four elements, it is shown that there is an equivalence between the category of orthoalgebras and the category of orthodomains with enough directions with morphisms suitably defined. Furthermore, we develop a representation of orthodomains with enough directions, and hence of orthoalgebras, as certain hypergraphs. This hypergraph approach extends the technique of Greechie diagrams and resembles projective geometry. Using such hypergraphs, every orthomodular poset can be represented by a set of points and lines where each line contains exactly three points.
△ Less
Submitted 5 April, 2018; v1 submitted 10 November, 2017;
originally announced November 2017.
