Closed convex hulls of unitary orbits in von Neumann algebras
HTML articles powered by AMS MathViewer
- by Fumio Hiai and Yoshihiro Nakamura PDF
- Trans. Amer. Math. Soc. 323 (1991), 1-38 Request permission
Abstract:
Let $\mathcal {M}$ be a von Neumann algebra. The distance $\operatorname {dist} (x,\operatorname {co} \mathcal {U}(y))$ between $x$ and $\operatorname {co} \mathcal {U}(y)$ for selfadjoint operators $x$, $y \in \mathcal {M}$ and the distance $\operatorname {dist} (\varphi ,\operatorname {co} \mathcal {U}(\psi ))$ between $\varphi$ and $\operatorname {co} \mathcal {U}(\psi )$ for selfadjoint elements $\varphi$, $\psi \in {\mathcal {M}_*}$ are exactly estimated, where $\operatorname {co} \mathcal {U}(y)$ and $\operatorname {co} \mathcal {U}(\psi )$ are the convex hulls of the unitary orbits of $y$ and $\psi$, respectively. This is done separately in the finite factor case, in the infinite semifinite factor case, and in the type III factor case. Simple formulas of distances between two convex hulls of unitary orbits are also given. When $\mathcal {M}$ is a von Neumann algebra on a separable Hilbert space, the above cases altogether are combined under the direct integral decomposition of $\mathcal {M}$ into factors. As a result, it is known that if $\mathcal {M}$ is $\sigma$-finite and $x \in \mathcal {M}$ is selfadjoint, then $\overline {\operatorname {co} } \mathcal {U}(x) = {\overline {\operatorname {co} } ^{\mathbf {w}}}\mathcal {U}(x)$ where $\overline {\operatorname {co} } \mathcal {U}(x)$ and ${\overline {\operatorname {co} } ^{\mathbf {w}}}\mathcal {U}(x)$ are the closures of $\operatorname {co} \mathcal {U}(x)$ in norm and in the weak operator topology, respectively.References
- P. M. Alberti and A. Uhlmann, Stochasticity and partial order, Mathematische Monographien [Mathematical Monographs], vol. 18, VEB Deutscher Verlag der Wissenschaften, Berlin, 1981. Doubly stochastic maps and unitary mixing. MR 649773
- T. Ando, Majorization, doubly stochastic matrices, and comparison of eigenvalues, Linear Algebra Appl. 118 (1989), 163–248. MR 995373, DOI 10.1016/0024-3795(89)90580-6
- Garrett Birkhoff, Three observations on linear algebra, Univ. Nac. Tucumán. Revista A. 5 (1946), 147–151 (Spanish). MR 0020547
- C. Castaing and M. Valadier, Convex analysis and measurable multifunctions, Lecture Notes in Mathematics, Vol. 580, Springer-Verlag, Berlin-New York, 1977. MR 0467310
- Kong Ming Chong, Some extensions of a theorem of Hardy, Littlewood and Pólya and their applications, Canadian J. Math. 26 (1974), 1321–1340. MR 352377, DOI 10.4153/CJM-1974-126-1
- Kong Ming Chong, Doubly stochastic operators and rearrangement theorems, J. Math. Anal. Appl. 56 (1976), no. 2, 309–316. MR 417844, DOI 10.1016/0022-247X(76)90044-5
- H. Araki, C. C. Moore, Ş. Strătilă, and D. Voiculescu (eds.), Operator algebras and their connections with topology and ergodic theory, Lecture Notes in Mathematics, vol. 1132, Springer-Verlag, Berlin, 1985. MR 799557, DOI 10.1007/BFb0074873
- Alain Connes and Erling Størmer, Homogeneity of the state space of factors of type $\textrm {III}_{1}$, J. Functional Analysis 28 (1978), no. 2, 187–196. MR 0470689, DOI 10.1016/0022-1236(78)90085-x
- John B. Conway, The numerical range and a certain convex set in an infinite factor. , J. Functional Analysis 5 (1970), 428–435. MR 0262839, DOI 10.1016/0022-1236(70)90019-4
- J. Dixmier, Les anneaux d’opérateurs de classe finie, Ann. Sci. École Norm. Sup. (3) 66 (1949), 209–261 (French). MR 0032940
- J. Dixmier, Formes linéaires sur un anneau d’opérateurs, Bull. Soc. Math. France 81 (1953), 9–39 (French). MR 59485 —, Les algèbres d’opérateurs dans l’espace Hilbertien (algèbres de von Neumann), 2nd ed., Gauthier-Villars, Paris, 1969.
- Thierry Fack and Hideki Kosaki, Generalized $s$-numbers of $\tau$-measurable operators, Pacific J. Math. 123 (1986), no. 2, 269–300. MR 840845
- Ky Fan, Minimax theorems, Proc. Nat. Acad. Sci. U.S.A. 39 (1953), 42–47. MR 55678, DOI 10.1073/pnas.39.1.42
- Uffe Haagerup, $L^{p}$-spaces associated with an arbitrary von Neumann algebra, Algèbres d’opérateurs et leurs applications en physique mathématique (Proc. Colloq., Marseille, 1977) Colloq. Internat. CNRS, vol. 274, CNRS, Paris, 1979, pp. 175–184 (English, with French summary). MR 560633
- Paul Richard Halmos, A Hilbert space problem book, 2nd ed., Encyclopedia of Mathematics and its Applications, vol. 17, Springer-Verlag, New York-Berlin, 1982. MR 675952
- Herbert Halpern, Essential central spectrum and range for elements of a von Neumann algebra, Pacific J. Math. 43 (1972), 349–380. MR 324435
- Fumio Hiai, Majorization and stochastic maps in von Neumann algebras, J. Math. Anal. Appl. 127 (1987), no. 1, 18–48. MR 904208, DOI 10.1016/0022-247X(87)90138-7
- Fumio Hiai, Spectral relations and unitary mixing in semifinite von Neumann algebras, Hokkaido Math. J. 17 (1988), no. 1, 117–137. MR 928470, DOI 10.14492/hokmj/1381517791
- Fumio Hiai and Yoshihiro Nakamura, Majorizations for generalized $s$-numbers in semifinite von Neumann algebras, Math. Z. 195 (1987), no. 1, 17–27. MR 888123, DOI 10.1007/BF01161595
- Fumio Hiai and Yoshihiro Nakamura, Distance between unitary orbits in von Neumann algebras, Pacific J. Math. 138 (1989), no. 2, 259–294. MR 996202
- C. J. Himmelberg, Measurable relations, Fund. Math. 87 (1975), 53–72. MR 367142, DOI 10.4064/fm-87-1-53-72
- Eizaburo Kamei, Double stochasticity in finite factors, Math. Japon. 29 (1984), no. 6, 903–907. MR 803445
- Eizaburo Kamei, An order on statistical operators implicitly introduced by von Neumann, Math. Japon. 30 (1985), no. 6, 891–895. MR 820915
- Hideki Kosaki, Applications of uniform convexity of noncommutative $L^{p}$-spaces, Trans. Amer. Math. Soc. 283 (1984), no. 1, 265–282. MR 735421, DOI 10.1090/S0002-9947-1984-0735421-6
- A. S. Markus, Eigenvalues and singular values of the sum and product of linear operators, Uspehi Mat. Nauk 19 (1964), no. 4 (118), 93–123 (Russian). MR 0169063
- Albert W. Marshall and Ingram Olkin, Inequalities: theory of majorization and its applications, Mathematics in Science and Engineering, vol. 143, Academic Press, Inc. [Harcourt Brace Jovanovich, Publishers], New York-London, 1979. MR 552278
- Yoshihiro Nakamura, An inequality for generalized $s$-numbers, Integral Equations Operator Theory 10 (1987), no. 1, 140–145. MR 868577, DOI 10.1007/BF01199797 —, ${L^p}$-distance between unitary orbits in type III factors, Preprint.
- Edward Nelson, Notes on non-commutative integration, J. Functional Analysis 15 (1974), 103–116. MR 0355628, DOI 10.1016/0022-1236(74)90014-7
- Tôzirô Ogasawara and Kyôichi Yoshinaga, A noncommutative theory of integration for operators, J. Sci. Hiroshima Univ. Ser. A 18 (1955), 311–347. MR 70989
- V. I. Ovčinnikov, The $s$-numbers of measurable operators, Funkcional. Anal. i Priložen. 4 (1970), no. 3, 78–85 (Russian). MR 0271763
- Dénes Petz, Spectral scale of selfadjoint operators and trace inequalities, J. Math. Anal. Appl. 109 (1985), no. 1, 74–82. MR 796042, DOI 10.1016/0022-247X(85)90176-3
- J. R. Ringrose, On the Dixmier approximation theorem, Proc. London Math. Soc. (3) 49 (1984), no. 1, 37–57. MR 743369, DOI 10.1112/plms/s3-49.1.37
- Yūji Sakai, Weak spectral order of Hardy, Littlewood and Pólya, J. Math. Anal. Appl. 108 (1985), no. 1, 31–46. MR 791129, DOI 10.1016/0022-247X(85)90004-6
- I. E. Segal, A non-commutative extension of abstract integration, Ann. of Math. (2) 57 (1953), 401–457. MR 54864, DOI 10.2307/1969729
- Şerban Strătilă and László Zsidó, An algebraic reduction theory for $W^{\ast }$-algebras. II, Rev. Roumaine Math. Pures Appl. 18 (1973), 407–460. MR 348514
- Masamichi Takesaki, Theory of operator algebras. I, Springer-Verlag, New York-Heidelberg, 1979. MR 548728 M. Terp, ${L^p}$-spaces associated with von Neumann algebras, Notes, Copenhagen Univ., 1981.
- R. C. Thompson, Singular values, diagonal elements, and convexity, SIAM J. Appl. Math. 32 (1977), no. 1, 39–63. MR 424847, DOI 10.1137/0132003
- Hisaharu Umegaki, Conditional expectation in an operator algebra, Tohoku Math. J. (2) 6 (1954), 177–181. MR 68751, DOI 10.2748/tmj/1178245177
- F. J. Yeadon, Non-commutative $L^{p}$-spaces, Math. Proc. Cambridge Philos. Soc. 77 (1975), 91–102. MR 353008, DOI 10.1017/S0305004100049434
Additional Information
- © Copyright 1991 American Mathematical Society
- Journal: Trans. Amer. Math. Soc. 323 (1991), 1-38
- MSC: Primary 46L10; Secondary 46L35, 46L50
- DOI: https://doi.org/10.1090/S0002-9947-1991-0984856-9
- MathSciNet review: 984856