arXiv++ Combinatorics

An $f$-subgroup is a linear recurring sequence subgroup, a multiplicative subgroup of a field whose elements can be generated (without repetition) by a linear recurrence relation, with characteristic polynomial $f$. It is called non-standard if it can be generated in a non-cyclic way (that is, not in the order $α^i, α^{i+1}, α^{i+2} \ldots$ for a zero $α$ of $f$), and standard otherwise. We will show that a finite $f$-subgroup is necessarily generated by a subset of the zeros of $f$. We use this result to improve on a recent theorem of Brison and Nogueira. A old question by Brison and Nogueira asks if there exist automatically non-standard $f$-subgroups, $f$-subgroups that cannot be generated by a zero of $f$. We answer that question affirmatively by constructing infinitely many examples.

Let $\mathbb{F}_q$ be a finite field of order $q$. In this paper, we study the distribution of rectangles in a given set in $\mathbb{F}_q^2$. More precisely, for any $0<δ\le 1$, we prove that there exists an integer $q_0=q_0(δ)$ with the following property: if $q\ge q_0$ and $A$ is a multiplicative subgroup of $\mathbb{F}^*_q$ with $|A|\ge q^{2/3}$, then any set $S\subset \mathbb{F}_q^2$ with $|S|\ge δq^2$ contains at least $\gg \frac{|S|^4|A|^2}{q^5}$ rectangles with side-lengths in $A$. We also consider the case of rectangles with one fixed side-length and the other in a multiplicative subgroup $A$.

For set $A\subset {\mathbb {F}_p}^*$ define by ${\mathsf{sf}}(A)$ the size of the largest sum--free subset of $A.$ Alon and Kleitman showed that ${\mathsf{sf}} (A) \ge |A|/3+O(|A|/p).$ We prove that if ${\mathsf{sf}} (A)-|A|/3$ is small then the set $A$ must be uniformly distributed on cosets of each large multiplicative subgroup. Our argument relies on irregularity of distribution of multiplicative subgroups on certain intervals in ${\mathbb {F}_p}$.

We prove, for a sufficiently small subset $\mathcal{A}$ of a prime residue field, an estimate on the number of solutions to the equation $(a_1-a_2)(a_3-a_4) = (a_5-a_6)(a_7-a_8)$ with all variables in $\mathcal{A}$. We then derive new bounds on trilinear exponential sums and on the total number of residues equaling the product of two differences of elements of $\mathcal{A}$. We also prove a refined estimate on the number of collinear triples in a Cartesian product of multiplicative subgroups and derive stronger bounds for trilinear sums with all variables in multiplicative subgroups.

Let $R$ be a commutative ring and let $U(R)$ be multiplicative group of unit elements of $R$. In 2012, Khashyarmanesh et al. defined generalized unit and unitary Cayley graph, $Γ(R, G, S)$, corresponding to a multiplicative subgroup $G$ of $U(R)$ and a non-empty subset $S$ of $G$ with $S^{-1}=\{s^{-1} \mid s\in S\}\subseteq S$, as the graph with vertex set $R$ and two distinct vertices $x$ and $y$ are adjacent if and only if there exists $s\in S$ such that $x+sy \in G$. In this paper, we characterize all Artinian rings $R$ whose $Γ(R,U(R), S)$ is projective. This leads to determine all Artinian rings whose unit graphs, unitary Cayley garphs and co-maximal graphs are projective. Also, we prove that for an Artinian ring $R$ whose $Γ(R, U(R), S)$ has finite nonorientable genus, $R$ must be a finite ring. Finally, it is proved that for a given positive integer $k$, the number of finite rings $R$ whose $Γ(R, U(R), S)$ has nonorientable genus $k$ is finite.

