Simple Axioms for Orthomodular Implication Algebras

Simple, independent axioms for orthomodular implication algebras are presented.     

Lattice Approach to Wigner-Type Theorems

The Wigner's Theorem states that a bijective transformation of the set of all one-dimensional linear subspaces of a complex Hilbert space which preserves orthogonality is induced by either a unitary or an anti-unitary operator. There exist many Wigner-type theorems, in particular in indefinite metric spaces, von Neumanns algebras and Banach spaces and we try to find a common origin of all these results by using properties of the lattice subspaces of certain topological vector spaces. We prove a Wigner-type theorem for a pair of dual spaces which allows us to obtain, as particular cases, the usual Wigner's Theorem and some of its generalizations. PACS: 02.40.Dr, 03.65.Fd,03.65.Ta AMS Subject Classification (1991): 06C15, 46A20, 81P10.     

Hidden Variables and Bell Inequalities on Quantum Logics

In the quantum logic approach, Bell inequalities in the sense of Pitowski are related with quasi hidden variables in the sense of Deliyannis. Some properties of hidden variables on effect algebras are discussed.     

The Orthomodular Poset of Projections of A Symmetric Lattices

In a Hilbert space, there exists a natural correspondence between continuous projections and particular pairs of closed subspaces. In this paper, we generalize this situation and associate to a symmetric lattice L a subset P(L) of L× L, called its projection poset. If L is the lattice of closed subspaces of a topological vector space then elements of P(L) correspond to continuous projections and we prove that automorphisms of P(L) are determined by automorphisms of the lattice L when this lattice satisfies some basic properties of lattices of closed subspaces. Primary: 06C15, Secondary: 03G12 81P10.     

Constructions of Some Quantum Structures and Fuzzy Effect Space

Quantum structures like effect algebras, -effect algebras, orthoalgebras, orthomodular posets, and -orthomodular posets are constructed by use of special fuzzy sets on posets. The concept of fuzzy effect space is introduced and a representation of a lattice effect algebra with a strong order determining system of states by means of fuzzy effect space is established.     

Braided m-Lie Algebras

Braided m-Lie algebras induced by multiplication are introduced, which generalize Lie algebras, Lie color algebras and quantum Lie algebras. The necessary and sufficient conditions for the braided m-Lie algebras to be strict Jacobi braided Lie algebras are given. Two classes of braided m-Lie algebras are given, which are generalized matrix braided m-Lie algebras and braided m-Lie subalgebras of End _F M, where M is a Yetter–Drinfeld module over B with dimB < . In particular, generalized classical braided m-Lie algebras sl _{q, f} (GM _G (A), F) and osp _{q, t} (GM _G (A), M, F) of generalized matrix algebra GM _G (A) are constructed and their connection with special generalized matrix Lie superalgebra sl _{s, f} (GM _{Z_2}(A ^s ), F) and orthosymplectic generalized matrix Lie super algebra osp _{s, t} (GM _{Z_2}(A ^s ), M ^s , F) are established. The relationship between representations of braided m-Lie algebras and their associated algebras are established.This revised version was published online in March 2005 with corrections to the cover date.     

Equivalencies, Identities, Symmetric Differences, and Congruencies in Orthomodular Lattices

It is shown that operations of equivalence cannot serve for building algebras which would induce orthomodular lattices as the operations of implication can. Several properties of equivalence operations have been investigated. Distributivity of equivalence terms and several other 3-variable expressions involving equivalence terms have been proved to hold in any orthomodular lattice. Symmetric differences have been shown to reduce to complements of equivalence terms. Some congruence relations related to equivalence operations and symmetric differences have been considered.     

An Implication in Orthologic

We involve a certain propositional logic based on an ortholattice. We characterize the implication reduct of such a logic and show that its algebraic counterpart is the so-called orthosemilattice. Properties of congruences and congruence kernels of these algebras are described. This article was prepared under the support of Czech Government Council No. 314/98:153100011. MS classification: 06C15, 03G25, 08A30     

Derivations on Novikov Algebras

Novikov algebras are nonassociative algebras introduced in connection with the Poisson brackets of hydrodynamic type and Hamiltonian operators in the formal variational calculus. As one of the most important topics in the study of Novikov algebras, the derivation is related to many fields such as the vector fields, the automorphisms, the cohomology theory, and so on. In this paper, we study the derivations and inner derivations of Novikov algebras. We also give their classification in low dimensions.     

