Volume 60, Issue 5

The probability p(s) of the occurrence of an event pertaining to a physical system which is observed in different states s determines a function p from the set S of states of the system to [0, 1]. The function p is called a multidimensional probability or numerical event. Sets of numerical events which are structured either by partially ordering the functions p and considering orthocomplementation or by introducing operations + and · in order to generalize the notion of Boolean rings representing classical event fields are studied with the goal to relate the algebraic operations + and · to the sum and product of real functions and thus to distinguish between classical and quantum mechanical behaviour of the physical system. Necessary and sufficient conditions for this are derived, as well for the case that the functions p can assume any value between 0 and 1 as for the special cases that the values of p are restricted to two or three different outcomes.

In this note we continue the investigation of algebraic properties of orthocomplemented (symmetric) difference lattices (ODLs) as initiated and previously studied by the authors. We take up a few identities that we came across in the previous considerations. We first see that some of them characterize, in a somewhat non-trivial manner, the ODLs that are Boolean. In the second part we select an identity peculiar for set-representable ODLs. This identity allows us to present another construction of an ODL that is not set-representable. We then give the construction a more general form and consider algebraic properties of the ‘orthomodular support’.

We apply the concept of generalized MV-algebra (GMV-algebra, for short) in the sense defined and studied by Galatos and Tsinakis. We introduce the notion of isometry of a GMV-algebra; we investigate the relations between isometries and direct product decompositions of GMV-algebras. Using these relations we show that if a GMV-algebra M has a greatest element, then each isometry of M is idempotent.

We continue our study of generalized probability from the viewpoint of category theory. Assuming that each generalized probability measure is a morphism, we model basic probabilistic notions within the category cogenerated by its range. It is known that the closed unit interval I = [0, 1], carrying a suitable difference structure, cogenerates the category ID in which the classical and fuzzy probability theories can be modeled. We study generalized probability theories modeled within two different categories cogenerated by a simplex S n = {(x 1, x 2, …, x n) ∈ I n: $$ \mathop \sum \limits_{i = 1}^n $$ x i ≤ 1}, carrying a suitable difference structure; since I and S 1 coincide, for n = 1 we get the fuzzy probability theory as a special case. In the first case, when the morphisms preserve the so-called pure elements, the resulting category S n D, n > 1, and ID are isomorphic and the generalized probability theories modeled in ID and S n D are “the same”. In the second case, when the morphisms map each maximal element to a maximal element, the resulting categories WS n D, n > 1, lead to different models of generalized probability theories. We define basic notions of the corresponding simplex-valued probability theories and mention some applications.

It is shown that an arbitrary interval of a pseudo-effect algebra is a pseudo-effect algebra and some results concerning Riesz decomposition properties, compatibilities and states are proved.

A synaptic algebra is both a special Jordan algebra and a spectral order-unit normed space satisfying certain natural conditions suggested by the partially ordered Jordan algebra of bounded Hermitian operators on a Hilbert space. The adjective “synaptic”, borrowed from biology, is meant to suggest that such an algebra coherently “ties together” the notions of a Jordan algebra, a spectral order-unit normed space, a convex effect algebra, and an orthomodular lattice.

The classical Poincaré strong recurrence theorem states that for any probability space (Ω, ℒ, P), any P-measure preserving transformation T, and any A ∈ ℒ, almost all points of A return to A infinitely many times. In the present paper the Poincaré theorem is proved when the σ-algebra ℒ is substituted by an MV-algebra of a special type. Another approach is used in [RIEČAN, B.: Poincaré recurrence theorem in MV-algebras. In: Proc. IFSA-EUSFLAT 2009 (To appear)], where the weak variant of the theorem is proved, of course, for arbitrary MV-algebras. Such generalizations were already done in the literature, e.g. for quantum logic, see [DVUREČENSKIJ, A.: On some properties of transformations of a logic, Math. Slovaca 26 (1976), 131–137.

The notion of coexistence of quantum observables was introduced to describe the possibility of measuring two or more observables together. Here we survey the various different formalisations of this notion and their connections. We review examples illustrating the necessary degrees of unsharpness for two noncommuting observables to be jointly measurable (in one sense of the phrase). We demonstrate the possibility of measuring together (in another sense of the phrase) noncoexistent observables. This leads us to a reconsideration of the connection between joint measurability and noncommutativity of observables and of the statistical and individual aspects of quantum measurements.

We first present some basic properties of a quantum measure space. Compatibility of sets with respect to a quantum measure is studied and the center of a quantum measure space is characterized. We characterize quantum measures in terms of signed product measures. A generalization called a super-quantum measure space is introduced. Of a more speculative nature, we show that quantum measures may be useful for computing and predicting elementary particle masses.

Group theoretic methods to construct all N-particle singlet states by iterative recursion are presented. These techniques are applied to the quantum correlations of four spin one-half particles in their singlet states. Multipartite quantized systems can be partitioned, and their observables grouped and redefined into condensed correlations.

Corresponding to each “rectangular” double product in the form of a formal power series R[h] with coefficients in the tensor product 풯(ℒ)⊙ 풯 (ℒ) with itself of the Itô Hopf algebra, we construct “triangular” elements T[h] of 풯(ℒ) satisfying ΔT[h] = T[h](1) R[h]T{h](2). In Fock space representations of 풯(ℒ) by iterated quantum stochastic integrals when ℒ is the algebra of Itô differentials of the calculus, these correspond to “causal” double product integrals in a single Fock space.

In regular linear regression model with the type II constraints the unobservable parameters in the constraints can be estimated by the BLUE of the observable parameters. The BLUE respects the constraints. If the estimator of the observable parameters which is the BLUE in the model without constraints is used, then the estimator of the unobservable parameters is the same. A problem is whether this is valid in the case of a singular model.