Showing 1–12 of 12 results for author: Dougherty, S T

Group LCD and Group Reversible LCD Codes

Authors: Steven T. Dougherty, Joe Gildea, Adrian Korban, Adam M. Roberts

Abstract: In this paper, we give a new method for constructing LCD codes. We employ group rings and a well known map that sends group ring elements to a subring of the $n \times n$ matrices to obtain LCD codes. Our construction method guarantees that our LCD codes are also group codes, namely, the codes are ideals in a group ring. We show that with a certain condition on the group ring element $v,$ one can… ▽ More In this paper, we give a new method for constructing LCD codes. We employ group rings and a well known map that sends group ring elements to a subring of the $n \times n$ matrices to obtain LCD codes. Our construction method guarantees that our LCD codes are also group codes, namely, the codes are ideals in a group ring. We show that with a certain condition on the group ring element $v,$ one can construct non-trivial group LCD codes. Moreover, we also show that by adding more constraints on the group ring element $v,$ one can construct group LCD codes that are reversible. We present many examples of binary group LCD codes of which some are optimal and group reversible LCD codes with different parameters. △ Less

Submitted 11 August, 2021; originally announced August 2021.

Comments: 17 pages

MSC Class: 94B05

Composite Matrices from Group Rings, Composite G-Codes and Constructions of Self-Dual Codes

Authors: Steven T. Dougherty, Joe Gildea, Adrian Korban, Abidin Kaya

Abstract: In this work, we define composite matrices which are derived from group rings. We extend the idea of G-codes to composite G-codes. We show that these codes are ideals in a group ring, where the ring is a finite commutative Frobenius ring and G is an arbitrary finite group. We prove that the dual of a composite G-code is also a composite G-code. We define quasi-composite G-codes and give a construc… ▽ More In this work, we define composite matrices which are derived from group rings. We extend the idea of G-codes to composite G-codes. We show that these codes are ideals in a group ring, where the ring is a finite commutative Frobenius ring and G is an arbitrary finite group. We prove that the dual of a composite G-code is also a composite G-code. We define quasi-composite G-codes and give a construction of these codes. We also study generator matrices, which consist of the identity matrices and the composite matrices. Together with the generator matrices, the well known extension method, the neighbour method and its generalization, we find extremal binary self-dual codes of length 68 with new weight enumerators for the rare parameters gamma=7,8 and 9. In particular, we find 49 new such codes. Moreover, we show that the codes we find are inaccessible from other constructions. △ Less

Submitted 26 February, 2020; originally announced February 2020.

Comments: 33 pages

MSC Class: 94B05; 16S34

Rank and Kernel of $\mathbb{F}_p$-Additive Generalised Hadamard Codes

Authors: Steven T. Dougherty, Josep Rifà, Mercè Villanueva

Abstract: A subset of a vector space $\mathbb{F}_q^n$ is $K$-additive if it is a linear space over the subfield $K\subseteq \mathbb{F}_q$. Let $q=p^e$, $p$ prime, and $e>1$. Bounds on the rank and dimension of the kernel of generalised Hadamard (GH) codes which are $\mathbb{F}_p$-additive are established. For specific ranks and dimensions of the kernel within these bounds, $\mathbb{F}_p$-additive GH codes a… ▽ More A subset of a vector space $\mathbb{F}_q^n$ is $K$-additive if it is a linear space over the subfield $K\subseteq \mathbb{F}_q$. Let $q=p^e$, $p$ prime, and $e>1$. Bounds on the rank and dimension of the kernel of generalised Hadamard (GH) codes which are $\mathbb{F}_p$-additive are established. For specific ranks and dimensions of the kernel within these bounds, $\mathbb{F}_p$-additive GH codes are constructed. Moreover, for the case $e=2$, it is shown that the given bounds are tight and it is possible to construct an $\mathbb{F}_p$-additive GH code for all allowable ranks and dimensions of the kernel between these bounds. Finally, we also prove that these codes are self-orthogonal with respect to the trace Hermitian inner product, and generate pure quantum codes. △ Less

Submitted 30 January, 2020; originally announced January 2020.

On Z2Z4-additive complementary dual codes and related LCD codes

Authors: Nasreddine Benbelkacem, Joaquim Borges, Steven T. Dougherty, Cristina Fernández-Córdoba

Abstract: Linear complementary dual codes were defined by Massey in 1992, and were used to give an optimum linear coding solution for the two user binary adder channel. In this paper, we define the analog of LCD codes over fields in the ambient space with mixed binary and quaternary alphabets. These codes are additive, in the sense that they are additive subgroups, rather than linear as they are not vector… ▽ More Linear complementary dual codes were defined by Massey in 1992, and were used to give an optimum linear coding solution for the two user binary adder channel. In this paper, we define the analog of LCD codes over fields in the ambient space with mixed binary and quaternary alphabets. These codes are additive, in the sense that they are additive subgroups, rather than linear as they are not vector spaces over some finite field. We study the structure of these codes and we use the canonical Gray map from this space to the Hamming space to construct binary LCD codes in certain cases. △ Less

