🔢 mathematics

Collapsing Fifty Dilogarithm Arguments to Five Terms over $\mathbb{Q}\bigl(u,\sqrt{4-3u^{2}}\bigr)$

This paper presents a new one-parameter functional equation for the Rogers dilogarithm over $\mathbb{Q}\bigl(u,\sqrt{4-3u^{2}}\bigr)$ , proven by collapsing fifty arguments into five terms via Rogers' five-term relation, and demonstrates its application to derive new identities and the first known examples of totally real dilogarithm ladders of degree four.

Original authors: Cetin Hakimoglu-Brown

Published 2026-08-26

📖 5 min read🧠 Deep dive

CC BY 4.0

Original authors: Cetin Hakimoglu-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

In the vast landscape of mathematics, there are functions that act as bridges between the discrete world of whole numbers and the continuous flow of geometry and physics. One such function, known as the dilogarithm, has fascinated researchers for decades. It is a tool used to calculate the volumes of strange, curved spaces and to understand the deep symmetries of quantum fields. At its core, the dilogarithm is a way of summing an infinite series of numbers, but its true power lies in the hidden rules it obeys. These rules, called functional equations, allow mathematicians to transform a complex expression into a simpler one, often revealing that two seemingly different quantities are actually equal. For a long time, the most famous of these rules involved five terms, a relationship so fundamental that it is thought to generate almost every other identity the function possesses. However, finding new, useful identities is notoriously difficult. It is like trying to find a specific needle in a haystack where the needles are made of glass and the haystack is constantly shifting; the equations often involve dozens of terms that look nothing alike, making it nearly impossible to see how they might cancel each other out to reveal a simple truth.

A recent paper by Cetin Hakimoglu-Brown tackles this challenge by discovering a new, compact rule that connects fifty complicated terms down to just five. The author did not find this by randomly searching through endless combinations of numbers, a method that would likely take a lifetime. Instead, the discovery began with a pair of integrals, which are mathematical tools used to calculate areas under curves. The author started with two specific integrals that look different on the surface but are actually equal because they share the same underlying shape and start and end at the same points. By calculating these areas using a different method—one that breaks the problem into smaller, manageable pieces involving the dilogarithm—the author found that the two calculations must yield the same result. This equality forced a relationship between the various parts of the equation, creating a new identity. The beauty of this approach is that the structure of the equation was not guessed; it was dictated by the geometry of the integrals themselves.

The resulting identity is a one-parameter equation, meaning it holds true for a wide range of values, but it is particularly special because it involves a specific type of number system that includes square roots. When the author tested this equation, they found that it could be proven by breaking it down into ten instances of the famous five-term rule mentioned earlier. This process is where the magic of cancellation happens. The ten instances contribute a total of fifty different arguments, or inputs, to the equation. Individually, these fifty inputs look chaotic, with denominators and numerators that seem unrelated. However, when the author applied the known rules of the dilogarithm to simplify them, fifty distinct terms collapsed down into exactly five. These five remaining terms form a new, irreducible relationship that cannot be broken down further. The author proved that this collapse is not an accident; the specific shape of the integral used to find the equation was the only one of its kind that could produce such a result, making the discovery a necessary consequence of the math rather than a lucky guess.

Beyond proving this new identity, the paper uses it to unlock a series of new mathematical ladders. In this context, a ladder is a sequence of related values that allows mathematicians to climb from simple numbers to complex ones while staying within a specific set of rules. The author constructed two new ladders based on quartic, or fourth-degree, equations. What makes these ladders remarkable is that they are "totally real," meaning all the numbers involved in their defining equations are real numbers, not imaginary ones. Previously, all known ladders of this high degree had only two real roots, with the others being imaginary. These new examples are the first of their kind to have four real roots, suggesting a new class of mathematical structures that had never been seen before. The author also identified four additional potential ladders through computer searches, which appear to follow the same pattern, though these have not yet been proven with the same rigorous method as the first two.

The paper also explores how these new rules connect to other famous constants and number systems. By adjusting the parameters of the main equation, the author derived new relationships involving numbers like the square root of 33 and the square root of 17. In one instance, the equation led to a new way of expressing a value related to Catalan's constant, a famous number that appears in many areas of physics and number theory. In another, it linked three different number systems together in a way that had not been observed before. The work demonstrates that even in a field as old and well-mapped as the theory of polylogarithms, there are still deep, hidden structures waiting to be uncovered. The author's method, which starts with the equality of two simple areas and lets the mathematics dictate the complexity of the result, offers a fresh path forward. It shows that sometimes the most intricate patterns are not found by looking harder at the pieces, but by understanding the shape that holds them together.

Technical Summary: Collapsing Fifty Dilogarithm Arguments to Five Terms over Q

Problem Statement
The paper addresses the challenge of finding accessible functional equations for the Rogers dilogarithm function, $L_R(x)$ , which is the real part of the standard dilogarithm $Li_2(x)$ adjusted by logarithmic terms. While the structure of the dilogarithm is governed by Rogers' five-term relation, identifying specific identities that collapse a large number of arguments into a compact form is non-trivial. Iterating the five-term relation typically generates a vast array of arguments with no obvious grouping, and known identities often involve rational functions of a single variable that lack conjugation symmetry, limiting their utility for constructing "polylogarithm ladders" (relations where arguments are algebraic numbers in a specific field). The specific problem tackled here is the derivation of a one-parameter functional equation where the arguments lie in the quadratic field $\mathbb{Q}(u, \sqrt{4-3u^2})$ , and the subsequent demonstration that fifty such arguments, generated by ten instances of the five-term relation, collapse exactly to five terms.

