Proof of a conjecture of McEliece regarding the expansion index of the minimal trellis

  • Authors:
  • A. Vardy;F. R. Kschischang

  • Affiliations:
  • Coordinated Sci. Lab., Illinois Univ., Urbana, IL;-

  • Venue:
  • IEEE Transactions on Information Theory - Part 1
  • Year:
  • 2006

Quantified Score

Hi-index 0.00

Visualization

Abstract

We prove a conjecture of McEliece, establishing that for each fixed order of positions of a linear code C, the minimal trellis minimizes the quantity |E|-|V|+1, where |E| and |V| stand for the number of edges and vertices in the trellis, respectively. As a consequence, it follows that the minimal trellis uniquely minimizes the total number of operations required for Viterbi decoding of a given code. Moreover, we show that these results extend to the general class of rectangular codes (namely, the class of codes that admit a biproper trellis presentation), which includes all group codes and many other useful nonlinear codes