Canonical Forms and Automorphisms in the Projective Space

Let $\C$ be a sequence of multisets of subspaces of a vector space $\F_q^k$. We describe a practical algorithm which computes a canonical form and the stabilizer of $\C$ under the group action of the general semilinear group. It allows us to solve canonical form problems in coding theory, i.e. we are able to compute canonical forms of linear codes, $\F_{q}$-linear block codes over the alphabet $\F_{q^s}$ and random network codes under their natural notion of equivalence. The algorithm that we are going to develop is based on the partition refinement method and generalizes a previous work by the author on the computation of canonical forms of linear codes.

[1]  B. D. Mckay,et al.  Practical graph isomorphism, Numerical mathematics and computing, Proc. 10th Manitoba Conf., Winnipeg/Manitoba 1980 , 1981 .

[2]  Thomas Feulner Canonization of linear codes over ℤ4 , 2011, Adv. Math. Commun..

[3]  Adolfo Piperno,et al.  Search Space Contraction in Canonical Labeling of Graphs (Preliminary Version) , 2008, ArXiv.

[4]  Satoshi Yoshiara Dimensional dual hyperovals associated with quadratic APN functions , 2008 .

[5]  Jeffrey S. Leon,et al.  Computing automorphism groups of error-correcting codes , 1982, IEEE Trans. Inf. Theory.

[6]  R. Laue Constructing Objects up to Isomorphism, Simple 9-Designs with Small Parameters , 2001 .

[7]  A. Kerber,et al.  Error-correcting linear codes : classification by isometry and applications , 2006 .

[8]  Frank R. Kschischang,et al.  Coding for Errors and Erasures in Random Network Coding , 2007, IEEE Transactions on Information Theory.

[9]  Ulrich Dempwolff,et al.  Dimensional dual hyperovals and APN functions with translation groups , 2014 .

[10]  Alexei E. Ashikhmin,et al.  Nonbinary quantum stabilizer codes , 2001, IEEE Trans. Inf. Theory.

[11]  Thomas Feulner The automorphism groups of linear codes and canonical representatives of their semilinear isometry classes , 2009, Adv. Math. Commun..

[12]  Erez Petrank,et al.  Is code equivalence easy to decide? , 1997, IEEE Trans. Inf. Theory.

[13]  Frank R. Kschischang,et al.  Coding for Errors and Erasures in Random Network Coding , 2008, IEEE Trans. Inf. Theory.

[14]  Joachim Rosenthal,et al.  Cyclic Orbit Codes , 2011, IEEE Transactions on Information Theory.