If you find a mistake, omission, etc., please let me know by e-mail.

The orange ball marks our current location in the course.

For an explanation of the background pattern, skip ahead to the end of the page.

January 28 and 30: plan.pdf and intro.pdf: administrivia and “philosophy”/examples;

elem.pdf: Elementary methods I: Variations on Euclid;

euler.pdf: Elementary methods II: The Euler product for $s \geq 1$ and consequences

Homework =

[also: which if any of 8675309, 6060842, 6654321, and 7184981043 is prime, and how surprised might you be if one of them is prime, or half of a prime pair? Thanks to Jordan Ellenberg and David Farmer for noting the prime and prime pair respectively. (Turns out that I had already seen the twin-prime observation in the mouse-over text for xkcd comic #1047: Approximations.]

The CA for Math 229 is Shyam Narayanan. His e-mail address is what you’d guess atcollegegiven that there are fourteen letters before the@.“

faculty legislation requires all instructors to include a statement outlining their policies regarding collaboration on their syllabi” [but apparently does not require us to be all that careful about singular/plural grammar …] — as stated in plan.pdf:for homework, “as usual in our department, you are allowed — indeed encouraged — to collaborate on solving homework problems, but must write up your own solutions.”For the final project or presentation, work on your own even if another student has chosen the same topic. (As with theses etc. it is still OK to ask peers to read drafts of your paper, or see dry runs of your presentation, and make comments.)In all cases, acknowledge sources as usual, including peers in your homework group.

For many more examples of and references for elementary approaches to the distribution of primes and related topics, see Paul Pollack’s book A Second Course in Elementary Number Theory.To make $\ll$ and $\gg$ in TeX, write

February 4 and 6:
dirichlet.pdf:
Dirichlet characters and L-series; Dirichlet’s theorem
under the hypothesis that L-series do not vanish at s=1

Homework = Exercises 1, 3, 5, 7, 9, 11 (as it happens),
due ~~February 11~~ February 13 at 5PM.

The introduction of powers of $i$ for $r=5$ (starting at the bottom of page 3) is similar to the trick of summing every fourth entry in the $n$th row of Pascal’s triangle by averaging $(1+1)^n$, $(1-1)^n$, $(1+i)^n$, and $(1-i)^n$. Generalizing this to summing every $k$th entry again leads naturally to roots of unity and Pontrjagin duality for finite groups.One (overly) fancy way to identify the dual of ${\bf Z}/m{\bf Z}$ with

is to extend the quotient map ${\bf Z} \to {\bf Z}/m{\bf Z}$ to a short exact sequence $0 \to {\bf Z} \stackrel{m}{\to} {\bf Z} \to {\bf Z}/m{\bf Z} \to 0$, with the second arrow being multiplication μ$_m$by $m$, and then dualize to identify the dual of ${\bf Z}/m{\bf Z}$ with the kernel of multiplicationby $m$ on the dualof $\bf Z$; but the dualof $\bf Z$ is just the circle group, so the kernel in question is its$m$-torsion subgroup, which is indeed. But to justify μ$_m$thatwe would have to extend Pontrjagin duality beyond finite groups to infinite groups like $\bf Z$ (discrete but not compact) and the circle (compact but not discrete).

February 11:
chebi.pdf:
Cebysev’s method; introduction of Stirling’s approximation,
and of the von Mangoldt function $\Lambda(n)$ and its sum $\psi(x)$

here is a scan of Ralph B. Boas’ “spelling lesson”, from theFebruary 13: psi.pdf: Complex analysis enters the picture via the contour integral formula for $\psi(x)$ and similar sums(June 1984), page 217. College Math J.15#3

The contour-integral formula can be regarded as an instance of the formula for inverting the Laplace transform, in the Laplace transform’s guise as the Mellin transform. Indeed partial summation of the Dirichlet series for $-\zeta' / \zeta$ writes $-\frac{\zeta'}{\zeta}(s) / s$ as the Mellin transformof $\psi(x)$ (evaluated at $-s$ if we go by Wikipedia’s normalization), and the inversion formula for recovering $\psi(x)$ would be precisely our contour integral if we were allowed to integrate all the way from $c - i\infty$ to $c + i\infty$ without worrying about convergence and error estimates. The Laplace inversion formula is in turn closely related with the more familiar formula for inverting the Fourier transform.

February 13 and ~~18~~ 20
[Feb.18 is a University holiday!]:
zeta1.pdf:
The functional equation for the Riemann zeta function
using Poisson summation on theta series;
basic facts about Γ(*s*)
as a function of a complex variable *s*

Euler already guessed the functional equation in some sense: you’ve probably run across the “identity”February 25 and 27: prod.pdf: review of functions of finite order — Hadamard’s product formula and its logarithmic derivative (and a prelude/interlude on the Lindelöf hypothesis, on which see also the “further remarks” on page 4 of the next handout); zeta2.pdf: The Hadamard products for1 + 2 + 3 + 4 + … = −1/12 (that he may have derived from1 − 2 + 3 − 4 + … = 1/4 , though according to the1 + 2 + 3 + 4 + … page it is not clear whether Euler ever stated the −1/12 version), and −1/12 agrees with the value ofζ(−1) ; he likewise “computed” alternating sums that correspond to(1−2 for other small integers^{1+n}) ζ(−n)n≥0, finding numbers equivalent to ζ(− n) = −1/2, −1/12, 0, 1/120, 0, −1/252,0, 1/240, 0, −1/132, 0, 691/32760, 0 for— and the appearance of 691 surely suggested (if he didn’t notice this earlier) a connection with the values of n= 0, 1, 2, …, 12ζ( that Euler had already obtained. Euler then proved this connection; he even chosen+1)cos(π for then/2)4-periodic fudge factor, which turns out to be right for all complexn! But Riemann was still the first to give a formula for ζ(s) for complexsand to prove the functional equation in this setting.To spell out the argument suggested on p.2 that $\Gamma$ has no zeros: since $s \Gamma(s) = \Gamma(s+1)$ for all $s$, it is enough to show $\Gamma(s) \neq 0$ for ${\rm Re}(s) \gt 0;$ if there were such a zero, we could conclude from the formula for $B(s_1,s_2)$ that if $s_1 + s_2 = s$ (with both $s_1, s_2$ in the right half-plane) then either $\Gamma(s_1) = 0$ or $\Gamma(s_2) = 0,$ and that would make $\Gamma$ identically zero by analytic continuation — contradiction. (Alternatively, use Bohr-Mollerup to establish the product formula for $\Gamma(s)$ on the positive real axis, and then invoke analytic continuation.)

You can find David Wilkins’ transcription and English translation of Riemann’s fundamental 1859 paper here. A conjecture equivalent to what we now call the Riemann Hypothesis appears in the middle of page 4 of the translation (numbered 5 in the PDF file because the title appears on page 0); note that in the previous page Riemann set

s=(1/2)+ti. Riemann’s proof of $\xi(s) = \xi(1-s)$ (and generalizations such as those we shall develop for Dirichlet

L-functions ) illustrate the versatile technique of studying an infinite sum by converting it to a definite integral. A few more exotic examples from my own contributions to Mathoverflow and Math Stack Exchange include the evaluation of $\sum_{n=0}^\infty \frac{n! \, (2n)!}{(3n+2)!}$ (MSE 516263) and the asymptotic analysis of $\sum_{k=0}^n {n \choose k} (-1)^k \sqrt{k}$ as $n \to \infty$ (MSE 368212) and $\sum_{n=0}^\infty (-x)^n / n^n$ as $x \to \infty$ (MO 109160).If you like “distributions”, you can express Poisson summation as “a row of deltas $\sum_{m \in {\bf Z}} \delta_m$ is its own Fourier transform” (inner product of any function $\,f$ with the “row of deltas” is the sum of the values

of $\,f$ over the integers; now use Parseval for Fourier transforms).Our special case of the Gaussian works also for

complex $u$ , giving rise to the valueat $iu$ of a modular form ofweight $1/2$. The “sanity check” for the resulting transformation formulas turns out to be basically equivalent with Quadratic Reciprocity!Even for real

uthere’s more to be said. The functional equation for $\theta$ says nothing about $\theta(1)$ [which remarkably turns out to be $\pi^{1/4} / \Gamma(3/4)$] but does yield the ratio $\theta'(1) = -\theta(1)/4,$ which in turn gives the approximation $e^\pi \approx 8 \pi - 2$ by ignoring all terms of size $\exp(-3\pi)$ and smaller. This, together with the Archimedean approximation$\pi \approx 22/7$ , explains the first run of 9s in $e^\pi - \pi = 19.999099979\ldots$ (see XKCD 217).Another neat example of Poisson summation: if $f(x) = 1 / (x^2+c^2)$ (some constant $c \gt 0$), then the Fourier transform

of $\,f$ is $(\pi/c) \exp(-2\pi c |y|)$ (a standard exercise in contour integration, which can also be done by Fourier inversion since the Fourier transform of $\exp(-2\pi c|y|)$ is an elementary integral); hence $\sum_{n\in\bf Z} 1/(n^2+c^2)$ is readily evaluated as $(\pi/c) (e^{2\pi c} + 1) \, / \, (e^{2\pi c} - 1)$ using the formula for summing a convergent geometric series. Subtracting the $n=0$ term $f(0) = 1/c^2$ and letting $c \to 0$, we recover Euler’s formula $\zeta(2) = \pi^2/6$. The$c^2, c^4, c^6$, etc. terms in the Laurent expansion of $(\pi/c) (e^{2\pi c} + 1) \, / \, (e^{2\pi c} - 1)$ about $c=0$ then yield the values of $\zeta(s)$ for$s=4, 6, 8,$ etc. as rational multiplesof $\pi^s$ .Poisson summation works in the general setting of locally-compact abelian groups: if $\,f$ is “any” function on such a

group $G$, and $H \subseteq G$ is a closed subgroup, then $\int_H f$ is (appropriately scaled) the integral of the Fourier transform $\hat f$of $\,f$ over the annihilatorof $H$ . In standard Poisson, $G = \bf R$, $H = \bf Z$ (which is its own annihilator), and the “integrals”over $\bf Z$ are just sums. Tate’s thesis gives a proof of the functional equation of the zeta function of any number field $K$ by using $K$ as the subgroup of the adèlesof $K$. We won’t gotherein Math 229x, but will note the generalization from $(G,H) = ({\bf R}, {\bf Z})$ to $(G,H) = ({\bf R}^n, L)$ where $L$ is some latticein ${\bf R}^n$; the annihilator ofLis then its dual lattice (a.k.a. the “reciprocal lattice” in crystallography).

The notes use (but possibly could state more explicitly) the following facts about the real part, call it $r = x / (x^2+y^2),$ of the (multiplicative) inverse of a complex number $x + iy$ with $x \gt 0:$February 27 / March 4: pnt.pdf: Conclusion of the proof of the Prime Number Theorem with error bound; the Riemann Hypothesis, and some of its consequences and equivalent statements.

• $r$ is always positive;

• $r$ is bounded away from zero if $y$ is bounded and $x$ is in a fixed interval such as $[1,2]$ with both endpoints positive; and

• for large $y$(say $|y| \geq 1$), $r$ decays as $1/y^2$ as $|y| \to\infty$ (again assuming that $x$ is in say$[1,2]$). This picture used to appear without explanation on the web page for John Derbyshire’s

Prime Obsession. It is a plot of the Riemann zeta function on the boundary of the rectangle $[0.4,0.6]+[0,14.5]i$ in the complex plane. Since the contour winds around the origin once (and does not contain the point $s=1,$ which is the unique poleof $\zeta(s)$), the zeta function has a unique zero inside this rectangle. Since the complex zeros are known to be symmetric about the line ${\rm Re}(s) = 1/2,$ this zero must have real part exactly equal $1/2$, in accordance with the Riemann hypothesis.It is known that this first “nontrivial zero” of $\zeta(s)$ occurs at $s = 1/2 + it$ for $t = 14.13472514\ldots.$ The pole at $s=1$ accounts for the wide swath in the third quadrant, which corresponds to

sof imaginary part less than 1.Here’s a similar picture for $L(s,\chi_4)$ on $[0.4,0.6]+[0,11]i.$ With no pole in the vicinity, this picture is not as visually interesting. We see the first two nontrivial zeros, with imaginary parts 6.0209489... and 10.2437703...

The coefficients $3, 4, 1$ of the inequality $3 + 4 \cos(\theta) + \cos(2\theta) \geq 0$ may seem “random”/mysterious, but they’re basically just the fourth row $1, 4, 6, 4, 1$ of Pascal’s triangle, as you can see by writing $3 + 4 \cos(\theta) + \cos(2\theta)$ as a linear combination of $\exp(in\theta)$ with $n = -2, -1, 0, 1, 2.$

Here’s an expository paper by B. Conrey on the Riemann Hypothesis, which includes a number of further suggestive pictures involving the Riemann zeta function, its zeros, and the distribution of primes.Here’s the Rubinstein-Sarnak paper “Chebyshev’s Bias” (

Experimental Mathematics, 1994).Here’s a bibliography of fast computations

of $\pi(x)$.

March 4, 6, and 11: lsx.pdf:
$L(s,\chi)$ as an entire function
(where $\chi$ is a nontrivial *primitive* character

“Recall” that Exercises 8 and 9 inMarch 13: pnt_q.pdf: Product formula for $L(s,\chi),$ and ensuing partial-fraction decomposition of its logarithmic derivative; a (bad!) zero-free region for $L(s,\chi),$ and resulting estimates on $\psi(x,\chi)$ and thus on $\psi(x, a \bmod q)$ and $\pi(x, a \bmod q).$ The Extended Riemann Hypothesis and consequences.zeta1introduced the even and odd cases of the functional equation for $L(s,\chi)$ by the examples of $\chi = \chi_8$ and $\chi = \chi_4$ respectively. Since in both cases $\chi$ is real (i.e. $\chi = \bar\chi)$ we didn’t see at that point that in general the functional equation must relate $L(s,\chi)$ with $L(1-s,\bar\chi)$.

Thanks to senior William Chang for alerting me to a more elementary proof of the step that shows that for any $t \geq 2$ there are $O(\log|qt|)$ zeros with imaginary part in $[t-1,t+1]$ (see page 3 ofzeta2for the proof we gave in the case $q=1$): apply Jensen’s inequality (which we already used inprod, see (3)) to $L(s,\chi)$ on a disc such as $|s-(2+it)| \leq 3$. The central absolute value $|L(2+it,\chi)|$ is bounded away from zero (recalldirichletExercise 11), while the maximum is bounded by some power of $q|t|$ (this doesn’t even require the functional equation, only analytic continuation via Euler-Maclaurin). But if ${\rm Im}\rho \in [t-1,t+1]$ then $|\rho-(2+it)| \leq \sqrt 5 < 3$, so if there are $N$ such $\rho$ then $(3/\sqrt 5)^N \ll (q|t|)^{O(1)}$, whence $N \ll \log (q|t|)$ as claimed.

March 25 and 27:
free_q.pdf and
l1x.pdf:
The classical region $1 - \sigma \ll 1 / \log(q|t|+2)$
free of zeros of $L(s,\chi)$ with at most one `{\mathscr L}`,
with `\mathscr` defined in the `mathrsfs` package.]
Closed formulas for $L(1, \chi)$ and their relationship with
cyclotomic units, class numbers, and the distribution of
quadratic residues.

**Corrected** Apr.3 to fix errors in the Exercises noted by Matthew Lipman.

`free_q`: in Ex.3 the second $\ll$ is again $\ll_A$, and in Ex.4
the point (given Siegel) is that these $A,c$ depend effectively on $\epsilon$.

`l1x`: in Ex.2 $\chi$ must be assumed real (else both the
Gauss-sum factor and the irrational character values usually put
$q^{1/2} \pi^{-n} L(n,\chi)$ in some proper cyclotomic extension

If you were expecting the complex conjugate of $\chi(a)$ in formulas 7, 8 (top of page 5), rather than $\chi(a)$ itself, remember that we just showed that if $\beta$ exists at all then $\chi$ is real.

To prove the formula for $\sum_{n=1}^\infty \frac1n e^{2\pi i an/q}$: The Taylor series $\sum_{n=1}^\infty z^n / n = -\log(1-z)$ converges absolutely for $|z|<1$; if $|\zeta|=1$ and $\zeta \neq 1$ then $-\log(1-z)$ extends to a continuous function on the closed segment $\{t\zeta : 0 \leq t \leq 1\}$, and $\sum_{n=1}^\infty \zeta^n / n$ still converges conditionally. It follows from Abel’s theorem that $\sum_{n=1}^\infty \zeta^n / n = -\log(1-\zeta).$ Now take $\zeta = e^{2\pi i a / q}.$ (The Wikipedia page currently states the theorem for real power series $\sum_{k=0}^\infty a_k x^k,$ but thecoefficients$a_k$ can just as well be complex.)

The formulas for $L(1,\chi)$ include the familiar Leibniz-Madhava formula $1 - \frac13 + \frac15 - \frac17 + - \cdots = \frac\pi 4$ (with $\chi = \chi_4$), and nice but less familiar examples such as $L(1,\chi_5) = \frac2{\sqrt{5}} \log \varphi$ where $\varphi = \frac12(1+\sqrt5)$ (the “golden ratio”) is the fundamental unit of ${\bf Q}(\sqrt 5)$ (with cyclotomic representations $2 \cos \pi/5 = (2\cos 2\pi/5)^{-1}$ — you might have seen $\sin 18^\circ = \frac14(\sqrt{5}-1)$ in connection with the regular pentagon or high-school contest math).

April 1: sieve.pdf: The Selberg (a.k.a. quadratic) sieve and some applications

Concerning the note to Exercise 4: the $k=1$ case of Schinzel’s conjecture was stated explicitly by Bunyakovsky as early as 1857.

April 3: weyl.pdf: Introduction to exponential sums; Weyl’s equidistribution theorem and the application to equidistribution $\bmod 1$ of arithmetic progressions with irrational step. [interlude on “little $o$” notation]

April 8, 10, and 15: more analytic estimates on exponential sums (kmv.pdf and vdc.pdf): Mean-square estimates via Beurling’s function (we won’t cover the Montgomery-Vaughan generalization of Hilbert’s inequality); the Kuzmin and van der Corput bounds

In dimension $\gt1$, good analogs of $\beta_\pm$ that minorize or majorize the characteristic function of a box and have Fourier supports in another box are still quite mysterious. Another application, to upper bounds on sphere-packing densities, requires only inequalities on both $\beta$ and $\hat\beta$; in that setting a new construction of an optimal test function (but still reminiscent of Beurling’s use of the factor $(\sin \pi z)^2$) was found very recently by Viazovska to solve the sphere-packing problem in dimension 8, and was adapted shortly thereafter to solve it in dimension 24.

April 22: short.pdf: The Davenport-Erdös bound and the distribution of short character sums, with some applications

For the characterization of the Gaussian distribution by its moments: suppose more generally that $\mu$ is a probability measureApril 24: kloos.pdf: An application of Weil’s bound on Kloosterman sums.on ${\bf R}^n$. We say that $\mu$ has “exponential decay” if there exists $c \gt 0$ such that for all $R \gt 0$ the complement of the$R$-ball about the origin has measure$O(\exp(-cR))$. Then the Fourier transformof $\mu$ [which takes any vector $y$ to $\int_{{\bf R}^n} \exp(2\pi i \langle x,y \rangle) \, d\mu(x) = \int_{{\bf R}^n} e(\langle x,y \rangle) \, d\mu(x)$] extends to an analytic function on a neighborhoodof ${\bf R}^n$ in ${\bf C}^n$. Hence if $\mu$ and $\mu'$ are two probability measures with exponential decay, all of whose moments agree, then the Fourier transform of $\mu - \mu'$ is an analytic function that vanishes together with all its derivatives at the origin, and is thus identically zero — whence $\mu - \mu' = 0$ so $\mu = \mu'.$In fact it is sufficient for just $\mu$ to have exponential decay, because exponential decay can be detected from the moments. Assume for simplicity $n = 1.$ Then for

even $r$ the$r$th moment is $\ll \int_{-\infty}^\infty x^r \exp(-c|x|) \, dx,$ and thus $\ll r! / c^r.$ Conversely, if this bound holds for alleven $r$ then the complement of the$R$-ball about the origin has measure $\ll r! / (cR)^r$ for alleven $r$; taking $r = cR + O(1)$ we find that this measure is $\ll R^{1/2} \exp(-cR),$ which yields the desired exponential decay with any coefficient lessthan $c.$ The same argument works indimension $n$ (with $R^{n/2} \exp(-cR)$ in place of $R^{1/2} \exp(-cR)$).In particular, Gaussian distributions on $\bf R$ and $\bf C$ are characterized by their moments, as claimed.

WARNING Without the condition of exponential decay, it is

nottrue thateveryprobability distribution with finite moments is characterized by those moments. Indeed there are real-valued smooth functions $f,$ not identically zero, such that $\int_{-\infty}^\infty x^r f(x) \, dx = 0$ for each $r = 0, 1, 2, \ldots$; we can thus write some multiple of $f$ as $f_+ - f_-$ with $f_\pm \geq 0$ and $\int_{-\infty}^\infty f_\pm (x) \, dx = 1,$ and then $f_+ \, dx$ and $f_- \, dx$ are two different distributionson $\bf R$ with the same moments.

Here are the plots of $x y \equiv 256 \bmod 691$ and $x y \equiv 691 \bmod 5077$, illustrating the asymptotically uniform distributions studied in this chapter (and also illustrating a bit of mathematical PostScript trickery, as you can see from the source files for the plots forp= 691 andp= 5077).

April 29: many_pts.pdf: How many points can a curve of genus $g$ have over the finite field of $q$ elements? The zeta function of a curve over a finite field; the Weil and Drinfeld-Vladut bounds, and related matters.

many_pts_0.pdf: Some explanation for the possibly mysterious argument on the bottom of p.3Here are some tables of curves of given genus over finite fields with many rational points.

Let $M_k(g)$ be the maximal number of rational points of a

genus-$g$ curve over the finitefield $k$. Themany_ptshandout cites[Serre 1982-1984] for the theorem that for each $k$ the limsupover $g$ of $M_k(g)/g$ is positive. The result that for each $k$ the liminfof $M_k(g)/g$ is also positive is contained in the paper:N.D.Elkies, E.W.Howe, A.Kresch, B.Poonen, J.L.Wetherell, and M.E.Zieve: Curves of every genus with many points, II: Asymptotically good families,

Duke Math. J.122#2 (2004), 399-422 (math.NT/0208060 on the arXiv).(This is actually easier than the limsup proof, though it assumes the limsup result as almost a black box — “almost” because we need a somewhat stronger result that the limsup can be attained by a sequence of curves $C_n$ whose genera are spaced closely enough that there exists some finite $R$ with $g(C_{n+1}) / g(C_n) < R$ for

each $n$.)

May 1 and 6:
disc.pdf:
Stark’s analytic lower bound on the absolute value of the discriminant
of a number field (assuming GRH).

The logarithmic derivative $\Gamma'(s)/\Gamma(s)$ of the Gamma function (sometimes called the “digamma function”) is often denoted by $\psi(s);$ we use this notation for the present paragraph even though it conflicts with the Cebysev function $\psi(x) = \sum_{n\leq x} \Lambda(n).$ In gamma.pdf (omitted this term) we derive product formulas for $\Gamma(s)$ and deduce $$ [\psi(s) = ]\frac{\Gamma'(s)}{\Gamma(s)} = - \gamma - \frac1s + \sum_{k=1}^\infty \left( \frac1k - \frac1{s+k} \right) = \lim_{N\to\infty} \left[ \log N - \sum_{k=0}^N \frac1{s+k} \right] \, $$ where $\gamma = .5772157\ldots$ is the Euler[-Mascheroni] constant. In particular $\Gamma'(1) = \psi(1) = -\gamma,$ and $$ \psi(1/2) = -\gamma - 2 + \sum_{k=1}^\infty \left( \frac2{2k} - \frac2{2k+1} \right) = -\gamma - 2 \left( 1 - \frac12 + \frac13 - \frac14 + - \cdots \right) = -\gamma - 2 \log 2. $$ The formula $\psi(1/2) - \psi(1) = -2 \log 2$ can also be deduced from the duplication formula $\Gamma(s) \Gamma(s+\frac12) = 2^{1-2s} \sqrt\pi \, \Gamma(2s)$ by taking logarithmic derivatives and setting $s = 1/2.$ Taking $s = 1/4$ then yields $\psi(1/4) + \psi(3/4) = -2\gamma - 6 \log 2;$ starting instead with the reflection formula $\Gamma(s) \Gamma(1-s) = \pi / \sin(\pi s)$ gives $\psi(1-x) - \psi(x) = \pi \cot(\pi x),$ and in particular $\psi(1/4) - \psi(3/4) = -\pi.$ Averaging the formulas for $\psi(1/4) \pm \psi(3/4)$ yields $\psi(1/4) = -\gamma - \pi/2 - 3 \log(2).$

