English

On the nonexistence of $[\binom{2m}{m-1}, 2m, \binom{2m-1}{m-1}]$, $m$ odd, complex orthogonal design

Information Theory 2011-09-14 v1 math.IT

Abstract

Complex orthogonal designs (CODs) are used to construct space-time block codes. COD Oz\mathcal{O}_z with parameter [p,n,k][p, n, k] is a p×np\times n matrix, where nonzero entries are filled by ±zi\pm z_i or ±zi\pm z^*_i, i=1,2,...,ki = 1, 2,..., k, such that OzHOz=(z12+z22+...+zk2)In×n\mathcal{O}^H_z \mathcal{O}_z = (|z_1|^2+|z_2|^2+...+|z_k|^2)I_{n \times n}. Adams et al. in "The final case of the decoding delay problem for maximum rate complex orthogonal designs," IEEE Trans. Inf. Theory, vol. 56, no. 1, pp. 103-122, Jan. 2010, first proved the nonexistence of [(2mm1),2m,(2m1m1)][\binom{2m}{m-1}, 2m, \binom{2m-1}{m-1}], mm odd, COD. Combining with the previous result that decoding delay should be an integer multiple of (2mm1)\binom{2m}{m-1}, they solved the final case n2(mod4)n \equiv 2 \pmod 4 of the decoding delay problem for maximum rate complex orthogonal designs. In this paper, we give another proof of the nonexistence of COD with parameter [(2mm1),2m,(2m1m1)][\binom{2m}{m-1}, 2m, \binom{2m-1}{m-1}], mm odd. Our new proof is based on the uniqueness of [(2mm1),2m1,(2m1m1)][\binom{2m}{m-1}, 2m-1, \binom{2m-1}{m-1}] under equivalence operation, where an explicit-form representation is proposed to help the proof. Then, by proving it's impossible to add an extra orthogonal column on COD [(2mm1),2m1,(2m1m1)][\binom{2m}{m-1}, 2m-1, \binom{2m-1}{m-1}] when mm is odd, we complete the proof of the nonexistence of COD [(2mm1),2m,(2m1m1)][\binom{2m}{m-1}, 2m, \binom{2m-1}{m-1}].

Keywords

Cite

@article{arxiv.1109.2891,
  title  = {On the nonexistence of $[\binom{2m}{m-1}, 2m, \binom{2m-1}{m-1}]$, $m$ odd, complex orthogonal design},
  author = {Yuan Li and Haibin Kan},
  journal= {arXiv preprint arXiv:1109.2891},
  year   = {2011}
}