Showing 1–47 of 47 results for author: Haagerup, U

Extreme Points and Factorizability for New Classes of Unital Quantum Channels

Authors: Uffe Haagerup, Magdalena Musat, Mary Beth Ruskai

Abstract: We introduce and study two new classes of unital quantum channels. The first class describes a 2-parameter family of channels given by completely positive (CP) maps $M_3({\bf C}) \mapsto M_3({\bf C})$ which are both unital and trace-preserving. Almost every member of this family is factorizable and extreme in the set of CP maps which are both unital and trace-preserving, but is not extreme in eith… ▽ More We introduce and study two new classes of unital quantum channels. The first class describes a 2-parameter family of channels given by completely positive (CP) maps $M_3({\bf C}) \mapsto M_3({\bf C})$ which are both unital and trace-preserving. Almost every member of this family is factorizable and extreme in the set of CP maps which are both unital and trace-preserving, but is not extreme in either the set of unital CP maps or the set of trace-preserving CP maps. We also study a large class of maps which generalize the Werner-Holevo channel for $d = 3$ in the sense that they are defined in terms of partial isometries of rank $d-1$. Moreover, we extend this to maps whose Kraus operators have the form $t |e_j \rangle \langle e_j | \oplus V $ with $V \in M_{d-1} ({\bf C}) $ unitary and $t \in (-1,1)$. We show that almost every map in this class is extreme in both the set of unital CP maps and the set of trace-preserving CP maps. We analyze in detail a particularly interesting subclass which is extreme unless $t = -1/(d-1)$. For $d = 3$, this includes a pair of channels which have a dual factorization in the sense that they can be obtained by taking the partial trace over different subspaces after using the same unitary conjugation in $M_3({\bf C}) \otimes M_3({\bf C})$. △ Less

Submitted 19 May, 2021; v1 submitted 5 June, 2020; originally announced June 2020.

Comments: Improved discussion of the question on factorizability when d = 4 and t = -1/3 in new Section 4.6.2

MSC Class: 46L10; 47L90; 81P45

Journal ref: Annales Henri Poincaré, 22(10), 3455-3496 (2021)

Structure of bicentralizer algebras and inclusions of type III factors

Authors: Hiroshi Ando, Uffe Haagerup, Cyril Houdayer, Amine Marrakchi

Abstract: We investigate the structure of the relative bicentralizer algebra ${\rm B}(N \subset M, \varphi)$ for inclusions of von Neumann algebras with normal expectation where $N$ is a type ${\rm III_1}$ subfactor and $\varphi \in N_*$ is a faithful state. We first construct a canonical flow $β^\varphi : \mathbf R^*_+ \curvearrowright {\rm B}(N \subset M, \varphi)$ on the relative bicentralizer algebra an… ▽ More We investigate the structure of the relative bicentralizer algebra ${\rm B}(N \subset M, \varphi)$ for inclusions of von Neumann algebras with normal expectation where $N$ is a type ${\rm III_1}$ subfactor and $\varphi \in N_*$ is a faithful state. We first construct a canonical flow $β^\varphi : \mathbf R^*_+ \curvearrowright {\rm B}(N \subset M, \varphi)$ on the relative bicentralizer algebra and we show that the W$^*$-dynamical system $({\rm B}(N \subset M, \varphi), β^\varphi)$ is independent of the choice of $\varphi$ up to a canonical isomorphism. In the case when $N=M$, we deduce new results on the structure of the automorphism group of ${\rm B}(M,\varphi)$ and we relate the period of the flow $β^\varphi$ to the tensorial absorption of Powers factors. For general irreducible inclusions $N \subset M$, we relate the ergodicity of the flow $β^\varphi$ to the existence of irreducible hyperfinite subfactors in $M$ that sit with normal expectation in $N$. When the inclusion $N \subset M$ is discrete, we prove a relative bicentralizer theorem and we use it to solve Kadison's problem when $N$ is amenable. △ Less

Submitted 11 June, 2018; v1 submitted 16 April, 2018; originally announced April 2018.

Comments: 37 pages. v2: minor modifications, a few results added

MSC Class: 46L10; 46L30; 46L36; 46L37; 46L55

Journal ref: Math. Ann. 376 (2020), 1145-1194

Computational explorations of the Thompson group T for the amenability problem of F

Authors: S. Haagerup, U. Haagerup, M. Ramirez-Solano

Abstract: It is a long standing open problem whether the Thompson group $F$ is an amenable group. In this paper we show that if $A$, $B$, $C$ denote the standard generators of Thompson group $T$ and $D:=C B A^{-1}$ then $$\sqrt2+\sqrt3\,<\,\frac1{\sqrt{12}}||(I+C+C^2)(I+D+D^2+D^3)||\,\le\, 2+\sqrt2.$$ Moreover, the upper bound is attained if the Thompson group $F$ is amenable. Here, the norm of an element i… ▽ More It is a long standing open problem whether the Thompson group $F$ is an amenable group. In this paper we show that if $A$, $B$, $C$ denote the standard generators of Thompson group $T$ and $D:=C B A^{-1}$ then $$\sqrt2+\sqrt3\,<\,\frac1{\sqrt{12}}||(I+C+C^2)(I+D+D^2+D^3)||\,\le\, 2+\sqrt2.$$ Moreover, the upper bound is attained if the Thompson group $F$ is amenable. Here, the norm of an element in the group ring $\mathbb{C} T$ is computed in $B(\ell^2(T))$ via the regular representation of $T$. Using the "cyclic reduced" numbers $τ(((C+C^2)(D+D^2+D^3))^n)$, $n\in\mathbb{N}$, and some methods from our previous paper [arXiv:1409.1486] we can obtain precise lower bounds as well as good estimates of the spectral distributions of $\frac1{12}((I+C+C^2)(I+D+D^2+D^3))^*(I+C+C^2)(I+D+D^2+D^3),$ where $τ$ is the tracial state on the group von Neumann algebra $L(T)$. Our extensive numerical computations suggest that $$\frac1{\sqrt{12}}||(I+C+C^2)(I+D+D^2+D^3)||\approx 3.28,$$ and thus that $F$ might be non-amenable. However, we can in no way rule out that $\frac1{\sqrt{12}}||(I+C+C^2)(I+D+D^2+D^3)||=\, 2+\sqrt2$. △ Less

Submitted 23 September, 2018; v1 submitted 29 April, 2017; originally announced May 2017.

Comments: Accepted for publication in the journal Experimental Mathematics. Updated with the referee suggestions

Report number: CPH-SYM-DNRF92 MSC Class: 20F65; 20-04; 43A07; 22D25; 46L05

Non-inner amenability of the Thompson groups T and V

Authors: Uffe Haagerup, Kristian Knudsen Olesen

Abstract: In this paper we prove that the Thompson groups $T$ and $V$ are not inner amenable. In particular, their group von Neumann algebras do not have property $Γ$. Moreover, we prove that if the reduced group $C^\ast$-algebra of $T$ is simple, then the Thompson group $F$ is non-amenable. Furthermore, we give a few new equivalent characterizations of amenability of $F$. In this paper we prove that the Thompson groups $T$ and $V$ are not inner amenable. In particular, their group von Neumann algebras do not have property $Γ$. Moreover, we prove that if the reduced group $C^\ast$-algebra of $T$ is simple, then the Thompson group $F$ is non-amenable. Furthermore, we give a few new equivalent characterizations of amenability of $F$. △ Less

Submitted 16 September, 2016; originally announced September 2016.

Comments: 13 pages

Report number: CPH-SYM-DNRF92

On the uniqueness of injective III$_1$ factor

Authors: Uffe Haagerup

Abstract: We give a new proof of a theorem due to Alain Connes, that an injective factor $N$ of type III$_1$ with separable predual and with trivial bicentralizer is isomorphic to the Araki--Woods type III$_1$ factor $R_{\infty}$. This, combined with the author's solution to the bicentralizer problem for injective III$_1$ factors provides a new proof of the theorem that up to $*$-isomorphism, there exists a… ▽ More We give a new proof of a theorem due to Alain Connes, that an injective factor $N$ of type III$_1$ with separable predual and with trivial bicentralizer is isomorphic to the Araki--Woods type III$_1$ factor $R_{\infty}$. This, combined with the author's solution to the bicentralizer problem for injective III$_1$ factors provides a new proof of the theorem that up to $*$-isomorphism, there exists a unique injective factor of type III$_1$ on a separable Hilbert space. △ Less

