We consider the problem of detecting a vector of symbols that is being transmitted over a fading multiple?input multiple?output (MIMO) channel, where each symbol is an ?th root of unity for some fixed 2. Although the symbol vector that minimizes the error probability can be found by the so?called maximum?likelihood (ML) detector, its computation is intractable in general. In this paper we analyze a popular polynomial?time heuristic, called the semidefinite relaxation (SDR) detector, for the problem and establish its first non?asymptotic performance guarantee. Specifically, in the low signal?to?noise ratio (SNR) region, we show that for any 2, the SDR detector will yield a constant factor approximation to the optimal log?likelihood value with a probability that increases exponentially fast to 1 as the channel size increases. In the high SNR region, it is known that for = 2, the SDR detector will yield an exact solution to the ML detection problem with a probability that