Free-independent sequences in type II1 factors and related problems

We prove that, unlike central sequences (i.e., commuting-independent sequences) which in general may or may not exist, free-independent sequences exist in any separable type II1 factor. More generally, we prove that certain universal commuting squares involving amalgamated free products appear asymptotically in any inclusion of finite index.