arXiv++ Combinatorics

This preprint is of a chapter to appear in {\it Combinatorics and finite fields: Difference sets, polynomials, pseudorandomness and applications. Radon Series on Computational and Applied Mathematics}, K.-U. Schmidt and A. Winterhof (eds.). Rank-metric codes are codes consisting of matrices with entries in a finite field, with the distance between two matrices being the rank of their difference. Codes with maximum size for a fixed minimum distance are called Maximum Rank Distance (MRD) codes. Such codes were constructed and studied independently by Delsarte (1978), Gabidulin (1985), Roth (1991), and Cooperstein (1998). Rank-metric codes have seen renewed interest in recent years due to their applications in random linear network coding. MRD codes also have interesting connections to other topics such as semifields (finite nonassociative division algebras), finite geometry, linearized polynomials, and cryptography. In this chapter we will survey the known constructions and applications of MRD codes, and present some open problems.

We begin a generalized study of sum-product type phenomenon in different fields by considering pairs $P(x,y)$ and $Q(x,y)$ of two variable polynomials that simultaneously exhibit small symmetric expansion. Our first result is that such $P(x,y)$ and $Q(x,y)$ over $\mathbb{R}$ and $\mathbb{C}$ have very similar structure, obtained by employing semi-algebraic geometry/o-minimality. Then using model-theoretic transfer and basic Galois theory we deduce results for fields of characteristic $0$ and characteristic $p$ when $p$ is large. We obtain as corollaries a generalization of Elekes-Rónyai type structural results to arbitrary characteristic 0 fields, and a strengthening of these classic results in a symmetric case of natural interest. We note a related bound of $5/4$ in the exponent for the sum-product problem in finite fields of large characteristic, although a lower bound for this characteristic cannot be computed from our methods.

We present a concept called the branch-depth of a connectivity function, that generalizes the tree-depth of graphs. Then we prove two theorems showing that this concept aligns closely with the notions of tree-depth and shrub-depth of graphs as follows. For a graph $G = (V,E)$ and a subset $A $ of $E$ we let $λ_G (A)$ be the number of vertices incident with an edge in $A$ and an edge in $E \setminus A$. For a subset $X$ of $V$, let $ρ_G(X)$ be the rank of the adjacency matrix between $X$ and $V \setminus X$ over the binary field. We prove that a class of graphs has bounded tree-depth if and only if the corresponding class of functions $λ_G$ has bounded branch-depth and similarly a class of graphs has bounded shrub-depth if and only if the corresponding class of functions $ρ_G$ has bounded branch-depth, which we call the rank-depth of graphs. Furthermore we investigate various potential generalizations of tree-depth to matroids and prove that matroids representable over a fixed finite field having no large circuits are well-quasi-ordered by the restriction.

Let $\mathbb{F}_q$ denote the finite field with $q$ elements where $q=p^l$ is a prime power. Using Fourier analytic tools with a third moment method, we obtain sum-product type estimates for subsets of $\mathbb{F}_q$. In particular, we prove that if $A\subset \mathbb{F}_q$, then $$|AA+A|,|A(A+A)|\gg\min\left\{q, \frac{|A|^2}{q^{\frac{1}{2}}} \right\},$$ so that if $A\ge q^{\frac{3}{4}}$, then $|AA+A|,|A(A+A)|\gg q$.

Combinatorial $t$-designs have nice applications in coding theory, finite geometries and several engineering areas. There are two major methods of constructing $t$-designs. One of them is via group actions of certain permutation groups which are $t$-transitive or $t$-homogeneous on some point set. The other is a coding-theoretical one. The objectives of this paper are to introduce two constructions of $t$-designs with special polynomials over finite fields GF$(q)$, and obtain $2$-designs and $3$-designs with interesting parameters. A type of d-polynomials is defined and used to construct $2$-designs. Under the framework of the first construction, it is shown that every o-polynomial over GF$(2^m)$ gives a $2$-design, and every o-monomial over GF$(2^m)$ yields a $3$-design. Under the second construction, every $o$-polynomial gives a $3$-design. Some open problems and conjectures are also presented in this paper.

