Showing 1–47 of 47 results for author: Gluesing-Luerssen, H

Decompositions of q-Matroids Using Cyclic Flats

Authors: Heide Gluesing-Luerssen, Benjamin Jany

Abstract: We study the direct sum of q-matroids by way of their cyclic flats. Using that the rank function of a q-matroid is fully determined by the cyclic flats and their ranks, we show that the cyclic flats of the direct sum of two q-matroids are exactly all the direct sums of the cyclic flats of the two summands. This simplifies the rank function of the direct sum significantly. A q-matroid is called irr… ▽ More We study the direct sum of q-matroids by way of their cyclic flats. Using that the rank function of a q-matroid is fully determined by the cyclic flats and their ranks, we show that the cyclic flats of the direct sum of two q-matroids are exactly all the direct sums of the cyclic flats of the two summands. This simplifies the rank function of the direct sum significantly. A q-matroid is called irreducible if it cannot be written as a (non-trivial) direct sum. We provide a characterization of irreducibility in terms of the cyclic flats and show that every q-matroid can be decomposed into a direct sum of irreducible q-matroids, which are unique up to equivalence. △ Less

Submitted 22 February, 2023; v1 submitted 4 February, 2023; originally announced February 2023.

$\ell$-Complementary Subspaces and Codes in Finite Bilinear Spaces

Authors: Heide Gluesing-Luerssen, Alberto Ravagnani

Abstract: 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-dua… ▽ More 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 behavior of a single object). For example, we give a closed formula for the average weight distribution of an $\ell$-complementary code in the Hamming metric, generalizing a result by Pless and Sloane on the aggregate weight enumerator of binary self-dual codes. Our results also show that self-orthogonal codes, despite being very sparse in the set of codes of the same dimension over a large field, asymptotically behave quite similarly to a typical, not necessarily self-orthogonal, code. In particular, we prove that most self-orthogonal codes are MDS over a large field by computing the asymptotic proportion of the non-MDS ones for growing field size. △ Less

Submitted 15 December, 2022; originally announced December 2022.

Representability of the Direct Sum of $q$-Matroids

Authors: Heide Gluesing-Luerssen, Benjamin Jany

Abstract: While there are many parallels between matroid theory and $q$-matroid theory, most notably on the level of cryptomorphisms, there are substantial differences when it comes to the direct sum. The direct sum of $q$-matroids has been introduced in the literature only recently. In this short note we show that the direct sum of representable $q$-matroids may not be representable. It remains an open que… ▽ More While there are many parallels between matroid theory and $q$-matroid theory, most notably on the level of cryptomorphisms, there are substantial differences when it comes to the direct sum. The direct sum of $q$-matroids has been introduced in the literature only recently. In this short note we show that the direct sum of representable $q$-matroids may not be representable. It remains an open question whether representability of the direct sum can be characterized by the given $q$-matroids. △ Less

Submitted 22 February, 2023; v1 submitted 21 November, 2022; originally announced November 2022.

Coproducts in Categories of q-Matroids

Authors: Heide Gluesing-Luerssen, Benjamin Jany

Abstract: q-Matroids form the q-analogue of classical matroids. In this paper we introduce various types of maps between q-matroids. These maps are not necessarily linear, but they map subspaces to subspaces and respect the q-matroid structure in certain ways. The various types of maps give rise to different categories of q-matroids. We show that only one of these categories possesses a coproduct. This is t… ▽ More q-Matroids form the q-analogue of classical matroids. In this paper we introduce various types of maps between q-matroids. These maps are not necessarily linear, but they map subspaces to subspaces and respect the q-matroid structure in certain ways. The various types of maps give rise to different categories of q-matroids. We show that only one of these categories possesses a coproduct. This is the category where the morphisms are linear weak maps, that is, the rank of the image of any subspace is not larger than the rank of the subspace itself. The coproduct in this category is the very recently introduced direct sum of q-matroids. △ Less

Submitted 13 March, 2023; v1 submitted 18 November, 2021; originally announced November 2021.

Independent Spaces of q-Polymatroids

Authors: Heide Gluesing-Luerssen, Benjamin Jany

Abstract: This paper is devoted to the study of independent spaces of q-polymatroids. With the aid of an auxiliary q-matroid it is shown that the collection of independent spaces satisfies the same properties as for q-matroids. However, in contrast to q-matroids, the rank value of an independent space does not agree with its dimension. Nonetheless, the rank values of the independent spaces fully determine t… ▽ More This paper is devoted to the study of independent spaces of q-polymatroids. With the aid of an auxiliary q-matroid it is shown that the collection of independent spaces satisfies the same properties as for q-matroids. However, in contrast to q-matroids, the rank value of an independent space does not agree with its dimension. Nonetheless, the rank values of the independent spaces fully determine the q-polymatroid, and this fact can be exploited to derive a cryptomorphism of q-polymatroids. Finally, the notions of minimal spanning spaces, maximally strongly independent spaces, and bases will be elaborated on. △ Less

Submitted 4 May, 2021; originally announced May 2021.

q-Polymatroids and Their Relation to Rank-Metric Codes

Authors: Heide Gluesing-Luerssen, Benjamin Jany

Abstract: It is well known that linear rank-metric codes give rise to q-polymatroids. Analogously to matroid theory one may ask whether a given q-polymatroid is representable by a rank-metric code. We provide an answer by presenting an example of a q-matroid that is not representable by any linear rank-metric code and, via a relation to paving matroids, provide examples of various q-matroids that are not re… ▽ More It is well known that linear rank-metric codes give rise to q-polymatroids. Analogously to matroid theory one may ask whether a given q-polymatroid is representable by a rank-metric code. We provide an answer by presenting an example of a q-matroid that is not representable by any linear rank-metric code and, via a relation to paving matroids, provide examples of various q-matroids that are not representable by F_{q^m}-linear rank-metric codes. We then go on and introduce deletion and contraction for q-polymatroids and show that they are mutually dual and correspond to puncturing and shortening of rank-metric codes. Finally, we introduce a closure operator along with the notion of flats and show that the generalized rank weights of a rank-metric code are fully determined by the flats of the associated q-polymatroid. △ Less

Submitted 10 March, 2022; v1 submitted 13 April, 2021; originally announced April 2021.

Automorphism Groups and Isometries for Cyclic Orbit Codes

Authors: Heide Gluesing-Luerssen, Hunter Lehmann

