Related papers: Projection-algebras and quantum logic
A hereditarily atomic von Neumann algebra $A$ is a $W^*$ product of matrix algebras, regarded as the underlying function algebra of a quantum set. Projections in $A\overline{\otimes}A^{\circ}$ are interpreted as quantum binary relations on…
We show that for quasivarieties of p-algebras the properties of (i) having decidable first-order theory and (ii) having decidable first-order theory of the finite members, coincide. The only two quasivarieties with these properties are the…
Reduction of a state of a quantum system to a subsystem gives partial quantum information about the true state of the total system. Two subalgebras A1 and A2 of B(H) are called complementary if the traceless subspaces of A1 and A2 are…
It is proposed the scheme of quantum mechanics, in which a Hilbert space and the linear operators are not primary elements of the theory. Instead of it certain variant of the algebraic approach is considered. The elements of noncommutative…
Let $k$ be an algebraically closed field of prime characteristic $p$. Let $kGe$ be a block of a group algebra of a finite group $G$, with normal defect group $P$ and abelian $p'$ inertial quotient $L$. Then we show that $kGe$ is a matrix…
Let $P$ be a Poisson algebra, $E$ a vector space and $\pi : E \to P$ an epimorphism of vector spaces with $V = {\rm Ker} (\pi)$. The global extension problem asks for the classification of all Poisson algebra structures that can be defined…
Quantum Lie algebras are generalizations of Lie algebras which have the quantum parameter h built into their structure. They have been defined concretely as certain submodules of the quantized enveloping algebras. On them the quantum Lie…
Scaled Boolean algebras are a category of mathematical objects that arose from attempts to understand why the conventional rules of probability should hold when probabilities are construed, not as frequencies or proportions or the like, but…
The parabolic algebra A_p is the weakly closed algebra on L^2(R) generated by the unitary semigroup of right translations and the unitary semigroup of multiplication by the analytic exponential functions e^{i\lambda x}, \lambda \geq 0. This…
Factorization algebras are local-to-global objects living on manifolds, and they arise naturally in mathematics and physics. Their local structure encompasses examples like associative algebras and vertex algebras; in these examples, their…
The present study shows how to enrich De Morgan algebras with a perfection operator that allows one to express the Boolean properties of negation-consistency and negation-determinedness. The variety of perfect paradefinite algebras thus…
The present paper is devoted to modelling of a probability measure of logical connectives on a quantum logic (QL), via a $G$-map, which is a special map on it. We follow the work in which the probability of logical conjunction, disjunction…
For a tuple $A=(A_0, A_1, ..., A_n)$ of elements in a unital Banach algebra ${\mathcal B}$, its {\em projective spectrum} $p(A)$ is defined to be the collection of $z=[z_0, z_1, ..., z_n]\in \pn$ such that $A(z)=z_0A_0+z_1A_1+... +z_nA_n$…
Generalised observables (POM observables) are necessary for representing all possible measurements on a quantum system. Useful algebraic operations such as addition and multiplication are defined for these observables, recovering many…
Similar to linear spaces, many examples of quasilinear spaces have a notion of multiplication of the elements. To characterising these examples, in the present paper we generalize the notion of quasilinear spaces and introduce…
We study the set ${\cal C}$ consisting of pairs of orthogonal projections $P,Q$ acting in a Hilbert space ${\cal H}$ such that $PQ$ is a compact operator. These pairs have a rich geometric structure which we describe here. They are parted…
A Hom-type generalization of non-commutative Poisson algebras, called non-commutative Hom-Poisson algebras, are studied. They are closed under twisting by suitable self-maps. Hom-Poisson algebras, in which the Hom-associative product is…
In this article, we define and study a geometry and an order on the set of partitions of an even number of objects. One of the definitions involves the partition algebra, a structure of algebra on the set of such partitions depending on an…
For $l,n \in \mathbb{N}$ we define tonal partition algebra $P^l_n$ over $\mathbb{Z}[\delta]$. We construct modules $\{ \Delta_{\underline{\mu}} \}_{\underline{\mu}}$ for $P^l_n$ over $\mathbb{Z}[\delta]$, and hence over any integral domain…
Ehrhard, Pagani and Tasson proposed a model of probabilistic functional programming in a category of normed positive cones and stable measurable cone maps, which can be seen as a coordinate-free generalization of probabilistic coherence…