Submitted 19 March, 2019; originally announced March 2019.

MSC Class: 94B25; 94B60

Z2Z4-Additive Cyclic Codes: Kernel and Rank

Authors: J. Borges, S. T. Dougherty, C. Fernández-Córdoba, R. Ten-Valls

Abstract: A Z2Z4-additive code C subset of Z_2^alpha x Z_4^beta is called cyclic if the set of coordinates can be partitioned into two subsets, the set of Z_2 and the set of Z_4 coordinates, such that any cyclic shift of the coordinates of both subsets leaves the code invariant. Let Phi(C) be the binary Gray image of C. We study the rank and the dimension of the kernel of a Z2Z4-additive cyclic code C, that… ▽ More A Z2Z4-additive code C subset of Z_2^alpha x Z_4^beta is called cyclic if the set of coordinates can be partitioned into two subsets, the set of Z_2 and the set of Z_4 coordinates, such that any cyclic shift of the coordinates of both subsets leaves the code invariant. Let Phi(C) be the binary Gray image of C. We study the rank and the dimension of the kernel of a Z2Z4-additive cyclic code C, that is, the dimensions of the binary linear codes <Phi(C)> and ker(Phi(C)). We give upper and lower bounds for these parameters. It is known that the codes <Phi(C)> and ker(Phi(C)) are binary images of Z2Z4-additive codes R(C) and K(C), respectively. Moreover, we show that R(C) and K(C) are also cyclic and we determine the generator polynomials of these codes in terms of the generator polynomials of the code C. △ Less

Submitted 16 January, 2018; v1 submitted 10 November, 2017; originally announced November 2017.

Comments: arXiv admin note: text overlap with arXiv:1707.03214

$Θ_S-$cyclic codes over $A_k$

Authors: Irwansyah, Aleams Barra, Steven T. Dougherty, Ahmad Muchlis, Intan Muchtadi-Alamsyah, Patrick Solé, Djoko Suprijanto, Olfa Yemen

Abstract: We study $Θ_S-$cyclic codes over the family of rings $A_k.$ We characterize $Θ_S-$cyclic codes in terms of their binary images. A family of Hermitian inner-products is defined and we prove that if a code is $Θ_S-$cyclic then its Hermitian dual is also $Θ_S-$cyclic. Finally, we give constructions of $Θ_S-$cyclic codes. We study $Θ_S-$cyclic codes over the family of rings $A_k.$ We characterize $Θ_S-$cyclic codes in terms of their binary images. A family of Hermitian inner-products is defined and we prove that if a code is $Θ_S-$cyclic then its Hermitian dual is also $Θ_S-$cyclic. Finally, we give constructions of $Θ_S-$cyclic codes. △ Less

Submitted 14 July, 2017; originally announced July 2017.

Comments: 23 pages

MSC Class: 94B15

Journal ref: International Journal of Computer Mathematics: Computer Systems Theory Volume 1, 2016 - Issue 1, pp 14-31

Binary Images of Z2Z4-Additive Cyclic Codes

Authors: J. Borges, S. T. Dougherty, C. Fernández-Córdoba, R. Ten-Valls

Abstract: A Z2Z4-additive code C is called cyclic if the set of coordinates can be partitioned into two subsets, the set of Z_2 and the set of Z_4 coordinates, such that any cyclic shift of the coordinates of both subsets leaves the code invariant. We study the binary images of Z2Z4-additive cyclic codes. We determine all Z2Z4-additive cyclic codes with odd beta whose Gray images are linear binary codes. A Z2Z4-additive code C is called cyclic if the set of coordinates can be partitioned into two subsets, the set of Z_2 and the set of Z_4 coordinates, such that any cyclic shift of the coordinates of both subsets leaves the code invariant. We study the binary images of Z2Z4-additive cyclic codes. We determine all Z2Z4-additive cyclic codes with odd beta whose Gray images are linear binary codes. △ Less

Submitted 11 July, 2017; originally announced July 2017.

Constructions of Self-Dual and Formally Self-Dual Codes from Group Rings

Authors: Steven T. Dougherty, Joe Gildea, Rhian Taylor, Alexander Tylyshchak

Abstract: We give constructions of self-dual and formally self-dual codes from group rings where the ring is a finite commutative Frobenius ring. We improve the existing construction given in \cite{Hurley1} by showing that one of the conditions given in the theorem is unnecessary and moreover it restricts the number of self-dual codes obtained by the construction. We show that several of the standard constr… ▽ More We give constructions of self-dual and formally self-dual codes from group rings where the ring is a finite commutative Frobenius ring. We improve the existing construction given in \cite{Hurley1} by showing that one of the conditions given in the theorem is unnecessary and moreover it restricts the number of self-dual codes obtained by the construction. We show that several of the standard constructions of self-dual codes are found within our general framework. We prove that our constructed codes correspond to ideals in the group ring $RG$ and as such must have an automorphism group that contains $G$ as a subgroup. We also prove that a common construction technique for producing self-dual codes cannot produce the putative $[72,36,16]$ Type~II code. Additionally, we show precisely which groups can be used to construct the extremal Type II codes over length 24 and 48. △ Less

