1: \begin{abstract}

2: We prove that for every $n\geq 2$, the reduced group $C^*$-algebras of the countable free groups  $C^*_r(\mathbb{F}_n)$ have strict comparison. Our method works in a general setting: for $G$ in a large family of non-amenable groups, including hyperbolic groups, free products, mapping class groups, right-angled Artin groups etc., we have $C^*_r(G)$ have strict comparison.  This work also has several applications in the theory of $C^*$-algebras including: resolving Leonel Robert's selflessness problem for $C^*_r(G)$; uniqueness of embeddings of the Jiang-Su algebra $\mathcal{Z}$ up to approximate unitary equivalence into $C^*_r(G)$; full computations of the Cuntz semigroup of $C^*_r(G)$ and future directions in the $C^*$-classification program.  %This yields the following surprising application:   The $C^*$-algebraic ultrapowers of the reduced group $C^*$-algebras of the countable  free groups, $C^*_r(\mathbb{F}_n)^{\mathcal{U}}$ are non-isomorphic for different values of $n\in \mathbb{N}$.  This is in sharp contrast with the situation for the Tarski problem for groups where it was shown in important works of Sela and Kharlampovich-Myasnikov that the group ultrapowers of the countable free groups $\mathbb{F}_n^{\mathcal{U}}$ are isomorphic. A novelty in the proof is the usage of \emph{strong-convergence} phenomena for random permutation matrices.       

3: \end{abstract}

4: