Skip to main content

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.

Filter by
Sorted by
Tagged with
23 votes
4 answers
2k views

Primes with more ones than zeroes in their Binary expansion

This question is also motivated by the developement around my old MO question about Mobius randomness. It is also motivated by Joe O'Rourke's question on finding primes in sparse sets. Let $A$ be ...
Gil Kalai's user avatar
  • 24.7k
23 votes
3 answers
3k views

How many different numbers can be obtained as product of first $n$ natural numbers?

Let m and n be natural numbers, and consider the set of all possible products of m (not necessarily distinct) elements from the set $\{1,2,\ldots,n\}$, that is consider the set $\{1^{a_1} \cdot 2^{...
Hujdurovic's user avatar
23 votes
3 answers
1k views

Lower bounding the probability that $\gcd(t,N)≤B$, for a random $t$ and fixed (large) $N$

$\newcommand{\Prb}[1]{\mathcal{P}_{#1}}$ I have the following number theory problem, related to Odlyzko's improvement on Shor’s factoring algorithm (see this cstheory.sx question for details). Let $...
Frédéric Grosshans's user avatar
23 votes
1 answer
3k views

Does the average primeness of natural numbers tend to zero?

This question was posted in MSE. It got many upvotes but no answer hence posting it in MO. A number is either prime or composite, hence primality is a binary concept. Instead I wanted to put a value ...
Nilotpal Kanti Sinha's user avatar
23 votes
1 answer
1k views

What motivated Rademacher's contour along the Ford circles?

Apologies if this question isn't suitable for MathOverflow; I posted it on MSE here but it didn't get a response and it felt like it was on the cusp of being suitable for here. After Ramanujan and ...
mme's user avatar
  • 9,580
23 votes
3 answers
2k views

Why are values of Eisenstein $E_2^*$ algebraic integers?

I'm looking for a proof that the following term is an algebraic integer whenever $\tau_N=\frac{N+\sqrt{-N}}{2}$ is a quadratic irrationality with class number $1$: $$A_N:=\sqrt{-N}\cdot\frac{E_2(\...
L. Milla's user avatar
  • 598
23 votes
1 answer
3k views

More mysteries about the zeros of the Riemann zeta function

Update on 12/26/2020: I added the Appendix at the bottom: simplified formula for $|\zeta(s)|^2$, when $\frac{1}{2}<\Re(s)<1$. Update on 1/5/2020: I added the section "more interesting ...
Vincent Granville's user avatar
22 votes
9 answers
3k views

When does the zeta function take on integer values?

Here $\zeta(s)$ is the usual Riemann zeta function, defined as $\sum_{n=1}^\infty n^{-s}$ for $\Re(s)>1$. Let $A_n=${$s\;:\;\zeta(s)=n$}. The behaviour of $A_0$ is basically just the Riemann ...
Thomas Bloom's user avatar
  • 7,013
22 votes
3 answers
3k views

Is the sum of the reciprocals of the products of pairs of coprime positive integers and their sums equal to 2?

Does the following hold?: $$ \sum_{a, b \in \mathbb{N}^+, \ \gcd(a,b) = 1} \frac{1}{ab(a+b)} \ = \ 2 $$ Numerical computations suggest this may hold, but on the other hand it would be quite ...
Stefan Kohl's user avatar
  • 19.6k
22 votes
1 answer
2k views

Reasons behind assuming the existence of Siegel zeros can be used to prove something stronger than assuming GRH?

There are few results that I am aware of where one can prove something stronger by assuming the existence of Siegel zeros than by assuming the GRH. For example Heath-Brown proved the existence of ...
Johnny T.'s user avatar
  • 3,625
22 votes
3 answers
2k views

Hecke equidistribution

For a prime $p\equiv 1\pmod{4}$, we can write $p=a^2+b^2=N(a+bi)$. Therefore $$ a+bi=p^{1/2}e^{i\varphi} $$ where $\varphi\in [0,2\pi]$. I know that Hecke proved that $\varphi$ is equidistributed. I ...
M.B's user avatar
  • 2,508
22 votes
4 answers
6k views

How does Yitang Zhang use Cauchy's inequality and Theorem 2 to obtain the error term coming from the $S_2$ sum

I have been reading Yitang Zhang's paper now for one and a half weeks and also volunteered to give a popular talk on the paper next week at Stockholm University. Today I found a detail in the proof ...
Johan Andersson's user avatar
22 votes
3 answers
2k views

Understanding Vaughan's Identity

Vaughan's identity https://proofwiki.org/wiki/Vaughan%27s_Identity is a very useful identity in analytic number theory. The identity expresses the von-Mangoldt function $\Lambda(n)$ as a sum of ...
Johnny T.'s user avatar
  • 3,625
22 votes
3 answers
1k views

Distribution of the Error term in GH Hardy's "curious result" $\sum_{\nu \leq n } \{ \nu \theta \}^2 = \tfrac{1}{12} n + O(1)$

In an early paper, GH Hardy talks about the distribution of "curious" sum: $$ \sum_{\nu \leq n } \{ \nu \theta \}^2 = \tfrac{1}{12} n + O(1)$$ where $\{x\}:=x-\left \lfloor x \right \rfloor -1/2$. ...
john mangual's user avatar
  • 22.8k
22 votes
7 answers
5k views

What should be learned in an introductory analytic number theory course?

Hello all -- I have the privilege of teaching an introductory graduate course in analytic number theory at the University of South Carolina this fall. What topics should I definitely cover? I'm not ...
22 votes
2 answers
3k views

What are the consequences of an ineffective proof of the Riemann Hypothesis?

Suppose a proof came out (and was verified by credible peer review) of the following statement: There is a $T_0$ such that for all $t>T_0$, all zeros $\zeta(\beta+it)=0$ have $\beta=1/2.$ where $...
Charles's user avatar
  • 9,114
22 votes
4 answers
2k views

Given a prime $p$ how many primes $\ell<p$ of a given quadratic character mod $p$?

There was this question for which my response was unusally popular, so I dare to ask the following: (1) Given a prime $p>2$, how many primes $\ell < p$ there exist which are quadratic residues ...
GH from MO's user avatar
  • 105k
22 votes
1 answer
1k views

Hadamard factorization of L-functions

I have already asked this question here in a different form, but really need an answer. Let $L(s)$ be a "standard" $L$-function, say with Euler product, functional equation, etc... (Selberg ...
Henri Cohen's user avatar
  • 13.1k
22 votes
1 answer
852 views

How big can a set of integers be if all pairs have small gcd?

Suppose $A\subset[1,N]$ is a set of integers. If for any distinct $a,b\in A$ we have $(a,b)\leq M$ then how big can $|A|$ be? If $M=1$ then $|A|$ is at most $\pi(N)$ since the map $a\mapsto P_+(a)$ (...
Brando's user avatar
  • 671
22 votes
4 answers
1k views

Small quotients of smooth numbers

Assume that $N=2^k$, and let $\{n_1, \dots, n_N\}$ denote the set of square-free positive integers which are generated by the first $k$ primes, sorted in increasing order. Question: what is a good ...
Kurisuto Asutora's user avatar
21 votes
4 answers
3k views

Is the Euler product formula always divergent for 0<Re(s)<1?

It is known that the Euler product formula converges for $\Re(s)>1$ (and there it represents the Riemann zeta function). My question: Is the Euler product always divergent for $0 < \Re(s) < ...
Seongsoo Choi's user avatar
21 votes
3 answers
6k views

Why is the Chebyshev function relevant to the Prime Number Theorem

Why is the Chebyshev function $\theta(x) = \sum_{p\le x}\log p$ useful in the proof of the prime number theorem. Does anyone have a conceptual argument to motivate why looking at $\sum_{p\le x} \log ...
user16557's user avatar
  • 1,533
21 votes
2 answers
1k views

Most squares in the first half-interval

It is well known that if $p$ is an odd prime, exactly one half of the numbers $1, \dots, p-1$ are squares in $\mathbb{F}_p$. What is less obvious is that among these $(p-1)/2$ squares, at least one ...
Andrea Ferretti's user avatar
21 votes
1 answer
1k views

Primes that are sums of two squares with constraints on the squares

It is well known that there are infinitely many primes of the form $a^2+b^2$ (namely all primes congruent to $1$ modulo $4$). On the other hand, Euler raised the problem as to whether there are ...
Kai's user avatar
  • 213
21 votes
1 answer
4k views

Equivalent forms of the Grand Riemann Hypothesis

I have long been curious about equivalent forms of the Riemann hypothesis for automorphic L-functions. In the case of the ordinary Riemann hypothesis, one gets a very good error term for the prime ...
Jonah Sinick's user avatar
  • 7,062
21 votes
1 answer
1k views

Infinitely many primes, and Mobius randomness in sparse sets

Problem 1: Find a (not extremely artificial) set A of integers so that for every $n$, $|A\cap [n]| \le n^{0.499}$, ($[n]=\{1,2,...,n\}$,) where you can prove that $A$ contains infinitely many primes. ...
Gil Kalai's user avatar
  • 24.7k
21 votes
1 answer
771 views

Covering a set with geometric progressions

Consider the set $S_n=\{1,2,\cdots ,n\}$. What is the minimum number of distinct geometric progressions that cover $S_n$? Let us call this number $a_n$. I was wondering about this number after doing a ...
shadow10's user avatar
  • 1,090
21 votes
1 answer
2k views

Proof of the conjecture of Lehmer: a Dobrowolski type minoration

A few weeks ago Jean-Louis Verger-Gaugry announced a proof of Lehmer's conjecture, see https://arxiv.org/pdf/1709.03771.pdf. The key result (Theorem 5.28, p. 122) is a Dobrowolski type minoration of ...
Jan-Willem van Ittersum's user avatar
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 $\...
not all wrong's user avatar
21 votes
1 answer
1k views

Why does this quasi-modular function have integral values?

It is a well-known result that the modular function $1728J(\tau) := \frac{1728E_4(\tau)^3}{E_4(\tau)^3-E_6(\tau)^2}$ has integral values if $\tau$ has class number 1 - for example at $\tau_{163}:=\...
L. Milla's user avatar
  • 598
20 votes
1 answer
2k views

Circle $x^2 + y^2 = n!$ doesn't hit any lattice points for any $n$ except for $0$, $1$, $2$ and $6$ or does it?

I stumbled across the following problem in high school:$$ x^2 + y^2 = n! $$ I tested it within my laptop capabilities, watched a 3b1b video Pi in prime regularities, where he explains how to find the ...
Betydlig's user avatar
  • 343
20 votes
4 answers
1k views

Bound on $L^2$ norm of $1/\zeta(1+i t)$?

What sort of bounds (explicit of preference) can one give for $$\int_T^{2 T} \frac{dt}{|\zeta(1+i t)|^2} \;\;\;\;\;?$$ Some obvious points: One can give a pointwise bound $\frac{1}{|\zeta(1+ it)|} \...
H A Helfgott's user avatar
  • 20.2k
20 votes
4 answers
3k views

Primes $p$ for which $p-1$ has a large prime factor

What are the best known density results and conjectures for primes $p$ where $p-1$ has a large prime factor $q$, where by "large" I mean something greater than $\sqrt{p}$. The most extreme case is ...
Vipul Naik's user avatar
  • 7,320
20 votes
2 answers
1k views

Median largest-prime-factor

Let $P(n)$ denote the largest prime factor of $n$. For any integer $x\ge2$, define the median $$ M(x) = \text{the median of the set }\{P(2), P(3), \dots, P(x) \}. $$ Classical results of Dickman and ...
Greg Martin's user avatar
  • 12.8k
20 votes
1 answer
1k views

Possible contemporary improvement to bounded gaps between primes?

In his summary of his book Bounded gaps between primes: the epic breakthroughs of the early 21st century, Kevin Broughan writes Which brings me to my final remark: where to next in the bounded gaps ...
David Roberts's user avatar
  • 35.5k
20 votes
1 answer
2k views

On a Conjecture of Schinzel and Sierpinski

Melvyn Nathanson, in his book Elementary Methods in Number Theory (Chapter 8: Prime Numbers) states the following: A conjecture of Schinzel and Sierpinski asserts that every positive rational number $...
C.S.'s user avatar
  • 4,795
20 votes
1 answer
1k views

Quantitative lower bounds related to Zhang's theorem on bounded gaps

Let $\mathcal{H}=\left\{ h_{i}\right\} _{i=1}^{k}$ be an admissible set, and define $$\pi_{\mathcal{H}}(x)=\left|\left\{ n\leq x\ :\ \exists\ i,j\leq k,\ i\neq j\ \text{such that both }n+h_{i},\ n+h_{...
Eric Naslund's user avatar
  • 11.4k
20 votes
2 answers
2k views

Is every prime the largest prime factor in some prime gap?

Definition: In the gap between any two consecutive odd primes we have one or more composite numbers. One of these composite number will have a prime factor which is greater than that of any other ...
Nilotpal Kanti Sinha's user avatar
20 votes
1 answer
1k views

Provable zero-free region for any entire function that analytically is similar to zeta(s)

Is there an entire function $f:\mathbb C\rightarrow\mathbb C$ such that for some $\delta>0$: $f(z)$ is bounded when $\Re z>1+\delta$ $f(z)$ is unbounded when $\Re z=1$ $f(z)$ grows polynomially ...
Ralph Furman's user avatar
  • 1,243
20 votes
3 answers
2k views

Computing (on a computer) the first few (non-trivial) zeros of the zeta function of a number field.

Let $M$ be the splitting field of x^8 + 3*x^7 + 13*x^6 + 17*x^5 + 45*x^4 + 37*x^3 + 11*x^2 + 112*x + 108 over the rationals. If I've understood some tables ...
Kevin Buzzard's user avatar
20 votes
1 answer
745 views

On the equation $\zeta(s) = F(s)+F(s+1)$

Define the function $F(s)$ as the Dirichlet series $$ F(s) = \sum_{n=1}^\infty \frac{1}{(n+1)n^{s-1}}, $$ which converges for $\operatorname{Re}(s)>1$. Has anyone seen/studied this function before? ...
Dan Romik's user avatar
  • 2,549
19 votes
3 answers
6k views

Are the nontrivial zeros of the Riemann zeta simple?

A few years ago, I found on arXiv an article in which the authors (I think they were at least two to write it) claimed to have proven that the non trivial zeros of the Riemann zeta function were all ...
Sylvain JULIEN's user avatar
19 votes
4 answers
2k views

What are the obstructions to showing that $\zeta$ doesn't vanish on the strip $1- \varepsilon < {\rm Re}(s) \leq 1$

Most (if not all) of the proofs of the Prime Number Theorem that I have seen in the literature rely on the fact that the Riemann zeta function, $\zeta(s)$, does not vanish on the line ${\rm Re}(s) = 1$...
Mustafa Said's user avatar
  • 3,699
19 votes
2 answers
2k views

Applications of Artin's holomorphy conjecture

I wonder why the Artin conjecture is so important. The only reason I could figure out is that one could use the holomorphy of Artin L-series and Weil's converse theorem to show modularity of two-...
user avatar
19 votes
1 answer
2k views

How many primes can there be in a short interval?

Given $n \in \mathbb{N}$, let $\pi(n)$ denote the number of prime numbers $\leq n$. What is $$ \limsup_{m \rightarrow \infty} \left( \limsup_{n \rightarrow \infty} \frac{\pi(n+m) - \pi(n)}{\pi(m)} \...
Stefan Kohl's user avatar
  • 19.6k
19 votes
5 answers
4k views

Complex and Elementary Proofs in Number Theory

The Prime Number Theorem was originally proved using methods in complex analysis. Erdos and Selberg gave an elementary proof of the Prime Number Theorem. Here, "elementary" means no use of complex ...
Micah Miller's user avatar
19 votes
1 answer
1k views

Explicit version of the Burgess theorem

Does there exist a totally explicit version of the Burgess theorem? Precisely, let $m$ be a positive integer, and let $\chi$ be a primitive character mod $m$. A special case (sufficient for my ...
Yuri Bilu's user avatar
  • 1,294
19 votes
1 answer
3k views

Möbius Randomness of the Rudin-Shapiro Sequence

The Rudin-Shapiro sequence (also known as the Golay-Rudin-Shapiro sequence) is defined as follows. Let $a_n = \sum \epsilon_i\epsilon_{i+1}$ where $\epsilon_1,\epsilon_2,\dots$ are the digits in the ...
Gil Kalai's user avatar
  • 24.7k
19 votes
3 answers
1k views

Finite sums of prime numbers $\geq x$

Let $S_x$ be the set of finite sums of prime numbers $\geq x$. In other words, let $S_x$ be the submonoid of $(\mathbf{Z}_{\geq 0},+)$ generated by the set $\mathcal{P}_{\geq x}$ of prime numbers $\...
François Brunault's user avatar
19 votes
1 answer
1k views

constants in Gamma factors in functional equation for zeta functions.

Usually the Riemann zeta function $\zeta(s)$ gets multiplied by a "gamma factor" to give a function $\xi(s)$ satisfying a functional equation $\xi(s)=\xi(1-s)$. If I changed this gamma factor by a non-...
Kevin Buzzard's user avatar

1 2
3
4 5
62