The modularity of Z.-W. Sun’s conjectural formulas for 1/π
Published in Proceedings of the American Mathematical Society, 2025
Abstract: In this work, we establish modular parameterizations for two general formulas for 1/π that subsume conjectural Ramanujan type formulas due to Z.-W. Sun, which have remained open since 2011. As an application of this, in a conceptual way we interpret how Sun’s conjectural formulas arise and can be verified, as well as recover other cases that were proved by Cooper, Wan and Zudilin.