arXiv++ Combinatorics

Association schemes are central objects in algebraic combinatorics, with the classical schemes lying at their core. These classical association schemes essentially consist of the Hamming and Johnson schemes, and their $q$-analogs: bilinear forms scheme, alternating bilinear forms scheme, Hermitian forms scheme, $q$-Johnson scheme, and polar space schemes. Each of them gives rise to a distance-regular graph on a vertex set $X$, naturally endowed with the path metric. We study $d$-codes in these schemes, that is, subsets $Y$ of $X$ in which every pair of distinct elements has path distance at least $d$. A powerful tool for deriving upper bounds on the size of $d$-codes is the linear programming method. In the case of the Hamming and Johnson schemes, the linear program has been studied since the 1970s, but its optimum is still unknown. We determine the optimum of the linear program for nearly all classical association schemes distinct from the Hamming and Johnson schemes. This is achieved by constructing feasible solutions to both the primal and dual linear programs whose objective values coincide. As a corollary, we obtain upper bounds on $t$-intersecting sets in classical association schemes, providing new proofs of several known results and, in particular, improving earlier bounds on $t$-intersecting sets of generators in polar spaces. These results can be viewed as analogs of the classical Erdős-Ko-Rado Theorem in extremal set theory. Our proofs draw on techniques from algebraic combinatorics and the duality theory of linear programming.

It is known that the notion of a transitive subgroup of a permutation group $P$ extends naturally to the subsets of $P$. We study transitive subsets of the wreath product $G \wr S_n$, where $G$ is a finite abelian group. This includes the hyperoctahedral group for $G=C_2$. We give structural characterisations of transitive subsets using the character theory of $G \wr S_n$ and interpret such subsets as designs in the conjugacy class association scheme of $G \wr S_n$. In particular, we prove a generalisation of the Livingstone-Wagner theorem and give explicit constructions of transitive sets. Moreover, we establish connections to orthogonal polynomials, namely the Charlier polynomials, and use them to study codes and designs in $C_r \wr S_n$. Many of our results extend results about the symmetric group $S_n$.

Combinatorial designs have been studied for nearly 200 years. Fifty years ago, Cameron, Delsarte, and Ray-Chaudhury started investigating their q-analogs, also known as subspace designs or designs over finite fields. Designs can be defined analogously in finite classical polar spaces, too. The definition includes the m-regular systems from projective geometry as the special case where the blocks are generators of the polar space. The first nontrivial such designs for t > 1 were found by De Bruyn and Vanhove in 2012, and some more designs appeared recently in the PhD thesis of Lansdown. In this article, we investigate the theory of classical and subspace designs for applicability to designs in polar spaces, explicitly allowing arbitrary block dimensions. In this way, we obtain divisibility conditions on the parameters, derived and residual designs, intersection numbers and an analog of Fisher's inequality. We classify the parameters of symmetric designs. Furthermore, we conduct a computer search to construct designs of strength t=2, resulting in designs for more than 140 previously unknown parameter sets in various classical polar spaces over GF(2) and GF(3).

We investigate what we call generalized ovoids, that is families of totally isotropic subspaces of finite classical polar spaces such that each maximal totally isotropic subspace contains precisely one member of that family. This is a generalization of ovoids in polar spaces as well as the natural $q$-analog of a subcube partition of the hypercube (which can be seen as a polar space with $q=1$). Our main result proves that a generalized ovoid of $k$-spaces in polar spaces of large rank does not exist. More precisely, for $q=p^h$, $p$ prime, and some positive integer $k$, a generalized ovoid of $k$-spaces in a polar space $\mathcal{P}$ with rank $r \geq r_0(k, p)$ in a vector space $V(n,q)$ does not exist.