Abstract: We study orbit codes in the field extension ${\mathbb F}_{q^n}$. First we show that the automorphism group of a cyclic orbit code is contained in the normalizer of the Singer subgroup if the orbit is generated by a subspace that is not contained in a proper subfield of ${\mathbb F}_{q^n}$. We then generalize to orbits under the normalizer of the Singer subgroup. In that situation some exceptional… ▽ More We study orbit codes in the field extension ${\mathbb F}_{q^n}$. First we show that the automorphism group of a cyclic orbit code is contained in the normalizer of the Singer subgroup if the orbit is generated by a subspace that is not contained in a proper subfield of ${\mathbb F}_{q^n}$. We then generalize to orbits under the normalizer of the Singer subgroup. In that situation some exceptional cases arise and some open cases remain. Finally we characterize linear isometries between such codes. △ Less

Submitted 23 January, 2021; originally announced January 2021.

Anticodes in the Sum-Rank Metric

Authors: Eimear Byrne, Heide Gluesing-Luerssen, Alberto Ravagnani

Abstract: We study the structure of anticodes in the sum-rank metric for arbitrary fields and matrix blocks of arbitrary sizes. Our main result is a complete classification of optimal linear anticodes. We also compare the cardinality of the ball in the sum-rank metric with that of an optimal linear anticode, showing that the latter is strictly larger over sufficiently large finite fields. Finally, we give e… ▽ More We study the structure of anticodes in the sum-rank metric for arbitrary fields and matrix blocks of arbitrary sizes. Our main result is a complete classification of optimal linear anticodes. We also compare the cardinality of the ball in the sum-rank metric with that of an optimal linear anticode, showing that the latter is strictly larger over sufficiently large finite fields. Finally, we give examples of parameters for which the largest anticode is neither a ball nor a linear anticode △ Less

Submitted 26 December, 2020; originally announced December 2020.

MSC Class: 11T71

Fundamental Properties of Sum-Rank Metric Codes

Authors: Eimear Byrne, Heide Gluesing-Luerssen, Alberto Ravagnani

Abstract: This paper investigates the theory of sum-rank metric codes for which the individual matrix blocks may have different sizes. Various bounds on the cardinality of a code are derived, along with their asymptotic extensions. The duality theory of sum-rank metric codes is also explored, showing that MSRD codes (the sum-rank analogue of MDS codes) dualize to MSRD codes only if all matrix blocks have th… ▽ More This paper investigates the theory of sum-rank metric codes for which the individual matrix blocks may have different sizes. Various bounds on the cardinality of a code are derived, along with their asymptotic extensions. The duality theory of sum-rank metric codes is also explored, showing that MSRD codes (the sum-rank analogue of MDS codes) dualize to MSRD codes only if all matrix blocks have the same number of columns. In the latter case, duality considerations lead to an upper bound on the number of blocks for MSRD codes. The paper also contains various constructions of sum-rank metric codes for variable block sizes, illustrating the possible behaviours of these objects with respect to bounds, existence, and duality properties. △ Less

Submitted 6 October, 2020; originally announced October 2020.

Distance Distributions of Cyclic Orbit Codes

Authors: Heide Gluesing-Luerssen, Hunter Lehmann

Abstract: The distance distribution of a code is the vector whose $i^\text{th}$ entry is the number of pairs of codewords with distance $i$. We investigate the structure of the distance distribution for cyclic orbit codes, which are subspace codes generated by the action of $\mathbb{F}_{q^n}^*$ on an $\mathbb{F}_q$-subspace $U$ of $\mathbb{F}_{q^n}$. We show that for optimal full-length orbit codes the dist… ▽ More The distance distribution of a code is the vector whose $i^\text{th}$ entry is the number of pairs of codewords with distance $i$. We investigate the structure of the distance distribution for cyclic orbit codes, which are subspace codes generated by the action of $\mathbb{F}_{q^n}^*$ on an $\mathbb{F}_q$-subspace $U$ of $\mathbb{F}_{q^n}$. We show that for optimal full-length orbit codes the distance distribution depends only on $q,\,n$, and the dimension of $U$. For full-length orbit codes with lower minimum distance, we provide partial results towards a characterization of the distance distribution, especially in the case that any two codewords intersect in a space of dimension at most 2. Finally, we briefly address the distance distribution of a union of optimal full-length orbit codes. △ Less

Submitted 11 December, 2019; originally announced December 2019.

Comments: 22 pages

MSC Class: 11T71; 94B60

On the Sparseness of Certain MRD Codes

Authors: Heide Gluesing-Luerssen

Abstract: We determine the proportion of $[3\times 3;3]$-MRD codes over ${\mathbb F}_q$ within the space of all $3$-dimensional $3\times3$-rank-metric codes over the same field. This shows that for these parameters MRD codes are sparse in the sense that the proportion tends to $0$ as $q\rightarrow\infty$. This is so far the only parameter case for which MRD codes are known to be sparse. The computation is a… ▽ More We determine the proportion of $[3\times 3;3]$-MRD codes over ${\mathbb F}_q$ within the space of all $3$-dimensional $3\times3$-rank-metric codes over the same field. This shows that for these parameters MRD codes are sparse in the sense that the proportion tends to $0$ as $q\rightarrow\infty$. This is so far the only parameter case for which MRD codes are known to be sparse. The computation is accomplished by reducing the space of all such rank-metric codes to a space of specific bases and subsequently making use of a result by Menichetti (1973) on 3-dimensional semifields. △ Less

Submitted 6 August, 2019; v1 submitted 27 June, 2019; originally announced June 2019.

MSC Class: 11T71; 94B60; 17A35; 12K10

Skew-Polynomial Rings and Skew-Cyclic Codes

Authors: Heide Gluesing-Luerssen

Abstract: This is a survey on the theory of skew-cyclic codes based on skew-polynomial rings of automorphism type. Skew-polynomial rings have been introduced and discussed by Ore (1933). Evaluation of skew polynomials and sets of (right) roots were first considered by Lam (1986) and studied in great detail by Lam and Leroy thereafter. After a detailed presentation of the most relevant properties of skew pol… ▽ More This is a survey on the theory of skew-cyclic codes based on skew-polynomial rings of automorphism type. Skew-polynomial rings have been introduced and discussed by Ore (1933). Evaluation of skew polynomials and sets of (right) roots were first considered by Lam (1986) and studied in great detail by Lam and Leroy thereafter. After a detailed presentation of the most relevant properties of skew polynomials, we survey the algebraic theory of skew-cyclic codes as introduced by Boucher and Ulmer (2007) and studied by many authors thereafter. A crucial role will be played by skew-circulant matrices. Finally, skew-cyclic codes with designed minimum distance are discussed, and we report on two different kinds of skew-BCH codes, which were designed in 2014 and later. △ Less

