A class of digit extraction BBP-type formulas in general binary bases
Kunle Adegoke, Jaume Oliver Lafont, Olawanle Layeni

TL;DR
This paper derives explicit BBP-type digit extraction formulas in general binary bases without search, providing new formulas for constants like pi times sqrt(3) and log of primes, along with related zero relations.
Contribution
It introduces a direct derivation method for BBP-type formulas in binary bases, expanding the set of known formulas for various mathematical constants.
Findings
Explicit formulas for pi*sqrt(3), pi*sqrt(3)*log(2), and related constants.
Binary BBP formulas for logs of primes and arctangents of rationals.
New zero relations for BBP-type formulas.
Abstract
BBP-type formulas are usually discovered experimentally, one at a time and in specific bases, through computer searches. In this paper, however, we derive directly, without doing any searches, explicit digit extraction BBP-type formulas in general binary bases , for positive odd integers. As particular examples, new binary formulas are presented for , , and a couple of other polylogarithm constants. A variant of the formula for derived in this paper has been known for over ten years but was hitherto unproved. Binary BBP-type formulas for the logarithms of an infinite set of primes and binary BBP-type representations for the arctangents of an infinite set of rational numbers are also presented. Finally, new binary BBP-type zero relations are established.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsAnalytic Number Theory Research · Advanced Mathematical Identities · Algebraic Geometry and Number Theory
