Published by De Gruyter

Volume 62 Issue 6

December 2012

Issue of Mathematica Slovaca

Contents
Journal Overview

Open Access December 20, 2012

David James Foulis

Richard Greechie

Page range: 1007-1018

More Download PDF

Abstract

This paper is in honour of Dave Foulis’s 80th birthday. A brief account of some of his outstanding academic contributions to the fields of Ordered Structures, Orthostructures, Foundations of Quantum Mechanics, Foundations of Statistics and Operator Theory is present here.

Open Access December 20, 2012

Lattice uniformities on pseudo-D-lattices

Anna Avallone, Paolo Vitolo

Page range: 1019-1044

More Download PDF

Abstract

Let L be a pseudo-D-lattice. We prove that the lattice uniformities on L which make uniformly continuous the operations of L are uniquely determined by their system of neighbourhoods of 0 and form a distributive lattice. Moreover we prove that every such uniformity is generated by a family of weakly subadditive [0,+∞]-valued functions on L.

Open Access December 20, 2012

A generalization of effect algebras and ortholattices

Ivan Chajda, Jan Kühr

Page range: 1045-1062

More Download PDF

Abstract

A common generalization of effect algebras and ortholattices that allows to represent ortholattices in a similar way in which orthomodular lattices are represented in the setting of effect algebras is introduced.

Open Access December 20, 2012

Orthocomplemented difference lattices in association with generalized rings

Milan Matoušek, Pavel Pták

Page range: 1063-1068

More Download PDF

Abstract

Orthocomplemented difference lattices (ODLs) are orthocomplemented lattices endowed with an additional operation of “abstract symmetric difference”. In studying ODLs as universal algebras or instances of quantum logics, several results have been obtained (see the references at the end of this paper where the explicite link with orthomodularity is discussed, too). Since the ODLs are “nearly Boolean”, a natural question arises whether there are “nearly Boolean rings” associated with ODLs. In this paper we find such an association — we introduce some difference ring-like algebras (the DRAs) that allow for a natural one-to-one correspondence with the ODLs. The DRAs are defined by only a few rather plausible axioms. The axioms guarantee, among others, that a DRA is a group and that the association with ODLs agrees, for the subrings of DRAs, with the famous Stone (Boolean ring) correspondence.

Open Access December 20, 2012

Associativity of operations on orthomodular lattices

Jeannine Gabriëls, Mirko Navara

Page range: 1069-1078

More Download PDF

Abstract

It is known that orthomodular lattices admit 96 binary operations, out of which 16 are commutative. We clarify which of them are associative.

Open Access December 20, 2012

Statistical maps and generalized random walks

Roman Frič, Martin Papčo

Page range: 1079-1090

More Download PDF

Abstract

We continue our study of statistical maps (equivalently, fuzzy random variables in the sense of Gudder and Bugajski). In the realm of fuzzy probability theory, statistical maps describe the transportation of probability measures on one measurable space into probability measures on another measurable space. We show that for discrete probability spaces each statistical map can be represented via a special matrix the rows of which are probability functions related to conditional probabilities and the columns are related to fuzzy n-partitions of the domain. Discrete statistical maps sending a probability measure p to a probability measure q can be represented via conditional distributions and correspond to joint probabilities on the product. The composition of statistical maps provide a tool to describe and to study generalized random walks and Markov chains.

Open Access December 20, 2012

A note on ideals in synaptic algebras

Sylvia Pulmannová

Page range: 1091-1104

More Download PDF

Abstract

The notion of a synaptic algebra was introduced by David Foulis. Synaptic algebras unite the notions of an order-unit normed space, a special Jordan algebra, a convex effect algebra and an orthomodular lattice. In this note we study quadratic ideals in synaptic algebras which reflect its Jordan algebra structure. We show that projections contained in a quadratic ideal from a p-ideal in the orthomodular lattice of projections in the synaptic algebra and we find a characterization of those quadratic ideals which are generated by their projections.

Open Access December 20, 2012

The structure of norm Clifford algebras

Hans Keller, Herminia Ochsenius

Page range: 1105-1120

More Download PDF

Abstract

Orthomodular Hilbertian spaces are infinite-dimensional inner product spaces (E, 〈·, ·〉) with the rare property that to every orthogonally closed subspace U ⊆ E there is an orthogonal projection from E onto U. These spaces, discovered about 30 years ago, are constructed over certain non-Archimedeanly valued, complete fields and are endowed with a non-Archimedean norm derived from the inner product. In a previous work [KELLER, H. A.—OCHSENIUS, H.: On the Clifford algebra of orthomodular spaces over Krull valued fields. In: Contemp. Math. 508, Amer. Math. Soc., Providence, RI, 2010, pp. 73–87] we described the construction of a new object, called the norm Clifford algebra C̃(E) associated to E. It can be considered a counterpart of the well-established Clifford algebra of a finite dimensional quadratic space. In contrast to the classical case, C̃(E) allows to represent infinite products of reflections by inner automorphisms. It is a significant step towards a better understanding of the group of isometries, which in infinite dimension is complex and hard to grasp. In the present paper we are concerned with the inner structure of these new algebras. We first give a canonical representation of the elements, and we prove that C̃ is always central. Then we focus on an outstanding special case in which C̃ is shown to be a division ring. Moreover, in that special case we completely describe the ideals of the corresponding valuation ring $$\mathcal{A}$$. It turns out, rather unexpectedly, that every left-ideal and every right-ideal of $$\mathcal{A}$$ is in fact bilateral.

