Hyperlinear Approximations to Amenable Groups Come from Sofic Approximations

We provide a quantitative formulation of the equivalence between hyperlinearity and soficity for amenable groups, showing that every hyperlinear approximation to such a group is essentially produced from a sofic approximation. This translates to a quantitative relationship between Hilbert-Schmidt and permutation stability for approximate homomorphisms which appropriately separate the elements of the group.