Submitted 9 June, 2016; originally announced June 2016.

Comments: This article is based on Uffe Haagerup's unpublished manuscript from May 1985

Group C*-algebras without the completely bounded approximation property

Authors: Uffe Haagerup

Abstract: It is proved that: (1) The Fourier algebra A(G) of a simple Lie group G of real rank at least 2 with finite center does not have a multiplier bounded approximate unit. (2) The reduced C*-algebra of any lattice in a non-compact simple Lie group of real rank at least 2 with finite center does not have the completely bounded approximation property. Hence, the results obtained by J. de Canniere… ▽ More It is proved that: (1) The Fourier algebra A(G) of a simple Lie group G of real rank at least 2 with finite center does not have a multiplier bounded approximate unit. (2) The reduced C*-algebra of any lattice in a non-compact simple Lie group of real rank at least 2 with finite center does not have the completely bounded approximation property. Hence, the results obtained by J. de Canniere and the author for SO(n,1), n at least 2, and by M. Cowling for SU(n,1) do not generalize to simple Lie groups of real rank at least 2. △ Less

Submitted 1 March, 2016; originally announced March 2016.

Comments: Typeset version of a handwritten manuscript from May 1986

Journal ref: Journal of Lie Theory 26 (2016), No. 3, 861--887

A new look at C*-simplicity and the unique trace property of a group

Authors: Uffe Haagerup

Abstract: We characterize when the reduced C*-algebra of a group has unique tracial state, respectively, is simple, in terms of Dixmier-type properties of the group C*-algebra. We also give a simple proof of the recent result by Breuillard, Kalantar, Kennedy and Ozawa that the reduced C*-algebra of a group has unique tracial state if and only if the amenable radical of the group is trivial. We characterize when the reduced C*-algebra of a group has unique tracial state, respectively, is simple, in terms of Dixmier-type properties of the group C*-algebra. We also give a simple proof of the recent result by Breuillard, Kalantar, Kennedy and Ozawa that the reduced C*-algebra of a group has unique tracial state if and only if the amenable radical of the group is trivial. △ Less

Submitted 12 June, 2016; v1 submitted 19 September, 2015; originally announced September 2015.

Comments: 8 pages

A complete characterization of connected Lie groups with the Approximation Property

Authors: Uffe Haagerup, Søren Knudby, Tim de Laat

Abstract: We give a complete characterization of connected Lie groups with the Approximation Property for groups (AP). To this end, we introduce a strengthening of property (T), that we call property (T*), which is a natural obstruction to the AP. In order to define property (T*), we first prove that for every locally compact group G, there exists a unique left invariant mean on the space of completely boun… ▽ More We give a complete characterization of connected Lie groups with the Approximation Property for groups (AP). To this end, we introduce a strengthening of property (T), that we call property (T*), which is a natural obstruction to the AP. In order to define property (T*), we first prove that for every locally compact group G, there exists a unique left invariant mean on the space of completely bounded Fourier multipliers of G. A locally compact group G is said to have property (T*) if this mean is a weak* continuous functional. After proving that the groups SL(3,R), Sp(2,R), and the universal covering of Sp(2,R) have property (T*), we address the question which connected Lie groups have the AP. A technical problem that arises when considering this question from the point of view of the AP is that the semisimple part of the global Levi decomposition of a connected Lie group need not be closed. Because of an important permanence property of property (T*), this problem vanishes. It follows that a connected Lie group has the AP if and only if all simple factors in the semisimple part of its Levi decomposition have real rank 0 or 1. Finally, we are able to establish property (T*) for all connected simple higher rank Lie groups with finite center. △ Less

Submitted 12 February, 2016; v1 submitted 9 December, 2014; originally announced December 2014.

Comments: 18 pages, more details were included in Sections 5 and 6 and some additional minor changes were made

Report number: CPH-SYM-DNRF92

Journal ref: Ann. Sci. Éc. Norm. Supér. 49 (2016), no. 4, 927-946

A computational approach to the Thompson group $F$

Authors: S. Haagerup, U. Haagerup, M. Ramirez-Solano

Abstract: Let $F$ denote the Thompson group with standard generators $A=x_0$, $B=x_1$. It is a long standing open problem whether $F$ is an amenable group. By a result of Kesten from 1959, amenability of $F$ is equivalent to $$(i)\qquad ||I+A+B||=3$$ and to $$(ii)\qquad ||A+A^{-1}+B+B^{-1}||=4,$$ where in both cases the norm of an element in the group ring $\mathbb{C} F$ is computed in $B(\ell^2(F))$ via th… ▽ More Let $F$ denote the Thompson group with standard generators $A=x_0$, $B=x_1$. It is a long standing open problem whether $F$ is an amenable group. By a result of Kesten from 1959, amenability of $F$ is equivalent to $$(i)\qquad ||I+A+B||=3$$ and to $$(ii)\qquad ||A+A^{-1}+B+B^{-1}||=4,$$ where in both cases the norm of an element in the group ring $\mathbb{C} F$ is computed in $B(\ell^2(F))$ via the regular representation of $F$. By extensive numerical computations, we obtain precise lower bounds for the norms in $(i)$ and $(ii)$, as well as good estimates of the spectral distributions of $(I+A+B)^*(I+A+B)$ and of $A+A^{-1}+B+B^{-1}$ with respect to the tracial state $τ$ on the group von Neumann Algebra $L(F)$. Our computational results suggest, that $$||I+A+B||\approx 2.95 \qquad ||A+A^{-1}+B+B^{-1}||\approx 3.87.$$ It is however hard to obtain precise upper bounds for the norms, and our methods cannot be used to prove non-amenability of $F$. △ Less

Submitted 6 February, 2015; v1 submitted 4 September, 2014; originally announced September 2014.

Comments: appears in International Journal of Algebra and Computation (2015)

Report number: CPH-SYM-DNRF92 MSC Class: 20F65; 20-04; 43A07; 22D25; 46L05

An asymptotic property of factorizable completely positive maps and the Connes embedding problem

Authors: Uffe Haagerup, Magdalena Musat

Abstract: We establish a reformulation of the Connes embedding problem in terms of an asymptotic property of factorizable completely positive maps. We also prove that the Holevo-Werner channels W_n^- are factorizable, for all odd integers n different from 3. Furthermore, we investigate factorizability of convex combinations of W_3^+ and W_3^-, a family of channels studied by Mendl and Wolf, and discuss asym… ▽ More We establish a reformulation of the Connes embedding problem in terms of an asymptotic property of factorizable completely positive maps. We also prove that the Holevo-Werner channels W_n^- are factorizable, for all odd integers n different from 3. Furthermore, we investigate factorizability of convex combinations of W_3^+ and W_3^-, a family of channels studied by Mendl and Wolf, and discuss asymptotic properties for these channels. △ Less

Submitted 27 August, 2014; originally announced August 2014.

Comments: 29 pages

Report number: CPH-SYM-DNRF92 MSC Class: 46L10; 81P45

The weak Haagerup property II: Examples

Authors: Uffe Haagerup, Søren Knudby

Abstract: The weak Haagerup property for locally compact groups and the weak Haagerup constant was recently introduced by the second author. The weak Haagerup property is weaker than both weak amenability introduced by Cowling and the first author and the Haagerup property introduced by Connes and Choda. In this paper it is shown that a connected simple Lie group G has the weak Haagerup property if and on… ▽ More The weak Haagerup property for locally compact groups and the weak Haagerup constant was recently introduced by the second author. The weak Haagerup property is weaker than both weak amenability introduced by Cowling and the first author and the Haagerup property introduced by Connes and Choda. In this paper it is shown that a connected simple Lie group G has the weak Haagerup property if and only if the real rank of G is zero or one. Hence for connected simple Lie groups the weak Haagerup property coincides with weak amenability. Moreover, it turns out that for connected simple Lie groups the weak Haagerup constant coincides with the weak amenability constant, although this is not true for locally compact groups in general. It is also shown that the semidirect product of R^2 by SL(2,R) does not have the weak Haagerup property. △ Less

Submitted 22 September, 2014; v1 submitted 22 May, 2014; originally announced May 2014.

