Linear receivers for frequency-selective MIMO channels with redundant linear precoding can achieve full diversity