All Questions
Tagged with analytic-number-theory reference-request
365 questions
-3
votes
1
answer
194
views
Bounding a number-theoretic integral
Find a good upper bound on $$\int_1^T\frac{\zeta'(s)}{\zeta(s)\zeta(1-s)}X^sdt,$$ where $s=c+it$ for a constant $c>1$ and $X>0$ is a parameter. If needed, we can assume RH.
My attempt here is ...
- 107
1
vote
0
answers
101
views
Locating volume 2 of certain conference proceedings in analytic number theory
Does anyone know where one might locate "Analytic Number Theory: Proceedings of a Conference in Honor of Heini Halberstam, Volume 2"? There exists Volume 1 here: https://link.springer.com/...
- 1,890
1
vote
1
answer
222
views
Sum over three squares
Let $x$ be a sufficiently large number. Is there an explicit or asymptotic formula for the following sum
$$\sum_{\substack{n\leq x\\ n=a^2+b^2+c^2}} 1.$$ Any reference would be helpful.
- 1,257
2
votes
2
answers
363
views
Size of $\zeta'(s)$ at its zeros
How large can the derivative of the Riemann zeta function be at its zeros?
More specifically, let $\rho$ be a zero of the zeta function with $\Im(\rho)\in (0,T]$. What can we say about $|\zeta'(\rho)|...
user536681
5
votes
0
answers
261
views
Primes generated by cyclotomic polynomials
Let $p$ be an odd prime, and let $f=\Phi_p$ be the $p$-th cyclotomic polynomial. Denote by $S_p$ the set of primes $q$ such that there exists a sequence of primes $p_1,\dots, p_g$ such that $p_1=f(1)=...
2
votes
1
answer
191
views
Sums of multiplicative functions over residue classes
It was stated in this Shiu, P. work, page 169, Theorem 2, that $$\sum_{\substack{n\le x\\ n\equiv a\pmod k}}d_r^{\ell}(n)\ll\frac{x}{k}\left(\frac{\phi(k)}{k}\log x\right)^{r^{\ell}-1}.$$
Here, $d_r(n)...
user536681
4
votes
0
answers
168
views
Explicit bounds on gaps between zeros of $\zeta^\prime(s)$
In $\S$9.1 of "Theory of the Riemann Zeta Function", Titchmarsh uses Borel-Carathéodory and Hadamard Three Circles to show that every circle of radius 6 and center $3+iT$ contains a zeros of ...
- 11.1k
2
votes
0
answers
179
views
A Brun-Titchmarsh type result for divisor sums; asymptotic/improved bound
In Shiu's work ('A Brun-Titchmarsh theorem for multiplicative functions') he proved that if $r\le x$ is a natural number, we have $$\sum_{r<n\le x}d(n)d(n-r)\ll x\log^2x\sum_{d|r}\frac{1}{d}.$$
I ...
user344548
8
votes
2
answers
178
views
Distribution of traces and max entries of words of fixed length in $\operatorname{SL}_2(\mathbb{N})$
$\DeclareMathOperator\SL{SL}\DeclareMathOperator\tr{\mathsf{tr}}$$\SL_2(\mathbb{N})$ is a free monoid on the generators
$$
L=\begin{pmatrix}1&0\\1&1\end{pmatrix},\quad R=\begin{pmatrix}1&1\...
- 609
2
votes
0
answers
102
views
Division based recurrence with negative coefficients, e.g. $F(n)= -F(\lfloor n/2\rfloor) - F(\lfloor n/3\rfloor)$
A famous problem of Erdos dealt with the division-based recurrence $a_n = a_{\lfloor n/2\rfloor}+a_{\lfloor n/3\rfloor}+a_{\lfloor n/6\rfloor}$ with $a_0=1$ (and was about the limit $\lim_{n\to\infty} ...
- 831
2
votes
0
answers
146
views
Reference for accelerated sum to compute the Meissel-Mertens constant
The Meissel-Mertens constant
$$ B_1 = \lim_{n \to \infty} \left(\sum_{p \leq n} \frac{1}{p} - \log\log n\right) $$
has the series representation
$$
\begin{equation} \tag{1}
B_1 = \gamma + \sum_{n=2}^{...
- 451
4
votes
0
answers
63
views
Symmetric square $L$-functions over imaginary quadratic field
Let $F = \mathbb{Q}(\sqrt{-d})$ with class number $h_F = 1$, and $\Gamma = \mathrm{PSL}_2(\mathfrak{O}_F)$. Let $f$ be a Maass cusp form in the $L^2$-cuspidal spectrum of the Laplace operator $\...
- 185
1
vote
0
answers
75
views
automorphisms and mellin transforms
If a real analytic function $f$ is involutive i.e. $f(f(x))=x$ and its Mellin transform can be taken on a section of the real axis, and is analytic for $x>0$, in certain cases can this imply that $\...
- 101
3
votes
0
answers
164
views
Cardinality of the set $\#\{ 1 \leq n \leq N: \| \alpha n^2/N \| < 1/N \}$
Let $\alpha \in I$ where $I$ is some closed interval that does not contain $0$.
I am interested in upper bound for
$$
M(\alpha) = \#\{ 1 \leq n \leq N: \| \alpha n^2/N \| < 1/N \}
$$
where $N$ ...
- 3,625
2
votes
1
answer
158
views
Are the coefficients in the stationary phase approximation computed explicitly somewhere
In Stein's "Harmonic analysis" book, page 334, one can find
the asymptotic expansion
An instructive proof is given for the case $k=2$. It is clear enough to generalize to the cases $k\geq ...
- 852
1
vote
0
answers
59
views
A question on generalized bases
I just came to know that it is possible to define a generalized base as an infinite sequence of natural numbers $\mathbf b=(b_1,b_2,\dots)$ where $b_i\ge 2$ for all $i$. With this definition, any $m\...
6
votes
0
answers
200
views
Empirical bounds on $\left|\frac{\zeta'(1+it)}{\zeta(1+it)}\right|$
It is reasonable to expect that $$\left|\frac{\zeta'(1+it)}{\zeta(1+it)}\right| < 2 \log \log t$$
for all $t\geq 4$ (say): a somewhat stronger bound is known for $t\geq 10^{165}$ or so (Theorem 5 ...
- 20.2k
4
votes
2
answers
486
views
Reference request - Pillai-Selberg Theorem
I want to find a proof of the following claim. Let $\Omega(n)$ denote the number of prime factors of an integer $n$ counted with multiplicity. Then $\Omega(n)$ equidistributes over residue classes. ...
user344548
3
votes
1
answer
459
views
Limit of an infinite series with quadratic arguments
I have encountered a limiting process on some infinite series. So, I would like to ask:
QUESTION. Assume $n$ is an even positive integer. Is this true?
$$\lim_{r\rightarrow1^{-}}\sum_{j=1}^{\infty}\...
- 43.2k
13
votes
0
answers
328
views
Upper bound on prime powers in interval
I just spent a full day on the brutish and thankless task of proving that the Brun-Titchmarsh bound holds for prime powers (including primes), and not just for primes, in the following senses:
(a) the ...
- 20.2k
1
vote
0
answers
174
views
Upper bound on sum of Lambda(n) over short interval
I am looking for a bound of type
$$\sum_{x<n\leq x+y} \Lambda(n) \leq \frac{\log(x+y)}{\log y} \cdot 2y$$
(or better). Of course such a bound has to exist: the idea of the proof of Brun-Titchmarsh (...
- 20.2k
27
votes
1
answer
2k
views
Is every real number in [0,1] a product of three (or more) Cantor set's numbers?
It is well known that every number $x$ in the unit interval $[0,1]$ is the arithmetic mean of two elements of the (triadic) Cantor set $C$. The way to see it I like the most: the Cantor set is the ...
- 60.5k
5
votes
0
answers
131
views
Taking integer values of a sequence of Beurling primes
Let $P=(p_j)_{j=1}^\infty$ be an increasing sequence of real numbers with $1<p_1$ and $\lim_{j\to\infty}p_j=\infty$. As mentioned in [1], Beurling proved that if the multiplicative group $N_P$ ...
- 51
21
votes
1
answer
1k
views
Does summing divergent series using cutoff functions give consistent results?
One way to try to give a value $S$ to a divergent series $\sum_{n=1}^\infty a_n$ is with a smooth cutoff function:
$$
S = \lim_{N\to\infty}\sum_{n=1}^\infty a_n \eta\left(\frac{n}{N}\right)
$$
where $\...
- 313
0
votes
0
answers
73
views
Decrease of $(1/\zeta)^{(r)}(\sigma + i T)$ as $\sigma\to -\infty$?
What is a standard reference for the simple fact that, for $T$ fixed and $\sigma\to -\infty$,
every derivative $|(1/\zeta)^{(r)}(\sigma+i T)|$ of the Riemann zeta function decreases faster than any ...
- 20.2k
6
votes
2
answers
685
views
Number of divisors which are at most $n$
I’m interested in the function $\tau_n:\mathbb{N}\to\{1,2,3,\cdots, n\}$ defined by
$$\tau_n(x)=\sum_{k=1}^n \mathbf{1}_{k\mid x},$$
the number of divisors of $x$ which are at most $n$. Question 6 of ...
- 541
5
votes
1
answer
737
views
Smallest prime factor of numbers
The literature refers to smooth integers as \begin{equation}\Psi(x,y):=\#\{n\le x:P_1(n)\le y\},\end{equation} where $P_1(n)$ is the largest prime factor of $n$. There are lots of results studying $\...
user344548
2
votes
1
answer
198
views
Series with the smallest number whose square is divisible by $n$
I was looking into this sequence. And I'm particularly interested in the asymptotic behavior of the following series (which is stated on the site) $$\sum_{k=1}^n \frac{1}{a(k)} \sim \frac{3(\log n)^2}...
5
votes
0
answers
322
views
Approximating $\zeta^{(r)}(s)$ by a sum
Let $\eta:[0,\infty)\to [0,\infty)$ be compactly supported, continuous and piecewise $C^1$, with its derivative $\eta'$ being of bounded variation. It is completely unsurprising that one can prove (...
- 20.2k
2
votes
0
answers
154
views
Translation of an article of Littlewood
I want to read the English translation of an article of Littlwood titled "Quelques conséquences de l'hypothese que la fonction $ζ (s)$ de Riemann n'a pas de zéros dans le demi-plan $ℜs> 1/ 2$.&...
- 253
4
votes
1
answer
260
views
Kummer's congruence at $p=3$
Let $B_{2k}$ be the Bernoulli numbers of even index and $\varphi(n)$ be Euler's totient function. We recall one instance of Kummer's congruences: for each integer $m\geq1$ and a prime number $p\geq5$, ...
- 43.2k
4
votes
0
answers
335
views
The number of continuously increasing primes gaps in the interval $[2,n]$ is less than $\log n$
A prime gap is the difference between two successive prime numbers. The $n$-th prime gap, denoted $g_n$ or $g(p_n)$ is the difference between the $(n+1)$-st and the $n$-th prime numbers. Using my ...
- 1,776
4
votes
1
answer
629
views
Is $\sum_{n\leq x}{z^{\Omega(n)}} = O(x^{\frac12 + \varepsilon})$ equivalent to the Riemann hypothesis for all roots of unity $z\neq1$?
$\Omega(n)$ is the number of prime divisors of $n$, counted with multiplicity.
For $z=-1$, $z^{\Omega(n)} = \lambda(n)$ is the Liouville function, and it's known that $\sum_{n\leq x}\lambda(n) = O(n^{\...
- 3,319
1
vote
2
answers
295
views
Possible refinements of the large sieve inequality
Let $a_n$, $1\leq n\leq N$, be complex numbers, and set $S(\alpha)=\sum\limits_{n=1}^{N}a_ne(n\alpha)$, where $e(\alpha)=\exp(2i\pi\alpha)$. Then, Selberg's large sieve inequality says that
$$\sum\...
- 309
1
vote
0
answers
127
views
an eigenvalue problem for Jacobi Forms
Assume $G(q,z)$ is a Jacobi form of a certain index k. It is known that $G$ can be expanded in a Taylor series with coefficients in the ring of quasi-modular forms (generators $E_2, E_4$ and $E_6$).
$\...
- 43.2k
3
votes
1
answer
312
views
Congruences for power-sum of divisors
If $\sigma_k(n)=\sum_{d\vert n} d^k$, denote
$$F_1(q)=\sum_{n\geq1}\sigma_1(n)\,q^n \qquad \text{and} \qquad
F_3(q)=\sum_{n\geq1}n\cdot\sigma_2(n)\,q^n.$$
QUESTION. Assume the prime $p$ is either $2,...
- 43.2k
1
vote
0
answers
124
views
Showing Vaaler polynomial is a good approximation to saw tooth function
Vaaler's polynomial is defined
$$
V_K(x) = \frac{1}{K+1}\sum_{k=1}^K\left(\frac{k}{K+1} - \frac12\right) \Delta_{K+1}\left(x - \frac{k}{K+1}\right) +
\frac{1}{2 \pi (K+1)}\sin 2 \pi (K+1) x - \frac{1}{...
- 3,625
2
votes
0
answers
286
views
Is Sturm's theorem able to do these?
$\newcommand{\Ord}{\operatorname{Ord}}$Let $p$ be a positive integer and $F(q)=\sum A(m)q^m$ be a formal power series with integer coefficients. Then $\Ord_p(F(q))$ is defined by
$$\Ord_p(F(q)):=\min\{...
- 43.2k
2
votes
0
answers
103
views
On equidistribution of primes in positive characteristic
In S. Lang's book "Algebraic Number Theory" (1986), page 317, Theorem 6 states essentially that given $P$ a set of primes, let $\tau:P\longrightarrow J$ be the typical idèle map taking ...
- 675
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
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
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
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
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,057
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
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
10
votes
1
answer
1k
views
A generalisation of theorem of Landau on sum of two squares?
Let
$r(B)$ be the number of integers $1 \leq n \leq B$ such that $n = x^2 + y^2$ for some $x, y \in \mathbb{Z}.$
Then it is a known theorem of Landau that
$$
r(B) \sim C \frac{B}{\sqrt{\log B}}
$$
...
- 3,625
2
votes
0
answers
79
views
Which sets of natural numbers are "lambda-analytic"?
Begin with a bit of notation. Let $t = t_0, \ldots, t_d$ be a finite sequence of real numbers. Define
$$\lambda^t(x) = x^{t_0} \log(x)^{t_1} \log(\log(x))^{t_2} \cdots.$$
for all real numbers $x \in ...
- 13.3k
8
votes
1
answer
245
views
Spectral decomposition of $\Gamma\backslash X$
Let $X$ be a reasonable manifold of non-positive curvature (could be $\mathbb{H}^n$, symmetric or locally symmetric space, homogeneous Hadamard manifold etc.), and let $\Gamma$ be a reasonable group ...
- 81
26
votes
0
answers
567
views
Elliptic analogue of primes of the form $x^2 + 1$
I have a project in mind for an undergraduate to investigate next quarter -- a curiosity really, but I'm surprised I can't find it in the literature. I do not want a detailed analysis here... but ...
- 13.3k