7 research outputs found
Piecewise Boolean Algebras and Their Domains
We characterise piecewise Boolean domains, that is, those domains that arise
as Boolean subalgebras of a piecewise Boolean algebra. This leads to equivalent
descriptions of the category of piecewise Boolean algebras: either as piecewise
Boolean domains equipped with an orientation, or as full structure sheaves on
piecewise Boolean domains.Comment: 11 page
Domains of Commutative C-Subalgebras
Contains fulltext :
147450.pdf (preprint version ) (Open Access)LICS 2015 : 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 6-10 July 2015 Kyoto, Japa
The Many Classical Faces of Quantum Structures
Interpretational problems with quantum mechanics can be phrased precisely by
only talking about empirically accessible information. This prompts a
mathematical reformulation of quantum mechanics in terms of classical
mechanics. We survey this programme in terms of algebraic quantum theory.Comment: 24 page
Boolean Subalgebras of Orthoalgebras
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.Comment: 43 page
Boolean subalgebras of orthoalgebras
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
Domains of commutative C*-subalgebras
A C*-algebra is determined to a great extent by the partial order of its
commutative C*-algebras. We study order-theoretic properties of this dcpo. Many
properties coincide: the dcpo is, equivalently, algebraic, continuous,
meet-continuous, atomistic, quasi-algebraic, or quasi-continuous, if and only
if the C*-algebra is scattered. For C*-algebras with enough projections, these
properties are equivalent to finite-dimensionality. Approximately
finite-dimensional elements of the dcpo correspond to Boolean subalgebras of
the projections of the C*-algebra, which determine the projections up to
isomorphism. Scattered C*-algebras are finite-dimensional if and only if their
dcpo is Lawson-scattered. General C*-algebras are finite-dimensional if and
only if their dcpo is order-scattered.Comment: 42 page