arXiv++ Combinatorics

An analog of the Falconer distance problem in vector spaces over finite fields asks for the threshold $α>0$ such that $|Δ(E)| \gtrsim q$ whenever $|E| \gtrsim q^α$, where $E \subset {\Bbb F}_q^d$, the $d$-dimensional vector space over a finite field with $q$ elements (not necessarily prime). Here $Δ(E)=\{{(x_1-y_1)}^2+...+{(x_d-y_d)}^2: x,y \in E\}$. In two dimensions we improve the known exponent to $\tfrac{4}{3}$, consistent with the corresponding exponent in Euclidean space obtained by Wolff. The pinned distance set $Δ_y(E)=\{{(x_1-y_1)}^2+...+{(x_d-y_d)}^2: x\in E\}$ for a pin $y\in E$ has been studied in the Euclidean setting. Peres and Schlag showed that if the Hausdorff dimension of a set $E$ is greater than $\tfrac{d+1}{2}$ then the Lebesgue measure of $Δ_y(E)$ is positive for almost every pin $y$. In this paper we obtain the analogous result in the finite field setting. In addition, the same result is shown to be true for the pinned dot product set $Π_y(E)=\{x\cdot y: x\in E\}$. Under the additional assumption that the set $E$ has cartesian product structure we improve the pinned threshold for both distances and dot products to $\frac{d^2}{2d-1}$. A generalization of the Falconer distance problem is determine the minimal $α>0$ such that $E$ contains a congruent copy of every $k$ dimensional simplex whenever $|E| \gtrsim q^α$. Here the authors improve on known results (for $k>3$) using Fourier analytic methods, showing that $α$ may be taken to be $\frac{d+k}{2}$.

Let $F$ be a finite field. A multiset $S$ of integers is projection-forcing if for every linear function $φ: F^n \to F^m$ whose multiset of weight changes is $S$, $φ$ is a coordinate projection up to permutation and scaling of entries. The MacWilliams Extension Theorem from coding theory says that $S = \{0, 0, ..., 0\}$ is projection-forcing. We give a (super-polynomial) algorithm to determine whether or not a given $S$ is projection-forcing. We also give a condition that can be checked in polynomial time that implies that $S$ is projection-forcing. This result is a generalization of the MacWilliams Extension Theorem and work by the first author.

For three points $\vec{u}$,$\vec{v}$ and $\vec{w}$ in the $n$-dimensional space $\F_q^n$ over the finite field $\F_q$ of $q$ elements we give a natural interpretation of an acute angle triangle defined by this points. We obtain an upper bound on the size of a set $\cZ$ such that all triples of distinct points $\vec{u}, \vec{v}, \vec{w} \in \cZ$ define acute angle triangles. A similar question in the real space $\cR^n$ dates back to P. Erd{\H o}s and has been studied by several authors.

We show that if the cardinality of a subset of the $(2k-1)$-dimensional vector space over a finite field with $q$ elements is $\gg q^{2k-1-\frac{1}{2k}}$, then it contains a positive proportional of all $k$-simplexes up to congruence.

For a prime power $q$, we study the distribution of determinent of matrices with restricted entries over a finite field $\mathbbm{F}_q$ of $q$ elements. More precisely, let $N_d (\mathcal{A}; t)$ be the number of $d \times d$ matrices with entries in $\mathcal{A}$ having determinant $t$. We show that \[ N_d (\mathcal{A}; t) = (1 + o (1)) \frac{|\mathcal{A}|^{d^2}}{q}, \] if $|\mathcal{A}| = ω(q^{\frac{d}{2d-1}})$, $d\geqslant 4$. When $q$ is a prime and $\mathcal{A}$ is a symmetric interval $[-H,H]$, we get the same result for $d\geqslant 3$. This improves a result of Ahmadi and Shparlinski (2007).

We show that if $\mathcal{E}$ is a subset of the $d$-dimensional vector space over a finite field $\mathbbm{F}_q$ ($d \geq 3$) of cardinality $|\mathcal{E}| \geq (d-1)q^{d - 1}$, then the set of volumes of $d$-dimensional parallelepipeds determined by $\mathcal{E}$ covers $\mathbbm{F}_q$. This bound is sharp up to a factor of $(d-1)$ as taking $\mathcal{E}$ to be a $(d - 1)$-hyperplane through the origin shows.

