The sum-product theorem in \(\mathbb Z_q\) with \(q\) arbitrary
type: Item
instance of: scholarly article
title: The sum-product theorem in \(\mathbb Z_q\) with \(q\) arbitrary
zbMATH Open document ID: 1214.11017
author: Jean Bourgain
published in: Journal d'Analyse Mathématique
publication date: 2009-02-17T00:00:00Z
review text: For a non-empty subset \(A\) of \({\mathbb Z}_q={\mathbb Z}/q{\mathbb Z}\), define \[ A+A=\{a+b:\, a,b\in A\} \] and \[ A.A=\{a\cdot b:\, a,b\in A\}. \] When \(q=p\) is prime, \textit{J. Bourgain, N. Katz} and \textit{T. Tao} [Geom. Funct. Anal. 14, No. 1, 27--57 (2004; Zbl 1145.11306)] and \textit{J. Bourgain, A. A. Glibichuk} and \textit{S. V. Konyagin} [J. Lond. Math. Soc., II. Ser. 73, No. 2, 380--398 (2006; Zbl 1093.11057)] proved that for any fixed \(\varepsilon>0\), there exists \(\delta=\delta(\varepsilon)>0\) such that \[ \max\{|A+A|,|A.A|\}\geq |A|^{1+\delta} \] for any \(A\subseteq{\mathbb Z}_p\) with \(|A|\leq p^{1-\epsilon}\). In the present paper, the author discusses the lower bound of \(\max\{|A+A|,|A.A|\}\) for composite \(q\). For \(q'\mid q\), let \(\pi_{q'}:\;{\mathbb Z}_q\to{\mathbb Z}_{q'}\) be the residue map. For \(A\subseteq{\mathbb Z}_q\), \(0<\delta_1<1\) and \(0<\delta_2\leq 1\), suppose that (1) \(|A|<q^{1-\delta_1}\); (2) \(|\pi_{q_1}(A)|>q^{\delta_2}\) for all \(q_1\mid q\) with \(q_1>q^\varepsilon\), where \(\epsilon=\epsilon(\delta_1,\delta_2)\). Then the author proves that \[ |A+A|+|A.A|>q^{\delta_3}|A|, \] where \(\delta_3\) only depends on \(\delta_1\) and \(\delta_2\). Furthermore, using the above result, the author gives an upper bound for the exponential sum \[ \max_{\substack{ \xi\in{\mathbb Z}_q\\ (\xi,q)=1}} \bigg|\sum_{x_1\in A_1,\dots,x_k\in A_k}\exp(\xi x_1\cdots x_k/q)\bigg| \]
reviewed by: Hao Pan
Mathematics Subject Classification ID: 11B13
Mathematics Subject Classification ID: 11L07
zbMATH DE Number: 5508687
MaRDI profile type: Publication
full work available at URL: s11854-008-0044-2
OpenAlex ID: W2045963062
cites work: Mordell’s exponential sum estimate revisited
cites work: Exponential sum estimates over subgroups of \(\mathbb Z^*_q\), \(q\) arbitrary
cites work: On the Erdős-Volkmann and Katz-Tao ring conjectures
cites work: Estimates on exponential sums related to the Diffie-Hellman distributions
cites work: A Gauss sum estimate in arbitrary finite fields
cites work: Exponential sum estimates over subgroups and almost subgroups of \(\mathbb Z_Q^*\), where \(Q\) is composite with few prime factors
cites work: Uniform expansion bounds for Cayley graphs of \(\text{SL}_2(\mathbb F_p)\).
cites work: On the spectral gap for finitely-generated subgroups of \(\text{SU}(2)\)
cites work: ESTIMATES FOR THE NUMBER OF SUMS AND PRODUCTS AND FOR EXPONENTIAL SUMS IN FIELDS OF PRIME ORDER
cites work: Sieving and expanders
cites work: Extracting Randomness Using Few Independent Sources
cites work: A sum-product estimate in finite fields, and applications
cites work: Simulating independence
cites work: Growth and generation in \(\text{SL}_2(\mathbb{Z}/p\mathbb{Z})\).
cites work: New bounds for Gauss sums derived from KTH powers, and for Heilbronn's exponential sum
cites work: Q5661953
cites work: Q4264395
cites work: Some connections between Falconer's distance set conjecture and sets of Furstenburg type
DOI: 10.1007/S11854-008-0044-2
Recommended article: Sums and products with smooth numbers
Recommended article: On the number of popular differences in \(\mathbb{Z} / p \mathbb{Z} \)
Recommended article: Sum-product Estimates in Finite Fields via Kloosterman Sums
Recommended article: On the sum of dilations of a set
Recommended article: Sum of Many Dilates
Recommended article: A question of Bukh on sums of dilates
Recommended article: A variant of Tao's method with application to restricted sumsets
Recommended article: Q3580119
Recommended article: The sum-product estimate for large subsets of prime fields
Recommended article: Q4500967
description: scientific article; zbMATH DE number 5508687