Linear complementary dual codes (or codes with complementary duals) are codes whose intersections with their dual codes are trivial. We study binary linear complementary dual $[n,k]$ codes with the largest minimum weight among all binary linear complementary dual $[n,k]$ codes. We characterize binary linear complementary dual codes with the largest minimum weight for small dimensions. A complete classification of binary linear complementary dual $[n,k]$ codes with the largest minimum weight is also given for $1 \le k \le n \le 16$.
We show that any ternary Euclidean (resp.\ quaternary Hermitian) linear complementary dual $[n,k]$ code contains a Euclidean (resp.\ Hermitian) linear complementary dual $[n,k-1]$ subcode for $2 \le k \le n$. As a consequence, we derive a bound on the largest minimum weights among ternary Euclidean linear complementary dual codes and quaternary Hermitian linear complementary dual codes.
We give a complete classification of binary linear complementary dual codes of lengths up to $13$ and ternary linear complementary dual codes of lengths up to $10$.
Linear complementary dual codes (or codes with complementary duals) are codes whose intersections with their dual codes are trivial. We study the largest minimum weight $d(n,k)$ among all binary linear complementary dual $[n,k]$ codes. We determine $d(n,4)$ for $n \equiv 2,3,4,5,6,9,10,13 \pmod{15}$, and $d(n,5)$ for $n \equiv 3,4,5,7,11,19,20,22,26 \pmod{31}$. Combined with known results, the values $d(n,k)$ are also determined for $n \le 24$.
The largest minimum weights among quaternary Hermitian linear complementary dual codes are known for dimension $2$. In this paper, we give some conditions for the nonexistence of quaternary Hermitian linear complementary dual codes with large minimum weights. As an application, we completely determine the largest minimum weights for dimension $3$, by using a classification of some quaternary codes. In addition, for a positive integer $s$, a maximal entanglement entanglement-assisted quantum $[[21s+5,3,16s+3;21s+2]]$ codes is constructed for the first time from a quaternary Hermitian linear com…
We establish the existence of optimal maximal entanglement entanglement-assisted quantum $[[n,k,d;n-k]]_2$ codes for $(n,k,d)=(14,6,7)$, $(15,7,7)$, $(17,6,9)$, $(17,7,8)$, $(19,7,9)$ and $(20,7,10)$. These codes are obtained from quaternary Hermitian linear complementary dual codes. We also give some observation on the largest minimum weights.
Hermitian linear complementary dual codes are linear codes whose intersection with their Hermitian dual code is trivial. The largest minimum weight among quaternary Hermitian linear complementary dual codes of dimension $2$ is known for each length. We give the complete classification of optimal quaternary Hermitian linear complementary dual codes of dimension $2$.
For $k \ge 2$ and a positive integer $d_0$, we show that if there exists no quaternary Hermitian linear complementary dual $[n,k,d]$ code with $d \ge d_0$ and Hermitian dual distance greater than or equal to $2$, then there exists no quaternary Hermitian linear complementary dual $[n,k,d]$ code with $d \ge d_0$ and Hermitian dual distance $1$. As a consequence, we generalize a result by Araya, Harada and Saito on the nonexistence of some quaternary Hermitian linear complementary dual codes.
Let PCS_p^N denote a set of p binary sequences of length N such that the sum of their periodic auto-correlation functions is a delta-function. In the 1990, Boemer and Antweiler addressed the problem of constructing such sequences. They presented a table covering the range p <= 12, N <= 50 and showing in which cases it was known at that time whether such sequences exist, do not exist, or the question of existence is undecided. The number of undecided cases was rather large. Subsequently the number of undecided cases was reduced to 26 by the author. In the present note, several cyclic difference…
In this work, we generalize the four circulant construction for self-dual codes. By applying the constructions over the alphabets F_2, F_2 + uF_2, F_4+uF_4, we were able to obtain extremal binary self-dual codes of lengths 40, 64 including new extremal binary self-dual codes of length 68. More precisely, 43 new extremal binary self-dual codes of length 68, with rare new parameters have been constructed.
We introduce an altered version of the four circulant construction over group rings for self-dual codes. We consider this construction over the binary field, the rings F_2 + uF_2 and F_4 + uF_4; using groups of order 3, 7, 9, 13, and 15. Through these constructions and their extensions, we find binary self-dual codes of lengths 32, 40, 56, 64, 68 and 80, all of which are extremal or optimal. In particular, we find five new self-dual codes of parameters [56, 28, 10], twenty-three extremal binary self-dual codes of length 68 with new weight enumerators and fifteen new self-dual codes of paramete…
In this work, quadratic double and quadratic bordered double circulant constructions are applied to F_4 + uF_4 as well as F_4, as a result of which extremal binary self-dual codes of length 56 and 64 are obtained. The binary extension theorems as well as the ring extension version are used to obtain 7 extremal self-dual binary codes of length 58, 24 extremal self-dual binary codes of length 66 and 29 extremal self-dual binary codes of length 68, all with new weight enumerators, updating the list of all the known extremal self-dual codes in the literature.
We consider (symmetric, non-degenerate) bilinear spaces over a finite field and investigate the properties of their $\ell$-complementary subspaces, i.e., the subspaces that intersect their dual in dimension $\ell$. This concept generalizes that of a totally isotropic subspace and, in the context of coding theory, specializes to the notions of self-orthogonal, self-dual and linear-complementary-dual (LCD) codes. In this paper, we focus on the enumerative and asymptotic combinatorics of all these objects, giving formulas for their numbers and describing their typical behavior (rather than the be…
We provide a search method for Legendre pairs of composite length based on generating binary matrices with fixed row and column sums from compressed, complementary integer vectors. This approach yielded the first construction of a Legendre pair of length $77$, as well as the first exhaustive generation of Legendre pairs of length $55$.
In 2002, Tonchev first constructed some linear binary codes defined by the adjacency matrices of undirected graphs. So, graph is an important tool for searching optimum codes. In this paper, we introduce a new method of searching (proposed) optimum formally self-dual linear binary codes from circulant graphs.
In this work, connected cubic planar bipartite graphs and related binary self-dual codes are studied. Binary self-dual codes of length 16 are obtained by face-vertex incidence matrices of these graphs. By considering their lifts to the ring R_2 new extremal binary self-dual codes of lengths 64 are constructed as Gray images. More precisely, we construct 15 new codes of length 64. Moreover, 10 new codes of length 66 were obtained by applying a building-up construction to the binary codes. Codes with these weight enumerators are constructed for the first time in the literature. The results are t…
In this work, we apply the idea of composite matrices arising from group rings to derive a number of different techniques for constructing self-dual codes over finite commutative Frobenius rings. By applying these techniques over different alphabets, we construct best known singly-even binary self-dual codes of lengths 80, 84 and 96 as well as doubly-even binary self-dual codes of length 96 that were not known in the literature before.
All binary self-dual [44,22,8] codes with an automorphism of order 3 or 7 are classified. In this way we complete the classification of extremal self-dual codes of length 44 having an automorphism of odd prime order.
In this work, new construction methods for self-dual codes are given. The methods use the short Kharaghani array and a variation of it. These are applicable to any commutative Frobenius ring. We apply the constructions over the ring F_2 + uF_2 and self-dual Type I [64, 32, 12]_2-codes with various weight enumerators obtained as Gray images. By the use of an extension theorem for self-dual codes we were able to construct 27 new extremal binary self-dual codes of length 68. The existence of the extremal binary self-dual codes with these weight enumerators was previously unknown.
In this note, we demonstrate that every binary doubly even self-dual code of length $40$ can be realized as the residue code of some extremal Type II $\mathbb{Z}_4$-code. As a consequence, it is shown that there are at least $94356$ inequivalent extremal Type II $\mathbb{Z}_4$-codes of length $40$.
Linear complementary dual codes (or codes with complementary duals) are codes whose intersections with their dual codes are trivial. These codes were first introduced by Massey in 1964. Nowadays, LCD codes are extensively studied in the literature and widely applied in data storage, cryptography, etc. In this paper, we prove some properties of binary LCD codes using their shortened and punctured codes. We also present some inequalities for the largest minimum weight $d_{LCD}(n,k)$ of binary LCD [n,k] codes for given length n and dimension k. Furthermore, we give two tables with the values of $…
Let $\mathbb{F}_q$ denote the finite field of order $q,$ $n$ be a positive integer coprime to $q$ and $t \geq 2$ be an integer. In this paper, we enumerate all the complementary-dual cyclic $\mathbb{F}_q$-linear $\mathbb{F}_{q^t}$-codes of length $n$ by placing $\ast$, ordinary and Hermitian trace bilinear forms on $\mathbb{F}_{q^t}^n.$
In this work, we define a modification of a bordered construction for self-dual codes which utilises $λ$-circulant matrices. We provide the necessary conditions for the construction to produce self-dual codes over finite commutative Frobenius rings of characteristic 2. Using the modified construction together with the neighbour construction, we construct many binary self-dual codes of lengths 54, 68, 82 and 94 with weight enumerators that have previously not been known to exist.
The purpose of this paper is to complete the classification of binary self-dual [48,24,10] codes with an automorphism of odd prime order. We prove that if there is a self-dual [48, 24, 10] code with an automorphism of type p-(c,f) with p being an odd prime, then p=3, c=16, f=0. By considering only an automorphism of type 3-(16,0), we prove that there are exactly 264 inequivalent self-dual [48, 24, 10] codes with an automorphism of odd prime order, equivalently, there are exactly 264 inequivalent cubic self-dual [48, 24, 10] codes.
In this work, we give a new technique for constructing self-dual codes over commutative Frobenius rings using $λ$-circulant matrices. The new construction was derived as a modification of the well-known four circulant construction of self-dual codes. Applying this technique together with the building-up construction, we construct singly-even binary self-dual codes of lengths 56, 58, 64, 80 and 92 that were not known in the literature before. Singly-even self-dual codes of length 80 with $β\in\{2,4,5,6,8\}$ in their weight enumerators are constructed for the first time in the literature.
An efficient algorithm for classification of binary self-dual codes is presented. As an application, a complete classification of the self-dual codes of length 38 is given.
We give a classification of four-circulant singly even self-dual $[60,30,d]$ codes for $d=10$ and $12$. These codes are used to construct extremal singly even self-dual $[60,30,12]$ codes with weight enumerator for which no extremal singly even self-dual code was previously known to exist. From extremal singly even self-dual $[60,30,12]$ codes, we also construct extremal singly even self-dual $[58,29,10]$ codes with weight enumerator for which no extremal singly even self-dual code was previously known to exist. Finally, we give some restriction on the possible weight enumerators of certain si…
In this paper, we present a new bordered construction for self-dual codes which employs $λ$-circulant matrices. We give the necessary conditions for our construction to produce self-dual codes over a finite commutative Frobenius ring of characteristic 2. Moreover, using our bordered construction together with the well-known building-up and neighbour methods, we construct many binary self-dual codes of lengths 56, 62, 78, 92 and 94 with parameters in their weight enumerators that were not known in the literature before.
The notion of quasi $f$-ideals was first presented in $[14]$ which generalize the idea of $f$-ideals. In this paper, we give the complete characterization of quasi $f$-ideals of degree greater or equal to $2$. Additionally, we show that the property of being quasi $f$-ideals remains the same after taking the Newton complementary dual of a squarefree monomial ideal $I$ provided that the minimal generating set of $I$ is perfect.
In this work, we propose a modified four circulant construction for self-dual codes and a bordered version of the construction using the properties of λ-circulant and λ-reverse circulant matrices. By using the constructions on $F_2$, we obtain new binary codes of lengths 64 and 68. We also apply the constructions to the ring $R_2$ and considering the $F_2$ and $R_1$-extensions, we obtain new singly-even extremal binary self-dual codes of lengths 66 and 68. More precisely, we find 3 new codes of length 64, 15 new codes of length 66 and 22 new codes of length 68. These codes all have weight enum…
A classical result of Conway and Pless is that a natural projection of the fixed code of an automorphism of odd prime order of a self-dual binary linear code is self-dual. In this paper we prove that the same holds for involutions under some (quite strong) conditions on the codes. In order to prove it, we introduce a new family of binary codes: the semi self-dual codes. A binary self-orthogonal code is called semi self-dual if it contains the all-ones vector and is of codimension 2 in its dual code. We prove upper bounds on the dual distance of semi self-dual codes. As an application we get th…
A complete classification of binary doubly even self-dual codes of length 40 is given. As a consequence, a classification of binary extremal self-dual codes of length 38 is also given.
A square-free monomial ideal $I$ of $k[x_1,\ldots,x_n]$ is said to be an $f$-ideal if the facet complex and non-face complex associated with $I$ have the same $f$-vector. We show that $I$ is an $f$-ideal if and only if its Newton complementary dual $\widehat{I}$ is also an $f$-ideal. Because of this duality, previous results about some classes of $f$-ideals can be extended to a much larger class of $f$-ideals. An interesting by-product of our work is an alternative formulation of the Kruskal-Katona theorem for $f$-vectors of simplicial complexes.
We give two methods for constructing many linear complementary dual (LCD for short) codes from a given LCD code, by modifying some known methods for constructing self-dual codes. Using the methods, we construct binary LCD codes and quaternary Hermitian LCD codes, which improve the previously known lower bound on the largest minimum weights.
We give a short and elementary proof of the fact that for a linear complementary pair $(C,D)$, where $C$ and $D$ are $2$-sided ideals in a group algebra, $D$ is uniquely determined by $C$ and the dual code $D^\perp$ is permutation equivalent to $C$. This includes earlier results of Carlet et al. and Güneri et al. on nD cyclic codes which have been proved by subtle and lengthy calculations in the space of polynomials.
We introduce a modular (integral) complementary polynomial $κ(G;x,y)$ ($κ_{\mathbbm z}(G;x,y)$) of two variables of a graph $G$ by counting the number of modular (integral) complementary tension-flows (CTF) of $G$ with an orientation $ε$. We study these polynomials by further introducing a cut-Eulerian equivalence relation on orientations and geometric structures such as the complementary open lattice polyhedron $Δ_\textsc{ctf}(G,ε)$, the complementary open 0-1 polytope $Δ^+_\textsc{ctf}(G,ε)$, and the complementary open lattice polytopes $Δ^ρ_\textsc{ctf}(G,ε)$ with respect to orientations $ρ…
A new generalization of the Gray map is introduced. The new generalization $Φ: Z_{2^k}^n \to Z_{2}^{2^{k-1}n}$ is connected with the known generalized Gray map $ϕ$ in the following way: if we take two dual linear $Z_{2^k}$-codes and construct binary codes from them using the generalizations $ϕ$ and $Φ$ of the Gray map, then the weight enumerators of the binary codes obtained will satisfy the MacWilliams identity. The classes of $Z_{2^k}$-linear Hadamard codes and co-$Z_{2^k}$-linear extended 1-perfect codes are described, where co-$Z_{2^k}$-linearity means that the code can be obtained from a …
Let D be the support design of the minimum weight of an extremal binary doubly even self-dual [24m,12m,4m+4] code. In this note, we consider the case when D becomes a t-design with t \geq 6.
Using the method for constructing binary self-dual codes with an automorphism of order square of a prime number we have classified all binary self-dual codes with length 76 having minimum distance $d=14$ and automorphism of order 9. Up to equivalence, there are six self-dual $[76, 38, 14]$ codes with an automorphism of type $9$-$(8,0,4)$. All codes obtained have new values of the parameter in their weight enumerator thus more than doubling the number of known values.
Fomin (1994) introduced a notion of duality between two graded graphs on the same set of vertices. He also introduced a generalization to dual graded graphs of the classical Robinson-Schensted-Knuth algorithm. We show how Fomin's approach applies to the binary search tree insertion algorithm also known as sylvester insertion, and to the hypoplactic insertion algorithm.
A complementary Gray code for binary n-tuples is one that, when all the tuples are complemented, is identical to itself; this is equivalent to the complement of the first half of the code being identical to the second half. We generalize the notion of complementary to q-ary n-tuples, fixed size combinations of an n-set and permutations and, in each case, construct complementary Gray codes. We relax, as weakly as possible, the notions of complementary to cases where necessary conditions for existence are violated and construct Gray codes within the weakened definitions: these include binary n-t…
Let C be an extremal binary doubly even self-dual code of length n and s(C) denote the largest integer t such that the support design of C holds a t-design for some weight. In this paper, we prove s(C) \leq 7.
In this work, we introduce the concept of distance between self-dual codes, which generalizes the concept of a neighbor for self-dual codes. Using the k-neighbors, we are able to construct extremal binary self-dual codes of length 68 with new weight enumerators. We construct 143 extremal binary self-dual codes of length 68 with new weight enumerators including 42 codes with gamma=8 in their W_{68,2} and 40 with gamma=9 in their W_{68,2}. These examples are the first in the literature for these gamma values. This completes the theoretical list of possible values for gamma in W_{68,2}.
It has been proven in a series of works that the order of the automorphism group of a binary [72,36,16] code does not exceed five. We obtain a parametrization of all self-dual binary codes of length 72 with automorphism of order 4 which can be extremal. We use extensive computations in MAGMA and on a supercomputer to show that an extremal binary code of length 72 does not have an element of order 4.
In this paper we construct binary self-dual codes using the étale cohomology of $\mathbb{Z}/2$ on the spectra of rings of $S$-integers of global fields. We will show that up to equivalence, all self-dual codes of length at least 4 arise from Hilbert pairings on rings of $S$-integers of $\Q$. This is an arithmetic counterpart of a result of Kreck and Puppe, who used cobordism theory to show that all self-dual codes arise from Poincaré duality on real three manifolds.
We explore the connection between simple polytopes and self-dual binary codes via the theory of small covers. We first show that a small cover $M^n$ over a simple $n$-polytope $P^n$ produces a self-dual code in the sense of Kreck-Puppe if and only if $P^n$ is $n$-colorable and $n$ is odd. Then we show how to describe such a self-dual binary code in terms of the combinatorial information of $P^n$. Moreover, we can define a family of binary codes $\mathfrak{B}_k(P^n)$, $0\leq k\leq n$, from an arbitrary simple $n$-polytope $P^n$. We will give some necessary and sufficient conditions for $\mathfr…
In this paper, we construct self-dual codes from a construction that involves both block circulant matrices and block quadratic residue circulant matrices. We provide conditions when this construction can yield self-dual codes. We construct self-dual codes of various lengths over F2 and F2 + uF2. Using extensions, neighbours and sequences of neighbours, we construct many new self-dual codes. In particular, we construct one new self-dual code of length 66 and 51 new self-dual codes of length 68.
We consider some applications of our characterisation of the internally 4-connected binary matroids with no M(K3,3)-minor. We characterise the internally 4-connected binary matroids with no minor in some subset of {M(K3,3),M*(K3,3),M(K5),M*(K5)} that contains either M(K3,3) or M*(K3,3). We also describe a practical algorithm for testing whether a binary matroid has a minor in the subset. In addition we characterise the growth-rate of binary matroids with no M(K3,3)-minor, and we show that a binary matroid with no M(K3,3)-minor has critical exponent over GF(2) at most equal to four.
In this work, we introduce new construction methods for self-dual codes using a Baumert-Hall array. We apply the constructions over the alphabets F_2 and F_4 + uF_4 and combine them with extension theorems and neighboring constructions. As a result, we construct 46 new extremal binary self-dual codes of length 68, 26 new best known Type II codes of length 72 and 8 new extremal Type II codes of length 80 that lead to new 3-(80,16,665) designs. Among the new codes of length 68 are the examples of codes with the rare γ= 5 parameter in W68;2. All these new codes are tabulated in the paper.
We prove a recent conjecture of Duchêne and Rigo, stating that every complementary pair of homogeneous Beatty sequences represents the solution to an \emph{invariant} impartial game. Here invariance means that each available move in a game can be played anywhere inside the game-board. In fact, we establish such a result for a wider class of pairs of complementary sequences, and in the process generalize the notion of a \emph{subtraction game}. Given a pair of complementary sequences $(a_n)$ and $(b_n)$ of positive integers, we define a game $G$ by setting $\{\{a_n, b_n\}\}$ as invariant moves.…
We consider the positions of occurrences of a factor $x$ and its binary complement $\overline{x}$ in the Thue-Morse word ${\bf t} = {\tt 01101001} \cdots$, and show that these occurrences are "intertwined" in essentially two different ways. Our proof method consists of stating the needed properties as a first-order logic formula $φ$, and then using a theorem-prover to prove $φ$.
We prove that an automorphism of order 3 of a putative binary self-dual [120, 60, 24] code C has no fixed points. Moreover, the order of the automorphism group of C divides 2^a.3.5.7.19.23.29 where a is a nonegative integer. Automorphisms of odd composite order r may occur only for r=15, 57 or r=115 with corresponding cycle structures 15-(0,0,8;0), 57-(2,0,2;0) or 115-(1,0,1;0), respectively. In case that all involutions act fixed point freely we have |Aut(C)|<=920, and Aut(C) is solvable if it contains an element of prime order p>=7. Moreover, the alternating group A_5 is the only non-abelian…
