Related papers: Difference sets are not multiplicatively closed
By making use of arithmetic information inequalities, we give a strong quantitative bound for the discretised ring theorem. In particular, we show that if $A \subset [1,2]$ is a $(\delta,\sigma)$-set, with $|A| = \delta^{-\sigma},$ then…
A set A of positive integers is called a perfect difference set if every nonzero integer has an unique representation as the difference of two elements of A. We construct dense perfect difference sets from dense Sidon sets. As a consequence…
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\}| >…
Let $A\subseteq [N]$ be such that for any pair of distinct subsets $B,C\subset A$, the products $\prod_{b\in B}b$ and $\prod_{c\in C}c$ are distinct. We prove that $|A|\leq \pi(N)+\pi(N^{1/2})+o(\pi(N^{1/2}))$, where $\pi$ is the prime…
We compare the size of the difference set $A-A$ to that of the set $kA$ of $k$-fold sums. We show the existence of sets such that $|kA| < |A-A|^{a_k}$ with $a_k<1$.
A finite group of order $n$ is said to have the distinct divisor property (DDP) if there exists a permutation $g_1,\ldots, g_n$ of its elements such that $g_i^{-1}g_{i+1} \neq g_j^{-1}g_{j+1}$ for all $1\leq i<j<n$. We show that an abelian…
Let $p\geq 3$ be a prime and $n\geq 1$ be an integer. Let $K\subseteq {\mathbb{F}_p}$ denote a fixed subset with $0\in K$. Let $A\subseteq ({\mathbb{F}_p})^n$ be an arbitrary subset such that $$\{…
We show that if $A=\{a_1,a_2,..., a_k\}$ is a monotone increasing set of numbers, and the differences of the consecutive elements are all distinct, then $|A+B|\geq c|A|^{1/2}|B|$ for any finite set of numbers $B$. The bound is tight up to…
For infinitely many primes $p=4k+1$ we give a slightly improved upper bound for the maximal cardinality of a set $B\subset \ZZ_p$ such that the difference set $B-B$ contains only quadratic residues. Namely, instead of the "trivial" bound…
Let $G$ be a finite (not necessarily abelian) group and let $p=p(G)$ be the smallest prime number dividing $|G|$. We prove that $d(G)\leq \frac{|G|}{p}+9p^2-10p$, where $d(G)$ denotes the small Davenport constant of $G$ which is defined as…
Let A be a finite subset of the integers or, more generally, of any abelian group, written additively. The set A has "more sums than differences" if |A+A|>|A-A|. A set with this property is called an MSTD set. This paper gives explicit…
Let $F_p$ be the field of a prime order $p.$ For a subset $A\subset F_p$ we consider the product set $A(A+1).$ This set is an image of $A\times A$ under the polynomial mapping $f(x,y)=xy+x:F_p\times F_p\to F_p.$ In the present paper we show…
Large fields (also called ample, anti-mordellic) generalize many fields of classical interest, such as algebraically closed fields, real-closed fields, and $p$-adic fields. In this note we answer a question of Pop by generalizing a result…
Let $\mathbb{F}_p$ be the field of a prime order $p.$ It is known that for any integer $N\in [1,p]$ one can construct a subset $A\subset\mathbb{F}_p$ with $|A|= N$ such that $$ \max\{|A+A|, |AA|\}\ll p^{1/2}|A|^{1/2}. $$ In the present…
Let $A \subset \mathbb{F}_p$ with $|A| > 1$. We show there is a $d \in \mathbb{F}_p^{\times}$ such that $d \cdot A$ contains a gap of size at least $2p/ |A| - 2 $.
A $(v,k,\lambda)$ difference set in a group $G$ of order $v$ is a subset $\{d_1, d_2, \ldots,d_k\}$ of $G$ such that $D=\sum d_i$ in the group ring $\mathbb{Z}[G]$ satisfies $$D D^{-1} = n + \lambda G,$$ where $n=k-\lambda$. If $D=\sum s_i…
There exists a set $A$ of positive integers such that the number of representations of a large positive integer $m$ as a sum of two elements of $A$ grows with a lower bound of order $\log m$, but for which there is no subset $D$ of $A$…
We prove that there exists a universal constant $D$ such that if $p$ is a prime divisor of the index of the Fitting subgroup of a finite group $G$, then the number of conjugacy classes of G is at least $Dp/log_2 p$. We conjecture that we…
In this paper, we employ a version of Stepanov's method, developed by Hanson and Petridis, to prove several results on additive irreducibility of multiplicative subgroups in finite fields of prime order $p$. Specifically, we show that if a…
In a recent breakthrough, Kalmynin resolved conjectures of Lev--Sonn and S\'{a}rk\"{o}zy on additive decompositions of multiplicative subgroups of prime fields. In this paper, inspired by a related conjecture of S\'{a}rk\"{o}zy, we prove…