Related papers: Finite field Nikodym problem for spread line sets

We consider shifts of a set $A\subseteq\mathbb{N}$ by elements from another set $B\subseteq\mathbb{N}$, and prove intersection properties according to the relative asymptotic size of $A$ and $B$. A consequence of our main theorem is the…

For any number field K, it is unknown which finite groups appear as Galois groups of extensions L/K such that L is a maximal subfield of a division algebra with center K (a K-division algebra). For K=Q, the answer is described by the long…

In this paper, we show that the number of points that can be placed in the grid $n\times n\times \cdots \times n~(d~times)=n^d$ for all $d\in \mathbb{N}$ with $d\geq 2$ so that no three points are collinear satisfies the lower bound…

Let $K$ be a number field with ring of integers $\mathcal O_{K}$. We prove that if $3$ does not divide $ [K:\mathbb Q]$ and $3$ splits completely in $K$, then the unit equation has no solutions in $K$. In other words, there are no $x, y \in…

We show that for any sequence $f: {\bf N} \to \{-1,+1\}$ taking values in $\{-1,+1\}$, the discrepancy $$ \sup_{n,d \in {\bf N}} \left|\sum_{j=1}^n f(jd)\right| $$ of $f$ is infinite. This answers a question of Erd\H{o}s. In fact the…

We classify fields having finitely many finite non-commutative (not necessarily central) division algebras over them. In the process, we introduce the notion of anti-closure of a field and also make comments on fields having a linear…

A set in $\mathbb R^d$ is called almost-equidistant if for any three distinct points in the set, some two are at unit distance apart. First, we give a short proof of the result of Bezdek and L\'angi claiming that an almost-equidistant set…

Let $A$ be a subset of a finite field $F := \Z/q\Z$ for some prime $q$. If $|F|^\delta < |A| < |F|^{1-\delta}$ for some $\delta > 0$, then we prove the estimate $|A+A| + |A.A| \geq c(\delta) |A|^{1+\eps}$ for some $\eps = \eps(\delta) > 0$.…

Let $k$ be any field. Let $X \subset \mathbb{P}_k^N$ be a degree $d \geq 2$ hypersurface. Under some conditions, we prove that if $X(K) \neq \emptyset$ for some extension $K/k$ with $n:=[K:k] \geq 2$ and $\gcd(n,d)=1$, then $X(L) \neq…

Let $\mathcal{F}$ be any collection of linearly separable sets of a set $P$ of $n$ points either in $\mathbb{R}^2$, or in $\mathbb{R}^3$. We show that for every natural number $k$ either one can find $k$ pairwise disjoint sets in…

We study the problem of existence of pushouts in the category of algebraic sets over an infinite field. This problem can be reduced to asking whether the property of being a finitely generated algebra over a field, or a Noetherian ring in…

We show that for a minimal system $(X,T)$, the set of saturated points along cubes with respect to its maximal $\infty$-step pro-nilfactor $X_\infty$ has a full measure. As an application, it is shown that if a minimal system $(X,T)$ has no…

Let $F$ be a subfield of $\mathbb R$ and let $K$ be a basic closed semi-algebraic set in $\mathbb R$ with $\partial K\subset F$. Let $\mathcal N$ be the natural choice of generators of $K$. We show that if $f\in F[x]$ is $\geq 0$ on $K$,…

For a given continuum $X$ and a natural number $n,$ we consider the hyperspace $F_n(X)$ of all nonempty subsets of $X$ with at most $n$ points, metrized by the Hausdorff metric. In this paper we show that if $X$ is a dendrite whose set of…

An expansion of a definably complete field either defines a discrete subring, or the image of a definable discrete set under a definable map is nowhere dense. As an application we show a definable version of Lebesgue's differentiation…

There exists an absolute constant $\delta > 0$ such that for all $q$ and all subsets $A \subseteq \mathbb{F}_q$ of the finite field with $q$ elements, if $|A| > q^{2/3 - \delta}$, then \[ |(A-A)(A-A)| = |\{ (a -b) (c-d) : a,b,c,d \in A\}| >…

We prove an analogue of the Brauer-Siegel theorem for Fermat surfaces over a finite field. Namely, letting $F_d$ be the Fermat surface of degree $d$ over $\mathbb{F}_q$ and $p_g(F_d)$ be its geometric genus, we consider the product of the…

Deciding whether or not two polynomials have isomoprhic splitting fields over the rationals is the Field Isomorphism Problem. We consider polynomials of the form $f_n(x) = x^4-nx^3-6x^2+nx+1$ with $n \neq 3$ a positive integer and we let…

We prove that if a compact line is fragmentable, then it is a Radon-Nikod\'ym compact space.

A finite set of points in $\mathbb R^d$ is called almost-equidistant if among any three distinct points in the set, some two are at unit distance. We prove that an almost-equidistant set in $\mathbb R^d$ has cardinality at most $5d^{13/9}$.