Comments: 19 pages. Final version. To appear in IMRN

Report number: CPH-SYM-DNRF92

Journal ref: Int. Math. Res. Not. IMRN no. 16, pp. 6941-6967, 2015

Quasitraces on exact C*-algebras are traces

Authors: Uffe Haagerup

Abstract: It is shown that all 2-quasitraces on a unital exact C*-algebra are traces. As consequences one gets: (1) Every stably finite exact unital C*-algebra has a tracial state, and (2) if an AW*-factor of type II_1 is generated (as an AW*-algebra) by an exact C*-subalgebra, then it is a von Neumann II_1-factor. This is a partial solution to a well known problem of Kaplansky. The present result was used… ▽ More It is shown that all 2-quasitraces on a unital exact C*-algebra are traces. As consequences one gets: (1) Every stably finite exact unital C*-algebra has a tracial state, and (2) if an AW*-factor of type II_1 is generated (as an AW*-algebra) by an exact C*-subalgebra, then it is a von Neumann II_1-factor. This is a partial solution to a well known problem of Kaplansky. The present result was used by Blackadar, Kumjian and Rørdam to prove that RR(A)=0 for every simple non-commutative torus of any dimension. △ Less

Submitted 29 March, 2014; originally announced March 2014.

Report number: CPH-SYM-DNRF92 MSC Class: 46L05; 46L35

Simple Lie groups without the Approximation Property II

Authors: Uffe Haagerup, Tim de Laat

Abstract: We prove that the universal covering group $\widetilde{\mathrm{Sp}}(2,\mathbb{R})$ of $\mathrm{Sp}(2,\mathbb{R})$ does not have the Approximation Property (AP). Together with the fact that $\mathrm{SL}(3,\mathbb{R})$ does not have the AP, which was proved by Lafforgue and de la Salle, and the fact that $\mathrm{Sp}(2,\mathbb{R})$ does not have the AP, which was proved by the authors of this articl… ▽ More We prove that the universal covering group $\widetilde{\mathrm{Sp}}(2,\mathbb{R})$ of $\mathrm{Sp}(2,\mathbb{R})$ does not have the Approximation Property (AP). Together with the fact that $\mathrm{SL}(3,\mathbb{R})$ does not have the AP, which was proved by Lafforgue and de la Salle, and the fact that $\mathrm{Sp}(2,\mathbb{R})$ does not have the AP, which was proved by the authors of this article, this finishes the description of the AP for connected simple Lie groups. Indeed, it follows that a connected simple Lie group has the AP if and only if its real rank is zero or one. By an adaptation of the methods we use to study the AP, we obtain results on approximation properties for noncommutative $L^p$-spaces associated with lattices in $\widetilde{\mathrm{Sp}}(2,\mathbb{R})$. Combining this with earlier results of Lafforgue and de la Salle and results of the second named author of this article, this gives rise to results on approximation properties of noncommutative $L^p$-spaces associated with lattices in any connected simple Lie group. △ Less

Submitted 5 August, 2015; v1 submitted 9 July, 2013; originally announced July 2013.

Comments: Final version. Continuation of the work in 1201.1250 and 1208.5939

Report number: CPH-SYM-DNRF92

Journal ref: Trans. Amer. Math. Soc. 368 (2016), 3777-3809

Ultraproducts, QWEP von Neumann Algebras, and the Effros-Maréchal Topology

Authors: Hiroshi Ando, Uffe Haagerup, Carl Winslow

