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
2answers
97 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
363 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 ...
2
votes
0answers
118 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 ...
1
vote
0answers
127 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
597 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 ...
0
votes
0answers
252 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
1answer
204 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 ...
5
votes
0answers
164 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 ...
9
votes
2answers
451 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 : ...
16
votes
1answer
354 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
140 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, ...
1
vote
0answers
107 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 ...
4
votes
1answer
170 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
144 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
123 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
237 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
204 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 ...
6
votes
0answers
116 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
170 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
185 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
1answer
187 views

Uniformity of the distribution of the prime numbers on the prime residue classes (mod $m$)

Given positive integers $m$, $r$ and $n$, let $\pi(m,r,n)$ denote the number of prime numbers $p \leq n$ in the residue class $r$ (mod $m$). Further let $1 = r_1 < r_2 < \dots < ...
5
votes
1answer
95 views

Functional equation and conductor for a Rankin-Selberg convolution

Let $f$ be a Modular form/Maass form on $GL(2)$ with level $N$ and character $\eta$ and Fourier coefficients $a(n)$. The Rankin-Selberg convolution $$L(s,f\times\bar f)=\sum ...
2
votes
0answers
199 views

Relation between Maier's theorem and a conjecture of Montgomery and Soundararajan

Let us consider the number of primes in the interval $[N,N+h]$, with $h\leq N$. According to the answer given by Lucia to a previous question on the distribution of primes, it is natural to consider ...
1
vote
0answers
93 views

Prime counting function with a form of finite product using perron's formula

There's a form of complex integral what Riemann obtained to finding $\pi (x)$, $$ \pi^{*}(x)=\int_{L}\frac{\log \zeta (s)}{s}x^{s}ds, (1)$$ we already know that it lead us to the Prime Number ...
4
votes
1answer
562 views

What is the critical idea behind Hardy-Littlewood circle method?

I want to know what the critical idea behind Hardy-Littlewood circle method is. It seems that they divide the circle into major arcs and minor arcs to ignore the singularities of generating function ...
0
votes
0answers
115 views

Non existence (or existence) of a set that is equidistributed modulo $q$ for every $q$

I have been thinking about some set that is equidistributed modulo $q$, uniformly in $q$ in some sense. I was starting to think this particular condition, which I describe below, is too strong and ...
14
votes
1answer
729 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 ...
7
votes
1answer
391 views

Major arcs in the proof that every odd number is the sum of at most 5 primes

In his proof that all odd numbers greater than 1 are the sum of at most 5 primes, Terence Tao uses one large major arc around 0 rather than small ones around the rationals, which I am more accustomed ...
3
votes
1answer
145 views

Wiener-Ikehara tauberian theorem and order of pole at s=1

In the introduction to Akshay Venkatesh's thesis "Limiting Forms of the Trace Formula" we have the following statement : "For, in summing over primes, the limit ...
25
votes
1answer
665 views

Is it possible to show that $\sum_{n=1}^{\infty} \frac{\mu(n)}{\sqrt{n}}$ diverges?

Let $\mu(n)$ denote the Mobius function with the well-known Dirichlet series representation $$ \frac{1}{\zeta(s)} = \sum_{n=1}^{\infty} \frac{\mu(n)}{n^{s}}. $$ Basic theorems about Dirichlet series ...
3
votes
1answer
244 views

An introduction to sieve method and their application, Cojocaru & Murty

On page 188. Lemma 10.2.3 is $\sum_{\substack{\delta \leq x \\ 2 \nmid \delta}}\frac{\mu^{2}(\delta)}{\phi_{1}(\delta)} = A_{1}log(x) +A_{2} + O(\frac{1}{x^{1/4}})$ for positive $A_{1}$, $A_{2}$. ...
2
votes
0answers
148 views

Why believe the Elliott-Halberstam conjecture?

I have seen justifications for various conjectures in analytic number theory, e.g. the (generalized) Riemann hypothesis, the Chowla conjectures, etc. justified by a heuristics in which the relevant ...
0
votes
0answers
73 views

Using the circle method to prove that there are no solutions to diophantine equaltions

Would it be possible to use the circle method to prove that there are no solutions to certain diophantine equations. For example, could one use the circle method to prove the fact that there are no ...
3
votes
0answers
95 views

Weierstrass's elliptic function-type zeta function

What is known about the following Weierstrass's elliptic function-type zeta function $\sum_{m,n \in \mathbb{Z}} \frac{1}{(z+m+n\tau)^s}$, for $z \in \mathbb{C} \backslash \mathbb{Z} + \tau ...
1
vote
1answer
143 views

Two-dimensional Perron formula

There is a well-known Perron formula, which connects a mean value of certain arithmetic function with its Dirichlet series: $$ \sum_{n\le x} f(n) = {1\over 2\pi i} \int_{c-i\infty}^{c+i\infty} F(s) ...
3
votes
2answers
216 views

