Questions tagged [analytic-number-theory]
A beautiful blending of real/complex analysis with number theory. The study involves distribution of prime numbers and other problems and helps giving asymptotic estimates to these.
1,537 questions
4
votes
2answers
194 views
upper bound of consecutive integers which are not coprime with $n!$
Is there any research on getting upper bound of the maximal possible number of consecutive positive integers which are less than $n!$ and NOT coprime with $n!$?
Easy to see that lower bound $\ge n$, ...
5
votes
1answer
166 views
Functional equation for general number fields
When it comes to general number fields beyond $\mathbb{Q}$, the litterature is not so abundant in analytic number theory. For instance over $\mathbb{Q}$, for primitve Dirichlet characters modulo $q$, ...
2
votes
1answer
159 views
A truncated divisor sum
I am interested in an upper bound for
$$\sum_{\substack{d\mid N\\ d>A}}\frac{1}{d^3},$$
in particular, I can show that above is
$$\ll\frac{\text{exp}\left(C\frac{\log(N)}{\log\log(N)}\right)}{A^...
0
votes
0answers
70 views
Number of $b$-separated Sidon sets with pairwise difference set intersection bounds
Given two integers integers $0<b<p$ and a real $\alpha\in(0,1)$ call a set of $m$ integers $a_1<\dots<a_m$ in the interval $(p^\alpha,p-p^\alpha)$ to be $b$-separated Sidon if:
$a_i-a_j\...
8
votes
1answer
209 views
Conjecture about an Exponential Sum
Let $X \subset \mathbb{N}$ and say that $X$ is super-equidistributed if
for all $\alpha \in \mathbb{R} \setminus \mathbb{Z}$ there exists $C(\alpha) > 0$ such that for all $N$
$$
\left| \sum_{x \in ...
0
votes
0answers
106 views
Degree bounds and coefficient size in elimination theory?
Suppose we have polynomials is of form
$$h_1(x_1,\dots,x_{dn})-c_1\in\mathbb Z[x_1,\dots,x_{dn}]$$
$$\vdots$$
$$h_{nd}(x_1,\dots,x_{dn})-c_{nd}\in\mathbb Z[x_1,\dots,x_{dn}]$$
where $h_1(x_1,\dots,x_{...
2
votes
0answers
66 views
L-functions of tempered automorphic representations
Let $G$ be a reductive group over the adele ring $\mathbb A_F$ of a number field $F$. Let also $r$ be a complex finite dimensional representation of the $L$-group $r:{^LG}\to GL(V)$.
It is generally ...
3
votes
1answer
152 views
+50
How often does the Mertens function vanish?
It is well known that the Mertens function
$$M(x)=\sum _{n\leq x}\mu(n)$$
has infinitely many zeros, and this seems to be a short proof.
Are there known results about how often the Mertens function ...
3
votes
0answers
117 views
Maximum number of integral roots in degree $d$ polynomial?
Given $f(x_1,\dots,x_n)\in\mathbb Z[x_1,\dots,x_n]$ such that
Each coefficient is bound in absolute value by $B$
Degree of each variable in any monomial is bound by $d$
Total degree is $d'$
$f(x_1,\...
8
votes
1answer
231 views
Question about Friedlander, Iwaniec: “The polynomial $X^2+Y^4$ captures its primes”
I have a question about the argumentation at the beginning of section 15 in this paper. The goal is to estimate the sum
$$V(\beta) = 2 \sum_{(z_1,z_2)=1} \beta_{z_1} \overline{\beta_{z_2}} \sum_{\...
4
votes
2answers
603 views
Chebyshev's bias-conjecture and the Riemann Hypothesis
Chebyshev's bias-conjecture that says "there are more primes of the form 4k + 3 than of the form 4k + 1" and the Riemann Hypothesis are equivalent? That means, one implies the other (if and only if)?
4
votes
1answer
243 views
Proper Way To Compute An Upper Bound
I regard to the proof of Lemma 10 in "A remark on a conjecture of Chowla" by M. R. Murty, A. Vatwani, J. Ramanujan Math. Soc., 33, No. 2, 2018, 111-123,
the authors used the average value $(\log x)^...
9
votes
0answers
188 views
How many partition values are expected to be prime?
Let $p(n)$ be the partition function. Let $P(N)$ count how many $1\leq n\leq N$ are such that $p(n)$ is prime.
Are there any heuristics for how $P(N)$ should behave?
A crude guess at how this ...
-1
votes
0answers
48 views
Probability distribution from standard domain (multiple pairs single prime) - V
Pick a random pair $(a,b)\in\mathbb Z_n^2\backslash\{0,0\}$. Denote $N_2(a,b,n)$ to be minimum $\ell_2$ norm of vector $(x,y)$ as $(x,y)$ ranges over all non-zero integral solutions to $(x,y)\equiv t(...
1
vote
0answers
61 views
Probability distribution from standard domain (two primes) - IV
Pick a random pair $(a,b)\in\mathbb Z_n^2\setminus\{0,0\}$. Denote $N_2(a,b,n)$ to be minimum $\ell_2$ norm of vector $(x,y)$ as $(x,y)$ ranges over all non-zero integral solutions to $(x,y)\equiv t(a,...
1
vote
1answer
257 views
How large can $|\zeta(\sigma + it)|$ be for $\sigma<1/2$?
Let $\zeta$ be the Riemann zeta function.
My question is: For fixed $\sigma<1/2$, how large can $|\zeta(\sigma+it)|$ be for $t\in \mathbb{R}$, even assuming zeta conjectures like the RH or the LH ?...
3
votes
0answers
53 views
Flow of zeros in the shifted exponential generating function?
Given a sequence $a_n$ (of real numbers, described more fully below), one may define the exponential generating function (on the complex plane) as $E(z)=\sum_{n=0}^\infty a_n z^n/n!$. The derivatives $...
0
votes
0answers
72 views
Probabilistic Howgrave-Graham Bounds with Coppersmith Technique?
Howgrave-Graham condition says roots of $$f(x_1,\dots,x_n)\equiv0\bmod R$$ at an $R\in\mathbb N$ are roots of $$f(x_1,\dots,x_n)=0$$ over $\mathbb Z$ if $$\|f(x_1X_1,\dots,x_nX_n)\|<\frac{R}{\sqrt{\...
0
votes
1answer
262 views
Reason Coppersmith fails here?
Take classic problem of finding $P,Q$ in balanced semi-prime $N=PQ$.
$P$ has a binary expansion and so does $Q$. We can set the binary $0/1$ variables to be $x_1$ through $x_{\lceil\log P\rceil}$ and ...
-2
votes
1answer
216 views
Negative Dirichlet Pigeonhole Principle
From Dirichlet Pigeonhole Principle if $p$ is a prime and if $a,b\in\mathbb Z$ are in $(0,p/2)$ then there is a $t\in(0,p)\cap\mathbb Z$ such that $\|(x,y)\|_\infty<\lceil\sqrt p\rceil$ holds where ...
6
votes
1answer
172 views
Equidistribution of $\{p_n^2α\}$
Let $p_n$ be the $n$th prime and $\alpha$ an irrational number. Vinogradov proved that the sequence $\{p_n \alpha\}$ is equidistributed. Is it known whether the sequence $\{p_n^2 \alpha \}$ is ...
1
vote
1answer
164 views
Is there an analogue of the Balazard-Saias-Yor criterion for the Riemann Hypothesis for finite fields?
The Balazard-Saias-Yor criterion for the Riemann Hypothesis states that the latter is equivalent to the statement that
$$\int_{\Re(s)=1/2} \frac{\log|\zeta(s)|}{|s^2|}|ds|=0$$ where $\zeta$ denotes ...
0
votes
0answers
27 views
Probability density from standard domain (Typical Box principle and Chinese Remainder Theorem) - III
Pick a random pair $(a,b)\in\mathbb Z_n^2\backslash\{0,0\}$. Denote $N_2(a,b,n)$ to be minimum $\ell_r$ norm of vector $(x,y)$ as $(x,y)$ ranges over all non-zero integral solutions to $(x,y)\equiv t(...
1
vote
1answer
97 views
Factoring with partial information on gaps
If $N=PQ$ is a semi-prime with $P=N^{\frac12 +\delta}$ and $Q=N^{\frac12-\delta}$ then if we know $\delta\in(0,\frac12)$ to a reasonable precision we can factor $N$ quickly. What precision (number of ...
3
votes
1answer
114 views
Divergence of a series related to Schinzel's hypothesis H
The Series
Consider the series identity
$$\Phi(s) = \sum_{n=1}^\infty \frac{\mu(n) (\log n)^k}{n^s} \sum_{r \in R(n)} \zeta(s,r/n) = \sum_{n=1}^\infty \frac{\Lambda_k'(f(n))}{n^s}$$
$$R(n) = \left\...
5
votes
0answers
141 views
Gaussian square-free moat
Is there a sequence $\{z_n\}_{n=1}^\infty$ of distinct square-free
Gaussian integers with $$\sup_{n \geq 1} |z_{n+1} - z_n| < \infty ?$$
For the analogous problem with Gaussian primes instead, ...
5
votes
0answers
145 views
Divisor bound for $r_2$ off the origin
If $r_2(n)$ denotes the number of integer solutions to $a^2+b^2=n$, we have the "divisor bound" $r_2(n) = O(n^{\epsilon})$ for any $\epsilon>0$. Another way to state this is that the number of ...
-1
votes
1answer
197 views
On a certain representation of the Riemann zeta function
Let $\zeta$ denote the Riemann zeta function. In this answer: https://mathoverflow.net/a/314066/133634, @Paul Garret considers the representation
$$\frac{\zeta(s)}{s} = \int_1^\infty (\sum_{1 \le n \...
3
votes
0answers
88 views
Friedlander-Iwaniec Flipping moduli
I am reading section 12 (Flipping Moduli) of the paper "The polynomial $X^2+Y^4$ captures its primes" by Friedlander and Iwaniec.
At page 997, just below equation (12.7) we start estimating the ...
2
votes
0answers
106 views
Representation as $n=p^2+q^2-r^2$
What is known about the number of representations of a positive integer $n$ as
$$
\rho(n) = \# \{ (p,q,r): n=p^2+q^2-r^2\},
$$
where all the variables are primes?
What about the average number of ...
0
votes
0answers
127 views
Dirichlet theorem on primes in ap with a prime index
Someone know a result like this:
Given $a,b\in\mathbb{N}$, with $a>b>0$, $(a,b)=1$ and a $\not \equiv b \pmod 2$ ,then there exist at least one prime $p$ such that $ap+b$ is a prime number too.
3
votes
1answer
143 views
Number of lattice points on spheres with center not at the origin
Let $k\ge1$. It is known that the number of lattice points on the $k$-sphere $S^k(0)$ (center at the origin, radius $R$), namely the size of $\mathbb{Z}^{k+1}\cap S^k(0)$, is bounded by $R^{k-1+\...
1
vote
1answer
167 views
Inquiry on the bound for $\int_{0}^{T} \Big|\log|\zeta(1/2 + it)| \Big| \mathrm{d}t$
Let $\zeta$ be the zeta function of Riemann. Is the bound for
$$I_{T}=\int_{0}^{T} \Big|\log|\zeta(1/2 + it)| \Big| \mathrm{d}t$$
known ?
It seems to me that $I_{T} \ll T\log T$ since $\log|\zeta(...
0
votes
0answers
82 views
Upper bound of $\zeta$-function on critical strip
How can I determine any upper bound for $|\frac{\zeta^4(s)}{\zeta(2s)}+d\cdot\zeta^2(s)|$ on the critical strip $s=\frac12+it$ for an integer $d$?
-1
votes
1answer
123 views
summation of Euler totient function
Let $\phi(n)$ be the Euler totient function and let $2\leq k\in\mathbb{N}$. For $m\in\mathbb{N}$, are there any known results, upper bounds (tighter than just removing the coprimality) or ...
0
votes
0answers
72 views
How many pairs of integer numbers with bounded product?
Let $r\in (0,1)$ and denote by $A_r$ the set
$A_r=\left\{ a,b\in\mathbb{N} ~:~ a,b\leq N, a\cdot b\leq rN^2 \right\}$. Is it possible to find a good estimation for $|A_r|$?
It is known that $|A_r|= r(...
23
votes
1answer
720 views
Intuitive reason why the $j$-invariant is a cube?
Let $\tau$ be a CM point of discriminant $D$. Assume that $D$ is not divisible by $3$. Then $j(\tau)$ is an algebraic integer of degree equal to the class number $h(D)$. Let $ \gamma_2(\tau)=j(\tau)^{...
4
votes
0answers
98 views
Abelian variety over Q with many roots of unity
Given an abelian variety $A$ over the rational integers $\mathbb{Q}$, and a prime $p$, we know that $\mathbb{Q}(\zeta_p)$ is contained in $\mathbb{Q}(A[p])$, the $p$-division field of $A$, and where $\...
6
votes
1answer
266 views
Reference Request for a result on divisors of $p-1$
I have seen this result in several places without an English reference:
There exist infinitely many primes $p$ such that $p-1=2q_1q_2$ where $q_1$ and $q_2$ are prime numbers with $q_1,q_2>p^{1/4}$...
-2
votes
1answer
230 views
A curious relationship betwen $|\zeta(\sigma+it)|$ and $|\zeta(1-\sigma - it)|$
By use of the Riemann functional equation, it can be shown (see corollary 10.5 of Montgomery-Vaughan) that
$$|\zeta(\sigma + it)| \asymp |t|^{\sigma-1/2}|\zeta(1-\sigma - it)|$$.
where $\zeta$ ...
2
votes
3answers
209 views
Asymptotics for $\int_{0}^{T} \zeta(\sigma+ it) \mathrm{d}t$
Denote by $\zeta$ the Riemann zeta function.
It is known that
$$\int_{0}^{T} \zeta(1/2 + it) \mathrm{d}t = T + O(T^{1/2}).$$
But is a similar result for $\int_{0}^{T} \zeta(\sigma + it) \mathrm{d}...
0
votes
0answers
128 views
On segments of the series $\sum_p\frac1{p-1}$
Here I ask a question concerning segments of the divergent series
$$\sum_p\frac1{p-1}=\sum_{k=1}^\infty\frac1{p_k-1},\tag{$*$}$$
where $p$ runs over all the primes, and $p_k$ denotes the $k$-th prime.
...
0
votes
0answers
105 views
Does Coppersmith technique suffice to factor?
Take classic problem of finding $P,Q$ in balanced semi-prime $N=PQ$. Is there evidence that no extension of Coppersmith technique will accomplish factoring $N=PQ$ in polynomial time?
Technically I am ...
6
votes
1answer
451 views
Are the ideles literally a picard group?
I understand that in the number field / function field analogy, the ideles $\mathbb I_K$ of a number field $K$ are supposed to be analogous to the Picard group of a function field.
Question: Is this ...
-1
votes
1answer
89 views
Discrepancy in non-homogeneous arithmetic progressions
I have a doubt, Roth's discrepancy theorem [1] says that there is a subset of arithmetic progressions $A \in [n]$ where any function $f:N\rightarrow \left \{ -1,1 \right \} $ implies
$ \left | \...
-1
votes
0answers
97 views
Sum of a prime and a number one can write as a sum of 2 squares in exactly $ k $ ways
Following this interesting question : Sieve bound for the sum of two squares I define $ P_{k}(n)=1 $ if and only if $ n $ is the sum of an odd prime and an integer that can be written in exactly $ ...
2
votes
1answer
108 views
Sieve bound for the sum of two squares
Let $$S(n) = \sum_{p \le n} b(n-p),$$ where
$b(a)=1$ is $a$ is a sum of two squares of positive integers and $b(a)=0$ otherwise.
Trivially by PNT we have
$$S(n) \ll \sum_{p \le n}1 \le \frac{n}{\log n}...
0
votes
0answers
122 views
On a certain representation for the Riemann zeta function in Montgomery-Vaughan
On page 338 of Montgomery-Vaughan's ''Multiplicative Number Theory'', there is a somewhat nice representation for the Riemann zeta function. That is, let $0<\delta\leq 1/2$. Then one has
$$\zeta(1/...
2
votes
0answers
195 views
Algebraically independent vectors in tensor product
$\mathcal L$ and $\mathcal L'$ be full rank lattices in $\mathbb R^n$ with shortest vectors $v_1,\dots,v_n$ and $v_1',\dots,v_n'$ respectively where $$\|v_1\|_2\leq\dots\leq\|v_n\|_2$$
$$\|v_1'\|_2\...
2
votes
0answers
86 views
Coppersmith's method to quadrivariate degree $2$ polynomials that behave as bivariate?
We have a polynomial $f(x_1,x_2,x_3,x_4)\in\mathbb Z[x_1,x_2,x_3,x_4]$ where the only monomials are either from set $$\{x_1,x_1x_2,x_2,x_3,x_3x_4,x_4\}$$ and we seek solutions $(x_1,x_2,x_3,x_4)\in\...
