arXiv++ Combinatorics

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.

By considering Eulerian numbers and ordered Stirling numbers of the second and third kinds over a multiset, we generalize identities of Eulerian numbers and Stirling numbers of the second and third kinds and provide $q$-analogs of these generalizations. Using these generalizations, we also compute Eulerian numbers and ordered Stirling numbers of the second kind over a multiset.

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.