English

On the width of transitive sets: bounds on matrix coefficients of finite groups

Group Theory 2021-01-28 v3 Combinatorics Metric Geometry

Abstract

We say that a finite subset of the unit sphere in Rd\mathbf{R}^d is transitive if there is a group of isometries which acts transitively on it. We show that the width of any transitive set is bounded above by a constant times (logd)1/2(\log d)^{-1/2}. This is a consequence of the following result: If GG is a finite group and ρ:G\mboxUd(C)\rho : G \rightarrow \mbox{U}_d(\mathbf{C}) a unitary representation, and if vCdv \in \mathbf{C}^d is a unit vector, there is another unit vector wCdw \in \mathbf{C}^d such that supgGρ(g)v,w(1+clogd)1/2. \sup_{g \in G} |\langle \rho(g) v, w \rangle| \leq (1 + c \log d)^{-1/2}. These results answer a question of Yufei Zhao. An immediate consequence of our result is that the diameter of any quotient S(Rd)/GS(\mathbf{R}^d)/G of the unit sphere by a finite group GG of isometries is at least π/2od(1)\pi/2 - o_{d \rightarrow \infty}(1).

Keywords

Cite

@article{arxiv.1802.01904,
  title  = {On the width of transitive sets: bounds on matrix coefficients of finite groups},
  author = {Ben Green},
  journal= {arXiv preprint arXiv:1802.01904},
  year   = {2021}
}

Comments

35 pages, corrected two significant errors drawn to my attention by Ashwin Sah, Mehtaab Sawhney and Yufei Zhao