Anti-BZ-Structure in Effect Algebras

The definitions of sharply approximating effect algebras, anti-BZ-effect algebras, central approximating effect algebras, and S-anti-BZ-effect algebras are given, the relationships between sharply approximating effect algebras and anti-BZ-effect algebras, between central approximating effect algebras and anti-BZ-effect algebras are established, and the set of anti-BZ-sharp elements in S-anti-BZ-effect algebras is proved to be an orthomodular lattice.     

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.     

Multiplicity Free Actions of Quantum Groups and Generalized Howe Duality

Noncommutative associative algebras are constructed which have the structure of module algebras over tensor products of pairs of quantized universal enveloping algebras. These module algebras decompose into multiplicity free direct sums of irreducible modules, yielding quantum analogues of generalized Howe dualities.     

Equations Holding in Hilbert Lattices

We produce and study several sequences of equations, in the language of orthomodular lattices, which hold in the ortholattice of closed subspaces of any classical Hilbert space, but not in all orthomodular lattices. Most of these equations hold in any orthomodular lattice admitting a strong set of states whose values are in a real Hilbert space. For some of these equations, we give conditions under which they hold in the ortholattice of closed subspaces of a generalised Hilbert space. These conditions are relative to the dimension of the Hilbert space and to the characteristic of its division ring of scalars. In some cases, we show that these equations cannot be deduced from the already known equations, and we study their mutual independence. To conclude, we suggest a new method for obtaining such equations, using the tensorial product. PACS numbers: 02.10, 03.65, 03.67     

Existence of States on Pseudoeffect Algebras

Pseudoeffect (PE) algebras have been introduced as a noncommutative generalization of effect algebras. We study in this paper PE algebras with the special property of having a nonempty state space. To this end, we consider PE algebras which are po-group intervals and which are, in a certain sense, noncommutative only in the small. Such a PE algebra is shown to possess a nontrivial commutative homomorphic image from which then follows that there exist states. A typical example is given by an interval of the lexicographical product of two po-groups the first of which is abelian.     

Pre-Poisson Algebras

A definition of pre-Poisson algebras is proposed, combining structures of pre-Lie and zinbiel algebra on the same vector space. It is shown that a pre-Poisson algebra gives rise to a Poisson algebra by passing to the corresponding Lie and commutative products. Analogs of basic constructions of Poisson algebras (through deformations of commutative algebras, or from filtered algebras whose associated graded algebra is commutative) are shown to hold for pre-Poisson algebras. The Koszul dual of pre-Poisson algebras is described. It is explained how one may associate a pre-Poisson algebra to any Poison algebra equipped with a Baxter operator, and a dual pre-Poisson algebra to any Poisson algebra equipped with an averaging operator. Examples of this construction are given. It is shown that the free zinbiel algebra (the shuffle algebra) on a pre-Lie algebra is a pre-Poisson algebra. A connection between the graded version of this result and the classical Yang–Baxter equation is discussed.     

Dynamical algebras for Pöschl-Teller Hamiltonian hierarchies

The dynamical algebras of the trigonometric and hyperbolic symmetric Pöschl-Teller Hamiltonian hierarchies are obtained. A kind of discrete-differential realizations of these algebras are found which are isomorphic to so(3, 2) Lie algebras. In order to get them, first the relation between ladder and factor operators is investigated. In particular, the action of the ladder operators on normalized eigenfunctions is found explicitly. Then, the whole dynamical algebras are generated in a straightforward way.     

Quantizer–dequantizer operators as a tool for formulating the quantization procedure

We consider the quantization procedure and investigate the application of the quantizer–dequantizer method and star-product technique to construct associative products and the associative algebras formed by the quantizer–dequantizer operators and their symbols. The corresponding Lie algebras are also constructed. We study the case where the quantizer–dequantizer operators form a self-dual system and show that the structure constants of the Lie algebras satisfy some identity, in addition to the Jacobi identity. Using tomographic quantizer–dequantizer operators and their symbols, we construct the continuous associative algebra and the corresponding Lie algebra.     

Orthomodular Implication Algebras

In Boolean algebras the properties of the implication operation can be modeled by a so-called implication algebra that itself can be considered as a join-semilattice with 1 whose principal filters are Boolean algebras. This situation is generalized from Boolean algebras to orthomodular lattices.