Submitted 4 March, 2019; v1 submitted 9 February, 2019; originally announced February 2019.

Comments: This survey will appear as a chapter in "A Concise Encyclopedia of Coding Theory" to be published by CRC Press

MSC Class: 11T71; 16S36; 94B05

Partitions of Matrix Spaces With an Application to $q$-Rook Polynomials

Authors: Heide Gluesing-Luerssen, Alberto Ravagnani

Abstract: We study the row-space partition and the pivot partition on the matrix space $\mathbb{F}_q^{n \times m}$. We show that both these partitions are reflexive and that the row-space partition is self-dual. Moreover, using various combinatorial methods, we explicitly compute the Krawtchouk coefficients associated with these partitions. This establishes MacWilliams-type identities for the row-space and… ▽ More We study the row-space partition and the pivot partition on the matrix space $\mathbb{F}_q^{n \times m}$. We show that both these partitions are reflexive and that the row-space partition is self-dual. Moreover, using various combinatorial methods, we explicitly compute the Krawtchouk coefficients associated with these partitions. This establishes MacWilliams-type identities for the row-space and pivot enumerators of linear rank-metric codes. We then generalize the Singleton-like bound for rank-metric codes, and introduce two new concepts of code extremality. Both of them generalize the notion of MRD codes and are preserved by trace-duality. Moreover, codes that are extremal according to either notion satisfy strong rigidity properties analogous to those of MRD codes. As an application of our results to combinatorics, we give closed formulas for the $q$-rook polynomials associated with Ferrers diagram boards. Moreover, we exploit connections between matrices over finite fields and rook placements to prove that the number of matrices of rank $r$ over $\mathbb{F}_q$ supported on a Ferrers diagram is a polynomial in $q$, whose degree is strictly increasing in $r$. Finally, we investigate the natural analogues of the MacWilliams Extension Theorem for the rank, the row-space, and the pivot partitions. △ Less

Submitted 23 August, 2019; v1 submitted 3 November, 2018; originally announced November 2018.

Maximal Ferrers Diagram Codes: Constructions and Genericity Considerations

Authors: Jared Antrobus, Heide Gluesing-Luerssen

Abstract: This paper investigates the construction of rank-metric codes with specified Ferrers diagram shapes. These codes play a role in the multilevel construction for subspace codes. A conjecture from 2009 provides an upper bound for the dimension of a rank-metric code with given specified Ferrers diagram shape and rank distance. While the conjecture in its generality is wide open, several cases have bee… ▽ More This paper investigates the construction of rank-metric codes with specified Ferrers diagram shapes. These codes play a role in the multilevel construction for subspace codes. A conjecture from 2009 provides an upper bound for the dimension of a rank-metric code with given specified Ferrers diagram shape and rank distance. While the conjecture in its generality is wide open, several cases have been established in the literature. This paper contributes further cases of Ferrers diagrams and ranks for which the conjecture holds true. In addition, the proportion of maximal Ferrers diagram codes within the space of all rank-metric codes with the same shape and dimension is investigated. Special attention is being paid to MRD codes. It is shown that for growing field size the limiting proportion depends highly on the Ferrers diagram. For instance, for $[m\times 2]$-MRD codes with rank~$2$ this limiting proportion is close to $1/e$. △ Less

Submitted 26 April, 2019; v1 submitted 2 April, 2018; originally announced April 2018.

MSC Class: 15A03; 15B52; 94B60

On Quantum Stabilizer Codes derived from Local Frobenius Rings

Authors: Heide Gluesing-Luerssen, Tefjol Pllaha

Abstract: In this paper we consider stabilizer codes over local Frobenius rings. First, we study the relative minimum distances of a stabilizer code and its reduction onto the residue field. We show that for various scenarios, a free stabilizer code over the ring does not underperform the according stabilizer code over the field. This leads us to conjecture that the same is true for all free stabilizer code… ▽ More In this paper we consider stabilizer codes over local Frobenius rings. First, we study the relative minimum distances of a stabilizer code and its reduction onto the residue field. We show that for various scenarios, a free stabilizer code over the ring does not underperform the according stabilizer code over the field. This leads us to conjecture that the same is true for all free stabilizer codes. Secondly, we focus on the isometries of stabilizer codes. We present some preliminary results and introduce some interesting open problems. △ Less

Submitted 26 October, 2017; originally announced October 2017.

MSC Class: 94B05

Symbol Erasure Correction Capability of Spread Codes

Authors: Heide Gluesing-Luerssen, Anna-Lena Horlemann-Trautmann

Abstract: We consider data transmission over a network where each edge is an erasure channel and where the inner nodes transmit a random linear combination of their incoming information. We distinguish two channel models in this setting, the row and the column erasure channel model. For both models we derive the symbol erasure correction capabilities of spread codes and compare them to other known codes sui… ▽ More We consider data transmission over a network where each edge is an erasure channel and where the inner nodes transmit a random linear combination of their incoming information. We distinguish two channel models in this setting, the row and the column erasure channel model. For both models we derive the symbol erasure correction capabilities of spread codes and compare them to other known codes suitable for those models. Furthermore, we explain how to decode these codes in the two channel models and compare their decoding complexities. The results show that, depending on the application and the to-be-optimized aspect, any combination of codes and channel models can be the best choice. △ Less

Submitted 17 October, 2017; originally announced October 2017.

Variations of the McEliece Cryptosystem

Authors: Jessalyn Bolkema, Heide Gluesing-Luerssen, Christine A. Kelley, Kristin Lauter, Beth Malmskog, Joachim Rosenthal

Abstract: Two variations of the McEliece cryptosystem are presented. The first one is based on a relaxation of the column permutation in the classical McEliece scrambling process. This is done in such a way that the Hamming weight of the error, added in the encryption process, can be controlled so that efficient decryption remains possible. The second variation is based on the use of spatially coupled moder… ▽ More Two variations of the McEliece cryptosystem are presented. The first one is based on a relaxation of the column permutation in the classical McEliece scrambling process. This is done in such a way that the Hamming weight of the error, added in the encryption process, can be controlled so that efficient decryption remains possible. The second variation is based on the use of spatially coupled moderate-density parity-check codes as secret codes. These codes are known for their excellent error-correction performance and allow for a relatively low key size in the cryptosystem. For both variants the security with respect to known attacks is discussed. △ Less

