Generalized Sasaki Projections and Riesz Ideals in Pseudoeffect Algebras

A noncommutative version of generalized Sasaki projections in pseudoeffect algebras is introduced. It is proved that an ideal in a pseudoeffect algebra is Riesz if and only if it is closed under the right and left Sasaki projections. In lattice ordered pseudoeffect algebras, it is shown that generalized Sasaki projections are one-element sets, and their explicit form is found. It is shown that if a supremum of a normal Riesz ideal in a lattice ordered pseudoeffect algebra exists, it is a central element. These results extend those obtained recently by Avallone and Vitolo for effect algebras.     

Pseudo-Effect Algebras and Pseudo-Difference Posets

In this paper, we introduce two different operations in pseudo-effect algebras and also introduce the pseudo-difference posets. We prove that the pseudo-effect algebras and the pseudo-difference posets are the same thing.     

Pseudoeffect Algebras. I. Basic Properties

As a noncommutative generalization of effect algebras, we introduce pseudoeffect algebras and list some of their basic properties. For the purpose of a structure theory, we further define several kinds of Riesz-like properties for pseudoeffect algebras and show how they are interrelated.     

Congruences and States on Pseudoeffect Algebras

We study congruences on pseudoeffect algebras, which were recently introduced as a non-commutative generalization of effect algebras. We introduce ideals for these algebras and give a sufficient condition for an ideal to determine a congruence. Furthermore, states on pseudoeffect algebras are considered. It is shown that any interval pseudoeffect algebra maps homomorphically into an effect algebra whose states are in a one-to-one correspondence to the states of the original algebra.     

Partial and unsharp quantum logics

The total and the sharp character of orthodox quantum logic has been put in question in different contexts. This paper presents the basic ideas for a unified approach to partial and unsharp forms of quantum logic. We prove a completeness theorem for some partial logics based on orthoalgebras and orthomodular posets. We introduce the notion of unsharp orthoalgebra and of generalized MV algebra. The class of all effects of any Hilbert space gives rise to particular examples of these structures. Finally, we investigate the relationship between unsharp orthoalgebras, generalized MV algebras, and orthomodular lattices.     

Banach Synaptic Algebras

Using a representation theorem of Erik Alfsen, Frederic Schultz, and Erling Størmer for special JB-algebras, we prove that a synaptic algebra is norm complete (i.e., Banach) if and only if it is isomorphic to the self-adjoint part of a Rickart C^?-algebra. Also, we give conditions on a Banach synaptic algebra that are equivalent to the condition that it is isomorphic to the self-adjoint part of an AW^?-algebra. Moreover, we study some relationships between synaptic algebras and so-called generalized Hermitian algebras.     

Type-Decomposition of an Effect Algebra

Effect algebras (EAs), play a significant role in quantum logic, are featured in the theory of partially ordered Abelian groups, and generalize orthoalgebras, MV-algebras, orthomodular posets, orthomodular lattices, modular ortholattices, and boolean algebras. We study centrally orthocomplete effect algebras (COEAs), i.e., EAs satisfying the condition that every family of elements that is dominated by an orthogonal family of central elements has a supremum. For COEAs, we introduce a general notion of decomposition into types; prove that a COEA factors uniquely as a direct sum of types I, II, and III; and obtain a generalization for COEAs of Ramsay’s fourfold decomposition of a complete orthomodular lattice.     

Higher Hochschild Homology,Topological Chiral Homology and Factorization Algebras

We study the higher Hochschild functor, factorization algebras and their relationship with topological chiral homology. To this end, we emphasize that the higher Hochschild complex is a functor sSet _∞ × CDGA _∞ where sSet and CDGA _∞ are the (∞,1)-categories of simplicial sets and commutative differential graded algebras, and give an axiomatic characterization of this functor. From the axioms, we deduce several properties and computational tools for this functor. We study the relationship between the higher Hochschild functor and factorization algebras by showing that, in good cases, the Hochschild functor determines a constant commutative factorization algebra. Conversely, every constant commutative factorization algebra is naturally equivalent to a Hochschild chain factorization algebra. Similarly, we study the relationship between the above concepts and topological chiral homology. In particular, we show that on their common domains of definition, the higher Hochschild functor is naturally equivalent to topological chiral homology. Finally, we prove that topological chiral homology determines a locally constant factorization algebra and, further, that this functor induces an equivalence between locally constant factorization algebras on a manifold and (local system of) E _n -algebras.     

Effect algebras and unsharp quantum logics

The effects in a quantum-mechanical system form a partial algebra and a partially ordered set which is the prototypical example of the effect algebras discussed in this paper. The relationships among effect algebras and such structures as orthoalgebras and orthomodular posets are investigated, as are morphisms and group- valued measures (or charges) on effect algebras. It is proved that there is a universal group for every effect algebra, as well as a universal vector space over an arbitrary field.     