In general if $s$ is rational then a formula of Gauss (his “digamma theorem”) gives $\psi(s) + \gamma$ as a finite sum (involving logarithms and special values of trigonometric functions); the formulas for $\psi(1/2)$ and $\psi(1/4)$ are special cases.

Here are some tables of number fields, compiled by Henri Cohen.

The LMFDB (“

L-functions,ModularForms, and related objectsDataBase”) has much more extensive tables of tables of number fields which contain the PARI database and are complete in some directions; if you find a number field that “should” be contained in the LMFDB (e.g. because the database contains a field of the same degree, signature $(r_1,r_2)$, and ramified primes, but with $|D|$ larger than yours), send it in for the next revision.According to Wikipedia’s article on number-field discriminants, the lowest known root-discriminants of an infinite family of number fields are still the records of about $92.4$ for totally imaginary fields $(r_1=0),$ and $1059$ for totally real ones $(r_2 = 0),$ both by Martinet (

Invent. Math.1978); but a generation later Hajir and Maire lowered the first bound to under $83.9$ (Compositio Math.128(2001) #1, 35-53), and wrote that “it has long been conjectured” that ${\bf Q}(\sqrt{-1365})$ has an infinite class field tower, which would yield an upper bound of $\sqrt{5460} < 73.9$ (see the end of this paper, published at about the same time in the Proceedings of the 2000 European Congress of Mathematics).

So **what’s with the whorls** in the background pattern?
They’re a visual illustration of an *exponential sum*,
that is,
$\sum_{n=1}^N \exp (i f(n))$.
Even simple functions $f$ can give rise to interesting behavior
and/or important open problems as we vary *N*.
What function $f$ produced the background for this page?
See here for more information.