An Explicit Entire Function of Order One with All Zeros on a Line and Bounded in a Half-Plane
Abstract
We construct a single explicit entire function c(s) of order 1, with all zeros provably on Re(s) = 1/2, satisfying a functional equation c(s) = c(1-s), whose normalized form Zc(s) = c(s)/[12s(s-1)π-s/2(s/2)] is uniformly bounded for Re(s) > 1 + δ yet satisfies t|Zc(1+it)| = +∞. The function thus satisfies an analogue of the Riemann Hypothesis together with the sharp bounded/unbounded transition at σ = 1 characteristic of ζ. The transition is controlled by a Dirichlet series D(s) = Σ e-ikθ pk-s whose absolute convergence for σ > 1 and divergence at σ = 1 drive the dichotomy. The key technical input is a dyadic large-sieve estimate establishing the linearization condition that connects the Hadamard product to D. The construction and proofs were developed in collaboration with Claude (Anthropic); see Acknowledgments.
Turn this paper into a full lesson
ArcXiv compiles a staged curriculum from this paper: 8-12 lessons across beginner → advanced, synthesised section guides, visuals, flashcards, a quiz, exercises, and on-demand deep dives per section. Grounded in the abstract, never invented.