DOCSLIB.ORG

Arxiv:1512.06621V1 [Math.FA] 21 Dec 2015 (1) Ope Ibr Spaces Hilbert Complex O Oeprilisometry Partial Some for Oiino O Eocmlxnme.If Number

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Arxiv:1512.06621V1 [Math.FA] 21 Dec 2015 (1) Ope Ibr Spaces Hilbert Complex O Oeprilisometry Partial Some for Oiino O Eocmlxnme.If Number ON THE POLAR DECOMPOSITION OF RIGHT LINEAR OPERATORS IN QUATERNIONIC HILBERT SPACES G. RAMESH AND P. SANTHOSH KUMAR Abstract. In this article we prove the existence of the polar decomposition for densely defined closed right linear operators in quaternionic Hilbert spaces: If T is a densely defined closed right linear operator in a quaternionic Hilbert space H, then there exists a partial isometry U0 such that T = U0|T |. In fact U0 is unique if N(U0) = N(T ). In particular, if H is separable and U is a partial isometry with T = U|T |, then we prove that U = U0 if and only if either N(T ) = {0} or R(T )⊥ = {0}. 1. Introduction The polar decomposition of an operator is a generalization of the polar decom- position of a non zero complex number. If T is a bounded linear operator between complex Hilbert spaces H and K, then (1) T = U T 0| | for some partial isometry U0 with the initial space N(T )⊥, the orthogonal comple- ment of the null space of T , a subspace of H and the final space R(T ), the closure of the range of T , which is a subspace of K. Here T is the square root of (T ∗T ). | | Further, the partial isometry is unique if the null spaces of T and U0 are same. This factorization with the unique partial isometry U0 is called the polar decomposition of T . This decomposition enable us to know the properties of T by knowing the properties of the positive operator T . It is known that the polar decomposition of a bounded operator defined between| | two complex Hilbert spaces always exist [5, page 262]. The case of unbounded densely defined closed operator can be found in [7, page 218]. In a recent article W. Ichinose and K. Iwashita gave a necessary and sufficient arXiv:1512.06621v1 [math.FA] 21 Dec 2015 condition for any decomposition as in Equation (1) of bounded linear operator between complex Hilbert spaces to be the polar decomposition [6]. The polar decomposition of a bounded linear operator on a quaternionic Hilbert space is discussed in [4, Theorem 2.8]. This result for the unbounded case is not found in the literature. In this article, we use quaternionic version of the bounded transform (see [3] for details ) to establish the existence of the polar decomposition of densely defined closed right linear operators in quaternionic Hilbert spaces. We also prove the result similar to that of Ichinose [6, Theorem 1.2] for the case of densely defined closed right linear operators defined in a separable quaternionic Date: March 13, 2018. 1991 Mathematics Subject Classification. 47S10, 35P05. Key words and phrases. right linear operator, closed operator, polar decomposition, slice Hilbert space, bounded transform. 1 2 G.RAMESHANDP.SANTHOSHKUMAR Hilbert space. First we prove this for bounded operators by associating a 2 2 ma- trix of complex operators for a given quaternionic operator. This technique× for the case of quaternion matrices can be found in Brenner and Lee [1] and for bounded operators on ℓ2 in [2]. Though every separable Hilbert space is isometrically iso- morphic with ℓ2, the decomposition of the quaternion ℓ2 space into complex ℓ2 space is easy compared to the general space. To deal this general case we need to use the decomposition of the quaternionic Hilbert space into slice complex Hilbert spaces. Once this setting is done, all the results can be proved easily. In doing so, we give proofs of some results of [2] for the separable Hilbert space. Later, we prove the result for densely defined closed right linear operators defined in a separable quaternionic Hilbert space. We organize this article in five sections. In the second section we fix some of the notations, recall some basic properties of the ring of quaternions, definitions and some results in quaternionic Hilbert spaces. In the third section we prove the existence of square root of unbounded positive right linear operators in quaternionic Hilbert spaces. In the fourth section we prove the existence of the polar decomposition of densely defined closed right linear operators in quaternionic Hilbert spaces. In the fifth section we give necessary and sufficient condition for a decomposition as in Equation (1), to be the polar decomposition. In this case, we assume the operator is defined in a separable quaternionic Hilbert space. 2. Notations and Prelimanaries Let H denotes the ring of all real quaternions. If q H, then q = q + q i + q j + ∈ 0 1 2 q k, where qℓ R, for each ℓ =0, 1, 2, 3. Here i, j, k satisfy 3 ∈ i2 = j2 = k2 = i j k = 1. · · − For q H, the conjugate of q is q = q q i q j q k. For p, q H, we ∈ 0 − 1 − 2 − 3 ∈ have p q = q p and q := q2 + q2 + q2 + q2. The real part of H is denoted · · | | 0 1 2 3 by Re(H) = q H : q = q andp the imaginary part of H is denoted by Im(H) = q H : q = { q∈. The set }S := q Im(H): q =1 is called the imaginary unit { ∈ − } { ∈ | | } sphere. For m S, Cm := α + mβ : α, β R is called a slice of H. Here Cm is isomorphic to the∈ complex field{ C by the mapping∈ } α + mβ α + iβ. → Definition 2.1. [4, Definition 2.3] Let H be a right H module. A map − : H H H h·|·i × −→ satisfying: (1) If u H, then u u =0 u =0 (2) u v ∈+ w q = hu|vi + u⇔w q, for all u, v H and q H h | · i h | i h | i · ∈ ∈ (3) u v = v u , for all u, v H, h | i h | i ∈ is called an inner product on H. If we define u 2 = u u , for all u H, then is a norm on H and it is called the norm inducedk k byh | i. If (H, ∈) is completek·k space then it is called a right quaternionic Hilbert space.h·|·i k·k Definition 2.2. Let H be a right quaternionic Hilbert space. If H has a countable dense subset then H is called separable. UNIQUENESSOFPOLARDECOMPOSITION 3 Definition 2.3. [3] A map T : (T ) H with the domain (T ) H is said to be a right H linear operator if D → D ⊆ − T (x q + y)= T (x) q + T (y), for every x, y (T ) and q H. · · ∈ D ∈ The null space of T is defined by N(T )= x (T ): T (x)=0 , { ∈ D } and the range space of T is defined by R(T )= T x: x (T ) . { ∈ D } Definition 2.4. [3, Definition 2.1] Let T : (T ) H be right H- linear operator. The graph of T is denoted by G(T ) and it isD defined→ by G(T )= (x, T x): x (T ) . { ∈ D } The operator T is called (1) closed, if G(T ) is closed in H H. Equivalently, if (xn) (T ) with (xn) × ⊂ D converges to x H such that T xn converges to y H then x (T ) and T x = y. ∈ ∈ ∈ D (2) densely defined, if (T )= H. (Here (T ) denotes the closure (T )). D D D Definition 2.5. [3, Definition 2.2] Let T : (T ) H be densely defined right H- D → linear operator. Then there exists a unique right H- linear opearator denoted by T ∗ with the domain (T ∗)= x H : there exists unique z H with x Ty = z y D { ∈ ∈ h | i h | i} such that x Ty = T ∗x y , for every y (T ), x (T ∗). This operator T ∗ is called theh adjoint| i of hT. | i ∈ D ∈ D Theorem 2.6. [3, Theorem 2.3] Let T : (T ) H be densely defined closed oper- ator. Then D → (1) T ∗ is closed (2) R(T )⊥ = N(T ∗) and N(T )⊥ = R(T ∗). By the closed graph theorem, if T : (T ) H is closed with (T )= H, then T must be bounded. D → D Definition 2.7. Let T : (T ) H and S : (S) H be right H- linear operators. Then we say that S T Dif (S→) (T ) andD Sx →= T x, for all x (S). Furthermore ⊆ D ⊆ D ∈ D (1) ST is defined with the domain (ST )= x (T ): T x (S) such that ST (x)= S(T x), for all x (DST ). { ∈ D ∈ D } (2) S + T is defined with the∈ domain D (S + T ) = (S) (T ) such that S + T (x)= Sx + T x, for all x (SD+ T ). D ∩ D ∈ D Definition 2.8. [4, Definition 2.12] Let T : (T ) H be densely defined right H- linear. Then T is said to be D → (1) self-adjoint if T = T ∗ (2) positive if T = T ∗ and x T x 0, for all x (T ) h | i≥ ∈ D (3) anti self-adjiont if T ∗ = T − (4) normal if T closed and TT ∗ = T ∗T (5) unitary if (T )= H and T ∗T = TT ∗ = I. D 4 G.RAMESHANDP.SANTHOSHKUMAR Remark 2.9. Let T : (T ) H be right H- linear. Then T is said to be strictly positive if x T x λ Dx x , for→ some λ> 0 and for all x (T ). h | i≥ h | i ∈ D Definition 2.10. Let T : (T ) H be right H- linear. Then T commutes with bounded right linear operatorD B →on H if and only if TB BT . That is T Bx = BT x, for all x (T ). ⊆ ∈ D Theorem 2.11. [4, Theorem 2.10] Let T : H H be right H- linear.
Load more

