🔢 mathematics

The Riemann $Ξ$ -function from primitive Markovian cycles I: A canonical construction

This paper constructs the Riemann $\Xi$ -function from finite, reversible Markovian cycles on discrete structures via a scaling-limit renormalization that yields a canonical Laguerre-Pólya function, thereby deriving the classical theta kernel and its associated $\Xi$ -function entirely through Archimedean methods without relying on primes or Euler products.

Original authors: Douglas F. Watson

Published 2026-02-03

📖 6 min read🧠 Deep dive

CC BY 4.0

Original authors: Douglas F. Watson

Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

The Big Idea: Building a Masterpiece from Lego Bricks

Imagine you have a box of simple, identical Lego bricks. You don't know anything about complex architecture, art, or the history of mathematics. You just know how to snap these bricks together in a simple, repeating pattern.

This paper asks a bold question: If you start with only these simple, local rules (the "Lego bricks"), can you accidentally build something as famous and complex as the Riemann Ξ-function?

The Riemann Ξ-function is a mathematical object deeply tied to the distribution of prime numbers (the building blocks of arithmetic). Usually, to get to this function, mathematicians start with the primes themselves. This paper claims you don't need the primes. You can get there just by watching a simple particle hop around a circle.

The Story in Four Steps

The author, Douglas F. Watson, takes us on a journey through four stages of construction.

Step 1: The Hopping Particle (The Primitive Input)

Imagine a tiny particle hopping back and forth on a circular track made of $N$ spots.

The Rules: The particle hops to the left or right at random. It's a "Markov process," which is just a fancy way of saying its next move depends only on where it is right now, not where it was an hour ago.
The Scale: The track is small and discrete (like a digital clock).
The Magic: As we make the track infinitely large and the hops infinitely small, the particle's movement stops looking like a digital hop and starts looking like a smooth flow of water or heat. This is called a "scaling limit."

Step 2: The Heat Wave (The Theta Series)

When the particle diffuses (spreads out) on this circle, it creates a "heat pattern."

In mathematics, this pattern is described by a Theta Series. Think of this as a musical chord. Even though the particle started on a simple circle, the sound it makes (the math describing its spread) is a complex, repeating wave.
The paper shows that if you adjust the size of the circle just right (a "self-dual normalization"), this heat pattern has a perfect symmetry: if you flip time forward and backward, the pattern looks exactly the same. This is a rare and beautiful property.

Step 3: The Mirror and the Filter (Total Positivity)

Now, the author takes this heat pattern and transforms it.

