Boosting the van der Corput inequality using the tensor power trick

In this previous blog post I noted the following easy application of Cauchy-Schwarz:

Lemma 1 (Van der Corput inequality) Let be unit vectors in a Hilbert space . Then

Proof: The left-hand side may be written as for some unit complex numbers . By Cauchy-Schwarz we have

and the claim now follows from the triangle inequality.

As a corollary, correlation becomes transitive in a statistical sense (even though it is not transitive in an absolute sense):

Corollary 2 (Statistical transitivity of correlation) Let be unit vectors in a Hilbert space such that for all and some . Then we have for at least of the pairs .

Proof: From the lemma, we have

The contribution of those with is at most , and all the remaining summands are at most , giving the claim.

One drawback with this corollary is that it does not tell us which pairs correlate. In particular, if the vector also correlates with a separate collection of unit vectors, the pairs for which correlate may have no intersection whatsoever with the pairs in which correlate (except of course on the diagonal where they must correlate).

While working on an ongoing research project, I recently found that there is a very simple way to get around the latter problem by exploiting the tensor power trick:

Corollary 3 (Simultaneous statistical transitivity of correlation) Let be unit vectors in a Hilbert space for and such that for all , and some . Then there are at least pairs such that . In particular (by Cauchy-Schwarz) we have for all .

Proof: Apply Corollary 2 to the unit vectors and , in the tensor power Hilbert space .

It is surprisingly difficult to obtain even a qualitative version of the above conclusion (namely, if correlates with all of the , then there are many pairs for which correlates with for all simultaneously) without some version of the tensor power trick. For instance, even the powerful Szemerédi regularity lemma, when applied to the set of pairs for which one has correlation of , for a single , does not seem to be sufficient. However, there is a reformulation of the argument using the Schur product theorem as a substitute for (or really, a disguised version of) the tensor power trick. For simplicity of notation let us just work with real Hilbert spaces to illustrate the argument. We start with the identity

where is the orthogonal projection to the complement of . This implies a Gram matrix inequality

for each where denotes the claim that is positive semi-definite. By the Schur product theorem, we conclude that

and hence for a suitable choice of signs ,

One now argues as in the proof of Corollary 2.

A separate application of tensor powers to amplify correlations was also noted in this previous blog post giving a cheap version of the Kabatjanskii-Levenstein bound, but this seems to not be directly related to this current application.

The inclusion-exclusion principle for commuting projections

The (classical) Möbius function is the unique function that obeys the classical Möbius inversion formula:

Proposition 1 (Classical Möbius inversion) Let be functions from the natural numbers to an additive group . Then the following two claims are equivalent:

• (i) for all .
• (ii) for all .

There is a generalisation of this formula to (finite) posets, due to Hall, in which one sums over chains in the poset:

Proposition 2 (Poset Möbius inversion) Let be a finite poset, and let be functions from that poset to an additive group . Then the following two claims are equivalent:

• (i) for all , where is understood to range in .
• (ii) for all , where in the inner sum are understood to range in with the indicated ordering.

(Note from the finite nature of that the inner sum in (ii) is vacuous for all but finitely many .)

Comparing Proposition 2 with Proposition 1, it is natural to refer to the function as the Möbius function of the poset; the condition (ii) can then be written as

Proof: If (i) holds, then we have

for any . Iterating this we obtain (ii). Conversely, from (ii) and separating out the term, and grouping all the other terms based on the value of , we obtain (1), and hence (i).

In fact it is not completely necessary that the poset be finite; an inspection of the proof shows that it suffices that every element of the poset has only finitely many predecessors .

It is not difficult to see that Proposition 2 includes Proposition 1 as a special case, after verifying the combinatorial fact that the quantity

is equal to when divides , and vanishes otherwise.

I recently discovered that Proposition 2 can also lead to a useful variant of the inclusion-exclusion principle. The classical version of this principle can be phrased in terms of indicator functions: if are subsets of some set , then

In particular, if there is a finite measure on for which are all measurable, we have

One drawback of this formula is that there are exponentially many terms on the right-hand side: of them, in fact. However, in many cases of interest there are “collisions” between the intersections (for instance, perhaps many of the pairwise intersections agree), in which case there is an opportunity to collect terms and hopefully achieve some cancellation. It turns out that it is possible to use Proposition 2 to do this, in which one only needs to sum over chains in the resulting poset of intersections:

Proposition 3 (Hall-type inclusion-exclusion principle) Let be subsets of some set , and let be the finite poset formed by intersections of some of the (with the convention that is the empty intersection), ordered by set inclusion. Then for any , one has

where are understood to range in . In particular (setting to be the empty intersection) if the are all proper subsets of then we have

In particular, if there is a finite measure on for which are all measurable, we have

Using the Möbius function on the poset , one can write these formulae as

and

Proof: It suffices to establish (2) (to derive (3) from (2) observe that all the are contained in one of the , so the effect of may be absorbed into ). Applying Proposition 2, this is equivalent to the assertion that

for all . But this amounts to the assertion that for each , there is precisely one in with the property that and for any in , namely one can take to be the intersection of all in such that contains .

Example 4 If with , and are all distinct, then we have for any finite measure on that makes measurable that

due to the four chains , , , of length one, and the three chains , , of length two. Note that this expansion just has six terms in it, as opposed to the given by the usual inclusion-exclusion formula, though of course one can reduce the number of terms by combining the factors. This may not seem particularly impressive, especially if one views the term as really being three terms instead of one, but if we add a fourth set with for all , the formula now becomes

and we begin to see more cancellation as we now have just seven terms (or ten if we count as four terms) instead of terms.

Example 5 (Variant of Legendre sieve) If are natural numbers, and is some sequence of complex numbers with only finitely many terms non-zero, then by applying the above proposition to the sets and with equal to counting measure weighted by the we obtain a variant of the Legendre sieve

where range over the set formed by taking least common multiples of the (with the understanding that the empty least common multiple is ), and denotes the assertion that divides but is strictly less than . I am curious to know of this version of the Legendre sieve already appears in the literature (and similarly for the other applications of Proposition 2 given here).

If the poset has bounded depth then the number of terms in Proposition 3 can end up being just polynomially large in rather than exponentially large. Indeed, if all chains in have length at most then the number of terms here is at most . (The examples (4), (5) are ones in which the depth is equal to two.) I hope to report in a later post on how this version of inclusion-exclusion with polynomially many terms can be useful in an application.

