Quantum Correlations and Causal Structures Mohamed Issam Ibnouhsein

Total Page:16

File Type:pdf, Size:1020Kb

Quantum Correlations and Causal Structures Mohamed Issam Ibnouhsein Quantum correlations and causal structures Mohamed Issam Ibnouhsein To cite this version: Mohamed Issam Ibnouhsein. Quantum correlations and causal structures. Quantum Physics [quant- ph]. Université Paris Sud - Paris XI, 2014. English. NNT : 2014PA112426. tel-01146097 HAL Id: tel-01146097 https://tel.archives-ouvertes.fr/tel-01146097 Submitted on 27 Apr 2015 HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. Universite´ Paris-Sud Ecole Doctorale 564 : Physique en ˆIle-de-France Laboratoire : CEA Saclay/IRFU/LARSIM Discipline : Physique Quantique These` de doctorat Soutenue le 11 d´ecembre 2014 par Mohamed Issam Ibnouhsein Corr´elations quantiques et structures causales Directeur de th`ese : Daniel Est`eve Directeur de recherche au CEA Saclay Encadrant : Alexei Grinbaum Chercheur au CEA Saclay Composition du jury : Pr´esident du jury : Nicolas Gisin Professeur `al’Universit´ede Gen`eve Rapporteurs : Giacomo Mauro D’Ariano Professeur `al’Universit´ede Pavie Jonathan Oppenheim Professeur `aUniversity College London Examinateurs : Alexia Auff`eves Chercheuse `al’Institut N´eel- CNRS Fr´ed´ericGrosshans Chercheur au CNRS R´esum´e Les travaux r´ecents en fondements de la th´eoriequantique (des champs) et en information quantique relativiste tentent de mieux comprendre les effets des contraintes de causalit´eimpos´eesaux op´erationsphysiques sur la structure des corr´elationsquantiques. Le premier chapitre de cette th`eseest consacr´e`al’´etudedes implica- tions conceptuelles de la non-localit´equantique, notion qui englobe celle d’intrication dans un sens pr´ecis. Nous d´etaillonscomment les r´ecentes approches informationnelles tentent de saisir la structure des corr´elations non-locales, ainsi que les questions que ces derni`eressoul`event concernant la capacit´ed’un observateur localis´e`aisoler un syst`emede son environnement. Le second chapitre d´etailleles effets de l’invariance de Poincar´esur la d´etectionet la quantification de l’intrication. Cette invariance impose que tous les syst`emessoient mod´elis´esen derni`ereinstance dans le cadre de la th´eoriedes champs, ce qui implique qu’aucun syst`eme`a´energiefinie ne puisse ˆetrelocalis´e,ainsi que la divergence de toute mesure d’intrication pour des observateurs localis´es. Nous fournissons une solution `aces deux probl`emes en d´emontrant l’´equivalence g´en´eriquequi existe entre une r´esolutionspa- tiale finie des appareils de mesure et l’exclusion des degr´esde libert´ede haute ´energiede la d´efinitiondu syst`emeobserv´e.Cette ´equivalence permet une interpr´etation´epist´emiquedu formalisme quantique standard d´ecrivant les syst`emeslocalis´esnon-relativistes et leurs corr´elations,clarifiant ainsi l’origine des mesures finies d’intrication pour de tels syst`emes. Le dernier chapitre explore un cadre th´eoriquer´ecemment introduit qui pr´editl’existence de corr´elationsquantiques sans ordre causal d´efini.Proc´edant par analogie avec le cas des corr´elations non-locales, nous pr´esentons quelques principes informationnels contraignant la structure de ces corr´elationsdans le but de mieux en comprendre l’origine physique. Mots-cl´es : th´eoriequantique, th´eoriequantique relativiste des champs, informatique quantique, entropie d’intrication, invariance de Poincar´e,sch´ema de localisation, courbes de type temps ferm´ees,ordre causal, information quantique. Abstract Recent works in foundations of quantum (field) theory and relativistic quan- tum information try to better grasp the interplay between the structure of quantum correlations and the constraints imposed by causality on physical operations. Chapter 1 is dedicated to the study of the conceptual implications of quantum nonlocality, a concept that subsumes that of entanglement in a certain way. We detail the recent information-theoretic approaches to un- derstanding the structure of nonlocal correlations, and the issues the latter raise concerning the ability of local observers to isolate a system from its environment. Chapter 2 reviews in what sense imposing Poincar´einvariance affects entanglement detection and quantification procedures. This invariance ul- timately forces a description of all quantum systems within the framework of quantum field theory, which leads to the impossibility of localized finite- energy states and to the divergence of all entanglement measures for local observers. We provide a solution to these two problems by showing that there exists a generic equivalence between a finite spatial resolution of the measurement apparatus and the exclusion of high-energy degrees of freedom from the definition of the observed system. This equivalence allows for an epistemic interpretation of the standard quantum formalism describing non- relativistic localized systems and their correlations, hence a clarification of the origin of the finite measures of entanglement between such systems. Chapter 3 presents a recent theoretical framework that predicts the exis- tence of correlations with indefinite causal order. In analogy to the information- theoretic approaches to nonlocal correlations, we introduce some principles that constrain the structure of such correlations, which is a first step toward a clear understanding of their physical origin. Keywords: quantum theory, relativistic quantum field theory, quan- tum computing, entropy of entanglement, Poincar´einvariance, localization scheme, closed timelike curves, causal order, quantum information. Acknowledgements I address my warmest thanks to my dissertation advisors Daniel Est`eve and Alexei Grinbaum. Their trust and constant support allowed me to enjoy a rare freedom in the choice of topics to study. I am also indebted to Caslavˇ Brukner, Professor at the University of Vienna and Director of the Institute for Quantum Optics and Quantum Information (IQOQI) of Vienna. The in- vitation to visit his group allowed me to better grasp where difficult questions lie in the topics of quantum foundations and quantum information. I have learned a lot from the valuable discussions with Etienne Klein, Vincent Bontems, Ognyan Oreshkov, Magdalena Zych, Igor Pikovski, Ma- teus Ara´ujo,Ma¨elP´egny, Amin¨ Baumeler, Christina Giarmatzi and most importantly Fabio Costa, whose patience and will to answer my (numerous) questions were a valuable help throughout these years. This dissertation is dedicated to my parents for their constant support. Financial support and travel funds over the last five years were provided by the CEA Saclay, the European Commission Q-Essence Project, and the Ministry for Education, Research and Technology of France. Contents Note synth´etique i Introduction . i Chapitre 1 . iii Chapitre 2 . v Chapitre 3 . vii Perspectives . ix Introduction 1 1 Conceptual implications of entanglement 5 1.1 Structure of quantum correlations . 5 1.1.1 General postulates of quantum theory . 6 1.1.2 Entanglement as a resource . 8 1.1.3 Bell’s theorem . 11 1.1.4 Reconstructions of quantum theory . 16 1.2 Entanglement and open systems . 27 1.2.1 Algebraic quantum field theory . 30 1.2.2 Infinite algebras and the Reeh-Schlieder theorem . 35 1.2.3 Type III algebras and split property . 37 2 Entanglement and relativity 41 2.1 Poincar´einvariance . 42 2.1.1 Lorentz group . 42 2.1.2 Poincar´egroup . 45 2.2 Observer-dependent entanglement . 52 2.2.1 Inertial observers . 52 2.2.2 Non-inertial observers . 58 2.2.3 Local detection of entanglement . 64 2.3 Infinite-mode systems . 65 2.3.1 Area law for entanglement entropy . 66 2.3.2 Renormalization at low energy . 68 10 CONTENTS 2.3.3 Area law at high energy and spacetime dynamics . 76 3 Beyond entanglement and definite causal structures 79 3.1 Operational approaches to causal relations . 80 3.2 The process matrix framework . 84 3.2.1 General framework . 84 3.2.2 Theory-independent tests via a causal inequality . 87 3.2.3 Causally non-separable processes . 88 3.3 Boxes compatible with predefined causal order . 89 3.3.1 Local order and causal separability of processes . 89 3.3.2 Generalized probabilistic framework . 91 3.4 Entropic characterizations of causal structures . 92 3.4.1 Constrained signalling and mutual information . 93 3.4.2 Causal games as random access codes . 95 3.4.3 The Hirschfeld-Gebelein-R´enyi maximal correlation . 100 3.5 Beyond causal quantum computation . 101 Conclusions and Outlook 105 Appendix A C∗-algebras and von Neumann algebras 109 A.1 Generalities . 109 A.2 C∗-algebras . 110 A.2.1 General definitions . 110 A.2.2 Commutative C∗-algebras . 110 A.2.3 Gelfand-Naimark-Segal (GNS) construction . 111 A.3 Von Neumann algebras . 113 A.3.1 General definitions . 113 A.3.2 Commutative von Neumann algebras . 113 A.3.3 Representations . 115 A.3.4 Classification of factors . 116 A.4 Spectral theorem . 119 Bibliography 120 Note synth´etique Cette th`esese situe `al’intersection des ´etudessur les fondements de la th´eoriequantique (des champs) et de l’information quantique relativiste. Y sont discut´eesplusieurs probl´ematiques autour de l’imbrication entre les notions de corr´elationsquantiques et de contrainte causale. Le caract`ere math´ematiquedes travaux
Recommended publications
  • Appendix A. Measure and Integration
    Appendix A. Measure and integration We suppose the reader is familiar with the basic facts concerning set theory and integration as they are presented in the introductory course of analysis. In this appendix, we review them briefly, and add some more which we shall need in the text. Basic references for proofs and a detailed exposition are, e.g., [[ H a l 1 ]] , [[ J a r 1 , 2 ]] , [[ K F 1 , 2 ]] , [[ L i L ]] , [[ R u 1 ]] , or any other textbook on analysis you might prefer. A.1 Sets, mappings, relations A set is a collection of objects called elements. The symbol card X denotes the cardi- nality of the set X. The subset M consisting of the elements of X which satisfy the conditions P1(x),...,Pn(x) is usually written as M = { x ∈ X : P1(x),...,Pn(x) }.A set whose elements are certain sets is called a system or family of these sets; the family of all subsystems of a given X is denoted as 2X . The operations of union, intersection, and set difference are introduced in the standard way; the first two of these are commutative, associative, and mutually distributive. In a { } system Mα of any cardinality, the de Morgan relations , X \ Mα = (X \ Mα)and X \ Mα = (X \ Mα), α α α α are valid. Another elementary property is the following: for any family {Mn} ,whichis { } at most countable, there is a disjoint family Nn of the same cardinality such that ⊂ \ ∪ \ Nn Mn and n Nn = n Mn.Theset(M N) (N M) is called the symmetric difference of the sets M,N and denoted as M #N.
    [Show full text]
  • The Index of Normal Fredholm Elements of C* -Algebras
    proceedings of the american mathematical society Volume 113, Number 1, September 1991 THE INDEX OF NORMAL FREDHOLM ELEMENTS OF C*-ALGEBRAS J. A. MINGO AND J. S. SPIELBERG (Communicated by Palle E. T. Jorgensen) Abstract. Examples are given of normal elements of C*-algebras that are invertible modulo an ideal and have nonzero index, in contrast to the case of Fredholm operators on Hubert space. It is shown that this phenomenon occurs only along the lines of these examples. Let T be a bounded operator on a Hubert space. If the range of T is closed and both T and T* have a finite dimensional kernel then T is Fredholm, and the index of T is dim(kerT) - dim(kerT*). If T is normal then kerT = ker T*, so a normal Fredholm operator has index 0. Let us consider a generalization of the notion of Fredholm operator intro- duced by Atiyah. Let X be a compact Hausdorff space and consider continuous functions T: X —>B(H), where B(H) is the set of bounded linear operators on a separable infinite dimensional Hubert space with the norm topology. The set of such functions forms a C*- algebra C(X) <g>B(H). A function T is Fredholm if T(x) is Fredholm for each x . Atiyah [1, Appendix] showed how such an element has an index which is an element of K°(X). Suppose that T is Fredholm and T(x) is normal for each x. Is the index of T necessarily 0? There is a generalization of this question that we would like to consider.
    [Show full text]
  • C*-Algebraic Spectral Sets, Twisted Groupoids and Operators
    C∗-Algebraic Spectral Sets, Twisted Groupoids and Operators Marius M˘antoiu ∗ July 7, 2020 Abstract We treat spectral problems by twisted groupoid methods. To Hausdorff locally compact groupoids endowed with a continuous 2-cocycle one associates the reduced twisted groupoid C∗-algebra. Elements (or multipliers) of this algebra admit natural Hilbert space representations. We show the relevance of the orbit closure structure of the unit space of the groupoid in dealing with spectra, norms, numerical ranges and ǫ-pseudospectra of the resulting operators. As an ex- ample, we treat a class of pseudo-differential operators introduced recently, associated to group actions. We also prove a Decomposition Principle for bounded operators connected to groupoids, showing that several relevant spectral quantities of these operators coincide with those of certain non-invariant restrictions. This is applied to Toeplitz-like operators with variable coefficients and to band dominated operators on discrete metric spaces. Introduction Many applications of C∗-algebras to spectral analysis rely on a very simple principle: a morphism between two C∗-algebras is contractive and reduces the spectrum of elements. In addition, if it is injective, it is isometric and preserves spectra. While working on this project, we became aware of the fact that such a principle works ef- fectively for much more than spectra (and essential spectra). We call C∗-algebraic spectral set a function Σ sending, for any unital C∗-algebra E , the elements E of this one to closed (usually com- pact) subsets Σ(E |E ) of C , having the above mentioned behavior under C∗-morphisms. Definition 1.1 states this formally.
    [Show full text]
  • Arxiv:1909.02676V3 [Math.DG] 25 Jul 2021 Elsetu Jcb Arcshv Ipera Pcrm.Mor a of Spectrum)
    AN ATLAS ADAPTED TO THE TODA FLOW DAVID MART´INEZ TORRES AND CARLOS TOMEI Abstract. We describe an atlas adapted to the Toda flow on the mani- fold of full flags of any non-compact real semisimple Lie algebra, and on its Hessenberg-type submanifolds. We show that in these local coordinates the Toda flow becomes linear. The local coordinates are used to show that the Toda flow on the manifold of full flags is Morse-Smale, which generalizes the re- sult for traceless matrices in [27] to arbitrary non-compact real semisimple Lie algebras. As a byproduct we describe new features of classical constructions in matrix theory. 1. Introduction The non-periodic Toda lattice is a Hamiltonian model for a wave propagation along n particles in a line proposed by Toda [30]. A change of variables introduced by Flaschka [14] transforms the original O.D.E. into the matrix differential equation X′ = [X, πkX]= T (X), (1) where X runs over Jacobi matrices and πk is the first projection associated to the decomposition of a matrix into its antisymmetric and upper triangular summands. From a mathematical viewpoint (1) is a vector field everywhere defined on the Lie algebra of real traceless matrices. Since it is in Lax form it is tangent to every adjoint orbit and, in particular, to the orbit made of traceless matrices of any fixed simple real spectrum (Jacobi matrices have simple real spectrum). Moreover, formula (1) implies that the Toda vector field T is tangent to any vector subspace which is stable upon taking Lie bracket with antisymmetric matrices.
    [Show full text]
  • Self-Adjoint Semigroups with Nilpotent Commutators ∗ Matjaž Omladiˇc A, ,1, Heydar Radjavi B,2
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Elsevier - Publisher Connector Linear Algebra and its Applications 436 (2012) 2597–2603 Contents lists available at SciVerse ScienceDirect Linear Algebra and its Applications journal homepage: www.elsevier.com/locate/laa Self-adjoint semigroups with nilpotent commutators ∗ Matjaž Omladiˇc a, ,1, Heydar Radjavi b,2 a Department of Mathematics, University of Ljubljana, Ljubljana, Slovenia b Department of Pure Mathematics, University of Waterloo, Waterloo, Canada ARTICLE INFO ABSTRACT Article history: Let P be a projection and let S be a multiplicative semigroup of Received 19 June 2011 linear operators such that SP − PS is nilpotent for every S in S. Accepted 26 October 2011 We study conditions under which this implies the existence of an Available online 5 December 2011 invariant subspace for S and, in particular, when P commutes with Submitted by H. Schneider every member of S. © 2011 Elsevier Inc. All rights reserved. AMS classification: 15A30 47A15 Keywords: Reducibility Semigroups Commutators Nilpotent operators 1. Introduction Several authors have studied the effect of polynomial conditions on reducibility and (simultane- ous) triangularizability of semigroups of operators in the following sense. Let S be a (multiplicative) semigroup of linear operators on a finite-dimensional vector space V over an algebraically closed field. (The semigroup may have to satisfy more conditions to get certain results, e.g., it may be required that it be a group or an algebra.) Let f be a noncommutative polynomial in two variables. One may assume conditions such as f (S, T) = 0forallS and T in S,ortrf (S, T) = 0, or f (S, T) is nilpotent for all pairs.
    [Show full text]
  • Chapter 2 C -Algebras
    Chapter 2 C∗-algebras This chapter is mainly based on the first chapters of the book [Mur90]. Material bor- rowed from other references will be specified. 2.1 Banach algebras Definition 2.1.1. A Banach algebra C is a complex vector space endowed with an associative multiplication and with a norm k · k which satisfy for any A; B; C 2 C and α 2 C (i) (αA)B = α(AB) = A(αB), (ii) A(B + C) = AB + AC and (A + B)C = AC + BC, (iii) kABk ≤ kAkkBk (submultiplicativity) (iv) C is complete with the norm k · k. One says that C is abelian or commutative if AB = BA for all A; B 2 C . One also says that C is unital if 1 2 C , i.e. if there exists an element 1 2 C with k1k = 1 such that 1B = B = B1 for all B 2 C . A subalgebra J of C is a vector subspace which is stable for the multiplication. If J is norm closed, it is a Banach algebra in itself. Examples 2.1.2. (i) C, Mn(C), B(H), K (H) are Banach algebras, where Mn(C) denotes the set of n × n-matrices over C. All except K (H) are unital, and K (H) is unital if H is finite dimensional. (ii) If Ω is a locally compact topological space, C0(Ω) and Cb(Ω) are abelian Banach algebras, where Cb(Ω) denotes the set of all bounded and continuous complex func- tions from Ω to C, and C0(Ω) denotes the subset of Cb(Ω) of functions f which vanish at infinity, i.e.
    [Show full text]
  • Dilations on Locally Hilbert Spaces
    The article was published in “Topics in Mathematics, Computer Science and Philosophy, A Festschrift for Wolfgang W. Breckner”, Presa Universitar˘aClujean˘a, 2008, pp. 107 – 122. The present version contains some spelling and typing corrections and is differently formatted. For references please use the information above. DILATIONS ON LOCALLY HILBERT SPACES DUMITRU GAS¸PAR, PASTOREL˘ GAS¸PAR, AND NICOLAE LUPA Dedicated to Wolfgang W. Breckner for his 65th birthday Abstract. The principal theorem of Sz.-Nagy on dilation of a positive definite Hilbert space operator valued function has played a central role in the development of the non-self-adjoint operator theory. In this paper we introduce the positive definiteness for locally Hilbert space operator valued kernels, we prove an analogue of the Sz.-Nagy dilation theorem and, as application, we obtain dilation results for locally contractions and locally ρ - contractions as well as for locally semi-spectral measures. 1. Introduction It is well known that the class B(H) of all bounded linear operators on a Hilbert space H can be organized as a C∗ - algebra, and any C∗ - alge- bra embeds isometrically in such an operator algebra. At the same time, because the above algebra B(H) is the dual of the trace-class C1(H), it follows that it is a W ∗ - algebra and conversely, any W ∗ - algebra can be identified up to an algebraic-topological isomorphism with a weak operator closed ∗ - subalgebra in B(H). Hence, the spectral theory of bounded lin- ear operators on a Hilbert space is developed in close connection with the arXiv:1504.07756v1 [math.FA] 29 Apr 2015 theory of C∗ - algebras.
    [Show full text]
  • Class Notes, Functional Analysis 7212
    Class notes, Functional Analysis 7212 Ovidiu Costin Contents 1 Banach Algebras 2 1.1 The exponential map.....................................5 1.2 The index group of B = C(X) ...............................6 1.2.1 p1(X) .........................................7 1.3 Multiplicative functionals..................................7 1.3.1 Multiplicative functionals on C(X) .........................8 1.4 Spectrum of an element relative to a Banach algebra.................. 10 1.5 Examples............................................ 19 1.5.1 Trigonometric polynomials............................. 19 1.6 The Shilov boundary theorem................................ 21 1.7 Further examples....................................... 21 1.7.1 The convolution algebra `1(Z) ........................... 21 1.7.2 The return of Real Analysis: the case of L¥ ................... 23 2 Bounded operators on Hilbert spaces 24 2.1 Adjoints............................................ 24 2.2 Example: a space of “diagonal” operators......................... 30 2.3 The shift operator on `2(Z) ................................. 32 2.3.1 Example: the shift operators on H = `2(N) ................... 38 3 W∗-algebras and measurable functional calculus 41 3.1 The strong and weak topologies of operators....................... 42 4 Spectral theorems 46 4.1 Integration of normal operators............................... 51 4.2 Spectral projections...................................... 51 5 Bounded and unbounded operators 54 5.1 Operations..........................................
    [Show full text]
  • Toroidal Matrix Links: Local Matrix Homotopies and Soft Tori
    University of New Mexico UNM Digital Repository Mathematics & Statistics ETDs Electronic Theses and Dissertations 8-25-2016 Toroidal Matrix Links: Local Matrix Homotopies and Soft orT i Fredy Antonio Vides Romero Follow this and additional works at: https://digitalrepository.unm.edu/math_etds Recommended Citation Vides Romero, Fredy Antonio. "Toroidal Matrix Links: Local Matrix Homotopies and Soft orT i." (2016). https://digitalrepository.unm.edu/math_etds/51 This Dissertation is brought to you for free and open access by the Electronic Theses and Dissertations at UNM Digital Repository. It has been accepted for inclusion in Mathematics & Statistics ETDs by an authorized administrator of UNM Digital Repository. For more information, please contact [email protected]. Fredy Antonio Vides Romero Candidate Mathematics and Statistics Department This dissertation is approved, and it is acceptable in quality and form for publication: Approved by the Dissertation Committee: Terry A. Loring Prof. Terry A. Loring, Chair Alexandru Buium Prof. Alexandru Buium, Member Charles Boyer Prof. Charles Boyer, Member Judith Packer Prof. Judith Packer, Member Toroidal Matrix Links: Local Matrix Homotopies and Soft Tori by Fredy Antonio Vides Romero B.Sc., Mathematics, National Autonomous University of Honduras, 2010 M.Sc., Mathematics, University of New Mexico, 2013 THESIS Submitted in Partial Fulfillment of the Requirements for the Degree of Doctor of Philosophy Mathematics The University of New Mexico Albuquerque, New Mexico July, 2016 c 2016, Fredy Antonio Vides Romero iii Dedication To my mom Fidelia and my wife Mirna, for their love, support and their unbreakable faith in me. \Mathematics is the alphabet with which God has written the universe." { Galileo Galilei iv Acknowledgments I thank God, the divine mathematician, for the adventure of life.
    [Show full text]
  • Approximation with Normal Operators with Finite Spectrum, and an Elementary Proof of a Brown–Douglas–Fillmore Theorem
    Pacific Journal of Mathematics APPROXIMATION WITH NORMAL OPERATORS WITH FINITE SPECTRUM, AND AN ELEMENTARY PROOF OF A BROWN–DOUGLAS–FILLMORE THEOREM Peter Friis and Mikael Rørdam Volume 199 No. 2 June 2001 PACIFIC JOURNAL OF MATHEMATICS Vol. 199, No. 2, 2001 APPROXIMATION WITH NORMAL OPERATORS WITH FINITE SPECTRUM, AND AN ELEMENTARY PROOF OF A BROWN–DOUGLAS–FILLMORE THEOREM Peter Friis and Mikael Rørdam We give a short proof of the theorem of Brown, Douglas and Fillmore that an essentially normal operator on a Hilbert space is of the form “normal plus compact” if and only if it has trivial index function. The proof is basically a modification of our short proof of Lin’s theorem on almost commuting self- adjoint matrices that takes into account the index. Using similar methods we obtain new results, generalizing results of Lin, on approximating normal operators by ones with finite spectrum. 1. Introduction. Let H be an infinite-dimensional separable Hilbert space, let K denote the compact operators on H, and consider the short-exact sequence 0 −−−→ K −−−→ B(H) −−−→π Q(H) −−−→ 0 where Q(H) is the Calkin algebra B(H)/K. An operator T ∈ B(H) is essentially normal if T ∗T − TT ∗ ∈ K, or equivalently, if π(T ) is normal. An operator T ∈ B(H) is Fredholm if π(T ) is invertible in Q(H), and it’s Fredholm index is denoted by index(T ). The essential spectrum spess(T ) is the spectrum of π(T ). The index function of T is the map C \ spess(T ) → Z; λ 7→ index(T − λ·1).
    [Show full text]
  • Arxiv:1605.06590V2 [Math.OA] 22 Jun 2016
    LOCAL MATRIX HOMOTOPIES AND SOFT TORI TERRY A. LORING AND FREDY VIDES Abstract. We present solutions to local connectivity problems in matrix rep- N 2 resentations of the form C([−1; 1] ) ! An;" C"(T ) for any " 2 [0; 2] 2 and any integer n ≥ 1, where An;" ⊆ Mn and where C"(T ) denotes the Soft Torus. We solve the connectivity problems by introducing the so called toroidal matrix links, which can be interpreted as normal contractive matrix analogies of free homotopies in differential algebraic topology. In order to deal with the locality constraints, we have combined some tech- niques introduced in this document with some techniques from matrix geom- etry, combinatorial optimization, classification and representation theory of C∗-algebras. 1. Introduction In this document we study the solvability of some local connectivity problems via constrained normal matrix homotopies in C∗-representations of the form N (1.1) C(T ) −! Mn; for a fixed but arbitrary integer N ≥ 1 and any integer n ≥ 1. In particular we study local normal matrix homotopies which preserve commutativity and also satisfy some additional constraints, like being rectifiable or piecewise analytic. We build on some homotopic techniques introduced initially by Bratteli, Elliot, Evans and Kishimoto in [3] and generalized by Lin in [18] and [22]. We combine the homotopic techniques with some techniques introduced here and some other techniques from matrix geometry and noncommutative topology developed by Lor- ing [24, 27], Shulman [27], Bhatia [1], Chu [7], Brockett [4], Choi [6,
    [Show full text]
  • A Continuous Geometry As a Mathematical Model for Quantum Mechanics
    Commentationes Mathematicae Universitatis Carolinae Christopher J. Duckenfield A continuous geometry as a mathematical model for quantum mechanics Commentationes Mathematicae Universitatis Carolinae, Vol. 10 (1969), No. 2, 217--236 Persistent URL: http://dml.cz/dmlcz/105229 Terms of use: © Charles University in Prague, Faculty of Mathematics and Physics, 1969 Institute of Mathematics of the Academy of Sciences of the Czech Republic provides access to digitized documents strictly for personal use. Each copy of any part of this document must contain these Terms of use. This paper has been digitized, optimized for electronic delivery and stamped with digital signature within the project DML-CZ: The Czech Digital Mathematics Library http://project.dml.cz Comment at i ones Mathematicae Universitatis Carolinae 10,2 (1969) A CONTINUOUS GEOMETRY AS A MATHEMATICAL MODEL FOR QUANTUM MECHANICS Christopher J. DUCKEHFIELD, &TOERS, Conn.. Introduction. The usual as3ertions of quantum mecha- nica are that observablea are aelf-adjoint operatora in Hilbert apace, atates are vectors in this space, and the expectation value of an obaervable A in the state "Sf is ( AUC 7 V) . The "pure" statea are aasociated with unit vectors (i.e. "points") in the Hilbert space» G. Mackey [1] has produced a set of axioms for the standard model for quantum mechanics which gives a mathematical theory in accordance with the above as3ertions. The spec tral theory for operators on a Hilbert space plays a vi­ tal role in this analysi9. Thi3 theory is developed from the basic assumption that underlying every physical system is an orthocomple- mented lattice, namely the lattice of experimentally ve­ rifiable propositions about the system.
    [Show full text]