It is known that the notion of a transitive subgroup of a permutation group $G$ extends naturally to subsets of $G$. We consider subsets of the general linear group $\operatorname{GL}(n,q)$ acting transitively on flag-like structures, which are common generalisations of $t$-dimensional subspaces of $\mathbb{F}_q^n$ and bases of $t$-dimensional subspaces of $\mathbb{F}_q^n$. We give structural characterisations of transitive subsets of $\operatorname{GL}(n,q)$ using the character theory of $\operatorname{GL}(n,q)$ and interprete such subsets as designs in the conjugacy class association scheme of $\operatorname{GL}(n,q)$. In particular we generalise a theorem of Perin on subgroups of $\operatorname{GL}(n,q)$ acting transitively on $t$-dimensional subspaces. We survey transitive subgroups of $\operatorname{GL}(n,q)$, showing that there is no subgroup of $\operatorname{GL}(n,q)$ with $1<t<n$ acting transitively on $t$-dimensional subspaces unless it contains $\operatorname{SL}(n,q)$ or is one of two exceptional groups. On the other hand, for all fixed $t$, we show that there exist nontrivial subsets of $\operatorname{GL}(n,q)$ that are transitive on linearly independent $t$-tuples of $\mathbb{F}_q^n$, which also shows the existence of nontrivial subsets of $\operatorname{GL}(n,q)$ that are transitive on more general flag-like structures. We establish connections with orthogonal polynomials, namely the Al-Salam-Carlitz polynomials, and generalise a result by Rudvalis and Shinoda on the distribution of the number of fixed points of the elements in $\operatorname{GL}(n,q)$. Many of our results can be interpreted as $q$-analogs of corresponding results for the symmetric group.

The Desarguesian ovoids in the orthogonal polar space $Q^+(7,q)$ with $q$ even have first been introduced by Kantor by examining the $8$-dimensional absolutely irreducible modular representations of $\text{PGL}(2,q^3)$. We investigate this module for all prime power values of $q$. The shortest $\text{PGL}(2,q^3)$-orbit $O$ gives the Desarguesian ovoid in $Q^+(7,q)$ for even $q$ and it is known to give a complete partial ovoid of the symplectic polar space $W(7,q)$ for odd~$q$. We determine the hyperplane sections of $O$. As a corollary, we obtain the parameters $[q^3+1,8,q^3-q^2-q]_q$ and the weight distribution of the associated $\mathbb{F}_q$-linear code $C_O$ and the parameters $[q^3+1,q^3-7,5]_q$ of the dual code $C_O^\perp$ for $q \ge 4$. We also show that both codes $C_O$ and $C_O^\perp$ are length-optimal for all prime power values of $q$.

A subset $Y$ of the general linear group $\operatorname{GL}(n,q)$ is called $t$-intersecting if $\operatorname{rk}(x-y)\le n-t$ for all $x,y\in Y$, or equivalently $x$ and $y$ agree pointwise on a $t$-dimensional subspace of $\mathbb{F}_q^n$ for all $x,y\in Y$. We show that, if $n$ is sufficiently large compared to $t$, the size of every such $t$-intersecting set is at most that of the stabiliser of a basis of a $t$-dimensional subspace of $\mathbb{F}_q^n$. In case of equality, the characteristic vector of $Y$ is a linear combination of the characteristic vectors of the cosets of these stabilisers. We also give similar results for subsets of $\operatorname{GL}(n,q)$ that intersect not necessarily pointwise in $t$-dimensional subspaces of $\mathbb{F}_q^n$ and for cross-intersecting subsets of $\operatorname{GL}(n,q)$. These results may be viewed as variants of the classical Erdős-Ko-Rado Theorem in extremal set theory and are $q$-analogs of corresponding results known for the symmetric group. Our methods are based on eigenvalue techniques to estimate the size of the largest independent sets in graphs and crucially involve the representation theory of $\operatorname{GL}(n,q)$.

A finite classical polar space of rank $n$ consists of the totally isotropic subspaces of a finite vector space equipped with a nondegenerate form such that $n$ is the maximal dimension of such a subspace. A $t$-Steiner system in a finite classical polar space of rank $n$ is a collection $Y$ of totally isotropic $n$-spaces such that each totally isotropic $t$-space is contained in exactly one member of $Y$. Nontrivial examples are known only for $t=1$ and $t=n-1$. We give an almost complete classification of such $t$-Steiner systems, showing that such objects can only exist in some corner cases. This classification result arises from a more general result on packings in polar spaces.

We show that there exist ordered orthogonal arrays, whose sizes deviate from the Rao bound by a factor that is polynomial in the parameters of the ordered orthogonal array. The proof is nonconstructive and based on a probabilistic method due to Kuperberg, Lovett and Peled.