Using the polynomial method of Dvir \cite{dvir}, we establish optimal estimates for Kakeya sets and Kakeya maximal functions associated to algebraic varieties $W$ over finite fields $F$. For instance, given an $n-1$-dimensional projective variety $W \subset ¶^n(F)$, we establish the Kakeya maximal estimate $$ \| \sup_{γ\ni w} \sum_{v \in γ(F)} |f(v)| \|_{\ell^n(W)} \leq C_{n,W,d} |F|^{(n-1)/n} \|f\|_{\ell^n(F^n)}$$ for all functions $f: F^n \to \R$ and $d \geq 1$, where for each $w \in W$, the supremum is over all irreducible algebraic curves in $F^n$ of degree at most $d$ that pass through $w$ but do not lie in $W$, and with $C_{n,W,d}$ depending only on $n, d$ and the degree of $W$; the special case when $W$ is the hyperplane at infinity in particular establishes the Kakeya maximal function conjecture in finite fields, which in turn strengthens the results of Dvir.

Given $k$ sets $\mathcal{A}_i \subseteq \mathbb{F}_q^d$ and a non-degenerate bilinear form $B$ in $\mathbb{F}_q^d$. We consider the system of $l \leq \binom{k}{2}$ bilinear equations \[ B (\tmmathbf{a}_i, \tmmathbf{a}_j) = λ_{i j}, \tmmathbf{a}_i \in \mathcal{A}_i, i = 1, ..., k. \] We show that the system is solvable for any $λ_{i j} \in \mathbb{F}_q^{*}$, $1 \leq i,j \leq k$, given that the restricted sets $\mathcal{A}_i$'s are sufficiently large.

We describe several families of permutation polynomials obtained using functions with linear translators.

We study the distribution of singular and unimodular matrices in sumsets in matrix rings over finite fields. We apply these results to estimate the largest prime divisor of the determinants in sumsets in matrix rings over the integers.

Let $\F$ a finite field. We show that the universal characteristic factor for the Gowers-Host-Kra uniformity seminorm $U^k(\X)$ for an ergodic action $(T_g)_{g \in \F^ω}$ of the infinite abelian group $\F^ω$ on a probability space $X = (X,\B,μ)$ is generated by phase polynomials $φ: X \to S^1$ of degree less than $C(k)$ on $X$, where $C(k)$ depends only on $k$. In the case where $k \leq \charac(\F)$ we obtain the sharp result $C(k)=k$. This is a finite field counterpart of an analogous result for $\Z$ by Host and Kra. In a companion paper to this paper, we shall combine this result with a correspondence principle to establish the inverse theorem for the Gowers norm in finite fields in the high characteristic case $k \leq \charac(\F)$, with a partial result in low characteristic.

We extend the "method of multiplicities" to get the following results, of interest in combinatorics and randomness extraction. (A) We show that every Kakeya set (a set of points that contains a line in every direction) in $\F_q^n$ must be of size at least $q^n/2^n$. This bound is tight to within a $2 + o(1)$ factor for every $n$ as $q \to \infty$, compared to previous bounds that were off by exponential factors in $n$. (B) We give improved randomness extractors and "randomness mergers". Mergers are seeded functions that take as input $Λ$ (possibly correlated) random variables in $\{0,1\}^N$ and a short random seed and output a single random variable in $\{0,1\}^N$ that is statistically close to having entropy $(1-δ) \cdot N$ when one of the $Λ$ input variables is distributed uniformly. The seed we require is only $(1/δ)\cdot \log Λ$-bits long, which significantly improves upon previous construction of mergers. (C) Using our new mergers, we show how to construct randomness extractors that use logarithmic length seeds while extracting $1 - o(1)$ fraction of the min-entropy of the source. The "method of multiplicities", as used in prior work, analyzed subsets of vector spaces over finite fields by constructing somewhat low degree interpolating polynomials that vanish on every point in the subset {\em with high multiplicity}. The typical use of this method involved showing that the interpolating polynomial also vanished on some points outside the subset, and then used simple bounds on the number of zeroes to complete the analysis. Our augmentation to this technique is that we prove, under appropriate conditions, that the interpolating polynomial vanishes {\em with high multiplicity} outside the set. This novelty leads to significantly tighter analyses.