Submitted 28 April, 2017; v1 submitted 15 December, 2016; originally announced December 2016.

MSC Class: 11T71; 94A60; 94C15

Lexicodes over Finite Principal Left Ideal Rings

Authors: Jared Antrobus, Heide Gluesing-Luerssen

Abstract: Let R be a finite principal left ideal ring. Via a total ordering of the ring elements and an ordered basis a lexicographic ordering of the module R^n is produced. This is used to set up a greedy algorithm that selects vectors for which all linear combination with the previously selected vectors satisfy a pre-specified selection property and updates the to-be-constructed code to the linear hull of… ▽ More Let R be a finite principal left ideal ring. Via a total ordering of the ring elements and an ordered basis a lexicographic ordering of the module R^n is produced. This is used to set up a greedy algorithm that selects vectors for which all linear combination with the previously selected vectors satisfy a pre-specified selection property and updates the to-be-constructed code to the linear hull of the vectors selected so far. The output is called a lexicode. This process was discussed earlier in the literature for fields and chain rings. In this paper we investigate the properties of such lexicodes over finite principal left ideal rings and show that the total ordering of the ring elements has to respect containment of ideals in order for the algorithm to produce meaningful results. Only then it is guaranteed that the algorithm is exhaustive and thus produces codes that are maximal with respect to inclusion. It is further illustrated that the output of the algorithm heavily depends on the total ordering and chosen basis. △ Less

Submitted 14 December, 2016; originally announced December 2016.

Extension Theorems for Various Weight Functions over Frobenius Bimodules

Authors: Heide Gluesing-Luerssen, Tefjol Pllaha

Abstract: In this paper we study codes where the alphabet is a finite Frobenius bimodule over a finite ring. We discuss the extension property for various weight functions. Employing an entirely character-theoretic approach and a duality theory for partitions on Frobenius bimodules we derive alternative proofs for the facts that the Hamming weight and the homogeneous weight satisfy the extension property. W… ▽ More In this paper we study codes where the alphabet is a finite Frobenius bimodule over a finite ring. We discuss the extension property for various weight functions. Employing an entirely character-theoretic approach and a duality theory for partitions on Frobenius bimodules we derive alternative proofs for the facts that the Hamming weight and the homogeneous weight satisfy the extension property. We also use the same techniques to derive the extension property for other weights, such as the Rosenbloom-Tsfasman weight. △ Less

Submitted 10 November, 2016; v1 submitted 3 November, 2016; originally announced November 2016.

MSC Class: 94B05; 16L60; 16P10

On Robust Colorings of Hamming-Distance Graphs

Authors: Isaiah Harney, Heide Gluesing-Luerssen

Abstract: $H_q(n,d)$ is defined as the graph with vertex set ${\mathbb Z}_q^n$ and where two vertices are adjacent if their Hamming distance is at least $d$. The chromatic number of these graphs is presented for various sets of parameters $(q,n,d)$. For the $4$-colorings of the graphs $H_2(n,n-1)… ▽ More $H_q(n,d)$ is defined as the graph with vertex set ${\mathbb Z}_q^n$ and where two vertices are adjacent if their Hamming distance is at least $d$. The chromatic number of these graphs is presented for various sets of parameters $(q,n,d)$. For the $4$-colorings of the graphs $H_2(n,n-1)$ a notion of robustness is introduced. It is based on the tolerance of swap** colors along an edge without destroying properness of the coloring. An explicit description of the maximally robust $4$-colorings of $H_2(n,n-1)$ is presented. △ Less

Submitted 16 September, 2016; v1 submitted 1 September, 2016; originally announced September 2016.

MSC Class: 05C15; 05C69; 94B05

Construction of Subspace Codes through Linkage

Authors: Heide Gluesing-Luerssen, Carolyn Troha

Abstract: A construction is presented that allows to produce subspace codes of long length using subspace codes of shorter length in combination with a rank metric code. The subspace distance of the resulting code, called linkage code, is as good as the minimum subspace distance of the constituent codes. As a special application, the construction of the best known partial spreads is reproduced. Finally, for… ▽ More A construction is presented that allows to produce subspace codes of long length using subspace codes of shorter length in combination with a rank metric code. The subspace distance of the resulting code, called linkage code, is as good as the minimum subspace distance of the constituent codes. As a special application, the construction of the best known partial spreads is reproduced. Finally, for a special case of linkage, a decoding algorithm is presented which amounts to decoding with respect to the smaller constituent codes and which can be parallelized. △ Less

Submitted 8 May, 2015; originally announced May 2015.

MSC Class: 11T71; 94B60; 51E23

A Circulant Approach to Skew-Constacyclic Codes

Authors: Neville Fogarty, Heide Gluesing-Luerssen

Abstract: We introduce circulant matrices that capture the structure of a skew-polynomial ring F[x;θ] modulo the left ideal generated by a polynomial of the type x^n-a. This allows us to develop an approach to skew-constacyclic codes based on such circulants. Properties of these circulants are derived, and in particular it is shown that the transpose of a certain circulant is a circulant again. This recover… ▽ More We introduce circulant matrices that capture the structure of a skew-polynomial ring F[x;θ] modulo the left ideal generated by a polynomial of the type x^n-a. This allows us to develop an approach to skew-constacyclic codes based on such circulants. Properties of these circulants are derived, and in particular it is shown that the transpose of a certain circulant is a circulant again. This recovers the well-known result that the dual of a skew-constacyclic code is a constacyclic code again. Special attention is paid to the case where x^n-a is two-sided. △ Less

Submitted 26 September, 2014; v1 submitted 22 August, 2014; originally announced August 2014.

MSC Class: 11T71; 16S36; 94B05

The Homogeneous Weight Partition and its Character-Theoretic Dual

Authors: Heide Gluesing-Luerssen

Abstract: The values of the normalized homogeneous weight are determined for arbitrary finite Frobenius rings and expressed in a form that is independent from a generating character and the Möbius function on the ring. The weight naturally induces a partition of the ring, which is invariant under left or right multiplication by units. It is shown that the character-theoretic left-sided dual of this partitio… ▽ More The values of the normalized homogeneous weight are determined for arbitrary finite Frobenius rings and expressed in a form that is independent from a generating character and the Möbius function on the ring. The weight naturally induces a partition of the ring, which is invariant under left or right multiplication by units. It is shown that the character-theoretic left-sided dual of this partition coincides with the right-sided dual, and even more, the left- and right-sided Krawtchouk coefficients coincide. An example is provided showing that this is not the case for general invariant partitions if the ring is not semisimple. △ Less