We consider a generalisation of a conjecture by Patterson and Wiedemann from 1983 on the Hamming distance of a function from $\mathbb{F}_q^n$ to $\mathbb{F}_q$ to the set of affine functions from $\mathbb{F}_q^n$ to $\mathbb{F}_q$. We prove the conjecture for each $q$ such that the characteristic of $\mathbb{F}_q$ lies in a subset of the primes with density $1$ and we prove the conjecture for all $q$ by assuming the generalised Riemann hypothesis. Roughly speaking, we show the existence of functions for which the distance to the affine functions is maximised when $n$ tends to infinity. This also determines the asymptotic behaviour of the covering radius of the $[q^n,n+1]$ Reed-Muller code over $\mathbb{F}_q$ and so answers a question raised by Leducq in 2013. Our results extend the case $q=2$, which was recently proved by the author and which corresponds to the original conjecture by Patterson and Wiedemann. Our proof combines evaluations of Gauss sums in the semiprimitive case, probabilistic arguments, and methods from discrepancy theory.

Planar functions are mappings from a finite field $\mathbb{F}_q$ to itself with an extremal differential property. Such functions give rise to finite projective planes and other combinatorial objects. There is a subtle difference between the definitions of these functions depending on the parity of $q$ and we consider the case that $q$ is even. We classify polynomials of degree at most $q^{1/4}$ that induce planar functions on $\mathbb{F}_q$, by showing that such polynomials are precisely those in which the degree of every monomial is a power of two. As a corollary we obtain a complete classification of exceptional planar polynomials, namely polynomials over $\mathbb{F}_q$ that induce planar functions on infinitely many extensions of~$\mathbb{F}_q$. The proof strategy is to study the number of $\mathbb{F}_q$-rational points of an algebraic curve attached to a putative planar function.~Our methods also give a simple proof of a new partial result for the classification of almost perfect nonlinear~functions.

Let $\mathscr{Q}(m,q)$ and $\mathscr{S}(m,q)$ be the sets of quadratic forms and symmetric bilinear forms on an $m$-dimensional vector space over $\mathbb{F}_q$, respectively. The orbits of $\mathscr{Q}(m,q)$ and $\mathscr{S}(m,q)$ under a natural group action induce two translation association schemes, which are known to be dual to each other. We give explicit expressions for the eigenvalues of these association schemes in terms of linear combinations of generalised Krawtchouk polynomials, generalising earlier results for odd $q$ to the more difficult case when $q$ is even. We then study $d$-codes in these schemes, namely subsets $X$ of $\mathscr{Q}(m,q)$ or $\mathscr{S}(m,q)$ with the property that, for all distinct $A,B\in X$, the rank of $A-B$ is at least $d$. We prove tight bounds on the size of $d$-codes and show that, when these bounds hold with equality, the inner distributions of the subsets are often uniquely determined by their parameters. We also discuss connections to classical error-correcting codes and show how the Hamming distance distribution of large classes of codes over $\mathbb{F}_q$ can be determined from the results of this paper.

The largest Hamming distance between a Boolean function in $n$ variables and the set of all affine Boolean functions in $n$ variables is known as the covering radius $ρ_n$ of the $[2^n,n+1]$ Reed-Muller code. This number determines how well Boolean functions can be approximated by linear Boolean functions. We prove that \[ \lim_{n\to\infty}2^{n/2}-ρ_n/2^{n/2-1}=1, \] which resolves a conjecture due to Patterson and Wiedemann from 1983.

Maximum rank-distance (MRD) codes are extremal codes in the space of $m\times n$ matrices over a finite field, equipped with the rank metric. Up to generalizations, the classical examples of such codes were constructed in the 1970s and are today known as Gabidulin codes. Motivated by several recent approaches to construct MRD codes that are inequivalent to Gabidulin codes, we study the equivalence issue for Gabidulin codes themselves. This shows in particular that the family of Gabidulin codes already contains a huge subset of MRD codes that are pairwise inequivalent, provided that $2\le m\le n-2$.

Let $X=X(n,q)$ be the set of $n\times n$ Hermitian matrices over $\mathbb{F}_{q^2}$. It is well known that $X$ gives rise to a metric translation association scheme whose classes are induced by the rank metric. We study $d$-codes in this scheme, namely subsets $Y$ of $X$ with the property that, for all distinct $A,B\in Y$, the rank of $A-B$ is at least $d$. We prove bounds on the size of a $d$-code and show that, under certain conditions, the inner distribution of a $d$-code is determined by its parameters. Except if $n$ and $d$ are both even and $4\le d\le n-2$, constructions of $d$-codes are given, which are optimal among the $d$-codes that are subgroups of $(X,+)$. This work complements results previously obtained for several other types of matrices over finite fields.

