Optimal Linear Sofic Approximations Of Countable Groups (2112.10111v3)

Abstract: A countable group G is called k-linear sofic (for some 0 <k \le 1) if finite subsets of G admit "approximate representations" by complex invertible matrices in the normalized rank metric, so that non-identity elements are k-away from the identity. This class of groups was systematically studied by Arzhantseva and Paunescu [AP17], where it is shown that such a group is always 1/4-linear sofic. In this paper, we will study the optimality of this result for general countable groups and show that every linear sofic group is 1/2-linear sofic, and 1/2 cannot be improved. However, if G is assumed to be torsion-free, then it is 1-linear sofic. These results answer a question posed by G. Arzhantseva in her talk in the IAS Stability and Testability lecture series. We also study the optimal linear sofic constant of finite groups over C and fields of positive characteristic. For the proof, we establish effective non-concentration estimates for random walks on finitely generated abelian groups, which may be of independent interest. Another ingredient of the proof involves bounding integrals of certain trigonometric sums.