On the Relationships Between the Moments of a POVM and the Generator of the von Neumann Algebra It Generates

In the present paper, we review some recent results about commutative positive operator valued measures (POVMs) and single out some open problems. We introduce a conjecture about the extension of some recent results and prove some important consequences of such conjecture. In particular, we prove that it implies the universal character of some of the mathematical objects we introduce, i.e., the fact that they do not depend on the POV measure we are considering. We analyze the relevance of this result. Finally, we point out that some of the results we present admit a constructive proof and we show the relevance of this fact to the theory of commutative POV measures.     

Ideals, Filters, and Supports in Pseudoeffect Algebras

Ideals, filters, local ideals, local filters, and supports in pseudoeffect algebras are defined and studied.     

Tensor product of difference posets and effect algebras

A tensor product of difference posets and/or, equivalently, of effect algebras, which generalize orthoalgebras and orthomodular posets, is defined, and an equivalent condition is presented. The proof uses the notion of D-test spaces generalizing test spaces of Randall and Foulis. In particular, we show that a tensor product for difference posets with a nonempty system of probability measures exists.     

Moment maps at the quantum level

We introduce the notion of moment maps for quantum groups acting on their module algebras. When the module algebras are quantizations of Poisson manifolds, we prove that the construction at the quantum level is a quantization of that at the semi-classical level. We also prove that the corresponding smashed product algebras are quantizations of the semi-direct product Poisson structures.Research partially supported by NSF grant DMS-89-07710     

Noncommutative Symmetric Differences in Orthomodular Lattices

We deal with the following question: What is the proper way to introduce symmetric difference in orthomodular lattices? Imposing two natural conditions on this operation, six possibilities remain: the two (commutative) normal forms of the symmetric difference in Boolean algebras and four noncommutative terms. It turns out that in many respects the noncommutative forms, though more complex with respect to the lattice operations, in their properties are much nearer to the symmetric difference in Boolean algebras than the commutative terms. As application we demonstrate the usefulness of noncommutative symmetric differences in the context of congruence relations.     

Commutative BCK-Algebras and Quantum Structures

We study commutative BCK-algebras with the relative cancellation property, i.e.,if a x, y and x * a = y * a, then x = y. Such algebras generalize Booleanrings as well as Boolean D-posets (= MV-algebras). We show that any suchBCK-algebra X can be embedded into the positive cone of an Abelianlattice-ordered group. Moreover, this group can be chosen to be a universal group forX. We compare BCK-algebras with the relative cancellation property with knownquantum structures as posets with difference, D-posets, orthoalgebras, andquantum MV-algebras, and we show that in many cases we obtain MV-algebras.     

Orthosummable orthoalgebras

We introduce notions of orthosummability and-orthosummability for orthoalgebras, which generalize the notions of orthocompleteness and-orthocompleteness for orthomodular posets, and we characterize such orthoalgebras in terms of their chains. We also show how to sum an infinite subset of an orthoalgebra, and we prove a generalized associative law for such sums.     

Noncommutative supergeometry, duality and deformations

Following Lett. Math. Phys. 50 (1999) 309, we introduce a notion of Q-algebra that can be considered as a generalization of the notion of Q-manifold (a supermanifold equipped with an odd vector field obeying {Q,Q}=0). We develop the theory of connections on modules over Q-algebras and prove a general duality theorem for gauge theories on such modules. This theorem containing as a simplest case SO(d,d,Z)-duality of gauge theories on noncommutative tori can be applied also in more complicated situations. We show that Q-algebras appear naturally in Fedosov construction of formal deformation of commutative algebras of functions and that similar Q-algebras can be constructed also in the case when the deformation parameter is not formal.     

Pseudoeffect Algebras. II. Group Representations

This paper is the continuation of the previous paper by Dvureenskij and Vetterlein (2001), Int. J. Theor. Phys. 40(3). We show that any pseudoeffect algebra fulfilling a certain property of Riesz type is representable by a unit interval of some (not necessarily Abelian) partially ordered group. The relation of pseudoeffect to pseudo-MV algebras is made clear, and the &ell-group representation theorem for the latter structure is re-proved.     

Approximate Homomorphisms of Ternary Semigroups

A mapping f : (G ₁,[ ]₁)→ (G ₂,[ ]₂) between ternary semigroups will be called a ternary homomorphism if f([xyz]₁)=[f(x)f(y)f(z)]₂. In this paper, we prove the generalized Hyers–Ulam–Rassias stability of mappings of commutative semigroups into Banach spaces. In addition, we establish the superstability of ternary homomorphisms into Banach algebras endowed with multiplicative normsMathematics Subject Classifications (2000). Primary 39B52, Secondary 39B82, 46B99, 17A40