Real character modular forms: Fourier coefficient real?

Let $f$ be a modular form of level $N$ and real character $\chi$ of mod $N$ and weight $k$. Does the Fourier coefficient or hecke-eigenvalue of $f$ have to be real? What I knew is that if $N=1$ and ...
7
votes
1answer
330 views

Prime races à la Mertens

I have just read the nice survey by Granville and Martin about prime races. I wonder what happens if one changes the rules for the prime races as follows. Fix $q$ a modulus (an integer $>1$). For ...
3
votes
1answer
128 views

Can the generalized divisor summatory function $D_z$ be expressed explicitly in terms of Zeta Zeros?

Mertens function has, by residues, an explicit formula of $M(n)=\displaystyle\sum_{\rho}\frac{x^\rho}{\rho\zeta'(\rho)}-2+\sum_{n=1}^\infty\frac{(-1)^{2 n}(2\pi)^{2n}}{(2n)! n \zeta(2n+1)x^{2n}}$ ...
0
votes
1answer
233 views

A convergence issue [Edited]

Let $\{x_n\}_{n=1}^\infty$ be a sequence of vectors in a Hilbert space $$l^2_{k^{-2}}:=\{z=\{z(k)\}_{k=1}^\infty:\sum\limits_{k=1}^\infty z(k)^2k^{-2}<\infty\}.$$ It is known that for some $x\in ...
4
votes
1answer
268 views

Existence of a certain subset of natural numbers equidistributed modulo $m$ for every $m$

I was talking to a friend and the following set $S$ came up. Let $f$ be some real valued function tending to infinity. Let $S$ be a subset of natural numbers such that $|S \cap [1,N]| = N^{\delta}+ ...
4
votes
1answer
249 views

Circle method on things other than the integers

The circle method is often used to estimate the number of solutions to the equation $$x_1 + x_2 + ... x_k = N$$ if for all $i$ $x_i\in A\subseteq\mathbb{N}_0$ and some subset of the nonnegative ...
2
votes
1answer
168 views

Explicit bound on $\sum_{N\mathfrak p \leq x}\chi(\mathfrak p)\ln(N\mathfrak p)$

I'm looking for an explicit bound for $f(x) = \sum_{N\mathfrak p \leq x}\chi(\mathfrak p)\ln(N\mathfrak p)$, where $\chi$ is a Hecke character for a number field $K$ of degree $n$, on the ideals ...
8
votes
1answer
389 views

The sum over zeros in the explicit formula for $\zeta(s)$

The explicit formula for $\zeta(s)$ is: $$ \psi(x)=x-\sum_{|\operatorname{Im}\rho|<T}\frac{x^\rho}{\rho}-\log(2\pi)-\log\left(1-\frac{1}{x^2}\right)+O\left(\frac{x\log^2T}{T}\right), $$ where ...
11
votes
1answer
384 views

Roots of unity near 1 in Z / p Z

Let $r \ge 3$ be a fixed integer. I'm interested in primes p such that no integer in the interval $(-\sqrt{p}, \sqrt{p})$, except $1$ (and $-1$ if $r$ is even), is an r-th root of unity modulo p. The ...
2
votes
1answer
255 views

Square-free integers not divisible by any “small” primes

I have two very related questions: If $f(N)$ is the number of square-free integers in the interval $[1, N]$, it is well known that $$f(N) \sim \frac{6}{\pi^{2}} N.$$ My first question is, if we ...
4
votes
3answers
430 views

Reference for Kronecker-Weyl theorem in full generality

The Kronecker-Weyl theorem asserts the following: fix real numbers $\theta_1,\dots,\theta_d$, and consider the infinite ray $t(\theta_1,\dots,\theta_d)$ $(t\in\Bbb R)$ inside the $d$-dimensional torus ...
6
votes
0answers
194 views

Does the Maynard-Tao Theorem apply to general tuples of linear forms?

In the paper http://arxiv.org/pdf/1311.5319v1.pdf the author states the following theorem, which he attributes to Maynard and Tao. For any integer $m > 2$, there exists an integer $k = k(m)$ such ...
8
votes
1answer
177 views

Sharpest bound on the zero free region of $\zeta^{\prime}$?

I'm interested in calculating all of the zeroes of the first derivative of the Riemann $\zeta$ function up to an arbitrary height. I know that (on the RH), all of these zeroes will have real part $\ge ...
6
votes
1answer
277 views

Generalization of Watson's triple product

In Watson's thesis (page 51) we can find his beautiful triple product formula. My question is that does there exist a generalization of this formula? By generalization, I mean: If $\phi_n$'s are ...
18
votes
1answer
808 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: ...