Inverse questions for the large sieve (Q484089): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(5 intermediate revisions by 4 users not shown) | |||
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 | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2032644407 / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: 1311.6176 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5431589 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3224872 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The inverse Goldbach problem / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Additive decompositions of sets with restricted prime factors / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3872529 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3578286 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A large sieve density estimate near \(\sigma = 1\) / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A larger sieve / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Explicit bounds on exponential sums and the scarcity of squarefree binomial coefficients / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4152617 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A mean value estimate for real character sums / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3613912 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4830109 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4101916 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A Note on the Large Sieve / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3237217 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A Generalisation of the Theorem of Cauchy and Davenport / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The inverse sieve problem in high dimensions / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 11:55, 9 July 2024
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
0 references