A group with at least subexponential hyperlinear profile

The hyperlinear profile of a group measures the growth rate of the dimension of unitary approximations to the group. We construct a finitely-presented group whose hyperlinear profile is at least subexponential, i.e. at least $\exp(1/\epsilon^{k})$ for some $0 < k < 1$. We use this group to give an example of a two-player non-local game requiring subexponential Hilbert space dimension to play near-perfectly.

[1]  E. Rips,et al.  Isoperimetric functions of groups and computational complexity of the word problem , 1998 .

[2]  William Slofstra,et al.  Entanglement in Non-local Games and the Hyperlinear Profile of Groups , 2018, Annales Henri Poincaré.

[3]  Thomas Vidick,et al.  A three-player coherent state embezzlement game , 2018, Quantum.

[4]  Thomas Vidick,et al.  Entanglement of approximate quantum strategies in XOR games , 2016, Quantum Inf. Comput..

[5]  Yves Cornulier.  Sofic profile and computability of Cremona groups , 2013, 1305.0993.

[6]  N. Ozawa,et al.  OPERATOR ALGEBRAIC APPROACH TO INVERSE AND STABILITY THEOREMS FOR AMENABLE GROUPS , 2017, Mathematika.

[7]  A. Lubotzky,et al.  STABILITY, COHOMOLOGY VANISHING, AND NONAPPROXIMABLE GROUPS , 2017, Forum of Mathematics, Sigma.

[8]  William Slofstra,et al.  Perfect Commuting-Operator Strategies for Linear System Games , 2016, 1606.02278.

[9]  William Slofstra,et al.  Tsirelson’s problem and an embedding theorem for groups arising from non-local games , 2016, Journal of the American Mathematical Society.

[10]  D. Kazhdan.  On ɛ-representations , 1982 .

[11]  T. Fritz.  On infinite-dimensional state spaces , 2012, 1202.3817.

[12]  G. Higman.  Subgroups of finitely presented groups , 1961, Proceedings of the Royal Society of London. Series A. Mathematical and Physical Sciences.

[13]  W. T. Gowers,et al.  Inverse and stability theorems for approximate representations of finite groups , 2015, 1510.04085.