Submitted 18 March, 2014; originally announced March 2014.

MSC Class: 94B05; 94B99; 16L60

Cyclic Orbit Codes and Stabilizer Subfields

Authors: Heide Gluesing-Luerssen, Katherine Morrison, Carolyn Troha

Abstract: Cyclic orbit codes are constant dimension subspace codes that arise as the orbit of a cyclic subgroup of the general linear group acting on subspaces in the given ambient space. With the aid of the largest subfield over which the given subspace is a vector space, the cardinality of the orbit code can be determined, and estimates for its distance can be found. This subfield is closely related to th… ▽ More Cyclic orbit codes are constant dimension subspace codes that arise as the orbit of a cyclic subgroup of the general linear group acting on subspaces in the given ambient space. With the aid of the largest subfield over which the given subspace is a vector space, the cardinality of the orbit code can be determined, and estimates for its distance can be found. This subfield is closely related to the stabilizer of the generating subspace. Finally, with a linkage construction larger, and longer, constant dimension codes can be derived from cyclic orbit codes without compromising the distance. △ Less

Submitted 5 March, 2014; originally announced March 2014.

MSC Class: 11T71; 94B60

MacWilliams Extension Theorems and the Local-Global Property for Codes over Rings

Authors: Aleams Barra, Heide Gluesing-Luerssen

Abstract: The MacWilliams extension theorem is investigated for various weight functions over finite Frobenius rings. The problem is reformulated in terms of a local-global property for subgroups of the general linear group. Among other things, it is shown that the extension theorem holds true for poset weights if and only if the underlying poset is hierarchical. Specifically, the Rosenbloom-Tsfasman weight… ▽ More The MacWilliams extension theorem is investigated for various weight functions over finite Frobenius rings. The problem is reformulated in terms of a local-global property for subgroups of the general linear group. Among other things, it is shown that the extension theorem holds true for poset weights if and only if the underlying poset is hierarchical. Specifically, the Rosenbloom-Tsfasman weight for vector codes satisfies the extension theorem, whereas the Niederreiter-Rosenbloom-Tsfasman weight for matrix codes does not. A short character-theoretic proof of the well-known MacWilliams extension theorem for the homogeneous weight is provided. Moreover it is shown that the extension theorem carries over to direct products of weights, but not to symmetrized products. △ Less

Submitted 25 March, 2014; v1 submitted 26 July, 2013; originally announced July 2013.

MSC Class: 94B05 (Primary); 16L60 (Secondary)

Partitions of Frobenius Rings Induced by the Homogeneous Weight

Authors: Heide Gluesing-Luerssen

Abstract: The values of the homogeneous weight are determined for finite Frobenius rings that are a direct product of local Frobenius rings. This is used to investigate the partition induced by this weight and its dual partition under character-theoretic dualization. A characterization is given of those rings for which the induced partition is reflexive or even self-dual. The values of the homogeneous weight are determined for finite Frobenius rings that are a direct product of local Frobenius rings. This is used to investigate the partition induced by this weight and its dual partition under character-theoretic dualization. A characterization is given of those rings for which the induced partition is reflexive or even self-dual. △ Less

Submitted 7 August, 2013; v1 submitted 24 April, 2013; originally announced April 2013.

MSC Class: 94B05

Fourier-Reflexive Partitions and MacWilliams Identities for Additive Codes

Authors: Heide Gluesing-Luerssen

Abstract: A partition of a finite abelian group gives rise to a dual partition on the character group via the Fourier transform. Properties of the dual partitions are investigated and a convenient test is given for the case that the bidual partition coincides the primal partition. Such partitions permit MacWilliams identities for the partition enumerators of additive codes. It is shown that dualization comm… ▽ More A partition of a finite abelian group gives rise to a dual partition on the character group via the Fourier transform. Properties of the dual partitions are investigated and a convenient test is given for the case that the bidual partition coincides the primal partition. Such partitions permit MacWilliams identities for the partition enumerators of additive codes. It is shown that dualization commutes with taking products and symmetrized products of partitions on cartesian powers of the given group. After translating the results to Frobenius rings, which are identified with their character module, the approach is applied to partitions that arise from poset structures. △ Less

Submitted 3 April, 2013; originally announced April 2013.

MSC Class: 94B05; 94B99; 16L60

Local Irreducibility of Tail-Biting Trellises

Authors: Heide Gluesing-Luerssen, G. David Forney Jr

Abstract: This paper investigates tail-biting trellis realizations for linear block codes. Intrinsic trellis properties are used to characterize irreducibility on given intervals of the time axis. It proves beneficial to always consider the trellis and its dual simultaneously. A major role is played by trellis properties that amount to observability and controllability for fragments of the trellis of variou… ▽ More This paper investigates tail-biting trellis realizations for linear block codes. Intrinsic trellis properties are used to characterize irreducibility on given intervals of the time axis. It proves beneficial to always consider the trellis and its dual simultaneously. A major role is played by trellis properties that amount to observability and controllability for fragments of the trellis of various lengths. For fragments of length less than the minimum span length of the code it is shown that fragment observability and fragment controllability are equivalent to irreducibility. For reducible trellises, a constructive reduction procedure is presented. The considerations also lead to a characterization for when the dual of a trellis allows a product factorization into elementary ("atomic") trellises. △ Less

Submitted 14 December, 2012; originally announced December 2012.

MSC Class: 94B05

Codes on Graphs: Observability, Controllability and Local Reducibility

Authors: G. David Forney Jr, Heide Gluesing-Luerssen

Abstract: This paper investigates properties of realizations of linear or group codes on general graphs that lead to local reducibility. Trimness and properness are dual properties of constraint codes. A linear or group realization with a constraint code that is not both trim and proper is locally reducible. A linear or group realization on a finite cycle-free graph is minimal if and only if every local c… ▽ More This paper investigates properties of realizations of linear or group codes on general graphs that lead to local reducibility. Trimness and properness are dual properties of constraint codes. A linear or group realization with a constraint code that is not both trim and proper is locally reducible. A linear or group realization on a finite cycle-free graph is minimal if and only if every local constraint code is trim and proper. A realization is called observable if there is a one-to-one correspondence between codewords and configurations, and controllable if it has independent constraints. A linear or group realization is observable if and only if its dual is controllable. A simple counting test for controllability is given. An unobservable or uncontrollable realization is locally reducible. Parity-check realizations are controllable if and only if they have independent parity checks. In an uncontrollable tail-biting trellis realization, the behavior partitions into disconnected subbehaviors, but this property does not hold for non-trellis realizations. On a general graph, the support of an unobservable configuration is a generalized cycle. △ Less

