Orthomodular Posets Research Articles

Testing for Classicality of a Physical System

Often quantum logics are algebraically modelled by orthomodular posets. The physical system described by such a quantum logic is classical if and only if the corresponding orthomodular poset is a Boolean algebra. We provide an easy testing procedure for this case. Moreover, we characterize orthomodular posets which are lattices and consider orthomodular posets which admit a full set of states and hence represent so-called spaces of numerical events. This way further test procedures are obtained.

A Boolean topological orthomodular poset

Wilce introduced the notion of a topological orthomodular poset and proved any compact topological orthomodular poset whose underlying orthomodular poset is a Boolean algebra is a topological Boolean algebra in the usual sense. Wilce asked whether the compactness assumption was necessary for this result. We provide an example to show the compactness assumption is necessary.

Spaces of Abstract Events

We generalize the concept of a space of numerical events in such a way that this generalization corresponds to arbitrary orthomodular posets whereas spaces of numerical events correspond to orthomodular posets having a full set of states. Moreover, we show that there is a natural one-to-one correspondence between orthomodular posets and certain posets with sectionally antitone involutions. Finally, we characterize orthomodular lattices among orthomodular posets.

The Logic Order on a Generalized Hermitian Algebra

In this paper, a new order, the so-called logic order, is introduced on a generalized Hermitian algebra. We investigate the existence of the infima and the suprema of elements with respect to the logic order in the generalized Hermitian algebra, and give an explicit expression for the infimum of e and p , where p is a projection and e belongs to the unit interval involving the original ordering. Moreover, we also obtain that in regard to this new order, a generalized Hermitian algebra forms a generalized orthomodular poset .

Coreflections in Algebraic Quantum Logic

Various generalizations of Boolean algebras are being studied in algebraic quantum logic, including orthomodular lattices, orthomodular po-sets, orthoalgebras and effect algebras. This paper contains a systematic study of the structure in and between categories of such algebras. It does so via a combination of totalization (of partially defined operations) and transfer of structure via coreflections.

Measures and idempotents in the non-commutative situation

ABSTRACT We investigate measures on sequential orthomodular posets with values in a vector space or a (not necessarily commutative) algebra with reasonable sequential topologies, using a universal property. Unfortunately, the universal measure and the universal multiplicative measure need not coincide any more as in the commutative situation. This may have applications in quantum physics.

Hull mappings and dimension effect algebras

Abstract An effect algebra (EA) is a partial algebraic structure, originally formulated as an algebraic base for unsharp quantum measurements. The class of EAs includes, as special cases, several partially ordered algebraic structures, including orthomodular lattices (OMLs) and orthomodular posets (OMPs), hitherto used as mathematical models for experimentally verifiable propositions pertaining to physical systems. Moreover, MV-algebras, which are mathematical models for many-valued logics, are special cases of EAs. The present paper studies generalizations to EAs of the hull mapping featured in L. Loomis’s dimension theory for complete OMLs and develops a theory of direct decomposition for EAs with a hull mapping. A. Sherstnev and V. Kalinin have extended Loomis’s dimension theory to orthocomplete OMPs, and here it is further extended to orthocomplete EAs; moreover, a corresponding direct decomposition into types I, II, and III is obtained using the hull mapping induced by the dimension equivalence relation.

On Orthomodular Posets Generated by Transition Systems

We study orthomodular structures formed by some sets of states of finite transition systems. These sets, called regions, can be interpreted as local states of a distributed, concurrent system, that can be modelled by a Petri net. The main result shows that such orthomodular structures have enough elements to represent meets of certain subsets of elements.

An anhomomorphic logic for quantum mechanics

Although various schemes for anhomomorphic logics for quantum mechanics have been considered in the past we shall mainly concentrate on the quadratic or grade-2 scheme. In this scheme, the grade-2 truth functions are called coevents. We discuss properties of coevents, projections on the space of coevents and the master observable. We show that the set of projections forms an orthomodular poset. We introduce the concept of precluding coevents and show that this is stronger than the previously studied concept of preclusive coevents. Precluding coevents are defined naturally in terms of the master observable. A result that exhibits a duality between preclusive and precluding coevents is given. Some simple examples are presented.

Effect algebras with the maximality property

The maximality property was introduced in orthomodular posets as a common generalization of orthomodular lattices and orthocomplete orthomodular posets. We show that various conditions used in the theory of effect algebras are stronger than the maximality property, clear up the connections between them and show some consequences of these conditions. In particular, we prove that a Jauch–Piron effect algebra with a countable unital set of states is an orthomodular lattice and that a unital set of Jauch–Piron states on an effect algebra with the maximality property is strongly order determining.

Common Generalizations of Orthocomplete and Lattice Effect Algebras

Connections between the weak orthocompleteness and the maximality property in effect algebras are presented. It is proved that an orthomodular poset with the maximality property is disjunctive. A characterization of Archimedean weakly orthocomplete effect algebras is given.