Actually in our application we need an abstraction of the above formula, in which the indicator functions are replaced by more abstract idempotents:

Proposition 6 (Hall-type inclusion-exclusion principle for idempotents) Let be pairwise commuting elements of some ring with identity, which are all idempotent (thus for ). Let be the finite poset formed by products of the (with the convention that is the empty product), ordered by declaring when (note that all the elements of are idempotent so this is a partial ordering). Then for any , one has

where are understood to range in . In particular (setting ) if all the are not equal to then we have

Morally speaking this proposition is equivalent to the previous one after applying a “spectral theorem” to simultaneously diagonalise all of the , but it is quicker to just adapt the previous proof to establish this proposition directly. Using the Möbius function for , we can rewrite these formulae as

and

Proof: Again it suffices to verify (6). Using Proposition 2 as before, it suffices to show that

for all (all sums and products are understood to range in ). We can expand

where ranges over all subsets of that contain . For such an , if we write , then is the greatest lower bound of , and we observe that vanishes whenever fails to contain some with . Thus the only that give non-zero contributions to (8) are the intervals of the form for some (which then forms the greatest lower bound for that interval), and the claim (7) follows (after noting that for any ).

Job advertisement: Director of UCLA Endowed Olga Radko Math Circle (ORMC)

[I am posting this advertisement in my capacity as chair of the Steering Committee for the UCLA Endowed Olga Radko Math Circle – T.]

The Department of Mathematics at the University of California, Los Angeles, is inviting applications for the position of an Academic Administrator who will serve as the Director of the UCLA Endowed Olga Radko Math Circle (ORMC). The Academic Administrator will have the broad responsibility for administration of the ORMC, an outreach program with weekly activities for mathematically inclined students in grades K-12. Currently, over 300 children take part in the program each weekend. Instruction is delivered by a team of over 50 docents, the majority of whom are UCLA undergraduate and graduate students.

The Academic Administrator is required to teach three mathematics courses in the undergraduate curriculum per academic year as assigned by the Department. This is also intended to help with the recruitment of UCLA students as docents and instructors for the ORMC.

As the director of ORMC, the Academic Administrator will have primary responsibility for all aspects of ORMC operations:

• Determining the structure of ORMC, including the number and levels of groups
• Recruiting, training and supervising instructors, docents, and postdoctoral fellows associated with the ORMC
• Developing curricular materials and providing leadership in development of innovative ways of explaining mathematical ideas to school children
• Working with the Mathematics Department finance office to ensure timely payment of stipends and wages to ORMC instructors and docents, as appropriate
• Maintaining ORMC budget and budgetary projections, ensuring that the funds are used appropriately and efficiently for ORMC activities, and applying for grants as appropriate to fund the operations of ORMC
• Working with the Steering Committee and UCLA Development to raise funds for ORMC, both from families whose children participate in ORMC and other sources
• Admitting students to ORMC, ensuring appropriate placement, and working to maintain a collegial and inclusive atmosphere conducive to learning for all ORMC attendees
• Reporting to and working with the ORMC Steering Committee throughout the year

A competitive candidate should have leadership potential and experience with developing mathematical teaching materials for the use of gifted school children, as well as experience with teaching undergraduate mathematics courses. Candidates must have a Ph.D. degree (or equivalent) or expect to complete their Ph.D. by June 30, 2021.

Applications should be received by March 15, 2021. Further details on the position and the application process can be found at the application page.

246B, Notes 4: The Riemann zeta function and the prime number theorem

Previous set of notes: Notes 3. Next set of notes: 246C Notes 1.

One of the great classical triumphs of complex analysis was in providing the first complete proof (by Hadamard and de la Vallée Poussin in 1896) of arguably the most important theorem in analytic number theory, the prime number theorem:

Theorem 1 (Prime number theorem) Let denote the number of primes less than a given real number . Then

(or in asymptotic notation, as ).

(Actually, it turns out to be slightly more natural to replace the approximation in the prime number theorem by the logarithmic integral , which turns out to be a more precise approximation, but we will not stress this point here.)

The complex-analytic proof of this theorem hinges on the study of a key meromorphic function related to the prime numbers, the Riemann zeta function . Initially, it is only defined on the half-plane :

Definition 2 (Riemann zeta function, preliminary definition) Let be such that . Then we define

Note that the series is locally uniformly convergent in the half-plane , so in particular is holomorphic on this region. In previous notes we have already evaluated some special values of this function:

However, it turns out that the zeroes (and pole) of this function are of far greater importance to analytic number theory, particularly with regards to the study of the prime numbers.

The Riemann zeta function has several remarkable properties, some of which we summarise here:

Theorem 3 (Basic properties of the Riemann zeta function)

• (i) (Euler product formula) For any with , we have

  

  where the product is absolutely convergent (and locally uniform in ) and is over the prime numbers .
• (ii) (Trivial zero-free region) has no zeroes in the region .
• (iii) (Meromorphic continuation) has a unique meromorphic continuation to the complex plane (which by abuse of notation we also call ), with a simple pole at and no other poles. Furthermore, the Riemann xi function

  

  is an entire function of order (after removing all singularities). The function is an entire function of order one after removing the singularity at .
• (iv) (Functional equation) After applying the meromorphic continuation from (iii), we have

  

  for all (excluding poles). Equivalently, we have

  

  for all . (The equivalence between the (5) and (6) is a routine consequence of the Euler reflection formula and the Legendre duplication formula, see Exercises 26 and 31 of Notes 1.)

Proof: We just prove (i) and (ii) for now, leaving (iii) and (iv) for later sections.

The claim (i) is an encoding of the fundamental theorem of arithmetic, which asserts that every natural number is uniquely representable as a product over primes, where the are natural numbers, all but finitely many of which are zero. Writing this representation as , we see that

whenever , , and consists of all the natural numbers of the form for some . Sending and to infinity, we conclude from monotone convergence and the geometric series formula that

whenever is real, and then from dominated convergence we see that the same formula holds for complex with as well. Local uniform convergence then follows from the product form of the Weierstrass -test (Exercise 19 of Notes 1).

The claim (ii) is immediate from (i) since the Euler product is absolutely convergent and all terms are non-zero.

