Strongly's superregular Toeplitz matrix conjecture and MDP convolutional code bound

At least 7 years old · documented by

Let cgammacgamma be an integer with cgammadagger5cgamma dagger 5. A matrix is superregular Toeplitz if it is both superregular and Toeplitz. Let nn, kk, and cdeltacdelta be convolutional-code parameters, let LL be the associated parameter, and let rr be the remainder of cdeltacdelta upon division by n−kn-k.

Strongly's conjecture. For cgamma≥5cgamma\geq 5, there is a cgamma\timescgammacgamma\timescgamma superregular Toeplitz matrix over cmathbbF2cgamma−2cmathbb F_{2^{cgamma-2}}. Moreover, an (n,k,cdelta)(n,k,cdelta) MDP convolutional code exists over a finite field cmathbbFcmathbb F satisfying

∣cmathbbF∣≥2(L+1)(n−1)−2|cmathbb F|\geq 2^{(L+1)(n-1)-2}

or

∣cmathbbF∣≥2(L+1)(n−1)+k+r−3|cmathbb F|\geq 2^{(L+1)(n-1)+k+r-3}

as r=0r=0 or r≠0r\neq 0, respectively.

This conjecture would improve the previously known field-size bound for the existence of MDP convolutional codes by asserting a construction of superregular Toeplitz matrices over smaller fields. Its resolution is not supplied in the source material.

References

Primary source

Julia Lieb, “Necessary Field Size and Probability for MDP and Complete MDP Convolutional Codes”, arXiv:1808.03074 (2018).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.