mixedmath

Explorations in math and programming
David Lowry-Duda



I've posted a short note to the arxiv called "On Murmurations and Trace Formulas". (LD25c Knowl) This is an expanded version of my talk On Murmurations and Trace Formulas that I gave at the Simons Center for Geometry and Physics workshop on murmurations last November. The organizers of that workshop gathered several of the talks together for a special issue of the International Journal of Data Science in the Mathematical Sciences.

Several of my coauthors and collaborators were giving talks at that workshop, prompting me to give more of a speculative talk looking forwards instead of the standard talk describing some past work. I have given "typical talks" on my work in murmurations before. See my talk at LSU in November 2024 for my most recent.

Here, I want to further discuss an aspect that I think is commonly confusing in talks and the literature: the issue of normalization.

Algebraic and Analytic Normalization

The first murmurations observed were of elliptic curves, noting oscillatory behavior in averages of aE(p) across elliptic curves of conductor N against primes p, depending on the rank of the curve.

More precisely, for any conductor N, the average value of aE(p) across elliptic curves of ranks in [N,2N] and rank δmod2 is predictable and (seems to) tend towards a well defined curve, or "murmuration function", Mδ(p/N). Further, it appears that M0(p/N)=M1(p/N).

This leads to the patterns in the frequently-cited murmuration plot.This is made to follow the plot in Murmurations of elliptic curves, https://arxiv.org/pdf/2204.10140, by He, Lee, Oliver, and Pozdnyakov.

Implicitliy, the coefficients of the elliptic curves are normalized in the standard "algebraic" way. That is, the coefficients aE(p) are the traces of Frobenius, are integers, and vary between 2p and 2p.

This normalization is natural with elliptic curves, but it appears that murmuration phenomena appear for many families of L-functions, which have a different natural normalization. Namely, it is naturally to normalize L-functions to have functional equations of the shape s1s. For elliptic curves, if we write the algebraic normalization as aE(p) and the analytic normalization as λE(p), then these are related by aE(p)=λE(p)p.

When looking for murmurations in other families of L-functions, how should one normalize the L-functions?

Why do aE(p) values work so well?

Let's examine the elliptic curve case more closely. The coefficient aE(p) looks like a random number from 2p to 2p. It's not uniformly random. Instead these satisfy Sato-Tate and follow a circle-distribution. But nonetheless, when varying across families, the coefficients vary randomly in [2p,2p]. Adding aE(p) across several coefficients looks roughly like adding many numbers of size p together. When comparing across different conductor ranges, one looks at fixed ratios p/N=c, or equivalently at p=cN. Here, this means that we're adding many numbers of size N together.

But we're not summing absolute values. As the signs are fluctuating randomly from one curve to the next, the sum should experience some cancellation.1 1We'll return to how much cancellation in a moment. The effect is that that the extra coefficient size mostly counteracts the sign-change cancellation, giving a well-behaved overall sum.

Is aE(p) normalization necessary?

Having said that, what if we just don't use the algebraic normalization? What if we use only the analytic normalization? On the same data as the original murmuration plot, we get the following plot.

This clearly shows murmuration phenomena and has the same broad structure — with the one notable exception that the overall murmuration is decreasing in magnitude.

In my weight k modular form murmuration paper and Maass form murmuration papers, we used the analytic normalization and correspondingly proved murmuration functions that were decaying. Nonetheless, all the data is there.

In short, I think there is an overemphasis on normalization.

Is the algebraic normalization the "best"?

Let's look closer at the sums. Suppose there are X curves E with conductor between N and 2N. It is conjectured2 2See Families of elliptic curves ordered by conductor by Shankar, Shankar, and Wang, https://arxiv.org/pdf/1904.13063, and the references there for more. that XcN5/6 for an explicit constant c. We assume this below.

Then we look at ENcond(E)2NaE(p) The central limit theorem suggests that the size of this sum should behave like ENcond(E)2NaE(p)pX. Again, with murmurations we look at a fixed ratio p/N=k, or rather that pN. This implies that ENcond(E)2NaE(p)N11/12. For murmurations, we divide by the number of curves XN5/6, and thus we expect that the murmuration sum (in algebraic normalization) behaves like (1)ENcond(E)2NaE(p)N11/12/N5/6N1/12.

That is, we should expect the murmuration function to grow slightly in p/N! (Maybe if we look closely at the original murmuration plot, this seems true... but it seems likely that this affect is less than the "fuzz" or "snow" effects).

If we want constant size murmurations, then this suggests the "correct" normalization of looking at ENcond(E)2NaE(p)/p1/12=ENcond(E)2NλE(p)p5/12.

This would give the following.

In principle, it could be informative to compare to the standard aE(p) plot, including the expected lines of growth there. This looks like

The expected growth p1/12 is shown. It's hard to say if this looks right or not. The fuzz is a problem. In practice, the difference is very slight. It turns out that X1/12 grows pretty slowly.

The size of the family played an important role in this discussion! The "correct" normalization for modular forms of weight 2 and varying level would be λ(p)p, as in that case the number of modular forms of conductor N is N.

But the point remains that perfectly normalizing the coefficients so that the murmuration function is constant on average isn't important!


Leave a comment

Info on how to comment

To make a comment, please send an email using the button below. Your email address won't be shared (unless you include it in the body of your comment). If you don't want your real name to be used next to your comment, please specify the name you would like to use. If you want your name to link to a particular url, include that as well.

bold, italics, and plain text are allowed in comments. A reasonable subset of markdown is supported, including lists, links, and fenced code blocks. In addition, math can be formatted using $(inline math)$ or $$(your display equation)$$.

Please use plaintext email when commenting. See Plaintext Email and Comments on this site for more. Note also that comments are expected to be open, considerate, and respectful.

Comment via email

Comments (2)
  1. 2025-06-09 Em

    Where is the data for the plots? Can I download it?

  2. 2025-06-12 David Lowry-Duda

    The data is from the LMFDB. I made these plots using code similar to that in my note on distinguishing sets of coefficients. If you're interested in playing with the data, I suggest trying out the api options. Let me (or other LMFDB people) know if you have trouble and we can help out.