| Download
William Stein -- Talk for Mathematics is a long conversation: a celebration of Barry Mazur
%\documentclass[draft]{beamer}1\documentclass{beamer}2\usetheme{Warsaw}3\setbeamertemplate{navigation symbols}{}4\usecolortheme{wolverine}5\usepackage{graphicx}6\usepackage{amsmath}7\usepackage{amsfonts}8\usepackage{amssymb}9\usepackage{amsthm}10\DeclareMathOperator{\Li}{Li}1112\newcommand{\mysection}[2]{\section{\S#1. #2}%13\begin{frame}{}14\vfill15\begin{center}16\hrulefill17\vfill18\Huge\sc \S#1. #219\vfill20\hrulefill21\end{center}22\vfill23\end{frame}}2425\title{Writing a book with Barry Mazur}26\subtitle{``Prime Numbers and the Riemann Hypothesis''}27\author[W.\thinspace{}Stein]{William Stein}28\date[Mazur 80]{June 4, 2018 at Harvard University - \href{http://www.math.harvard.edu/conferences/mazur18/}{Mazur Celebration}}29\institute[SageMath, Inc. \& UW]{SageMath, Inc. and University of Washington}303132\begin{document}3334\begin{frame}35\titlepage36\end{frame}3738\begin{frame}{Abstract}39\begin{abstract}40In 2005, Barry Mazur and I started a decade+ project to write the41book ``Prime Numbers and the Riemann Hypothesis''.42This talk is about43what's in the book and why, and how the book was produced.44\end{abstract}4546\vfill47\hrulefill4849{\tiny Thank you to Barry and the organizers!}\\50{\tiny Encourage people to rudely interrupt me during my talk and ask questions!}5152\end{frame}5354\begin{frame}{Prelude: collaborate with great co-authors!}5556Writing John Tate's {\em Galois Cohomology} notes for PCMI 1999...5758\vfill5960\begin{block}{}61{\em62``Everybody is so jealous of you getting63to talk with John Tate!''}\\64-- David Savitt65\end{block}6667\vfill6869If you ever get the chance70to write something with someone incredible,71{\bf\em take it!!}7273\vfill7475(I next wrote a long paper with Ken Ribet from that same PCMI.)7677\end{frame}787980\begin{frame}{Overview}81\tableofcontents82\end{frame}8384\mysection{1}{Barry's Public Lecture}8586\begin{frame}87\begin{center}88\includegraphics[height=.7\textheight]{pics/barry-msri}89\end{center}9091\end{frame}929394\begin{frame}{Clay Math Institute public lecture (MIT, May 3, 2005)}95\begin{center}96\href{http://www.claymath.org/library/public\_lectures/mazur\_riemann\_hypothesis.pdf}{\small\underline{``Are there still unsolved problems about the numbers 1, 2, 3, 4, ... ?''}}97\end{center}9899\vfill100101\begin{block}{Use primes to ``sell'' number theory to the general public}102\begin{itemize}103\item Immediately accessible104\item Immediately interesting105\item How erratic primes are106\item Cicada's every 13, 17 years...107\item Many examples of ``open, interesting questions''108\item People can immediately make computations of their \underline{own}109\item Barry got his father, who had done NO110math, hooked on the Goldbach Conjecture, so thought111primes would work.112\end{itemize}113\end{block}114\end{frame}115116\begin{frame}{SageMath}117\vfill118\begin{center}119\includegraphics[width=.7\textwidth]{pics/sage-logo}120\end{center}121\vfill122123\begin{block}{I also launched SageMath in 2005}124I launched Sage a few months before this 2005 CMI public lecture.125\begin{itemize}126\item Sage is a {\bf free open source} alternative to Mathematica, Maple, Magma, and Matlab.127\item Early Sage development motivated by this talk128\begin{itemize}129\item Linking Sage to Mathematica to compute $\Gamma$130\item Early visualization functionality131\item Prime enumeration (via PARI)132\end{itemize}133\end{itemize}134\end{block}135\end{frame}136137\begin{frame}{More about what was in Barry's public lecture...}138\begin{block}{Topics}139\begin{itemize}140\item Primes as atoms: integer factorization141\item The largest known prime142\item Enumerating primes: Sieve of Eratosthenes143\item Twin primes144\item Counting primes145\item Gauss's Conjecture: The Prime Number Theorem146\item Riemann: Fourier style smooth approximations $R_k(x)$ to $\pi(x)$147\item Riemann's Harmonics: zeros of $\zeta(s)$148\end{itemize}149150\end{block}151152\vfill153\begin{center}154\Large155\emph{It worked!}156\end{center}157158159160\end{frame}161162\mysection{2}{Writing a Book}163164\begin{frame}{``Let's write a book...'' -- Barry}165\begin{block}{Could we turn this public lecture into a ``popular book''?}166167\begin{itemize}168\item Write something for a general audience169\item Small and readable170\item Full of {\em mathematics}, not stories of people171\item Profusely illustrated172\item Meet for a few weeks in his country house and focus on this173\end{itemize}174\end{block}175\end{frame}176177178\begin{frame}{What kind of book?}179180There are already 4 recent popular books on the Riemann Hypothesis. Why write another?181\vfill182183\begin{block}{Our book could be unique}184\begin{itemize}185\item Motivate by connecting the prime counting problem with our other research on {\em the explicit formula}186\item Mostly math and not ``stories of people'' (other books on RH already do the stories well)187\end{itemize}188\end{block}189\end{frame}190191\begin{frame}{What Sort of Book: Small, Medium or Large?}192\begin{center}193Like T.\thinspace{}C. MITS or like ON BULLSHIT?194\vspace{1ex}195196\includegraphics[height=.75\textheight]{pics/tc-mits}197\hspace{2em}198\includegraphics[height=.75\textheight]{pics/bullshit}199\end{center}200\end{frame}201202203\begin{frame}{Our Approach}204\begin{block}{}205Go back 150+ years and explain what RH is more from the point of view of classical Fourier analysis.206\begin{itemize}207\item Embrace a mid-19th century very $\mathbb{R}$eal perspective208\item Leave $\mathbb{C}$omplex numbers to the very, very end209\end{itemize}210\end{block}211\begin{center}212\includegraphics[height=.5\textheight]{pics/riemann}213\end{center}214215\end{frame}216217218\begin{frame}{Target Audience?}219220\begin{block}{Who are we writing this book for?}221\vspace{.25in}222223{\em Lovers of number theory} who want to read about mathematics.224\vspace{.25in}225226\begin{itemize}227\item Bright high school students?\footnote{Neither Barry nor I graduated from high school.}228\item Retired electrical engineers?229\end{itemize}230\vspace{.5in}231232\end{block}233234\end{frame}235236237\begin{frame}{SageMath again}238\begin{block}{Computations with Sage drove the exposition}239We used Sage to compute with prime numbers, zeros, etc., and generally to plot everything in the book.240\begin{itemize}241\item Numerous plots that are absolutely essential to the exposition, and in fact really drove it!242\item Surprising to see so much with such little computation.243\item Central hook of the book appears from computation:\\244{\em ``Fourier transform links the discrete distribution at prime powers and the discrete distribution of zeros of $\zeta(s)$.''}245\item This is also what got us thinking about ``how explicit is the explicit formula?'' (another research project...)246\end{itemize}247\end{block}248\end{frame}249250251\begin{frame}{Collaborative \LaTeX{} via CoCalc}252\begin{block}{How we wrote the book}253\begin{itemize}254\item I wrote CoCalc's \LaTeX{} editor {\bf for this book project}:255\begin{itemize}256\item In a web browser257\item Both of us simultaneously editing the same file258\item Precise history of all changes259\item Gives a sense of the collaborative spirit260\end{itemize}261\item Rough PDF of book on the web at every stage262\item \href{https://github.com/williamstein/rh}{GitHub tracking of changes}263\item Sage computations run in the same place as editing book264\item Barry very closely read and understood the Sage code265\end{itemize}266\end{block}267\end{frame}268269\begin{frame}{CoCalc's Collaborative \LaTeX{} Editor}270\includegraphics[width=\textwidth]{pics/cocalc-latex}271\end{frame}272273\begin{frame}{CoCalc's Collaborative \LaTeX{} Editor and Sage Worksheet}274\includegraphics[width=\textwidth]{pics/cocalc-latex-2}275\end{frame}276277\begin{frame}{}278\vfill279\begin{center}280\hrulefill281\vfill282\Huge\sc Here is the book!283\vfill284\hrulefill285\end{center}286\vfill287\begin{center}288(in just a few slides)289\end{center}290\end{frame}291292293\begin{frame}{The Prime Counting Problem}294Let $\pi(x)$ be the number of primes $\leq x$.\\295{\bf Problem:} {\em Give a ``good approximation'' for $\pi(x)$.}296\vfill297298\includegraphics[width=.98\textwidth]{pics/prime-pi-100}299300\end{frame}301302\begin{frame}{The Prime Counting Problem}303Let $\pi(x)$ be the number of primes $\leq x$.\\304{\bf Problem:} {\em Give a ``good approximation'' for $\pi(x)$.}305\vfill306307\includegraphics[width=.98\textwidth]{pics/prime-pi-1000}308309\end{frame}310311\begin{frame}{Focus on The Prime Counting Problem}312Let $\pi(x)$ be the number of primes $\leq x$.\\313{\bf Problem:} {\em Give a ``good approximation'' for $\pi(x)$.}314\vfill315316\includegraphics[width=.98\textwidth]{pics/prime-pi-1000000}317318\end{frame}319320\begin{frame}{Answer: The Riemann Hypothesis (first formulation)}321$$322\Li(X) = \int_2^{X} \frac{1}{\log(t)} dt323\text{ is good approx to }324\pi(X) = \#\{\text{primes} \leq X\}325$$326327\begin{flushright}328\tiny For $X=10^{24}$:329\end{flushright}330331\begin{center} \includegraphics[width=.47\textwidth]{pics/plot-pi-Li}332\includegraphics[width=.47\textwidth]{pics/ten24}333\end{center}334335336\begin{block}{}337\textbf{RH1:} The number of prime numbers less than $X$ is338approximately $\Li(X)$ and this approximation is essentially square339root accurate.340\end{block}341342\hrulefill343344{\tiny Gauss wrote in his 1849 letter that345there are $216{,}745$ prime numbers less than three million.\vspace{-1em}\\346347This is348wrong: the actual number of these primes is $216{,}816$.}349\end{frame}350351\begin{frame}{Answer: The Riemann Hypothesis (second formulation)}352353$\psi(x)$: ``A new staircase that starts on the ground at $x=0$ and the height of the354riser of the step at $x=1$ will be $\log(2\pi)$. The height of the355riser of the step at $x=p^n$ will not be $1$356but rather: the step at $x=p^n$ will have the height of its riser357equal to $\log p$.''358359\begin{center}360\includegraphics[height=.4\textheight]{pics/psi}361\end{center}362363\begin{block}{}364\textbf{RH2:} The prime power staircase $\psi(X)$ is essentially square root close365to the 45 degree straight line.366\end{block}367368\end{frame}369370\begin{frame}{Answer: The Riemann Hypothesis (third formulation)}371372We deleted this formulation from the book, since it was too technical to state properly (it's the {\em explicit formula}). After deleting this, we accidentally didn't relabel the ``fourth formulation", which confused readers.373374\vfill375376Instead, we illustrate the heck out of it!377378\vfill379380\begin{block}{}381\textbf{RH3:} The Fourier transform382of $\psi'(X)$ \emph{``is basically''}383a discrete distribution supported at the imaginary parts of the384(nontrivial) zeros of $\zeta(s)$.385386\end{block}387388\end{frame}389390\begin{frame}{Fourier transform of $\Psi'(x)$ (just four terms!)}391392\begin{align*}393f(t) = & -{\frac{\log(2)}{2^{1/2}}}\cos(t\log(2))- {\frac{\log(3)}{3^{1/2}}}\cos(t\log(3)) \\394& \qquad -{\frac{\log(2)}{4^{1/2}}}\cos(t\log(4))-{\frac{\log(5)}{5^{1/2}}}\cos(t\log(5))395\end{align*}396397\includegraphics[height=.42\textheight]{pics/prime-power-freq-5}398399\vfill400401\begin{itemize}402\item Anybody can easily plot this.403\item Arrows point to imaginary parts of zeros of $\zeta(s)$!404\end{itemize}405406\end{frame}407408409410\begin{frame}{Fourier transform of $\Psi'(x)$ (first 20 terms)}411412413\includegraphics[height=.41\textheight]{pics/prime-power-freq-20}414415\vfill416417$$418-\sum_{p^n\leq 20}{\frac{\log(p)}{p^{n/2}}}\cos(t\log(p^n))419$$420421\end{frame}422423424\begin{frame}{Fourier transform of $\Psi'(x)$ (first 500 terms)}425426\includegraphics[height=.43\textheight]{pics/prime-power-freq-500}427\vfill428429$$430-\sum_{p^n\leq 500}{\frac{\log(p)}{p^{n/2}}}\cos(t\log(p^n))431$$432433{\bf Take this home:}434{\em The Fourier transform of the derivative of the prime power staircase ``is'' the435zeros of the Riemann zeta function.}436437\end{frame}438439440\begin{frame}{It goes both ways!}441442The Fourier transform of the zeros ``is'' prime powers:443444\begin{center}445\includegraphics[height=.55\textheight]{pics/zeros-series-1000}446\end{center}447448$$-\sum_{i=1}^{1000}449\cos(\log(s)\theta_i)$$450451%$\theta_1 \sim 14.13, \ldots$ are the452% first $1000$ contributions to the imaginary parts453% of zeros.454455\end{frame}456457\begin{frame}{Riemann untangled this to get $\pi(x)$...}458459We finish book with manipulation to approximate $\pi(x)$460by a sum of smooth functions $R_k(x)$ involving the $\theta_i$.461\vfill462463\includegraphics[height=.65\textheight]{pics/R25-approx}464465\vfill466Inspiration: Zagier's lecture ``The First 50 million prime numbers''.467\end{frame}468469470\begin{frame}{$R_{50}$ approximates $\pi(x)$ very well!}471472\includegraphics[height=.55\textheight]{pics/Li-R50-pi}473474\end{frame}475476477478\begin{frame}{Answer: The Riemann Hypothesis (fourth formulation)}479\vfill480\begin{block}{}481\textbf{RH4:} All the nontrivial zeroes\index{nontrivial zeroes} of $\zeta(s)$ lie on the vertical482line in the complex plane consisting of the483complex numbers with real part equal to $1/2$.484\end{block}485\vfill486\end{frame}487488489\mysection{3}{Publishing a Book}490491\begin{frame}{How to Publish the book: Self publish!?}492\begin{block}{Self publishing?}493Just put it on my website and see what happens.494\begin{itemize}495\item Some people read it...496\item It didn't really get \textbf{significant traction}.497\item There was still that key \textbf{missing quality} step.498\end{itemize}499\end{block}500\vfill501Will Hearst convinced us to publish with a commercial publisher.502Maybe he was tired of printing out copies to give to people?503504\begin{flushright}505506\includegraphics[width=1in]{pics/will-msri}507\end{flushright}508509\end{frame}510511\begin{frame}{Finding a publisher}512\begin{block}{Finding the right publisher for {\em this book}...}513\begin{itemize}514\item Barry and I have both published a few books with a couple of publishers, over the years.515\item Talked to many editors (the JMM was \textbf{very} helpful!)516\item Looked at reputation, similar books, and who followed up517\item Balanced competing goals (e.g., price, quality, rights)518\item Kaitlin Leach from Cambridge University Press won.519\end{itemize}520\end{block}521\end{frame}522523\begin{frame}{Typos and Mistakes}524\begin{block}{Or, making the book easier for people to read}525\begin{itemize}526\item Dozens of people carefully read drafts of527the book and provided incredibly useful feedback.528\textbf{THANK YOU!!}529\item The publisher had a copy editor read the book,530and provided complementary feedback.531\item Don't expect your publisher to catch the sort of532mistakes a mathematician would catch (should be 1777--1855):533\begin{center}534\includegraphics[height=.38\textheight]{pics/gauss}535\end{center}536\end{itemize}537\end{block}538\end{frame}539540541\begin{frame}{Creating a Cover}542543544\begin{block}{Ideas for Components Included...}545\begin{itemize}546\item Title of book547\item Our names548\item Plot of $\zeta(s)$, using Sage's {\tt complex\_plot}549\item Portrait of Riemann, the star of the book!550\item Plots illustrating the main ideas of the book551\item A ``classical'' look552\end{itemize}553\end{block}554555\vfill556There is a natural tension here: publisher vs author vs marketer557558\end{frame}559560\begin{frame}{What We Created}561\begin{center}562\includegraphics[height=.82\textheight]{pics/cover-we-wanted}563\end{center}564\end{frame}565566\begin{frame}{The Actual Cover}567\begin{center}568\includegraphics[height=.82\textheight]{pics/cover-front}569\end{center}570\end{frame}571572\begin{frame}{Endorsements for the back cover}573Will Hearst and David Mumford kindly wrote about our book...574575\begin{center}576\includegraphics[height=.76\textheight]{pics/cover-back}577\end{center}578\end{frame}579580\begin{frame}{Production}581\begin{block}{Producing the book}582\begin{itemize}583\item Initial friction with production, e.g., ``Please provide Microsoft Word document.'' (Cambridge Univ Press has made many positive steps toward better \LaTeX{} support.)584\item An unfortunate physical issue with some of the first printing.585\item CUP strongly supported and marketed the book.586\item Working with CUP has been a {\em very positive experience} overall.587\end{itemize}588\end{block}589\end{frame}590591\begin{frame}{Published!}592593\includegraphics[width=.98\textwidth]{pics/amazon-prime}594595\end{frame}596597598599\begin{frame}{User Reviews}600601\includegraphics[width=\textwidth]{pics/amazon-review}602603\hrulefill604605\vfill606607%Negative reviews mainly due to \textit{production issues},608%both with the physical book609%and the Kindle edition, which CUP fully addressed.610611\end{frame}612613\begin{frame}{Magazine \& Blog Reviews}614\begin{itemize}615\item \href{http://www.ams.org/journals/bull/2018-55-03/S0273-0979-2018-01624-8/}{Sarnak review in Bulletins}: ``make effective use of such technology and do a marvelous job of integrating616all this information into an exposition of the underlying mathematics.''617\item \href{https://www.tandfonline.com/doi/abs/10.1080/00029890.2018.1438005}{Avner Ash in American Math Monthly}618\item \href{https://www.maa.org/press/maa-reviews/prime-numbers-and-the-riemann-hypothesis}{MAA review}: ``This book is a splendid piece of work, informative and valuable.''619\item \href{https://golem.ph.utexas.edu/category/2016/03/prime_numbers_and_the_riemann.html}{John Baez}: ``It's the best elementary introduction to the connection between prime numbers and zeros of the Riemann zeta function.''620\item \href{https://mathbabe.org/2016/05/03/prime-numbers-and-the-riemann-hypothesis/}{Cathy O'Neil}: ``If I have one complaint it's all the pictures of white male mathematicians. [...] it would have been even better if it focused on the ideas more and the people less.''621\end{itemize}622\end{frame}623624\begin{frame}{\$ Royalties \$}625626We sold some copies, so Cambridge University Press sent us some money.627I'm spending my share on expenses for my dream dog:628629\begin{center}630\includegraphics[height=.7\textheight]{pics/bella-puppy}631\end{center}632633634\end{frame}635636\begin{frame}[fragile]637\frametitle{Translations}638\begin{verbatim}63925 Apr 2018640641Dear Professor Stein,642643Prime Numbers and the Riemann Hypothesis644645I am delighted to inform you that we are currently646concluding an agreement with Nippon Hyoron Sha for647a Japanese language edition of your book. They plan648to print an edition of 2,500 copies initially, which649will be sold at approximately 2,200 JPY per copy.650\end{verbatim}651\end{frame}652653654\begin{frame}655\frametitle{Future plans}656\begin{block}{Someday we hope to...}657\begin{itemize}658\item Create online fully interactive version of all the659plots, which don't require knowing Sage to use.660\item Finish related research on $L$-series of elliptic curves, connecting the rank to statistical661behavior of the $a_p$.662\end{itemize}663\end{block}664\vfill665666\begin{center}667Thank You!668\end{center}669670\end{frame}671672673\end{document}674675