We remark that by sending to in Theorem 3(i) we conclude that

and from the divergence of the harmonic series we then conclude Euler’s theorem . This can be viewed as a weak version of the prime number theorem, and already illustrates the potential applicability of the Riemann zeta function to control the distribution of the prime numbers.

The meromorphic continuation (iii) of the zeta function is initially surprising, but can be interpreted either as a manifestation of the extremely regular spacing of the natural numbers occurring in the sum (1), or as a consequence of various integral representations of (or slight modifications thereof). We will focus in this set of notes on a particular representation of as essentially the Mellin transform of the theta function that briefly appeared in previous notes, and the functional equation (iv) can then be viewed as a consequence of the modularity of that theta function. This in turn was established using the Poisson summation formula, so one can view the functional equation as ultimately being a manifestation of Poisson summation. (For a direct proof of the functional equation via Poisson summation, see these notes.)

Henceforth we work with the meromorphic continuation of . The functional equation (iv), when combined with special values of such as (2), gives some additional values of outside of its initial domain , most famously

If one formally compares this formula with (1), one arrives at the infamous identity

although this identity has to be interpreted in a suitable non-classical sense in order for it to be rigorous (see this previous blog post for further discussion).

From Theorem 3 and the non-vanishing nature of , we see that has simple zeroes (known as trivial zeroes) at the negative even integers , and all other zeroes (the non-trivial zeroes) inside the critical strip . (The non-trivial zeroes are conjectured to all be simple, but this is hopelessly far from being proven at present.) As we shall see shortly, these latter zeroes turn out to be closely related to the distribution of the primes. The functional equation tells us that if is a non-trivial zero then so is ; also, we have the identity

for all by (1), hence for all (except the pole at ) by meromorphic continuation. Thus if is a non-trivial zero then so is . We conclude that the set of non-trivial zeroes is symmetric by reflection by both the real axis and the critical line . We have the following infamous conjecture:

Conjecture 4 (Riemann hypothesis) All the non-trivial zeroes of lie on the critical line .

This conjecture would have many implications in analytic number theory, particularly with regard to the distribution of the primes. Of course, it is far from proven at present, but the partial results we have towards this conjecture are still sufficient to establish results such as the prime number theorem.

Return now to the original region where . To take more advantage of the Euler product formula (3), we take complex logarithms to conclude that

for suitable branches of the complex logarithm, and then on taking derivatives (using for instance the generalised Cauchy integral formula and Fubini’s theorem to justify the interchange of summation and derivative) we see that

From the geometric series formula we have

and so (by another application of Fubini’s theorem) we have the identity

for , where the von Mangoldt function is defined to equal whenever is a power of a prime for some , and otherwise. The contribution of the higher prime powers is negligible in practice, and as a first approximation one can think of the von Mangoldt function as the indicator function of the primes, weighted by the logarithm function.

The series and that show up in the above formulae are examples of Dirichlet series, which are a convenient device to transform various sequences of arithmetic interest into holomorphic or meromorphic functions. Here are some more examples:

Exercise 5 (Standard Dirichlet series) Let be a complex number with .

• (i) Show that .
• (ii) Show that , where is the divisor function of (the number of divisors of ).
• (iii) Show that , where is the Möbius function, defined to equal when is the product of distinct primes for some , and otherwise.
• (iv) Show that , where is the Liouville function, defined to equal when is the product of (not necessarily distinct) primes for some .
• (v) Show that , where is the holomorphic branch of the logarithm that is real for , and with the convention that vanishes for .
• (vi) Use the fundamental theorem of arithmetic to show that the von Mangoldt function is the unique function such that

  

  for every positive integer . Use this and (i) to provide an alternate proof of the identity (8). Thus we see that (8) is really just another encoding of the fundamental theorem of arithmetic.

Given the appearance of the von Mangoldt function , it is natural to reformulate the prime number theorem in terms of this function:

Theorem 6 (Prime number theorem, von Mangoldt form) One has

(or in asymptotic notation, as ).

Let us see how Theorem 6 implies Theorem 1. Firstly, for any , we can write

The sum is non-zero for only values of , and is of size , thus

Since , we conclude from Theorem 6 that

as . Next, observe from the fundamental theorem of calculus that

Multiplying by and summing over all primes , we conclude that

From Theorem 6 we certainly have , thus

By splitting the integral into the ranges and we see that the right-hand side is , and Theorem 1 follows.

Exercise 7 Show that Theorem 1 conversely implies Theorem 6.

The alternate form (8) of the Euler product identity connects the primes (represented here via proxy by the von Mangoldt function) with the logarithmic derivative of the zeta function, and can be used as a starting point for describing further relationships between and the primes. Most famously, we shall see later in these notes that it leads to the remarkably precise Riemann-von Mangoldt explicit formula:

Theorem 8 (Riemann-von Mangoldt explicit formula) For any non-integer , we have

where ranges over the non-trivial zeroes of with imaginary part in . Furthermore, the convergence of the limit is locally uniform in .

Actually, it turns out that this formula is in some sense too precise; in applications it is often more convenient to work with smoothed variants of this formula in which the sum on the left-hand side is smoothed out, but the contribution of zeroes with large imaginary part is damped; see Exercise 22. Nevertheless, this formula clearly illustrates how the non-trivial zeroes of the zeta function influence the primes. Indeed, if one formally differentiates the above formula in , one is led to the (quite nonrigorous) approximation

or (writing )

Thus we see that each zero induces an oscillation in the von Mangoldt function, with controlling the frequency of the oscillation and the rate to which the oscillation dies out as . This relationship is sometimes known informally as “the music of the primes”.

Comparing Theorem 8 with Theorem 6, it is natural to suspect that the key step in the proof of the latter is to establish the following slight but important extension of Theorem 3(ii), which can be viewed as a very small step towards the Riemann hypothesis:

Theorem 9 (Slight enlargement of zero-free region) There are no zeroes of on the line .

It is not quite immediate to see how Theorem 6 follows from Theorem 8 and Theorem 9, but we will demonstrate it below the fold.

Although Theorem 9 only seems like a slight improvement of Theorem 3(ii), proving it is surprisingly non-trivial. The basic idea is the following: if there was a zero at , then there would also be a different zero at (note cannot vanish due to the pole at ), and then the approximation (9) becomes