As a crucial technique for integrated circuits (IC) test response compaction, $X$-compact employs a special kind of codes called $X$-codes for reliable compressions of the test response in the presence of unknown logic values ($X$s). From a combinatorial view point, Fujiwara and Colbourn \cite{FC2010} introduced an equivalent definition of $X$-codes and studied $X$-codes of small weights that have good detectability and $X$-tolerance. An $(m,n,d,x)$ $X$-code is an $m\times n$ binary matrix with column vectors as its codewords. The parameters $d,x$ correspond to the test quality of the code. In this paper, bounds and constructions for constant weighted $X$-codes are investigated. First, we obtain a general result on the maximum number of codewords $n$ for an $(m,n,d,x)$ $X$-code of weight $w$, and we further improve this lower bound for the case with $x=2$ and $w=3$ through the probabilistic method. Then, using tools from additive combinatorics and finite fields, we present some explicit constructions for constant weighted $X$-codes with $d=3,7$ and $x=2$, which are optimal for the case when $d=3, w=4$ and nearly optimal for the case when $d=3,w=3$. We also consider a special class of $X$-codes introduced in \cite{FC2010} and improve the best known lower bound on the maximum number of codewords for this kind of $X$-codes.

We study the finite field extension estimates for Hamming varieties $H_j, j\in \mathbb F_q^*,$ defined by $H_j=\{x\in \mathbb F_q^d: \prod_{k=1}^d x_k=j\},$ where $\mathbb F_q^d$ denotes the $d$-dimensional vector space over a finite field $\mathbb F_q$ with $q$ elements. We show that although the maximal Fourier decay bound on $H_j$ away from the origin is not good, the Stein-Tomas $L^2\to L^r$ extension estimate for $H_j$ holds.

In this paper we construct planar polynomials of the type $f_{A,B}(x)=x(x^{q^2}+Ax^{q}+Bx)\in \mathbb{F}_{q^3}[x]$, with $A,B \in \mathbb{F}_{q}$. In particular we completely classify the pairs $(A,B)\in \mathbb{F}_{q}^2$ such that $f_{A,B}(x)$ is planar using connections with algebraic curves over finite fields.

Let $G_1, \dots, G_k$ be vector spaces over a finite field $\mathbb{F} = \mathbb{F}_q$ with a non-trivial additive character $χ$. The analytic rank of a multilinear form $α\colon G_1 \times \dots \times G_k \to \mathbb{F}$ is defined as $\operatorname{arank}(α) = -\log_q \mathbb{E}_{x_1 \in G_1, \dots, x_k\in G_k} χ\big(α(x_1,\dots, x_k)\big)$. The partition rank $\operatorname{prank}(α)$ of $α$ is the smallest number of maps of partition rank 1 that add up to $α$, where a map is of partition rank 1 if it can be written as a product of two multilinear forms, depending on different coordinates. It is easy to see that $\operatorname{arank}(α) \leq O\Big(\operatorname{prank}(α)\Big)$ and it has been known that $\operatorname{prank}(α)$ can be bounded from above in terms of $\operatorname{arank}(α)$. In this paper, we improve the latter bound to polynomial, i.e. we show that there are quantities $C, D$ depending on $k$ only such that $\operatorname{prank}(α) \leq C (\operatorname{arank}(α)^D + 1)$. As a consequence, we prove a conjecture of Kazhdan and Ziegler. The same result was obtained independently and simultaneously by Janzer.

A tensor defined over a finite field $\mathbb{F}$ has low analytic rank if the distribution of its values differs significantly from the uniform distribution. An order $d$ tensor has partition rank 1 if it can be written as a product of two tensors of order less than $d$, and it has partition rank at most $k$ if it can be written as a sum of $k$ tensors of partition rank 1. In this paper, we prove that if the analytic rank of an order $d$ tensor is at most $r$, then its partition rank is at most $f(r,d,|\mathbb{F}|)$, where, for fixed $d$ and $\mathbb{F}$, $f$ is a polynomial in $r$. This is an improvement of a recent result of the author, where he obtained a tower-type bound. Prior to our work, the best known bound was an Ackermann-type function in $r$ and $d$, though it did not depend on $\mathbb{F}$. It follows from our results that a biased polynomial has low rank; there too we obtain a polynomial dependence improving the previously known Ackermann-type bound. A similar polynomial bound for the partition rank was obtained independently and simultaneously by Milićević.

