Partial Sums of the Series for the Dirichlet Eta Function, their Peculiar Convergence, the Simple Zeros Conjecture, and the RH

This paper investigates the asymptotic convergence of partial sums and remainders of the Dirichlet eta function to establish that the continuity of a specific limit ratio within the left half of the critical strip is equivalent to the truth of the Riemann Hypothesis, while also offering insights into the Simple Zeros Conjecture.

The Gist

Here is an explanation of Luca Ghislanzoni's paper, translated into simple language with creative analogies.

The Big Picture: A Cosmic Dance of Numbers

Imagine you are trying to find a specific, hidden treasure on a map. The map is the Riemann Zeta Function, a famous mathematical object that holds the secrets to how prime numbers (like 2, 3, 5, 7...) are distributed.

The Riemann Hypothesis is a bold guess made in 1859. It says that all the "treasure spots" (called zeros) on this map lie on a single, straight line down the middle of a specific region called the "Critical Strip." If this guess is true, it unlocks the secrets of prime numbers. If it's false, the map is chaotic, and our understanding of numbers breaks down.

This paper doesn't try to solve the mystery directly. Instead, it looks at how we walk toward the treasure. It studies the "steps" we take as we add up numbers to get closer to the answer.

---

1. The Walking Path (The Eta Function)

To find the treasure, mathematicians use a tool called the Dirichlet Eta function. Think of this as a very friendly, well-behaved version of the Riemann Zeta function.

• The Walk: Imagine you are walking toward a destination (the final answer). You take a series of steps.
  • Step 1: Go forward.
  • Step 2: Go backward.
  • Step 3: Go forward.
  • Step 4: Go backward.
  • And so on...
• The Spiral: Because the steps alternate (forward/backward) and get slightly smaller and slightly rotated each time, you don't walk in a straight line. You walk in a spiral.
• The "End Whirl": As you take more and more steps (getting closer to infinity), this spiral tightens up. It starts to look like a tiny, star-shaped whirlpool. The author calls this the "End Whirl."

The Key Discovery: The author proves that as you get deeper into this whirlpool, the path becomes incredibly predictable. The "loops" of the spiral get smaller and smaller, nesting inside each other like Russian dolls. This allows the author to calculate exactly how far away you are from the treasure at any given step.

2. The Mirror Test (The Riemann Hypothesis)

Here is where the magic happens. The Riemann Hypothesis relies on a special symmetry.

• Imagine the Critical Strip is a room with a mirror down the center (the "Critical Line").
• If you find a treasure (a zero) on the left side of the room, the mirror tells you there must be an identical treasure on the right side.
• The Riemann Hypothesis claims that all treasures are actually on the mirror itself. There are no treasures off to the side.

The Author's New Test:
The author creates a "Mirror Ratio." He compares the path you take on the left side of the mirror to the path you take on the right side.

• If the Hypothesis is TRUE: The paths match up perfectly. The ratio between them is smooth and continuous everywhere. It's like walking on a flat, smooth floor.
• If the Hypothesis is FALSE: There is a "cliff" or a "hole" in the floor. At the specific spot where a treasure exists off the center line, the ratio suddenly breaks or jumps. The path becomes discontinuous.

The Conclusion: The paper argues that if we can prove this "Mirror Ratio" is always smooth and never breaks, we prove the Riemann Hypothesis is true. If we find a break, the Hypothesis is false.

3. The "Ghost" Walkers (Hurwitz Zeros)

The paper also introduces a fascinating concept called Hurwitz Zeros.

• Imagine you are trying to find the exact center of a whirlpool (the zero). You can't stand exactly on the center yet.
• So, you take a step, look at where you are, and realize, "If I moved my starting point just a tiny bit, I could have landed exactly on the center."
• You do this over and over. You create a sequence of "Ghost Walkers." Each one is a slightly different starting point that, if you walked from there, would land you exactly on the zero.

The Insight:
The author shows that these "Ghost Walkers" form their own tiny, spiraling paths around the real treasure.