Methodology
The author departs from the traditional approach of searching through arrays of five-term relations. Instead, the derivation begins with an elementary integral identity.

Integral Origin: The core identity is derived from the equality of two sextic integrals, $w_1$ and $w_2$ , defined over $[0, 1]$ . These integrals share a common antiderivative, ensuring their equality is elementary.
Factorization and Arguments: By evaluating these integrals in closed form using partial fractions, the author expresses them in terms of dilogarithms. The factorization of the integrand's denominator dictates the arguments of these dilogarithms. Specifically, the denominator factors over a quadratic field, introducing the radical $\sqrt{4-3u^2}$ .
The Collapse: The resulting identity involves a complex array of terms. To prove the specific five-term relation (Theorem 1), the author employs a rational parametrization of the conic $v^2 = 4-3u^2$ . Under this substitution, the arguments become rational functions of a single variable $t$ .
Verification via Five-Term Relation: The author explicitly constructs an array of ten instances of Rogers' five-term relation (Equation 8). By expanding these instances and reducing the arguments modulo the standard involutions ( $[x] \equiv -[1/x] \equiv -[1-x]$ ), the fifty arguments are shown to cancel down to exactly five surviving terms, corresponding to the arguments in Theorem 1. This cancellation is verified computationally and symbolically.
Classification: The paper includes a classification of integrands of the form $t^a(1-t)^b(1+t)^c$ to demonstrate that the chosen sextic integrand is unique within its degree range for producing a quadratic field factorization, suggesting the choice of parameters is "forced" rather than arbitrary.

Key Contributions and Results

Theorem 1: A new one-parameter functional equation for the Rogers dilogarithm is established. For $0 < u < 2/\sqrt{3}$ and $r = \sqrt{4-3u^2}$ , the equation relates five specific arguments in $\mathbb{Q}(u, r)$ to a rational multiple of $\pi^2$ .
Explicit Cancellation: The paper provides the explicit array of ten five-term relations (Equations 8 and 9) that prove the identity. It demonstrates that the fifty contributing arguments reduce to the five terms of the identity with no residual terms, and that these five terms are independent (no shorter relation exists among them).
Specializations:
- Quadratic Fields: Specializing the parameter $u$ yields identities over $\mathbb{Q}(\sqrt{33})$ and $\mathbb{Q}(\sqrt{17})$ . The $\mathbb{Q}(\sqrt{17})$ case is notable because the radical is removed via duplication rather than by choosing a rational parameter, a mechanism described in Lemma 12.
- Clausen Relations: Specializing to imaginary parameters yields relations connecting $\mathbb{Q}(\sqrt{13})$ , $\mathbb{Q}(\sqrt{3})$ , and the Clausen function $Cl_2(\pi/3)$ , including a new analogue for Catalan's constant.
Totally Real Quartic Ladders: The paper constructs two "polylogarithm ladders" (relations of the form $\sum A_j L_R(x_j) \in \pi^2 \mathbb{Q}$ $\sum A_{j} L_{R} (x_{j}) \in π^{2} Q$ ) based on quartic base equations.
- These ladders are derived from the $\mathbb{Q}(\sqrt{33})$ specialization by tuning conjugate pairs of arguments onto the cube roots of unity.
- The base equations for these ladders are irreducible quartics with four real roots (totally real).
- The author notes that previously known quartic ladders (e.g., by Gordon and McIntosh) had base equations with only two real roots. These new examples appear to be the first totally real ladders of degree exceeding three.
Conjectural Ladders: Using integer relation searches (PSLQ), the author identifies four additional conjectural quartic ladders with totally real base equations, realizing Galois groups $D_4$ , $V_4$ , and $C_4$ .

Significance
The paper claims significance primarily in the discovery of totally real quartic ladders, which break the pattern of previously known higher-degree ladders that possessed only two real roots. The author suggests that total reality, rather than cyclicity, may be the operative condition for the existence of such ladders, consistent with Borel's theorem regarding the rank of Bloch groups of totally real fields.

Furthermore, the work demonstrates a methodological shift: deriving functional equations from integral identities where the factorization of the denominator naturally produces conjugate pairs of arguments. This approach allows for the exploitation of conjugation symmetry (tuning pairs to specific values like $\pm 1$ or roots of unity) to eliminate radicals and construct ladders, a feature absent in many previous rational-function identities. The explicit verification of the "collapse" of fifty arguments to five provides a concrete example of the accessibility of dilogarithm relations, even when the path involves a large number of intermediate steps.

The paper remains modest regarding the conjectural ladders, stating they are supported by strong numerical evidence (400–500 digits) but lack an analytic derivation via the methods presented. It also clarifies that the specific array of ten five-term relations was located using a linear-programming search assisted by AI, following the initial discovery of the integral identity.

More like this