The concept of matrix rigidity was first introduced by Valiant in 1977. Roughly speaking, a matrix is rigid if its rank cannot be reduced significantly by changing a small number of entries. There has been extensive interest in rigid matrices as Valiant showed in his MFCS'77 paper that rigidity can be used to prove arithmetic circuit lower bounds. In a surprising result, Alman and Williams (FOCS'19) showed that the (real valued) Hadamard matrix, which was conjectured to be rigid, is actually not very rigid. This line of work was extended by Dvir and Edelman (\emph{Theory of Computing}, 2019) to a family of matrices related to the Hadamard matrix, but over finite fields. In our work, we take another step in this direction and show that for any abelian group $G$ and function $f:G \rightarrow \mathbb{C}$, the matrix given by $M_{xy} = f(x - y)$ for $x,y \in G$ is not rigid. In particular, we get that complex valued Fourier matrices, circulant matrices, and Toeplitz matrices are all not rigid and cannot be used to carry out Valiant's approach to proving circuit lower bounds. Our results also hold when we consider matrices over a fixed finite field instead of the complex numbers. This complements a recent result of Goldreich and Tal (\emph{Comp. Complexity}, 2018) who showed that Toeplitz matrices are nontrivially rigid (but not enough for Valiant's method). Our work differs from previous non-rigidity results in that those works considered matrices whose underlying group of symmetries was of the form $\mathbb{F}_p^n$ with $p$ fixed and $n$ tending to infinity, while in the families of matrices we study, the underlying group of symmetries can be any abelian group and, in particular, the cyclic group $\mathbb{Z}_N$, which has very different structure. Our results also suggest natural new candidates for rigidity in the form of matrices whose symmetry groups are highly non-abelian.

We use tools of additive combinatorics for the study of subvarieties defined by {\it high rank} families of polynomials in high dimensional $\mathbb{F} _q$-vector spaces. In the first, analytic part of the paper we prove a number properties of high rank systems of polynomials. In the second, we use these properties to deduce results in Algebraic Geometry, such as an effective Stillman conjecture over algebraically closed fields, an analogue of Nullstellensatz for varieties over finite fields, and a strengthening of a recent result of [5]. We also show that for $k$-varieties $\mathbb X \subset \mathbb{A}^n$ of high rank any weakly polynomial function on a set $\mathbb{X}(k)\subset k^n$ extends to a polynomial.

Bennett, Hart, Iosevich, Pakianathan, and Rudnev found an exponent $s<d$ such that any set $E\subset \mathbb{F}_q^d$ with $|E|\gtrsim q^s$ determines $\gtrsim q^{\binom{k+1}{2}}$ congruence classes of $(k+1)$-point configurations for $k\leq d$. Because congruence classes can be identified with tuples of distances between distinct points when $k\leq d$, and because there are $\binom{k+1}{2}$ such pairs, this means any such $E$ determines a positive proportion of all congruence classes. In the $k>d$ case, fixing all pairs of distnaces leads to an overdetermined system, so $q^{\binom{k+1}{2}}$ is no longer the correct number of congruence classes. We determine the correct number, and prove that $|E|\gtrsim q^s$ still determines a positive proportion of all congruence classes, for the same $s$ as in the $k\leq d$ case.

We introduce a model for random chain complexes over a finite field. The randomness in our complex comes from choosing the entries in the matrices that represent the boundary maps uniformly over $\mathbb{F}_q$, conditioned on ensuring that the composition of consecutive boundary maps is the zero map. We then investigate the combinatorial and homological properties of this random chain complex.

Let $\mathbb{F}_q$ be a finite field of order $q$ and $\mathcal{E}$ be a set in $\mathbb{F}_q^d$. The distance set of $\mathcal{E}$, denoted by $Δ(\mathcal{E})$, is the set of distinct distances determined by the pairs of points in $\mathcal{E}$. Very recently, Iosevich, Koh, and Parshall (2018) proved that if $|\mathcal{E}|\gg q^{d/2}$, then the quotient set of $Δ(\mathcal{E})$ satisfies \[\left\vert\frac{Δ(\mathcal{E})}{Δ(\mathcal{E})}\right\vert=\left\vert \left\lbrace\frac{a}{b}\colon a, b\in Δ(\mathcal{E}), b\ne 0\right\rbrace\right\vert\gg q.\] In this paper, we break the exponent $d/2$ when $\mathcal{E}$ is a Cartesian product of sets over a prime field. More precisely, let $p$ be a prime and $A\subset \mathbb{F}_p$. If $\mathcal{E}=A^d\subset \mathbb{F}_p^d$ and $|\mathcal{E}|\gg p^{\frac{d}{2}-\varepsilon}$ for some $\varepsilon>0$, then we have \[\left\vert\frac{Δ(\mathcal{E})}{Δ(\mathcal{E})}\right\vert, ~\left\vert Δ(\mathcal{E})\cdot Δ(\mathcal{E})\right\vert \gg p.\] Such improvements are not possible over arbitrary finite fields. These results give us a better understanding about the structure of distance sets and the Erdős-Falconer distance conjecture over finite fields.

