🔢 mathematics

Zeros of Quasimodular Forms Defined by Iterated Sums

This paper investigates the zeros of the quasimodular forms $G_{\{2\}^n}$ defined by iterated sums, establishing their exact count and interlacing properties on specific vertical lines, proving their simplicity and transcendence, determining their asymptotic behavior, and analyzing their distribution on Ford circles.

Original authors: Katsumi Kina, Gyucheol Shin

Published 2026-09-14

📖 6 min read🧠 Deep dive

CC BY 4.0

Original authors: Katsumi Kina, Gyucheol Shin

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 exists a realm where numbers, shapes, and patterns intertwine in ways that feel almost musical. At the heart of this realm lie objects known as modular forms, which are complex functions that possess a deep, hidden symmetry. Imagine a pattern that looks exactly the same no matter how you shift or rotate it according to specific rules; these functions are the mathematical embodiment of such perfect symmetry. For over a century, mathematicians have studied these forms, particularly a special family called Eisenstein series, which are built by adding up infinite lists of numbers in a very specific way. A central mystery in this field has been the location of the "zeros" of these functions—the specific points where the value of the function drops to nothing. Finding these zeros is like finding the quiet spots in a complex symphony; knowing where they are helps mathematicians understand the fundamental structure of the music itself. While the zeros of the classic, perfectly symmetric forms were mapped out decades ago, a newer, slightly more flexible family of functions, known as quasimodular forms, has remained largely uncharted territory regarding where their zeros hide.

A team of researchers has now ventured into this uncharted territory to map the zeros of a specific type of quasimodular form defined by iterated sums. These are functions created by repeatedly adding up layers of numbers, a process that makes them slightly less rigid than their classical cousins but still governed by strict mathematical laws. The researchers set out to answer a simple yet profound question: where exactly do these functions vanish? They discovered that for any such function in this family, the zeros are not scattered randomly. Instead, they line up with remarkable precision on two specific vertical lines in the complex plane: one running straight up the center of the standard mathematical grid, and another running parallel to it, exactly halfway to the right. On each of these lines, the number of zeros matches the complexity of the function itself; a function built from two layers of sums has two zeros, one built from three layers has three, and so on. Furthermore, the researchers proved that these zeros are "simple," meaning they are distinct points rather than overlapping clusters, and they are arranged in a way that creates a perfect alternating pattern as the functions become more complex.

The path to this discovery was not the one most mathematicians expected to take. For decades, the standard method for finding these zeros involved a technique known as the Rankin–Swinnerton-Dyer method, which relies on counting sign changes in a specific way. However, the authors of this study found that this traditional tool was not the right key for this particular lock. Instead, they turned to a different branch of mathematics involving "bell-shaped" functions. These are smooth, curved shapes that rise to a peak and fall away, much like a bell or a hill. By showing that their complex functions could be understood through the lens of these smooth curves, the researchers were able to prove that the zeros must exist in the specific locations they found. This approach allowed them to bypass the old methods entirely, offering a fresh perspective on how these mathematical objects behave.

Beyond simply locating the zeros, the team investigated what happens as these functions become infinitely complex. They found that as the number of layers in the sums increases, the zeros settle into a predictable rhythm. If you were to watch the zeros move as the functions grew larger, they would drift toward specific, fixed positions relative to their size. The researchers calculated exactly where these points would be, revealing a formula that describes their ultimate destination. This result is significant because it shows that even in the limit of infinite complexity, there is a clear, orderly structure governing these points. They also demonstrated that these zeros are not just ordinary numbers; they are "transcendental," a category of numbers that cannot be the solution to any simple algebraic equation involving integers. This means the zeros are as unique and non-repeating as the number pi or the square root of two, adding another layer of depth to their nature.

The study also looked at how these zeros are distributed across the entire mathematical plane, not just on the two vertical lines. The researchers proved that these functions have an infinite number of zeros that are all distinct from one another in a specific mathematical sense. They also tackled a special case involving a function built from just two layers of sums. In this specific instance, they showed that every "Ford circle"—a geometric shape used to visualize fractions on a line—contains exactly two of these zeros. This finding connects the abstract world of these functions to the concrete geometry of fractions, suggesting a deep link between the two. While the researchers have not yet proven that this "two zeros per circle" rule holds for all functions in the family, their work on the simplest case provides a strong foundation for future exploration.

What makes this work particularly compelling is the clarity with which it defines the behavior of these complex objects. The researchers did not just guess where the zeros might be; they provided a rigorous proof that they are exactly where they say they are, with no exceptions. They ruled out the possibility of zeros appearing in other unexpected places on the vertical lines and confirmed that the zeros are always simple and distinct. By moving away from the traditional methods that had dominated the field for fifty years, they opened a new door for understanding these functions. Their findings suggest that the world of quasimodular forms is far more orderly and predictable than previously thought, with zeros that align in perfect rows and follow a clear, mathematical rhythm as they grow. For anyone interested in the hidden patterns of mathematics, this study offers a clear map of a territory that was once shrouded in uncertainty, showing that even in the most abstract corners of the field, there is a beautiful, underlying order waiting to be discovered.

Technical Summary: Zeros of Quasimodular Forms Defined by Iterated Sums

