Book

nostalgia The first version of The ternary Goldbach problem was accepted for publication in 2015, with major revisions being optional. I decided to
  1. undertake the "serious rewrite" recommended by one of the referees,
  2. ask for at least one more round of thorough peer-review. The manuscript is now divided into parts, each of which is at a different stage of the process.
The version below dates to December 16, 2019. I am making available only the parts I feel are essentially ready. Feedback is very welcome.

Update (July 7, 2024): Sorry for not posting updates during the pandemic. In part, I was busy with other things, mathematical and otherwise - and I was also working quietly on the book project. I do not feel quite ready to share the newer versions. (Incidentally, big thanks to Farzad Aryan and Priyamvad Srivastav for their help in checking things.)

In lieu of new chapters (temporarily), here is a Sagemath worksheet I created for a workshop in Uganda. The style is a little more informal than what I would feel comfortable setting in print - and I also assume less background than I do in the book. All the same, I hope the worksheet will be found to be both useful and somewhat indicative on how my perspective has evolved and how the book is likely to change.

There are large parts of the proof not touched upon by the worksheet (most notably, type II sums). I can create a fuller version of the worksheet if there is interest.

Feedback is still welcome!

Front matter

Title page, frontispice, etc.
Table of contents
Preface
Leitfaden
Acknowledgements
Introduction

Groundwork

Available in full, including:
Notation and preliminaries
Series and summation
Computational matters
Basic sums of arithmetical functions.

An earlier version was already refereed; some material has been added since then.

Sieves large and small

Available in full, including:
Sums used in sieve theory
A natural upper-bound sieve
The large sieve: smoothing and scattering
The L2 norm and the large sieve.

Refereed. I may later see whether a somewhat more complex-analytic explicit approach to parts of Chapters 6 or 7 is feasible and shortens the treatment. (A fully complex-analytic explicit treatment would most likely not be advantageous or even currently feasible.) There has been progress elsewhere on matters close to Chapter 7, due to (a) S. Zũñiga, (b) a research group meeting in Oaxaca. It has been shown by (b) that the sieve in Chapter 7 is optimal and in fact the only optimal one within the class of continuous sieves, even - and this is what is new - when the second-order term is considered.

Minor arcs

Introduction
Type I sums
Type II sums: using small and large sieves
Minor-arc totals.

Major arcs

Available in full, including:
Major arcs: overview and results;
The Mellin transform of the twisted Gaussian;
Explicit formulas.

Refereed. Thanks are due to N. Temme for additional remarks since then.

The integral over the circle

includes: The integral over the major arcs; Optimizing smoothing functions; The integral over the minor arcs; Conclusion.

Appendices

Appendix A: Norms of smoothing functions
Appendix B: Sums involving log p and φ

Bibliography and index

Bibliography
Index

Code

Small computations and bookkeeping are taken care of by SageMath code embedded within the LaTeX source file. These source files should eventually be put on arxiv, and are currently available upon request.
Larger computations were coded in C, or, in a few cases, in SageMath/Python. Here is a tar file with the source code. I will not be maintaining it in any formal sense - indeed, I think it will be better if people who are interested write their own code, following the discussions and/or pseudocode in the book. I certainly do not intend the code here to serve as any sort of model, or for it to be ready for any sort of official release. I make no claims for it save that it should give correct outputs for the inputs given in the documentation. Suggestions and bug reports are welcome.