Related papers: Exceptional set estimates in finite fields

Let X be an algebraic curve over Q and t a non-constant Q-rational function on X such that Q(t) is a proper subfield of Q(X). For every integer n pick a point P_n on X such that t(P_n)=n. We conjecture that, for large N, among the number…

The main goal of this paper is to reveal the geometric meaning of the maximal number of exceptional values of Gauss maps for several classes of immersed surfaces in space forms, for example, complete minimal surfaces in the Euclidean…

We define, for any group $G$, finite approximations ; with this tool, we give a new presentation of the profinite completion $\hat{\pi} : G \to \hat{G}$ of an abtract group $G$. We then prove the following theorem : if $k$ is a finite prime…

The numbers of $\mathbb{F}_q$-points of nonsingular hypersurfaces of a fixed degree in an odd-dimensional projective space are investigated, and an upper bound for them is given. Also we give the complete list of nonsingular hypersurfaces…

We obtain quantitative versions of the Balog-Szemeredi-Gowers and Freiman theorems in the model case of a finite field geometry F_2^n, improving the previously known bounds in such theorems. For instance, if A is a subset of F_2^n such that…

A strong $s$-blocking set in a projective space is a set of points that intersects each codimension-$s$ subspace in a spanning set of the subspace. We present an explicit construction of such sets in a $(k - 1)$-dimensional projective space…

First, let $K \subset B(0,1) \subset \mathbb{R}^{2}$ be a set with $\mathcal{H}_{\infty}^{1}(K) \sim 1$, and write $\pi_{e}(K)$ for the orthogonal projection of $K$ into the line spanned by $e \in S^{1}$. For $1/2 \leq s < 1$, write $$E_{s}…

Root systems are sets with remarkable symmetries and therefore they appear in many situations in mathematics. Among others, denominator formulae of root systems are very beautiful and mysterious equations which have several meanings from a…

Let $f_{1}, \ldots, f_{k}$ be polynomials defining an algebraic set in affine $n$-space over a finite field. Suppose $k>n$. We prove that there exists a system of polynomials $g_{1}, \ldots, g_{n}$, each being a linear combination with…

Assuming projective determinacy, we extend Spector's strong version of the Spector-Gandy Theorem to all odd levels of the projective hierarchy: Theorem. For every space $X$ which is a finite product of the natural numbers $N$ and Baire…

Let $\mathbb{F}_{q}$ be a finite field of characteristic $p$, and let $W_{2}(\mathbb{F}_{q})$ be the ring of Witt vectors of length two over $\mathbb{F}_{q}$. We prove that for any reductive group scheme $\mathbb{G}$ over $\mathbb{Z}$ such…

We study exceptional sets for the Chacon transformation and, more generally, for a class of cutting-and-stacking transformations called restrictive tight maps. For these systems we explicitly construct a universal exceptional set…

For any prime power $q$, a polynomial $f(X)\in\F_q[X]$ is ``exceptional'' if it induces bijections of $\F_{q^k}$ for infinitely many $k$; this condition is known to be equivalent to $f(X)$ inducing a bijection of $\F_{q^k}$ for at least one…

In this work we describe an explicit, simple, construction of large subsets of F^n, where F is a finite field, that have small intersection with every k-dimensional affine subspace. Interest in the explicit construction of such sets, termed…

In our previous papers we introduced categorical invariants, which are, roughly speaking, sets of triangulated subcategories in a given triangulated category and their quotients. Here is extended the list of examples, where these sets are…

Let $V\subset\mathbb{P}^n(\overline{F}_{\hskip-0.7mm q})$ be a complete intersection defined over a finite field $F_{\hskip-0.7mm q}$ of dimension $r$ and singular locus of dimension at most $0\le s\le r-2$. We obtain an explicit version of…

We study the projection onto the set of feasible inputs and the set of feasible solutions of a polynomial optimisation problem (POP). Our motivation is increasing the robustness of solvers for POP: Without a priori guarantees of feasibility…

In this short note, we prove that for $\mathcal{E} \subset \mathbb{F}_q^d$ with $|\mathcal{E}| \geq q^{d-1} + O(q^2)$ then the set of determinants generated by $\mathcal{E}$ is $\mathbb{F}_q.$ This result is nearly optimal and generalizes…

Let G be a Chevalley group scheme and B<=G a Borel subgroup scheme, both defined over Z. Let K be a global function field, S be a finite non-empty set of places over K, and O_S be the corresponding S-arithmetic ring. Then, the S-arithmetic…

We prove finite-field analogs of Bourgain's projection theorem in higher dimensions. In particular, for a certain range of parameters we improve on an exceptional set estimate by Chen in all dimensions and codimensions.