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.
2,662
questions
4
votes
1
answer
320
views
Is there a "convolution" of asymptotic growth?
Suppose that I have two asymptotic counts given by
$$
\#\{x \in [0,H] \cap \mathbb Z: f(x) \leq H\} \sim F(H)
$$
and also
$$
\#\{x \in [0,H] \cap \mathbb Z: g(x) \leq H\} \sim G(H).
$$
From these two ...
3
votes
0
answers
45
views
On Carmichael function and aliquot parts of odd perfect numbers
I've asked nine months ago this question on Mathematics Stack Exchange with identifier 4430381 and same title. There is not answer for this question on Mathematics Stack Exchange, I wondered if this ...
1
vote
0
answers
87
views
Partial exponential sums over lattice points of lattice cones
Consider the usual lattice $M:=\mathbb{Z}^2\subseteq\mathbb{R}^2$, and
let $v_1,v_2\in\mathbb{Z}^2\subseteq\mathbb{R}^2$ be two non-zero lattice points which are $\mathbb{Z}$-linearly independent. ...
3
votes
1
answer
323
views
Curious infinite product, convergence, connection to prime numbers
I have been playing with the following function:
$$
f(x)=\frac{\pi x (1-x^2)}{\sin\pi x}\prod_{k=2}^\infty \frac{\sin(\pi x/k)}{\pi x/k}
$$
It is hard to get correct numerical values. I'll start with ...
3
votes
0
answers
69
views
Research of average number of equivalence classes of solutions to generalised Pell's equation
Statement of the problem
Firstly, consider the infamous Pell's equation:
$x^{2}-dy^{2}=1$. Here $x$ and $y$ are integers and $d$ is a nonsquare integer. It is known ([3]) that all solutions of this ...
0
votes
0
answers
79
views
Prime races in two competing arithmetic progressions - error bound
I read an article by Andrew Granville on the subject, there's actually quite a bit of recent literature on the topic. My problem is as follows. I have two sequences of primes: $(p_{1,n})$ and $(p_{3,n}...
4
votes
1
answer
146
views
Zeros of Dirichlet function $L(s,\chi_4)$
I am wondering if there are some know results for the non-trivial roots at ${\rm Re}(s) = \frac{1}{2}$, even maybe a table of the first few roots with $t>0$. This sister function
$$
L_4^* (s,\chi_4)...
3
votes
1
answer
160
views
Positivity of partial Dirichlet series for a quadratic character?
Let $\chi\colon(\mathbb{Z}/N\mathbb{Z})^\times\rightarrow\{\pm1\}$ be a primitive quadratic Dirichlet character of conductor $N$. For any integer $m=1,2,\cdots,\infty$, consider the partial Dirichlet ...
2
votes
1
answer
70
views
A sum related to the first moment of quadratic $L$-functions at $s=1$
Let $(\frac{m}{n})$ be the Jacobi quadratic symbol defined for positive squarefree odd integers $n,m$. Does the following sum go to infinity?
$$
\sum_{1\leq n \leq (\log x)^{100} } \mu^2(2n) \sum_{(\...
2
votes
2
answers
222
views
Inequalities for two functions related to the primorial function
Added: As remarked in the answers below, my question has a negative (and well-known) answer.
We denote by $\mathcal P=\lbrace 2,3,5,7,\ldots\rbrace$ the set of prime-numbers and by
$\mathcal P^*=\...
2
votes
1
answer
103
views
Weak Siegel–Walfisz property
Let $f:\mathbb N \to \mathbb C$ be an arithmetic function. There are various ways to define what the Siegel–Walfisz (S–W) property is for $f(n)$. One simple way is that
there exists some function $g(...
0
votes
0
answers
28
views
'$r$-prime factor number' distribution centering an '$l$-prime factor number'
Let '$k$-prime factor integer' $n$ be an integer of form
$$2^t\prod_{i=1}^{k'} p_i^{e_i}$$
where $1\leq k'\leq k$ and at every $i\in\{1,\dots,k\}$ $p_i$ is a distinct odd prime and $e_i\in\mathbb Z_{&...
14
votes
0
answers
272
views
An 'onion-structure' for roots of a series associated to prime numbers?
The series $$\sum_{n=1}^\infty\frac{z^{p_n-n}}{n!}$$ associated to the
sequence $p_1=2,p_2=3,p_3=5,p_4=7,p_5=11,\ldots$ of prime numbers
defines a holomorphic function in the open disc of radius $e$.
...
0
votes
0
answers
42
views
Absolute error in linearly approximating the sum of sum-of-divisors function
The sum-of-divisors function is defined as $\sigma(k):=\sum_{\ell\mid k}\ell.$ It is well-known that $$\sum_{k\le x}\sigma(k)=\frac{\pi^2}{12}x^2+O(x\log x),$$ and therefore it seems natural to study ...
2
votes
0
answers
48
views
Divisor of given order in short intervals
Is the following Open question or Conjecture already known, or eventually settled ?
Open question : For sufficiently large $x$ there is at least a positive integer in the interval $[x,x+\log^2(x)]$ ...
5
votes
1
answer
169
views
Does there exist a sequence $(x,y) \in \mathbb{Z}^2$ such that $|\alpha x - y| \sqrt{x^2 + y^2}$ approaches a given real number?
Let $\alpha > 0$ be a real irrational algebraic number and $c > 0$.
I am interested in the following question.
Does there exist a sequence $(x_i,y_i) \in \mathbb{Z}^2$ such that
$$
\lim_{i \...
2
votes
0
answers
52
views
Twin prime distribution centering twice a semiprime
What is the conjectured distributional behavior of semiprimes $pq$ ($p$ and $q$ are primes) having the property $2pq+1$ and $2pq-1$ are primes?
1
vote
0
answers
53
views
Distribution of number of prime factors of $p^k\pm1$
What is the behavior of number of prime factors of integers of form $p^k\pm1$ where $p$ is a fixed odd prime or $2$ and $k$ varies over positive integers?
2
votes
1
answer
148
views
Exponential sum vs. exponential integral via Poisson summation
When we want to estimate an exponential sum
$$
\sum_{M<m\le M'}e(f(m))
\quad\text{with}\quad
1\le M\le M'\le 2M
\quad\text{and}\quad
e(x):=\exp(2\pi ix)
$$
where $e(x):=\exp(2\pi ix)$
and the phase ...
14
votes
0
answers
378
views
Is every prime $q$ of the form $x^2 + py^2$ for some prime $p<q$?
For every odd prime $q \geq 3$, does there exist a prime $p < q$ and integers $x,y$ such that
$$\displaystyle x^2 + py^2 = q?$$
One can easily show that all primes $q \not \equiv -1 \pmod{3}$ can ...
1
vote
0
answers
96
views
Integral points in smooth cubic curves
Let $X$ be a smooth affine cubic curve in $\mathbb A^2$ defined by $f(T_1,T_2)\in\mathbb Z[T_1,T_2]$ (of course $\deg(f)=3$ by definition), and
$$n(f, B)=\{(x_1,x_2)\in\mathbb Z^2| |x_1|\leq B, |x_2|\...
2
votes
0
answers
167
views
Possible regularisation for sum of function of primes
Consider the following sum of function of primes:
$$-\sum_{p}\ln\left( 1 - \frac{1}{(ep)^{1/2}} \right){\ln(p)}$$
Here $p$ runs through all primes and $e$ is Euler's constant.
We can see that the sum ...
0
votes
0
answers
119
views
Asymptotic bound of some number theoretic function
I asked this in stack exchange but did not get anything so I am posting it here.
I am self-studying asymptotic behavior of some number theoretic function and the following question comes up.
Let $n$ ...
5
votes
0
answers
187
views
A bias for runs in Legendre symbols?
$\newcommand\Legendre[2]{\genfrac(){}{}{#1}{#2}}$An odd prime $p$ defines the sequence $\Legendre1 p,\Legendre2 p,\dotsc,\Legendre{p-1}p$
of values of the Legendre symbol describing the quadratic ...
9
votes
3
answers
909
views
Proving Mertens' theorem using the prime number theorem
Mertens' Theorem states that
$$\sum_{p \leq x}\frac{1}{p} = \log \log x + M + O(1/\log x).$$
This is weaker than the prime number theorem; in fact according to the Wikipedia page, the prime number ...
0
votes
0
answers
80
views
Exact value of $0<\wp^{-1}(2^{-{2/3}})<2$ with $\wp$ the Weierstrass elliptic function
I am investigating solutions to the differential equation
$$\ddot{y}(t)=6y(t)^2,\dot{y}(0), y(0)=y_0>0.\tag{1}\label{1} $$
Let $\wp(t)$ be the Weierstrass elliptic function with elliptic invariants ...
1
vote
1
answer
93
views
Cardinality of $\{ n_i + i^k: i \in \mathbb{N} \} \cap [1,T]$ where $\{n_i \}$ is all natural numbers in some order
Let $n_1, n_2, ...$ be a sequence of natural numbers such that $\{n_i: i \in \mathbb{N}\}$ as a set is all of natural numbers. Let $k$ be a positive integer. Is is possible to obtain a lower bound of ...
6
votes
1
answer
151
views
Is the set of all solutions $x > 0$ to $ \pi(x) = \operatorname{li}(x)$ unbounded?
Is the set of all solutions $x > 0$ to the equation $\pi(x) = \operatorname{li}(x)$ unbounded? Is $\liminf_{x \to \infty} |\pi(x)-\operatorname{li}(x)|$ equal to $0$?
Here, $\pi(x)$ denotes the ...
1
vote
0
answers
76
views
An identity among values of the logarithmic derivative of $\zeta(s)$
From some known special values of the Riemann zeta function and its derivative, one can show that
$$\gamma =1+ \frac{\zeta'(2)}{\zeta(2)} -\frac{\zeta'(0)}{\zeta(0)}+ \frac{\zeta'(-1)}{\zeta(-1)}.$$
...
1
vote
0
answers
119
views
Error or gap in "Modular Functions and Dirichlet Series", by Apostol
My question concerns Apostol's Chapter 7, Kronecker's Theorem with Applications. It's Theorem 7.11, page 156.
I’m attaching the proof in question. There is a lot going on, but I’ve highlighted the ...
2
votes
0
answers
61
views
Second moment of $S(T)$ for Dirichlet L-functions
Let $S(T)$ denote the argument of the Riemann zeta function. Selberg established that $$\int_0^T |S(t)|^2 \text{d}t\sim\frac{T}{2\pi^2}\log \log T.$$ Let now $\chi$ be a Dirichlet character modulo $q$,...
1
vote
1
answer
82
views
Why is $\sum_{m=1}^{n}\frac{(\nu(m)-\log\log n)^2}{n\log\log n}=\int_{-\infty}^{\infty}\omega^2\, \mathrm{d}\sigma_n(\omega)$?
I was reading an article on Probabilistic Number Theory by M.Kac where I am not able to understand why a particular equation mentioned here in page $657$ equation $(7.7)$ is true?
I do understand that ...
4
votes
0
answers
76
views
L_infinity norm of signed sums of Fourier characters and discrepancy of Fourier matrices
Consider signed sums $\displaystyle A_f(x) =\sum_{\chi} (-1)^{f(\chi)} \chi(x)$ for some set $S$ of characters of an abelian group $G$, and signing $f$ of the characters. For a fixed set $S$ what is ...
6
votes
2
answers
161
views
Average value of the prime omega function $\Omega$ on predecessors of prime powers
For a positive integer $n$, the prime omega function value $\Omega(n):=\sum_{p\mid n}{\nu_p(n)}$ counts the number of prime divisors of $n$ with multiplicities. A result of Hardy and Wright, [1, ...
4
votes
1
answer
438
views
Proving $\zeta_K\left(\frac12\right)\neq 0 \implies \zeta_K'\left(\frac12\right)\neq0?$
For an algebraic number field $K$, let $\zeta_K(s)$ be the Dedekind zeta function associated to $K$, and let $\zeta_K'(s)$ be its derivative.
I believe that the following statement is true:
$$\zeta_K\...
0
votes
1
answer
194
views
GRH and the Euler product
Let $L(\chi, s)$ be the Dirichlet L-Function of a primitive character $\chi$. I believe, if I’m not mistaken, the convergence of the Euler product of $L(\chi, s)$ in the critical strip is known to be ...
0
votes
0
answers
66
views
On number of shifted integer solutions to a linear system
Let $M$ be a random diagonally dominant non-singular $3\times 3$ integer matrix
$$\begin{bmatrix}
m_{11}&m_{12}&m_{13}\\
m_{21}&m_{22}&m_{23}\\
m_{31}&m_{32}&m_{33}
\end{...
2
votes
1
answer
392
views
The nontrivial zeros of the zeta function and the prime counting function
The truncated explicit formula has the shape
\begin{equation}\label{1}
\psi(x) =x-\frac{\zeta^{\prime}(0)}{\zeta(0)}-\sum_{|\rho|\leq T}\frac{x^{\rho}}{\rho}+\sum_{n=1}^{\infty}\frac{x^{-2n}}{2n}+...
2
votes
0
answers
126
views
Expected error term in the distribution of Friedlander-Iwaniec primes
In 1998 John Friedlander and Henryk Iwaniec famously proved the asymptotic formula
$$\displaystyle \mathop{\sum \sum}_{a^2 + b^4 \leq x}\Lambda(a^2 + b^4) = \frac{4x^{\frac{3}{4}}}{\pi} \int_0^1 (1 - ...
3
votes
0
answers
104
views
Bounding number of solutions of a congruence
Let $d$ be a positive integer. Let $f(d,a)$ be the number of values of $x$ in $[1,d]$ such that $$x^{a}\equiv 1\pmod{d}.$$ I wanted to know if for some $0<\epsilon<1$, we can prove the following ...
3
votes
0
answers
162
views
Degree four polynomials with no real roots
Consider a degree four polynomial
$$
f = a_4x^4 + a_3x^3 + a_2x^2 + a_1x+ a_0 \in \mathbb{R}[x]
$$
with real coefficients. The discriminant $\Delta_f$ of $f$ is a homogeneous polynomials of degree six ...
2
votes
1
answer
210
views
Explicit bounds on number of primes of given size
How many prime numbers of $b$ bits are there?
Beyond the prime number theorem, one can give explicit bounds on the number of primes below some integer $n$, or in a given interval. For instance, Rosser ...
0
votes
1
answer
103
views
Asymptotic for a sum involving GCD and Euler totient function
Let $\varphi$ denote the Euler's totient function. Is there any reference in literature for the value of sum $$\sum_{\substack{r\le x\\ d\mid r}}\gcd(\phi(d),r)$$ where $d$ is some fixed positive ...
5
votes
0
answers
92
views
Asymptotics for a sum involving GCD and multiplicative order
Let $n$ be a positive integer and $\mathrm{ord}_{n}(a)$ be the least positive integer $d$ such that $n\mid a^{d}-1$. I wanted to know if for some choice of $y=y(x)$, one can obtain asymptotics for ...
2
votes
1
answer
158
views
Voronoï summation for cusp forms with characters
In an attempt to solve an unrelated problem, I was led to the task of estimating/bounding from above sums of the form
$$\sum_{m=1}^\infty\lambda(m)e\left(-\frac{am}{q}\right)h(m)$$
where $\sum_{m=1}^\...
22
votes
0
answers
8k
views
Philosophy behind Zhang's 2022 preprint on the Landau–Siegel zero
Now that a week has passed since Zhang posted his preprint Discrete mean estimates and the Landau–Siegel zero on the arXiv, I'm wondering if someone can give a high-level overview of his strategy. In ...
2
votes
0
answers
259
views
An approximation for the prime counting function
NOTE: I've edited the question one last time, to be much simpler, in the hopes of getting more responses.
SETUP: Let $p_n$ denote the $n$th prime, let $p_x = p_{\lceil x \rceil}$ for all $x > 0$, ...
10
votes
0
answers
376
views
Are prime numbers among sums of prime numbers distributed as $\frac n{2\ln(n)}$?
Let $(s_n)_{n\in\mathbb N}$ be defined as follows:
For $n\in\mathbb N$, $s_n:=2+3+5+\cdots+p_n$ is the sum of the first $n$ prime numbers (e.g.: $s_1=2$, $s_2=5$, $s_3=10$, $s_4=17$, $\ldots$).
Let $\...
7
votes
0
answers
150
views
The spectrum of the Banach algebra of certain arithmetic functions under Dirichlet convolution
I was thinking about using the tools of functional analysis to study some subring of arithmetic functions under Dirichlet convolution. If I let $D_s$ be the ring of arithmetic functions with finite ...
0
votes
0
answers
43
views
Does this approximate linear Diophantine Equation have bounded number of solutions?
Consider the linear diophantine equation
$$\alpha u+\beta v =r+ \delta$$
where $\alpha,\beta,r\in\mathbb Q$ are known and their binary expansion has $O(k)$ bits to exactly represent them and $\delta\...