884 research outputs found
Conditional states and joint distributions on MV-algebras
summary:In this paper we construct conditional states on semi-simple MV-algebras. We show that these conditional states are not given uniquely. By using them we construct the joint probability distributions and discuss the properties of these distributions. We show that the independence is not symmetric
Fredkin Gates for Finite-valued Reversible and Conservative Logics
The basic principles and results of Conservative Logic introduced by Fredkin
and Toffoli on the basis of a seminal paper of Landauer are extended to
d-valued logics, with a special attention to three-valued logics. Different
approaches to d-valued logics are examined in order to determine some possible
universal sets of logic primitives. In particular, we consider the typical
connectives of Lukasiewicz and Godel logics, as well as Chang's MV-algebras. As
a result, some possible three-valued and d-valued universal gates are described
which realize a functionally complete set of fundamental connectives.Comment: 57 pages, 10 figures, 16 tables, 2 diagram
Sharp and fuzzy observables on effect algebras
Observables on effect algebras and their fuzzy versions obtained by means of
confidence measures (Markov kernels) are studied. It is shown that, on effect
algebras with the (E)-property, given an observable and a confidence measure,
there exists a fuzzy version of the observable. Ordering of observables
according to their fuzzy properties is introduced, and some minimality
conditions with respect to this ordering are found. Applications of some
results of classical theory of experiments are considered.Comment: 23 page
Prime Type III Factors
We show that for each (0<\lambda <1), the free Araki-Woods factor of type
III(_{\lambda}) cannot be written as a tensor product of two diffuse von
Neumann algebras (i.e., is prime), and does not contain a Cartan subalgebra
Measuring processes and the Heisenberg picture
In this paper, we attempt to establish quantum measurement theory in the
Heisenberg picture. First, we review foundations of quantum measurement theory,
that is usually based on the Schr\"{o}dinger picture. The concept of instrument
is introduced there. Next, we define the concept of system of measurement
correlations and that of measuring process. The former is the exact counterpart
of instrument in the (generalized) Heisenberg picture. In quantum mechanical
systems, we then show a one-to-one correspondence between systems of
measurement correlations and measuring processes up to complete equivalence.
This is nothing but a unitary dilation theorem of systems of measurement
correlations. Furthermore, from the viewpoint of the statistical approach to
quantum measurement theory, we focus on the extendability of instruments to
systems of measurement correlations. It is shown that all completely positive
(CP) instruments are extended into systems of measurement correlations. Lastly,
we study the approximate realizability of CP instruments by measuring processes
within arbitrarily given error limits.Comment: v
- …