Questions tagged [analytic-number-theory]
On the 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.
3,066 questions
0
votes
1
answer
112
views
Statistics of action of Galois group of number field on primes over unramified rational primes
Let $p \in \mathbb{Z}$ be prime and $K / \mathbb{Q}$ be a finite Galois extension. The Galois group $G$ of $K$ acts on the primes of $\mathcal{O}_K$ over $p$. Do we know any statistical information ...
- 658
4
votes
2
answers
336
views
Density of a set of natural numbers which are the product of close numbers
Let $0 < \varepsilon < 1$. A natural number $x$ is called an $\varepsilon$-square if $x = ab$, $a, b \in \mathbb{N}$ and $(1 - \varepsilon)b \le a \le b$. Denote by $f(N)$ the number of $\...
- 965
1
vote
2
answers
127
views
Number of integers $x \leq B$ such that $f(x)\mid g(x)$ for coprime polynomials $f,g$
Let $f, g \in \mathbb{Z}[x]$ be coprime polynomials.
I am interested in an upper bound for
$$
N(B) = \# \{ x \in [-B, B] \cap \mathbb{Z}: f(x)\mid g(x) \}.
$$
I assume there must be something known ...
- 3,625
7
votes
0
answers
162
views
Relation between the additive Haar measure on $(K,+)$ and the multiplicative Haar measure on $K^{*}$ for a global field $K$
The following question comes from my studying of Alain Connes's paper Trace Formula in Noncommutative Geometry and the Zeros of the Riemann Zeta Function. In it, on p. 11, Connes notes that if $K$ is ...
- 1,805
2
votes
0
answers
157
views
Exponential sum of $k$-fold divisor function
Can anyone point me to a reference for the main term when approximating the exponential sum of the 3-fold divisor function? Specifically I want the main term in $$\sum _{n\leq x}d_3(n)e\left (an/q\...
- 1,381
3
votes
1
answer
309
views
Zeros of the derivative of $\xi$
In his paper on Zeros of derivatives of Riemann $\xi$-function on critical line Brian Conrey mention that
It can be shown that the Riemann hypothesis implies that all zeros of $\xi (s)$, the ...
- 61
2
votes
1
answer
201
views
The sum of $q^{-2}$ over nonzero Gaussian integers
I'm reading about the Weierstrass zeta function. In this context,
$\phi(z)=\zeta(z)-\pi\bar{z}$
is periodic over the lattice
$$\mathcal{L}=\{a+bi\mid a,b\in\mathbb{Z}\}.$$
If we take $w\in\mathcal{L}\...
- 31
3
votes
1
answer
143
views
Infinitude of smooth shifted primes in arithmetic progression with fixed moduli
Let $P(n)$ denote the largest prime factor of $n$. I wanted to know if an analogue of Baker-Harman estimate for smooth shifted primes in arithmetic progressions with fixed moduli is there in ...
- 1,042
2
votes
0
answers
104
views
Counting function for the number of zeros of the real part of $\zeta(s)$
The counting function for the number of complex zeros of the Riemann $\zeta$ function up to height $T$ is well known. I am looking for a reference that gives essentially analogous counting functions ...
- 171
4
votes
1
answer
299
views
The Wilton-type bounds involving half-integral weight cusp forms
There is a basic question which puzzles me for a while, and maybe look naive for some experts here. The question is the following:
Let $f(z)=\sum_{n\ge 1} a_f(n) n^{k/2-1/4}e(nz)\in S_{k+1/2}(4N)$ be ...
- 563
1
vote
1
answer
173
views
Bounds for the logarithmic derivative in the Selberg Class
Let $F \in \mathcal{S}$, where $\mathcal{S}$ is the set of $L-$functions in the Selberg Class. Are there established upper and lower bounds for $$\left|\frac{F^{'}(s)}{F(s)}\right|,$$ where $s = \...
- 61
3
votes
0
answers
129
views
Diophantine approximation with restricted denominators and prescribed irrationality measure
While studying analytic aspects of turbulence of fluids and waves, I came across very interesting questions in Diophantine approximation, a beautiful topic that I am not an expert in.
The question ...
2
votes
1
answer
466
views
Number of points on a surface modulo p
I am guessing that the number of solutions $(x_1,x_2,\cdots ,x_s)$ modulo $p$ of the system of polynomials
$$x_1x_2\cdots x_s=1,$$
$$(x_1-1)(x_2-1)\cdots (x_s-1)=u$$
where $u$ is non-zero modulo $p$.
...
user126352
4
votes
0
answers
280
views
Order of growth of $\left|\frac{1}{\zeta’(\rho)}\right|$ as $\Im(\rho)\rightarrow\infty$?
Let $\zeta$ denote the Riemann zeta function, and let $\rho\in\mathbb{C}$ be a variable that takes its values among the zeros of the zeta function, so that $\zeta(\rho)=0$, and write $\rho=\sigma+it$. ...
- 1,018
2
votes
1
answer
215
views
An integral transform computation
In Erdelyi, Tables of Integral Transforms, p. 344 Section 7.2.
they note that
\begin{align}
\frac{1}{2 \pi i} \int_{c-i\infty}^{c+i\infty} s^{\nu} e^{\alpha s^2} x^{-s} \, ds
= 2^{-\nu/2} \pi^{-...
- 21
1
vote
0
answers
148
views
Counting prime factors of polynomial functions
Let $\Omega(n)$ denote the number of prime factors (counted with multiplicity) of a non-zero integer $n$. For $f \in \mathbb Z[X]$ non-zero, let $$m(f) = \liminf_{n \to \infty} \Omega(f(n))$$
(1) Is $...
- 11.9k
10
votes
7
answers
875
views
$\int_L^\infty \exp(- t - y/t) \, dt = \text{?}$
Let $y>0$, $L>0$. Has the (special?) function given by
$$f(y,L) = \int_{L}^\infty e^{- t - y/t} \, dt$$
been studied? Are there precise, simple bounds?
Let me try to attempt to reinvent the ...
- 20.2k
0
votes
0
answers
107
views
Cubic monic polynomial over z_p
Let
$$
f_{a}(x)=x^3+(u-2-a)x^2+ax+1,
$$
where $u\in\mathbb{Z}_p^*$ is fixed. Let $S$ be the set consisting of all $a\in\mathbb{Z}_p$ such that $f_{a}(x)$ factor linearly. Then what is the cardinality ...
user126352
3
votes
1
answer
230
views
Cubic polynomial over $\mathbb{Z}_p$
Let
$$
f_{a,b}(x)=x^3+(u-1-a-b)x^2+ax+b,
$$
where $u\in\mathbb{Z}_p^*$ is fixed. Let $S$ be the set consisting of all pairs $(a,b)\in\mathbb{Z}_p^2$ such that $f_{a,b}(x)$ factor linearly. Then what ...
user126352
2
votes
1
answer
588
views
Kissing number lower bound vs. upper bound - precise meanings?
According to en.wikipedia.org, https://en.wikipedia.org/wiki/Kissing_number#Some_known_bounds
It says the kissing numbers $K$ have lower bound $K_L$ and upper bound $K_S$:
$$
K_L < K < K_U.
$$
I ...
- 447
4
votes
2
answers
257
views
Sum of $\frac{1}{(\delta_1,\delta_2)}$ with congruence restrictions
In the course of my work, I encountered the following sum ($(x,y)$ stands for the GCD of $x$ and $y$):
$$L(Q)=\sum_{\substack{\delta_1,\delta_2\leq Q\\\delta_1\equiv0\ (a)\\\delta_2\equiv0\ (b)}}\frac{...
- 41
2
votes
0
answers
226
views
Number of roots of a multivariate polynomial
What could be the best known asymptotic for the number of solution of the following polynomial in $(F_p)^s$:
$$
(1-x_1)(1-x_2)\cdots(1-x_s)(1-x_1x_2...x_s)=ux_1x_2...x_s
$$
where $u$ is a non-zero ...
user126352
0
votes
1
answer
168
views
Residue calculation for Eulerian expansion of the cotangent
I am looking for ideas on proving the Eulerian expansion of the cotangent using residue calculation: $$\pi\cot(\pi z)=\frac{1}{z}+\sum_{n=1}^{\infty}\left(\frac{1}{z+n}+\frac{1}{z-n}\right), \ z\in\...
- 463
3
votes
1
answer
237
views
Experiments with Voronoï summation
In order to test my understanding of the Voronoï summation formula, I tried to apply it to a simple estimation of partial sums of Fourier coefficients of cusp forms. The result I obtained cannot ...
- 545
-2
votes
2
answers
149
views
Calculate the great common factor between $2^{2n+1}-1$ and $2^{4m+2}+1$ [closed]
How to calculate the great common factor between $2^{2n+1}-1$ and $2^{4m+2}+1$, where $n$ and $m$ are positive numbers.
We guess that: the great common factor is $1$.
- 577
0
votes
1
answer
314
views
The lower bound for prime gaps
Let $p_n$ denote the $n$-th consecutive prime number and $g_n=p_{n+1}-p_n$ a prime gap. There are many results about the upper bound for $g_n$. Some of them still has astatus of conjecture, such as ...
- 471
0
votes
0
answers
51
views
Estimation of Nonzero Coefficients of Binary Cylotomic Polynomials
I am reading Fouvry's paper https://msp.org/ant/2013/7-5/ant-v7-n5-p07-p.pdf . I am still confused on section 4.2 why $P\leq x^{\frac{20}{9}\gamma -\frac{2}{3}}\mathcal{L}^{-16}$ leads to estimate in ...
- 271
3
votes
1
answer
220
views
Bins-and-primes (prime divisors of $\prod(a_i-a_j)$, II)
This is a refined version of a question I have recently posted.
For a prime $p$, let $\varphi_p\colon\mathbb Z\to\mathbb Z/p\mathbb Z$ denote the canonical homomorphism from the integers onto the ...
- 23k
2
votes
1
answer
163
views
Prime divisors of $\prod(a_i-a_j)$
For a prime $p$, let $\varphi_p\colon\mathbb Z\to\mathbb Z/p\mathbb Z$ denote the canonical homomorphism from the integers onto the group of order $p$.
Given an integer $n\ge 3$, what is the smallest ...
- 23k
2
votes
0
answers
128
views
Distribution of square roots (mod m) on small intervals (with respect to m)
Fix a large positive integer $m$. Let $A$ be small positive number typically $\sim m^{1/3}$. Suppose $S(A, m)$ be set of solutions (normalized by dividing by $m$) to the quadratic congruences $x^2 = a ...
- 577
2
votes
1
answer
197
views
2D lattice sum with numerator
I've been struggling a bit with a double sum that arose as the trace of an operator:
$$\sum_{(j,k)\in Z^2 \setminus (0,0)} \frac{(j+k)^n}{(j^2+k^2)^n},$$
where $n$ is an even natural number. Is there ...
- 31
1
vote
0
answers
55
views
Convergence of Farey series integral of a "density" function as the order tends to infinity
Let $F_n$ denote the $n$-th Farey sequence, and let $q$ be a rational number such that $0 \leq q \leq 1$. I am studying the convergence of a specific integral related to Farey series, defined as ...
- 375
1
vote
0
answers
98
views
Hardness of solving $0=\sum_{i=1}^k \operatorname{linear}_i(x_1,\ldots,x_n)^D$ over the rationals
This is related to cryptography and this question
and another question.
In short, we are asking about decomposing multivariate polynomial
as sum of perfect powers of linear polynomials.
Working over $\...
- 25.4k
2
votes
1
answer
153
views
Estimating the minimum number of distinct least prime factors found in range of $c$ consecutive integers
When I look at the count of distinct least prime factors for a range of consecutive integers, I am seeing the same minimum number appear again and again. I am wondering if this number represents the ...
- 1,049
2
votes
1
answer
152
views
The asymptotic behavior of $F(\lambda):=\sum_{k=0}^{\infty}\frac{\Gamma{(a k)}}{\Gamma{(b k)}}{\lambda}^{-k}$, $b>a>0$
Let $b>a>0$. Given $ \lambda>0$, what is the asymptotic behavior of
$$F(\lambda):=\sum_{k=0}^{\infty}\frac{\Gamma{(a k)}}{\Gamma{(b k)}}{\lambda}^{-k}$$
as $\lambda\to 0^{+}$ and as $\lambda \...
- 852
8
votes
0
answers
309
views
Explanation for the sum of primitive roots modulo $p$ (taken from $[-(p-1)/2,(p-1)/2]$) being positive way more often than being negative?
An earlier version of this question received a few upvotes but no answers on math.stackexchange.
For $p$ an odd prime, let $S(p)$ denote the sum of the primitive roots modulo $p$, taken from $\left[-\...
- 458
2
votes
0
answers
54
views
What lower bounds are known on growth of the distribution of the abundancy index?
Let $a(n)=\sigma(n)/n$ be the abundancy index of $n$ and let $F(x)$ be the distribution function of this index: i.e., the proportion of integers $n$ with $a(n)\leq x$. (This function is well-defined ...
- 1,951
2
votes
0
answers
113
views
On a subset of the $abc$ triples
The $abc$ conjecture states that, for every positive real $\varepsilon$, there exist only finitely many triples $(a, b, c)$ of coprime positive integers such that $a + b = c$ and
$$c > \...
7
votes
2
answers
906
views
Positivity of the coefficients of Taylor series associated to the Riemann hypothesis
The question below relates to the paper "Jensen Polynomials for the Riemann Zeta Function and Other Sequences" of Griffin, Ono, Rolen and Zagier. I'm asking it here because I am sure the ...
- 7,067
10
votes
1
answer
544
views
Asymptotic behavior of a "strange" arithmetic function
Write $f(n)$ for the quotient of $n$ by its largest squarefree divisor. In other words, $f$ is a multiplicative function with $f(p^k) = p^{k-1}$ for all $k \geq 1$.
What, if anything, is known about ...
- 19.2k
2
votes
0
answers
93
views
Asymptotics for $\sum_{n \leq x} \frac{(-1)^{n-1} \overline{\chi}(n)M(n, \chi)}{n}$
Let $\mu$ denote the Möbius function, and let $\chi$ be a primitive Dirichlet character of modulus $q$. Define $M(n, \chi)=\sum_{j \leq n} \mu(j)\chi(j)$ and
$$f(x, \chi):=\sum_{n \leq x} \frac{(-1)^{...
- 103
2
votes
0
answers
109
views
Whittaker function oscillation on diagonal near 0
In Proposition 1 of Blomer - Applications of the Kuznetsov formula on GL(3), bounds are given for the Whittaker function
$$W_{\nu_1, \nu_2}(y_1, y_2) = \mathcal W_{\nu_1, \nu_2}\begin{pmatrix} y_1y_2 &...
- 1,890
6
votes
1
answer
323
views
The error term for the second moment of Fourier coefficients of cusp forms with the level explicitly determined
There is a basis question which puzzles me for a while. The question is the following:
Let $p$ be a prime and $X\ge 2$. Let $f$ be a $GL_2$-newform of level $p$ and non-trivial
nebentypus, with the $n$...
- 563
10
votes
1
answer
398
views
Vinogradov-Korobov prime number theorem for number fields
Without assuming the Riemann hypothesis, the traditional error bound of the prime-counting function $\pi(x)$ is $O(x\exp(-c(\log(x))^{1/2}))$. As shown by the Wikipedia page for the Landau prime ...
- 211
5
votes
1
answer
291
views
Asymptotics of the Liouville sum at the primes
Let $\lambda$ denote the Liouville function, and let $L(x):=\sum_{n \leq x} \lambda(n)$ be the Liouville sum. Define $c$ to be the supremum of the real parts of the zeros of the Riemann zeta function. ...
- 103
11
votes
2
answers
1k
views
Mertens-like theorem
Mertens' first theorem states that
$$
\sum_{p \leq n} \frac{\log p}{p} = \log n + O(1).
$$
I read in this paper that the following variant is "classical":
$$
\sum_{p \leq n} \frac{\log p}{p -...
2
votes
0
answers
165
views
Tools to prove lower bounds in analytic number theory
Perron's formula and related methods are used to relate statements such as the Riemann hypothesis to upper bounds of functions occurring in analytic number theory. For example, Perron's formula is ...
- 1,018
7
votes
2
answers
997
views
Convolution sum of divisor functions
Let $\sigma_0(n)$ be the divisor counting function
$$\sigma_0(n) = \sum_{d \vert n} 1.$$
I'm interested in the convolution sum
$$ S(n) := \sum_{k=1}^{n-1} \sigma_0(k) \sigma_0(n-k)$$
I ran some quick ...
- 1,949
3
votes
2
answers
813
views
Do all rigorous proofs of Euler's product for $\zeta (s)$ use infinitude of primes?
There are two proofs of
$$\sum_{n=1}^\infty \frac{1}{n^s}=\prod_{p \text{ prime}}\frac{1}{1-p^{-s}},\quad \Re (s)\gt 1$$
which I'm aware of. I'll call the first one the Sieve proof and the second one ...
- 157
9
votes
1
answer
558
views
Is the divisor counting function equidistributed mod $p$?
Let $\sigma_0(n)$ be the divisor counting function:
$$\sigma_0(n) = \sum_{d \vert n} 1.$$
I ran some numerical experiments that showed when $p$ is prime, the function $\sigma_0(n)$ is equidistributed ...
- 1,949