🔢 mathematics

Mellin transforms, transfinite diameter and rational approximations of integrals

This paper establishes a higher-dimensional irrationality criterion for periods expressed as Mellin integrals by deriving an upper bound on the multi-variate transfinite diameter of their integration domains, a method demonstrated through a new proof of the irrationality of $\zeta(2)$ using a 5-parameter family of integrals on the moduli space $\mathcal{M}_{0,5}$ .

Original authors: Francis Brown

Published 2026-04-23

📖 5 min read🧠 Deep dive

CC BY 4.0

Original authors: Francis Brown

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

Imagine you are trying to prove that a specific number (like $\zeta(2)$ , which is related to $\pi^2$ ) is irrational. In math terms, this means proving it cannot be written as a simple fraction (like $3/4$ or $22/7$ ).

For a long time, mathematicians have used a specific "recipe" to prove this. They build a machine that creates thousands of different "guesses" (linear forms) for the number. If these guesses get closer and closer to the real number while the "denominators" (the bottom numbers of the fractions) stay small enough, they can prove the number is irrational.

The Problem:
The old recipe works great for simple numbers, but as the numbers get more complex (higher dimensions), the recipe breaks down. It's like trying to navigate a maze with a map that gets blurrier the further you walk. The "guesses" get worse, and the proof becomes impossible.

The New Solution (This Paper):
Francis Brown introduces a new, smarter way to navigate the maze. Instead of picking just one path (one set of parameters), he uses the entire map at once. He treats the problem as a multi-dimensional puzzle where every direction you look offers a new clue.

Here is the breakdown using everyday analogies:

1. The "Super-Map" (Mellin Transforms)

Imagine you are trying to guess the location of a hidden treasure.

Old Way: You pick one direction (say, North) and take 100 steps. You get a hint. Then you try East. You get another hint. You do this one by one.
Brown's Way: You have a magical drone that flies over the whole terrain at once. It takes a picture of the landscape from every angle simultaneously. This "picture" is a Mellin Transform. It depends on many variables (parameters) at once, creating a massive, rich dataset rather than a single line of data.

2. The "Crowd" vs. The "Soloist" (Linear Forms)

To prove the number is irrational, you need to find a combination of these guesses that almost cancels out to zero, but not quite.

Old Way: You ask one person (a single line of integrals) to give you a number. If they are wrong, you try another person.
Brown's Way: You ask a whole stadium of people (a 5-dimensional family of integrals) to shout out numbers. Even if individual people are shouting nonsense, the geometry of the crowd allows you to find a specific combination of their voices that creates a perfect, tiny whisper (a very small number) that proves the point.

3. The "Shadow" and the "Diameter" (Transfinite Diameter)

This is the core mathematical magic of the paper.

Imagine the "hidden treasure" is a shape floating in a dark room. You shine a light on it, and it casts a shadow on the wall.
The Transfinite Diameter is a way of measuring how "spread out" or "clumped" that shadow is.
The Analogy: If the shadow is a tight, compact ball, it's easy to work with. If the shadow is a long, thin, messy line stretching across the room, it's hard to control.
Brown's paper calculates the "size" of this shadow (the image of the integration domain) in a very high-dimensional space. He proves that if this shadow is small enough (specifically, if its "diameter" is small relative to the complexity of the numbers), then the number must be irrational.