But the expression can be negative for large regions of the variable , whereas is always non-negative. This conflict eventually leads to a contradiction, but it is not immediately obvious how to make this argument rigorous. We will present here the classical approach to doing so using a trigonometric identity of Mertens.

In fact, Theorem 9 is basically equivalent to the prime number theorem:

Exercise 10 For the purposes of this exercise, assume Theorem 6, but do not assume Theorem 9. For any non-zero real , show that

as , where denotes a quantity that goes to zero as after being multiplied by . Use this to derive Theorem 9.

This equivalence can help explain why the prime number theorem is remarkably non-trivial to prove, and why the Riemann zeta function has to be either explicitly or implicitly involved in the proof.

This post is only intended as the briefest of introduction to complex-analytic methods in analytic number theory; also, we have not chosen the shortest route to the prime number theorem, electing instead to travel in directions that particularly showcase the complex-analytic results introduced in this course. For some further discussion see this previous set of lecture notes, particularly Notes 2 and Supplement 3 (with much of the material in this post drawn from the latter).

A statement from mathematics department faculty at Stanford and MIT

[The following statement is signed by several mathematicians at Stanford and MIT in support of one of their recently admitted graduate students, and I am happy to post it here on my blog. -T]

We were saddened and horrified to learn that Ilya Dumanski, a brilliant young mathematician who has been admitted to our graduate programs at Stanford and MIT, has been imprisoned in Russia, along with several other mathematicians, for participation in a peaceful demonstration. Our thoughts are with them. We urge their rapid release, and failing that, that they be kept in humane conditions. A petition in their support has been started at

https://www.ipetitions.com/petition/a-call-for-immediate-release-of-arrested-students/

Signed,

Roman Bezrukavnikov (MIT)
Alexei Borodin (MIT)
Daniel Bump (Stanford)
Sourav Chatterjee (Stanford)
Otis Chodosh (Stanford)
Ralph Cohen (Stanford)
Henry Cohn (MIT)
Brian Conrad (Stanford)
Joern Dunkel (MIT)
Pavel Etingof (MIT)
Jacob Fox (Stanford)
Michel Goemans (MIT)
Eleny Ionel (Stanford)
Steven Kerckhoff (Stanford)
Jonathan Luk (Stanford)
Eugenia Malinnikova (Stanford)
Davesh Maulik (MIT)
Rafe Mazzeo (Stanford)
Haynes Miller (MIT)
Ankur Moitra (MIT)
Elchanan Mossel (MIT)
Tomasz Mrowka (MIT)
Bjorn Poonen (MIT)
Alex Postnikov (MIT)
Lenya Ryzhik (Stanford)
Paul Seidel (MIT)
Mike Sipser (MIT)
Kannan Soundararajan (Stanford)
Gigliola Staffilani (MIT)
Nike Sun (MIT)
Richard Taylor (Stanford)
Ravi Vakil (Stanford)
Andras Vasy (Stanford)
Jan Vondrak (Stanford)
Brian White (Stanford)
Zhiwei Yun (MIT)

246B, Notes 3: Elliptic functions and modular forms

Previous set of notes: Notes 2. Next set of notes: Notes 4.

On the real line, the quintessential examples of a periodic function are the (normalised) sine and cosine functions , , which are -periodic in the sense that

By taking various polynomial combinations of and we obtain more general trigonometric polynomials that are -periodic; and the theory of Fourier series tells us that all other -periodic functions (with reasonable integrability conditions) can be approximated in various senses by such polynomial combinations. Using Euler’s identity, one can use and in place of and as the basic generating functions here, provided of course one is willing to use complex coefficients instead of real ones. Of course, by rescaling one can also make similar statements for other periods than . -periodic functions can also be identified (by abuse of notation) with functions on the quotient space (known as the additive -torus or additive unit circle), or with functions on the fundamental domain (up to boundary) of that quotient space with the periodic boundary condition . The map also identifies the additive unit circle with the geometric unit circle , thanks in large part to the fundamental trigonometric identity ; this can also be identified with the multiplicative unit circle . (Usually by abuse of notation we refer to all of these three sets simultaneously as the “unit circle”.) Trigonometric polynomials on the additive unit circle then correspond to ordinary polynomials of the real coefficients of the geometric unit circle, or Laurent polynomials of the complex variable .

What about periodic functions on the complex plane? We can start with singly periodic functions which obey a periodicity relationship for all in the domain and some period ; such functions can also be viewed as functions on the “additive cylinder” (or equivalently ). We can rescale as before. For holomorphic functions, we have the following characterisations:

Proposition 1 (Description of singly periodic holomorphic functions)

• (i) Every -periodic entire function has an absolutely convergent expansion

  

  where is the nome , and the are complex coefficients such that

  

  Conversely, every doubly infinite sequence of coefficients obeying (2) gives rise to a -periodic entire function via the formula (1).
• (ii) Every bounded -periodic holomorphic function on the upper half-plane has an expansion

  

  where the are complex coefficients such that

  

  Conversely, every infinite sequence obeying (4) gives rise to a -periodic holomorphic function which is bounded away from the real axis (i.e., bounded on for every ).

In both cases, the coefficients can be recovered from by the Fourier inversion formula

for any in (in case (i)) or (in case (ii)).

Proof: If is -periodic, then it can be expressed as for some function on the “multiplicative cylinder” , since the fibres of the map are cosets of the integers , on which is constant by hypothesis. As the map is a covering map from to , we see that will be holomorphic if and only if is. Thus must have a Laurent series expansion with coefficients obeying (2), which gives (1), and the inversion formula (5) follows from the usual contour integration formula for Laurent series coefficients. The converse direction to (i) also follows by reversing the above arguments.

For part (ii), we observe that the map is also a covering map from to the punctured disk , so we can argue as before except that now is a bounded holomorphic function on the punctured disk. By the Riemann singularity removal theorem (Exercise 35 of 246A Notes 3) extends to be holomorphic on all of , and thus has a Taylor expansion for some coefficients obeying (4). The argument now proceeds as with part (i).

The additive cylinder and the multiplicative cylinder can both be identified (on the level of smooth manifolds, at least) with the geometric cylinder , but we will not use this identification here.

Now let us turn attention to doubly periodic functions of a complex variable , that is to say functions that obey two periodicity relations

