Quotients and comprehension are fundamental mathematical constructions that
can be described via adjunctions in categorical logic. This paper reveals that
quotients and comprehension are related to measurement, not only in quantum
logic, but also in probabilistic and classical logic. This relation is
presented by a long series of examples, some of them easy, and some also highly
non-trivial (esp. for von Neumann algebras). We have not yet identified a
unifying theory. Nevertheless, the paper contributes towards such a theory by
introducing the new quotient-and-comprehension perspective on measurement
instruments, and by describing the examples on which such a theory should be
built.Comment: In Proceedings QPL 2015, arXiv:1511.0118
In computer science, especially when dealing with quantum computing or other non-standard models of computation, basic notions in probability theory like "a predicate" vary wildly. There seems to be one constant: the only useful example of an algebra of probabilities is the real unit interval. In
At the heart of the Conway-Kochen Free Will Theorem and Kochen and Specker's argument against non-contextual hidden variable theories is the existence of a Kochen-Specker (KS) system: a set of points on the sphere that has no {0, 1}-coloring such that at most one of two orthogonal points are colored 1 and of three pairwise orthogonal points exactly one is colored 1. In public lectures, Conway encouraged the search for small KS systems. At the time of writing, the smallest known KS system has 31 vectors.Arends, Ouaknine and Wampler have shown that a KS system has at least 18 vectors, by reducing the problem to the existence of graphs with a topological embeddability and non-colorability property. The bottleneck in their search proved to be the sheer number of graphs on more than 17 vertices and deciding embeddability.Continuing their effort, we prove a restriction on the class of graphs we need to consider and develop a more practical decision procedure for embeddability to improve the lower bound to 22.
We study the sequential product, the operation $p * q = \sqrt{p} q \sqrt{p}$
on the set of effects of a von Neumann algebra that represents sequential
measurement of first $p$ and then $q$. We give four axioms which completely
determine the sequential product
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.