Orthocomplemented Posets with a Symmetric Difference

We endow orthocomplemented posets with a binary operation–an abstract symmetric difference of sets–and we study algebraic properties of this class, ${\cal ODP}$ . Denoting its elements by ODP, we first investigate on the features related to compatibility in ODPs. We find, among others, that any ODP is orthomodular. This explicitly links ${\cal ODP}$ with the theory of quantum logics. By analogy with Boolean algebras, we then ask if (when) an ODP is set representable. Though we find that general ODPs do not have to be set representable, many natural ODPs are shown to be. We characterize the set-representable ODPs in terms of two valued morphisms and prove that they form a quasivariety. This quasivariety contains the class of pseudocomplemented ODPs as we show afterwards. At the end we ask whether any orthomodular poset can be converted or, more generally, enlarged to an ODP. By countre-examples we answer these questions to the negative.

A Link between Quantum Logic and Categorical Quantum Mechanics

Abramsky and Coecke (Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, pp. 415–425, IEEE Comput. Soc., New York, 2004) have recently introduced an approach to finite dimensional quantum mechanics based on strongly compact closed categories with biproducts. In this note it is shown that the projections of any object A in such a category form an orthoalgebra Proj A. Sufficient conditions are given to ensure this orthoalgebra is an orthomodular poset. A notion of a preparation for such an object is given by Abramsky and Coecke, and it is shown that each preparation induces a finitely additive map from Proj A to the unit interval of the semiring of scalars for this category. The tensor product for the category is shown to induce an orthoalgebra bimorphism Proj A×Proj B→Proj (A⊗B) that shares some of the properties required of a tensor product of orthoalgebras.

Atomistic and orthoatomistic effect algebras

We characterize atomistic effect algebras, prove that a weakly orthocomplete Archimedean atomic effect algebra is orthoatomistic and present an example of an orthoatomistic orthomodular poset that is not weakly orthocomplete.

Order Dimension of Orthomodular Amalgamations Over Trees

We consider the amalgamation of bounded involution posets over a strictly directed graph as applied to orthomodular lattices, orthomodular posets or orthoalgebras. In the finite setting, we show that the order dimension of the amalgamation does not exceed that of the amalgamated structures by more than one. We also present conditions under which equality obtains.

Characterizations of posets via weak states

AbstractWeak states on posets are defined which are in some analogy to states on orthomodular posets used in axiomatic quantum mechanics. It is shown how certain properties of the set of weak states characterize certain properties of the underlying poset.

Riesz ideals in generalized effect algebras and in their unitizations

We show that quotients of generalized effect algebras by Riesz ideals preserve some important special properties, e.g., homogeneity and hereditary Riesz decomposition properties; moreover, quotients of generalized orthoalgebras, weak generalized orthomodular posets, generalized orthomodular lattices and generalized MV-algebras with respect to Riesz ideals belong to the same class. We give a necessary and sufficient condition under which a Riesz ideal I of a generalized effect algebra P is a Riesz ideal also in the unitization E of P. We also study relations between Riesz ideals and central elements in GEAs and in their unitizations. In the last section, we demonstrate the notion of Riesz ideals by some illustrative examples.

Greechie diagrams of orthomodular partial algebras

Greechie diagrams are well known graphical representations of orthomodular partial algebras, orthomodular posets and orthomodular lattices. For each hypergraph D a partial algebra ⟦D⟧ = (A; ⊕, ′, 0) of type (2,1,0) can be defined. A Greechie diagram can be seen as a special hypergraph: different points of the hypergraph have different interpretations in the corresponding partial algebra ⟦D⟧, and each line in the hypergraph has a maximal Boolean subalgebra as interpretation, in which the points are the atoms. This paper gives some generalisations of the characterisations in [K83] and [D84] of diagrams which represent orthomodular partial algebras (= OMAs), and we give an algorithm how to check whether a given hypergraph D is an OMA-diagram whose maximal Boolean subalgebras are induced by the lines of the hypergraph.

Small Quantum Structures with Small State Spaces

We summarize and extend results about “small” quantum structures with small dimensions of state spaces. These constructions have contributed to the theory of orthomodular lattices. More general quantum structures (orthomodular posets, orthoalgebras, and effect algebras) admit sometimes simplifications, but there are problems where no progress has been achieved.

Orthomodularity of Decompositions in a Categorical Setting

We provide a method to construct a type of orthomodular structure known as an orthoalgebra from the direct product decompositions of an object in a category that has finite products and whose ternary product diagrams give rise to certain pushouts. This generalizes a method to construct an orthomodular poset from the direct product decompositions of familiar mathematical structures such as non-empty sets, groups, and topological spaces, as well as a method to construct an orthomodular poset from the complementary pairs of elements of a bounded modular lattice.