The Transformation: He changes the coordinates from "time" to "logarithmic time" (imagine measuring time on a zooming-in/zooming-out scale). This turns the heat pattern into a new shape called a Logarithmic Kernel (let's call it $\Phi$ ).
The Mirror: Because of the perfect symmetry from Step 2, this new shape $\Phi$ has a special "mirror" property. If you look at it in a mirror, it reflects perfectly across a specific line.
The Filter (Total Positivity): The paper proves that this shape $\Phi$ $Φ$ is "Totally Positive."
- Analogy: Imagine a filter that only lets through "pure" signals. If you mix this shape with anything else, it never creates "negative" or chaotic ripples; it only smooths things out.
- The Result: Because it is so well-behaved (Totally Positive), a famous mathematical theorem (Schoenberg–Edrei–Karlin) says that the "fingerprint" of this shape (its Laplace transform) must have a very specific structure. It must be a fraction where the bottom part (the denominator) is a special type of function called Laguerre–Pólya.
- Why this matters: Functions in the Laguerre–Pólya class have a very strict rule: all their zeros (roots) are real numbers. They don't have any "imaginary" or complex zeros. This is a huge constraint.

Step 4: The Connection to the Riemann Function (The Archimedean Completion)

Finally, the author performs a specific mathematical operation (an "Archimedean completion") on the heat pattern.

This operation strips away the "noise" and leaves behind a pure signal.
The paper proves that the mathematical "sound" (Mellin transform) of this cleaned-up signal is exactly the classical Riemann Ξ-function.
The Surprise: The Riemann Ξ-function is usually defined using prime numbers and the Riemann Zeta function. Here, it appeared out of nowhere, generated purely from a particle hopping on a circle.

The "Open Bridge" Problem

The paper ends with a crucial "To Be Continued" note.

The author has built two separate bridges:

Bridge A: From the hopping particle, we built a shape $\Phi$ that leads to a function $\Psi$ (the Laguerre–Pólya function). We know $\Psi$ has only real zeros.
Bridge B: From the same particle, we built a different path that leads directly to the Riemann Ξ-function.

The Mystery: The paper asks, "Are Bridge A and Bridge B actually the same bridge?"

Is the function $\Psi$ (from the "Total Positivity" side) exactly the same as the Riemann Ξ-function (from the "Mellin" side), perhaps just multiplied by a harmless constant?
The Paper's Claim: The paper does not prove they are the same. It proves they come from the same source and share deep structural similarities. It leaves the final "identification" as an open problem for future mathematicians to solve.

Summary in a Nutshell

Input: A simple particle hopping on a circle (no primes, no complex arithmetic).
Process: Watch it diffuse, smooth it out, and apply symmetry rules.
Output 1: A mathematical object that is guaranteed to have only "real" zeros (because it's "Totally Positive").
Output 2: The famous Riemann Ξ-function, usually associated with prime numbers.
Conclusion: The deep structure of the Riemann function might not be about "arithmetic" (primes) at all, but about geometry and probability (how things diffuse and spread). The paper builds the engine that generates this function from scratch, but leaves the final connection between the two parts of the engine for the next chapter.

What the paper does NOT do:

It does not prove the Riemann Hypothesis (that all zeros of the Zeta function are on a specific line).
It does not claim this has immediate applications in physics, engineering, or medicine.
It strictly stays within the realm of pure mathematics, showing how one object can be derived from another using logic and limits.

Technical Summary: The Riemann $\Xi$ -Function from Primitive Markovian Cycles I: A Canonical Construction

Problem Statement
The paper addresses a foundational question in mathematical analysis: whether high-level analytic objects, typically defined through arithmetic data (primes, Euler products, spectral input), can be recovered solely from minimal local principles, universality, and symmetry. Specifically, the author asks if the Riemann $\Xi$ -function and related structures can be forced to arise canonically from "primitive" input: finite, local, reversible Markov dynamics on discrete cycles, without any reference to number theory.

Methodology
The construction proceeds through a four-step pipeline, moving from discrete stochastic dynamics to continuous analytic objects via scaling limits and functional transforms:

Primitive Input: The starting point is a continuous-time, reversible, nearest-neighbor Markov process on a discrete cycle $\mathbb{Z}/N\mathbb{Z}$ with strictly positive conductances. The generator is the discrete Laplacian.
Scaling Limit and Theta-Series: By taking a diffusive scaling limit ( $N \to \infty$ with $N/s \to L$ ), the trace of the heat kernel converges to a theta-series representation. This limit is entirely Archimedean and relies on the uniform local central limit theorem (ULCLT) and dominated convergence.
Self-Dual Normalization: A specific macroscopic length scale $L$ is fixed such that $L^2 = 4\pi D$ (where $D$ is the diffusion constant). This "self-dual" scale forces the scaling-limit trace to satisfy the Jacobi inversion symmetry $\vartheta(t) = t^{-1/2}\vartheta(t^{-1})$ in the time variable, mirroring the functional equation of the completed zeta function.
Kernel Construction:
- Archimedean Completion: A differential operator $A = \frac{d}{dt}(t^{3/2}\frac{d}{dt})$ is applied to the renormalized trace kernel to remove universal singular terms ($1$ and $t^{-1/2}$ ). The resulting kernel, $\tilde{K}_{arch}$ , is identified with a classical theta-kernel $\Theta(t)$ .
- Logarithmic Kernel: A change of variables $t = e^x$ transforms the symmetric half-density kernel into a logarithmic kernel $\Phi(x)$ . This transformation converts multiplicative inversion symmetry into a reflection symmetry in the Laplace domain.

Key Contributions and Results

Canonical Laguerre–Pólya Function ( $\Psi$ ):
The paper proves that the logarithmic kernel $\Phi$ belongs to the class of Pólya frequency functions of infinite order ( $PF_\infty$ ). By the Schoenberg–Edrei–Karlin classification, the bilateral Laplace transform of $\Phi$ , denoted $B_\Phi(s)$ , admits a canonical factorization:
$B_\Phi(s) = \frac{E(s)}{\Psi(s)}$
where $E(s)$ is an entire zero-free function and $\Psi(s)$ is an entire function of the Laguerre–Pólya class. Consequently, $\Psi(s)$ has only real zeros. Furthermore, the reflection symmetry of the underlying kernel implies that the zero set of $\Psi$ is symmetric with respect to the line $\Re(s) = 1/2$ .
Archimedean Mellin Identification:
Independently, the paper constructs an Archimedean completion operator. It proves that at the self-dual normalization, the Mellin transform of the completed kernel $\tilde{K}_{arch}$ coincides exactly with the classical Riemann $\Xi$ -function (specifically $\Xi(2z)$ ). This establishes that the classical $\Xi$ -function arises naturally from the scaling limit of primitive Markov dynamics without invoking arithmetic spectral data.
The "Bridge" Problem (Open):
The paper isolates a single remaining analytic problem: the identification of the Laguerre–Pólya datum $\Psi$ (derived from total positivity) with the Mellin-side function $\Xi(2z)$ . While both objects share the same symmetry properties and origin, the paper does not prove they are identical up to a zero-free entire factor. This is presented as an open "bridge" problem requiring further analytic input.

Significance and Claims
The paper claims to provide a canonical, Archimedean construction of the Riemann $\Xi$ -function and a related Laguerre–Pólya function starting exclusively from primitive Markovian dynamics.

Independence from Arithmetic: The construction uses no Euler products, primes, or spectral input from number theory. The "primes" and arithmetic structure are not inputs but are potentially emergent features of the scaling limit.
Structural Rigidity: The work demonstrates that the strong constraints on the $\Xi$ -function (such as the reality of zeros, if the bridge problem is solved) are consequences of fundamental probabilistic principles: locality, reversibility, scaling, and total positivity.
Modest Scope: The authors are explicit that they do not prove the Riemann Hypothesis. Instead, they show that the structure required for the hypothesis (a Laguerre–Pólya function with real zeros) arises naturally from the primitive model. The identification of this specific function with the classical $\Xi$ -function remains a conditional "open problem" (Section 9).

In summary, the paper establishes that the analytic machinery surrounding the Riemann $\Xi$ -function can be reconstructed from elementary stochastic processes, suggesting that the deep properties of the zeta function may be rooted in universal geometric and probabilistic symmetries rather than specific arithmetic coincidences.