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
35
votes
1
answer
1k
views
Quaternionic and octonionic analogues of the Basel problem
I asked this question in MSE around 3 months ago but I have received no answer yet, so following the suggestion in the comments I decided to post it here.
It is a well-known fact that
$$\sum_{0\neq n\...
- 1,206
35
votes
0
answers
1k
views
Is there a rigid analytic geometry proof of the functional equation for the Riemann zeta function?
The adèles $\mathbb A$ arise naturally when considering the Berkovich space $\mathcal M(\mathbb Z)$ of the integers. Namely, they are the stalk $\mathbb A = (j_\ast j^{-1} \mathcal O_\mathbb Z)_p$ ...
- 63.9k
34
votes
7
answers
8k
views
Explicit formula for Riemann zeros counting function
I've often seen it stated (in vague terms) that there's a Fourier duality between the set of prime numbers and the set of nontrivial Riemann zeta zeros.
Because there are various explicit formulae ...
- 371
33
votes
2
answers
1k
views
Can we find two positive integers $n$ and $m$ ($n,m>1$) such that $n^\pi = m$? [duplicate]
I came across this apparent random question in some math questions website. At first, I thought it was easy to show that there are no non-trivial integer solutions to this equation, but then I ...
- 515
32
votes
3
answers
8k
views
Ideas in the elementary proof of the prime number theorem (Selberg / Erdős)
I'm reading the elementary proof of prime number theorem (Selberg / Erdős, around 1949).
One key step is to prove that, with $\vartheta(x) = \sum_{p\leq x} \log p$,
$$(1) \qquad\qquad \vartheta(x) \...
- 587
32
votes
1
answer
925
views
Strange convergence of Euler's series for $\zeta(2)$
Using Maple to compare $\pi^2$ and the partial sums of $6\sum_{n=0}^{\infty}\frac{1}{n^2}$ I have noticed something that appears strange.
For instance, let $S_{k}=6\sum_{n=0}^{k}\frac{1}{n^2}$ be ...
- 403
32
votes
2
answers
3k
views
Does the equation $1 + 2 + 3 + \dots = -\frac{1}{12}$ have a natural $p$-adic interpretation?
Consider the equation
$$1 + 2 + 3 + 4 + \cdots = - \frac{1}{12},$$
"proved" by Ramanujan Euler. One correct way to interpret this is that $\zeta(-1) = - \frac{1}{12},$ where $\zeta(s) = \sum_{n = 1}^{\...
- 7,347
30
votes
2
answers
4k
views
What is the crucial difference the Maynard/Tao approach and Goldston-Pintz-Yildirim that extends to prime k-tuples with $k>2$
Suppose $m$ is a positive integer. A quantity of interest is
$$
H_m = \liminf_{n\to\infty} \left(p_{n+m} - p_n \right)
$$
The twin prime conjecture, is, of course $H_1 = 2$, the the prime k-tuples ...
- 1,354
30
votes
2
answers
9k
views
Why Is $e^{\pi\sqrt{232}}$ an Almost Integer?
We have already discussed why $e^{(\pi\sqrt{163})}$ is an almost integer.
Why are powers of $\exp(\pi\sqrt{163})$ almost integers?
Basically $j(\frac{1+\sqrt{-163}}{2} ) \simeq 744 - e^{\pi\sqrt{163}...
- 1,089
30
votes
2
answers
4k
views
Motivation behind Analytic Number Theory
I am an undergraduate student of mathematics and recently took an introductory course in analytic number theory, where the instructor roughly followed Apostol's first text on the subject. I have now ...
- 317
30
votes
3
answers
4k
views
Heuristic argument for the prime number theorem?
Here is a bad heuristic argument for the prime number theorem. Let $n$ be a positive integer and assume that PNT holds up to $n$. Then $n$ itself is prime if and only if for each prime $p<n$ the ...
- 29k
30
votes
3
answers
3k
views
Lindelöf hypothesis claim
I was randomly browsing, when I found this puff piece claiming a proof of the Lindelöf hypothesis by Fokas. Note that the Wikipedia article says that he claimed, then withdrew his claim in 2017, but ...
- 96.4k
30
votes
2
answers
1k
views
On determinants of Laplacians on Riemann surfaces
History of the formula: In their famous paper "On determinants of Laplacians on Riemann surfaces" (1986), D'Hoker and Phong computed the determinant of the Laplacian $\Delta_n^+$ on the ...
29
votes
2
answers
4k
views
Closed formula for a certain infinite series
I came across this problem while doing some simplifications.
So, I like to ask
QUESTION. Is there a closed formula for the evaluation of this series?
$$\sum_{(a,b)=1}\frac{\cos\left(\frac{a}b\right)}{...
- 43.2k
29
votes
4
answers
5k
views
What is Ricardo Pérez-Marco's eñe product? Does it explain his statistical results on differences of zeta zeros?
The number theory community here at University of Michigan is abuzz with talk of this paper recently posted to the arxiv. If you haven't seen it already, the punch line is that the global differences ...
- 2,200
29
votes
1
answer
1k
views
About the function $\prod_{k \in \mathbb{N}}(1-\frac{x^3}{k^3})$
I'm wondering if the function $$f(x)=\prod_{k \in \mathbb{N}}\left(1-\frac{x^3}{k^3}\right)$$ has a name, or if there are any properties (especially about derivatives of $f$) have studied so far.
I ...
- 483
29
votes
5
answers
5k
views
Partial sums of multiplicative functions
It is well known that some statements about partial sums of multiplicative functions are extremely hard. For example, the Riemann hypothesis is equivalent to the assertion that $|\mu(1)+\mu(2)+\dots+\...
- 29k
29
votes
4
answers
5k
views
Good uses of Siegel zeros?
The short version of my question goes: What is known to follow from the existence of Siegel zeros?
A longer version to give an idea of what I have in mind: The "exceptional zeros" of course first ...
- 291
29
votes
1
answer
2k
views
What's special about the circle problem?
Let $K$ be a number field, and let
$$\zeta_{K}(s):= \sum_{0
\neq I \text{ ideal of }O_K} \frac{1}{N_{K/\mathbb{Q}}(I)^s} = \sum_{n \ge 1} \frac{a_n}{n^s}$$
be the Dedekind zeta function of $K$. The ...
- 14.6k
29
votes
1
answer
2k
views
Why is there a Parity Problem in Sieve Theory and not a Mod p problem for any other p?
The "parity problem" in sieve theory, so far as I understand it, is the fact that sieves can't distinguish between primes and $2$-almost primes, numbers with exactly two prime factors, and will always ...
- 1,161
28
votes
3
answers
3k
views
Expressing the Riemann Zeta function in terms of GCD and LCM
Is the following claim true: Let $\zeta(s)$ be the Riemann zeta function. I observed that as for large $n$, as $s$ increased,
$$
\frac{1}{n}\sum_{k = 1}^n\sum_{i = 1}^{k} \bigg(\frac{\gcd(k,i)}{\...
- 5,470
28
votes
4
answers
6k
views
The Riemann Hypothesis and the Langlands program
On page 263 of this book review appears the following:
Given the centrality of L-functions to the Langlands program, nothing would seem more natural (than a presentation of elementary algebraic ...
- 7,057
28
votes
3
answers
2k
views
Does $a_n=\prod^n_{k=1}(1-e^{k\alpha \pi i})$ converge to zero when $\alpha$ is irrational?
I came across a problem concerning about the convergence of products. I wonder if the complex series $a_n=\prod^n_{k=1}(1-e^{k\alpha \pi i})$ converges to zero when $\alpha$ is irrational. Of course, ...
- 1,565
28
votes
2
answers
3k
views
What are some consequences of zero free strip of the Riemann zeta function?
A weaker version of the Riemann hypothesis is the claim that if $\zeta(s) = 0$ then $Re(s) \leq 1 - h$ for some constant $h> 0$. What would the consequences be of a result of this type?
- 3,625
28
votes
1
answer
2k
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)^{...
- 2,375
27
votes
4
answers
2k
views
Which quaternary quadratic form represents $n$ the greatest number of times?
Let $Q$ be a four-variable positive-definite quadratic form with integer coefficients and let $r_{Q}(n)$ be the number of representations of $n$ by $Q$. The theory of modular forms explains how $r_{Q}(...
- 20.4k
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
26
votes
5
answers
3k
views
Are the 'semi' trivial zeros of $\zeta(s) \pm \zeta(1-s)$ all on the critical line?
The proof that $\Gamma(z)\pm \Gamma(1-z)$ only has zeros for $z \in \mathbb{R}$ or $z= \frac12 +i \mathbb{R}$ has been given here:
Are all zeros of $\Gamma(s) \pm \Gamma(1-s)$ on a line with real ...
- 4,169
26
votes
4
answers
2k
views
Why do zeta functions contain so much information?
Is there some intuitive explanation why Dedekind zeta functions contain so much information about their number field?
For example the residue at the pole $s=1$ relates several invariants of the ...
- 261
26
votes
2
answers
2k
views
Is there any sense in which Dirichlet density is "optimal?"
A philosopher asked me an interesting math question today! We know that there are sets S of integers which don't have a "natural" or "naive" density -- that is, the quantity (1/n)|S intersect [1..n]| ...
- 19.2k
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
25
votes
2
answers
3k
views
Prime square offsets: Why is +7 more frequent than -7?
For a prime $p$, define $\delta(p)$ to be the smallest offset $d$
from which $p$ differs from a square:
$p = r^2 \pm d$, for $d,r \in \mathbb{N}$.
For example,
\begin{eqnarray}
\delta(151) & = &...
- 151k
25
votes
7
answers
3k
views
Question on consecutive integers with similar prime factorizations
Suppose that $n=\prod_{i=1}^{k} p_i^{e_i}$ and $m=\prod_{i=1}^{l} q_i^{f_i}$ are prime factorizations of two positive integers $n$ and $m$, with the primes permuted so that $e_1 \le e_2 \cdots \le e_k$...
- 15.4k
25
votes
1
answer
2k
views
Wrong asymptotics of OEIS A000607 (number of partitions of an integer in prime parts)?
Sequence A000607 in the Online Encyclopedia of Integer Sequences is the number of partitions of $n$ into prime parts. For example, there are $5$ partitions of $10$ into prime parts: $10 = 2 + 2 + 2 + ...
- 690
25
votes
3
answers
3k
views
Understanding zeta function regularization
I attended a talk this morning on Ray-Singer torsion, in which Rafael Siejakowski introduced zeta function regularization in a compelling way. The goal is to define the determinant of a positive self-...
- 22.1k
25
votes
2
answers
2k
views
$P(s)=1-\sqrt{\frac{2}{\zeta(s)}-\sqrt{\frac{2}{\zeta(2s)}-\sqrt{\frac{2}{\zeta(4s)}-\sqrt{\frac{2}{\zeta(8s)}-...}}}}$
Vassilev-Missana - A note on prime zeta function and Riemann zeta function¹ claims the following remarkable identity:
$$
P(s)=1-\sqrt{\frac{2}{\zeta(s)}-\sqrt{\frac{2}{\zeta(2s)}-\sqrt{\frac{2}{\zeta(...
- 1,962
25
votes
3
answers
3k
views
Discrete Fourier Transform of the Möbius Function
Consider the Möbius function $\mu (m)$. (Thus $\mu(m)=0$ unless all prime factors of $m$ appear once and $\mu (m)=(-1)^r$ if $m$ has $r$ distinct prime factors.) Next consider for some natural number $...
- 24.7k
24
votes
2
answers
2k
views
A conjecture based on Wilson's theorem
Definitions:
Lagrange's theorem implies that for each prime $p$, the factors of $(p − 1)!$ can be arranged in unequal pairs, with the exception of $±1$, where the product of each pair $≡ 1 \pmod p$. ...
- 1,903
24
votes
2
answers
1k
views
Elementary congruences and L-functions
In a recent article, Emmanuel Lecouturier proves a generalization of the following surprising result: for a Mersenne prime $N = 2^p - 1 \ge 31$, the element
$$ S = \prod_{k=1}^{\frac{N-1}2} k^k $$
...
- 32.6k
24
votes
2
answers
2k
views
Prove or disprove that $\sum_{n=1}^{\infty}\frac{\lambda(n)\mathbb{E}_{n\in\mathbb{N}}[a_n]}{n}=0$ for any choice of $(a_n)$
I've been obsessed with this one problem for many months now, and today is the sad day that I admit to myself I won't be able to solve it and I need your help. The problem is simple. We let
$$\mathbb{...
- 2,902
24
votes
1
answer
2k
views
Parity of the multiplicative order of 2 modulo p
Let $\operatorname{ord}_p(2)$ be the order of 2 in the multiplicative group modulo $p$. Let $A$ be the subset of primes $p$ where $\operatorname{ord}_p(2)$ is odd, and let $B$ be the subset of primes $...
- 429
24
votes
4
answers
8k
views
What does log convexity mean?
The Bohr–Mollerup theorem characterizes the Gamma function $\Gamma(x)$ as the unique function $f(x)$ on the positive reals such that $f(1)=1$, $f(x+1)=xf(x)$, and $f$ is logarithmically convex, i.e. $\...
- 11.1k
24
votes
1
answer
2k
views
How good is "almost all" when it comes to the Riemann Hypothesis?
Let $N(T)$ be the number of zeroes of the Riemann zeta function $\zeta$ having imaginary part strictly between $0$ and $T$, and let $N_0(T)$ be the number of those zeroes that also have real part ...
- 231
24
votes
1
answer
1k
views
Integrating on $\mathbb{R}$ by summing on $\mathbb{Q}^+$
Does the following integration method hold for regular enough functions $F:\mathbb{R}\to\mathbb{R}$?
\begin{align}
&\zeta(2)\sum_{\frac{a}{b}\in\mathbb{Q}_n} \frac{F(\log \frac{a}{b})}{\sqrt{abn}...
- 634
24
votes
1
answer
694
views
two's and three's survive in gcd of Lagrange
Lagrange's four square_theorem states that every positive integer $N$ can be written as a sum of four squares of integers. At present, let's focus only on positive integer summands; that is, $N=a_1^2+...
- 43.2k
24
votes
2
answers
2k
views
Does the quadratic form $x^2 - 7y^2$ represent infinitely many primes, with the restriction that $0 < y < x/10$?
Surely yes, and in more generality, but can it be proved?
It seems that most, if not all, statements about quadratic forms representing primes fall back on algebraic number theory (i.e. splitting of ...
- 7,347
24
votes
1
answer
2k
views
Error to sum of Euler phi-functions
The number theory identity $\phi(1) + \phi(2) + \dots + \phi(n) \approx \frac{3n^2}{\pi^2}$ can be interpreted as counting relatively prime pairs of numbers $0 \leq \{ x,y \} \leq n$ .
&...
- 22.8k
24
votes
1
answer
693
views
Gaussian primes in small boxes
The best unconditional result bounding prime gaps is due to Baker, Harman and Pintz, and states that for any sufficiently large $n$, the interval $$[n,n+Cn^{0.525}]$$ contains a prime, for some ...
- 11.4k
24
votes
0
answers
14k
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 ...
- 11.1k
23
votes
2
answers
2k
views
Parity of $\lfloor 1/(x y) \rfloor$ not equally distributed
A curious puzzle for which I would appreciate an explanation.
For $x$ and $y$ both uniformly and independently distributed in $[0,1]$,
the value of $\lfloor 1/(x y) \rfloor$ has a bias toward odd ...
- 151k