Proof of a conjecture of Kløve on permutation codes under the Chebychev distance

Let d be a positive integer and x a real number. Let Ad,x\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$A_{d, x}$$\end{document} be a d×2d\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$d\times 2d$$\end{document} matrix with its entries ai,j=xfor1⩽j⩽d+1-i,1ford+2-i⩽j⩽d+i,0ford+1+i⩽j⩽2d.\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\begin{aligned} a_{i,j}=\left\{ \begin{array}{ll} x\ \ &{} \quad \text{ for } \ 1\leqslant j\leqslant d+1-i,\\ 1\ \ &{} \quad \text{ for } \ d+2-i\leqslant j\leqslant d+i,\\ 0\ \ &{} \quad \text{ for } \ d+1+i\leqslant j\leqslant 2d. \end{array} \right. \end{aligned}$$\end{document}Further, let Rd\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$R_d$$\end{document} be a set of sequences of integers as follows: Rd=(ρ1,ρ2,…,ρd)|1⩽ρi⩽d+i,1⩽i⩽d,andρr≠ρsforr≠s.\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\begin{aligned} R_d=\left\{ (\rho _1, \rho _2,\ldots , \rho _d)|1\leqslant \rho _i\leqslant d+i, 1\leqslant i \leqslant d,\ \text{ and }\ \rho _r\ne \rho _s\ \quad \text{ for }\ r\ne s\right\} . \end{aligned}$$\end{document}and define Ωd(x)=∑ρ∈Rda1,ρ1a2,ρ2…ad,ρd.\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\begin{aligned} \Omega _d(x)=\sum _{\rho \in R_d}a_{1,\rho _1}a_{2, \rho _2}\ldots a_{d,\rho _d}. \end{aligned}$$\end{document}In order to give a better bound on the size of spheres of permutation codes under the Chebychev distance, Kløve introduced the above function and conjectured that Ωd(x)=∑m=0ddm(m+1)d(x-1)d-m.\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\begin{aligned} \Omega _d(x)=\sum _{m=0}^d{d\atopwithdelims ()m}(m+1)^d(x-1)^{d-m}. \end{aligned}$$\end{document}In this paper, we settle down this conjecture positively.

Further, let R d be a set of sequences of integers as follows: In order to give a better bound on the size of spheres of permutation codes under the Chebychev distance, Kløve introduced the above function and conjectured that In this paper, we settle down this conjecture positively.

Introduction
A permutation code is a subset of the symmetric group S n , equipped with a distance metric. Permutation codes are of potential use in various applications such as power-line communications and coding for flash memories used with rank modulation [6,7]. Permutation codes were extensively studied over the last decade. Hamming metric is naturally the first to be considered. Later, Ulam metric [4] and Kendall τ -metric [2] were introduced and are now the two most investigated metrics. However in [9], a new metric named the Chebyshev metric was proposed by Kløve et al., when they were studying the multi-level flash memory model. A combinatorial survey on metrics related to permutations was given in [3]. The two main questions in coding theory are fundamental limits on the parameters of the code (information rate versus minimum distance) and constructions of codes that attain these limits. It turns out that both topics are difficult for permutation codes. Few explicit constructions were obtained for various metrics and no general bounds better than the GV-bound and Sphere packing bounds were found in [1,2,4,6,9] except for the Hamming metric [5]. Both the GV-bound and the Sphere packing bound depends on the volume (V (d, n)) of a typical "ball" which consists of permutations in S n at distance at most d from the identity permutation. The calculation of the volume of that ball becomes a crucial problem.
The Chebychev distance d( p, q) between two permutations p = ( p 1 , p 2 , . . . , p n ) and q = (q 1 , q 2 , . . . , q n ) is defined by Although the permanent looks similar to the determinant of a matrix, it is a difficult problem to compute the permanent for general matrices. The celebrated van der Waerden theorem gives a lower bound for the permanent of the so called doubly stochastic n × n matrix. Here doubly stochastic means that all the elements are non-negative and that the sum of the elements in any row or column is 1. Thus, if A is an n × n matrix where the sum of the elements in any row or column is a constant k, then van der Waerden theorem gives a lower bound on the permanent of A.
By noticing that most rows and columns of A (d,n) have the sum 2d + 1, Kløve defined a closely related matrix B (d,n) with row sum and column sum 2d + 1 so that van der Waerden's theorem can be applied. The matrix B (d,n) is defined as follows: With this new defined matrix B (d,n) , Kløve [10] gave a lower bound on V (d, n) as follows: For example, Let R d be a set of sequences of integers as follows: Let Kløve [9] also gave the following lower bound on V (d, n): In particular, d (2) = d . Kløve gave the following generalized conjecture and verified it for d 9.
Conjecture 2 [10, Conjecture 1] For any positive integer d, In this paper, we shall prove that Conjecture 2 is true.

Proof of Kløve's Conjecture Theorem 3 For any positive integer d, the identity (1.3) holds.
Actually, for any m × n matrix A = (a i, j ) with m n, the permanent function of A is already defined as follows (see, for example, [11]): per(A) = σ ∈P(n,m) a 1,σ 1 a 2,σ 2 · · · a m,σ m , where P(n, m) denotes the set of all m-permutations of the n-set {1, 2, . . . , n}.
In fact, by the definition of R d , we know that R d is exactly the subset of all d-permutations of the 2d-set {1, 2, . . . , 2d} such that σ ∈ R d if and only if a 1,σ 1 a 2,σ 2 · · · a d,σ d = 0. Hence we have d (x) = per(A d,x ).
In order to prove Theorem 3, we first give a related combinatorial identity.
For example, we have Proof of Lemma 4 We compute the multiple sum in the order from k m to k 1 . It can be proved by induction on k m−1 , k m−2 , . . . , k m−i−1 respectively that n k m =k m−1 By choosing i = m − 1 in (2.2), we complete the proof of (2.1).

Proof of Theorem 3 It is clear that (1.3) is equivalent to
By the definition of d (x + 1), we know that each x comes from the first term in x + 1.
To compute b m , we first choose m x's from m (x + 1)'s which are not in the same row nor in the same column of the matrix A d,x+1 , and then choose (d − m) 1's in the other d − m rows so that no 1's are in the same column. Suppose that the m x's are chosen from the rows indexed by d + 1 − i 1 , d + 1 − i 2 , . . . , d + 1 − i m with i 1 < i 2 < · · · < i m , respectively. By noticing that the (d + 1 − i)-th row has i (x + 1)'s and all the x's we choose must be in different columns, we have i 1 (i 2 − 1)(i 3 − 2) · · · (i m − m + 1) ways to do this. As for the number of ways to choose 1's in the remaining rows, we notice that the i-th row has d + i 1's including those 1's in (x + 1)'s and all these 1's form several right trapezoids in the matrix A d,x+1 . Therefore, there are (d where k s = i s − s + 1 (s = 1, . . . , m), k 0 = 1, and k m+1 = d − m + 1. By replacing n by d − m + 1 in (2.1), we obtain b m = d m (d − m + 1) d . This completes the proof.
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.