DOCSLIB.ORG

Unbounded Products of Operators and Connections to Dirac-Type

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Unbounded Products of Operators and Connections to Dirac-Type UNBOUNDED PRODUCTS OF OPERATORS AND CONNECTIONS TO DIRAC-TYPE OPERATORS KARL GUSTAFSON1 AND MOHAMMED HICHEM MORTAD2* Abstract. Let A and B be two densely defined unbounded closeable opera- tors in a Hilbert space such that their unbounded operator products AB and BA are also densely defined. Then all four operators possess adjoints and we obtain new inclusion bounds for the operator product closures A B and AB in terms of new relations among the operator adjoints. These in turn lead to sharpened understandings for when products of unbounded self-adjoint and unbounded normal operators are self-adjoint and normal. They also clarify certain operator-product issues for Dirac operators. 1. Introduction Let A and B be two densely defined unbounded closeable operators in a Hilbert space such that their unbounded operator product domain D(AB), and often, D(BA), are also dense. These operators then possess adjoints and we obtain new results for relations among them. Our goal is to seek somewhat finer detail than we have seen in the established literature. We shall refrain inasmuch as is possible from any supplementary assumptions of boundedness, positivity and closed opera- tor ranges. In particular, this allows our results to be applicable over the continuous spectrum. See Remark 4.1. Section 2 investigates the adjoint product (AB)∗ and then establishes inclusion bounds for the operator closures A B and AB. Section 3 specializes to A and B self- adjoint and concludes with A and B normal. Although we are fully cognizant of the power and naturalness of an assumption of commutativity in such considerations, a theme there is to also examine its necessity. Section 4 elaborates key issues and gives some related literature from which further relevant bibliography may be obtained. In particular, we clarify and improve certain important results used in arXiv:1308.2427v1 [math.FA] 11 Aug 2013 investigations of Dirac operators, see [9, 39]. Thereby, this paper also provides a brief up-to-date account of these important problems. An interested reader may therefore wish to consult Section 4 while reading the earlier sections of this paper. 2. Unbounded Product Adjoints Recall that a generally unbounded operator T in a Hilbert space possesses a unique adjoint T ∗ iff D(T ) is dense. Then T is closeable with minimal closed extension T iff D(T ∗) is dense, and then (T )∗ = T ∗. When A and B and AB are densely defined, then (AB)∗ ⊃ B∗A∗, whether or not the latter adjoint operators 2010 Mathematics Subject Classification. Primary 47A05; Secondary 47B25. Key words and phrases. Unbounded operators. Self-adjoint and normal operators. Operator products. Dirac operators. * Corresponding author. 1 2 KARLGUSTAFSON1 AND MOHAMMED HICHEM MORTAD2* are densely defined. One has T = T ∗∗ for closed densely defined operators T . Moreover, if T is just densely defined and closeable, still one has T = T ∗∗. Recall adjoint operators are always closed. In the following we will always assume that our starting A and B are densely defined so that they have adjoints. A central question is when (AB)∗ = B∗A∗. Such is the case for everywhere defined bounded operators A and B in B(H). One needs only A ∈ B(H) for that equality. Another central question is when AB is closed. When A is closed and B is in B(H), then AB is closed. Also when A is invertible with A−1 in B(H), AB is closed. Some further known results may be found in the books [10, 19, 37, 42]. We digress a bit to say that similar works exist for sums of linear operators, see e.g. [16, 24, 25] and further bibliography cited therein. In this section we want to start out ”from scratch”, assuming only that A and B are densely defined closeable operators. In other words, we want to go beyond any assumptions of B(H), positivity, closed ranges, for any of our operators, inasmuch as that may be possible. Of course, we will need to make other, lesser, assumptions, as we go along. Early on, following results of J. von Neumann [33], M. A. Naimark [31] (see also [4] and [40]) showed that even a densely defined closed symmetric operator T may have domain D(T 2) not dense, even D(T 2) = {0}. Therefore we shall normally assume that D(AB) is dense, so that we may speak of (AB)∗. That D(AB) be ∞ dense is often apparent in applications, e.g. where D(AB) contains the smooth C0 functions. Let A and B be densely defined closeable operators such that AB is also densely defined. Then (AB)∗ ⊃ B∗A∗. Then the domain D((AB)∗) is also dense iff AB is closeable, and given that, then ((AB)∗)∗ exists and equals AB which has dense domain D(AB) ⊃ D(AB). Thus (AB)∗∗ is a closed densely defined operator and if D(B∗A∗) is also dense we arrive at the two inclusion relations ∗ ∗ ∗ ∗∗ (B A ) ⊃ (AB) = AB ⊃ AB and ∗ ∗ ∗ ∗∗ ∗∗ (B A ) ⊃ A B = A B ⊃ AB. We remark that the distinction between AB and A B is important and nontrivial so we want to keep it in mind even when we are thinking of closed A and B. As all of the operators mentioned are densely defined, we may again adjoint the above relations, arriving at, respectively, ∗ ∗ ∗∗∗ ∗ ∗ ∗∗ ∗ ∗ ∗ ∗ (AB) = (AB) = (AB) ⊃ (B A ) ⊃ B A = (B) (A) and ∗ ∗ ∗∗ ∗∗ ∗ ∗ ∗ ∗ ∗ (AB) ⊃ (A B) = (A B ) ⊃ B A = (B) (A) . Doing this again serves as both check and possible refinement of these considera- tions, from which we have, respectively, ∗∗ ∗ ∗ ∗∗∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ AB = (AB) ⊂ (B A ) = (B A ) = (B∗A∗) = (B A ) , and ∗∗ ∗∗ ∗ ∗ ∗ AB ⊂ (A B) = (A B) = A B ⊂ (B A ) . Let us summarize the relations obtained to this point. UNBOUNDEDPRODUCTSOFOPERATORS 3 Lemma 1. Given densely defined closeable A and B such that D(AB) is dense, we have (AB)∗ ⊃ B∗A∗. If also D(B∗A∗) is dense, we have all of the above relations. In particular, AB and A B are both included between AB and (B∗A∗)∗. Of course one could see that AB and A B are both sandwiched between AB and (B∗A∗)∗ directly from ∗ ∗ ∗ ∗∗ ∗∗ (B A ) ⊃ A B = A B, i.e., from the general adjoint property, and from the general property that the operator closure is always minimal, hence ∗ ∗ ∗ (B A ) ⊃ AB. But we wanted also the finer details of the Lemma available to us. From the above it is clear that there are intimate relationships between product adjoints and product closures and closures of products. In particular, we may ask the consequences of when equality may hold in the above relations. For example, suppose equality holds in the fundamental adjoint operation ∗ ∗ ∗ ∗∗ ∗∗ (B A ) = A B . If A and B be closed, that means AB is closed. Moreover, then (AB)∗ = B∗A∗. Should B∗A∗ also be closed, then the fundamental adjoint relation (AB)∗ = B∗A∗ obtains. Similarly, suppose equality holds in the other above obtained general adjoint relation (B∗A∗)∗ ⊃ AB, i.e., that ∗ ∗ ∗ (B A ) = AB. Then since (AB)∗ = (AB)∗ we have (AB)∗ = B∗A∗, whether or not A and B are closed. Should B∗A∗ also be closed, then again the fundamental adjoint relation (AB)∗ = B∗A∗ holds. Let us summarize a version of these observations. Theorem 1. Let A and B be densely defined closeable operators such that D(AB) and D(B∗A∗) are both dense. Then the product adjoint equality (B∗A∗)∗ = A∗∗B∗∗ necessitates that the product A B be closed and that (A B)∗ = (B∗A∗). If moreover A and B are closed, then AB is necessarily closed. If, further, the product B∗A∗ is closed, then the fundamental adjoint relation ∗ ∗ ∗ (AB) = B A obtains. Similarly, equality in the other adjoint relation above, (B∗A∗)∗ = AB, along with closure of the product B∗A∗, also yields the sought adjoint relation (AB)∗ = B∗A∗. Conversely, necessary conditions for that fundamental adjoint relation include: B∗A∗ closed, and AB ⊃ A B. Remark. Assuming B∗A∗ closed may not be merely dropped. For if A and B are self-adjoint, and B is the bounded inverse of A, then AB = I and BA ⊂ I. Hence (AB)∗ 6= BA. An explicit example would be: Example 1. Let A be the unbounded operator defined by Af(x)=(1+ x2)f(x) for all f ∈ L2(R) on the domain D(A) = {f ∈ L2(R): x2f ∈ L2(R)}. Then it is clear that A is self-adjoint and positive on D(A). Let B be its inverse, i.e. 1 Bf(x)= f(x), ∀f ∈ L2(R). 1+ x2 We may recover the following well-known result (due to von-Neumann) 4 KARLGUSTAFSON1 AND MOHAMMED HICHEM MORTAD2* Corollary 1. If A is a densely defined closed operator, then AA∗ and A∗A are self-adjoint. From the above analysis, one is naturally led to wonder: could B∗A∗ closed and densely defined provide a sufficient condition for the sought (AB)∗ = B∗A∗ fundamental adjoint product relation? After all, if A and B are also closed, then if (B∗A∗)∗ = A∗∗B∗∗ = AB, and adjointing again yields the sought (AB)∗ = B∗A∗. The answer is: yes, usually. This follows from the following fundamental result obtained by one of us long ago [12]. Theorem 2. Let T and S be densely defined linear operators in a Hilbert space. If S is closed and range R(S) has finite codimension, then (TS)∗ = S∗T ∗. Corollary 2. Let A and B be closed densely defined operators with D(AB) and D(B∗A∗) dense. Suppose also that B∗A∗ is closed and densely defined and R(A∗) is closed.
Load more