Problem Statement
This paper investigates the distribution, multiplicity, and transcendence properties of the zeros of a specific family of quasimodular forms, denoted $G\{2\}_n$ , defined by iterated sums. These forms possess weight $2n$ and depth $n$ . While the distribution of zeros for classical Eisenstein series (via the Rankin–Swinnerton-Dyer method) and depth-one quasimodular forms is well-studied, the behavior of zeros for higher-depth quasimodular forms defined by iterated sums remains less understood. The authors specifically address the location of zeros on vertical lines in the upper half-plane $\mathbb{H}$ , their interlacing properties, asymptotic behavior as $n \to \infty$ , and their arithmetic nature (transcendence).

Methodology
The authors employ a novel approach that diverges from the traditional Rankin–Swinnerton-Dyer (RSD) method, which relies on sign changes of functions on the boundary of the fundamental domain. Instead, the proof strategy is built upon two main pillars:

Connection to Derivatives of $\eta^3$ : The authors establish an identity expressing $G\{2\}_n$ in terms of the $n$ -th derivative of the cube of the Dedekind eta function, $\eta(\tau)^3$ . Specifically, $G\{2\}_n(\tau)$ is proportional to $D^n(\eta^3)/\eta^3$ , where $D = q \frac{d}{dq}$ . This reduces the problem of locating zeros of $G\{2\}_n$ to analyzing the zeros of the derivatives of $\eta^3$ .
Theory of Bell-Shaped Functions: The core analytical tool is the theory of "bell-shaped functions" developed by Kwaśnicki. The authors demonstrate that the restrictions of $\eta^3$ to the imaginary axis ( $\tau = iy$ ) and the vertical line $\text{Re}(\tau) = 1/2$ correspond to strictly bell-shaped functions. By applying theorems regarding the derivatives of such functions, they determine the exact number and simplicity of zeros.
Asymptotic Analysis: For the asymptotic behavior of zeros as $n \to \infty$ , the authors utilize the Fourier expansion of $\eta^3$ and apply a lemma concerning the dominance of specific terms in series with exponential decay (Lemma 3.1). This allows them to derive precise limiting values for the scaled imaginary parts of the zeros.
Transcendence Theory: The transcendence of the zeros is established by combining results on the algebraic independence of Eisenstein series (Nesterenko) with theorems regarding the transcendence of zeros of quasimodular forms with algebraic coefficients (Bhowmik–Pathak).

Key Contributions and Results

Exact Count and Simplicity of Zeros (Theorem 1.1): For every integer $n > 0$ , the form $G\{2\}_n$ has exactly $n$ simple zeros on the positive imaginary axis ( $\text{Re}(\tau)=0$ ) and exactly $n$ simple zeros on the vertical line $\text{Re}(\tau) = 1/2$ .
Interlacing Property (Corollary 1.2): The zeros of $G\{2\}_n$ and $G\{2\}_{n+1}$ on these vertical lines satisfy an interlacing property, analogous to results known for Eisenstein series.
Asymptotic Behavior (Theorems 1.3 and 1.4): The authors determine the precise asymptotic limits of the zeros as $n \to \infty$ . For the $r$ -th zero $iy^{(n)}_r$ on the imaginary axis, the limit of $y^{(n)}_r/n$ is given by $\frac{1}{\pi r} \log\left(\frac{2r+1}{2r-1}\right)$ . A similar result holds for the line $\text{Re}(\tau)=1/2$ , and a more general result describes the convergence of zeros to a lattice-like structure in the complex plane.
Global Properties (Theorems 1.5 and 1.6):
- All zeros of $G\{2\}_n$ are simple.
- $G\{2\}_n$ possesses infinitely many $\text{SL}_2(\mathbb{Z})$ -inequivalent zeros in the half-strip.
Transcendence (Theorem 1.8): All zeros of $G\{2\}_n$ in the upper half-plane are transcendental numbers. This is a consequence of the fact that $G\{2\}_n$ has maximal depth ( $k/2$ ) and algebraic Fourier coefficients.
Ford Circles (Theorem 1.9): In the specific case of $n=2$ (the form $G_{2,2}$ ), the authors prove that each Ford circle contains exactly two distinct simple zeros. They note that for $n \ge 3$ , standard Ford circles may not contain all zeros, suggesting a need for "vertically stretched" Ford circles, though this is only conjectured and not proven for general $n$ .

Significance and Claims
The paper claims significance primarily through its methodological innovation. The authors explicitly state that their proof of Theorem 1.1 is obtained without using the RSD method, which has been the standard tool for such distribution problems. Instead, they utilize the theory of bell-shaped functions and the specific structure of iterated sums.

The results extend the understanding of quasimodular forms beyond the depth-one case. By proving that $G\{2\}_n$ (which generates the ring of quasimodular forms alongside $G_4$ and $G_6$ ) shares structural properties with Eisenstein series (such as interlacing zeros and specific asymptotic distributions), the paper suggests that the set $\{G_2, G_{2,2}, G_{2,2,2}\}$ might serve as a more natural generating set for the ring of quasimodular forms when considering the behavior of zeros.

The paper remains modest regarding the Ford circle conjecture for $n \ge 3$ , acknowledging that numerical experiments suggest zeros lie outside standard Ford circles and that the precise location within "stretched" circles remains an open problem, with only the $n=2$ case fully resolved. Similarly, while the interlacing property is proven, the conjecture that all zeros in the half-strip are pairwise $\text{SL}_2(\mathbb{Z})$ -inequivalent (Conjecture 1.7) is noted as remaining unproven even for $n=2$ .

More like this