4. The "Magic Trick" (Minkowski's Theorem)

How do you actually find that perfect combination of guesses?

Brown uses a classic mathematical principle called Minkowski's Theorem. Think of it like a magic trick where you have a box full of different colored balls (your integrals).
The theorem guarantees that if the box is "tight" enough (the shadow is small), there must be a way to grab a handful of balls that, when mixed together, create a result that is incredibly close to zero.
The paper shows that by using all the parameters (the whole 5-dimensional space), the "box" becomes tight enough to guarantee this magic trick works, even for complex numbers where the old methods failed.

5. The "Proof of Concept" (The $\zeta(2)$ Example)

The author tests this new theory on a famous problem: proving $\zeta(2)$ is irrational.

He sets up a "laboratory" using a specific geometric shape (related to a 5-pointed star or a moduli space called $M_{0,5}$ ).
He runs the numbers on a computer.
The Result: The new method predicts that the "shadow" is small enough to prove irrationality. It confirms that by using more dimensions (more parameters), the proof actually gets stronger, not weaker. This is the opposite of what everyone thought before!

Summary

The Old Way: "Let's try one path at a time. If it gets too hard, we give up."
Brown's New Way: "Let's look at the whole landscape at once. By measuring the shape of the entire 'shadow' cast by our mathematical functions, we can prove that the number is irrational, and the more complex the landscape, the better our proof becomes."

It's a shift from brute force (trying many single paths) to geometric insight (understanding the shape of the whole problem). This opens the door to proving the irrationality of much more complex numbers that were previously out of reach.

1. Problem Statement

The paper addresses the challenge of proving the irrationality of periods (integrals of algebraic differential forms over algebraic domains), specifically focusing on values like $\zeta(2)$ .

Context: Traditional irrationality proofs (e.g., Apéry for $\zeta(3)$ , Beukers for $\zeta(2)$ ) rely on constructing families of linear forms with integer coefficients that approximate the target period. These proofs typically utilize integrals depending on a single parameter or a specific "diagonal" line in a multi-parameter space.
Limitation: Existing criteria for irrationality often fail to exploit the full geometric structure of integrals depending on many parameters. As the dimension (or weight) of the period increases, the quality of known rational approximations deteriorates rapidly, making it difficult to prove irrationality for higher-weight periods (e.g., odd zeta values).
Goal: The author seeks to develop a multi-parameter irrationality criterion that leverages the entire space of available linear forms generated by high-dimensional Mellin integrals, rather than restricting to a single line of parameters. The central hypothesis is that increasing the dimension of the parameter space should improve, rather than degrade, the quality of approximations.

2. Methodology

The paper introduces a framework combining algebraic geometry, transfinite diameter theory, and the geometry of numbers (Minkowski's theorem).

A. Mellin Periods and Linear Forms

The author considers algebraic Mellin integrals of the form:
$I(s_1, \dots, s_r) = \int_{\sigma} f_1^{s_1} \cdots f_r^{s_r} \omega$
where $f_i$ are regular functions on a variety $X$ , $\omega$ is a differential form, and $\sigma$ is a chain. For integer arguments, these integrals generate linear forms in a finite set of periods $\xi_1, \dots, \xi_m$ .
$I(n_1, \dots, n_r) \in \mathbb{Q}\xi_1 + \dots + \mathbb{Q}\xi_m$

B. The Matrix Construction

Instead of selecting a single line of parameters, the method constructs a large symmetric matrix $Q_\sigma$ whose entries are these integrals for a range of parameters.
$(Q_\sigma)_{ij} = \int_{\sigma} f_i f_j \omega$
The determinant of this matrix, $\det(Q_\sigma)$ , is bounded using a generalized transfinite diameter.

C. Supremal Transfinite Diameter

A key innovation is the definition of the supremal transfinite diameter ( $Sup_{N,e}(\tau)$ ) for a region $\tau$ in the image of the integration domain under the map $f = (f_1, \dots, f_r)$ .

This quantity measures the "size" and "shape" of the image region relative to a specific module of functions (e.g., monomials).
It generalizes classical notions of transfinite diameter (logarithmic capacity) to higher dimensions and specific algebraic modules.
The paper establishes upper bounds for these diameters using tensor products and direct sums of modules, relating them to known results for triangles and rectangles.

D. The Irrationality Criterion

The core argument relies on Minkowski's Theorem on linear forms.

Construct a matrix $A_\sigma$ with integer entries derived from $Q_\sigma$ by clearing denominators.
Apply Minkowski's theorem to find a non-zero integer vector $c$ such that the linear combination of periods is small.
Criterion: If the product of the squared supremal transfinite diameter of the image region and the asymptotic growth of the denominators is less than 1, the period is irrational.
$\text{Sup}_{N,e}(f(\sigma))^2 \cdot \delta_{N,e} < 1$
where $\delta_{N,e}$ represents the asymptotic denominator growth.

3. Key Contributions

Multi-Parameter Criterion: The paper formulates a rigorous irrationality criterion that utilizes the full $r$ -dimensional space of parameters, decoupling the optimization of denominators from the asymptotic decay of individual integrals.
Generalized Transfinite Diameter: It introduces and studies the "supremal transfinite diameter" relative to general modules and filtrations, providing tools to estimate these values for complex regions (e.g., regions bounded by hyperbolas).
Algebraic Structure: The work connects the determinant of Mellin integral matrices to the geometry of the anciliary image variety (the Zariski closure of the image of the integration map), revealing deep algebraic structures (Vandermonde determinants) underlying these approximations.
Proof of Principle: The author provides a detailed computational verification using the 5-parameter family of integrals associated with the moduli space $M_{0,5}$ (curves of genus 0 with 5 marked points) to prove the irrationality of $\zeta(2)$ .

4. Results

The paper validates the theory through extensive numerical experiments on the integrals for $\zeta(2)$ :

1-Parameter Case: Reproduces known results (Apéry/Beukers) but with a refined threshold derived from the transfinite diameter of an interval.
2-Parameter Case: By restricting to a 2-parameter subfamily, the author computes the supremal transfinite diameter of the image region (a subset of the unit square bounded by a hyperbola). The computed value ( $\approx 0.14$ ) is significantly smaller than the unit square's diameter, satisfying the irrationality criterion with a comfortable margin.
5-Parameter Case: The full 5-parameter family is analyzed.
- The module of functions is constructed using the symmetries of $M_{0,5}$ .
- Numerical computations of the matrix determinants and denominators up to $n=11$ show that the product of the diameter term and the denominator term remains well below 1.
- The threshold $\vartheta_n$ (a measure of the "gap" to irrationality) converges to a value significantly better than classical methods ( $\approx 1.4$ vs $1.2$).
Conclusion: The method successfully proves the irrationality of $\zeta(2)$ using a "higher-dimensional" approach, demonstrating that increasing the number of parameters improves the approximation quality, contrary to previous pessimistic assumptions.

5. Significance

Theoretical Shift: This work challenges the prevailing view that higher-dimensional period integrals yield worse approximations. It suggests that the "curse of dimensionality" can be overcome by exploiting the rich geometric structure (symmetries and transfinite diameters) of the parameter space.
New Tools for Number Theory: The introduction of the supremal transfinite diameter provides a new geometric invariant for studying periods. It offers a systematic way to bound determinants of integral matrices, which is crucial for irrationality and linear independence proofs.
Future Directions: The paper opens the door to applying these methods to more difficult problems, such as the irrationality of odd zeta values $\zeta(2n+1)$ or linear independence of multiple zeta values. It also hints at $p$ -adic variants of the transfinite diameter, potentially linking these geometric bounds to $p$ -adic valuations of denominators.
Computational Insight: The detailed analysis of the $M_{0,5}$ integrals serves as a blueprint for how to construct and analyze such high-dimensional families, moving beyond ad-hoc "group methods" (like Rhin-Viola) to a more general geometric framework.

In summary, Francis Brown presents a sophisticated geometric framework that transforms the problem of irrationality proofs into a problem of estimating the transfinite diameter of algebraic varieties, successfully demonstrating its efficacy for $\zeta(2)$ and proposing a path forward for higher-weight periods.