How easy is code equivalence over F q ?
نویسندگان
چکیده
The linear code equivalence problem is to decide whether two linear codes over Fq are identical up to a linear isometry of the Hamming space. The support splitting algorithm [23] 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 ≥ 3. We give 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, 4}, where its complexity is polynomial for almost all of its instances. Although the aforementioned reduction seems attractive, when q ≥ 5 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 ≥ 5 the linear code equivalence problem might be hard for almost all instances and we elaborate on the various complexity problems.
منابع مشابه
How easy is code equivalence over F q ? * Extended
The linear code equivalence problem is to decide whether two linear codes over Fq are identical up to a linear isometry of the Hamming space. The support splitting algorithm [25] 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 i...
متن کاملIsotropic Constant Dimension Subspace Codes
In network code setting, a constant dimension code is a set of k-dimensional subspaces of F nq . If F_q n is a nondegenerated symlectic vector space with bilinear form f, an isotropic subspace U of F n q is a subspace that for all x, y ∈ U, f(x, y) = 0. We introduce isotropic subspace codes simply as a set of isotropic subspaces and show how the isotropic property use in decoding process, then...
متن کاملLCD codes over ${\mathbb F}_q $ are as good as linear codes for q at least four
The hull H(C) of a linear code C is defined by H(C) = C ∩ C⊥. A linear code with a complementary dual (LCD) is a linear code with H(C) = {0}. The dimension of the hull of a code is an invariant under permutation equivalence. For binary and ternary codes the dimension of the hull is also invariant under monomial equivalence and we show that this invariant is determined by the extended weight enu...
متن کاملAbout the code equivalence
In this paper, we consider the algorithm for equivalence which is implemented in the current version of the package Q − Extension [3]. Mainly, this package can be used for classification of linear codes over small fields. Actually, we reduce, as many other algorithms do, the equivalence test for linear codes to a test for isomorphism of binary matrices or bipartite graphs. This allows us to use...
متن کاملALGEBRAIC INDEPENENCE OF CERTAIN FORMAL POWER SERIES (II)
We shall extend the results of [5] and prove that if f = Z o a x ? Z [[X]] is algebraic over Q (x), where a = 1, ƒ 1 and if ? , ? ,..., ? are p-adic integers, then 1 ? , ? ,..., ? are linkarly independent over Q if and only if (1+x) ,(1+x) ,…,(1+x) are algebraically independent over Q (x) if and only if f , f ,.., f are algebraically independent over Q (x)
متن کامل