Inverse questions for the large sieve (Q484089): Difference between revisions
From MaRDI portal
Created a new Item |
Changed an Item |
||
Property / review text | |||
Let \(\mathcal{A}\) be an infinite set, \(x\geq 1\) and \(\mathcal{A}(x)=\mathcal{A}\cap\{1,2,\dots,x\}\). If the set \(\mathcal{A}\) occupies at most \((p+1)/2\) residue classes modulo \(p\), for every sufficiently large prime number \(p\), then the large sieve inequality implies that \(\mathcal{A}(x)\ll x^{1/2}\). This estimate is sharp up to the value of the constant in \(\ll\), as shown by taking \(\mathcal{A}\) to be the set of squares or the set of integer values taken by any rational quadratic. According to the authors the simplest form of the inverse large sieve problem asks whether whether they are the only examples. The authors prove various results and formulate various conjectures related with the inverse large sieve problem. Below there are presented two typical results from the paper. Theorem A. Suppose that for each prime \(p\leq x^{1/2}\) one has a set \(S_p\subset\mathbb{Z}/p\mathbb{Z}\) of size at most \((p+1)/2\). Suppose there is some \(\delta>0\) such that, for each \(p\), \(S_p\) has at least \((\delta+1/16)\,p^3\) quadruples \((s_1,s_2,s_3,s_4)\) with property \(s_1+s_2=s_3+s_4\). If \(\mathcal{A}\pmod p \subset S_p\) for all \(p\), then \(\mathcal{A}(x)\leq x^{1/2-c\delta^2}\) with an absolute positive constant \(c\). Theorem B. Suppose that \(\mathcal{A}\) is a set of integers such that \(\mathcal{A}\pmod p\) lies in some interval \(I_p\) for each prime \(p\). {\parindent=6mm\begin{itemize}\item[{\(\bullet\)}] If \(|I_p|\leq(1-\varepsilon)\, p, \;\varepsilon\in(0,1),\) for at least a proportion \(\varepsilon\) of the primes in each dyadic interval \([z,2z]\), then \(\mathcal{A}(x)\ll_\varepsilon(\log\log x)^{c\log(1/\varepsilon)}\) with some positive absolute constant \(c\). \item[{\(\bullet\)}] If \(|I_p|\leq \,p/2\) for all \(p\), then \(|\mathcal{A}(x)|\leq(\log\log x)^{\gamma+o(1)}\), where \(\gamma=\log 18/\log(3/2)\).\item[{\(\bullet\)}] If \(I_p=[\alpha p,\beta p]\) for all primes \(p\) and some fixed \(0\leq\alpha<\beta<1\), then \(|\mathcal{A}|\ll_{\beta-\alpha}1\).\end{itemize}} | |||
Property / review text: Let \(\mathcal{A}\) be an infinite set, \(x\geq 1\) and \(\mathcal{A}(x)=\mathcal{A}\cap\{1,2,\dots,x\}\). If the set \(\mathcal{A}\) occupies at most \((p+1)/2\) residue classes modulo \(p\), for every sufficiently large prime number \(p\), then the large sieve inequality implies that \(\mathcal{A}(x)\ll x^{1/2}\). This estimate is sharp up to the value of the constant in \(\ll\), as shown by taking \(\mathcal{A}\) to be the set of squares or the set of integer values taken by any rational quadratic. According to the authors the simplest form of the inverse large sieve problem asks whether whether they are the only examples. The authors prove various results and formulate various conjectures related with the inverse large sieve problem. Below there are presented two typical results from the paper. Theorem A. Suppose that for each prime \(p\leq x^{1/2}\) one has a set \(S_p\subset\mathbb{Z}/p\mathbb{Z}\) of size at most \((p+1)/2\). Suppose there is some \(\delta>0\) such that, for each \(p\), \(S_p\) has at least \((\delta+1/16)\,p^3\) quadruples \((s_1,s_2,s_3,s_4)\) with property \(s_1+s_2=s_3+s_4\). If \(\mathcal{A}\pmod p \subset S_p\) for all \(p\), then \(\mathcal{A}(x)\leq x^{1/2-c\delta^2}\) with an absolute positive constant \(c\). Theorem B. Suppose that \(\mathcal{A}\) is a set of integers such that \(\mathcal{A}\pmod p\) lies in some interval \(I_p\) for each prime \(p\). {\parindent=6mm\begin{itemize}\item[{\(\bullet\)}] If \(|I_p|\leq(1-\varepsilon)\, p, \;\varepsilon\in(0,1),\) for at least a proportion \(\varepsilon\) of the primes in each dyadic interval \([z,2z]\), then \(\mathcal{A}(x)\ll_\varepsilon(\log\log x)^{c\log(1/\varepsilon)}\) with some positive absolute constant \(c\). \item[{\(\bullet\)}] If \(|I_p|\leq \,p/2\) for all \(p\), then \(|\mathcal{A}(x)|\leq(\log\log x)^{\gamma+o(1)}\), where \(\gamma=\log 18/\log(3/2)\).\item[{\(\bullet\)}] If \(I_p=[\alpha p,\beta p]\) for all primes \(p\) and some fixed \(0\leq\alpha<\beta<1\), then \(|\mathcal{A}|\ll_{\beta-\alpha}1\).\end{itemize}} / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Jonas Šiaulys / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 11N35 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6381492 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
large sieve | |||
Property / zbMATH Keywords: large sieve / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
small sieve | |||
Property / zbMATH Keywords: small sieve / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
additive structure | |||
Property / zbMATH Keywords: additive structure / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
quadratic structure | |||
Property / zbMATH Keywords: quadratic structure / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
arithmetic progression | |||
Property / zbMATH Keywords: arithmetic progression / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
inverse large sieve | |||
Property / zbMATH Keywords: inverse large sieve / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
sum of sets | |||
Property / zbMATH Keywords: sum of sets / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
uniform fibres condition | |||
Property / zbMATH Keywords: uniform fibres condition / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
quasi-square number | |||
Property / zbMATH Keywords: quasi-square number / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
square-free number | |||
Property / zbMATH Keywords: square-free number / rank | |||
Normal rank |
Revision as of 21:03, 30 June 2023
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Inverse questions for the large sieve |
scientific article |
Statements
Inverse questions for the large sieve (English)
0 references
18 December 2014
0 references
Let \(\mathcal{A}\) be an infinite set, \(x\geq 1\) and \(\mathcal{A}(x)=\mathcal{A}\cap\{1,2,\dots,x\}\). If the set \(\mathcal{A}\) occupies at most \((p+1)/2\) residue classes modulo \(p\), for every sufficiently large prime number \(p\), then the large sieve inequality implies that \(\mathcal{A}(x)\ll x^{1/2}\). This estimate is sharp up to the value of the constant in \(\ll\), as shown by taking \(\mathcal{A}\) to be the set of squares or the set of integer values taken by any rational quadratic. According to the authors the simplest form of the inverse large sieve problem asks whether whether they are the only examples. The authors prove various results and formulate various conjectures related with the inverse large sieve problem. Below there are presented two typical results from the paper. Theorem A. Suppose that for each prime \(p\leq x^{1/2}\) one has a set \(S_p\subset\mathbb{Z}/p\mathbb{Z}\) of size at most \((p+1)/2\). Suppose there is some \(\delta>0\) such that, for each \(p\), \(S_p\) has at least \((\delta+1/16)\,p^3\) quadruples \((s_1,s_2,s_3,s_4)\) with property \(s_1+s_2=s_3+s_4\). If \(\mathcal{A}\pmod p \subset S_p\) for all \(p\), then \(\mathcal{A}(x)\leq x^{1/2-c\delta^2}\) with an absolute positive constant \(c\). Theorem B. Suppose that \(\mathcal{A}\) is a set of integers such that \(\mathcal{A}\pmod p\) lies in some interval \(I_p\) for each prime \(p\). {\parindent=6mm\begin{itemize}\item[{\(\bullet\)}] If \(|I_p|\leq(1-\varepsilon)\, p, \;\varepsilon\in(0,1),\) for at least a proportion \(\varepsilon\) of the primes in each dyadic interval \([z,2z]\), then \(\mathcal{A}(x)\ll_\varepsilon(\log\log x)^{c\log(1/\varepsilon)}\) with some positive absolute constant \(c\). \item[{\(\bullet\)}] If \(|I_p|\leq \,p/2\) for all \(p\), then \(|\mathcal{A}(x)|\leq(\log\log x)^{\gamma+o(1)}\), where \(\gamma=\log 18/\log(3/2)\).\item[{\(\bullet\)}] If \(I_p=[\alpha p,\beta p]\) for all primes \(p\) and some fixed \(0\leq\alpha<\beta<1\), then \(|\mathcal{A}|\ll_{\beta-\alpha}1\).\end{itemize}}
0 references
large sieve
0 references
small sieve
0 references
additive structure
0 references
quadratic structure
0 references
arithmetic progression
0 references
inverse large sieve
0 references
sum of sets
0 references
uniform fibres condition
0 references
quasi-square number
0 references
square-free number
0 references