Large deviations and Nelson processes.
An effect algebraic partial binary operation defined on the underlying set uniquely introduces partial order, but not conversely. We show that if on a MacNeille completion of there exists an effect algebraic partial binary operation then need not be an extension of . Moreover, for an Archimedean atomic lattice effect algebra we give a necessary and sufficient condition for that existing on is an extension of defined on . Further we show that such extending exists at most...
Foundations of the notion of quantum Turing machines are investigated. According to Deutsch's formulation, the time evolution of a quantum Turing machine is to be determined by the local transition function. In this paper, the local transition functions are characterized for fully general quantum Turing machines, including multi-tape quantum Turing machines, extending the results due to Bernstein and Vazirani.
If element of a lattice effect algebra is central, then the interval is a lattice effect algebra with the new top element and with inherited partial binary operation . It is a known fact that if the set of central elements of is an atomic Boolean algebra and the supremum of all atoms of in equals to the top element of , then is isomorphic to a subdirect product of irreducible effect algebras ([18]). This means that if there exists a MacNeille completion of which is its extension...
Quantum trajectories are solutions of stochastic differential equations obtained when describing the random phenomena associated to quantum continuous measurement of open quantum system. These equations, also called Belavkin equations or Stochastic Master equations, are usually of two different types: diffusive and of Poisson-type. In this article, we consider more advanced models in which jump–diffusion equations appear. These equations are obtained as a continuous time limit of martingale problems...
In this paper we present representation of finite effect algebras by matrices. For each non-trivial finite effect algebra we construct set of matrices in such a way that effect algebras and are isomorphic if and only if . The paper also contains the full list of matrices representing all nontrivial finite effect algebras of cardinality at most .
Hyperbolic vectors, called gyrovectors, share analogies with vectors in Euclidean geometry. It is emphasized that the Bloch vector of Quantum Information and Computation (QIC) is, in fact, a gyrovector related to Möbius addition rather than a vector. The decomplexification of Möbius addition in the complex open unit disc of a complex plane into an equivalent real Möbius addition in the open unit ball of a Euclidean 2-space is presented. This decomplexification proves useful, enabling the resulting...
Lattice effect algebras generalize orthomodular lattices and -algebras. We describe all complete modular atomic effect algebras. This allows us to prove the existence of ordercontinuous subadditive states (probabilities) on them. For the separable noncomplete ones we show that the existence of a faithful probability is equivalent to the condition that their MacNeille complete modular effect algebra.