Statistics for A Fast Sphere Decoding Algorithm for Rank Deficient MIMO Systems