Submitted 26 April, 2016; originally announced April 2016.

MSC Class: 94B05; 16S34

Ranks and Kernels of Codes from Generalized Hadamard Matrices

Authors: Steven T. Dougherty, Josep Rifà, Mercè Villanueva

Abstract: The ranks and kernels of generalized Hadamard matrices are studied. It is proven that any generalized Hadamard matrix $H(q,λ)$ over $F_q$, $q>3$, or $q=3$ and $\gcd(3,λ)\not =1$, generates a self-orthogonal code. This result puts a natural upper bound on the rank of the generalized Hadamard matrices. Lower and upper bounds are given for the dimension of the kernel of the corresponding generalized… ▽ More The ranks and kernels of generalized Hadamard matrices are studied. It is proven that any generalized Hadamard matrix $H(q,λ)$ over $F_q$, $q>3$, or $q=3$ and $\gcd(3,λ)\not =1$, generates a self-orthogonal code. This result puts a natural upper bound on the rank of the generalized Hadamard matrices. Lower and upper bounds are given for the dimension of the kernel of the corresponding generalized Hadamard codes. For specific ranks and dimensions of the kernel within these bounds, generalized Hadamard codes are constructed. △ Less

Submitted 30 June, 2015; originally announced June 2015.

Comments: 13 pages Submitted to IEEE-IT

The combinatorics of LCD codes: Linear Programming bound and orthogonal matrices

Authors: Steven T. Dougherty, Jon-Lark Kim, Buket Ozkaya, Lin Sok, Patrick Solé

Abstract: Linear Complementary Dual codes (LCD) are binary linear codes that meet their dual trivially. We construct LCD codes using orthogonal matrices, self-dual codes, combinatorial designs and Gray map from codes over the family of rings $R_k$. We give a linear programming bound on the largest size of an LCD code of given length and minimum distance. We make a table of lower bounds for this combinatoria… ▽ More Linear Complementary Dual codes (LCD) are binary linear codes that meet their dual trivially. We construct LCD codes using orthogonal matrices, self-dual codes, combinatorial designs and Gray map from codes over the family of rings $R_k$. We give a linear programming bound on the largest size of an LCD code of given length and minimum distance. We make a table of lower bounds for this combinatorial function for modest values of the parameters. △ Less

Submitted 5 June, 2015; originally announced June 2015.

Comments: submitted to Linear Algebra and Applications on June, 1, 2015

MSC Class: 94B05; 20H30

The automorphism group of the doubly-even [72,36,16] code can only be of order 1, 3 or 5

Authors: Steven T Dougherty, Suat Karadeniz, Bahattin Yildiz

Abstract: We prove that a putative $[72,36,16]$ code is not the image of linear code over $\ZZ_4$, $\FF_2 + u \FF_2$ or $\FF_2+v\FF_2$, thus proving that the extremal doubly even $[72,36,16]$-binary code cannot have an automorphism group containing a fixed point-free involution. Combining this with the previously proved result by Bouyuklieva that such a code cannot have an automorphism group containing an i… ▽ More We prove that a putative $[72,36,16]$ code is not the image of linear code over $\ZZ_4$, $\FF_2 + u \FF_2$ or $\FF_2+v\FF_2$, thus proving that the extremal doubly even $[72,36,16]$-binary code cannot have an automorphism group containing a fixed point-free involution. Combining this with the previously proved result by Bouyuklieva that such a code cannot have an automorphism group containing an involution with fixed points, we conclude that the automorphism group of the $[72,36,16]$-code cannot be of even order, leaving 3 and 5 as the only possibilities. △ Less

Submitted 25 March, 2013; v1 submitted 20 March, 2013; originally announced March 2013.

Comments: This paper has been withdrawn by the author due to a crucial error in Lemma 2.2 that affects all the results

MSC Class: 94B05

Self-Dual Codes over Z_2xZ_4

Authors: J. Borges, S. T. Dougherty, C. Fernandez-Cordoba

Abstract: Self-dual codes over $\Z_2\times\Z_4$ are subgroups of $\Z_2^α\times\Z_4^β$ that are equal to their orthogonal under an inner-product that relates to the binary Hamming scheme. Three types of self-dual codes are defined. For each type, the possible values $α,β$ such that there exist a code $\C\subseteq \Z_2^α\times\Z_4^β$ are established. Moreover, the construction of a $\add$-linear code for ea… ▽ More Self-dual codes over $\Z_2\times\Z_4$ are subgroups of $\Z_2^α\times\Z_4^β$ that are equal to their orthogonal under an inner-product that relates to the binary Hamming scheme. Three types of self-dual codes are defined. For each type, the possible values $α,β$ such that there exist a code $\C\subseteq \Z_2^α\times\Z_4^β$ are established. Moreover, the construction of a $\add$-linear code for each type and possible pair $(α,β)$ is given. Finally, the standard techniques of invariant theory are applied to describe the weight enumerators for each type. △ Less

Submitted 16 October, 2009; originally announced October 2009.

Comments: Submitted to Designs, Codes and Cryptography