Source author record

U. Haagerup

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.FA math.GR math.OA

Catalog footprint

Research overview

2works

3topics

3close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2015arXiv

A computational approach to the Thompson group $F$

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$ .

preprint1993arXiv

Bounded linear operators between C^*-algebras

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.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

U. Haagerup

Research overview

Is this your work?

2 publications

A computational approach to the Thompson group $F$

Bounded linear operators between C^*-algebras

See the researcher in context

Building this map preview

U. Haagerup

Research overview

Is this your work?

2 publications

A computational approach to the Thompson group FFF

Bounded linear operators between C^*-algebras

See the researcher in context

Building this map preview

A computational approach to the Thompson group $F$