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.

learn more… | top users | synonyms

1
vote
1answer
31 views

Growth of $r_k(n)$

What is the best known growth bound of $r_k(n)$, where $$r_k(n)=\#\{(a_1,\dots,a_k\in\mathbb{Z}^k:\sum_{i=1}^ka_i^2=n\}?$$ Please provide some reference if known. Thanks.
32
votes
8answers
4k views

Why does the Gamma-function complete the Riemann Zeta function?

Defining $$\xi(s) := \pi^{-s/2}\ \Gamma\left(\frac{s}{2}\right)\ \zeta(s)$$ yields $\xi(s) = \xi(1 - s)$ (where $\zeta$ is the Riemann Zeta function). Is there any conceptual explanation - or ...
19
votes
2answers
1k views

Interactions between (set theory, model theory) and (algebraic geometry, algebraic number theory ,…)

Set theory and model theory have many applications outside of logic, in particular in algebra, topology, analysis, ... On the other hand model theory, in particular after Hrushovski, found many ...
0
votes
1answer
477 views

Sharpening a bound on $\zeta'(s)$

I want to find an upper bound for $\zeta'(s)$ along a vertical line $\Re(s)=b$, where $-1<b<0$. One way to do this is using $$\frac{\zeta'(b+iT)}{\zeta(b+iT)}=O_b(\log T)$$ and ...
19
votes
4answers
1k 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 ...
1
vote
1answer
207 views

Asymptotic formula for the number of ways to write a number as the sum of $k$ triangular numbers

How would one derive an asymptotic formula for the number of representations of a number $n$ as the sum of $k$ numbers of the form $\frac{m(m + 1)}{2}$ I think that one could use the circle method, ...
5
votes
2answers
196 views

Estimates on derivatives of Bessel function

In Duke, Friedlander and Iwaniec's Erratum on "Bounds for automorphic L–functions. II" They have the following estimates for derivatives of Bessel functions: For $k \geq 2$ \begin{align} & ...
2
votes
2answers
372 views

Exponential Sum Bound

In http://131.220.77.52/files/preprints/diophantine/bruedern/wpminicubefinal.pdf, Bruedern and Wooley mention the following fact on the bottom of page 6: Let ...
1
vote
2answers
247 views

Asymptotics on prime divisors

Somewhat inspired from the Zsigmondy's theorem is my question. Suppose Let $a_{1}> a_{2}> \cdots > a_{k}$ be nonzero integers, with $k \geq 2$. Let $a(n) : = a_{1}^{n}+\cdots+a_{k}^{n}$ for ...
6
votes
2answers
261 views

Smooth sums of coprime smooth integers

Observe that for any $\epsilon > 0$ there are infinitely many triples of $c^\epsilon$-smooth coprime positive integers $a$, $b$ and $c$ such that $a + b = c$. -- Considering triples of the form ...
-1
votes
0answers
23 views

Proof that $G(3)\le 7$ [migrated]

Let $G(k)$ be the minimal $n$ s.t. every sufficiently large integer is the sum of $n$ nonnegative $k$th powers. Does anybody know where I can find Vaughan's proof that $G(3)\le 7$? I can't find a ...
74
votes
4answers
4k views

If $2^x $and $3^x$ are integers, must $x$ be as well?

I'm fascinated by this open problem (if it is indeed still that) and every few years I try to check up on its status. Some background: Let $x$ be a positive real number. If $n^x$ is an integer for ...
4
votes
1answer
236 views

Power free values of reducible polynomials

Browning in this paper proves that if $f \in \mathbb{Z}[x]$ is an irreducible polynomial of degree $d \geq 3$ and $k$ is an integer $\geq 3d/4 + 1/4$, then we have $$\#\{n \in \mathbb{Z} \cap [1, X] ...
4
votes
1answer
247 views

Lower bound on the irrationality measure of $\pi$