Recommended publications
  • 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]
  • Banach J. Math. Anal. 2 (2008), No. 2, 59–67 . OPERATOR-VALUED
    Banach J. Math. Anal. 2 (2008), no. 2, 59–67 Banach Journal of Mathematical Analysis ISSN: 1735-8787 (electronic) http://www.math-analysis.org . OPERATOR-VALUED INNER PRODUCT AND OPERATOR INEQUALITIES JUN ICHI FUJII1 This paper is dedicated to Professor Josip E. Peˇcari´c Submitted by M. S. Moslehian Abstract. The Schwarz inequality and Jensen’s one are fundamental in a Hilbert space. Regarding a sesquilinear map B(X, Y ) = Y ∗X as an operator- valued inner product, we discuss operator versions for the above inequalities and give simple conditions that the equalities hold. 1. Introduction Inequality plays a basic role in analysis and consequently in Mathematics. As surveyed briefly in [6], operator inequalities on a Hilbert space have been discussed particularly since Furuta inequality was established. But it is not easy in general to give a simple condition that the equality in an operator inequality holds. In this note, we observe basic operator inequalities and discuss the equality conditions. To show this, we consider simple linear algebraic structure in operator spaces: For Hilbert spaces H and K, the symbol B(H, K) denotes all the (bounded linear) operators from H to K and B(H) ≡ B(H, H). Then, consider an operator n n matrix A = (Aij) ∈ B(H ), a vector X = (Xj) ∈ B(H, H ) with operator entries Xj ∈ B(H), an operator-valued inner product n ∗ X ∗ Y X = Yj Xj, j=1 Date: Received: 29 March 2008; Accepted 13 May 2008. 2000 Mathematics Subject Classification. Primary 47A63; Secondary 47A75, 47A80. Key words and phrases. Schwarz inequality, Jensen inequality, Operator inequality.
    [Show full text]
  • Computing the Polar Decomposition---With Applications
    This 1984 technical report was published as N. J. Higham. Computing the polar decomposition---with applications. SIAM J. Sci. Stat. Comput., 7(4):1160-1174, 1986. The appendix contains an alternative proof omitted in the published paper. Pages 19-20 are missing from the copy that was scanned. The report is mainly of interest for how it was produced. - The cover was prepared in Vizawrite 64 on a Commodore 64 and was printed on an Epson FX-80 dot matrix printer. - The main text was prepared in Vuwriter on an Apricot PC and printed on an unknown dot matrix printer. - The bibliography was prepared in Superbase on a Commodore 64 and printed on an Epson FX-80 dot matrix printer. COMPUTING THE POLAR DECOMPOSITION - WITH APPLICATIONS N.J. Higham • Numerical Analysis Report No. 94 November 1984 This work was carried out with the support of a SERC Research Studentship • Department of Mathematics University of Manchester Manchester M13 9PL ENGLAND Univeriity of Manchester/UMIST Joint Nu•erical Analysis Reports D•p•rt••nt of Math••atic1 Dep•rt•ent of Mathe~atic1 The Victoria Univ•rsity University of Manchester Institute of of Manchester Sci•nce •nd Technology Reque1t1 for individu•l t•chnical reports •ay be addressed to Dr C.T.H. Baker, Depart•ent of Mathe••tics, The University, Mancheiter M13 9PL ABSTRACT .. A quadratically convergent Newton method for computing the polar decomposition of a full-rank matrix is presented and analysed. Acceleration parameters are introduced so as to enhance the initial rate of convergence and it is shown how reliable estimates of the optimal parameters may be computed in practice.
    [Show full text]
  • Geometry of Matrix Decompositions Seen Through Optimal Transport and Information Geometry
    Published in: Journal of Geometric Mechanics doi:10.3934/jgm.2017014 Volume 9, Number 3, September 2017 pp. 335{390 GEOMETRY OF MATRIX DECOMPOSITIONS SEEN THROUGH OPTIMAL TRANSPORT AND INFORMATION GEOMETRY Klas Modin∗ Department of Mathematical Sciences Chalmers University of Technology and University of Gothenburg SE-412 96 Gothenburg, Sweden Abstract. The space of probability densities is an infinite-dimensional Rie- mannian manifold, with Riemannian metrics in two flavors: Wasserstein and Fisher{Rao. The former is pivotal in optimal mass transport (OMT), whereas the latter occurs in information geometry|the differential geometric approach to statistics. The Riemannian structures restrict to the submanifold of multi- variate Gaussian distributions, where they induce Riemannian metrics on the space of covariance matrices. Here we give a systematic description of classical matrix decompositions (or factorizations) in terms of Riemannian geometry and compatible principal bundle structures. Both Wasserstein and Fisher{Rao geometries are discussed. The link to matrices is obtained by considering OMT and information ge- ometry in the category of linear transformations and multivariate Gaussian distributions. This way, OMT is directly related to the polar decomposition of matrices, whereas information geometry is directly related to the QR, Cholesky, spectral, and singular value decompositions. We also give a coherent descrip- tion of gradient flow equations for the various decompositions; most flows are illustrated in numerical examples. The paper is a combination of previously known and original results. As a survey it covers the Riemannian geometry of OMT and polar decomposi- tions (smooth and linear category), entropy gradient flows, and the Fisher{Rao metric and its geodesics on the statistical manifold of multivariate Gaussian distributions.
    [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]
  • 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]
  • Computing the Polar Decomposition—With Applications
    Computing the Polar Decomposition—with Applications Higham, Nicholas J. 1986 MIMS EPrint: 2007.9 Manchester Institute for Mathematical Sciences School of Mathematics The University of Manchester Reports available from: http://eprints.maths.manchester.ac.uk/ And by contacting: The MIMS Secretary School of Mathematics The University of Manchester Manchester, M13 9PL, UK ISSN 1749-9097 SIAM J. Sci. STAT. COMPUT. (C) 1986 Society for Industrial and Applied Mathematics Vol. 7, No. 4, October 1986 OO7 COMPUTING THE POLAR DECOMPOSITION---WITH APPLICATIONS* NICHOLAS J. HIGHAMf Abstract. A quadratically convergent Newton method for computing the polar decomposition of a full-rank matrix is presented and analysed. Acceleration parameters are introduced so as to enhance the initial rate of convergence and it is shown how reliable estimates of the optimal parameters may be computed in practice. To add to the known best approximation property of the unitary polar factor, the Hermitian polar factor H of a nonsingular Hermitian matrix A is shown to be a good positive definite approximation to A and 1/2(A / H) is shown to be a best Hermitian positive semi-definite approximation to A. Perturbation bounds for the polar factors are derived. Applications of the polar decomposition to factor analysis, aerospace computations and optimisation are outlined; and a new method is derived for computing the square root of a symmetric positive definite matrix. Key words, polar decomposition, singular value decomposition, Newton's method, matrix square root AMS(MOS) subject classifications. 65F25, 65F30, 65F35 1. Introduction. The polar decomposition is a generalisation to matrices of the familiar complex number representation z r e i, r ->_ 0.
    [Show full text]
  • NEW FORMULAS for the SPECTRAL RADIUS VIA ALUTHGE TRANSFORM Fadil Chabbabi, Mostafa Mbekhta
    NEW FORMULAS FOR THE SPECTRAL RADIUS VIA ALUTHGE TRANSFORM Fadil Chabbabi, Mostafa Mbekhta To cite this version: Fadil Chabbabi, Mostafa Mbekhta. NEW FORMULAS FOR THE SPECTRAL RADIUS VIA ALUTHGE TRANSFORM. 2016. hal-01334044 HAL Id: hal-01334044 https://hal.archives-ouvertes.fr/hal-01334044 Preprint submitted on 20 Jun 2016 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. NEW FORMULAS FOR THE SPECTRAL RADIUS VIA ALUTHGE TRANSFORM FADIL CHABBABI AND MOSTAFA MBEKHTA Abstract. In this paper we give several expressions of spectral radius of a bounded operator on a Hilbert space, in terms of iterates of Aluthge transformation, numerical radius and the asymptotic behavior of the powers of this operator. Also we obtain several characterizations of normaloid operators. 1. Introduction Let H be complex Hilbert spaces and B(H) be the Banach space of all bounded linear operators from H into it self. For T ∈ B(H), the spectrum of T is denoted by σ(T) and r(T) its spectral radius. We denote also by W(T) and w(T) the numerical range and the numerical radius of T. As usually, for T ∈B(H) we denote the module of T by |T| = (T ∗T)1/2 and we shall always write, without further mention, T = U|T| to be the unique polar decomposition of T, where U is the appropriate partial isometry satisfying N(U) = N(T).
    [Show full text]
  • Spectral and Polar Decomposition in AW*-Algebras
    Spectral and Polar Decomposition in AW*-Algebras M. Frank We show the possibility and the uniqueness of polar decomposition of elements of arbitrary AW*-algebras inside them. We prove that spectral decomposition of normal elements of normal AW*-algebras is possible and unique inside them. The possibility of spectral decomposition of normal elements does not depend on the normality of the AW*-algebra under consideration. Key words: Operator algebras, monotone complete C*-algebras, AW*-algebras, spectral decom- position and polar decomposition of operators AMS subject classification: 46L05, 46L35, 47C15 The spectral decomposition of normal linear (bounded) operators and the polar decom- position of arbitrary linear (bounded) operators on Hilbert spaces have been interesting and technically useful results in operator theory [3, 9, 13, 20]. The development of the concept of von Neumann algebras on Hilbert spaces has shown that both these decompo- sitions are always possible inside of the appropriate von Neumann algebra [14]. New light on these assertions was shed identifying the class of von Neumann algebras among all C*-algebras by the class of C*-algebras which possess a pre-dual Banach space, the W*- algebras. The possibility of C*-theoretical representationless descriptions of spectral and arXiv:funct-an/9303001v1 11 Mar 1993 polar decomposition of elements of von Neumann algebras (and may be of more general C*-algebras) inside them has been opened up. Steps to get results in this direction were made by several authors. The W*-case was investigated by S. Sakai in 1958-60, [18, 19]. Later on J. D. M. Wright has considered spectral decomposition of normal elements of embeddable AW*-algebras, i.e., of AW*-algebras possessing a faithful von Neumann type representation on a self-dual Hilbert A-module over a commutative AW*-algebra A (on a so called Kaplansky–Hilbert module), [23, 24].
    [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]
  • Arxiv:1211.0058V1 [Math-Ph] 31 Oct 2012 Ydfiiina Operator an Definition by Nay4h6,(70)(35Q80)
    NOTE ON THE SPECTRAL THEOREM T. L. GILL AND D. WILLIAMS Abstract. In this note, we show that the spectral theorem, has two representations; the Stone-von Neumann representation and one based on the polar decomposition of linear operators, which we call the de- formed representation. The deformed representation has the advantage that it provides an easy extension to all closed densely defined linear operators on Hilbert space. Furthermore, the deformed representation can also be extended all separable reflexive Banach spaces and has a limited extension to non-reflexive Banach spaces. Introduction Let C[B] be the closed densely defined linear operators on a Banach space. By definition an operator A, defined on a separable Banach space B is of Baire class one if it can be approximated by a sequence {An} ⊂ L[B], of arXiv:1211.0058v1 [math-ph] 31 Oct 2012 bounded linear operators. If B is a Hilbert space, then every A ∈C[B] is of Baire class one. However, it turns out that, if B is not a Hilbert space, there may be operators A ∈C[B] that are not of Baire class one. 1991 Mathematics Subject Classification. Primary (46B03), (47D03) Sec- ondary(47H06), (47F05) (35Q80). Key words and phrases. spectral theorem, vector measures, vector-valued functions, Reflexive Banach spaces. 1 2 GILL AND WILLIAMS A Banach space B is said to be quasi-reflexive if dim{B′′/B} < ∞, and nonquasi-reflexive if dim{B′′/B} = ∞. Vinokurov, Petunin and Pliczko [VPP] have shown that, for every nonquasi-reflexive Banach space B, there is a closed densely defined linear operator A which is not of Baire class one (for example, C[0, 1] or L1[Rn], n ∈ N).
    [Show full text]