scholarly journals Intervals in Generalized Effect Algebras and their Sub-generalized Effect Algebras

10.14311/1817 ◽  
2013 ◽  
Vol 53 (3) ◽  
Author(s):  
Zdenka Riečanová ◽  
Michal Zajac
Keyword(s):  
Effect Algebra ◽  
Effect Algebras ◽  
Generalized Effect Algebra ◽  
Generalized Effect Algebras

We consider subsets G of a generalized effect algebra E with 0∈G and such that every interval [0, q]G = [0, q]E ∩ G of G (q ∈ G , q ≠ 0) is a sub-effect algebra of the effect algebra [0, q]E. We give a condition on E and G under which every such G is a sub-generalized effect algebra of E.

scholarly journals Extensions of Effect Algebra Operations

10.14311/1410 ◽  
2011 ◽  
Vol 51 (4) ◽  
Author(s):  
Z. Riečanová ◽  
M. Zajac
Keyword(s):  
Effect Algebra ◽  
Complex Hilbert Space ◽  
Linear Operators ◽  
Effect Algebras ◽  
Infinite Dimensional ◽  
Interval Effect ◽  
Generalized Effect Algebra ◽  
Algebraic Operations ◽  
Densely Defined ◽  
Generalized Effect Algebras

We study the set of all positive linear operators densely defined in an infinite-dimensional complex Hilbert space. We equip this set with various effect algebraic operations making it a generalized effect algebra. Further, sub-generalized effect algebras and interval effect algebras with respect of these operations are investigated.

scholarly journals MAXIMAL SUBSETS OF PAIRWISE SUMMABLE ELEMENTS IN GENERALIZED EFFECT ALGEBRAS

2013 ◽  
Vol 53 (5) ◽  
pp. 457-461 ◽  
Author(s):  
Zdenka Riečanová ◽  
Jiří Janda
Keyword(s):  
Effect Algebra ◽  
Effect Algebras ◽  
Generalized Effect Algebra ◽  
Generalized Effect Algebras

We show that in any generalized effect algebra (G;⊕, 0) a maximal pairwise summable subset is a sub-generalized effect algebra of (G;⊕, 0), called a summability block. If G is lattice ordered, then every summability block in G is a generalized MV-effect algebra. Moreover, if every element of G has an infinite isotropic index, then G is covered by its summability blocks, which are generalized MV-effect algebras in the case that G is lattice ordered. We also present the relations between summability blocks and compatibility blocks of G. Counterexamples, to obtain the required contradictions in some cases, are given.

On realization of effect algebras

2016 ◽  
Vol 66 (2) ◽  
Author(s):  
Josef Niederle ◽  
Jan Paseka
Keyword(s):  
Quantum Logic ◽  
Orthomodular Lattice ◽  
Effect Algebra ◽  
Simplex Algorithm ◽  
Effect Algebras ◽  
Standard Quantum ◽  
Generalized Effect Algebra ◽  
Determining Set

AbstractA well known fact is that there is a finite orthomodular lattice with an order determining set of states which is not order embeddable into the standard quantum logic, the latticeWe show that a finite generalized effect algebra is order embeddable into the standard effect algebraAs an application we obtain an algorithm, which is based on the simplex algorithm, deciding whether such an order embedding exists and, if the answer is positive, constructing it.

Some properties of D-weak operator topology

2020 ◽  
Vol 70 (3) ◽  
pp. 753-758
Author(s):  
Marcel Polakovič
Keyword(s):  
Hilbert Space ◽  
Effect Algebra ◽  
Linear Subspace ◽  
Linear Operators ◽  
Positive Linear Operators ◽  
Weak Operator Topology ◽  
Generalized Effect Algebra ◽  
Weak Operator ◽  
Dense Linear Subspace

AbstractLet 𝓖D(𝓗) denote the generalized effect algebra consisting of all positive linear operators defined on a dense linear subspace D of a Hilbert space 𝓗. The D-weak operator topology (introduced by other authors) on 𝓖D(𝓗) is investigated. The corresponding closure of the set of bounded elements of 𝓖D(𝓗) is the whole 𝓖D(𝓗). The closure of the set of all unbounded elements of 𝓖D(𝓗) is also the set 𝓖D(𝓗). If Q is arbitrary unbounded element of 𝓖D(𝓗), it determines an interval in 𝓖D(𝓗), consisting of all operators between 0 and Q (with the usual ordering of operators). If we take the set of all bounded elements of this interval, the closure of this set (in the D-weak operator topology) is just the original interval. Similarly, the corresponding closure of the set of all unbounded elements of the interval will again be the considered interval.