The extent to which a sequence of finite length differs from a shifted version of itself is measured by its aperiodic autocorrelations. Of particular interest are sequences whose entries are 1 or -1, called binary sequences, and sequences whose entries are complex numbers of unit magnitude, called unimodular sequences. Since the 1950s, there is sustained interest in sequences with small aperiodic autocorrelations relative to the sequence length. One of the main motivations is that a sequence with small aperiodic autocorrelations is intrinsically suited for the separation of signals from noise, and therefore has natural applications in digital communications. This survey reviews the state of knowledge concerning the two central problems in this area: How small can the aperiodic autocorrelations of a binary or a unimodular sequence collectively be and how can we efficiently find the best such sequences? Since the analysis and construction of sequences with small aperiodic autocorrelations is closely tied to the (often much easier) analysis of periodic autocorrelation properties, several fundamental results on corresponding problems in the periodic setting are also reviewed.

A Littlewood polynomial is a polynomial in $\mathbb{C}[z]$ having all of its coefficients in $\{-1,1\}$. There are various old unsolved problems, mostly due to Littlewood and Erdős, that ask for Littlewood polynomials that provide a good approximation to a function that is constant on the complex unit circle, and in particular have small $L^q$ norm on the complex unit circle. We consider the Fekete polynomials \[ f_p(z)=\sum_{j=1}^{p-1}(j\mid p)\,z^j, \] where $p$ is an odd prime and $(\,\cdot\mid p)$ is the Legendre symbol (so that $z^{-1}f_p(z)$ is a Littlewood polynomial). We give explicit and recursive formulas for the limit of the ratio of $L^q$ and $L^2$ norm of $f_p(z)$ when $q$ is an even positive integer and $p\to\infty$. To our knowledge, these are the first results that give these limiting values for specific sequences of nontrivial Littlewood polynomials and infinitely many $q$. Similar results are given for polynomials obtained by cyclically permuting the coefficients of Fekete polynomials and for Littlewood polynomials whose coefficients are obtained from additive characters of finite fields. These results vastly generalise earlier results on the $L^4$ norm of these polynomials.

The problem of constructing polynomials with all coefficients $1$ or $-1$ and large merit factor (equivalently with small $L^4$ norm on the unit circle) arises naturally in complex analysis, condensed matter physics, and digital communications engineering. Most known constructions arise (sometimes in a subtle way) from difference sets, in particular from Paley and Singer difference sets. We consider the asymptotic merit factor of polynomials constructed from other difference sets, providing the first essentially new examples since 1991. In particular we prove a general theorem on the asymptotic merit factor of polynomials arising from cyclotomy, which includes results on Hall and Paley difference sets as special cases. In addition, we establish the asymptotic merit factor of polynomials derived from Gordon-Mills-Welch difference sets and Sidelnikov almost difference sets, proving two recent conjectures.

A Barker sequence is a binary sequence for which all nontrivial aperiodic autocorrelations are at most 1 in magnitude. An old conjecture due to Turyn asserts that there is no Barker sequence of length greater than 13. In 1961, Turyn and Storer gave an elementary, though somewhat complicated, proof that this conjecture holds for odd lengths. We give a new and simpler proof of this result.

Let $q$ be an odd prime power and let $X(m,q)$ be the set of symmetric bilinear forms on an $m$-dimensional vector space over $\mathbb{F}_q$. The partition of $X(m,q)$ induced by the action of the general linear group gives rise to a commutative translation association scheme. We give explicit expressions for the eigenvalues of this scheme in terms of linear combinations of generalised Krawtchouk polynomials. We then study $d$-codes in this scheme, namely subsets $Y$ of $X(m,q)$ with the property that, for all distinct $A,B\in Y$, the rank of $A-B$ is at least $d$. We prove bounds on the size of a $d$-code and show that, under certain conditions, the inner distribution of a $d$-code is determined by its parameters. Constructions of $d$-codes are given, which are optimal among the $d$-codes that are subgroups of $X(m,q)$. Finally, with every subset $Y$ of $X(m,q)$, we associate two classical codes over $\mathbb{F}_q$ and show that their Hamming distance enumerators can be expressed in terms of the inner distribution of $Y$. As an example, we obtain the distance enumerators of certain cyclic codes, for which many special cases have been previously obtained using long ad hoc calculations.