Recommended publications
  • Adjoint of Unbounded Operators on Banach Spaces
    November 5, 2013 ADJOINT OF UNBOUNDED OPERATORS ON BANACH SPACES M.T. NAIR Banach spaces considered below are over the field K which is either R or C. Let X be a Banach space. following Kato [2], X∗ denotes the linear space of all continuous conjugate linear functionals on X. We shall denote hf; xi := f(x); x 2 X; f 2 X∗: On X∗, f 7! kfk := sup jhf; xij kxk=1 defines a norm on X∗. Definition 1. The space X∗ is called the adjoint space of X. Note that if K = R, then X∗ coincides with the dual space X0. It can be shown, analogues to the case of X0, that X∗ is a Banach space. Let X and Y be Banach spaces, and A : D(A) ⊆ X ! Y be a densely defined linear operator. Now, we st out to define adjoint of A as in Kato [2]. Theorem 2. There exists a linear operator A∗ : D(A∗) ⊆ Y ∗ ! X∗ such that hf; Axi = hA∗f; xi 8 x 2 D(A); f 2 D(A∗) and for any other linear operator B : D(B) ⊆ Y ∗ ! X∗ satisfying hf; Axi = hBf; xi 8 x 2 D(A); f 2 D(B); D(B) ⊆ D(A∗) and B is a restriction of A∗. Proof. Suppose D(A) is dense in X. Let S := ff 2 Y ∗ : x 7! hf; Axi continuous on D(A)g: For f 2 S, define gf : D(A) ! K by (gf )(x) = hf; Axi 8 x 2 D(A): Since D(A) is dense in X, gf has a unique continuous conjugate linear extension to all ∗ of X, preserving the norm.
    [Show full text]
  • Operator Theory in the C -Algebra Framework
    Operator theory in the C∗-algebra framework S.L.Woronowicz and K.Napi´orkowski Department of Mathematical Methods in Physics Faculty of Physics Warsaw University Ho˙za74, 00-682 Warszawa Abstract Properties of operators affiliated with a C∗-algebra are studied. A functional calculus of normal elements is constructed. Representations of locally compact groups in a C∗-algebra are considered. Generaliza- tions of Stone and Nelson theorems are investigated. It is shown that the tensor product of affiliated elements is affiliated with the tensor product of corresponding algebras. 1 0 Introduction Let H be a Hilbert space and CB(H) be the algebra of all compact operators acting on H. It was pointed out in [17] that the classical theory of unbounded closed operators acting in H [8, 9, 3] is in a sense related to CB(H). It seems to be interesting to replace in this context CB(H) by any non-unital C∗- algebra. A step in this direction is done in the present paper. We shall deal with the following topics: the functional calculus of normal elements (Section 1), the representation theory of Lie groups including the Stone theorem (Sections 2,3 and 4) and the extensions of symmetric elements (Section 5). Section 6 contains elementary results related to tensor products. The perturbation theory (in the spirit of T.Kato) is not covered in this pa- per. The elementary results in this direction are contained the first author’s previous paper (cf. [17, Examples 1, 2 and 3 pp. 412–413]). To fix the notation we remind the basic definitions and results [17].
    [Show full text]
  • Multiple Operator Integrals: Development and Applications
    Multiple Operator Integrals: Development and Applications by Anna Tomskova A thesis submitted for the degree of Doctor of Philosophy at the University of New South Wales. School of Mathematics and Statistics Faculty of Science May 2017 PLEASE TYPE THE UNIVERSITY OF NEW SOUTH WALES Thesis/Dissertation Sheet Surname or Family name: Tomskova First name: Anna Other name/s: Abbreviation for degree as given in the University calendar: PhD School: School of Mathematics and Statistics Faculty: Faculty of Science Title: Multiple Operator Integrals: Development and Applications Abstract 350 words maximum: (PLEASE TYPE) Double operator integrals, originally introduced by Y.L. Daletskii and S.G. Krein in 1956, have become an indispensable tool in perturbation and scattering theory. Such an operator integral is a special mapping defined on the space of all bounded linear operators on a Hilbert space or, when it makes sense, on some operator ideal. Throughout the last 60 years the double and multiple operator integration theory has been greatly expanded in different directions and several definitions of operator integrals have been introduced reflecting the nature of a particular problem under investigation. The present thesis develops multiple operator integration theory and demonstrates how this theory applies to solving of several deep problems in Noncommutative Analysis. The first part of the thesis considers double operator integrals. Here we present the key definitions and prove several important properties of this mapping. In addition, we give a solution of the Arazy conjecture, which was made by J. Arazy in 1982. In this part we also discuss the theory in the setting of Banach spaces and, as an application, we study the operator Lipschitz estimate problem in the space of all bounded linear operators on classical Lp-spaces of scalar sequences.
    [Show full text]
  • Computing the Singular Value Decomposition to High Relative Accuracy
    Computing the Singular Value Decomposition to High Relative Accuracy James Demmel Department of Mathematics Department of Electrical Engineering and Computer Science University of California - Berkeley [email protected] Plamen Koev Department of Mathematics University of California - Berkeley [email protected] Structured Matrices In Operator Theory, Numerical Analysis, Control, Signal and Image Processing Boulder, Colorado June 27-July 1, 1999 Supported by NSF and DOE INTRODUCTION • High Relative Accuracy means computing the correct SIGN and LEADING DIGITS • Singular Value Decomposition (SVD): A = UΣV T where U, V are orthogonal, σ1 σ2 Σ = and σ1 ≥ σ2 ≥ . σn ≥ 0 .. . σn • GOAL: Compute all σi with high relative accuracy, even when σi σ1 • It all comes down to being able to compute determi- nants to high relative accuracy. Example: 100 by 100 Hilbert Matrix H(i, j) = 1/(i + j − 1) • Singular values range from 1 down to 10−150 • Old algorithm, New Algorithm, both in 16 digits Singular values of Hilb(100), blue = accurate, red = usual 0 10 −20 10 −40 10 −60 10 −80 10 −100 10 −120 10 −140 10 0 10 20 30 40 50 60 70 80 90 100 • D = log(cond(A)) = log(σ1/σn) (here D = 150) • Cost of Old algorithm = O(n3D2) • Cost of New algorithm = O(n3), independent of D – Run in double, not bignums as in Mathematica – New hundreds of times faster than Old • When does it work? Not for all matrices ... • Why bother? Why do we want tiny singular values accurately? 1. When they are determined accurately by the data • Hilbert: H(i, j) = 1/(i + j − 1) • Cauchy: C(i, j) = 1/(xi + yj) 2.
    [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]
  • Variational Calculus of Supervariables and Related Algebraic Structures1
    Variational Calculus of Supervariables and Related Algebraic Structures1 Xiaoping Xu Department of Mathematics, The Hong Kong University of Science & Technology Clear Water Bay, Kowloon, Hong Kong2 Abstract We establish a formal variational calculus of supervariables, which is a combination of the bosonic theory of Gel’fand-Dikii and the fermionic theory in our earlier work. Certain interesting new algebraic structures are found in connection with Hamiltonian superoperators in terms of our theory. In particular, we find connections between Hamiltonian superoperators and Novikov- Poisson algebras that we introduced in our earlier work in order to establish a tensor theory of Novikov algebras. Furthermore, we prove that an odd linear Hamiltonian superoperator in our variational calculus induces a Lie superalgebra, which is a natural generalization of the Super-Virasoro algebra under certain conditions. 1 Introduction Formal variational calculus was introduced by Gel’fand and Dikii [GDi1-2] in studying Hamiltonian systems related to certain nonlinear partial differential equation, such as the arXiv:math/9911191v1 [math.QA] 24 Nov 1999 KdV equations. Invoking the variational derivatives, they found certain interesting Pois- son structures. Moreover, Gel’fand and Dorfman [GDo] found more connections between Hamiltonian operators and algebraic structures. Balinskii and Novikov [BN] studied sim- ilar Poisson structures from another point of view. The nature of Gel’fand and Dikii’s formal variational calculus is bosonic. In [X3], we presented a general frame of Hamiltonian superoperators and a purely fermionic formal variational calculus. Our work [X3] was based on pure algebraic analogy. In this paper, we shall present a formal variational calculus of supervariables, which is a combination 11991 Mathematical Subject Classification.
    [Show full text]
  • Some Elements of Functional Analysis
    Some elements of functional analysis J´erˆome Le Rousseau January 8, 2019 Contents 1 Linear operators in Banach spaces 1 2 Continuous and bounded operators 2 3 Spectrum of a linear operator in a Banach space 3 4 Adjoint operator 4 5 Fredholm operators 4 5.1 Characterization of bounded Fredholm operators ............ 5 6 Linear operators in Hilbert spaces 10 Here, X and Y will denote Banach spaces with their norms denoted by k.kX , k.kY , or simply k.k when there is no ambiguity. 1 Linear operators in Banach spaces An operator A from X to Y is a linear map on its domain, a linear subspace of X, to Y . One denotes by D(A) the domain of this operator. An operator from X to Y is thus characterized by its domain and how it acts on this domain. Operators defined this way are usually referred to as unbounded operators. One writes (A, D(A)) to denote the operator along with its domain. The set of linear operators from X to Y is denoted by L (X,Y ). If D(A) is dense in X the operator is said to be densely defined. If D(A) = X one says that the operator A is on X to Y . The range of the operator is denoted by Ran(A), that is, Ran(A)= {Ax; x ∈ D(A)} ⊂ Y, 1 and its kernel, ker(A), is the set of all x ∈ D(A) such that Ax = 0. The graph of A, G(A), is given by G(A)= {(x, Ax); x ∈ D(A)} ⊂ X × Y.
    [Show full text]
  • On Lifting of Operators to Hilbert Spaces Induced by Positive Selfadjoint Operators
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE J. Math. Anal. Appl. 304 (2005) 584–598 provided by Elsevier - Publisher Connector www.elsevier.com/locate/jmaa On lifting of operators to Hilbert spaces induced by positive selfadjoint operators Petru Cojuhari a, Aurelian Gheondea b,c,∗ a Department of Applied Mathematics, AGH University of Science and Technology, Al. Mickievicza 30, 30-059 Cracow, Poland b Department of Mathematics, Bilkent University, 06800 Bilkent, Ankara, Turkey c Institutul de Matematic˘a al Academiei Române, C.P. 1-764, 70700 Bucure¸sti, Romania Received 10 May 2004 Available online 29 January 2005 Submitted by F. Gesztesy Abstract We introduce the notion of induced Hilbert spaces for positive unbounded operators and show that the energy spaces associated to several classical boundary value problems for partial differential operators are relevant examples of this type. The main result is a generalization of the Krein–Reid lifting theorem to this unbounded case and we indicate how it provides estimates of the spectra of operators with respect to energy spaces. 2004 Elsevier Inc. All rights reserved. Keywords: Energy space; Induced Hilbert space; Lifting of operators; Boundary value problems; Spectrum 1. Introduction One of the central problem in spectral theory refers to the estimation of the spectra of linear operators associated to different partial differential equations. Depending on the specific problem that is considered, we have to choose a certain space of functions, among * Corresponding author. E-mail addresses: [email protected] (P. Cojuhari), [email protected], [email protected] (A.
    [Show full text]
  • Positive Forms on Banach Spaces
    POSITIVE FORMS ON BANACH SPACES B´alint Farkas, M´at´eMatolcsi 25th June 2001 Abstract The first representation theorem establishes a correspondence between positive, self-adjoint operators and closed, positive forms on Hilbert spaces. The aim of this paper is to show that some of the results remain true if the underlying space is a reflexive Banach space. In particular, the construc- tion of the Friedrichs extension and the form sum of positive operators can be carried over to this case. 1 Introduction Let X denote a reflexive complex Banach space, and X∗ its conjugate dual space (i.e. the space of all continuous, conjugate linear functionals over X). We will use the notation (v, x) := v(x) for v X∗ , x X, and (x, v) := v(x). Let A be a densely defined linear operator from∈ X to ∈X∗. Notice that in this context it makes sense to speak about positivity and self-adjointness of A. Indeed, A defines a sesquilinear form on Dom A Dom A via t (x, y) = (Ax)(y) = (Ax, y) × A and A is called positive if tA is positive, i.e. if (Ax, x) 0 for all x Dom A. Also, the adjoint A∗ of A is defined (because A is densely≥ defined)∈ and is a mapping from X∗∗ to X∗, i.e. from X to X∗. Thus, A is called self-adjoint ∗ if A = A . Similarly, the operator A is called symmetric if the form tA is symmetric. In Section 2 we deal with closed, positive forms and associated operators, and arXiv:math/0612015v1 [math.FA] 1 Dec 2006 we establish a generalized version of the first representation theorem.
    [Show full text]
  • Closed Linear Operators with Domain Containing Their Range
    Proceedings of the Edinburgh Mathematical Society (1984) 27, 229-233 © CLOSED LINEAR OPERATORS WITH DOMAIN CONTAINING THEIR RANGE by SCHOICHI OTA (Received 8th February 1984) 1. Introduction In connection with algebras of unbounded operators, Lassner showed in [4] that, if T is a densely defined, closed linear operator in a Hilbert space such that its domain is contained in the domain of its adjoint T* and is globally invariant under T and T*, then T is bounded. In the case of a Banach space (in particular, a C*-algebra) we showed in [6] that a densely defined closed derivation in a C*-algebra with domain containing its range is automatically bounded (see the references in [6] and [7] for the theory of derivations in C*-algebras). In general there exists a densely defined, unbounded closed linear operator with domain containing its range (see Example 3.1). Therefore it is of great interest to study the boundedness and properties of such an operator. We show in Section 2 that a dissipative closed linear operator in a Banach space with domain containing its range is automatically bounded. In Section 3, we deal with a densely defined, closed linear operator in a Hilbert space. Using the result in Section 2, we first show that a closed operator which maps its domain into the domain of its adjoint is bounded and, as a corollary, that a closed symmetric operator with domain containing its range is automatically bounded. Furthermore we study some properties of an unbounded closed operator with domain containing its range and show that the numerical range of such an operator is the whole complex plane.
    [Show full text]
  • Paschke Dilations
    Paschke Dilations Abraham Westerbaan Bas Westerbaan Radboud Universiteit Nijmegen Radboud Universiteit Nijmegen [email protected] [email protected] In 1973 Paschke defined a factorization for completely positive maps between C∗-algebras. In this paper we show that for normal maps between von Neumann algebras, this factorization has a univer- sal property, and coincides with Stinespring’s dilation for normal maps into B(H ). The Stinespring Dilation Theorem[17] entails that every normal completely positive linear map (NCP- map) j : A ! B(H ) is of the form A p / B(K ) V ∗(·)V / B(H ) where V : H ! K is a bounded operator and p a normal unital ∗-homomorphism (NMIU-map). Stinespring’s theorem is fun- damental in the study of quantum information and quantum computing: it is used to prove entropy inequalities (e.g. [10]), bounds on optimal cloners (e.g. [20]), full completeness of quantum program- ming languages (e.g. [16]), security of quantum key distribution (e.g. [8]), analyze quantum alternation (e.g. [1]), to categorify quantum processes (e.g. [14]) and as an axiom to single out quantum theory among information processing theories.[2] A fair overview of all uses of Stinespring’s theorem and its consequences would warrant a separate article of its own. One wonders: is the Stinespring dilation categorical in some way? Can the Stinespring dilation theorem be generalized to arbitrary NCP-maps j : A ! B? In this paper we answer both questions in the affirmative. We use the dilation introduced by Paschke[11] for arbitrary NCP-maps, and we show that it coincides with Stinespring’s dilation (a fact not shown before) by introducing a universal property for Paschke’s dilation, which Stinespring’s dilation also satisfies.
    [Show full text]
  • Operator Theory Operator Algebras and Applications
    http://dx.doi.org/10.1090/pspum/051.1 Operato r Theor y Operato r Algebra s an d Application s PROCEEDING S O F SYMPOSI A IN PUR E MATHEMATIC S Volum e 51 , Par t 1 Operato r Theor y Operato r Algebra s an d Application s Willia m B . Arveso n an d Ronal d G . Douglas , Editor s AMERICA N MATHEMATICA L SOCIET Y PROVIDENCE , RHOD E ISLAN D PROCEEDINGS OF THE SUMMER RESEARCH INSTITUTE ON OPERATOR THEORY/OPERATOR ALGEBRAS AND APPLICATIONS HELD AT UNIVERSITY OF NEW HAMPSHIRE DURHAM, NEW HAMPSHIRE JULY 3-23, 1988 with support from the National Science Foundation, Grant DMS-8714162 1980 Mathematics Subject Classification (1985 Revision). Primary 46L, 47A, 47B, 58G. Library of Congress Cataloging-in-Publication Data Operator theory: operator algebras and applications/William B. Arveson and Ronald G. Dou• glas, editors. p. cm.—(Proceedings of symposia in pure mathematics; v. 51) ISBN 0-8218-1486-9 I. Operator algebras — Congresses. 2. Operator theory — Congresses. I. Arveson, William. II. Douglas, Ronald G. III. Series. QA326.067 1990 90-33771 512'.55-dc20 CIP COPYING AND REPRINTING. Individual readers of this publication, and nonprofit li• braries acting for them, are permitted to make fair use of the material, such as to copy an article for use in teaching or research. Permission is granted to quote brief passages from this publication in reviews, provided the customary acknowledgment of the source is given. Republication, systematic copying, or multiple reproduction of any material in this publi• cation (including abstracts) is permitted only under license from the American Mathematical Society.
    [Show full text]