The Three Types of Normal Sequential Effect Algebras
Total Page:16
File Type:pdf, Size:1020Kb
Load more
Recommended publications
-
Isometries of Absolute Order Unit Spaces
ISOMETRIES OF ABSOLUTE ORDER UNIT SPACES ANIL KUMAR KARN AND AMIT KUMAR Abstract. We prove that for a bijective, unital, linear map between absolute order unit spaces is an isometry if, and only if, it is absolute value preserving. We deduce that, on (unital) JB-algebras, such maps are precisely Jordan isomorphisms. Next, we introduce the notions of absolutely matrix ordered spaces and absolute matrix order unit spaces and prove that for a bijective, unital, linear map between absolute matrix order unit spaces is a complete isometry if, and only if, it is completely absolute value preserving. We obtain that on (unital) C∗-algebras such maps are precisely C∗-algebra isomorphism. 1. Introduction In 1941, Kakutani proved that an abstract M-space is precisely a concrete C(K, R) space for a suitable compact and Hausdorff space K [10]. In 1943, Gelfand and Naimark proved that an abstract (unital) commutative C∗-algebra is precisely a concrete C(K, C) space for a suitable compact and Hausdorff space K [6]. Thus Gelfand-Naimark theorem for commutative C∗-algebras, in the light of Kakutani theorem, yields that the self-adjoint part of a commutative C∗-algebra is, in particular, a vector lattice. On the other hand, Kadison’s anti-lattice theorem suggest that the self-adjoint part of a general C∗-algebra can not be a vector lattice [8]. Nevertheless, the order structure of a C∗- algebra has many other properties which encourages us to expect a ‘non-commutative vector lattice’ or a ‘near lattice’ structure in it. Keeping this point of view, the first author introduced the notion of absolutely ordered spaces and that of an absolute order unit spaces [14]. -
Dichotomy Between Deterministic and Probabilistic Models in Countably Additive Effectus Theory
Dichotomy between deterministic and probabilistic models in countably additive effectus theory Kenta Cho National Institute of Informatics, Japan Bas Westerbaan University College London John van de Wetering Radboud University Nijmegen June 6, 2020 such that § hom-sets tf : A Ñ Bu are convex sets, § and the scalars ts : I Ñ I u are the real unit interval r0; 1s Special operations: § States StpAq :“ t! : I Ñ Au § Effects EffpAq :“ tp : A Ñ I u § p ˝ ! is probability that p holds on state ! Generalized Probabilistic Theories GPTs are generalisations of quantum theory. They consist of § systems A; B; C;:::, § the `empty system' I , § operations f : A Ñ B, Special operations: § States StpAq :“ t! : I Ñ Au § Effects EffpAq :“ tp : A Ñ I u § p ˝ ! is probability that p holds on state ! Generalized Probabilistic Theories GPTs are generalisations of quantum theory. They consist of § systems A; B; C;:::, § the `empty system' I , § operations f : A Ñ B, such that § hom-sets tf : A Ñ Bu are convex sets, § and the scalars ts : I Ñ I u are the real unit interval r0; 1s Generalized Probabilistic Theories GPTs are generalisations of quantum theory. They consist of § systems A; B; C;:::, § the `empty system' I , § operations f : A Ñ B, such that § hom-sets tf : A Ñ Bu are convex sets, § and the scalars ts : I Ñ I u are the real unit interval r0; 1s Special operations: § States StpAq :“ t! : I Ñ Au § Effects EffpAq :“ tp : A Ñ I u § p ˝ ! is probability that p holds on state ! Solution: allow more general sets of scalars ts : I Ñ I u. -
A Note on Riesz Spaces with Property-$ B$
Czechoslovak Mathematical Journal Ş. Alpay; B. Altin; C. Tonyali A note on Riesz spaces with property-b Czechoslovak Mathematical Journal, Vol. 56 (2006), No. 2, 765–772 Persistent URL: http://dml.cz/dmlcz/128103 Terms of use: © Institute of Mathematics AS CR, 2006 Institute of Mathematics of the Czech Academy of Sciences provides access to digitized documents strictly for personal use. Each copy of any part of this document must contain these Terms of use. This document has been digitized, optimized for electronic delivery and stamped with digital signature within the project DML-CZ: The Czech Digital Mathematics Library http://dml.cz Czechoslovak Mathematical Journal, 56 (131) (2006), 765–772 A NOTE ON RIESZ SPACES WITH PROPERTY-b S¸. Alpay, B. Altin and C. Tonyali, Ankara (Received February 6, 2004) Abstract. We study an order boundedness property in Riesz spaces and investigate Riesz spaces and Banach lattices enjoying this property. Keywords: Riesz spaces, Banach lattices, b-property MSC 2000 : 46B42, 46B28 1. Introduction and preliminaries All Riesz spaces considered in this note have separating order duals. Therefore we will not distinguish between a Riesz space E and its image in the order bidual E∼∼. In all undefined terminology concerning Riesz spaces we will adhere to [3]. The notions of a Riesz space with property-b and b-order boundedness of operators between Riesz spaces were introduced in [1]. Definition. Let E be a Riesz space. A set A E is called b-order bounded in ⊂ E if it is order bounded in E∼∼. A Riesz space E is said to have property-b if each subset A E which is order bounded in E∼∼ remains order bounded in E. -
Contents 1. Introduction 1 2. Cones in Vector Spaces 2 2.1. Ordered Vector Spaces 2 2.2
ORDERED VECTOR SPACES AND ELEMENTS OF CHOQUET THEORY (A COMPENDIUM) S. COBZAS¸ Contents 1. Introduction 1 2. Cones in vector spaces 2 2.1. Ordered vector spaces 2 2.2. Ordered topological vector spaces (TVS) 7 2.3. Normal cones in TVS and in LCS 7 2.4. Normal cones in normed spaces 9 2.5. Dual pairs 9 2.6. Bases for cones 10 3. Linear operators on ordered vector spaces 11 3.1. Classes of linear operators 11 3.2. Extensions of positive operators 13 3.3. The case of linear functionals 14 3.4. Order units and the continuity of linear functionals 15 3.5. Locally order bounded TVS 15 4. Extremal structure of convex sets and elements of Choquet theory 16 4.1. Faces and extremal vectors 16 4.2. Extreme points, extreme rays and Krein-Milman's Theorem 16 4.3. Regular Borel measures and Riesz' Representation Theorem 17 4.4. Radon measures 19 4.5. Elements of Choquet theory 19 4.6. Maximal measures 21 4.7. Simplexes and uniqueness of representing measures 23 References 24 1. Introduction The aim of these notes is to present a compilation of some basic results on ordered vector spaces and positive operators and functionals acting on them. A short presentation of Choquet theory is also included. They grew up from a talk I delivered at the Seminar on Analysis and Optimization. The presentation follows mainly the books [3], [9], [19], [22], [25], and [11], [23] for the Choquet theory. Note that the first two chapters of [9] contains a thorough introduction (with full proofs) to some basics results on ordered vector spaces. -
Arxiv:Quant-Ph/0611110 V1 10 Nov 2006
View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by CERN Document Server COORDINATING QUANTUM AGENTS’ PERSPECTIVES: CONVEX OPERATIONAL THEORIES, QUANTUM INFORMATION, AND QUANTUM FOUNDATIONS H. BARNUM1 1Computer and Computational Sciences Division CCS-3, MS B256, Los Alamos National Laboratory, Los Alamos 87545, USA E-mail: [email protected] In this paper, I propose a project of enlisting quantum information science as a source of task- oriented axioms for use in the investigation of operational theories in a general framework capable of encompassing quantum mechanics, classical theory, and more. Whatever else they may be, quantum states of systems are compendia of probabilities for the outcomes of possible operations we may perform on the systems: “operational theories.” I discuss appropriate general frameworks for such theories, in which convexity plays a key role. Such frameworks are appropriate for investigating what things look like from an “inside view,” i.e. for describing perspectival information that one subsystem of the world can have about another. Understanding how such views can combine, and whether an overall “geometric” picture (“outside view”) coordinating them all can be had, even if this picture is very different in nature from the structure of the perspectives within it, is the key to understanding whether we may be able to achieve a unified, “objective” physical view in which quantum mechanics is the appropriate description for certain perspectives, or whether quantum mechanics is truly telling us we must go beyond this “geometric” conception of physics. The nature of information, its flow and processing, as seen from various operational persepectives, is likely to be key to understanding whether and how such coordination and unification can be achieved. -
Arxiv:1606.08229V1 [Math-Ph] 27 Jun 2016 States and Synaptic Algebras
States and synaptic algebras David J. Foulis∗ Anna Jenˇcov´aand Sylvia Pulmannov´a† Abstract Different versions of the notion of a state have been formulated for var- ious so-called quantum structures. In this paper, we investigate the interplay among states on synaptic algebras and on its sub-structures. A synaptic algebra is a generalization of the partially ordered Jor- dan algebra of all bounded self-adjoint operators on a Hilbert space. The paper culminates with a characterization of extremal states on a commutative generalized Hermitian algebra, a special kind of synaptic algebra. Key Words: synaptic algebra, GH-algebra, Jordan algebra, convex effect algebra, MV-algebra, ℓ-group, order unit normed space, state, extremal state. AMS Classification 81P10, 81Q10 (46B40) 1 Introduction Synaptic algebras, featured in this paper, incorporate several so-called “quan- tum structures.” Quantum structures were originally understood to be math- arXiv:1606.08229v1 [math-ph] 27 Jun 2016 ematical systems that permit a perspicuous representation for at least one of the key ingredients of quantum-mechanical theory, e.g., states, observables, symmetries, properties, and experimentally testable propositions [11, 13, 40]. ∗Emeritus Professor, Department of Mathematics and Statistics, University of Mas- sachusetts, Amherst, MA; Postal Address: 1 Sutton Court, Amherst, MA 01002, USA; [email protected]. †Mathematical Institute, Slovak Academy of Sciences, Stef´anikovaˇ 49, SK-814 73 Bratislava, Slovakia; [email protected]. The second and third authors were sup- ported by grant VEGA No.2/0069/16. 1 In spite of the adjective ‘quantum,’ a variety of mathematical structures aris- ing in classical physics, computer science, psychology, neuroscience, fuzzy logic, fuzzy set theory, and automata theory are now regarded as quantum structures. -
Topics in Many-Valued and Quantum Algebraic Logic
Topics in many-valued and quantum algebraic logic Weiyun Lu August 2016 A Thesis submitted to the School of Graduate Studies and Research in partial fulfillment of the requirements for the degree of Master of Science in Mathematics1 c Weiyun Lu, Ottawa, Canada, 2016 1The M.Sc. Program is a joint program with Carleton University, administered by the Ottawa- Carleton Institute of Mathematics and Statistics Abstract Introduced by C.C. Chang in the 1950s, MV algebras are to many-valued (Lukasiewicz) logics what boolean algebras are to two-valued logic. More recently, effect algebras were introduced by physicists to describe quantum logic. In this thesis, we begin by investigating how these two structures, introduced decades apart for wildly different reasons, are intimately related in a mathematically precise way. We survey some connections between MV/effect algebras and more traditional algebraic structures. Then, we look at the categorical structure of effect algebras in depth, and in particular see how the partiality of their operations cause things to be vastly more complicated than their totally defined classical analogues. In the final chapter, we discuss coordinatization of MV algebras and prove some new theorems and construct some new concrete examples, connecting these structures up (requiring a detour through the world of effect algebras!) to boolean inverse semigroups. ii Acknowledgements I would like to thank my advisor Prof. Philip Scott, not only for his guidance, mentorship, and contagious passion which have led me to this point, but also for being a friend with whom I've had many genuinely interesting conversations that may or may not have had anything to do with mathematics. -
Divisible Effect Algebras and Interval Effect Algebras
Comment.Math.Univ.Carolin. 42,2 (2001)219–236 219 Divisible effect algebras and interval effect algebras Sylvia Pulmannova´ Abstract. It is shown that divisible effect algebras are in one-to-one correspondence with unit intervals in partially ordered rational vector spaces. Keywords: effect algebras, divisible effect algebras, words, po-groups Classification: 81P10, 03G12, 06F15 1. Introduction Effect algebras as partial algebraic structures with a partially defined operation ⊕ and constants 0 and 1 have been introduced as an abstraction of the Hilbert- space effects, i.e., self-adjoint operators between 0 and I on a Hilbert space ([10]). Hilbert-space effects play an important role in the foundations of quantum me- chanics and measurement theory ([17], [5]). An equivalent algebraic structure, so-called difference posets (or D-posets) with the partial operation ⊖ have been introduced in [16]. From the structural point of view, effect algebras are a generalization of boolean algebras, MV-algebras, orthomodular lattices, orthomodular posets, orthoalge- bras. For relations among these structures and some other related structures see, e.g., [8]. Besides of quantum mechanics, they found applications in mathematical logic ([7], [6]), fuzzy probability theory ([4]), K-theory of C*- algebras ([18], [19]). A very important subclass of effect algebras are so-called interval effect al- gebras, which are representable as intervals of the positive cone in a partially ordered abelian group. Examples of this kind are, e.g., Hilbert-space effects, MV- algebras, effect algebras with ordering set of states ([2]), effect algebras with the Riesz decomposition property ([20]), convex effect algebras ([14], [15]). We note that a general characterization of interval effect algebras among effect algebras is an open problem. -
Categorical Characterizations of Operator-Valued Measures
Categorical characterizations of operator-valued measures Frank Roumen Inst. for Mathematics, Astrophysics and Particle Physics (IMAPP) Radboud University Nijmegen [email protected] The most general type of measurement in quantum physics is modeled by a positive operator-valued measure (POVM). Mathematically, a POVM is a generalization of a measure, whose values are not real numbers, but positive operators on a Hilbert space. POVMs can equivalently be viewed as maps between effect algebras or as maps between algebras for the Giry monad. We will show that this equivalence is an instance of a duality between two categories. In the special case of continuous POVMs, we obtain two equivalent representations in terms of morphisms between von Neumann algebras. 1 Introduction The logic governing quantum measurements differs from classical logic, and it is still unknown which mathematical structure is the best description of quantum logic. The first attempt for such a logic was discussed in the famous paper [2], in which Birkhoff and von Neumann propose to use the orthomod- ular lattice of projections on a Hilbert space. However, this approach has been criticized for its lack of generality, see for instance [22] for an overview of experiments that do not fit in the Birkhoff-von Neumann scheme. The operational approach to quantum physics generalizes the approach based on pro- jective measurements. In this approach, all measurements should be formulated in terms of the outcome statistics of experiments. Thus the logical and probabilistic aspects of quantum mechanics are combined into a unified description. The basic concept of operational quantum mechanics is an effect on a Hilbert space, which is a positive operator lying below the identity. -
Interval and Scale Effect Algebras
ADVANCES IN APPLIED MATHEMATICS 19, 200]215Ž. 1997 ARTICLE NO. AM970535 Interval and Scale Effect Algebras M. K. Bennett² and D. J. Foulis Department of Mathematics and Statistics, Uni¨ersity of Massachusetts, Amherst, Massachusetts Received November 27, 1996 1. EFFECT ALGEBRAS Inwx 6 , we introduced the following definition. 1.1. DEFINITION.Aneffect algebra is a system Ž.E, [ ,0,u consisting of a set E with two special elements 0, u g E, called the zero and the unit, and with a partially defined binary operation [ satisfying the following conditions for all p, q, r g E: Ž.i Commutati¨e Law:If p[qis defined, then q [ p is defined and p [ q s q [ p. Ž.ii Associati¨e Law:If q[rand p [ Žq [ r .are defined, then p[qand Ž.p [ q [ r are defined and p [ Ž.Ž.q [ r s p [ q [ r. Ž.iii Orthosupplement Law: For every p g E there exists a unique q g E such that p [ q is defined and p [ q s u. Ž.iv Zero-One Law:If p[uis defined, then p s 0. The archetypal example of an effect algebra is the standard effect algebra Ž.E,[,z,|for a Hilbert space H, where E consists of all self-adjoint operators A on H such that z F A F |. For A, B g E, A [ B is defined iff A q B g E, in which case A [ B [ A q B.Ž We use the notation [ to mean ``equals by definition.''. If H is the Hilbert space affiliated with a quantum-mechanical system, operators A g E are of significance in repre- senting unsharp measurements or observations on the systemwx 3, 19, 20 . -
Closure Systems Over Effect Algebras Sistemas De Cierre Sobre Algebras
ISSN-E 1995-9516 Universidad Nacional de Ingeniería COPYRIGHT © (UNI). TODOS LOS DERECHOS RESERVADOS http://revistas.uni.edu.ni/index.php/Nexo https://doi.org/10.5377/nexo.v34i02.11558 Vol. 34, No. 02, pp. 733-743/Junio 2021 Closure systems over effect algebras Sistemas de cierre sobre algebras de efecto Mahdi Ronasi1, Esfandiar Eslami2* 1Department of Mathematics, Kerman Branch, Islamic Azad University, Kerman, Iran. 2Department of Mathematics, Shahid Bahonar University of Kerman, Kerman, Iran. * [email protected] (recibido/received: 03-diciembre-2020; aceptado/accepted: 15-abril-2021) ABSTRACT The present paper is an attempt to introduce the closure systems over effect algebras. At first, we will define closure systems over effect algebras, and for arbitrary set $ U $ and arbitrary subset S of all functions from U to an effect algebra L we will obtain the closure system containing S. Then, we will define the base of this closure system, and for arbitrary subset S of all functions from U to an effect algebra L we will obtain the base of this closure system. Keywords: Closure Systems, Closure operator, Effect Algebra, Base. RESUMEN El presente artículo es un intento de introducir los sistemas de cierre sobre las álgebras de efectos. Primero definiremos sistemas de cierre sobre álgebras de efectos y para el conjunto arbitrario $ U $ y el subconjunto arbitrario S de todas las funciones de U a un álgebra de efectos L obtendremos el sistema de cierre que contiene S. Luego definiremos la base de este sistema de cierre y para un subconjunto arbitrario S de todas las funciones desde U hasta un álgebra de efectos L obtendremos la base de este sistema de cierre. -
C*-Segal Algebras with Order Unit Are Faithful Principal Ideals of C*-Algebras
C*-Segal algebras with order unit Jukka Kauppi Department of Mathematical Sciences, P.O. Box 3000, SF 90014, University of Oulu, Finland; e-mail: [email protected] Martin Mathieu∗ Pure Mathematics Research Centre, School of Mathematics and Physics, Queen’s University Belfast, Belfast BT7 1NN, Northern Ireland; e-mail: [email protected] Abstract We introduce the notion of a (noncommutative) C*-Segal algebra as a Banach algebra (A, k·kA) which is a dense ideal in a C*-algebra (C, k·kC ), where k·kA is strictly stronger than k·kC on A. Several basic properties are investigated and, with the aid of the theory of multiplier modules, the structure of C*-Segal algebras with order unit is determined. Keywords: Segal algebra, multiplier module, C*-Segal algebra, order unitization, σ-unital C*-algebra 1. Introduction The concept of a Segal algebra originated in the work of Reiter, cf. [18], on subalgebras of the L1-algebra of a locally compact group. It was generalized to arbitrary Banach algebras by Burnham in [8]. A C*-Segal algebra is a Banach algebra A which is continuously embedded as a dense, not necessarily self-adjoint ideal in a C*-algebra. Despite many important examples in analysis, such as the Schatten classes for example, the general structure and properties of C*- arXiv:1204.4931v2 [math.OA] 22 Sep 2012 Segal algebras is not well understood. The multiplier algebra and the bidual of self-adjoint C*-Segal algebras were described in [1, 13] and, in the presence of an approximate identity, the form of the closed ideals of C*-Segal algebras was given in [6].