Success Probability of the Babai Estimators for Box-Constrained Integer Linear Models
Success Probability of the Babai Estimators for Box-Constrained Integer Linear Models
复制标题
DOI:
10.1109/tit.2016.2627082
复制
发表时间:
2014-10
影响因子:
2.5
通讯作者:
Jinming Wen;X. Chang
中科院分区:
文献类型:
--
作者:
Jinming Wen;X. Chang
In many applications including communications, one may encounter a linear model where the parameter vector $\hat { {x}}$ is an integer vector in a box. To estimate $\hat { {x}}$ , a typical method is to solve a box-constrained integer least squares problem. However, due to its high complexity, the box-constrained Babai integer point $ {x}^ {\scriptscriptstyle \text {BB}}$ is commonly used as a suboptimal solution. In this paper, we first derive formulas for the success probability $P^ {\scriptscriptstyle \text {BB}}$ of $ {x}^ {\scriptscriptstyle \text {BB}}$ and the success probability $P^ {\scriptscriptstyle \text {OB}}$ of the ordinary Babai integer point $ {x}^ {\scriptscriptstyle \text {OB}}$ when $\hat { {x}}$ is uniformly distributed over the constraint box. Some properties of $P^ {\scriptscriptstyle \text {BB}}$ and $P^ {\scriptscriptstyle \text {OB}}$ and the relationship between them are studied. Then, we investigate the effects of some column permutation strategies on $ {P}^ {\scriptscriptstyle \text {BB}}$ . In addition to V-BLAST and SQRD, we also consider the permutation strategy involved in the LLL lattice reduction, to be referred to as LLL-P. On the one hand, we show that when the noise is relatively small, LLL-P always increases $P^ {\scriptscriptstyle \text {BB}}$ and argue why both V-BLAST and SQRD often increase $P^ {\scriptscriptstyle \text {BB}}$ ; and on the other hand, we show that when the noise is relatively large, LLL-P always decreases $P^ {\scriptscriptstyle \text {BB}}$ and argue why both V-BLAST and SQRD often decrease $P^ {\scriptscriptstyle \text {BB}}$ . We also derive a column permutation invariant bound on $P^ {\scriptscriptstyle \text {BB}}$ , which is an upper bound and a lower bound under these two opposite conditions, respectively. Numerical results demonstrate our findings. Finally, we consider a conjecture concerning $ {x}^ {\scriptscriptstyle \text {OB}}$ proposed by Ma et al. We first construct an example to show that the conjecture does not hold in general, and then show that it does hold under some conditions.