There seems to be a lot of work on the upper bound for the irrationality measure of $\pi$, but I could not find anything on a lower bound except the general $\mu(\pi)\geq2$. Looks like it is the best ...
3
votes
0answers
247 views

Is it possible to find explicit formula for the product $\prod_{d|n,\ d>1} (1-\mu(d)/\varphi(d))^{\varphi(d)}$?

I am trying to calculate the following product $$ \prod_{d|n}_{d>1} \left( 1-\frac{\mu(d)}{\varphi(d)} \right)^{\varphi(d)} $$ where the functions $\varphi$ and $\mu$ are Euler's totient and ...
4
votes
1answer
112 views

Characterizing the newforms s.t. the associated symmetric square $L$-function has a pole

I have a straightforward question. Let $f$ be a holomorphic cusp form of weight $k$, level $N$, and nebentypus $\chi$ that is new in the sense of Atkin-Lehner theory. Write its Fourier expansion at ...
3
votes
1answer
324 views

Lower bounds on the error term of the prime number theorem

Are there any lower bounds on the error term for the prime number theorem, or in other words, is there a nontrivial $f$ s.t. $$f(x)\ll |\psi(x) - x|$$ where $\psi$ is the Chebyshev function.
3
votes
1answer
354 views

Smallest prime in an arithmetic progression

Let $\{a_n\}_{n\in\mathbb{N}}$ be defined as $a_n = a + bn$ for some $a, b >0,(a, b) = 1$. Are there good bounds on the minimal $k$ s.t. $a_k$ is prime. It is well known that there are infinitely ...
7
votes
1answer
213 views

lower and upper bound for $\sum_{k=1}^n \frac{(-1)^{\Omega(k)}}k$?

Are there known any lower and upper bounds for $$ \sum_{k=1}^n \frac{(-1)^{\Omega(k)}}k, $$ where $\Omega(n)$ is the number of prime factors counting multiplicities of $n$? Or at least is it known ...
9
votes
2answers
680 views

Effective Chebotarev without Artin's conjecture

Iwaniec and Kowalski, in their famous book Analytic Number Theory states a strong form of the effective Chebotarev density theorem page 143, and prove it assuming both GRH for Artin's $L$-function and ...
6
votes
2answers
224 views

Divisor sums over values of binary forms of primes