Submitted 30 August, 2012; v1 submitted 14 March, 2012; originally announced March 2012.

Comments: 16 pages. To appear in the IEEE Transactions on Information Theory

Reducing complexity of tail-biting trellises

Authors: Heide Gluesing-Luerssen, G. David Forney, Jr

Abstract: It is shown that a trellis realization can be locally reduced if it is not state-trim, branch-trim, proper, observable, and controllable. These conditions are not sufficient for local irreducibility. Making use of notions that amount to "almost unobservability/uncontrollability", a necessary and sufficient criterion of local irreducibility for tail-biting trellises is presented. It is shown that a trellis realization can be locally reduced if it is not state-trim, branch-trim, proper, observable, and controllable. These conditions are not sufficient for local irreducibility. Making use of notions that amount to "almost unobservability/uncontrollability", a necessary and sufficient criterion of local irreducibility for tail-biting trellises is presented. △ Less

Submitted 6 February, 2012; originally announced February 2012.

Comments: 5 pages; submitted to the 2012 IEEE International Symposium on Information Theory

Observability, Controllability and Local Reducibility of Linear Codes on Graphs

Authors: G. David Forney, Jr., Heide Gluesing-Luerssen

Abstract: This paper is concerned with the local reducibility properties of linear realizations of codes on finite graphs. Trimness and properness are dual properties of constraint codes. A linear realization is locally reducible if any constraint code is not both trim and proper. On a finite cycle-free graph, a linear realization is minimal if and only if every constraint code is both trim and proper.… ▽ More This paper is concerned with the local reducibility properties of linear realizations of codes on finite graphs. Trimness and properness are dual properties of constraint codes. A linear realization is locally reducible if any constraint code is not both trim and proper. On a finite cycle-free graph, a linear realization is minimal if and only if every constraint code is both trim and proper. A linear realization is called observable if it is one-to-one, and controllable if all constraints are independent. Observability and controllability are dual properties. An unobservable or uncontrollable realization is locally reducible. A parity-check realization is uncontrollable if and only if it has redundant parity checks. A tail-biting trellis realization is uncontrollable if and only if its trajectories partition into disconnected subrealizations. General graphical realizations do not share this property. △ Less

Submitted 2 February, 2012; originally announced February 2012.

Comments: 5 pages; submitted to the 2012 IEEE International Symposium on Information Theory

Characteristic Generators and Dualization for Tail-Biting Trellises

Authors: Heide Gluesing-Luerssen, Elizabeth A. Weaver