Open Access December 20, 2012

Quantum teleportation and quantum epistemic semantics

Enrico Beltrametti, Maria Chiara, Roberto Giuntini, Giuseppe Sergioli

Page range: 1121-1144

More Download PDF

Abstract

Quantum information gives rise to some puzzling epistemic problems that can be interestingly investigated from a logical point of view. A characteristic example is represented by teleportation phenomena, where knowledge and actions of observers (epistemic agents) play a relevant role. By abstracting from teleportation, we propose a simplified semantics for a language that consists of two parts: 1)the quantum computational sub-language, whose sentences α represent pieces of quantum information (which are supposed to be stored by some quantum systems)2)the classical epistemic sub-language, whose atomic sentences have the following forms: agent a has a probabilistic information about the sentence α; agent a knows the sentence α. Interestingly enough, some conceptual difficulties of standard epistemic logics can be avoided in this framework.

Open Access December 20, 2012

Schur lemma and limit theorems in lattice groups with respect to filters

A. Boccuto, X. Dimitriou, N. Papanastassiou

Page range: 1145-1166

More Download PDF

Abstract

Some Schur, Nikodým, Brooks-Jewett and Vitali-Hahn-Saks-type theorems for (ℓ)-group-valued measures are proved in the setting of filter convergence. Finally we pose an open problem.

Open Access December 20, 2012

On characterization of integrable sesquilinear forms

A. Sherstnev, O. Tikhonov

Page range: 1167-1172

More Download PDF

Abstract

We give a necessary and sufficient condition for a sesquilinear form to be integrable with respect to a faithful normal state on a von Neumann algebra.

Open Access December 20, 2012

Spectral automorphisms in CB-effect algebras

Dan Caragheorgheopol

Page range: 1173-1192

More Download PDF

Abstract

Spectral automorphisms have been introduced in [IVANOV, A.—CARAGHEORGHEOPOL, D.: Spectral automorphisms in quantum logics, Internat. J. Theoret. Phys. 49 (2010), 3146–3152]_in an attempt to construct, in the abstract framework of orthomodular lattices, an analogue of the spectral theory in Hilbert spaces. We generalize spectral automorphisms to the framework of effect algebras with compression bases and study their properties. Characterizations of spectral automorphisms as well as necessary conditions for an automorphism to be spectral are given. An example of a spectral automorphism on the standard effect algebra of a finite-dimensional Hilbert space is discussed and the consequences of spectrality of an automorphism for the unitary Hilbert space operator that generates it are shown. The last section is devoted to spectral families of automorphisms and their properties, culminating with the formulation and proof of a Stone type theorem (in the sense of Stone’s theorem on strongly continuous one-parameter unitary groups — see, e.g. [REED, M.#x2014;SIMON, B.: Methods of Modern Mathematical Physics, Vol. I, Acad. Press, New York, 1975]) for a group of spectral automorphisms.

Open Access December 20, 2012

MacNeille completion of centers and centers of MacNeille completions of lattice effect algebras: Generic scheme behind

Josef Niederle, Jan Paseka

Page range: 1193-1208

More Download PDF

Abstract

We present an example of a natural class of atomic Archimedean sharply dominating lattice effect algebras with non-bifull and atomic centers. Further, we extend and clarify known results about MacNeille completion of centers and centers of MacNeille completions of lattice effect algebras.

Open Access December 20, 2012

Hilbert space representations of decoherence functionals and quantum measures

Stan Gudder

Page range: 1209-1230

More Download PDF

Abstract

We show that any decoherence functional D can be represented by a spanning vector-valued measure on a complex Hilbert space. Moreover, this representation is unique up to an isomorphism when the system is finite. We consider the natural map U from the history Hilbert space K to the standard Hilbert space H of the usual quantum formulation. We show that U is an isomorphism from K onto a closed subspace of H and that U is an isomorphism from K onto H if and only if the representation is spanning. We then apply this work to show that a quantum measure has a Hilbert space representation if and only if it is strongly positive. We also discuss classical decoherence functionals, operator-valued measures and quantum operator measures.

Open Access December 20, 2012

A new proof of the monotone convergence theorem of Lebesgue integral on σ-class

Dinh Hoa

Page range: 1231-1237

More Download PDF

Abstract

In this short note a new proof of the monotone convergence theorem of Lebesgue integral on σ-class is given.

About this journal

Objective
Mathematica Slovaca, the oldest and best mathematical journal in Slovakia, was founded in 1951 at the Mathematical Institute of the Slovak Academy of Science, Bratislava. It covers practically all mathematical areas. As a respectful international mathematical journal, it publishes only highly nontrivial original articles with complete proofs by assuring a high quality reviewing process. Its reputation was approved by many outstanding mathematicians who already contributed to Math. Slovaca.

It makes bridges among mathematics, physics, soft computing, cryptography, biology, economy, measuring, etc.　 The Journal publishes original articles with complete proofs. Besides short notes the journal publishes also surveys as well as some issues are focusing on a theme of current interest.

Topics

Algebra and number theory
Analysis
Graph theory
Probability theory and mathematical statistics
Topology, measure theory and integration
Many-valued logic and quantum structures
Differential equations and dynamic systems
Physics
Soft computing
Cryptography
Biology
Economy
Measuring

Article formats
Original research articles, short notes

Information on submission process