Let $\tau$ be the divisor function, that is $$ \tau(n)=\sharp\{d \in \mathbb{N}, d|n\}. $$ I was wondering if anyone has ever proved an asymptotic estimate for the sum $$S(x):=\sum_{p,q\leq ...
11
votes
1answer
655 views

Szemeredi's theorem in the Gaussian integers

Suppose that $S\subseteq\mathbb{Z}[i]$ has the following properties: For convenience, let $A_n = \{z : z\in\mathbb{Z}[i], \text{Nm}(z)\le n\}$ $$\limsup_{n\rightarrow\infty} \frac{|S\cap ...
2
votes
0answers
151 views

Kloosterman-like sum with inverse to different moduli

In some recent work, the following strange-looking exponential sum arose: $$ \sum_k \sum_r \sum_s e\bigg( \frac{r \bar s^{(r)} \bar k^{(r^2+s^2)}}{r^2+s^2} \bigg). $$ Here $e(x) = e^{2\pi i x}$ as ...
4
votes
3answers
171 views

Expression for the derivative of Eisenstein series $G_2$

I am new to number theory, so I am guessing this is a standard formula. I would be grateful for a reference: We know that the Eisenstein series $G_2$ is quasimodular of level $SL_2(\mathbb Z)$, so ...
5
votes
2answers
585 views

The shortest interval for which the prime number theorem holds [closed]

It is well known that the prime number theorem on the form \begin{align*} \pi(x+y) - \pi(x) \sim \frac{y}{\log (x+y)} \end{align*} breaks down for short enough intervals, e.g. taking $y=(\log ...
9
votes
1answer
312 views

Squarefree numbers $n$ such that $432n+1$ is also squarefree

This is a second attempt (see Primes $p$ such that $432 p +1$ is prime) Is the set of squarefree numbers $n$ such that $n(432 n+1)$ is also squarefree known to be infinite? Fact: the number of such ...
-1
votes
1answer
298 views

Primes $p$ such that $432 p +1$ is prime [closed]

Is the set of prime numbers $p$ such that $432 p + 1$ is also prime infinite? It doesn't follow from Dirichlet's theorem as far as I can tell.
6
votes
1answer
647 views

Probability that a positive integer is the euler phi function of another positive integer

Define $f(n) = |\{m : m\le n, \exists k \text{ s.t. }\phi(k) = m\}|$. Clearly, $f(n)\le \left\lfloor \frac{n}{2}\right\rfloor + 1$ since $\phi(n)$ is even for all $n > 2$. Is ...
5
votes
0answers
244 views

Which L-functions are not “Langlands-Shahidi L-functions”?

The Langlands-Shahidi method, among other things, obtains certain L-functions from the constant term of Eisenstein series attached to so-called $(G,M)$ pairs, where $G$ is a reductive group, $M$ a ...
1
vote
0answers
115 views

Order of individual Fourier coefficient of a Maass form

Let $D$ be a definite quaternion division algebra over $\mathbb{Q}$ and $\mathcal{O}$ be an Eichler order of $D$. Let $F$ be a Maass form in $L^2(PGL_2(\mathcal{O})\backslash ...
1
vote
2answers
112 views

Asymptotics and error terms for an arithmetic function built upon $\omega$ and $\Omega$ functions

For any real number $x$, let's define $Om_{k}(x)$ as the number of positive integers $m$ below $x$ such that $\Omega(m)-\omega(m)=k$, where $\omega(n)$ is the number of distinct primes dividing $n$, ...
8
votes
2answers
413 views

Incomplete Kloosterman sum

I am interested in an upper bound on the following incomplete Kloosterman sum $$ \sum_{\substack{x=1 \\ x+_{_{\bf Z}}x^{-1}>p}}^{p-1}e\left(\frac{x+x^{-1}}{p}\right).$$ Using the Weil's bound it ...
0
votes
0answers
271 views

Arithmetic progression and average of two prime numbers

Let $A=(a_n : n \in \mathbb{N})$ be the sequence given by: $$ \ a_n = a_1 + (n - 1)d,\quad a_1,\ d,\ n \in \mathbb N,\quad d\gt a_1,\quad \gcd(a_1,\ d)=1. $$ For all terms of $A$ greater than $\ ...
2
votes
0answers
144 views

Arguments for the second Hardy–Littlewood conjecture being false?

Assume that $x,y > 2$, and that $x<y$. Then the second Hardy–Littlewood conjecture states that $$\pi(x + y) - \pi(y) \leq \pi(x).$$ We can easily justify this heuristically, since $$ ...
17
votes
1answer
663 views

The conjecture of Montgomery and Soundararajan on primes in short intervals: Empirical inconsistencies?

Assume that $y/ \log x \rightarrow \infty$ and that $y/x \rightarrow 0$. Then, from a conjecture by Montgomery and Soundararajan, we expect the number of primes in the interval $[x,x+y]$ to be ...
9
votes
2answers
470 views

Bound on gcd of two integers

Well this is a problem I was fiddling with. I came up with it but it probably is not original. Suppose $a\in \mathbb{N}$ is not a perfect square. Then show that : ...
2
votes
1answer
235 views

Proof of the Friedlander–Iwaniec theorem

Does anybody know where I could find the proof of the Friedlander–Iwaniec theorem. The link that I find when I search for it is http://www.pnas.org/content/94/4/1054.full.pdf+html, but this seems more ...
16
votes
1answer
388 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 ...
8
votes
0answers
156 views

Symmetric Fifth Power Lift of GL(2) Automorphic Form

Let $\pi$ be an automorphic representation of $GL(2)/\mathbb{Q}$. For simplicity, you can take it to be a Maass form for $SL(2,\mathbb Z)$. Kim, Shahidi, Gelbart-Jacquet prove that $$L(s, \pi, ...
4
votes
1answer
181 views

looking for reference on dihedral, tetrahedral, or octahedral forms

I am looking for a reference on dihedral, tetrahedral, or octahedral forms. As far as I read, they are some cuspidal automorphic forms on $GL(2)$ induced from $GL(1)$. Dihedral is from $GL(1)/K$ to ...
4
votes
1answer
153 views

Log weight removal in general (weaker) prime number theorem

Let $a_n$ be a sequence of non-negative numbers. Assume that $$\limsup _{X\to \infty}\frac{\sum_{p\leq X} a_p\log p}{X}\leq 1.$$ Can we prove that $$\limsup _{X\to \infty}\frac{\sum_{p\leq X} ...
3
votes
1answer
127 views

A question on the big-O value of the complex integral especially in the number theory

My question is quite simple and elementary. Let $A(x)=\sum_{1}^{x}a(n)$ and $\alpha(s)=\sum_{1}^{\infty}a(n)n^{-s}$. Then, as we know, $$ A(x)= ...
7
votes
1answer
242 views

Is the adjoint L-function on GL(m) holomorphic?

Let $\pi$ be an automorphic representation on GL($m$)/$\mathbb{Q}$. Define $$L(s,\pi,Ad):=\frac{L(s,\pi\times\overline{\pi})}{\zeta(s)}.$$ This is an L-function with euler products of degree $m^2-1$. ...
5
votes
1answer
207 views

absolute convergence of Rankin-Selberg series

Let $\pi$ and $\pi'$ be two general automorphic representation on $GL(n)$ and $GL(n')$ over $\mathbb{Q}$. I heard that the rankin-selberg convolution L-function $L(s,\pi\times\pi')$ is absolutely ...
7
votes
3answers
910 views

Sato-Tate measure for GL(3) Automorphic forms

As we have known, the Sato-Tate measure for GL(2) turned out to be the half circle measure $\frac{1}{2\pi} \sqrt{4-x^2}dx$ on [-2,2], which appears in various versions of equi-distribution problems ...
6
votes
0answers
123 views

Eisenstein series over a definite division algebra

Let $D$ be the definite quaternion division algebra over $\mathbb{Q}$. $\mathcal{O}$ is a maximal order inside $D$, let's fix $\mathcal{O}$ to be the Hurwitz quaternion. Let ...
7
votes
1answer
174 views

standard zero free region of automorphic L-function on GL(N)

Let $L(s,\pi)$ be the standard(Godement-Jacquet) $L$-function of $\pi$, where $\pi$ is a cuspidal automorphic represetation of $GL(m,A_Q)$. What's the standard zero-free region for $L(s,\pi)$? any ...
5
votes
1answer
190 views

$LCM(q-1,\cdots,q^n-1)=q^{\frac{3}{\pi^2} n^2+o(n)}$

I am looking for a proof of the equality in the title (where $q\in\mathbb N$, ($q\ge2$)). Does anyone know such a proof? Thanks in advance
4
votes
2answers
516 views

What is the relation of the Kuznetsov-Bruggeman trace formula and the Selberg trace formula?

I have read that there is an elementary way to show that the above mentioned trace fromulas are equivalent in the sense, that each of them can be derived directly from the other. There should exist a ...
19
votes
1answer
873 views

Is this Riemann zeta function product equal to the Fourier transform of the von Mangoldt function?

Mathematica knows that: $$\log(n) = \lim\limits_{s \rightarrow 1} \zeta(s)\left(1 - \frac{1}{n^{(s - 1)}}\right)\;\;\;\;\;\;\;\;\;\;\;\; (1)$$ The von Mangoldt function should then be: ...