Abstract: This paper focuses on dualizing tail-biting trellises, particularly KV-trellises. These trellises are based on characteristic generators, as introduced by Koetter/Vardy (2003), and may be regarded as a natural generalization of minimal conventional trellises, even though they are not necessarily minimal. Two dualization techniques will be investigated: the local dualization, introduced by Forney (… ▽ More This paper focuses on dualizing tail-biting trellises, particularly KV-trellises. These trellises are based on characteristic generators, as introduced by Koetter/Vardy (2003), and may be regarded as a natural generalization of minimal conventional trellises, even though they are not necessarily minimal. Two dualization techniques will be investigated: the local dualization, introduced by Forney (2001) for general normal graphs, and a linear algebra based dualization tailored to the specific class of tail-biting BCJR-trellises, introduced by Nori/Shankar (2006). It turns out that, in general, the BCJR-dual is a subtrellis of the local dual, while for KV-trellises these two coincide. Furthermore, making use of both the BCJR-construction and the local dualization, it will be shown that for each complete set of characteristic generators of a code there exists a complete set of characteristic generators of the dual code such that their resulting KV-trellises are dual to each other if paired suitably. This proves a stronger version of a conjecture formulated by Koetter/Vardy. △ Less

Submitted 20 January, 2011; originally announced January 2011.

Comments: 26 pages

MSC Class: 94B05; 94B12; 68R10; 93B20

Linear tail-biting trellises: Characteristic generators and the BCJR-construction

Authors: Heide Gluesing-Luerssen, Elizabeth Weaver

Abstract: We investigate the constructions of tail-biting trellises for linear block codes introduced by Koetter/Vardy (2003) and Nori/Shankar (2006). For a given code we will define the sets of characteristic generators more generally than by Koetter/Vardy and we will investigate how the choice of characteristic generators affects the set of resulting product trellises, called KV-trellises. Furthermore, we… ▽ More We investigate the constructions of tail-biting trellises for linear block codes introduced by Koetter/Vardy (2003) and Nori/Shankar (2006). For a given code we will define the sets of characteristic generators more generally than by Koetter/Vardy and we will investigate how the choice of characteristic generators affects the set of resulting product trellises, called KV-trellises. Furthermore, we will show that each KV-trellis is a BCJR-trellis, defined in a slightly stronger sense than by Nori/Shankar, and that the latter are always non-mergeable. Finally, we will address a duality conjecture of Koetter/Vardy by making use of a dualization technique of BCJR-trellises and prove the conjecture for minimal trellises. △ Less

Submitted 23 March, 2010; originally announced March 2010.

Comments: 28 pages

MSC Class: 94B05; 94B12; 68R10; 93B20

Journal ref: updated version in IEEE Trans. Inf. Theory, 2011, vol. 57, 738-751

Algebraic Decoding for Doubly Cyclic Convolutional Codes

Authors: H. Gluesing-Luerssen, U. Helmke, J. I. Iglesias Curto

Abstract: An iterative decoding algorithm for convolutional codes is presented. It successively processes $N$ consecutive blocks of the received word in order to decode the first block. A bound is presented showing which error configurations can be corrected. The algorithm can be efficiently used on a particular class of convolutional codes, known as doubly cyclic convolutional codes. Due to their highly… ▽ More An iterative decoding algorithm for convolutional codes is presented. It successively processes $N$ consecutive blocks of the received word in order to decode the first block. A bound is presented showing which error configurations can be corrected. The algorithm can be efficiently used on a particular class of convolutional codes, known as doubly cyclic convolutional codes. Due to their highly algebraic structure those codes are well suited for the algorithm and the main step of the procedure can be carried out using Reed-Solomon decoding. Examples illustrate the decoding and a comparison with existing algorithms is being made. △ Less

Submitted 5 August, 2009; originally announced August 2009.

Comments: 16 pages

MSC Class: 94B10 (primary); 94B35; 93B15; 93B20

On Isometries for Convolutional Codes

Authors: Heide Gluesing-Luerssen

Abstract: In this paper we will discuss isometries and strong isometries for convolutional codes. Isometries are weight-preserving module isomorphisms whereas strong isometries are, in addition, degree-preserving. Special cases of these maps are certain types of monomial transformations. We will show a form of MacWilliams Equivalence Theorem, that is, each isometry between convolutional codes is given by… ▽ More In this paper we will discuss isometries and strong isometries for convolutional codes. Isometries are weight-preserving module isomorphisms whereas strong isometries are, in addition, degree-preserving. Special cases of these maps are certain types of monomial transformations. We will show a form of MacWilliams Equivalence Theorem, that is, each isometry between convolutional codes is given by a monomial transformation. Examples show that strong isometries cannot be characterized this way, but special attention paid to the weight adjacency matrices allows for further descriptions. Various distance parameters appearing in the literature on convolutional codes will be discussed as well. △ Less

Submitted 12 February, 2009; originally announced February 2009.

Comments: 24 pages

A MacWilliams Identity for Convolutional Codes: The General Case

Authors: Heide Gluesing-Luerssen, Gert Schneider

Abstract: A MacWilliams Identity for convolutional codes will be established. It makes use of the weight adjacency matrices of the code and its dual, based on state space realizations (the controller canonical form) of the codes in question. The MacWilliams Identity applies to various notions of duality appearing in the literature on convolutional coding theory. A MacWilliams Identity for convolutional codes will be established. It makes use of the weight adjacency matrices of the code and its dual, based on state space realizations (the controller canonical form) of the codes in question. The MacWilliams Identity applies to various notions of duality appearing in the literature on convolutional coding theory. △ Less

Submitted 22 May, 2008; originally announced May 2008.

Comments: 20 pages

MSC Class: 94B05; 94B10; 93B15

A Matrix Ring Description for Cyclic Convolutional Codes

Authors: Heide Gluesing-Luerssen, Fai-Lung Tsang

Abstract: In this paper, we study convolutional codes with a specific cyclic structure. By definition, these codes are left ideals in a certain skew polynomial ring. Using that the skew polynomial ring is isomorphic to a matrix ring we can describe the algebraic parameters of the codes in a more accessible way. We show that the existence of such codes with given algebraic parameters can be reduced to the… ▽ More In this paper, we study convolutional codes with a specific cyclic structure. By definition, these codes are left ideals in a certain skew polynomial ring. Using that the skew polynomial ring is isomorphic to a matrix ring we can describe the algebraic parameters of the codes in a more accessible way. We show that the existence of such codes with given algebraic parameters can be reduced to the solvability of a modified rook problem. It is our strong belief that the rook problem is always solvable, and we present solutions in particular cases. △ Less

Submitted 9 August, 2007; originally announced August 2007.

State Space Realizations and Monomial Equivalence for Convolutional Codes

Authors: Heide Gluesing-Luerssen, Gert Schneider

Abstract: We will study convolutional codes with the help of state space realizations. It will be shown that two such minimal realizations belong to the same code if and only if they are equivalent under the full state feedback group. This result will be used in order to prove that two codes with positive Forney indices are monomially equivalent if and only if they share the same adjacency matrix. The adj… ▽ More We will study convolutional codes with the help of state space realizations. It will be shown that two such minimal realizations belong to the same code if and only if they are equivalent under the full state feedback group. This result will be used in order to prove that two codes with positive Forney indices are monomially equivalent if and only if they share the same adjacency matrix. The adjacency matrix counts in a detailed way the weights of all possible outputs and thus contains full information about the weights of the codewords in the given code. △ Less

Submitted 13 March, 2006; originally announced March 2006.

On the MacWilliams Identity for Convolutional Codes

Authors: Heide Gluesing-Luerssen, Gert Schneider

Abstract: The adjacency matrix associated with a convolutional code collects in a detailed manner information about the weight distribution of the code. A MacWilliams Identity Conjecture, stating that the adjacency matrix of a code fully determines the adjacency matrix of the dual code, will be formulated, and an explicit formula for the transformation will be stated. The formula involves the MacWilliams… ▽ More The adjacency matrix associated with a convolutional code collects in a detailed manner information about the weight distribution of the code. A MacWilliams Identity Conjecture, stating that the adjacency matrix of a code fully determines the adjacency matrix of the dual code, will be formulated, and an explicit formula for the transformation will be stated. The formula involves the MacWilliams matrix known from complete weight enumerators of block codes. The conjecture will be proven for the class of convolutional codes where either the code itself or its dual does not have Forney indices bigger than one. For the general case the conjecture is backed up by many examples, and a weaker version will be established. △ Less

Submitted 2 March, 2006; originally announced March 2006.

On the weight distribution of convolutional codes

Authors: Heide Gluesing-Luerssen

Abstract: Detailed information about the weight distribution of a convolutional code is given by the adjacency matrix of the state diagram associated with a controller canonical form of the code. We will show that this matrix is an invariant of the code. Moreover, it will be proven that codes with the same adjacency matrix have the same dimension and the same Forney indices and finally that for one-dimens… ▽ More Detailed information about the weight distribution of a convolutional code is given by the adjacency matrix of the state diagram associated with a controller canonical form of the code. We will show that this matrix is an invariant of the code. Moreover, it will be proven that codes with the same adjacency matrix have the same dimension and the same Forney indices and finally that for one-dimensional binary convolutional codes the adjacency matrix determines the code uniquely up to monomial equivalence. △ Less

Submitted 10 January, 2005; originally announced January 2005.

A class of one-dimensional MDS convolutional codes

Authors: Heide Gluesing-Luerssen, Barbara Langfeld

Abstract: A class of one-dimensional convolutional codes will be presented. They are all MDS codes, i. e., have the largest distance among all one-dimensional codes of the same length n and overall constraint length delta. Furthermore, their extended row distances are computed, and they increase with slope n-delta. In certain cases of the algebraic parameters, we will also derive parity check matrices of… ▽ More A class of one-dimensional convolutional codes will be presented. They are all MDS codes, i. e., have the largest distance among all one-dimensional codes of the same length n and overall constraint length delta. Furthermore, their extended row distances are computed, and they increase with slope n-delta. In certain cases of the algebraic parameters, we will also derive parity check matrices of Vandermonde type for these codes. Finally, cyclicity in the convolutional sense will be discussed for our class of codes. It will turn out that they are cyclic if and only if the field element used in the generator matrix has order n. This can be regarded as a generalization of the block code case. △ Less

Submitted 17 December, 2004; originally announced December 2004.

Comments: 20 pages

On doubly-cyclic convolutional codes

Authors: Heide Gluesing-Luerssen, Wiland Schmale

Abstract: Cyclicity of a convolutional code (CC) is relying on a nontrivial automorphism of the algebra F[x]/(x^n-1), where F is a finite field. If this automorphism itself has certain specific cyclicity properties one is lead to the class of doubly-cyclic CC's. Within this large class Reed-Solomon and BCH convolutional codes can be defined. After constructing doubly-cyclic CC's, basic properties are deri… ▽ More Cyclicity of a convolutional code (CC) is relying on a nontrivial automorphism of the algebra F[x]/(x^n-1), where F is a finite field. If this automorphism itself has certain specific cyclicity properties one is lead to the class of doubly-cyclic CC's. Within this large class Reed-Solomon and BCH convolutional codes can be defined. After constructing doubly-cyclic CC's, basic properties are derived on the basis of which distance properties of Reed-Solomon convolutional codes are investigated.This shows that some of them are optimal or near optimal with respect to distance and performance. △ Less

Submitted 13 October, 2004; originally announced October 2004.

MSC Class: 94B10; 94B15; 16S36

On the Parameters of Convolutional Codes with Cyclic Structure

Authors: Heide Gluesing-Luerssen, Barbara Langfeld

Abstract: In this paper convolutional codes with cyclic structure will be investigated. These codes can be understood as left principal ideals in a suitable skew-polynomial ring. It has been shown in [3] that only certain combinations of the parameters (field size, length, dimension, and Forney indices) can occur for cyclic codes. We will investigate whether all these combinations can indeed be realized b… ▽ More In this paper convolutional codes with cyclic structure will be investigated. These codes can be understood as left principal ideals in a suitable skew-polynomial ring. It has been shown in [3] that only certain combinations of the parameters (field size, length, dimension, and Forney indices) can occur for cyclic codes. We will investigate whether all these combinations can indeed be realized by a suitable cyclic code and, if so, how to construct such a code. A complete characterization and construction will be given for minimal cyclic codes. It is derived from a detailed investigation of the units in the skew-polynomial ring. △ Less

Submitted 3 December, 2003; originally announced December 2003.

MSC Class: 94B10; 94B15; 16S36

Distance bounds for convolutional codes and some optimal codes

Authors: Heide Gluesing-Luerssen, Wiland Schmale

Abstract: After a discussion of the Griesmer and Heller bound for the distance of a convolutional code we present several codes with various parameters, over various fields, and meeting the given distance bounds. Moreover, the Griesmer bound is used for deriving a lower bound for the field size of an MDS convolutional code and examples are presented showing that, in most cases, the lower bound is tight. M… ▽ More After a discussion of the Griesmer and Heller bound for the distance of a convolutional code we present several codes with various parameters, over various fields, and meeting the given distance bounds. Moreover, the Griesmer bound is used for deriving a lower bound for the field size of an MDS convolutional code and examples are presented showing that, in most cases, the lower bound is tight. Most of the examples in this paper are cyclic convolutional codes in a generalized sense as it has been introduced in the seventies. A brief introduction to this promising type of cyclicity is given at the end of the paper in order to make the examples more transparent. △ Less

Submitted 9 May, 2003; originally announced May 2003.

Comments: 22 pages

MSC Class: 94B10; 94B15; 16S36

Strongly MDS Convolutional Codes

Authors: Heide Gluesing-Luerssen, Joachim Rosenthal, Roxana Smarandache

Abstract: MDS convolutional codes have the property that their free distance is maximal among all codes of the same rate and the same degree. In this paper we introduce a class of MDS convolutional codes whose column distances reach the generalized Singleton bound at the earliest possible instant. We call these codes strongly MDS convolutional codes. It is shown that these codes can decode a maximum numbe… ▽ More MDS convolutional codes have the property that their free distance is maximal among all codes of the same rate and the same degree. In this paper we introduce a class of MDS convolutional codes whose column distances reach the generalized Singleton bound at the earliest possible instant. We call these codes strongly MDS convolutional codes. It is shown that these codes can decode a maximum number of errors per time interval when compared with other convolutional codes of the same rate and degree. These codes have also a maximum or near maximum distance profile. A code has a maximum distance profile if and only if the dual code has this property. △ Less

Submitted 20 March, 2003; originally announced March 2003.

Comments: 33 pages

MSC Class: 94B10 (Primary) 94B65; 11T71 (Secondary)

On cyclic convolutional codes

Authors: H. Gluesing-Luerssen, W. Schmale

Abstract: We investigate the notion of cyclicity for convolutional codes as it has been introduced by Piret and Roos in the seventies. Codes of this type are described as submodules of the module of all vector polynomials in one variable with some additional generalized cyclic structure but also as specific left ideals in a skew polynomial ring. Extending a result of Piret, we show in a purely algebraic s… ▽ More We investigate the notion of cyclicity for convolutional codes as it has been introduced by Piret and Roos in the seventies. Codes of this type are described as submodules of the module of all vector polynomials in one variable with some additional generalized cyclic structure but also as specific left ideals in a skew polynomial ring. Extending a result of Piret, we show in a purely algebraic setting that these ideals are always principal. This leads to the notion of a generator polynomial just like for cyclic block codes. Similarly a control polynomial can be introduced by considering the right annihilator ideal. An algorithmic procedure is developed which produces unique reduced generator and control polynomials. We also show how basic code properties and a minimal generator matrix can be read off from these objects. A close link between polynomial and vector description of the codes is provided by certain generalized circulant matrices. △ Less

Submitted 4 November, 2002; originally announced November 2002.

Comments: 50 pages

MSC Class: 94B10; 94B15; 16S36

Duality between Multidimensional Convolutional Codes and Systems

Authors: Heide Gluesing-Luerssen, Joachim Rosenthal, Paul Weiner

Abstract: Multidimensional convolutional codes generalize (one dimensional) convolutional codes and they correspond under a natural duality to multidimensional systems widely studied in the systems literature. Multidimensional convolutional codes generalize (one dimensional) convolutional codes and they correspond under a natural duality to multidimensional systems widely studied in the systems literature. △ Less

Submitted 7 May, 1999; originally announced May 1999.

Comments: 16 pages LaTeX

MSC Class: 93C35; 94B10