How easy is code equivalence over Fq?
Résumé
The linear code equivalence problem is to decide whether two linear codes over F_q are identical up to a linear isometry of the Hamming space. The support splitting algorithm runs in polynomial time for all but a negligible proportion of all linear codes, and solves the latter problem by recovering the isometry when it is just a permutation of the code support. While for a binary alphabet isometries are exactly the permutations, this is not true for q>2. We explore in this paper, a generalization of the support splitting algorithm where we aim to retrieve any isometry between equivalent codes. Our approach is twofold; first we reduce the problem of deciding the equivalence of linear codes to an instance of permutation equivalence. To this end, we introduce the notion of the closure of a code and give some of its properties. In the aftermath, we exhibit how this algorithm can be adapted for q=3 and q=4, where its complexity is polynomial for almost all of its instances. Although the aforementioned reduction seems attractive, when q>4 the closure reduces the instances of the linear code equivalence problem to exactly those few instances of permutation equivalence that were hard for the support splitting algorithm. Finally, we argue that for q>4 the linear code equivalence problem might be hard for almost all instances.
Domaines
Cryptographie et sécurité [cs.CR]Origine | Fichiers produits par l'(les) auteur(s) |
---|
Loading...