Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new userSimple proofs for Furstenberg sets over finite fields
144
0
0.0
(
0
)
Ask ChatGPT about the research
No Arabic abstract
A $(k,m)$-Furstenberg set $S subset mathbb{F}_q^n$ over a finite field is a set that has at least $m$ points in common with a $k$-flat in every direction. The question of determining the smallest size of such sets is a natural generalization of the finite field Kakeya problem. The only previously known bound for these sets is due to Ellenberg-Erman and requires sophisticated machinery from algebraic geometry. In this work we give new, completely elementary and simple, proofs which significantly improve the known bounds. Our main result relies on an equivalent formulation of the problem using the notion of min-entropy, which could be of independent interest.
rate research
Read More
A subset $S subset mathbb{F}_q^n$, where $mathbb{F}_q$ is a finite field, is called $(k,m)$-Furstenberg if it has $m$ common points with a $k$-flat in each direction. That is, any $k$-dimensional subspace of $mathbb{F}_q^n$ can be translated so that it intersects $S$ in at least $m$ points. Using sophisticated scheme-theoretic machinery, Ellenberg and Erman proved that $(k,m)$-Furstenberg sets must have size at least $C_{n,k}m^{n/k}$ with a constant $C_{n,k}$ depending only $n$ and $k$. In this work we follow the overall proof strategy of Ellenberg-Erman, replacing the scheme-theoretic language with more elementary machinery. In addition to presenting the proof in a self-contained and accessible form, we are also able to improve the constant $C_{n,k}$ by modifying certain key parts of the argument.
Motivated by integral point sets in the Euclidean plane, we consider integral point sets in affine planes over finite fields. An integral point set is a set of points in the affine plane $mathbb{F}_q^2$ over a finite field $mathbb{F}_q$, where the formally defined squared Euclidean distance of every pair of points is a square in $mathbb{F}_q$. It turns out that integral point sets over $mathbb{F}_q$ can also be characterized as affine point sets determining certain prescribed directions, which gives a relation to the work of Blokhuis. Furthermore, in one important sub-case integral point sets can be restated as cliques in Paley graphs of square order. In this article we give new results on the automorphisms of integral point sets and classify maximal integral point sets over $mathbb{F}_q$ for $qle 47$. Furthermore, we give two series of maximal integral point sets and prove their maximality.
We say that $M$ and $S$ form a textsl{splitting} of $G$ if every nonzero element $g$ of $G$ has a unique representation of the form $g=ms$ with $min M$ and $sin S$, while $0$ has no such representation. The splitting is called {it nonsingular} if $gcd(|G|, a) = 1$ for any $ain M$. In this paper, we focus our study on nonsingular splittings of cyclic groups. We introduce a new notation --direct KM logarithm and we prove that if there is a prime $q$ such that $M$ splits $mathbb{Z}_q$, then there are infinitely many primes $p$ such that $M$ splits $mathbb{Z}_p$.
In this paper, we study dot-product sets and $k$-simplices in vector spaces over finite rings. We show that if $E$ is sufficiently large then the dot-product set of $E$ covers the whole ring. In higher dimensional cases, if $E$ is sufficiently large then the set of simplices and the set of dot-product simplices determined by $E$, up to congurence, have positive densities.
An orthomorphism over a finite field $mathbb{F}_q$ is a permutation $theta:mathbb{F}_qmapstomathbb{F}_q$ such that the map $xmapstotheta(x)-x$ is also a permutation of $mathbb{F}_q$. The degree of an orthomorphism of $mathbb{F}_q$, that is, the degree of the associated reduced permutation polynomial, is known to be at most $q-3$. We show that this upper bound is achieved for all prime powers $q otin{2, 3, 5, 8}$. We do this by finding two orthomorphisms in each field that differ on only three elements of their domain. Such orthomorphisms can be used to construct $3$-homogeneous Latin bitrades.
Log in to be able to interact and post comments
comments
Fetching comments
Sign in to be able to follow your search criteria
