Frequency permutation arrays

Motivated by recent interest in permutation arrays, we introduce and investigate the more general concept of frequency permutation arrays (FPAs). An FPA of length n=m lambda and distance d is a set T of multipermutations on a multiset of m symbols, each repeated with frequency lambda, such that the Hamming distance between any distinct x,y in T is at least d. Such arrays have potential applications in powerline communication. In this paper, we establish basic properties of FPAs, and provide direct constructions for FPAs using a range of combinatorial objects, including polynomials over finite fields, combinatorial designs, and codes. We also provide recursive constructions, and give bounds for the maximum size of such arrays.Comment: To appear in Journal of Combinatorial Design

Normalized Leonard pairs and Askey-Wilson relations

Let $V$ denote a vector space with finite positive dimension, and let $(A,B)$ denote a Leonard pair on $V$. As is known, the linear transformations $A,B$ satisfy the Askey-Wilson relations A^2B -bABA +BA^2 -g(AB+BA) -rB = hA^2 +wA +eI, B^2A -bBAB +AB^2 -h(AB+BA) -sA = gB^2 +wB +fI, for some scalars $b,g,h,r,s,w,e,f$. The scalar sequence is unique if the dimension of $V$ is at least 4. If $c,c*,t,t*$ are scalars and $t,t*$ are not zero, then $(tA+c,t*B+c*)$ is a Leonard pair on $V$ as well. These affine transformations can be used to bring the Leonard pair or its Askey-Wilson relations into a convenient form. This paper presents convenient normalizations of Leonard pairs by the affine transformations, and exhibits explicit Askey-Wilson relations satisfied by them.Comment: 22 pages; corrected version, with improved presentation of Section

On unbalanced Boolean functions with best correlation immunity

It is known that the order of correlation immunity of a nonconstant unbalanced Boolean function in $n$ variables cannot exceed $2n/3-1$; moreover, it is $2n/3-1$ if and only if the function corresponds to an equitable $2$-partition of the $n$-cube with an eigenvalue $-n/3$ of the quotient matrix. The known series of such functions have proportion $1:3$, $3:5$, or $7:9$ of the number of ones and zeros. We prove that if a nonconstant unbalanced Boolean function attains the correlation-immunity bound and has ratio $C:B$ of the number of ones and zeros, then $CB$ is divisible by $3$. In particular, this proves the nonexistence of equitable partitions for an infinite series of putative quotient matrices. We also establish that there are exactly $2$ equivalence classes of the equitable partitions of the $12$-cube with quotient matrix $[[3,9],[7,5]]$ and $16$ classes, with $[[0,12],[4,8]]$. These parameters correspond to the Boolean functions in $12$ variables with correlation immunity $7$ and proportion $7:9$ and $1:3$, respectively (the case $3:5$ remains unsolved). This also implies the characterization of the orthogonal arrays OA$(1024,12,2,7)$ and OA$(512,11,2,6)$.Comment: v3: final; title changed; revised; OA(512,11,2,6) discusse

Counting Steiner triple systems with classical parameters and prescribed rank

By a famous result of Doyen, Hubaut and Vandensavel \cite{DHV}, the 2-rank of a Steiner triple system on $2^n-1$ points is at least $2^n -1 -n$, and equality holds only for the classical point-line design in the projective geometry $PG(n-1,2)$. It follows from results of Assmus \cite{A} that, given any integer $t$ with $1 \leq t \leq n-1$, there is a code $C_{n,t}$ containing representatives of all isomorphism classes of STS$(2^n-1)$ with 2-rank at most $2^n -1 -n + t$. Using a mixture of coding theoretic, geometric, design theoretic and combinatorial arguments, we prove a general formula for the number of distinct STS$(2^n-1)$ with 2-rank at most $2^n -1 -n + t$ contained in this code. This generalizes the only previously known cases, $t=1$, proved by Tonchev \cite{T01} in 2001, $t=2$, proved by V. Zinoviev and D. Zinoviev \cite{ZZ12} in 2012, and $t=3$ (V. Zinoviev and D. Zinoviev \cite{ZZ13}, \cite{ZZ13a} (2013), D. Zinoviev \cite{Z16} (2016)), while also unifying and simplifying the proofs. This enumeration result allows us to prove lower and upper bounds for the number of isomorphism classes of STS$(2^n-1)$ with 2-rank exactly (or at most) $2^n -1 -n + t$. Finally, using our recent systematic study of the ternary block codes of Steiner triple systems \cite{JT}, we obtain analogous results for the ternary case, that is, for STS$(3^n)$ with 3-rank at most (or exactly) $3^n -1 -n + t$. We note that this work provides the first two infinite families of 2-designs for which one has non-trivial lower and upper bounds for the number of non-isomorphic examples with a prescribed $p$-rank in almost the entire range of possible ranks.Comment: 27 page