English

Dilations of unitary tuples

Operator Algebras 2023-05-09 v3 Functional Analysis

Abstract

We study the space of all dd-tuples of unitaries u=(u1,,ud)u=(u_1,\ldots, u_d) using dilation theory and matrix ranges. Given two dd-tuples uu and vv generating C*-algebras A\mathcal A and B\mathcal B, we seek the minimal dilation constant c=c(u,v)c=c(u,v) such that ucvu\prec cv, by which we mean that uu is a compression of some *-isomorphic copy of cvcv. This gives rise to a metric dD(u,v)=logmax{c(u,v),c(v,u)} d_D(u,v)=\log\max\{c(u,v),c(v,u)\} on the set of equivalence classes of *-isomorphic tuples of unitaries. We also consider the metric dHR(u,v)=inf{uv:u,vB(H)d,uu and vv}, d_{HR}(u,v)=\inf\left\{\|u'-v'\|:u',v'\in B(H)^d, u'\sim u\textrm{ and } v'\sim v\right\}, and we show the inequality dHR(u,v)KdD(u,v)1/2. d_{HR}(u,v)\leq K d_D(u,v)^{1/2}. Let uΘu_\Theta be the universal unitary tuple (u1,,ud)(u_1,\ldots,u_d) satisfying uuk=eiθk,ukuu_\ell u_k=e^{i\theta_{k,\ell}} u_k u_\ell, where Θ=(θk,)\Theta=(\theta_{k,\ell}) is a real antisymmetric matrix. We find that c(uΘ,uΘ)e14ΘΘc(u_\Theta, u_{\Theta'})\leq e^{\frac{1}{4}\|\Theta-\Theta'\|}. From this we recover the result of Haagerup-Rordam and Gao that there exists a map ΘU(Θ)B(H)d\Theta\mapsto U(\Theta)\in B(H)^d such that U(Θ)uΘU(\Theta)\sim u_\Theta and U(Θ)U(Θ)KΘΘ1/2. \|U(\Theta)-U({\Theta'})\|\leq K\|\Theta-\Theta'\|^{1/2}. Of special interest are: the universal dd-tuple of noncommuting unitaries u{\mathrm u}, the dd-tuple of free Haar unitaries ufu_f, and the universal dd-tuple of commuting unitaries u0u_0. We obtain the bounds 211dc(uf,u0)2112d. 2\sqrt{1-\frac{1}{d}}\leq c(u_f,u_0)\leq 2\sqrt{1-\frac{1}{2d}}. From this, we recover Passer's upper bound for the universal unitaries c(u,u0)2dc({\mathrm u},u_0)\leq\sqrt{2d}. In the case d=3d=3 we obtain the new lower bound c(u,u0)1.858c({\mathrm u},u_0)\geq 1.858 improving on the previously known lower bound c(u,u0)3c({\mathrm u},u_0)\geq\sqrt{3}.

Cite

@article{arxiv.2006.01869,
  title  = {Dilations of unitary tuples},
  author = {Malte Gerhold and Satish K. Pandey and Orr Shalit and Baruch Solel},
  journal= {arXiv preprint arXiv:2006.01869},
  year   = {2023}
}

Comments

31 pages. A few minor corrections have been made and a new appendix (Appendix B) has been added. To appear in Journal of the London Mathematical Society

R2 v1 2026-06-23T16:00:23.022Z