Abstract: Based on the analysis on the Ocneanu/Groh-Raynaud ultraproducts and the Effros-Maréchal topology on the space vN(H) of von Neumann algebras acting on a separable Hilbert space H, we show that for a von Neumann algebra M in vN(H), the following conditions are equivalent: (1) M has the Kirhcberg's quotient weak expectation property (QWEP). (2) M is in the closure of the set F_{inj of injective facto… ▽ More Based on the analysis on the Ocneanu/Groh-Raynaud ultraproducts and the Effros-Maréchal topology on the space vN(H) of von Neumann algebras acting on a separable Hilbert space H, we show that for a von Neumann algebra M in vN(H), the following conditions are equivalent: (1) M has the Kirhcberg's quotient weak expectation property (QWEP). (2) M is in the closure of the set F_{inj of injective factors on H with respect to the Effros-Maréchal topology. (3) M admits an embedding i into the Ocneanu ultrapower R_{infty}^{omega} of the injective III_1 factor R_{\infty} with a normal faithful conditional expectation epsilon: R_{infty}^{omega} to i(M). (4) For every epsilon>0, natural number n, and xi_1,...,xi_n in P_M^{natural}, there is a natural number k and a_1,...,a_nin M_k(C)_+, such that |<xi_i,xi_j>-tr_k(a_ia_j)|<epsilon (1<=i,j<=n) holds, where tr_k is the tracial state on M_k(C), and P_M^{natural} is the natural cone in the standard form of M. △ Less

Submitted 3 June, 2013; originally announced June 2013.

Comments: 17pages

Report number: CPH-SYM-00 MSC Class: 46L10; 03C20

A Lévy-Khinchin formula for free groups

Authors: Uffe Haagerup, Søren Knudby

Abstract: We find a Lévy-Khinchin formula for radial functions on free groups. As a corollary we obtain a linear bound on the growth of radial, conditionally negative definite functions on free groups of two or more generators. We find a Lévy-Khinchin formula for radial functions on free groups. As a corollary we obtain a linear bound on the growth of radial, conditionally negative definite functions on free groups of two or more generators. △ Less

Submitted 23 September, 2013; v1 submitted 21 April, 2013; originally announced April 2013.

Comments: 13 pages. Added references

Report number: CPH-SYM-DNRF92

Journal ref: Proc. AMS. 143 (4) pp. 1477-1489, 2015

On the free Gamma distributions

Authors: Uffe Haagerup, Steen Thorbjornsen

Abstract: For each positive number $α$ we study the analog $ν_alpha$ in free probability of the classical Gamma distribution with parameter $α$. We prove that $ν_α$ is absolutely continuous and establish the main properties of the density, including analyticity and unimodality. We study further the asymptotic behavior of $ν_α$ as $α\downarrow0$. For each positive number $α$ we study the analog $ν_alpha$ in free probability of the classical Gamma distribution with parameter $α$. We prove that $ν_α$ is absolutely continuous and establish the main properties of the density, including analyticity and unimodality. We study further the asymptotic behavior of $ν_α$ as $α\downarrow0$. △ Less

Submitted 15 February, 2013; originally announced February 2013.

Comments: 31 pages, 4 figures

Report number: CPH-SYM-DNRF92 MSC Class: 46L54 (Primary); 60E07 (Secondary)

Ultraproducts of von Neumann algebras

Authors: Hiroshi Ando, Uffe Haagerup

Abstract: We study several notions of ultraproducts of von Neumann algebras from a unifying viewpoint. In particular, we show that for a sigma-finite von Neumann algebra $M$, the ultraproduct $M^ω$ introduced by Ocneanu is a corner of the ultraproduct $\prod^ωM$ introduced by Groh and Raynaud. Using this connection, we show that the ultraproduct action of the modular automorphism group of a normal faithful… ▽ More We study several notions of ultraproducts of von Neumann algebras from a unifying viewpoint. In particular, we show that for a sigma-finite von Neumann algebra $M$, the ultraproduct $M^ω$ introduced by Ocneanu is a corner of the ultraproduct $\prod^ωM$ introduced by Groh and Raynaud. Using this connection, we show that the ultraproduct action of the modular automorphism group of a normal faithful state $\varphi$ of $M$ on the Ocneanu ultraproduct is the modular automorphism group of the ultrapower state ($σ_t^{\varphi^ω}=(σ_t^{\varphi})^ω$). Applying these results, we obtain several phenomena of the Ocneanu ultraproduct of type III factors, which are not present in the tracial ultraproducts. For instance, it turns out that the ultrapower $M^ω$ of a Type III$_0$ factor is never a factor. Moreover we settle in the affirmative a recent problem by Ueda about the connection between the relative commutant of $M$ in $M^ω$ and Connes' asymptotic centralizer algebra $M_ω$. △ Less

Submitted 22 March, 2014; v1 submitted 21 December, 2012; originally announced December 2012.

Comments: Reduced to 56 pages by changing layouts. Reference corrected and added

Report number: CPH-SYM-00 MSC Class: 46L10; 03C20

The law of large numbers for the free multiplicative convolution

Authors: Uffe Haagerup, Sören Möller

Abstract: In classical probability the law of large numbers for the multiplicative convolution follows directly from the law for the additive convolution. In free probability this is not the case. The free additive law was proved by D. Voiculescu in 1986 for probability measures with bounded support and extended to all probability measures with first moment by J. M. Lindsay and V. Pata in 1997, while the fr… ▽ More In classical probability the law of large numbers for the multiplicative convolution follows directly from the law for the additive convolution. In free probability this is not the case. The free additive law was proved by D. Voiculescu in 1986 for probability measures with bounded support and extended to all probability measures with first moment by J. M. Lindsay and V. Pata in 1997, while the free multiplicative law was proved only recently by G. Tucci in 2010. In this paper we extend Tucci's result to measures with unbounded support while at the same time giving a more elementary proof for the case of bounded support. In contrast to the classical multiplicative convolution case, the limit measure for the free multiplicative law of large numbers is not a Dirac measure, unless the original measure is a Dirac measure. We also show that the mean value of \ln x is additive with respect to the free multiplicative convolution while the variance of \ln x is not in general additive. Furthermore we study the two parameter family (μ_{α,β})_{α,β\ge 0} of measures on (0,\infty) for which the S-transform is given by S_{μ_{α,β}}(z) = (-z)^β(1+z)^{-α}, 0 < z < 1. △ Less

Submitted 8 April, 2013; v1 submitted 19 November, 2012; originally announced November 2012.

Comments: 27 pages; added references and corrected typos

Report number: CPH-SYM-00 MSC Class: 46L54 (Primary) 60F05 (Secondary)

Journal ref: Operator Algebra and Dynamics, volume 58 of Springer Proceedings in Mathematics & Statistics, p. 157--186, 2013

Simple Lie groups without the Approximation Property

Authors: Uffe Haagerup, Tim de Laat

Abstract: For a locally compact group G, let A(G) denote its Fourier algebra, and let M_0A(G) denote the space of completely bounded Fourier multipliers on G. The group G is said to have the Approximation Property (AP) if the constant function 1 can be approximated by a net in A(G) in the weak-* topology on the space M_0A(G). Recently, Lafforgue and de la Salle proved that SL(3,R) does not have the AP, impl… ▽ More For a locally compact group G, let A(G) denote its Fourier algebra, and let M_0A(G) denote the space of completely bounded Fourier multipliers on G. The group G is said to have the Approximation Property (AP) if the constant function 1 can be approximated by a net in A(G) in the weak-* topology on the space M_0A(G). Recently, Lafforgue and de la Salle proved that SL(3,R) does not have the AP, implying the first example of an exact discrete group without it, namely SL(3,Z). In this paper we prove that Sp(2,R) does not have the AP. It follows that all connected simple Lie groups with finite center and real rank greater than or equal to two do not have the AP. This naturally gives rise to many examples of exact discrete groups without the AP. △ Less

Submitted 11 June, 2013; v1 submitted 5 January, 2012; originally announced January 2012.

Comments: Version 4, 29 pages. Minor corrections

Report number: CPH-SYM-00

Journal ref: Duke Math. J. 162, no. 5 (2013), 925-964

Radial multipliers on reduced free products of operator algebras

Authors: Uffe Haagerup, Sören Möller

Abstract: Let A_i be a family of unital C*-algebras, respectively, of von Neumann algebras and phi: N_0 \to C. We show that if a Hankel matrix related to phi is trace-class, then there exists a unique completely bounded map M_phi on the reduced free product of the A_i, which acts as an radial multiplier. Hereby we generalize a result of Wysoczański for Herz-Schur multipliers on reduced group C*-algebras for… ▽ More Let A_i be a family of unital C*-algebras, respectively, of von Neumann algebras and phi: N_0 \to C. We show that if a Hankel matrix related to phi is trace-class, then there exists a unique completely bounded map M_phi on the reduced free product of the A_i, which acts as an radial multiplier. Hereby we generalize a result of Wysoczański for Herz-Schur multipliers on reduced group C*-algebras for free products of groups. △ Less

Submitted 4 January, 2012; v1 submitted 3 January, 2012; originally announced January 2012.

Comments: 20 pages; corrected title

Report number: CPH-SYM-00 MSC Class: 46L54 (Primary) 46L07 (Secondary)

Journal ref: J. Funct. Anal., 263(8):2507-2528, 2012

Inequalities for Jacobi polynomials

Authors: Uffe Haagerup, Henrik Schlichtkrull

Abstract: A Bernstein type inequality is obtained for the Jacobi polynomials $P_n^{α,β}(x)$, which is uniform for all degrees $n\ge0$, all real $α,β\ge0$, and all values $x\in [-1,1]$. It provides uniform bounds on a complete set of matrix coefficients for the irreducible representations of $\mathrm{SU}(2)$ with a decay of $d^{-1/4}$ in the dimension $d$ of the representation. Moreover it complements previo… ▽ More A Bernstein type inequality is obtained for the Jacobi polynomials $P_n^{α,β}(x)$, which is uniform for all degrees $n\ge0$, all real $α,β\ge0$, and all values $x\in [-1,1]$. It provides uniform bounds on a complete set of matrix coefficients for the irreducible representations of $\mathrm{SU}(2)$ with a decay of $d^{-1/4}$ in the dimension $d$ of the representation. Moreover it complements previous results of Krasikov on a conjecture of Erdélyi, Magnus and Nevai. △ Less

Submitted 30 January, 2012; v1 submitted 2 January, 2012; originally announced January 2012.

Comments: The exposition in Sections 1-2 was improved

Report number: CPH-SYM-00 MSC Class: 22E46; 33C45

Factorization and dilation problems for completely positive maps on von Neumann algebras

Authors: Uffe Haagerup, Magdalena Musat

Abstract: We study factorization and dilation properties of Markov maps between von Neumann algebras equipped with normal faithful states, i.e., completely positive unital maps which preserve the given states and also intertwine their automorphism groups. The starting point for our investigation has been the question of existence of non-factorizable Markov maps, as formulated by C. Anantharaman-Delaroche. W… ▽ More We study factorization and dilation properties of Markov maps between von Neumann algebras equipped with normal faithful states, i.e., completely positive unital maps which preserve the given states and also intertwine their automorphism groups. The starting point for our investigation has been the question of existence of non-factorizable Markov maps, as formulated by C. Anantharaman-Delaroche. We provide simple examples of non-factorizable Markov maps on M_n(C) for all n\geq 3, as well as an example of a one-parameter semigroup (T(t))_{t\geq 0} of Markov maps on M_4(C) such that T(t) fails to be factorizable for all small values of t > 0. As applications, we solve in the negative an open problem in quantum information theory concerning an asymptotic version of the quantum Birkhoff conjecture, as well as we sharpen the existing lower bound estimate for the best constant in the noncommutative little Grothendieck inequality. △ Less

Submitted 3 September, 2010; originally announced September 2010.

Comments: 36 pages

Report number: CPH-SYM-00 MSC Class: 46L10; 81P45

Fusion rules on a parametrized series of graphs

Authors: Marta Asaeda, Uffe Haagerup

Abstract: A series of pairs of graphs (Gamma_k, Gamma'_k), k = 0,1,2,... has been considered as candidates for dual pairs of principal graphs of subfactors of small Jones index above 4 and it has recently been proved that the pair (Gamma_k, Gamma'_k) comes from a subfactor if and only if k = 0 or k =1. We show that nevertheless there exists a unique fusion system compatible with this pair of graphs for all… ▽ More A series of pairs of graphs (Gamma_k, Gamma'_k), k = 0,1,2,... has been considered as candidates for dual pairs of principal graphs of subfactors of small Jones index above 4 and it has recently been proved that the pair (Gamma_k, Gamma'_k) comes from a subfactor if and only if k = 0 or k =1. We show that nevertheless there exists a unique fusion system compatible with this pair of graphs for all non-negative integers k. △ Less

Submitted 8 September, 2010; v1 submitted 31 August, 2010; originally announced August 2010.

Comments: Typos corrected, smaller font used, 30pages

MSC Class: 46L37

Asymptotic expansions for the Gaussian Unitary Ensemble

Authors: Uffe Haagerup, Steen Thorbjørnsen

Abstract: Let g:{\mathbb R} --> {\mathbb C} be a C^{\infty}-function with all derivatives bounded and let tr_n denote the normalized trace on the n x n matrices. In the paper [EM] Ercolani and McLaughlin established asymptotic expansions of the mean value E{tr_n(g(X_n))} for a rather general class of random matrices X_n,including the Gaussian Unitary Ensemble (GUE). Using an analytical approach, we provide… ▽ More Let g:{\mathbb R} --> {\mathbb C} be a C^{\infty}-function with all derivatives bounded and let tr_n denote the normalized trace on the n x n matrices. In the paper [EM] Ercolani and McLaughlin established asymptotic expansions of the mean value E{tr_n(g(X_n))} for a rather general class of random matrices X_n,including the Gaussian Unitary Ensemble (GUE). Using an analytical approach, we provide in the present paper an alternative proof of this asymptotic expansion in the GUE case. Specifically we derive for a GUE random matrix X_n that E{tr_n(g(X_n))}= \frac{1}{2π}\int_{-2}^2 g(x)\sqrt{4-x^2} dx +\sum_{j=1}^k\frac{α_j(g)}{n^{2j}}+ O(n^{-2k-2}), where k is an arbitrary positive integer. Considered as mappings of g, we determine the coefficients α_j(g), j\in{\mathbb N}, as distributions (in the sense of L. Schwarts). We derive a similar asymptotic expansion for the covariance Cov{Tr_n[f(X_n)],Tr_n[g(X_n)]}, where f is a function of the same kind as g, and Tr_n=n tr_n. Special focus is drawn to the case where g(x)=1/(z-x) and f(x)=1/(w-x) for non-real complex numbers z and w. In this case the mean and covariance considered above correspond to, respectively, the one- and two-dimensional Cauchy (or Stieltjes) transform of the GUE(n,1/n). △ Less

Submitted 23 September, 2010; v1 submitted 20 April, 2010; originally announced April 2010.

Comments: References have been added

MSC Class: 60B20; 46L54

Schur Multipliers and Spherical Functions on Homogeneous Trees

Authors: Uffe Haagerup, Troels Steenstrup, Ryszard Szwarc

Abstract: Let X be a homogeneous tree of degree q+1 (for q between 2 and infinity) and let f be a complex function on X times X for which f(x,y) only depend on the distance between x and y in X. Our main result gives a necessary and sufficient condition for such a function to be a Schur multiplier on X times X. Moreover, we find a closed expression for the Schur norm of f. As applications, we obtain a clo… ▽ More Let X be a homogeneous tree of degree q+1 (for q between 2 and infinity) and let f be a complex function on X times X for which f(x,y) only depend on the distance between x and y in X. Our main result gives a necessary and sufficient condition for such a function to be a Schur multiplier on X times X. Moreover, we find a closed expression for the Schur norm of f. As applications, we obtain a closed expression for the completely bounded Fourier multiplier norm of the radial functions on the free (non-abelian) group on N generators (for N between 2 and infinity) and of the spherical functions on the p-adic group PGL_2(Q_q) for every prime number q. △ Less

Submitted 31 August, 2009; originally announced August 2009.

Comments: 51 pages

MSC Class: 20E08 (Primary) 22E50; 43A90; 46L07 (Secondary)

New Presentations of Thompson's Groups and Applications

Authors: Uffe Haagerup, Gabriel Picioroaga

Abstract: We find new presentations for the Thompson's groups $F$, the derived group $F^{'}$ and the intermediate group $D$. These presentations have a common ground in that their relators are the same and only the generating sets differ. As an application of these presentations we extract the following consequences: the cost of the group $F^{'}$ is 1 hence the cost cannot decide the (non)amenability ques… ▽ More We find new presentations for the Thompson's groups $F$, the derived group $F^{'}$ and the intermediate group $D$. These presentations have a common ground in that their relators are the same and only the generating sets differ. As an application of these presentations we extract the following consequences: the cost of the group $F^{'}$ is 1 hence the cost cannot decide the (non)amenability question of $F$; the $II_1$ factor $L(F^{'})$ is inner asymptotically abelian and the reduced $C^*$-algebra of $F$ is not residually finite dimensional. △ Less

Submitted 1 December, 2008; originally announced December 2008.

Resolvents of R-Diagonal Operators

Authors: Uffe Haagerup, Todd Kemp, Roland Speicher

Abstract: We consider the resolvent $(λ-a)^{-1}$ of any $R$-diagonal operator $a$ in a $\mathrm{II}_1$-factor. Our main theorem gives a universal asymptotic formula for the norm of such a resolvent. En route to its proof, we calculate the $R$-transform of the operator $|λ-c|^2$ where $c$ is Voiculescu's circular operator, and give an asymptotic formula for the negative moments of $|λ-a|^2$ for any $R$-dia… ▽ More We consider the resolvent $(λ-a)^{-1}$ of any $R$-diagonal operator $a$ in a $\mathrm{II}_1$-factor. Our main theorem gives a universal asymptotic formula for the norm of such a resolvent. En route to its proof, we calculate the $R$-transform of the operator $|λ-c|^2$ where $c$ is Voiculescu's circular operator, and give an asymptotic formula for the negative moments of $|λ-a|^2$ for any $R$-diagonal $a$. We use a mixture of complex analytic and combinatorial techniques, each giving finer information where the other can give only coarse detail. In particular, we introduce {\em partition structure diagrams}, a new combinatorial structure arising in free probability. △ Less

Submitted 19 November, 2008; originally announced November 2008.

Comments: 29 pages, 12 figures, used gastex.sty

MSC Class: 46L54; 46L53

A reduction method for noncommutative $L_p$-spaces and applications

Authors: Uffe Haagerup, Marius Junge, Quanhua Xu

Abstract: We consider the reduction of problems on general noncommutative $L_p$-spaces to the corresponding ones on those associated with finite von Neumann algebras. The main tool is a unpublished result of the first named author which approximates any noncommutative $L_p$-space by tracial ones. We show that under some natural conditions a map between two von Neumann algebras extends to their crossed pro… ▽ More We consider the reduction of problems on general noncommutative $L_p$-spaces to the corresponding ones on those associated with finite von Neumann algebras. The main tool is a unpublished result of the first named author which approximates any noncommutative $L_p$-space by tracial ones. We show that under some natural conditions a map between two von Neumann algebras extends to their crossed products by a locally compact abelian group or to their noncommutative $L_p$-spaces. We present applications of these results to the theory of noncommutative martingale inequalities by reducing most recent general noncommutative martingale/ergodic inequalities to those in the tracial case. △ Less

Submitted 1 September, 2009; v1 submitted 23 June, 2008; originally announced June 2008.

MSC Class: 46L51; 46L07; 47L30

Cyclic p-roots of prime lengths p and related complex Hadamard matrices

Authors: Uffe Haagerup

Abstract: In this paper it is proved, that for every prime number p, the set of cyclic p-roots in C^p is finite. Moreover the number of cyclic p-roots counted with multiplicity is equal to (2p-2)!/(p-1)!^2. In particular, the number of complex circulant Hadamard matrices of size p, with diagonal entries equal to 1, is less or equal to (2p-2)!/(p-1)!^2. In this paper it is proved, that for every prime number p, the set of cyclic p-roots in C^p is finite. Moreover the number of cyclic p-roots counted with multiplicity is equal to (2p-2)!/(p-1)!^2. In particular, the number of complex circulant Hadamard matrices of size p, with diagonal entries equal to 1, is less or equal to (2p-2)!/(p-1)!^2. △ Less

Submitted 18 March, 2008; originally announced March 2008.

MSC Class: 13P10; 11T99; 46L37

All cyclic p-roots of index 3, found by symmetry-preserving calculations

Authors: Goran Bjorck, Uffe Haagerup

Abstract: When using a Groebner basis to solve the highly symmetric system of algebraic equations defining the cyclic p-roots, one has the feeling that much of the advantage of computerized symbolic algebra over hand calculation is lost through the fact that the symmetry is immediately ``thrown out'' by the calculations. In this paper, the problem of finding (for all relevant primes p) all cyclic p-roots… ▽ More When using a Groebner basis to solve the highly symmetric system of algebraic equations defining the cyclic p-roots, one has the feeling that much of the advantage of computerized symbolic algebra over hand calculation is lost through the fact that the symmetry is immediately ``thrown out'' by the calculations. In this paper, the problem of finding (for all relevant primes p) all cyclic p-roots of index 3 is treated with the symmetry preserved through the calculations. Once we had found the relevant formulas, using MAPLE and MATHEMATICA, the calculations could even be made by hand. On the other hand, with respect to a straightforward attack with Groebner basis, it is not even clear how this could be organized for a general p. In other terminologies, our results involve listings of all bi-unimodular sequences constant on the cosets of the group G_0 of cubic residues, or equivalently all circulant complex Hadamard matrices related to G_0. The corresponding problem for bi-unimodular sequences of index 2 was solved by the first named author in 1989 and shortly after solved independently by de la Harpe and Jones in the case p = 1 (mod 4) and by Munemasa and Watatani in the case p = 3 (mod 4). △ Less

Submitted 17 March, 2008; originally announced March 2008.

MSC Class: 13P10; 11T99; 46L37;

The Effros-Ruan conjecture for bilinear forms on C^*-algebras

Authors: Uffe Haagerup, Magdalena Musat

Abstract: In 1991 Effros and Ruan conjectured that a certain Grothendieck-type inequality for a bilinear form on C$^*$-algebras holds if (and only if) the bilinear form is jointly completely bounded. In 2002 Pisier and Shlyakhtenko proved that this inequality holds in the more general setting of operator spaces, provided that the operator spaces in question are exact. Moreover, they proved that the conjec… ▽ More In 1991 Effros and Ruan conjectured that a certain Grothendieck-type inequality for a bilinear form on C$^*$-algebras holds if (and only if) the bilinear form is jointly completely bounded. In 2002 Pisier and Shlyakhtenko proved that this inequality holds in the more general setting of operator spaces, provided that the operator spaces in question are exact. Moreover, they proved that the conjecture of Effros and Ruan holds for pairs of C$^*$-algebras, of which at least one is exact. In this paper we prove that the Effros-Ruan conjecture holds for general C$^*$-algebras, with constant one. More precisely, we show that for every jointly completely bounded (for short, j.c.b.) bilinear form on a pair of C$^*$-algebras $A$ and $B$, there exist states $f_1$, $f_2$ on $A$ and $g_1$, $g_2$ on $B$ such that for all $a\in A$ and $b\in B$, |u(a, b)| \leq ||u||_{jcb}(f_1(aa^*)^{1/2}g_1(b^*b)^{1/2} + f_2(a^*a)^{1/2}g_2(bb^*)^{1/2}) . While the approach by Pisier and Shlyakhtenko relies on free probability techniques, our proof uses more classical operator algebra theory, namely, Tomita-Takesaki theory and special properties of the Powers factors of type III$_λ$, $0< λ< 1$ . △ Less

Submitted 2 December, 2007; v1 submitted 12 November, 2007; originally announced November 2007.

Comments: 18 pages

MSC Class: 46L10; 47L25

Classification of hyperfinite factors up to completely bounded isomorphism of their preduals

Authors: Uffe Haagerup, Magdalena Musat

Abstract: In this paper we consider the following problem: When are the preduals of two hyperfinite (=injective) factors $\M$ and $\N$ (on separable Hilbert spaces) cb-isomorphic (i.e., isomorphic as operator spaces)? We show that if $\M$ is semifinite and $\N$ is type III, then their preduals are not cb-isomorphic. Moreover, we construct a one-parameter family of hyperfinite type III$_0$-factors with mut… ▽ More In this paper we consider the following problem: When are the preduals of two hyperfinite (=injective) factors $\M$ and $\N$ (on separable Hilbert spaces) cb-isomorphic (i.e., isomorphic as operator spaces)? We show that if $\M$ is semifinite and $\N$ is type III, then their preduals are not cb-isomorphic. Moreover, we construct a one-parameter family of hyperfinite type III$_0$-factors with mutually non cb-isomorphic preduals, and we give a characterization of those hyperfinite factors $\M$ whose preduals are cb-isomorphic to the predual of the unique hyperfinite type III$_1$-factor. In contrast, Christensen and Sinclair proved in 1989 that all infinite dimensional hyperfinite factors with separable preduals are cb-isomorphic. More recently Rosenthal, Sukochev and the first-named author proved that all hyperfinite type III$_λ$-factors, where $0< λ\leq 1$, have cb-isomorphic preduals. △ Less

Submitted 8 August, 2007; v1 submitted 23 June, 2007; originally announced June 2007.

Comments: 30 pages

MSC Class: 46L10; 47L25

Invariant Subspaces for Operators in a General II_1-factor

Authors: Uffe Haagerup, Hanne Schultz

Abstract: It is shown that to every operator T in a general von Neumann factor M of type II_1 and to every Borel set B in the complex plane, one can associate a largest, closed, T-invariant subspace, K = K_T(B), affiliated with M, such that the Brown measure of T|_K is concentrated on B. Moreover, K is T-hyperinvariant, and the Brown measure of (1-P_K)T|_(1-P_K)(H) is concentrated on C\B. In particular, i… ▽ More It is shown that to every operator T in a general von Neumann factor M of type II_1 and to every Borel set B in the complex plane, one can associate a largest, closed, T-invariant subspace, K = K_T(B), affiliated with M, such that the Brown measure of T|_K is concentrated on B. Moreover, K is T-hyperinvariant, and the Brown measure of (1-P_K)T|_(1-P_K)(H) is concentrated on C\B. In particular, if T has a Brown measure which is not concentrated on a singleton, then there exists a non-trivial, closed, T-hyperinvariant subspace. Furthermore, it is shown that for every T in M, the limit A=\lim_{n\to\infty}[(T^n)* T^n]^{1/2n} exists in the strong operator topology and K_T(\bar{B(0,r)})=1_{[0,r]}(A), r>0. △ Less

Submitted 9 November, 2006; originally announced November 2006.

Comments: 83 pages

MSC Class: 47A15; 47C15; 46L54

On the best constants in noncommutative Khintchine-type inequalities

Authors: Uffe Haagerup, Magdalena Musat

Abstract: We obtain new proofs with improved constants of the Khintchine-type inequality with matrix coefficients in two cases. The first case is the Pisier and Lust-Piquard noncommutative Khintchine inequality for $p=1$, where we obtain the sharp lower bound of $\frac1{\sqrt{2}}$ in the complex Gaussian case and for the sequence of functions $\{e^{i2^nt}\}_{n=1}^\infty$ . The second case is Junge's recen… ▽ More We obtain new proofs with improved constants of the Khintchine-type inequality with matrix coefficients in two cases. The first case is the Pisier and Lust-Piquard noncommutative Khintchine inequality for $p=1$, where we obtain the sharp lower bound of $\frac1{\sqrt{2}}$ in the complex Gaussian case and for the sequence of functions $\{e^{i2^nt}\}_{n=1}^\infty$ . The second case is Junge's recent Khintchine-type inequality for subspaces of the operator space $R\oplus C$, which he used to construct a cb-embedding of the operator Hilbert space $OH$ into the predual of a hyperfinite factor. Also in this case, we obtain a sharp lower bound of $\frac1{\sqrt{2}}$ . As a consequence, it follows that any subspace of a quotient of $(R\oplus C)^*$ is cb-isomorphic to a subspace of the predual of the hyperfinite factor of type $III_1$, with cb-isomorphism constant $\leq \sqrt{2}$ . In particular, the operator Hilbert space $OH$ has this property. △ Less

Submitted 23 May, 2007; v1 submitted 6 November, 2006; originally announced November 2006.

Comments: 30 pages

MSC Class: 46L51; 46L53; 47L25

Proper metrics on locally compact groups, and proper affine isometric actions on Banach spaces

Authors: Uffe Haagerup, Agata Przybyszewska

Abstract: In this article it is proved, that every locally compact second countable group has a left invariant metric d, which generates the topology on G, and which is proper, ie. every closed d-bounded set in G is compact. Moreover, we obtain the following extension of a result due to N. Brown and E. Guentner: Every locally compact second countable $G$ admits a proper affine action on the reflexive and… ▽ More In this article it is proved, that every locally compact second countable group has a left invariant metric d, which generates the topology on G, and which is proper, ie. every closed d-bounded set in G is compact. Moreover, we obtain the following extension of a result due to N. Brown and E. Guentner: Every locally compact second countable $G$ admits a proper affine action on the reflexive and strictly convex Banach space $\bigoplus^{\infty}_{n=1} L^{2n}(G, dμ),$ where the direct sum is taken in the $l^2$-sense. △ Less

Submitted 30 June, 2006; originally announced June 2006.

Brown Measures of Unbounded Operators Affiliated with a Finite von Neumann Algebra

Authors: Uffe Haagerup, Hanne Schultz

Abstract: In this paper we generalize Brown's spectral distribution measure to a large class of unbounded operators affiliated with a finite von Neumann algebra. Moreover, we compute the Brown measure of all unbounded R-diagonal operators in this class. As a particular case, we determine the Brown measure of z=xy^{-1}, where (x,y) is a circular system in the sense of Voiculescu, and we prove that for all… ▽ More In this paper we generalize Brown's spectral distribution measure to a large class of unbounded operators affiliated with a finite von Neumann algebra. Moreover, we compute the Brown measure of all unbounded R-diagonal operators in this class. As a particular case, we determine the Brown measure of z=xy^{-1}, where (x,y) is a circular system in the sense of Voiculescu, and we prove that for all positive integers n, z^n is in L^p(M) iff 0<p< 2/(n+1). △ Less

Submitted 10 May, 2006; originally announced May 2006.

Comments: 50 pages

MSC Class: 46L54; 47C15; 60B99

A Random Matrix Approach to the Lack of Projections in C*_red(F_2)

Authors: Uffe Haagerup, Hanne Schultz, Steen Thorbjornsen

Abstract: In 1982 Pimsner and Voiculescu computed the K_0- and K_1-groups of the reduced group C*-algebra C*_red(F_k) of the free group F_k on k generators and settled thereby a long standing conjecture: C*_red(F_k) has no projections except for the trivial projections 0 and 1. Later simpler proofs of this conjecture were found by methods from K-theory or from non-commutative differential geometry. In thi… ▽ More In 1982 Pimsner and Voiculescu computed the K_0- and K_1-groups of the reduced group C*-algebra C*_red(F_k) of the free group F_k on k generators and settled thereby a long standing conjecture: C*_red(F_k) has no projections except for the trivial projections 0 and 1. Later simpler proofs of this conjecture were found by methods from K-theory or from non-commutative differential geometry. In this paper we provide a new proof of the fact that C*_red(F_k) is projectionless. The new proof is based on random matrices and is obtained by a refinement of the methods recently used by the first and the third named author to show that the semigroup Ext(C*_red(F_k)) is not a group for k >= 2. By the same type of methods we also obtain that two phenomena proved by Bai and Silverstein for certain classes of random matrices: ``no eigenvalues outside (a small neighbourhood of) the support of the limiting distribution'' and ``exact separation of eigenvalues by gaps in the limiting distribution'' also hold for arbitrary non-commutative selfadjoint polynomials of independent GUE, GOE or GSE random matrices with matrix coefficients. △ Less

Submitted 30 December, 2004; originally announced December 2004.

Comments: 68 pages, no figures

MSC Class: 46L05; 46L54; 15A52

Moment Formulas For The Quasi-Nilpotent DT-Operator

Authors: L. Aagaard, U. Haagerup

Abstract: Let T be the quasi-nilpotent DT-operator. By use of Voiculescu's amalgamated R-transform we compute the moments of $(T-λ1)^*(T-λ1)$, where $λ\in \mathbb C$, and the Brown-measure of $T+\sqrtε Y$, where Y is a circular element *-free from T for $ε>0$. Moreover we give a new proof of Śniady's formula for the moments $τ(((T^*)^k T^k)^n)$ for $k,n\in \mathbb N$. Let T be the quasi-nilpotent DT-operator. By use of Voiculescu's amalgamated R-transform we compute the moments of $(T-λ1)^*(T-λ1)$, where $λ\in \mathbb C$, and the Brown-measure of $T+\sqrtε Y$, where Y is a circular element *-free from T for $ε>0$. Moreover we give a new proof of Śniady's formula for the moments $τ(((T^*)^k T^k)^n)$ for $k,n\in \mathbb N$. △ Less

Submitted 9 June, 2004; originally announced June 2004.

Comments: 50 pages

MSC Class: 46L54; 15A52

Invariant subspaces of the quasinilpotent DT-operator

Authors: Ken Dykema, Uffe Haagerup

Abstract: We previously introduced the class of DT--operators, which are modeled by certain upper triangular random matrices, and showed that if the spectrum of a DT-operator is not reduced to a single point, then it has a nontrivial, closed, hyperinvariant subspace. In this paper, we prove that also every DT-operator whose spectrum is concentrated on a single point has a nontrivial, closed, hyperinvarian… ▽ More We previously introduced the class of DT--operators, which are modeled by certain upper triangular random matrices, and showed that if the spectrum of a DT-operator is not reduced to a single point, then it has a nontrivial, closed, hyperinvariant subspace. In this paper, we prove that also every DT-operator whose spectrum is concentrated on a single point has a nontrivial, closed, hyperinvariant subspace. In fact, each such operator has a one-parameter family of them. It follows that every DT-operator generates the von Neumann algebra L(F_2) of the free group on two generators. △ Less

Submitted 11 January, 2003; originally announced January 2003.

Random matrices, free probability and the invariant subspace problem relative to a von Neumann Algebra

Authors: Uffe Haagerup

Abstract: Random matrices have their roots in multivariate analysis in statistics, and since Wigner's pioneering work in 1955, they have been a very important tool in mathematical physics. In functional analysis, random matrices and random structures have in the last two decades been used to construct Banach spaces with surprising properties. After Voiculescu in 1990--1991 used random matrices to classifi… ▽ More Random matrices have their roots in multivariate analysis in statistics, and since Wigner's pioneering work in 1955, they have been a very important tool in mathematical physics. In functional analysis, random matrices and random structures have in the last two decades been used to construct Banach spaces with surprising properties. After Voiculescu in 1990--1991 used random matrices to classification problems for von Neumann algebras, they have played a key role in von Neumann algebra theory. In this lecture we will discuss some new applications of random matrices to operator algebra theory, namely applications to classification problems for $C^*$-algebras and to the invariant subspace problem relative to a von Neumann algebra. △ Less

Submitted 30 November, 2002; originally announced December 2002.

Report number: ICM-2002 MSC Class: 46L35; 46L54; 46L80; 47A15; 47C15; 60B99; 81S30

Journal ref: Proceedings of the ICM, Beijing 2002, vol. 1, 273--290

A new application of Random Matrices: Ext(C*_{red}(F_2)) is not a group

Authors: Uffe Haagerup, Steen Thorbjornsen

Abstract: In the process of developing the theory of free probability and free entropy, Voiculescu introduced in 1991 a random matrix model for a free semicircular system. Since then, random matrices have played a key role in von Neumann algebra theory (cf. [V8], [V9]). The main result of this paper is the following extension of Voiculescu's random matrix result: Let X_1^(n),...,X_r^(n) be a system of r s… ▽ More In the process of developing the theory of free probability and free entropy, Voiculescu introduced in 1991 a random matrix model for a free semicircular system. Since then, random matrices have played a key role in von Neumann algebra theory (cf. [V8], [V9]). The main result of this paper is the following extension of Voiculescu's random matrix result: Let X_1^(n),...,X_r^(n) be a system of r stochastically independent n by n Gaussian self-adjoint random matrices as in Voiculescu's random matrix paper [V4], and let (x_1,...,x_r) be a semi-circular system in a C*-probability space. Then for every polynomial p in r noncommuting variables lim_{n->oo}||p(X_1^(n),...,X_r^(n))|| = ||p(x_1,...,x_r)||, for almost all omega in the underlying probability space. We use the result to show that the Ext-invariant for the reduced C*-algebra of the free group on 2 generators is not a group but only a semi-group. This problem has been open since Anderson in 1978 found the first example of a C*-algebra A for which Ext(A) is not a group. △ Less

Submitted 21 June, 2007; v1 submitted 19 December, 2002; originally announced December 2002.

Comments: 65 pages, published version

Journal ref: Ann. of Math. (2) 162 (2005), no. 2, 711--775

DT-operators and decomposability of Voiculescu's circular operator

Authors: Ken Dykema, Uffe Haagerup

Abstract: The DT-operators are introduced, one for every pair (μ,c) consisting of a compactly supported Borel probability measure μon the complex plane and a constant c>0. These are operators on Hilbert space that are defined as limits in *-moments of certain upper triangular random matrices. The DT-operators include Voiculescu's circular operator and elliptic deformations of it, as well as the circular f… ▽ More The DT-operators are introduced, one for every pair (μ,c) consisting of a compactly supported Borel probability measure μon the complex plane and a constant c>0. These are operators on Hilbert space that are defined as limits in *-moments of certain upper triangular random matrices. The DT-operators include Voiculescu's circular operator and elliptic deformations of it, as well as the circular free Poisson operators. We show that every DT-operator is strongly decomposable. We also show that a DT-operator generates a II_1-factor, whose isomorphism class depends only on the number and sizes of atoms of μ. Those DT-operators that are also R-diagonal are identified. For a quasi-nilpotent DT-operator T, we find the distribution of T^*T and a recursion formula for general *-moments of T. △ Less

Submitted 8 May, 2002; originally announced May 2002.

Comments: 58 pages

Report number: MSRI preprint 2002-017 MSC Class: 46L54; 47C15

Banach embedding properties of non-commutative L^p-spaces

Authors: U. Haagerup, H. P. Rosenthal, F. A. Sukochev

Abstract: Let N and M be von Neumann algebras. It is proved that L^p(N) does not Banach embed in L^p(M) for N infinite, M finite, 1 < or = p < 2. The following considerably stronger result is obtained (which implies this, since the Schatten p-class C_p embeds in L^p(N) for N infinite). Theorem: Let 1 < or = p < 2 and let X be a Banach space with a spanning set (x_{ij}) so that for some C < or = 1: (i) any… ▽ More Let N and M be von Neumann algebras. It is proved that L^p(N) does not Banach embed in L^p(M) for N infinite, M finite, 1 < or = p < 2. The following considerably stronger result is obtained (which implies this, since the Schatten p-class C_p embeds in L^p(N) for N infinite). Theorem: Let 1 < or = p < 2 and let X be a Banach space with a spanning set (x_{ij}) so that for some C < or = 1: (i) any row or column is C-equivalent to the usual ell^2-basis; (ii) (x_{i_k,j_k}) is C-equivalent to the usual ell^p-basis, for any i_1 < i_2 < ... and j_1 < j_2 < ... . Then X is not isomorphic to a subspace of L^p(M), for M finite. Complements on the Banach space structure of non-commutative L^p-spaces are obtained, such as the p-Banach-Saks property and characterizations of subspaces of L^p(M) containing ell^p isomorphically. The spaces L^p(N) are classified up to Banach isomorphism, for N infinite-dimensional, hyperfinite and semifinite, 1 < or = p< infty, p not= 2. It is proved that there are exactly thirteen isomorphism types; the corresponding embedding properties are determined for p < 2 via an eight level Hasse diagram. It is also proved for all 1 < or = p < infty that L^p(N) is completely isomorphic to L^p(M) if N and M are the algebras associated to free groups, or if N and M are injective factors of type III_lambda and III_{lambda'} for 0 < lambda, lambda' < or = 1. △ Less

Submitted 15 May, 2000; originally announced May 2000.

Comments: 54 pp., LaTeX

Report number: ut-ma/00-03 MSC Class: 46B20; 46L10; 46L52; 47L25 (Primary)

Invariant subspaces of Voiculescu's circular operator

Authors: Ken Dykema, Uffe Haagerup

Abstract: We show that Voiculescu's circular operator and, more generally, each circular free Poisson operator has a continuous family of invariant subspaces relative to the von Neumann algebra it generates. The proof relies on upper triangular random matrix models and consequent realizations of these operators as upper triangular matrices of free random variables. We show that Voiculescu's circular operator and, more generally, each circular free Poisson operator has a continuous family of invariant subspaces relative to the von Neumann algebra it generates. The proof relies on upper triangular random matrix models and consequent realizations of these operators as upper triangular matrices of free random variables. △ Less

Submitted 17 April, 2000; originally announced April 2000.

Comments: 45 pages

MSC Class: 46L54; 47A15; 47C15

Exotic subfactors of finite depth with Jones indices (5+sqrt{13})/2 and (5+sqrt{17})/2

Authors: M. Asaeda, U. Haagerup

Abstract: We prove existence of subfactors of finite depth of the hyperfinite II_1 factor with indices (5+sqrt{13})/2= 4.302... and (5+sqrt{17})/2=4.561.... The existence of the former was announced by the second named author in 1993 and that of the latter has been conjectured since then. These are the only known subfactors with finite depth which do not arise from classical groups, quantum groups or rati… ▽ More We prove existence of subfactors of finite depth of the hyperfinite II_1 factor with indices (5+sqrt{13})/2= 4.302... and (5+sqrt{17})/2=4.561.... The existence of the former was announced by the second named author in 1993 and that of the latter has been conjectured since then. These are the only known subfactors with finite depth which do not arise from classical groups, quantum groups or rational conformal field theory. △ Less

Submitted 17 June, 1999; v1 submitted 11 March, 1998; originally announced March 1998.

Comments: 70 pages, Latex, using epic.sty, eepic.sty, epsf.sty, here.sty

MSC Class: 46L37; 81T05

Journal ref: Commun.Math.Phys. 202, 1-63 (1999)

The stable rank of some free product C*-algebras

Authors: Ken Dykema, Uffe Haagerup, Mikael Rordam

Abstract: It is proved that the reduced group C*-algebra C*_{red}(G) has stable rank one (i.e. its group of invertible elements is a dense subset) if G is a discrete group arising as a free product G_1*G_2 where |G_1|>=2 and |G_2|>=3. This follows from a more general result where it is proved that if (A,tau) is the reduced free product of a family (A_i,tau_i), i\in I, of unital C*-algebras A_i with normal… ▽ More It is proved that the reduced group C*-algebra C*_{red}(G) has stable rank one (i.e. its group of invertible elements is a dense subset) if G is a discrete group arising as a free product G_1*G_2 where |G_1|>=2 and |G_2|>=3. This follows from a more general result where it is proved that if (A,tau) is the reduced free product of a family (A_i,tau_i), i\in I, of unital C*-algebras A_i with normalized faithful traces tau_i, and if the family satisfies the Avitzour condition (i.e. the traces, tau_i, are not too lumpy in a specific sense), then A has stable rank one. △ Less

Submitted 12 September, 1996; v1 submitted 9 August, 1996; originally announced August 1996.

Comments: 30 pages, Latex. This revision includes an extra section where the special case of the reduced C*-algebra of the free group on two generators is considered separately. This has the advantage of making the main ideas more transparent

Bounded linear operators between C^*-algebras

Authors: U. Haagerup, Gilles Pisier

Abstract: Let $u:A\to B$ be a bounded linear operator between two $C^*$-algebras $A,B$. The following result was proved by the second author. Theorem 0.1. There is a numerical constant $K_1$ such that for all finite sequences $x_1,\ldots, x_n$ in $A$ we have… ▽ More Let $u:A\to B$ be a bounded linear operator between two $C^*$-algebras $A,B$. The following result was proved by the second author. Theorem 0.1. There is a numerical constant $K_1$ such that for all finite sequences $x_1,\ldots, x_n$ in $A$ we have $$\leqalignno{&\max\left\{\left\|\left(\sum u(x_i)^* u(x_i)\right)^{1/2}\right\|_B, \left\|\left(\sum u(x_i) u(x_i)^*\right)^{1/2}\right\|_B\right\}&(0.1)_1\cr \le &K_1\|u\| \max\left\{\left\|\left(\sum x^*_ix_i\right)^{1/2}\right\|_A, \left\|\left(\sum x_ix^*_i\right)^{1/2}\right\|_A\right\}.}$$ A simpler proof was given in [H1]. More recently an other alternate proof appeared in [LPP]. In this paper we give a sequence of generalizations of this inequality. △ Less

Submitted 18 February, 1993; originally announced February 1993.

Report number: Banach Archive 2/18/93 MSC Class: 47C