arXiv++ Combinatorics

Recently, some infinite families of minimal and optimal binary linear codes were constructed from simplicial complexes by Hyun {\em et al.} We extend this construction method to arbitrary posets. Especially, anti-chains are corresponded to simplicial complexes. In this paper, we present two constructions of binary linear codes from hierarchical posets of two levels. In particular, we determine the weight distributions of binary linear codes associated with hierarchical posets with two levels. Based on these results, we also obtain some optimal and minimal binary linear codes not satisfying the condition of Ashikhmin-Barg.

Etzion et al. introduced metrics on $\mathbb{F}_2^n$ based on directed graphs on $n$ vertices and developed some basic coding theory on directed graph metric spaces. In this paper, we consider the problem of classifying directed graphs which admit the extended Hamming codes to be a perfect code. We first consider weighted poset metrics as a natural generalization of poset metrics and investigate interrelation between weighted poset metrics and directed graph based metrics. In the next, we classify weighted posets on a set with eight elements and directed graphs on eight vertices which admit the extended Hamming code $\widetilde{\mathcal{H}}_3$ to be a $2$-perfect code. We also construct some families of such structures for any $k \geq 3$. Those families enable us to construct packing or covering codes of radius 2 under certain maps.

Gale and Ryser found a criterion for existence of a binary matrix with given row and column sums. Mirsky extended the theorem of Gale and Ryser to $q$-ary matrices. In this paper, we are interested in higher dimensional extension of these theorems. We first introduce multidimensional matrices as a higher dimensional generalization of matrices. We next replace the concept of row and columns in matrices by lines in multidimensional matrices. We finally find a criterion for existence of a $q$-ary multidimensional matrices with given line sums.

Using double counting, we prove Delsarte inequalities for $q$-ary codes and their improvements. Applying the same technique to $q$-ary constant-weight codes, we obtain new inequalities for $q$-ary constant-weight codes.

Let $A(n,d)$ (respectively $A(n,d,w)$) be the maximum possible number of codewords in a binary code (respectively binary constant-weight $w$ code) of length $n$ and minimum Hamming distance at least $d$. By adding new linear constraints to Schrijver's semidefinite programming bound, which is obtained from block-diagonalising the Terwilliger algebra of the Hamming cube, we obtain two new upper bounds on $A(n,d)$, namely $A(18,8) \leq 71$ and $A(19,8) \leq 131$. Twenty three new upper bounds on $A(n,d,w)$ for $n \leq 28$ are also obtained by a similar way.

Let $\mathcal{P}$ be a poset on $[n]$, $\mathcal{I}(\mathcal{P})$ the set of order ideals of $\mathcal{P}$ and $E$ an equivalence relation on $\mathcal{I}(\mathcal{P})$. The concepts of the dual relation $E^*$ of an equivalence relation $E$, the $E$-weight (resp. $E^*$-weight) distribution of a linear poset code (resp. its dual poset code) and a MacWilliams-type equivalence relation are introduced. We give a characterization for a MacWilliams-type equivalence relation in terms of MacWilliams-type identities for a linear poset code. Three kinds of equivalence relations on $\mathcal{I}(\mathcal{P})$ which are of MacWilliams-type are found, i.e., $(i)$ we show that every equivalence relation defined by the automorphism of $\mathcal{P}$ is a MacWilliams-type; $(ii)$ we provide a new characterization for poset structures when the equivalence relation defined by the same cardinality on $\mathcal{I}(\mathcal{P})$ becomes a MacWilliams-type; $(iii)$ we also give necessary and sufficient conditions for poset structures in which the equivalence relation defined by the order-isomorphism on $\mathcal{I}(\mathcal{P})$ is a MacWilliams-type.

A $q$-ary $t$-covering array is an $m \times n$ matrix with entries from $\{0, 1, ..., q-1\}$ with the property that for any $t$ column positions, all $q^t$ possible vectors of length $t$ occur at least once. One wishes to minimize $m$ for given $t$ and $n$, or maximize $n$ for given $t$ and $m$. For $t = 2$ and $q = 2$, it is completely solved by Rényi, Katona, and Kleitman and Spencer. They also show that maximal binary 2-covering arrays are uniquely determined. Roux found the lower bound of $m$ for a general $t, n$, and $q$. In this article, we show that $m \times n$ binary 2-covering arrays under some constraints on $m$ and $n$ come from the maximal covering arrays. We also improve the lower bound of Roux for $t = 3$ and $q = 2$, and show that some binary 3 or 4-covering arrays are uniquely determined.

Translation association schemes are constructed from actions of finite groups on finite abelian groups satisfying certain natural conditions. It is also shown that the mere existence of maps from finite groups to themselves sending each element in their groups to its `adjoint' entails the self-duality of the constructed association schemes. Many examples of these, including Hamming scheme and sesquilinear forms schemes, are provided. This con- struction is further generalized to show the duality of the association schemes coming from actions of two finite groups on the same finite abelian group. An example of this is supplied with weak Hamming schemes.

A lonesum matrix is a matrix that can be uniquely reconstructed from its row and column sums. Kaneko defined the poly-Bernoulli numbers $B_m^{(n)}$ by a generating function, and Brewbaker computed the number of binary lonesum $m\times n$-matrices and showed that this number coincides with the poly-Bernoulli number $B_m^{(-n)}$. We compute the number of $q$-ary lonesum $m\times n$-matrices, and then provide generalized Kaneko's formulas by using the generating function for the number of $q$-ary lonesum $m\times n$-matrices. In addition, we define two types of $q$-ary lonesum matrices that are composed of strong and weak lonesum matrices, and suggest further researches on lonesum matrices. \

We improve the upper bound of Levenshtein for the cardinality of a code of length 4 capable of correcting single deletions over an alphabet of even size. We also illustrate that the new upper bound is sharp. Furthermore we will construct an optimal perfect code capable of correcting single deletions for the same parameters.

A binary poset code of codimension M (of cardinality 2^{N-M}, where N is the code length) can correct maximum M errors. All possible poset metrics that allow codes of codimension M to be M-, (M-1)- or (M-2)-perfect are described. Some general conditions on a poset which guarantee the nonexistence of perfect poset codes are derived; as examples, we prove the nonexistence of R-perfect poset codes for some R in the case of the crown poset and in the case of the union of disjoin chains. Index terms: perfect codes, poset codes