The \emph{critical} group of a finite connected graph is an abelian group defined by the Smith normal form of its Laplacian. Let $q$ be a power of a prime and $H$ be a multiplicative subgroup of $K=\mathbb{F}_{q}$. By $\mathrm{Cay}(K,H)$ we denote the Cayley graph on the additive group of $K$ with `connection' set $H$. A strongly regular graph of the form $\mathrm{Cay}(K,H)$ is called a \emph{cyclotomic strongly regular graph}. Let $p$ and $\ell >2$ be primes such that $p$ is primitive $\pmod{\ell}$. We compute the \emph{critical} groups of a family of \emph{cyclotomic strongly regular graphs} for which $q=p^{(\ell-1)t}$ (with $t\in \mathbb{N}$) and $H$ is the unique multiplicative subgroup of order $k=\frac{q-1}{\ell}$. These graphs were first discovered by van Lint and Schrijver in \cite{VS}.

We prove new results on additive properties of finite sets $A$ with small multiplicative doubling $|AA|\leq M|A|$ in the category of real/complex sets as well as multiplicative subgroups in the prime residue field. The improvements are based on new combinatorial lemmata, which may be of independent interest. Our main results are the inequality $$ |A-A|^3|AA|^5 \gtrsim |A|^{10}, $$ over the reals, "redistributing" the exponents in the textbook Elekes sum-product inequality and the new best known additive energy bound $\mathsf E(A)\lesssim_M |A|^{49/20}$, which aligns, in a sense to be discussed, with the best known sum set bound $|A+A|\gtrsim_M |A|^{8/5}$. These bounds, with $M=1$, also apply to multiplicative subgroups of $\mathbb F^\times_p$, whose order is $O(\sqrt{p})$. We adapt the above energy bound to larger subgroups and obtain new bounds on gaps between elements in cosets of subgroups of order $Ω(\sqrt{p})$.

We prove that for an arbitrary $\varepsilon>0$ and any multiplicative subgroup $Γ\subseteq \mathbf{F}_p$, $1\ll |Γ| \le p^{2/3 -\varepsilon}$ there are no sets $B$, $C \subseteq \mathbf{F}_p$ with $|B|, |C|>1$ such that $Γ=B+C$. Also, we obtain that for $1\ll |Γ| \le p^{6/7-\varepsilon}$ and any $ξ\neq 0$ there is no a set $B$ such that $ξΓ+1=B/B$.

Recent results of Bourgain and Shparlinski imply that for almost all primes $p$ there is a multiple $mp$ that can be written in binary as $mp= 1+2^{m_1}+ \cdots +2^{m_k}, \quad 1\leq m_1 < \cdots < m_k,$ with $k=66$ or $k=16$, respectively. We show that $k=6$ (corresponding to Hamming weight $7$) suffices. We also prove there are infinitely many primes $p$ with a multiplicative subgroup $A=<g>\subset \mathbb{F}_p^*$, for some $g \in \{2,3,5\}$, of size $|A|\gg p/(\log p)^3$, where the sum-product set $A\cdot A+ A\cdot A$ does not cover $\mathbb{F}_p$ completely.

We prove that for any finite set A of real numbers its difference set D:=A-A has large product set and quotient set, namely, |DD|, |D/D| \gg |D|^{1+c}, where c>0 is an absolute constant. A similar result takes place in the prime field F_p for sufficiently small D. It gives, in particular, that multiplicative subgroups of size less than p^{4/5-\eps} cannot be represented in the form A-A for any A from F_p.

Over the past few years, a family of interesting new inequalities for the entropies of sums and differences of random variables has been developed by Ruzsa, Tao and others, motivated by analogous results in additive combinatorics. The present work extends these earlier results to the case of random variables taking values in $\mathbb{R}^n$ or, more generally, in arbitrary locally compact and Polish abelian groups. We isolate and study a key quantity, the Ruzsa divergence between two probability distributions, and we show that its properties can be used to extend the earlier inequalities to the present general setting. The new results established include several variations on the theme that the entropies of the sum and the difference of two independent random variables severely constrain each other. Although the setting is quite general, the result are already of interest (and new) for random vectors in $\mathbb{R}^n$. In that special case, quantitative bounds are provided for the stability of the equality conditions in the entropy power inequality; a reverse entropy power inequality for log-concave random vectors is proved; an information-theoretic analog of the Rogers-Shephard inequality for convex bodies is established; and it is observed that some of these results lead to new inequalities for the determinants of positive-definite matrices. Moreover, by considering the multiplicative subgroups of the complex plane, one obtains new inequalities for the differential entropies of products and ratios of nonzero, complex-valued random variables.

We prove, in particular, that if A,G are two arbitrary multiplicative subgroups of the prime field f_p, |G| < p^{3/4} such that the difference A-A is contained in G then |A| \ll |\G|^{1/3+o(1)}. Also, we obtain that for any eps>0 and a sufficiently large subgroup G with |G| \ll p^{1/2-eps} there is no representation G as G = A+B, where A is another subgroup, and B is an arbitrary set, |A|,|B|>1. Finally, we study the number of collinear triples containing in a set of f_p and prove a "dual" sum-products estimate.

We prove that any multiplicative subgroup G of the prime field f_p with |G| < p^{1/2} satisfies |3G| \gg |G|^2 / \log |G|. Also, we obtain a bound for the multiplicative energy of any nonzero shift of G, namely E^* (G+x) \ll |G|^2 log |G|, where x is an arbitrary nonzero residue.

In the paper we obtain some new upper bounds for exponential sums over multiplicative subgroups G of F^*_p having sizes in the range [p^{c_1}, p^{c_2}], where c_1,c_2 are some absolute constants close to 1/2. As an application we prove that in symmetric case G is always an additive basis of order five, provided by |G| > p^{1/2} log^{1/3} p. Also the method allows us to give a new upper bound for Heilbronn's exponential sum.

Let $A$ be a multiplicative subgroup of $\mathbb Z_p^*$. Define the $k$-fold sumset of $A$ to be $kA=\{x_1+\dots+x_k:x_i \in A,1\leq i\leq k\}$. We show that $6A\supseteq \mathbb Z_p^*$ for $|A| > p^{\frac {11}{23} +ε}$. In addition, we extend a result of Shkredov to show that $|2A|\gg |A|^{\frac 85-ε}$ for $|A|\ll p^{\frac 59}$.

The paper is devoted to some applications of Stepanov method. In the first part of the paper we obtain the estimate of the cardinality of the set, which is obtained as an intersection of additive shifts of some different subgroups of F^*_p. In the second part we prove a new upper bound for Heilbronn's exponential sum and obtain a series of applications of our result to distribution of Fermat quotients. Also we study additive decompositions of multiplicative subgroups.

We say that a set $S$ is additively decomposed into two sets $A$ and $B$, if $S = \{a+b : a\in A, \ b \in B\}$. Here we study additively decompositions of multiplicative subgroups of finite fields. In particular, we give some improvements and generalisations of results of C. Dartyge and A. Sarkozy on additive decompositions of quadratic residues and primitive roots modulo $p$. We use some new tools such the Karatsuba bound of double character sums and some results from additive combinatorics.

We give a new construction of difference families generalizing Szekeres's difference families \cite{Sze}. As an immediate consequence, we obtain some new examples of difference families with several blocks in multiplicative subgroups of finite fields. We also prove that there exists an infinite family of divisible difference families with two blocks in a unit subgroup of the Galois ring GR(4,n). Furthermore, we obtain a new construction method of symmetric Hadamard matrices by using divisible difference families and a new array.

We prove a special case of Erdős' unit distance problem using a corollary of the subspace theorem bounding the number of solutions of linear equations from a multiplicative group. We restrict our attention to unit distances coming from a multiplicative group of rank $r$ not too large. Specifically, given $\varepsilon>0$ and $n$ points in the plane, we construct the unit distance graph from these points and distances and use the corollary above to bound certain paths of length $k$ in the graph giving at most $n^{1+\varepsilon}$ unit distances from the group above. We require that the rank $r\le c\log n$ for some $c>0$ depending on $\varepsilon$. This extends a result of József Solymosi, Frank de Zeeuw and the author where we only considered unit distances that are roots of unity. Lastly we show that the lower bound configuration for the unit distance problem of Erdős consists of unit distances from a multiplicative subgroup of the form above.

In the paper we find new inequalities involving the intersections $A\cap (A-x)$ of shifts of some subset $A$ from an abelian group. We apply the inequalities to obtain new upper bounds for the additive energy of multiplicative subgroups and convex sets and also a series another results on the connection of the additive energy and so--called higher moments of convolutions. Besides we prove new theorems on multiplicative subgroups concerning lower bounds for its doubling constants, sharp lower bound for the cardinality of sumset of a multiplicative subgroup and its subprogression and another results.