In the previous post I mentioned the logarithmic energy spectrum sequence:

This energy spectrum sequence is very different from the ones encountered in a quantum mechanics course. I was pleasantly surprised to learn that the quantum harmonic oscillator is actually relevant to this problem, because every positive integer can be uniquely factorized into prime factors:

Here \(p_{j}\) is the \(j\)-th prime number and \(k_{j}\) is a non-negative integer.

This logarithmic energy sequence is related to the Riemann zeta function. Consider the Boltzmann operator:

The trace of this operator corresponds to the partition function:

Since the Boltzmann operator involves the hamiltonian operator \(H\), it makes sense to calculate the trace with the energy eigenstates:

Then:

Here \(\zeta\) is the Riemann zeta function. Due to the Euler product formula, you can write this partition function as an infinite product of distinct harmonic oscillator partition functions with angular frequencies given by

That is, each oscillator has a prime number associated to it. Since there are infinitely-many prime numbers, there are infinitely-many oscillators.

One of my first thoughts was along the lines of: "There is a string theory hiding inside the Riemann zeta function". A string because you need an infinite number of degrees of freedom, and these degrees of freedom appear to be oscillating harmonically in this particular dynamical regime. This realization was very exciting. However, harmonic oscillators are kind of boring, since they interact trivially. In fact, thinking about strings is kind of dicey: the traditional string has vibrational frequencies that are evenly-spaced. This "zeta string" has vibrational frequencies that are not evenly-spaced. Since these frequencies are associated with prime numbers, the spacing is somewhat unpredictable (i.e. the gaps between primes is not uniform). Indeed, one of the most important properties of the Riemann zeta function is its connection to the distribution of prime numbers.

Given a harmonic oscillator degree of freedom with classical angular frequency \(\omega\), the quantum energy levels are given by

Here \(n\) is a non-negative integer. The partition function for a **single oscillator** is

If you have a system of many independent oscillators, then the partition function is the product of such factors:

Using the above angular frequency proportional to the logarithm of a prime number gives

Comparing this with a previous expression suggest that the parameter \(b\) in the logarithmic energy sequence must be related to \(a\) via:

That is, proportional to the sum of the logarithm of prime numbers. This series is, of course, divergent. But, similar to the divergent sum of positive integers,

the logarithm sum can be regularized to give

(This need for regularization when working with infinitely-many oscillators is also present in traditional string theory!) Thus

With this, the logarithmic energy sequence can be written as

Since \(a\) has units of energy, you can introduce a frequency parameter \(\Omega\) via

The oscillator frequencies are

Alright, so the picture in terms of distinct oscillators is not that crazy.

Any internet search about quantum mechanics and the Riemann zeta function will take you to the Hilbert-Pólya conjecture, and the work of Michael Berry and collaborators. The idea is, in a simplified way, to use hermiticity of observables in quantum mechanics to show that the non-trivial zeroes of the Riemann zeta function all have real part equal to \(1/2\). Berry and Keating suggested the dilatation operator as a possible candidate for an operator to analyze. The dilatation operator is a general operator that can be constructed from position and momentum operators for any system. Since it is part of the conformal algebra, it should be a hermitian operator. A hermitian combination inspired by the classical analog in 1D is

Note that this operator has units of action and/or angular momentum. Position and momentum satisfy the Heisenberg commutator:

Here \(I\) is the identity operator. Using the Heisenberg commutator allows you to write

Let

The previous equation states that \(D\) and \(R\) share eigenvectors. Note that

This means that \(R\) and \(R^{\dagger}\) also share eigenvectors. Since \(D\) is hermitian, the eigenvectors have **real** eigenvalues:

Since \(R\) is non-hermitian, the eigenvectors have **complex** eigenvalues. However, the eigenvectors of \(D\) and \(R\) are the same. It follows that

Let

You also have

Since \(\tau\) is real, the real part of \(\rho\) is \(1/2\). The expression for \(\rho\) suggests a relation with a zero of the Riemann zeta function. The trouble is that \(D\) usually has a **continuous** spectrum, so it is not as simple as saying that the eigenvalues of \(D\) are related to the discrete sequence of zeroes.

The above discussion applies generally to any system. The quantum harmonic oscillator has a **discrete** energy spectrum. This energy spectrum is bounded from below: there is a positive value \(E_{0}\) and all the energy eigenvalues satisfy \(E_{0} \leq E_{n}\). The harmonic potential is globally defined across the entire \(x\)-axis. When the energy eigenfunctions are written in the position basis, they are also defined across the entire \(x\)-axis. However, each position-basis energy eigenfunction will have (or lack) a discrete set of node points where the wave function vanishes. It turns out that you can relate the location of these node points, which will form a **discrete** set of position values, to the energy eigenvalue.

Again, the partition function is defined as the trace of the Boltzmann operator. This trace is most conveniently calculated with the energy eigenvectors. In the case of the logarithmic energy spectrum sequence, the trace gives the Riemann zeta function in the traditional series form that is only valid beyond the critical strip. One idea is that the trace can be equivalently calculated with the dilatation eigenvectors to give essentially the same result, but maybe giving the Riemann zeta function in a form that is valid inside the critical strip, thus exhibiting the zeroes.

This idea led me to take a closer look at the operators involved for a single oscillator degree of freedom.