arXiv++ Combinatorics

Let $\mathbb{F}_q^d$ be a $d$-dimensional vector space over a finite field $\mathbb{F}_q$ with $q$ elements. For $x\in \mathbb{F}_q^d$, let $\|x\| = x_1^2+\dots+x_d^2$. By abuse of terminology, we shall call $\|\cdot\|$ a norm on $\mathbb{F}_q^d$. For a subset $E\subset \mathbb{F}_q^d$, let $Δ(E)$ be the distance set on $E$ defined as $Δ(E):=\{\|x-y\| : x, y \in E \}$. The Mattila-Sjölin problem seeks the smallest exponent $α>0$ such that $Δ(E) =\mathbb{F}_q$ for all subsets $E \subset \mathbb{F}_q^d$ with $|E| \geq Cq^α$. In this article, we consider this problem for a variant of this norm, which generates a smaller distance set than the norm $\|\cdot\|.$ Namely, we replace the norm $\|\cdot\|$ by the so-called $k$-norm $(1 \leq k \leq d)$, which can be viewed as a kind of deformation of $\|\cdot\|$. To derive our result on the Mattila-Sjölin problem for the $k$-norm, we use a combinatorial method to analyze various summations arising from the discrete Fourier machinery. Even though our distance set is smaller than the one in the Mattila-Sjölin problem, for some $k$ we still obtain the same result as that of Iosevich and Rudnev (2007), which deals with the Mattila-Sjölin problem. Furthermore, our result is sharp in all odd dimensions.

We extend Raimi's classical partition theorem to the continuous setting of the circle and $n$-dimensional torus. Building on recent work of Hegyvári, Pach, and Pham in finite groups, we prove that there exist measurable partitions of the $n$-dimensional torus $\mathbb{T}^n$ with the property that for any finite measurable cover, some translated part of the cover has positive measure intersection with every partition element. Our proof adapts combinatorial arguments from the finite setting using measure-theoretic techniques and slicing arguments in product spaces.

In this paper, we study the cardinality of the distance set $Δ(A, B)$ determined by two subsets $A$ and $B$ of the $d$-dimensional vector space over a finite field $\mathbb{F}_q$. Assuming that $A$ or $B$ lies in a $k$-coordinate plane up to translations and rotations, we prove that if $|A||B| > 2q^d$, then $|Δ(A, B)| > q/2$, where $|Δ(A, B)|$ denotes the number of distinct distances between elements of $A$ and $B$. In particular, we show that our result recovers the sharp $(d+1)/2$ threshold for the Erdős-Falconer distance problem in odd dimensions, where distances are determined by a single set. As an application, we also obtain an improved result on the Box distance problem posed by Borges, Iosevich, and Ou, in the case where $2$ is a square in $\mathbb{F}_q$.