Permutation polynomials (PPs) and their inverses have applications in cryptography, coding theory and combinatorial design theory. In this paper, we make a brief summary of the inverses of PPs of finite fields, and give the inverses of all PPs of degree $\leq 6$ over finite fields $\mathbb{F}_{q}$ for all $q$ and the inverses of all PPs of degree $7$ over $\mathbb{F}_{2^n}$. The explicit inverse of a class of fifth degree PPs is the main result, which is obtained by using Lucas' theorem, some congruences of binomial coefficients, and a known formula for the inverses of PPs of finite fields.

Motivated by notions from coding theory, we study the generalized minimum distance (GMD) function $δ_I(d,r)$ of a graded ideal $I$ in a polynomial ring over an arbitrary field using commutative algebraic methods. It is shown that $δ_I$ is non-decreasing as a function of $r$ and non-increasing as a function of $d$. For vanishing ideals over finite fields, we show that $δ_I$ is strictly decreasing as a function of $d$ until it stabilizes. We also study algebraic invariants of Geramita ideals. Those ideals are graded, unmixed, $1$-dimensional and their associated primes are generated by linear forms. We also examine GMD functions of complete intersections and show some special cases of two conjectures of Tohăneanu--Van Tuyl and Eisenbud-Green-Harris.

We investigate the structure constants of the center $\mathcal{H}_n$ of the group algebra $Sp_{n}(q)$ over a finite field. The reflection length on the group $GL_{2n}(q)$ induces a filtration on the algebras $\mathcal{H}_n$. We prove that the structure constants of the associated filtered algebra $\mathcal{S}_n$ are independent of $n$. As a technical tool in the proof, we determine the growth of the centralizers under the embedding $Sp_m(q)\subset Sp_{m+l}(q)$ and we show that the index of the centralizer of $g\in Sp_m(q)$ in the centralizer of $g\in Sp_{m+k}$ is equal to $q^{2ld}|Sp_{r+l}(q)||Sp_{r}(q)|^{-1}$ for some $d$ and $r$ which are uniquely determined by the conjugacy class of $g$ in $GL_{2n}(q).$

Let $G$ be a connected graph and let $\mathbb{X}$ be the set of projective points defined by the column vectors of the incidence matrix of $G$ over a field $K$ of any characteristic. We determine the generalized Hamming weights of the Reed--Muller-type code over the set $\mathbb{X}$ in terms of graph theoretic invariants. As an application to coding theory we show that if $G$ is non-bipartite and $K$ is a finite field of ${\rm char}(K)\neq 2$, then the $r$-th generalized Hamming weight of the linear code generated by the rows of the incidence matrix of $G$ is the $r$-th weak edge biparticity of $G$. If ${\rm char}(K)=2$ or $G$ is bipartite, we prove that the $r$-th generalized Hamming weight of that code is the $r$-th edge connectivity of $G$.

We consider a special class of generalized Paley graphs over finite fields, namely the Cayley graphs with vertex set $\mathbb{F}_{q^m}$ and connection set the nonzero $(q^\ell+1)$-th powers in $\mathbb{F}_{q^m}$, as well as their complements. We explicitly compute the spectrum and the energy of these graphs. As a consequence, the graphs turn out to be (with trivial exceptions) simple, connected, non-bipartite, integral and strongly regular, of pseudo or negative Latin square type. By using the spectral information we compute several invariants of these graphs. We exhibit infinitely many pairs of equienergetic non-isospectral graphs. As applications, on the one hand we solve Waring's problem over $\mathbb{F}_q^m$ for the exponents $q^\ell+1$, for each $q$ and for infinitely many values of $\ell$ and $m$. We obtain that the Waring's number $g(q^\ell+1,q^m)=1$ or $2$, depending on $m$ and $\ell$, thus solving some open cases. On the other hand, we construct infinite towers of Ramanujan graphs in all characteristics. Finally, we give the Ihara zeta functions of these graphs.