scholarly journals Module Structure on Effect Algebras

2020 ◽  
Author(s):  
Simin Saidi Goraghani ◽  
Rajab Ali Borzooei
Keyword(s):  
Effect Algebra ◽  
Module Structure ◽  
Effect Algebras ◽  
Product Effect

 In this paper, by considering the notions of effect algebra and product effect algebra, we define the concept of effect module. Then we investigate some properties of effect modules, and we present some examples on them. Finally, we introduce some interesting topologies on effect modules.

Properties of implication in effect algebras

2021 ◽  
Vol 71 (3) ◽  
pp. 523-534
Author(s):  
Ivan Chajda ◽  
Helmut Länger
Keyword(s):  
Hilbert Space ◽  
Quantum Mechanics ◽  
State Space ◽  
Effect Algebra ◽  
Modus Ponens ◽  
Effect Algebras ◽  
Algebraic Semantics ◽  
Deductive Systems ◽  
Algebraic Description ◽  
Residuated Poset

Abstract Effect algebras form a formal algebraic description of the structure of the so-called effects in a Hilbert space which serve as an event-state space for effects in quantum mechanics. This is why effect algebras are considered as logics of quantum mechanics, more precisely as an algebraic semantics of these logics. Because every productive logic is equipped with implication, we introduce here such a concept and demonstrate its properties. In particular, we show that this implication is connected with conjunction via a certain “unsharp” residuation which is formulated on the basis of a strict unsharp residuated poset. Though this structure is rather complicated, it can be converted back into an effect algebra and hence it is sound. Further, we study the Modus Ponens rule for this implication by means of so-called deductive systems and finally we study the contraposition law.

scholarly journals Coexistency on Hilbert Space Effect Algebras and a Characterisation of Its Symmetry Transformations

2020 ◽  
Vol 379 (3) ◽  
pp. 1077-1112 ◽  
Author(s):  
György Pál Gehér ◽  
Peter Šemrl
Keyword(s):  
Hilbert Space ◽  
Effect Algebra ◽  
Mathematical Structure ◽  
Quantum Measurements ◽  
The Other ◽  
Effect Algebras ◽  
Natural Question ◽  
Fuzzy Event ◽  
Space Effect ◽  
Symmetry Transformations

Abstract The Hilbert space effect algebra is a fundamental mathematical structure which is used to describe unsharp quantum measurements in Ludwig’s formulation of quantum mechanics. Each effect represents a quantum (fuzzy) event. The relation of coexistence plays an important role in this theory, as it expresses when two quantum events can be measured together by applying a suitable apparatus. This paper’s first goal is to answer a very natural question about this relation, namely, when two effects are coexistent with exactly the same effects? The other main aim is to describe all automorphisms of the effect algebra with respect to the relation of coexistence. In particular, we will see that they can differ quite a lot from usual standard automorphisms, which appear for instance in Ludwig’s theorem. As a byproduct of our methods we also strengthen a theorem of Molnár.

The Exocenter of a Generalized Effect Algebra

2011 ◽  
Vol 68 (3) ◽  
pp. 347-371 ◽  
Author(s):  
David J. Foulis ◽  
Sylvia Pulmannová
Keyword(s):  
Effect Algebra ◽  
Generalized Effect Algebra

Dynamic effect algebras

2012 ◽  
Vol 62 (3) ◽  
Author(s):  
Ivan Chajda ◽  
Miroslav Kolařík
Keyword(s):  
Quantum Mechanics ◽  
Effect Algebra ◽  
Dynamic Effect ◽  
Effect Algebras ◽  
Lattice Effect Algebra ◽  
Tense Operators ◽  
Lattice Effect

AbstractWe introduce the so-called tense operators in lattice effect algebras. Tense operators express the quantifiers “it is always going to be the case that” and “it has always been the case that” and hence enable us to express the dimension of time in the logic of quantum mechanics. We present an axiomatization of these tense operators and prove that every lattice effect algebra whose underlying lattice is complete can be equipped with tense operators. Such an effect algebra is called dynamic since it reflects changes of quantum events from past to future.

Sign in / Sign up

Export Citation Format

Share Document