• If the treasure is a Simple Zero (meaning it's a single, distinct point and not a messy cluster), these ghost paths behave in a very specific, orderly way. They wrap around the center exactly once.
• This behavior provides strong evidence for the Simple Zeros Conjecture, which says that every treasure spot is a single, unique point, not a messy pile.

Summary: What Does This Mean for You?

1. The Geometry of Math: The author treats numbers not just as abstract values, but as physical paths and shapes. He visualizes the convergence of infinite sums as a tightening spiral.
2. A New Way to Check: Instead of trying to calculate the zeros directly (which is impossible for infinite numbers), the author suggests checking the smoothness of the relationship between the left and right sides of the number line.
3. The Stakes: If the "Mirror Ratio" is smooth, the Riemann Hypothesis is true, and the universe of prime numbers is orderly. If it's jagged, the universe is chaotic.

In a nutshell: This paper is like a cartographer drawing a new map of the "End Whirl." It suggests that by watching how the steps of our mathematical walk behave, we can finally tell if the Riemann Hypothesis is the truth or a beautiful lie. It turns a dry algebra problem into a story about spirals, mirrors, and the geometry of infinity.

Technical Summary

Here is a detailed technical summary of the paper "Partial Sums of the Series for the Dirichlet Eta Function, Their Peculiar Convergence, The Simple Zeros Conjecture, and the RH" by Luca Ghislanzoni.

1. Problem Statement

The paper addresses the Riemann Hypothesis (RH), which posits that all non-trivial zeros of the Riemann Zeta function $\zeta(s)$ lie on the critical line $\Re(s) = 1/2$. While the RH is equivalent to the statement that $\zeta(s) \neq 0$ for $0 < \Re(s) < 1/2$, the paper focuses on the **Dirichlet Eta function**$\eta(s)$, defined as the alternating series:
$$\eta(s) = \sum_{n=1}^{\infty} \frac{(-1)^{n-1}}{n^s}$$
This series converges for $\Re(s) > 0$, making it a more tractable object for analyzing the behavior of partial sums and remainders within the critical strip compared to the standard Zeta series. The author investigates the geometric convergence of the partial sums $\eta_n(s)$ and seeks to derive conditions under which the RH and the Simple Zeros Conjecture (that all non-trivial zeros are simple, i.e., have multiplicity 1) hold true.

2. Methodology

The author employs a geometric analysis of the path traced by the partial sums of the Dirichlet series in the complex plane.

• Geometric Representation: The partial sums $\eta_n(s)$ are viewed as a path formed by adding vectors $u_n(s) = (-1)^{n-1} n^{-s}$. The author analyzes the "star-shaped" pattern these paths form as $n \to \infty$.
• Nested Circle Argument: A core technique involves constructing circles with diameters defined by consecutive segments of the path ($u_n, u_{n+2}$). The author proves that for sufficiently large $n$, the circle defined by the diameter $u_{n+2}$ lies strictly inside the circle defined by $u_n$.
• Hurwitz Zeros Sequence: The paper introduces a sequence of "Hurwitz zeros" $\{z_{2k}(s_0)\}$, which are points where the partial sums $\eta_{2k-1}(z) = 0$. As $k \to \infty$, these points converge to a true zero $s_0$ of $\eta(s)$.
• Functional Equations: The analysis utilizes the functional equation relating $\eta(s)$ and $\eta(1-s)$ to compare the behavior of partial sums at symmetric points $s$ and $1-s$.
• Asymptotic Analysis: The author derives strict asymptotic relationships for the remainder term $R_n(s)$ and its derivative, utilizing Taylor expansions and limits to analyze the behavior of the ratio $\chi_n^\pm(s) = \eta_n(1-s)/\eta_n(s)$.

3. Key Contributions and Results

A. Asymptotic Behavior of the Remainder (Theorem 1)

The paper establishes a strict geometric bound for the remainder $R_n(s)$ of the Dirichlet series.

• Result: For $s$ in the interior of the critical strip and sufficiently large $n$, the remainder satisfies the strict asymptotic relationship:
  $$R_n(s) \sim \frac{(-1)^{n-1}}{2n^s}$$
  More precisely, $R_n(s) = \frac{(-1)^{n-1}}{2n^s} + \epsilon_n(s)$, where $\epsilon_n(s) \in o(n^{-2})$.
• Geometric Insight: This result implies that the distance between the partial sum and the limit point is asymptotically half the length of the last term added. The "Deep Spiral" pattern formed by even-indexed partial sums converges to the zero with a specific density and angular spacing.

B. Reformulation of the Riemann Hypothesis (Theorem 2)

The author proposes a new necessary and sufficient condition for the RH based on the continuity of a specific limit function.

• Definition: Let $D = \{s \in \mathbb{C} : 0 < \Re(s) < 1/2\}$. Define the ratio of partial sums $\chi_n^\pm(s) = \eta_n(1-s)/\eta_n(s)$.
• Theorem: The limit $L(s) = \lim_{n \to \infty} \chi_n^\pm(s)$ exists everywhere in $D$.
  • If the Riemann Hypothesis is true (no zeros in $D$), then $L(s)$ is a continuous function on $D$.
  • If the Riemann Hypothesis is false (there exists a zero $s_0 \in D$), then $L(s)$ has a removable discontinuity at $s_0$ where $L(s_0) = 0$, while $L(s) \neq 0$ for $s \neq s_0$.
• Implication: Proving the continuity of $L(s)$ (or that the limit is non-zero) everywhere in the left half of the critical strip would confirm the RH.

C. The Simple Zeros Conjecture

The paper provides geometric evidence supporting the conjecture that non-trivial zeros are simple.

• Mechanism: By analyzing the sequence of Hurwitz zeros $z_{2k}(s_0)$ converging to a zero $s_0$, the author shows that for the asymptotic equivalence to hold, the derivative $\eta'(s_0)$ must be non-zero.
• Result: If $\eta'(s_0) = 0$ (a multiple zero), the asymptotic behavior of the partial sums and the geometric winding number around the origin would fail to match the requirements derived from the functional equation and the remainder estimates. Thus, the geometric structure implies $\eta'(s_0) \neq 0$, suggesting all non-trivial zeros are simple.

D. Connection to the Lindelöf Hypothesis

The paper briefly notes that the study of the "K-ranges" (angular sectors where the turning angle of the partial sum path changes) could suggest a sufficient condition for the Lindelöf Hypothesis, linking the geometric convergence speed to the growth rate of $\eta(s)$ on the critical line.

4. Significance

• Geometric Perspective: The paper shifts the focus from purely analytic number theory to a geometric interpretation of the convergence of Dirichlet series. The visualization of "Deep Spirals" and nested circles offers an intuitive understanding of how the alternating series converges to a zero.
• New Formulation of RH: Theorem 2 offers a novel, potentially testable condition for the RH. Instead of searching for zeros directly, one could theoretically investigate the continuity properties of the limit of the ratio of partial sums.
• Unification of Conjectures: The work attempts to unify the Riemann Hypothesis and the Simple Zeros Conjecture through the behavior of partial sums and their remainders, suggesting that the geometric structure of convergence inherently forbids zeros off the critical line and multiple zeros on the line.
• Numerical Validation: The author supports the theoretical derivations with numerical simulations (e.g., visualizing the "Deep Spiral" for the 6th non-trivial zero), showing that the theoretical asymptotic bounds hold with high precision for large $n$.

Conclusion

Luca Ghislanzoni's paper presents a rigorous geometric analysis of the Dirichlet Eta function's partial sums. By proving that the remainder term behaves asymptotically as $1/(2n^s)$ and that the convergence path forms a specific nested spiral structure, the author derives a continuity condition for a limit function that is equivalent to the Riemann Hypothesis. Furthermore, the analysis of the convergence of Hurwitz zeros provides a geometric argument for the simplicity of non-trivial zeros. While the paper does not claim to have proven the RH, it offers a fresh, geometric framework and a reformulation of the problem that could guide future research.