Weak$^*$ polynomial density, diffuseness and proper infinitude

The unitary group of a von Neumann algebra on an $\aleph_0$-dimensional Hilbert space is polynomially weak$^*$-dense (equivalently, $G_{delta}$ dense or residual) in the normal unit ball if and only if the canonical finite atomic quotient of the von Neumann algebra is trivial. The analogous result h