for all and some periods , which to avoid degeneracies we will assume to be linearly independent over the reals (thus are non-zero and the ratio is not real). One can rescale by a common scaling factor to normalise either or , but one of course cannot simultaneously normalise both parameters in this fashion. As in the singly periodic case, such functions can also be identified with functions on the additive -torus , where is the lattice , or with functions on the solid parallelogram bounded by the contour (a fundamental domain up to boundary for that torus), obeying the boundary periodicity conditions

for in the edge , and

for in the edge .

Within the world of holomorphic functions, the collection of doubly periodic functions is boring:

Proposition 2 Let be an entire doubly periodic function (with periods linearly independent over ). Then is constant.

In the language of Riemann surfaces, this proposition asserts that the torus is a non-hyperbolic Riemann surface; it cannot be holomorphically mapped non-trivially into a bounded subset of the complex plane.

Proof: The fundamental domain (up to boundary) enclosed by is compact, hence is bounded on this domain, hence bounded on all of by double periodicity. The claim now follows from Liouville’s theorem. (One could alternatively have argued here using the compactness of the torus .

To obtain more interesting examples of doubly periodic functions, one must therefore turn to the world of meromorphic functions – or equivalently, holomorphic functions into the Riemann sphere . As it turns out, a particularly fundamental example of such a function is the Weierstrass elliptic function

which plays a role in doubly periodic functions analogous to the role of for -periodic real functions. This function will have a double pole at the origin , and more generally at all other points on the lattice , but no other poles. The derivative

of the Weierstrass function is another doubly periodic meromorphic function, now with a triple pole at every point of , and plays a role analogous to . Remarkably, all the other doubly periodic meromorphic functions with these periods will turn out to be rational combinations of and ; furthermore, in analogy with the identity , one has an identity of the form

for all (avoiding poles) and some complex numbers that depend on the lattice . Indeed, much as the map creates a diffeomorphism between the additive unit circle to the geometric unit circle , the map turns out to be a complex diffeomorphism between the torus and the elliptic curve

with the convention that maps the origin of the torus to the point at infinity. (Indeed, one can view elliptic curves as “multiplicative tori”, and both the additive and multiplicative tori can be identified as smooth manifolds with the more familiar geometric torus, but we will not use such an identification here.) This fundamental identification with elliptic curves and tori motivates many of the further remarkable properties of elliptic curves; for instance, the fact that tori are obviously an abelian group gives rise to an abelian group law on elliptic curves (and this law can be interpreted as an analogue of the trigonometric sum identities for ). The description of the various meromorphic functions on the torus also helps motivate the more general Riemann-Roch theorem that is a fundamental law governing meromorphic functions on other compact Riemann surfaces (and is discussed further in these 246C notes). So far we have focused on studying a single torus . However, another important mathematical object of study is the space of all such tori, modulo isomorphism; this is a basic example of a moduli space, known as the (classical, level one) modular curve . This curve can be described in a number of ways. On the one hand, it can be viewed as the upper half-plane quotiented out by the discrete group ; on the other hand, by using the -invariant, it can be identified with the complex plane ; alternatively, one can compactify the modular curve and identify this compactification with the Riemann sphere . (This identification, by the way, produces a very short proof of the little and great Picard theorems, which we proved in 246A Notes 4.) Functions on the modular curve (such as the -invariant) can be viewed as -invariant functions on , and include the important class of modular functions; they naturally generalise to the larger class of (weakly) modular forms, which are functions on which transform in a very specific way under -action, and which are ubiquitous throughout mathematics, and particularly in number theory. Basic examples of modular forms include the Eisenstein series, which are also the Laurent coefficients of the Weierstrass elliptic functions . More number theoretic examples of modular forms include (suitable powers of) theta functions , and the modular discriminant . Modular forms are -periodic functions on the half-plane, and hence by Proposition 1 come with Fourier coefficients ; these coefficients often turn out to encode a surprising amount of number-theoretic information; a dramatic example of this is the famous modularity theorem, (a special case of which was) used amongst other things to establish Fermat’s last theorem. Modular forms can be generalised to other discrete groups than (such as congruence groups) and to other domains than the half-plane , leading to the important larger class of automorphic forms, which are of major importance in number theory and representation theory, but which are well outside the scope of this course to discuss.

246B, Notes 2: Some connections with the Fourier transform

Previous set of notes: Notes 1. Next set of notes: Notes 3.

In Exercise 5 (and Lemma 1) of 246A Notes 4 we already observed some links between complex analysis on the disk (or annulus) and Fourier series on the unit circle:

• (i) Functions that are holomorphic on a disk are expressed by a convergent Fourier series (and also Taylor series) for (so in particular ), where

  

  conversely, every infinite sequence of coefficients obeying (1) arises from such a function .
• (ii) Functions that are holomorphic on an annulus are expressed by a convergent Fourier series (and also Laurent series) , where

  

  conversely, every doubly infinite sequence of coefficients obeying (2) arises from such a function .
• (iii) In the situation of (ii), there is a unique decomposition where extends holomorphically to , and extends holomorphically to and goes to zero at infinity, and are given by the formulae

  

  where is any anticlockwise contour in enclosing , and and

  

  where is any anticlockwise contour in enclosing but not .

This connection lets us interpret various facts about Fourier series through the lens of complex analysis, at least for some special classes of Fourier series. For instance, the Fourier inversion formula becomes the Cauchy-type formula for the Laurent or Taylor coefficients of , in the event that the coefficients are doubly infinite and obey (2) for some , or singly infinite and obey (1) for some .

It turns out that there are similar links between complex analysis on a half-plane (or strip) and Fourier integrals on the real line, which we will explore in these notes.

We first fix a normalisation for the Fourier transform. If is an absolutely integrable function on the real line, we define its Fourier transform by the formula

From the dominated convergence theorem will be a bounded continuous function; from the Riemann-Lebesgue lemma it also decays to zero as . My choice to place the in the exponent is a personal preference (it is slightly more convenient for some harmonic analysis formulae such as the identities (4), (5), (6) below), though in the complex analysis and PDE literature there are also some slight advantages in omitting this factor. In any event it is not difficult to adapt the discussion in this notes for other choices of normalisation. It is of interest to extend the Fourier transform beyond the class into other function spaces, such as or the space of tempered distributions, but we will not pursue this direction here; see for instance these lecture notes of mine for a treatment.

Exercise 1 (Fourier transform of Gaussian) If is a coplex number with and is the Gaussian function , show that the Fourier transform is given by the Gaussian , where we use the standard branch for .

The Fourier transform has many remarkable properties. On the one hand, as long as the function is sufficiently “reasonable”, the Fourier transform enjoys a number of very useful identities, such as the Fourier inversion formula

the Plancherel identity

and the Poisson summation formula

On the other hand, the Fourier transform also intertwines various qualitative properties of a function with “dual” qualitative properties of its Fourier transform ; in particular, “decay” properties of tend to be associated with “regularity” properties of , and vice versa. For instance, the Fourier transform of rapidly decreasing functions tend to be smooth. There are complex analysis counterparts of this Fourier dictionary, in which “decay” properties are described in terms of exponentially decaying pointwise bounds, and “regularity” properties are expressed using holomorphicity on various strips, half-planes, or the entire complex plane. The following exercise gives some examples of this:

Exercise 2 (Decay of implies regularity of ) Let be an absolutely integrable function.

• (i) If has super-exponential decay in the sense that for all and (that is to say one has for some finite quantity depending only on ), then extends uniquely to an entire function . Furthermore, this function continues to be defined by (3).
• (ii) If is supported on a compact interval then the entire function from (i) obeys the bounds for . In particular, if is supported in then .
• (iii) If obeys the bound for all and some , then extends uniquely to a holomorphic function on the horizontal strip , and obeys the bound in this strip. Furthermore, this function continues to be defined by (3).
• (iv) If is supported on (resp. ), then there is a unique continuous extension of to the lower half-plane (resp. the upper half-plane which is holomorphic in the interior of this half-plane, and such that uniformly as (resp. ). Furthermore, this function continues to be defined by (3).

Hint: to establish holomorphicity in each of these cases, use Morera’s theorem and the Fubini-Tonelli theorem. For uniqueness, use analytic continuation, or (for part (iv)) the Cauchy integral formula.

Later in these notes we will give a partial converse to part (ii) of this exercise, known as the Paley-Wiener theorem; there are also partial converses to the other parts of this exercise.

From (3) we observe the following intertwining property between multiplication by an exponential and complex translation: if is a complex number and is an absolutely integrable function such that the modulated function is also absolutely integrable, then we have the identity

whenever is a complex number such that at least one of the two sides of the equation in (7) is well defined. Thus, multiplication of a function by an exponential weight corresponds (formally, at least) to translation of its Fourier transform. By using contour shifting, we will also obtain a dual relationship: under suitable holomorphicity and decay conditions on , translation by a complex shift will correspond to multiplication of the Fourier transform by an exponential weight. It turns out to be possible to exploit this property to derive many Fourier-analytic identities, such as the inversion formula (4) and the Poisson summation formula (6), which we do later in these notes. (The Plancherel theorem can also be established by complex analytic methods, but this requires a little more effort; see Exercise 8.)

The material in these notes is loosely adapted from Chapter 4 of Stein-Shakarchi’s “Complex Analysis”.

The effective potential of an M-matrix

Marcel Filoche, Svitlana Mayboroda, and I have just uploaded to the arXiv our preprint “The effective potential of an -matrix“. This paper explores the analogue of the effective potential of Schrödinger operators provided by the “landscape function” , when one works with a certain type of self-adjoint matrix known as an -matrix instead of a Schrödinger operator.

Suppose one has an eigenfunction

of a Schrödinger operator , where is the Laplacian on , is a potential, and is an energy. Where would one expect the eigenfunction to be concentrated? If the potential is smooth and slowly varying, the correspondence principle suggests that the eigenfunction should be mostly concentrated in the potential energy wells , with an exponentially decaying amount of tunnelling between the wells. One way to rigorously establish such an exponential decay is through an argument of Agmon, which we will sketch later in this post, which gives an exponentially decaying upper bound (in an sense) of eigenfunctions in terms of the distance to the wells in terms of a certain “Agmon metric” on determined by the potential and energy level (or any upper bound on this energy). Similar exponential decay results can also be obtained for discrete Schrödinger matrix models, in which the domain is replaced with a discrete set such as the lattice , and the Laplacian is replaced by a discrete analogue such as a graph Laplacian.

When the potential is very “rough”, as occurs for instance in the random potentials arising in the theory of Anderson localisation, the Agmon bounds, while still true, become very weak because the wells are dispersed in a fairly dense fashion throughout the domain , and the eigenfunction can tunnel relatively easily between different wells. However, as was first discovered in 2012 by my two coauthors, in these situations one can replace the rough potential by a smoother effective potential , with the eigenfunctions typically localised to a single connected component of the effective wells . In fact, a good choice of effective potential comes from locating the landscape function , which is the solution to the equation with reasonable behavior at infinity, and which is non-negative from the maximum principle, and then the reciprocal of this landscape function serves as an effective potential.

There are now several explanations for why this particular choice is a good effective potential. Perhaps the simplest (as found for instance in this recent paper of Arnold, David, Jerison, and my two coauthors) is the following observation: if is an eigenvector for with energy , then is an eigenvector for with the same energy , thus the original Schrödinger operator is conjugate to a (variable coefficient, but still in divergence form) Schrödinger operator with potential instead of . Closely related to this, we have the integration by parts identity

for any reasonable function , thus again highlighting the emergence of the effective potential .

These particular explanations seem rather specific to the Schrödinger equation (continuous or discrete); we have for instance not been able to find similar identities to explain an effective potential for the bi-Schrödinger operator .

In this paper, we demonstrate the (perhaps surprising) fact that effective potentials continue to exist for operators that bear very little resemblance to Schrödinger operators. Our chosen model is that of an -matrix: self-adjoint positive definite matrices whose off-diagonal entries are negative. This model includes discrete Schrödinger operators (with non-negative potentials) but can allow for significantly more non-local interactions. The analogue of the landscape function would then be the vector , where denotes the vector with all entries . Our main result, roughly speaking, asserts that an eigenvector of will then be exponentially localised to the “potential wells” , where denotes the coordinates of the landscape function . In particular, we establish the inequality

if is normalised in , where the connectivity is the maximum number of non-zero entries of in any row or column, are the coefficients of , and is a certain moderately complicated but explicit metric function on the spatial domain. Informally, this inequality asserts that the eigenfunction should decay like or faster. Indeed, our numerics show a very strong log-linear relationship between and , although it appears that our exponent is not quite optimal. We also provide an associated localisation result which is technical to state but very roughly asserts that a given eigenvector will in fact be localised to a single connected component of unless there is a resonance between two wells (by which we mean that an eigenvalue for a localisation of associated to one well is extremely close to an eigenvalue for a localisation of associated to another well); such localisation is also strongly supported by numerics. (Analogous results for Schrödinger operators had been previously obtained by the previously mentioned paper of Arnold, David, Jerison, and my two coauthors, and to quantum graphs in a very recent paper of Harrell and Maltsev.)

Our approach is based on Agmon’s methods, which we interpret as a double commutator method, and in particular relying on exploiting the negative definiteness of certain double commutator operators. In the case of Schrödinger operators , this negative definiteness is provided by the identity

for any sufficiently reasonable functions , where we view (like ) as a multiplier operator. To exploit this, we use the commutator identity

valid for any after a brief calculation. The double commutator identity then tells us that

If we choose to be a non-negative weight and let for an eigenfunction , then we can write

and we conclude that

We have considerable freedom in this inequality to select the functions . If we select , we obtain the clean inequality

If we take to be a function which equals on the wells but increases exponentially away from these wells, in such a way that

outside of the wells, we can obtain the estimate

which then gives an exponential type decay of away from the wells. This is basically the classic exponential decay estimate of Agmon; one can basically take to be the distance to the wells with respect to the Euclidean metric conformally weighted by a suitably normalised version of . If we instead select to be the landscape function , (3) then gives

and by selecting appropriately this gives an exponential decay estimate away from the effective wells , using a metric weighted by .

It turns out that this argument extends without much difficulty to the -matrix setting. The analogue of the crucial double commutator identity (2) is

for any diagonal matrix . The remainder of the Agmon type arguments go through after making the natural modifications.

Numerically we have also found some aspects of the landscape theory to persist beyond the -matrix setting, even though the double commutators cease being negative definite, so this may not yet be the end of the story, but it does at least demonstrate that utility the landscape does not purely rely on identities such as (1).

246B, Notes 1: Zeroes, poles, and factorisation of meromorphic functions

Previous set of notes: 246A Notes 5. Next set of notes: Notes 2.

— 1. Jensen’s formula —

Suppose is a non-zero rational function , then by the fundamental theorem of algebra one can write

for some non-zero constant , where ranges over the zeroes of (counting multiplicity) and ranges over the zeroes of (counting multiplicity), and assuming avoids the zeroes of . Taking absolute values and then logarithms, we arrive at the formula

as long as avoids the zeroes of both and . (In this set of notes we use for the natural logarithm when applied to a positive real number, and for the standard branch of the complex logarithm (which extends ); the multi-valued complex logarithm will only be used in passing.) Alternatively, taking logarithmic derivatives, we arrive at the closely related formula

again for avoiding the zeroes of both and . Thus we see that the zeroes and poles of a rational function describe the behaviour of that rational function, as well as close relatives of that function such as the log-magnitude and log-derivative . We have already seen these sorts of formulae arise in our treatment of the argument principle in 246A Notes 4.

Exercise 1 Let be a complex polynomial of degree .

• (i) (Gauss-Lucas theorem) Show that the complex roots of are contained in the closed convex hull of the complex roots of .
• (ii) (Laguerre separation theorem) If all the complex roots of are contained in a disk , and , then all the complex roots of are also contained in . (Hint: apply a suitable Möbius transformation to move to infinity, and then apply part (i) to a polynomial that emerges after applying this transformation.)

There are a number of useful ways to extend these formulae to more general meromorphic functions than rational functions. Firstly there is a very handy “local” variant of (1) known as Jensen’s formula:

Theorem 2 (Jensen’s formula) Let be a meromorphic function on an open neighbourhood of a disk , with all removable singularities removed. Then, if is neither a zero nor a pole of , we have

where and range over the zeroes and poles of respectively (counting multiplicity) in the disk .

One can view (3) as a truncated (or localised) variant of (1). Note also that the summands are always non-positive.

Proof: By perturbing slightly if necessary, we may assume that none of the zeroes or poles of (which form a discrete set) lie on the boundary circle . By translating and rescaling, we may then normalise and , thus our task is now to show that

We may remove the poles and zeroes inside the disk by the useful device of Blaschke products. Suppose for instance that has a zero inside the disk . Observe that the function

has magnitude on the unit circle , equals at the origin, has a simple zero at , but has no other zeroes or poles inside the disk. Thus Jensen’s formula (4) already holds if is replaced by . To prove (4) for , it thus suffices to prove it for , which effectively deletes a zero inside the disk from (and replaces it instead with its inversion ). Similarly we may remove all the poles inside the disk. As a meromorphic function only has finitely many poles and zeroes inside a compact set, we may thus reduce to the case when has no poles or zeroes on or inside the disk , at which point our goal is simply to show that

Since has no zeroes or poles inside the disk, it has a holomorphic logarithm (Exercise 46 of 246A Notes 4). In particular, is the real part of . The claim now follows by applying the mean value property (Exercise 17 of 246A Notes 3) to .

An important special case of Jensen’s formula arises when is holomorphic in a neighborhood of , in which case there are no contributions from poles and one simply has

This is quite a useful formula, mainly because the summands are non-negative; it can be viewed as a more precise assertion of the subharmonicity of (see Exercises 60(ix) and 61 of 246A Notes 5). Here are some quick applications of this formula:

Exercise 3 Use (6) to give another proof of Liouville’s theorem: a bounded holomorphic function on the entire complex plane is necessarily constant.

Exercise 4 Use Jensen’s formula to prove the fundamental theorem of algebra: a complex polynomial of degree has exactly complex zeroes (counting multiplicity), and can thus be factored as for some complex numbers with . (Note that the fundamental theorem was invoked previously in this section, but only for motivational purposes, so the proof here is non-circular.)

Exercise 5 (Shifted Jensen’s formula) Let be a meromorphic function on an open neighbourhood of a disk , with all removable singularities removed. Show that

for all in the open disk that are not zeroes or poles of , where and . (The function appearing in the integrand is sometimes known as the Poisson kernel, particularly if one normalises so that and .)

Exercise 6 (Bounded type)

• (i) If is a holomorphic function on that is not identically zero, show that .
• (ii) If is a meromorphic function on that is the ratio of two bounded holomorphic functions that are not identically zero, show that . (Functions of this form are said to be of bounded type and lie in the Nevanlinna class for the unit disk .)

Exercise 7 (Smoothed out Jensen formula) Let be a meromorphic function on an open set , and let be a smooth compactly supported function. Show that

where range over the zeroes and poles of (respectively) in the support of . Informally argue why this identity is consistent with Jensen’s formula.

When applied to entire functions , Jensen’s formula relates the order of growth of near infinity with the density of zeroes of . Here is a typical result:

Proposition 8 Let be an entire function, not identically zero, that obeys a growth bound for some and all . Then there exists a constant such that has at most zeroes (counting multiplicity) for any .

Entire functions that obey a growth bound of the form for every and (where depends on ) are said to be of order at most . The above theorem shows that for such functions that are not identically zero, the number of zeroes in a disk of radius does not grow much faster than . This is often a useful preliminary upper bound on the zeroes of entire functions, as the order of an entire function tends to be relatively easy to compute in practice.

Proof: First suppose that is non-zero. From (6) applied with and one has

Every zero in contribute at least to a summand on the right-hand side, while all other zeroes contribute a non-negative quantity, thus

where denotes the number of zeroes in . This gives the claim for . When , one can shift by a small amount to make non-zero at the origin (using the fact that zeroes of holomorphic functions not identically zero are isolated), modifying in the process, and then repeating the previous arguments.

Just as (3) and (7) give truncated variants of (1), we can create truncated versions of (2). The following crude truncation is adequate for many applications:

Theorem 9 (Truncated formula for log-derivative) Let be a holomorphic function on an open neighbourhood of a disk that is not identically zero on this disk. Suppose that one has a bound of the form for some and all on the circle . Let be constants. Then one has the approximate formula

for all in the disk other than zeroes of . Furthermore, the number of zeroes in the above sum is .

Proof: To abbreviate notation, we allow all implied constants in this proof to depend on .

We mimic the proof of Jensen’s formula. Firstly, we may translate and rescale so that and , so we have when , and our main task is to show that

for . Note that if then vanishes on the unit circle and hence (by the maximum principle) vanishes identically on the disk, a contradiction, so we may assume . From hypothesis we then have

on the unit circle, and so from Jensen’s formula (3) we see that

In particular we see that the number of zeroes with is , as claimed.

Suppose has a zero with . If we factor , where is the Blaschke product (5), then

Observe from Taylor expansion that the distance between and is , and hence for . Thus we see from (9) that we may use Blaschke products to remove all the zeroes in the annulus while only affecting the left-hand side of (8) by ; also, removing the Blaschke products does not affect on the unit circle, and only affects by thanks to (9). Thus we may assume without loss of generality that there are no zeroes in this annulus.

Similarly, given a zero with , we have , so using Blaschke products to remove all of these zeroes also only affects the left-hand side of (8) by (since the number of zeroes here is ), with also modified by at most . Thus we may assume in fact that has no zeroes whatsoever within the unit disk. We may then also normalise , then for all . By Jensen’s formula again, we have

and thus (by using the identity for any real )

On the other hand, from (7) we have

which implies from (10) that and its first derivatives are on the disk . But recall from the proof of Jensen’s formula that is the derivative of a logarithm of , whose real part is . By the Cauchy-Riemann equations for , we conclude that on the disk , as required.

Exercise 10

• (i) (Borel-Carathéodory theorem) If is analytic on an open neighborhood of a disk , show that

  

  (Hint: one can normalise , , , and . Now maps the unit disk to the half-plane . Use a Möbius transformation to map the half-plane to the unit disk and then use the Schwarz lemma.)
• (ii) Use (i) to give an alternate way to conclude the proof of Theorem 9.

A variant of the above argument allows one to make precise the heuristic that holomorphic functions locally look like polynomials:

Exercise 11 (Local Weierstrass factorisation) Let the notation and hypotheses be as in Theorem 9. Then show that

for all in the disk , where is a polynomial whose zeroes are precisely the zeroes of in (counting multiplicity) and is a holomorphic function on of magnitude and first derivative on this disk. Furthermore, show that the degree of is .

Exercise 12 (Preliminary Beurling factorisation) Let denote the space of bounded analytic functions on the unit disk; this is a normed vector space with norm

• (i) If is not identically zero, and denote the zeroes of in counting multiplicity, show that

  

  and

  

• (ii) Let the notation be as in (i). If we define the Blaschke product

  

  where is the order of vanishing of at zero, show that this product converges absolutely to a holomorphic function on , and that for all . (It may be easier to work with finite Blaschke products first to obtain this bound.)
• (iii) Continuing the notation from (i), establish a factorisation for some holomorphic function with for all .
• (iv) (Theorem of F. and M. Riesz, special case) If extends continuously to the boundary , show that the set has zero measure.

Remark 13 The factorisation (iii) can be refined further, with being the Poisson integral of some finite measure on the unit circle. Using the Lebesgue decomposition of this finite measure into absolutely continuous parts one ends up factorising functions into “outer functions” and “inner functions”, giving the Beurling factorisation of . There are also extensions to larger spaces than (which are to as is to ), known as Hardy spaces. We will not discuss this topic further here, but see for instance this text of Garnett for a treatment.

Exercise 14 (Littlewood’s lemma) Let be holomorphic on an open neighbourhood of a rectangle for some and , with non-vanishing on the boundary of the rectangle. Show that

where ranges over the zeroes of inside (counting multiplicity) and one uses a branch of which is continuous on the upper, lower, and right edges of . (This lemma is a popular tool to explore the zeroes of Dirichlet series such as the Riemann zeta function.)

Course announcement: 246B, complex analysis

Just a short announcement that next quarter I will be continuing the recently concluded 246A complex analysis class as 246B. Topics I plan to cover:

• Schwartz-Christoffel transformations and the uniformisation theorem (using the remainder of the 246A notes);
• Jensen’s formula and factorisation theorems (particularly Weierstrass and Hadamard); the Gamma function;
• Connections with the Fourier transform on the real line;
• Elliptic functions and their relatives;
• (if time permits) the Riemann zeta function and the prime number theorem.

Notes for the later material will appear on this blog in due course.