Let $n$ be a positive integer. Denote by $\mathrm{PG}(n,q)$ the $n$-dimensional projective space over the finite field $\mathbb{F}_q$ of order $q$. A blocking set in $\mathrm{PG}(n,q)$ is a set of points that has non-empty intersection with every hyperplane of $\mathrm{PG}(n,q)$. A blocking set is called minimal if none of its proper subsets are blocking sets. In this note we prove that if $\mathrm{PG}(n_i,q)$ contains a minimal blocking set of size $k_i$ for $i\in\{1,2\}$, then $\mathrm{PG}(n_1+n_2+1,q)$ contains a minimal blocking set of size $k_1+k_2-1$. This result is proved by a result on groups with maximal irredundant covers.

Let V be an n-dimensional vector space over a finite field F_q. We consider on V the $π$-metric recently introduced by K. Feng, L. Xu and F. J. Hickernell. In this short note we give a complete description of the group of symmetries of V under the $π$-metric.

A univariate polynomial f over a field is decomposable if it is the composition f = g(h) of two polynomials g and h whose degree is at least 2. We determine the dimension (over an algebraically closed field) of the set of decomposables, and an approximation to their number over a finite field. The tame case, where the field characteristic p does not divide the degree n of f, is reasonably well understood, and we obtain exponentially decreasing error bounds. The wild case, where p divides n, is more challenging and our error bounds are weaker.

Consider the problem of determining whether there exists a spanning hypertree in a given k-uniform hypergraph. This problem is trivially in P for k=2, and is NP-complete for k>= 4, whereas for k=3, there exists a polynomial-time algorithm based on Lovasz' theory of polymatroid matching. Here we give a completely different, randomized polynomial-time algorithm in the case k=3. The main ingredients are a Pfaffian formula by Vaintrob and one of the authors (G.M.) for a polynomial that enumerates spanning hypertrees with some signs, and a lemma on the number of roots of polynomials over a finite field.

We prove the joints conjecture, showing that for any $N$ lines in ${\Bbb R}^3$, there are at most $O(N^{3 \over 2})$ points at which 3 lines intersect non-coplanarly. We also prove a conjecture of Bourgain showing that given $N^2$ lines in ${\Bbb R}^3$ so that no $N$ lines lie in the same plane and so that each line intersects a set $P$ of points in at least $N$ points then the cardinality of the set of points is $Ω(N^3)$. Both our proofs are adaptations of Dvir's argument for the finite field Kakeya problem.

A polynomial f (multivariate over a field) is decomposable if f = g(h) with g univariate of degree at least 2. We determine the dimension (over an algebraically closed field) of the set of decomposables, and an approximation to their number over a finite field. The relative error in our approximations is exponentially decaying in the input size.

Let $\Z/pZ$ be the finite field of prime order $p$ and $A$ be a subsequence of $\Z/pZ$. We prove several classification results about the following questions: (1) When can one represent zero as a sum of some elements of $A$ ? (2) When can one represent every element of $\Z/pZ$ as a sum of some elements of $A$ ? (3) When can one represent every element of $\Z/pZ$ as a sum of $l$ elements of $A$ ?

The inverse conjecture for the Gowers norms $U^d(V)$ for finite-dimensional vector spaces $V$ over a finite field $\F$ asserts, roughly speaking, that a bounded function $f$ has large Gowers norm $\|f\|_{U^d(V)}$ if and only if it correlates with a phase polynomial $φ= e_\F(P)$ of degree at most $d-1$, thus $P: V \to \F$ is a polynomial of degree at most $d-1$. In this paper, we develop a variant of the Furstenberg correspondence principle which allows us to establish this conjecture in the large characteristic case $\charac(F) \geq d$ from an ergodic theory counterpart, which was recently established by Bergelson and the authors. In low characteristic we obtain a partial result, in which the phase polynomial $φ$ is allowed to be of some larger degree $C(d)$. The full inverse conjecture remains open in low characteristic; the counterexamples by Lovett-Meshulam-Samorodnitsky or Green-Tao in this setting can be avoided by a slight reformulation of the conjecture.