Tag Archives: analytic number theory

Estimating the number of squarefree integers up to $X$

I recently wrote an answer to a question on MSE about estimating the number of squarefree integers up to $X$. Although the result is known and not too hard, I very much like the proof and my approach. So I write it down here.

First, let’s see if we can understand why this “should” be true from an analytic perspective.

We know that
$$ \sum_{n \geq 1} \frac{\mu(n)^2}{n^s} = \frac{\zeta(s)}{\zeta(2s)},$$
and a general way of extracting information from Dirichlet series is to perform a cutoff integral transform (or a type of Mellin transform). In this case, we get that
$$ \sum_{n \leq X} \mu(n)^2 = \frac{1}{2\pi i} \int_{(2)} \frac{\zeta(s)}{\zeta(2s)} X^s \frac{ds}{s},$$
where the contour is the vertical line $\text{Re }s = 2$. By Cauchy’s theorem, we shift the line of integration left and poles contribute terms or large order. The pole of $\zeta(s)$ at $s = 1$ has residue
$$ \frac{X}{\zeta(2)},$$
so we expect this to be the leading order. Naively, since we know that there are no zeroes of $\zeta(2s)$ on the line $\text{Re } s = \frac{1}{2}$, we might expect to push our line to exactly there, leading to an error of $O(\sqrt X)$. But in fact, we know more. We know the zero-free region, which allows us to extend the line of integration ever so slightly inwards, leading to a $o(\sqrt X)$ result (or more specifically, something along the lines of $O(\sqrt X e^{-c (\log X)^\alpha})$ where $\alpha$ and $c$ come from the strength of our known zero-free region.

In this heuristic analysis, I have omitted bounding the top, bottom, and left boundaries of the rectangles of integration. But proceeding in a similar way as in the proof of the analytic prime number theorem, you could proceed here. So we expect the answer to look like
$$ \frac{X}{\zeta(2)} + O(\sqrt X e^{-c (\log X)^\alpha})$$
using no more than the zero-free region that goes into the prime number theorem.

We will now prove this result, but in an entirely elementary way (except that I will refer to a result from the prime number theorem). This is below the fold.

(more…)

Posted in Expository, Math.NT, Mathematics | Tagged , , , , | Leave a comment

Calculations with a Gauss-type Sum

It’s been a while since I’ve posted – I’m sorry. I’ve been busy, perhaps working on a paper (let’s hope it becomes a paper) and otherwise trying to learn things. This post is very closely related to some computations that have been coming up in what I’m currently looking at (in particular, looking at h-th coefficients of Eisenstein series of half-integral weight). I hope to write a very expository-level article on this project that I’ve been working on, outsourcing but completely providing computations behind the scenes in posts such as this one.

I’d like to add that this post took almost no time to write, as I used some vim macros and latex2wp to automatically convert a segment of something I’d written into wordpress-able html containing the latex. And that’s pretty awesome.

There is a particular calculation that I’ve had to do repeatedly recently, and that I will mention and use again. In an effort to have a readable account of this calculation, I present one such account here. Finally, I cannot help but say that this (and the next few posts, likely) are all joint work with Chan and Mehmet, also from Brown University.

Let us consider the following generalized Gauss Sum:

$latex \displaystyle H_m(c’) : = \varepsilon_{c’} \sum_{r_1\bmod c’}\left(\frac{r_1}{c’}\right) e^{2 \pi i m\frac{r_1}{c’}} \ \ \ \ \ (1)$

where I let $latex {\left(\frac{\cdot}{\cdot}\right)}$ be the Legendre Symbol, and there $latex {\varepsilon_k}$ is the sign of the $latex {k}$th Gauss sum, so that it is $latex {1}$ if $latex {k \equiv 1 \mod 4}$ and it is $latex {i}$ if $latex {k \equiv 3 \mod 4}$. It is not defined for $latex {k}$ even.

Lemma 1 $latex {H_m(n)}$ is multiplicative in $latex {n}$.

Proof: Let $latex {n_1,n_2}$ be two relatively prime integers. Any integer $latex {a \bmod n_1n_2}$ can be written as $latex {a = b_2n_1 + b_1n_2}$, where $latex {b_1}$ runs through integers $latex {\bmod\, n_1}$ and $latex {b_2}$ runs $latex {\bmod\, n_2}$ with the Chinese Remainder Theorem. Then

$latex \displaystyle H_m(n_1n_2) = \varepsilon_{n_1n_2} \sum_{a \bmod n_1n_2} \left(\frac{a}{n_1n_2}\right) e^{2\pi i m \frac{a}{n_1n_2}}$

$latex \displaystyle = \varepsilon_{n_1n_2} \sum_{b_1 \bmod n_1} \sum_{b_2 \bmod n_2} \left(\frac{b_2n_1 +b_1n_2}{n_1n_2}\right) e^{2 \pi im\frac{b_2n_1 +b_1n_2}{n_1n_2}}$

$latex \displaystyle = \varepsilon_{n_1n_2} \sum_{b_1 \bmod n_1} \left(\frac{b_2n_1 +b_1n_2}{n_1}\right) e^{2\pi i m \frac{b_1n_2}{n_1n_2}} \sum_{b_2\bmod n_2} \left(\frac{b_2n_1 +b_1n_2}{n_2}\right) e^{2\pi im\frac{b_2n_1}{n_1n_2}}$

$latex \displaystyle = \varepsilon_{n_1n_2} \sum_{b_1 \bmod n_1} \left(\frac{b_1n_2}{n_1}\right) e^{2\pi i m \frac{b_1}{n_1}} \sum_{b_2\bmod n_2} \left(\frac{b_2n_1}{n_2}\right) e^{2\pi im\frac{b_2}{n_2}}$

$latex \displaystyle = \varepsilon_{n_1n_2}\left(\frac{n_2}{n_1}\right)\left(\frac{n_1}{n_2}\right)\sum_{b_1 \bmod n_1} \left(\frac{b_1}{n_1}\right) e^{2\pi i m \frac{b_1}{n_1}} \sum_{b_2\bmod n_2} \left(\frac{b_2}{n_2}\right) e^{2\pi im\frac{b_2}{n_2}}$

$latex \displaystyle = \varepsilon_{n_1n_2} \varepsilon_{n_1}^{-1} \varepsilon_{n_2}^{-1} \left(\frac{n_2}{n_1}\right)\left(\frac{n_1}{n_2}\right) H_m(n_1)H_{m}(n_2)$

Using quadratic reciprocity, we see that $latex {\varepsilon_{n_1n_2} \varepsilon_{n_1}^{-1} \varepsilon_{n_2}^{-1} \left(\frac{n_2}{n_1}\right)\left(\frac{n_1}{n_2}\right)= 1}$, so that $latex {H_m(n_1n_2) = H_m(n_1)H_m(n_2)}$. $latex \Box$

Let’s calculate $latex {H_m(p^k)}$ for prime powers $latex {p^k}$. Let $latex {\zeta = e^{2\pi i /p^k}}$ be a primitive $latex {p^k}$th root of unity. First we deal with the case of odd $latex {p}$, $latex {p\not |m}$. If $latex {k = 1}$, we have the typical quadratic Gauss sum multiplied by $latex {\varepsilon _p}$

$latex \displaystyle H_m(p) = \varepsilon_p \sum_{a \bmod p} e^{2\pi i m \frac a p}\left(\frac a p\right) = \varepsilon_p \left(\frac m p\right) \varepsilon_p \sqrt p = \left(\frac{-m} p\right) \sqrt p \ \ \ \ \ (2)$

For $latex {k > 1}$, we will see that $latex {H_m(p^k)}$ is $latex {0}$. We split into cases when $latex {k}$ is even or odd. If $latex {k}$ is even, then we are just summing the primitive $latex {p^k}$th roots of unity, which is $latex {0}$. If $latex {k>1}$ is odd,

$latex \displaystyle \sum_{a\bmod p^k} \zeta^a \left(\frac a {p^k}\right) = \sum_{a\bmod p^k} \zeta^a \left(\frac{a}{p}\right) = \sum_{b \bmod p}\sum_{c\bmod p^{k-1}} \zeta^{b+pc} \left(\frac b p\right) $

$latex \displaystyle = \sum_{b\bmod p} \zeta^b \left(\frac b p\right) \sum_{c\bmod p^{k-1}} \zeta^{pc} = 0, \ \ \ \ \ (3)$

since the inner sum is again a sum of roots of unity. Thus

$latex \displaystyle \left(1+ \frac{\left(\frac{-1^{k + 1/2}}{p}\right)H_m(p)}{p^{2s}} + \frac{\left(\frac{-1^{k + 1/2}}{p^2}\right)H_m(p^2)}{p^{4s}} + \cdots \right) =$

$latex \displaystyle = \left(1+ \frac{\left(\frac{-1^{k + 1/2}}{p}\right)H_m(p)}{p^{2s}}\right) $

$latex \displaystyle = \left(1+ \left(\frac {-m(-1)^{k + 1/2}}{p}\right)\frac{1}{p^{2s-\frac12}} \right) $

$latex \displaystyle = \left. \left(1-\frac1{p^{4s-1}}\right) \middle/ \left(1- \left(\frac{m(-1)^{k – 1/2}}{p}\right)\frac{1}{p^{2s-\frac12}}\right)\right.$

Notice that this matches up with the $latex {p}$th part of the Euler product for $latex {\displaystyle \frac{L(2s-\frac12,\left(\frac{m(-1)^{k – 1/2}}{\cdot}\right))}{\zeta(4s-1)}}$.

Now consider those odd $latex {p}$ such that $latex {p\mid m}$. Suppose $latex {p^l \parallel m}$. Then $latex {e^{2 \pi i m \ p^k} = \zeta^m}$ is a primitive $latex {p^{k-l}}$th root of unity (or $latex {1}$ if $latex {l \geq k}$). If $latex {l \geq k}$, then

$latex \displaystyle \sum_{a \bmod p^k} \zeta^{am} \left(\frac{a}{p^k}\right) = \sum_{a \bmod p^k} \left(\frac{a}{p^k}\right) = \begin{cases} 0 &\text{if } 2\not | k \\ \phi(p^k) &\text{if } 2 \mid k \end{cases} \ \ \ \ \ (4)$

If $latex {k=l+1}$ and $latex {k}$ is odd, then we essentially have a Gauss sum

$latex \displaystyle \sum_{a\bmod p^k} \zeta^{am} \left(\frac{a}{p^k}\right) = \sum_{a\bmod p^k}\zeta^{am} \left(\frac a p\right) = $

$latex \displaystyle = \sum_{c\bmod p^{k-1}} \zeta^{pcm} \sum_{b\bmod p} \zeta^{am} \left(\frac b p\right) = p^{k-1}\left(\frac{m/p^l}{p}\right)\varepsilon_p\sqrt p $

If $latex {k = l+1}$ and $latex {k}$ is even, noting that $latex {\zeta^m}$ is a $latex {p}$th root of unity,

$latex \displaystyle \sum_{a\bmod p^k} \zeta^{am}\left(\frac {a}{p^k}\right) = \sum_{\substack{a\bmod p^k\\(a,p) = 1}} \zeta^{am} =$

$latex \displaystyle = \sum_{a\bmod p^k}\zeta^{am} – \sum_{a\bmod p^{k-1}}\zeta^{pam} = 0 – p^{k-1} = -p^l. $

If $latex {k>l+1}$ then the sum will be zero. For $latex {k}$ even, this follows from the previous case. If $latex {k}$ is odd,

$latex \displaystyle \sum_{a\bmod p^k} \zeta^{am} \left(\frac a{p^k}\right) = \sum_{b\bmod p}\zeta^{bm} \left(\frac b p \right)\sum_{c\bmod p^{k-1}}\zeta^{pmc}= 0. $

Now, consider the Dirichlet series

$latex \displaystyle \sum_{c > 0, \tt odd} \frac{H_m(c)}{c^{2s}} = \prod_{p \neq 2} \left( 1 + \frac{H_m(p)}{p^{2s}} + \frac{H_m(p^2)}{p^{4s}} + \ldots\right)$.

Let us combine all these facts to construct the $latex {p}$th factor of the Dirichlet series in question, for $latex {p}$ dividing $latex {m}$. Assume first that $latex {p^l\parallel m}$ with $latex {l}$ even,

$latex \displaystyle 1 + \frac{\left(\frac{-1^{k + 1/2}}{p}\right)H_m(p)}{p^{2s}} + \frac{\left(\frac{-1^{k + 1/2}}{p^2}\right)H_m(p^2)}{p^{4s}}+ \cdots = $

$latex \displaystyle = \left( 1+ \varepsilon_{p^2}\frac{\phi(p^2)}{p^{4s}} + \cdots + \varepsilon_{p^l}\frac{\phi(p^l)}{p^{2ls}} + \varepsilon_{p^{l+1}}\frac{\left(\frac{(-1)^{k + 1/2}m/p^l}{p}\right)\varepsilon_p \sqrt p p^l}{p^{2(l+1)s}}\right)$

$latex \displaystyle = \left( 1+\frac{\phi(p^2)}{p^{4s}} + \frac{\phi(p^4)}{p^{8s}}+\cdots +\frac{\phi(p^{l})}{p^{2ls}} + \frac{\left(\frac{(-1)^{k – 1/2}m/p^l}{p}\right)p^{l+\frac12}}{p^{2(l+1)s}}\right) $

$latex \displaystyle = \left(1+ \frac{p^2 – p}{p^{4s}} + \cdots + \frac{p^{l}-p^{l-1}}{p^{2ls}} + \frac{\left(\frac{(-1)^{k – 1/2}m/p^l}{p}\right)p^{l+\frac12}}{p^{2(l+1)s}}\right)$

$latex \displaystyle = \left(1-\frac{1}{p^{4s-1}}\right)\left(1+\frac{1}{p^{4(s-\frac12)}} +\cdots + \frac{1}{p^{2(l-2)(s-\frac12)}}\right)+$

$latex \displaystyle +\frac{p^l}{p^{2ls}} \left(1+ \frac{\left(\frac{(-1)^{k – 1/2}m/p^l}{p}\right)}{p^{2s-\frac12}}\right)$

$latex \displaystyle = \left(1-\frac{1}{p^{4s-1}}\right) \left(1+ \frac{1}{p^{4(s-\frac12)}}+\cdots +\right. $

$latex \displaystyle + \left. \frac{1}{p^{2(l-2)(s-\frac12)}} + \frac{1}{p^{2l(s-\frac12)}}\left(1-\frac{\left(\frac{(-1)^{k – 1/2}m/p^l}{p}\right)}{p^{2s-\frac12}}\right)^{-1}\right)$

$latex \displaystyle = \left(1-\frac{1}{p^{4s-1}}\right) \left(\sum_{i=0}^{\lfloor \frac{l-1}{2} \rfloor} \frac{1}{p^{4(s-\frac12)i}} +\frac{1}{p^{2l(s-\frac12)}}\left(1-\frac{\left(\frac{(-1)^{k – 1/2}m/p^l}{p}\right)}{p^{2s-\frac12}}\right)^{-1} \right)$

because for even $latex {k}$, $latex {\varepsilon_{p^k} = 1}$, and for odd $latex {k}$, $latex {\varepsilon_{p^k} = \varepsilon_p}$. Similarly, for $latex {l}$ odd,

$latex \displaystyle 1+ \frac{\left(\frac{-1^{k + 1/2}}{p}\right)H_m(p)}{p^{2s}} +\frac{\left(\frac{-1^{k + 1/2}}{p^2}\right)H_m(p^2)}{p^{4s}}+ \cdots $

$latex \displaystyle = \left( 1+ \varepsilon_{p^2}\frac{\phi(p^2)}{p^{4s}} + \varepsilon_{p^4}\frac{\phi(p^4)}{p^{8s}} + \cdots + \varepsilon_{p^{l-1}}\frac{\phi(p^{l-1})}{p^{2(l-1)s}} + \varepsilon_{p^{l+1}}\frac{- p^l}{p^{2(l+1)s}}\right)\nonumber$

$latex \displaystyle = \left( 1+\frac{\phi(p^2)}{p^{4s}} + \frac{\phi(p^4)}{p^{8s}}+\cdots +\frac{\phi(p^{l-1})}{p^{2(l-1)s}} + \frac{-p^{l}}{p^{2(l+1)s}}\right) \nonumber$

$latex \displaystyle = \left(1+ \frac{p^2 – p}{p^{4s}} + \frac{p^4-p^3}{p^{8s}} + \cdots + \frac{p^{l-1}-p^{l-2}}{p^{2(l-1)s}} – \frac{p^l}{p^{2(l+1)s}}\right) \nonumber$

$latex \displaystyle = \left(1-\frac{1}{p^{4s-1}}\right)\left(\sum_{i=0}^{\frac{l-1}{2}} \frac{1}{p^{4(s-\frac12)i}}\right)$

Putting this together, we get that

$latex \displaystyle \prod_{p \neq 2} \left(\sum_{k=1}^\infty \frac{H_m(p)}{p^{2ks}}\right) = \frac{L_2(2s-\frac12,\left(\frac{m(-1)^{k – 1/2}}{\cdot}\right))}{\zeta_{2}(4s-1)} \times $

$latex \displaystyle \phantom{\sum \sum\sum\sum} \prod_{p^l \parallel m, p\neq 2} \left(\sum_{i=0}^{\lfloor \frac{l-1}{2} \rfloor} \frac{1}{p^{4(s-\frac12)i}} +\frac{\mathbf{1}_{2{\mathbb Z}}(l)}{p^{2l(s-\frac12)}}\left(1-\frac{\left(\frac{(-1)^{k – 1/2}m/p^l}{p}\right)}{p^{2s-\frac12}}\right)^{-1}\right) \ \ \ \ \ (5)$

Posted in Math.NT, Mathematics | Tagged , , , , , , , , | Leave a comment